Olá, pessoal,
estou com outra dúvida! Assumindo que certas lógicas paraconsistentes não
querem
rejeitar o princípio da não-contradição, mas apenas restringi-lo, há algum
parâmetro prévio em tais lógicas para diferenciar quais tipos de formulas a
não-contradição se aplica e quais não? Isto é, há alguma outra diferença entre
fórmulas bem-comportadas e mal-comportadas sem ser as diferenças geradas pelo
fato de que uma aceita a contradição e outra não?
Em outras palavras, existe alguma outra justificativa lógica, interna ao
sistema, para se aceitar as contradições de certas fórmulas sem ser o fato de
que, se não aceitássemos tais contradições, o sistema explodiria?
Abraços,
Júlio
_______________________________________________
Logica-l mailing list
[email protected]
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
