Indeterminismo e tempo ramificante

13 Abril 2021, 18:30 • Ricardo Santos

Possíveis consequências fatalistas da lógica temporal linear. A concepção fatalista da realidade e do tempo. Fatalismo e determinismo: diferenças e semelhanças. Duas ideias centrais da exposição aristotélica do argumento fatalista: o princípio da verdade anterior e a inferência da verdade anterior para a inevitabilidade do facto em causa. Leis da lógica temporal linear que sugerem que (i) o passado não pode ser mudado e que (ii) o futuro está desde sempre fixado. Semelhança essencial entre passado e futuro. A rejeição por Lukasiewicz e Prior do princípio da verdade anterior. À procura de uma lógica para o futuro aberto: modelos de tempo ramificante (com a forma de árvore) (Kripke, Prior). A semântica supervalorativista (Thomason).