–LÓGICA
DE BOCHVAR
–O objetivo de Bochvar ao propor uma
lógica de três valores
verdade foi o tratamento formal dos paradoxos semânticos.
•Paradoxo do Cretense - Um cretense afirma que todos os cretenses são mentirosos.
•“Esta sentença é falsa”.
–O
terceiro valor de verdade de Bochvar corresponde a uma proposição paradoxal “m” (de meaningless).
–Ao
contrário de “u” e de “i”, que correspondem a um grau de informação menor que verdadeiro ou falso, o
valor de verdade paradoxal
é ao mesmo tempo verdadeiro
e falso.
–Os
operadores Ø e ^ propostos por Bochvar são idênticos aos de Kleene e
Lukasiewicz, mas
os operadores v e ® são distintos.
–De
certa maneira, o valor verdade paradoxal tem um caráter “contagioso” tornando paradoxal qualquer fórmula onde um elemento seja paradoxal.
–