Sumários
A lógica modal quantificada simples (cont.)
29 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).
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).
A lógica modal quantificada simples
26 Abril 2021, 18:30 • Ricardo Santos
Introdução à lógica modal quantificada simples (LMQS). A linguagem: os símbolos e as regras de formação. A semântica: interpretações da linguagem da LMQS. Interpretação dos predicados relativa a cada mundo possível. Os nomes como designadores rígidos. Domínio de quantificação constante. Condições de verdade de fórmulas atómicas e de fórmulas complexas (conectivas, operadores modais, quantificadores). Regras para as árvores: regras para os quantificadores e regras para a identidade.
Revisão da lógica de predicados clássica: o método das árvores.
22 Abril 2021, 18:30 • Ricardo Santos
Método das árvores para a lógica de predicados: novas regras para os quantificadores e para a identidade. Exemplos de árvores. A construção de contramodelos a partir de caminhos abertos de árvores completas. Resolução de exercícios.