Futuros contingentes e rejeição do terceiro excluído

10 Dezembro 2018, 12:00 • Ricardo Santos

A rejeição da bivalência como estratégia para escapar ao fatalismo. O possível carácter indeterminado dos futuros contingentes. Duas lógicas proposicionais trivalentes: comparação entre L3 (com uma condicional mais fraca) e K3 (sem tautologias). A rejeição do terceiro excluído como tese central de uma teoria paracompleta. Esboço de abordagens paracompletas ao paradoxo do mentiroso e ao ‘sorites’ (paradoxo da vagueza). Numa teoria paracompleta, a rejeição de algo não é uma afirmação da sua negação.