A crítica de Quine à lógica modal.

28 Novembro 2016, 10:00 • Ricardo Santos

Correcção do teste de avaliação.

A crítica de Quine à lógica modal quantificada (continuação). Análise lógica e exame crítico do argumento dos planetas e do argumento do ciclista matemático. Modalidades de dicto e de re.

Descrições definidas em contextos modais. Teste de avaliação.

24 Novembro 2016, 10:00 • Ricardo Santos

A teoria das descrições definidas de Russell. Resolução do problema do rei de França e do problema do autor de Waverley. Descrições definidas e ambiguidades de âmbito. A substituibilidade de idênticos não se aplica a descrições definidas.

2º teste de avaliação.

Lógica modal quantificada simples (cont.)

21 Novembro 2016, 10:00 • Ricardo Santos

Resolução de exercícios de lógica modal quantificada simples. Aplicação do método das árvores. Construção e verificação de contramodelos.

A crítica de Quine à lógica modal quantificada: o argumento dos planetas.

Lógica modal quantificada simples (cont.)

17 Novembro 2016, 10:00 • Ricardo Santos

Lógica modal quantificada simples (continuação). Resolução de exercícios, com árvores, e construção de contramodelos.

Lógica modal quantificada simples.

14 Novembro 2016, 10:00 • Ricardo Santos

Introdução à lógica modal quantificada simples (LMQS). A linguagem: os símbolos e as regras de formação. A semântica: interpretações da linguagem da LMQS. Interpretação dos predicados relativa a cada mundo possível. Os nomes como designadores rígidos. Domínio de quantificação constante. Condições de verdade de fórmulas atómicas e de fórmulas complexas (conectivas, operadores modais, quantificadores). Regras para as árvores: regras para os quantificadores e regras para a identidade.