Lógicas Não-Clássicas
Lógica Multivalores
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.