Futuros contingentes (6)

9 Março 2020, 11:00 • Ricardo Santos

A solução ockhamista para o problema dos futuros contingentes: aceita o terceiro excluído e a bivalência, mas considera que a bivalência não implica o fatalismo. A solução de Ockham para o problema de como conciliar a presciência divina com a liberdade humana. As verdades acerca do futuro podem ser verdades acerca daquilo que irá acontecer apenas contingentemente. A semântica TRL (“Thin Red Line”) proposta por Peter Øhrstrøm (1981): nos modelos de tempo ramificado, uma das histórias é seleccionada como sendo aquela que contém o ‘futuro verdadeiro’, i.e. a possibilidade que vai realmente realizar-se. As definições de verdade (num momento) e de tautologia de acordo com a TRL Simples. Os futuros contingentes parecem facilmente acomodáveis nesta teoria. O terceiro excluído é válido, a semântica é bivalente, mas a conclusão fatalista não se segue. Problemas resolvidos: (i) a verdade é transparente; (ii) as condicionais com a forma “A ® VA” são tautologias; (iii) não há coincidência entre verdade e inevitabilidade; (iv) os problemas da asserção e do conhecimento são superados.

A distinção ockhamista entre factos duros e factos moles (Plantinga 1986). A dificuldade de tornar clara esta distinção. O conhecimento é um facto mole?

A objecção de Belnap e Green (1992) à semântica TRL Simples: como avaliar predições feitas fora da TRL? Análise do exemplo do lançamento de dados.