A sugestão que Sampaio apresenta para livrar-nos do problema 14, onde lógicas trivalentes (para-consistentes) obedecem ao princípio do Terço Excluso (p˅~p), é aceitar que p˅~p pode ser parte necessária ao príncipio, mas não é suficiente, algo mais precisa ser adicionado.
Apesar da radicalidade da solução, não vejo alternativa melhor.
Assinar:
Postar comentários (Atom)
Nenhum comentário:
Postar um comentário