Necessidade e possibilidade

6 Outubro 2016, 10:00 • Ricardo Santos

As noções modais de necessidade e possibilidade; sua representação simbólica por meio de operadores frásicos unários. Os operadores modais não são verofuncionais (e, por isso, a sua semântica não é representável em tabelas de verdade). Interdefinibilidade dos dois operadores. A incerteza quanto às leis fundamentais da lógica modal. A abordagem axiomática de C. I. Lewis (5 sistemas, de S1 a S5). Qual é o sistema mais correcto? Kripke e a semântica dos mundos possíveis. Avaliação de cada frase atómica (ou letra esquemática) em cada mundo. A necessidade como verdade em todos os mundos, e a possibilidade como verdade nalgum mundo. A avaliação de frases modalizadas num mundo. Relações entre mundos.

Casos difíceis para a lógica proposicional clássica

3 Outubro 2016, 10:00 • Ricardo Santos

Análise de alguns casos difíceis para a lógica proposicional clássica. Exemplos com condicionais. O contraexemplo ao Modus Ponens de Vann McGee. Argumentos que ‘falam’ de si próprios.

Breve revisão da lógica clássica (3)

29 Setembro 2016, 10:00 • Ricardo Santos

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.

Breve revisão da lógica clássica (2)

26 Setembro 2016, 10:00 • Ricardo Santos

O método das árvores para a LP e os seus usos: (i) testar a validade de argumentos, (ii) testar a demonstrabilidade (ou carácter de verdade lógica) de uma fórmula, (iii) encontrar contramodelos para argumentos inválidos ou fórmulas não-demonstráveis. Resolução de exercícios.

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.

Breve revisão da lógica clássica (1)

22 Setembro 2016, 10:00 • Ricardo Santos

Breve apresentação da linguagem e da semântica da Lógica Proposicional clássica (LP). Resolução de alguns exercícios de formalização e de raciocínio semântico. Apresentação do método das árvores para a LP. Exemplos de aplicação.