Sumários
Teste
19 Dezembro 2017, 10:00 • Maria Adriana Sequeira da Silva Graça
Realização do segundo teste escrito obrigatório.
Revisão da semântica da lógica de predicados. Conclusão do curso: a lógica clássica e as lógicas não-clássicas.
18 Dezembro 2017, 18:00 • Ricardo Santos
Revisão da semântica da lógica de predicados. Os elementos de uma interpretação. Exercícios de avaliação de fórmulas numa interpretação dada (Forbes, p. 256).
Conclusão do curso. Os três sistemas lógicos estudados: (i) lógica proposicional, (ii) lógica de predicados monádica, (iii) lógica de primeira ordem com identidade. O que é a lógica clássica e porque é assim chamada. A lógica enquanto teoria sobre a relação de consequência. Questões de avaliação da teoria. Limitações da lógica clássica. Dois exemplos típicos: os predicados vagos (que não têm limites exactos de aplicação) e as frases mentirosas (que dizem de si mesmas que são falsas). Possíveis frases nem verdadeiras nem falsas. Possíveis frases verdadeiras e falsas. O desenvolvimento de lógicas não-clássicas.
Revisões
18 Dezembro 2017, 10:00 • Maria Adriana Sequeira da Silva Graça
Exercícios de revisão para o teste escrito.
Ambiguidade lexical e estrutural. A demonstração de invalidades com contra-exemplos.
14 Dezembro 2017, 18:00 • Ricardo Santos
Dois tipos de ambiguidade: lexical e estrutural. Análise de exemplos. Exercícios de formalização de frases estruturalmente ambíguas.
A demonstração de invalidades por meio de contra-exemplos. Resolução de exercícios (Forbes, pp. 261-2).