Necessidade de dicto e de re. A fórmula de Barcan e a necessidade da existência.

7 Dezembro 2017, 16:00 • Ricardo Santos

A teoria das descrições definidas e a solução de Russell (1905) para o problema do autor de Waverley. Análise lógica e exame crítico do argumento dos planetas (Quine 1953). Modalidades e ambiguidades de âmbito: necessidade de dicto e necessidade de re.

A fórmula de Barcan (FB) e a fórmula de Barcan conversa (FBC): versão universal e versão existencial. Confirmação da sua validade na lógica modal quantificada simples (LMQS). Conflito com a avaliação intuitiva: algumas coisas poderiam não existir, e poderiam existir outras coisas além das que efectivamente existem. Contra-exemplos às fórmulas de Barcan: o possível filho de Wittgenstein e o materialista (que defende ‘Necessariamente tudo é material’) para quem muitas coisas materiais existem contingentemente.