Sumários
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 2018, 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.
Exercícios
18 Dezembro 2018, 10:00 • Maria Adriana Sequeira da Silva Graça
Exercícios de revisão para o segundo teste escrito.
Ambiguidade lexical e estrutural. A demonstração de invalidades com contra-exemplos.
17 Dezembro 2018, 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).
Derivações
17 Dezembro 2018, 10:00 • Maria Adriana Sequeira da Silva Graça
Tradução de argumentos da linguagem natural para o Cálculo de Predicados e demonstração de validade.