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.