Sumários
Revisão da lógica de predicados clássica: o método das árvores.
20 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.
Revisão da lógica de predicados clássica: a linguagem e a semântica.
19 Abril 2021, 18:30 • Ricardo Santos
Breve apresentação da linguagem e da semântica da Lógica de Predicados clássica (LPr). A semântica dos quantificadores e os objectos sem nome. O predicado lógico de identidade: convenções sintácticas. A semântica da Lógica de Predicados com identidade. Exercícios de formalização.
Indeterminismo e tempo ramificante
15 Abril 2021, 18:30 • Ricardo Santos
Possíveis consequências fatalistas da lógica temporal linear. A concepção fatalista da realidade e do tempo. Fatalismo e determinismo: diferenças e semelhanças. Duas ideias centrais da exposição aristotélica do argumento fatalista: o princípio da verdade anterior e a inferência da verdade anterior para a inevitabilidade do facto em causa. Leis da lógica temporal linear que sugerem que (i) o passado não pode ser mudado e que (ii) o futuro está desde sempre fixado. Semelhança essencial entre passado e futuro. A rejeição por Lukasiewicz e Prior do princípio da verdade anterior. À procura de uma lógica para o futuro aberto: modelos de tempo ramificante (com a forma de árvore) (Kripke, Prior). A semântica supervalorativista (Thomason).
Indeterminismo e tempo ramificante
13 Abril 2021, 18:30 • Ricardo Santos
Possíveis consequências fatalistas da lógica temporal linear. A concepção fatalista da realidade e do tempo. Fatalismo e determinismo: diferenças e semelhanças. Duas ideias centrais da exposição aristotélica do argumento fatalista: o princípio da verdade anterior e a inferência da verdade anterior para a inevitabilidade do facto em causa. Leis da lógica temporal linear que sugerem que (i) o passado não pode ser mudado e que (ii) o futuro está desde sempre fixado. Semelhança essencial entre passado e futuro. A rejeição por Lukasiewicz e Prior do princípio da verdade anterior. À procura de uma lógica para o futuro aberto: modelos de tempo ramificante (com a forma de árvore) (Kripke, Prior). A semântica supervalorativista (Thomason).
Extensões da lógica temporal Kt (cont.)
12 Abril 2021, 18:30 • Ricardo Santos
Extensões da lógica temporal básica: anterioridade extensível (em ambas as direcções), transitiva, convergente (em ambas as direcções) e densa. Novas regras para as árvores. Exame de novas tautologias. Resolução de exercícios.