Falhas de valor de verdade e lógica trivalente

13 Dezembro 2018, 12:00 • Ricardo Santos

Alguns usos filosóficos da lógica trivalente. (1) Descrições definidas vazias. A ‘barba de Platão’. As aparentes excepções ao princípio do terceiro excluído. A teoria russelliana das descrições definidas. Ambiguidades quanto ao âmbito da negação. A alternativa de Strawson: falha de pressuposição em vez de falsidade. Elocuções nem verdadeiras nem falsas. (2) Nomes vazios. De novo a ‘barba de Platão’ e as aparentes excepções ao terceiro excluído. A teoria descritivista dos nomes. A crítica de Kripke ao descritivismo. (3) Paradoxo do mentiroso e soluções trivalentes que rejeitam o terceiro excluído. (4) Predicados vagos e o sorites. Casos de fronteira. Soluções para o sorites que rejeitam o terceiro excluído. (5) Futuros contingentes. A solução paracompleta de Lukasiewicz.