Questão FC693569
Além da lógica simbólica, atualmente foram desenvolvidos outros sistemas lógicos. Algumas dessas lógicas são complementares, no sentido de ampliarem aspectos da lógica clássica, ou
Filosofia Contemporânea
VUNESP · 2025
Além da lógica simbólica, atualmente foram desenvolvidos outros sistemas lógicos. Algumas dessas lógicas são complementares, no sentido de ampliarem aspectos da lógica clássica, outras são rivais ou alternativas e contrariam alguns fundamentos dela. As diferenças são as mais diversas: algumas consideram a possibilidade e a contingência; ou o tempo verbal assume relevância que não existe na lógica tradicional, há as que recusam o princípio da bivalência – para o qual só há dois valores, o verdadeiro e o falso – para admitir um terceiro valor, o indeterminado.
(Aranha e Martins, 2009. Adaptado)
Um exemplo importante de teoria lógica não clássica é a denominada lógica paraconsistente. Conforme as autoras, nessa teoria lógica
- os teoremas utilizam a linguagem comum.
- a contradição lógica não trivializa o sistema.
- a tese e a síntese são logicamente idênticas.
- os termos médios são provados na conclusão.
- o método maiêutico é formalmente justificado.
Mostrar resposta e comentário
Gabarito
B
Comentário do professor
Lógica paraconsistente: trata-se de um sistema que admite a presença de contradições sem que isso leve à perda total do conteúdo inferencial, ou seja, a contradição não trivializa o sistema.
Na lógica clássica vale o princípio da explosão, expresso por ex contradictione sequitur quodlibet, segundo o qual, se um enunciado A e seu contrário ¬A são ambos aceitos, qualquer fórmula B pode ser inferida.
A lógica paraconsistente bloqueia esse princípio: mesmo quando A e ¬A coexistem, não se autorizam inferências arbitrárias. Assim, o sistema permanece não trivial e conserva validade e distinção entre conclusões aceitáveis e inaceitáveis.
Essa característica é útil para raciocinar com bases de dados inconsistentes, decisões jurídicas e sistemas de IA que enfrentam informações conflitantes.
Conteúdo do catálogo FC Concursos · Atualizado em