Indeterminismo e tempo ramificado

6 Abril 2020, 16:00 • Ricardo Santos

Possíveis consequências fatalistas da lógica temporal linear. A concepção fatalista da realidade e do tempo. Três exemplos: o mito de Édipo; o pensamento central de Jacques o fatalista (Diderot); a história de Osmo (Taylor). 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 pré-determinado. Semelhança essencial entre passado e futuro. Omnisciência divina e liberdade humana. À procura de uma lógica indeterminista: modelos de tempo ramificado (com a forma de árvore) (Kripke, Prior). A semântica supervalorativista (Thomason).

[Por causa da epidemia de covid-19, esta aula foi dada, no horário habitual, por videoconferência.]