•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.
–A
base da filosofia que suporta a lógica de Lukasiewicz é aristotélica, ou seja,
considerar algo futuro como
verdadeiro ou falso é adotar o fatalismo, doutrina que prega que o futuro é pré-determinado.
–A
única diferença entre as tabelas verdade das lógicas de Kleene e Lukasiewicz é o
valor de ^ ® ^, que para Kleene é ^
e para Lukasiewicz é V.
–As
tabelas verdade propostas por Lukasiewicz são:
–