Quando a lógica não se contenta com a verdade
Ainda que muitas vezes sem nos apercebermos, a lógica está presente não apenas na prática matemática mas nos mais variados aspetos da nossa vida quotidiana. Noções de lógica são usadas para encadearmos o nosso raciocínio, chegarmos a conclusões válidas e tomarmos decisões fundamentadas.
Quando se fala em lógica, quase
garantidamente o leitor pensará em
lógica clássica, a lógica mais amplamente
utilizada e estudada, assente no conceito
de verdade. Haverá outras? A resposta
é afirmativa e será ilustrada com dois
exemplos que mostram que a introdução
de novas lógicas não é um mero (estéril)
exercício intelectual, mas um caminho com
um vasto leque de aplicações práticas.
PDF do Artigo 
| PDF integral
Gazeta nº 174, pág. nº 26 | Categoria: Artigos | Palavras-Chave: lógica, clássica, intuicionista, linear
Autor(es): Gilda Ferreira |
