Sumários
Lógica proposicional modal – os sistemas D e T
1 Março 2023, 11:00 • Ricardo Santos
Correcção e completude da lógica modal
K. Avaliação de K: pontos positivos e negativos. Relações entre o necessário, o
possível e o actual. Extensões de K: o sistema D (com acessibilidade
extensível) e o sistema T (com acessibilidade reflexiva). Modificação da
definição de interpretação. Novas regras para as árvores.
Sistema K: árvores e contramodelos
27 Fevereiro 2023, 09:30 • Ricardo Santos
O método das árvores para a lógica K.
Resolução de exercícios. Construção de contramodelos a partir de um caminho
aberto de uma árvore acabada. Representação e verificação do contramodelo.
Lógica proposicional modal – o sistema K
22 Fevereiro 2023, 11:00 • Ricardo Santos
A semântica dos mundos
possíveis (modelos de Kripke) para a lógica modal. A relação de acessibilidade
entre mundos. A lógica K: os símbolos e as regras de formação. A semântica.
Elementos de uma interpretação: conjunto de mundos possíveis, relação de
acessibilidade entre mundos e função que avalia cada fórmula atómica em cada
mundo. Definições de verdade (num mundo de uma interpretação), de consequência
semântica e de verdade lógica. O método das árvores para a lógica K.
Das condicionais às modalidades: C.I. Lewis e a lógica da implicação estrita (2)
15 Fevereiro 2023, 11:00 • Ricardo Santos
A procura de uma lógica
da implicação estrita. A proposta (Lewis e Langford 1932) de cinco sistemas
axiomáticos (S1 a S5) para a implicação estrita. A lógica da implicação estrita
– ou lógica modal – como extensão da lógica proposicional clássica. Os
paradoxos da implicação estrita.
Das condicionais às modalidades: C.I. Lewis e a lógica da implicação estrita (1)
13 Fevereiro 2023, 09:30 • Ricardo Santos
A crítica de C.I. Lewis à implicação material e a defesa da noção de implicação estrita (pretendendo captar a relação inferencial ou de consequência). O símbolo de implicação estrita e a sua definição com base nas conectivas verofuncionais e num operador modal. A procura de uma lógica da implicação estrita.