Lógicas Não-Clássicas
Lógica Multivalores
LÓGICA DE LUKASIEWICZ
- Lukasiewicz usa ? ou “i” para terceiro valor de verdade (i de “indeterminate”).
- Sua lógica foi desenvolvida para lidar com afirmações incertas futuras, ou seja, a existência de proposições contingentes sobre o futuro.
- De acordo com sua interpretação, tais proposições não são nem verdadeiras nem falsas, mas (metafisicamente) indeterminadas.
- Há uma diferença em relação à interpretação de “u” de Kleene. O “i” não é resultante da falta de informação, mas sim do impedimento de se poder fazer uma avaliação conclusiva para verdadeiro ou falso. Algo que ainda não ocorreu é menos “real” do que algo verdadeiro ou falso.