Introdução aos conceitos e princípios elementares da lógica contemporânea e discussão de questões de filosofia da lógica suscitadas por esses conceitos e princípios.
1) O conceito contemporâneo da lógica. A relativização do conceito de forma lógica. 2) Lógica e linguagem: a formalização. 3) A lógica proposicional. Extensionalidade e intensionalidade. 4) A teoria da quantificação: Frege versus Aristóteles. 5) A sintaxe das linguagens de primeira ordem. Definições e provas recursivas. 6) A semântica das linguagens de primeira ordem. A definição lógica de verdade e o conceito de interpretação. 7) Teorias de primeira ordem. Provas formais. Modelos. Os problemas da consistência e completeza. 8) Linguagens e teorias de ordem superior. O conceito de conjunto. Alguns paradoxos. 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.
COPI, Irving. Introdução à lógica. São Paulo: Mestre Jou, 1974. FREGE, Gottlob. Lógica e filosofia da linguagem. São Paulo: Cultrix, Edusp, 1978. HALMOS, Paul. Teoria Ingênua dos Conjuntos. São Paulo: Edusp, 1970. MATES, Benson. Lógica Elementar. São Paulo: Companhia Editora Nacional, 1968. QUINE, W.V.O. De um ponto de vista lógico. São Paulo: Edunesp, 2010. _____. Methods of Logic. Nova York: Holt, 1962 (trad. esp.: Metodos de la Logica. Barcelona: Ariel, 1967).
