Estudo de temas avançados de lógica contemporânea
Introdução à metateoria da lógica de predicados clássica de primeira ordem e de algumas de suas extensões tais como lógica de segunda ordem, teoria de conjuntos e lógica infinitária.
1) Lógica de primeira ordem 2) Completude; compacidade; Löwenheim-Skolem. 3) Interpolação e definibilidade. 4) Classes especiais de fórmulas; teoremas de preservação. 5) Casos solúveis do Entscheidungsproblem. 6) Formas normais de Skolem. Teorema de Herbrand. 7) Lógica de segunda ordem. 8) Lógica infinitária. 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.
ACKERMANN, W. Solvable cases of the decision problem. Amsterdã: North-Holland, 1954. CHANG, C.C.; KEISLER, H.J. Model theory. Mineola (EUA): Dover, 2012. CHURCH, A. Introduction to mathematical logic. Princeton: Princeton University Press, 1956. HALMOS, P. Teoria Ingênua dos Conjuntos. São Paulo: Edusp, 1970. KEISLER, H.J. Model theory for infinitary logic. Amsterdã: North-Holland, 1971. LINDSTRÖM, P. First-order logic. Gothenburg University, 2006. LINDSTRÖM, P. First-order logic. Col. Web Series, n. 36. Gotemburgo (Suécia): Göteborg University, 2006. QUINE, W.V.O. Methods of Logic. Nova York: Holt, 1962. SMULLYAN, R. Lógica de primeira ordem. São Paulo: Edunesp, Discurso Editorial, 2009.
