Lógicas Não-Clássicas
Lógica Multivalores
- Uma das características da lógica clássica é o axioma do terceiro excluído, isto é, não existe uma terceira alternativa para um valor verdade além do par {Verdadeiro, Falso}.
- No mundo real, é comum que os conhecimentos disponíveis não sejam nem absolutamente verdadeiros nem absolutamente falsos, podendo ser, por exemplo paradoxais, incertos, desconhecidos, indeterminados, verdadeiros em geral, verdadeiros com uma certa probabilidade, etc.
- Para estender a lógica clássica, é necessário alterar o conjunto de valores verdade.
- Dois tipos de formalismos foram propostos:
- valores verdade numéricos (probabilidade, lógica nebulosa, teoria das possibilidades, etc.)
- valores verdade simbólicos (3, 4 ou mais valores verdade)