Lógica temporal proposicional básica: o sistema Kt.

25 Março 2020, 16:00 • Ricardo Santos

A lógica temporal proposicional básica: o sistema Kt. A linguagem formal e a semântica de Kt. Condições de verdade para os operadores temporais. Regras para o método das árvores aplicado à lógica temporal básica. Exame de algumas tautologias temporais.

[Por causa da epidemia de covid-19, esta aula foi dada, no horário habitual, por videoconferência.]

Introdução à lógica temporal.

23 Março 2020, 16:00 • Ricardo Santos

Introdução ao estudo da lógica temporal. Verdades eternas e verdades temporárias: a relativização da verdade ao tempo. Os operadores temporais: H (“foi sempre o caso que”), P (“foi alguma vez o caso que”), G (“será sempre o caso que”), F (“será alguma vez o caso que”). Interpretações da linguagem da lógica temporal. Conjuntos de instantes temporais, e a relação de anterioridade.

[Por causa da epidemia de covid-19, esta aula foi dada, no horário habitual, por videoconferência.]

Lógica proposicional modal: resolução de exercícios.

18 Março 2020, 16:00 • Ricardo Santos

Os seis sistemas principais de lógica proposicional modal. Validades e invalidades de cada um dos sistemas. Árvores e contra-modelos. Resolução de exercícios: encontrar o sistema mais fraco em que uma fórmula é válida.

[Por causa da epidemia de covid-19, esta aula foi dada, no horário habitual, por videoconferência.]

Lógica proposicional modal – os seis sistemas principais.

16 Março 2020, 16:00 • Ricardo Santos

Revisão dos seis sistemas principais de lógica proposicional modal – K, D, T, B, S4, S5 – e das suas relações. O que S5 tem de especial: acessibilidade total e redução modal. O método das árvores. Validades e invalidades de cada um dos sistemas. Resolução de exercícios.

[Por causa da epidemia de covid-19, esta aula foi substituída por uma gravação enviada aos estudantes.]

Lógica proposicional modal: os sistemas B e S5.

11 Março 2020, 16:00 • Ricardo Santos

Avaliação do sistema T: pontos positivos e alegadas fraquezas. As modalidades iteradas e os seus princípios. Outras questões para avaliação da lógica T: (ii) Será que a verdade de uma proposição implica, não apenas a sua possibilidade, mas que essa possibilidade seja necessária? (iii) Haverá possibilidades que o são apenas contingentemente? Ou seja, é consistente dizer algo do género: “Tal é possível mas poderia ser impossível”?

Reforçando a lógica modal T: acessibilidade reflexiva, transitiva e simétrica. Os sistemas resultantes: B e S4 são extensões independentes de T; e S5 é uma extensão de B e também de S4. Novas regras para as árvores para os sistemas mais fortes.

[Por causa da epidemia de covid-19, esta aula foi substituída por uma gravação enviada aos estudantes.]