A lógica modal quantificada simples (cont.)

27 Abril 2021, 18:30 • Ricardo Santos

Exercícios de LMQS com árvores e contramodelos. Avaliação da lógica LMQS. A fórmula de Barcan (FB) e a fórmula de Barcan conversa (FBC): 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. A LMQS implica o necessitismo (tese segundo a qual, necessariamente, todas as coisas existem necessariamente), mas este parece obviamente falso. Diagnóstico: o problema tem origem no facto de os vários mundos possíveis terem todos o mesmo domínio (em cada interpretação).