O curso destina-se promover a apreensão dos conceitos e das técnicas fundamentais do Cálculo dos Predicados de 1a ordem.

Cálculo de Predicados de 1a Ordem. Cálculo lógico e sistemas formalizados; lógica e linguagem ordinária. Predicados variáveis e quantificação. Identidade e referência; nomes próprios e descrições definidas. Noções fundamentais da teoria dos conjuntos. Sintaxe da linguagem de 1a ordem; definições recursivas e o princípio da indução. Semântica das linguagens de 1a ordem; a definição lógica de verdade e o conceito de interpretação.

1) Linguagens de primeira ordem: categorias, vocabulário e gramática.
2) Semântica clássica para linguagens de primeira ordem.
3) A lógica proposicional clássica. Teoria das funções de verdade. Algumas visões alternativas.
4) A lógica de primeira ordem com e sem identidade. A noção de consequência.
5) Sistemas formais. As noções de cálculo formal e consequência sintática.
6) Cálculos formais. Os cálculos proposicionais clássicos.
7) O cálculo de predicados de primeira ordem com e sem identidade.
8) Teoremas de completude. Alguns corolários.
9) Formalização de teorias. Algumas noções de teorias dos modelos.

Observação: O curso desenvolverá de maneira orientada e sistemática atividades voltadas especialmente ao campo da extensão, sobretudo aquelas vinculadas a práticas de leitura, elaboração e produção de textos e materiais acadêmicos e didáticos que disponham de expressivo alcance junto à comunidade, estimulando a reflexão ativa sobre o vínculo entre sociedade e Universidade.