Futuros contingentes

6 Dezembro 2018, 12:00 Ricardo Santos

Introdução ao problema dos futuros contingentes. A implausibilidade do fatalismo. Um argumento antigo em defesa do fatalismo: o Argumento da Batalha Naval. Os elementos principais do argumento são (i) a lei do terceiro excluído, (ii) o princípio (inferencial) da transparência da verdade e (iii) o princípio (inferencial) da necessidade da verdade presente. Reconstituição do argumento.

Da intuição indeterminista à proposta de um terceiro valor de verdade – o indefinido. A lógica proposicional trivalente de Lukasiewicz (1920): as tabelas da negação, conjunção, disjunção e condicional. Resultados: ‘se p então p’ é uma tautologia, enquanto ‘p ou não-p’ (i.e., o princípio do terceiro excluído) não é uma tautologia; ‘se p então q’ não é equivalente a ‘não-p ou q’; em vez disso, ‘p ou q’ é equivalente a ‘se (se p então q) então q’.