Lógica modal quantificada simples (cont.)

30 Novembro 2017, 16:00 • Ricardo Santos

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

A lógica modal quantificada simples

27 Novembro 2017, 16:00 • Ricardo Santos

Revisão da lógica de predicados clássica (conclusão). 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.

Revisão da lógica de predicados clássica

23 Novembro 2017, 16:00 • Ricardo Santos

Breve apresentação da linguagem e da semântica da Lógica de Predicados clássica (LPr). A semântica dos quantificadores e os objectos sem nome. O predicado lógico de identidade: convenções sintácticas. A semântica da Lógica de Predicados com identidade. Exercícios de formalização. Método das árvores: novas regras para os quantificadores e para a identidade. Exemplos de árvores. A construção de contramodelos a partir de caminhos abertos de árvores completas.

Correcção do exercício escrito. Presentismo versus eternismo.

20 Novembro 2017, 16:00 • Ricardo Santos

Entrega e correcção do exercício escrito. Preparação dos ensaios escritos finais. Apresentação breve dos temas possíveis para os ensaios.

A metafísica do tempo (continuação). Presentismo versus eternismo. As objecções ao presentismo: privilégio injustificado do instante temporal em que nos encontramos; aparente incompatibilidade com a teoria da relatividade. O eternismo implica o determinismo? Outras perspectivas: o modelo do universo crescente (‘growing block model’); o modelo do tempo ramificado (‘branching time’). A conexão com o problema do livre arbítrio.

A metafísica do tempo e a questão do futuro

16 Novembro 2017, 16:00 • Ricardo Santos

J.J.C. Smart em defesa da realidade e da unicidade do futuro. Peter Geach em defesa de uma multiplicidade de futuros alternativos possíveis. O futuro é diferente do passado ou têm ambos o mesmo tipo de realidade? A sugestão de que, ao contrário do passado, o futuro não é inevitável. Discussão da tese segundo a qual a alternativa ao fatalismo é a aceitação de que o futuro está em aberto e é indeterminado. O que significa ‘evitar um acontecimento futuro’?