A ontologia da modalidade

13 Novembro 2017, 16:00 • Ricardo Santos

A ontologia da modalidade: a realidade e natureza dos mundos possíveis. (1) Os mundos possíveis como entidades abstractas: estados de coisas possíveis máximos (Plantinga) ou conjuntos consistentes máximos de proposições. (2) O realismo modal extremo (David Lewis): mundos possíveis como universos concretos, paralelos, fisicamente inacessíveis, cada um com o seu espaço-tempo. O adjectivo ‘actual’ como expressão indexical, que refere o mundo em que é usada. Simetria entre mundos. Ausência de identidade transmundial. Teoria das contrapartes. (3) O realismo moderado, defensor de uma perspectiva mista: o mundo actual contém objectos concretos e também objectos abstractos; os outros mundos possíveis são partes (abstractas) do mundo actual. Actualismo: só existe aquilo que existe actualmente.

Extensões da lógica temporal Kt.

9 Novembro 2017, 16:00 • Ricardo Santos

Extensões da lógica temporal básica: anterioridade transitiva, extensível (em ambas as direcções), convergente (em ambas as direcções) e densa. Novas regras para as árvores. Exame de novas tautologias. Resolução de exercícios.

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

6 Novembro 2017, 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.

Introdução à lógica temporal. Exercício escrito.

2 Novembro 2017, 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.

Realização do primeiro exercício escrito.

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

30 Outubro 2017, 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.