Lógica: diferenças entre revisões
Conteúdo apagado Conteúdo adicionado
Linha 97:
Na ciência da computação, a [[álgebra booleana]] é a base do projeto de ''[[hardware]]''.
== Tipos de Lógica ==
De uma maneira geral, pode-se considerar que a lógica, tal como é usada na filosofia e na matemática, observa sempre os mesmos princípios básicos: a [[lei do terceiro excluído]], a [[lei da não-contradição]] e a [[lei da identidade]]. A esse tipo de lógica pode-se chamar "lógica clássica", ou "lógica aristotélica".
Além desta lógica, existem outros tipos de lógica que podem ser mais apropriadas dependendo da circunstância onde são utilizadas. Podem ser divididas em dois tipos:
*'''Complementares da lógica clássica:''' além dos três princípios da lógica clássica, essas formas de lógica têm ainda outros princípios que as regem, estendendo o seu domínio. Alguns exemplos:
:*'''[[Lógica modal]]''': agrega à lógica clássica o princípio das possibilidades. Enquanto na lógica clássica existem sentenças como: "se amanhã chover, vou viajar", "minha avó é idosa e meu pai é jovem", na lógica modal as sentenças são formuladas como "é possível que eu viaje se não chover", "minha avó necessariamente é idosa e meu pai não pode ser jovem", etc.
:*'''[[Lógica epistêmica]]''': também chamada "lógica do conhecimento", agrega o princípio da certeza, ou da incerteza. Alguns exemplos de sentença: "pode ser que haja vida em outros planetas, mas não se pode provar", "é impossível a existência de gelo a 100°C", "não se pode saber se a duendes existem ou não", etc.
:*'''[[Lógica deôntica]]''': forma de lógica vinculada à moral, agrega os princípios dos direitos, proibições e obrigações. As sentenças na lógica deôntica são da seguinte forma: "é proibido fumar mas é permitido beber", "se você é obrigado a pagar impostos, você é proibido de sonegar", etc.
'''Anti-clássicas:''' são formas de lógica que derrogam pelo menos um dos três princípios fundamentais da lógica clássica. Alguns exemplos incluem:
:*'''[[Lógica paraconsistente]]''': É uma forma de lógica onde não existe o princípio da contradição. Nesse tipo de lógica, tanto as sentenças afirmativas quanto as negativas podem ser falsas ou verdadeiras, dependendo do contexto. Uma das aplicações desse tipo de lógica é o estudo da [[semântica]], especialmente em se tratando dos [[paradoxo]]s. Um exemplo: "fulano é cego, mas vê". Pelo princípio da lógica clássica, o indivíduo que vê, um "não-cego", não pode ser cego. Na lógica paraconsistente, ele pode ser cego para ver algumas coisas, e não-cego para ver outras coisas.
:*'''[[Lógica paracompleta]]''': Esta lógica derroga o princípio do terceiro excluído, isto é, uma sentença pode não ser totalmente verdadeira, nem totalmente falsa. Um exemplo de sentença que pode ser assim classificada é: "fulano conhece a China". Se ele nunca esteve lá, essa sentença não é verdadeira. Mas se mesmo nunca tendo estado lá ele estudou a história da China por livros, fez amigos chineses, viu muitas fotos da China, etc; essa sentença também não é falsa.
:*'''[[Lógica difusa]]''': Mais conhecida como "lógica fuzzy", trabalha com o conceito de graus de pertinência. Assim como a lógica paracompleta, derroga o princípio do terceiro excluído, mas de maneira mais precisa. Enquanto na lógica clássica supõe-se verdadeira uma sentença do tipo "se fulano não é jovem, é velho" e na lógica paracompleta pode ser aceita a sentença "fulano não é jovem nem velho", na lógica difusa poder-se-ia dizer "fulano tem entre 30 e 45 anos".
== Testes de Lógica ==
| |||