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.
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).
