BC1426
Lógica Básica

Ementa

Cálculo sentencial (ou proposicional) clássico: noções de linguagem, conectivos, dedução e teorema, semântica de valorações. Cálculo clássico de predicados de primeira ordem: os conceitos de linguagem de primeira ordem, igualdade, teorema da dedução, conseqüência sintática. Semântica: noções de interpretação, verdade em uma estrutura, modelo. O conceito formal de teoria, fecho dedutivo. Exposição informal de temas, e.g., acerca da consistência de teorias, completude de teorias.

Bibliografia Básica

Da COSTA, Newton C. A. Ensaios sobre os Fundamentos da Lógica. São Paulo, Hucitec, 1980.MORTARI, Cezar A. Introdução à Lógica. São Paulo, UNESP/ Imprensa Oficial do Estado, 2001.de OLIVEIRA, Augusto J. F. Lógica e Aritmética: uma introdução informal aos métodos formais. Lisboa, Gradiva, 1991.


Bibliografia Complementar

BLANCHÉ, Robert. História da Lógica. Lisboa, Edições 70, 1996.CARNIELLI, Walter & EPSTEIN, Richard L. Computabilidade: funções computáveis, lógica e os fundamentos da matemática. São Paulo, Unesp / Fapesp, 2006.DEVLIN, Keith. Sets, Functions, and Logic: an introduction to abstract mathematics. Boca Raton, Chapman & Hall/ CRC Press, 2004.ENDERTON, Herbert B. A Mathematical Introduction to Logic. San Diego, Academic Press, 2001.HAACK, Susan. Filosofia das Lógicas. São Paulo, Unesp, 2002.KNEALE, William & KNEALE, Martha. O Desenvolvimento da Lógica. Lisboa, Fundação Calouste Gulbenkian, 2.ed., 1980.MENDELSON, Elliott. Introduction to Mathematical Logic. Boca Raton, Chapman & Hall/ CRC Press, 4.ed., 1997.SUPPES, Patrick C. Introduction to Logic. New York, Dover, 1999 (1.ed., 1957).
Á
ã
ۉ
â"NwdÁ
l¿Lwù‘|(ÿ
¨Y

Tipo