A metafísica da modalidade

15 Novembro 2018, 12:00 • Ricardo Santos

A distinção entre o necessário e o contingente e a procura de uma base para a sua explicação. A quantificação sobre mundos possíveis como sugestão de partida, que logo convida à questão de saber o que são mundos possíveis. (1) Os mundos possíveis como conjuntos consistentes máximos de proposições. A circularidade da explicação, dado o carácter modal da noção invocada de consistência. (2) O realismo modal de David Lewis: mundos possíveis como universos (i.e. somas mereológicas) 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. Ausência de identidade transmundial. Teoria das contrapartes. Semelhança (maior ou menor) entre mundos. Discussão de objecções. (3) A proposta de Kit Fine de usar as essências das coisas como base para as verdades metafisicamente necessárias. (4) As alternativas convencionalistas.

Extensões da lógica temporal Kt.

12 Novembro 2018, 12: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.

8 Novembro 2018, 12: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.

5 Novembro 2018, 12: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.

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

29 Outubro 2018, 12: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.

Realização do primeiro exercício escrito.