UNIVERSIDADE DE BRASÍLIA

INSTITUTO DE CIÊNCIAS HUMANAS

DEPARTAMENTO DE FILOSOFIA
PROGRAMA DE MESTRADO

Disciplina: Lógica Formal Moderna

1o semestre de 2012, 4 créditos
Prof. Dr. Nelson Gonçalves Gomes

I. OBJETIVO DO CURSO:
Apresentar ao discente mestrando os tópicos mais relevantes da lógica de 1a ordem, pelo
método dos tableaux. Ele deverá aprender as técnicas dedutivas básicas e os principais
resultados metateóricos.

II. MÉTODO:
As aulas serão expositivas, com exercícios regulares acompanhando as preleções. Os
discentes receberão exercícios semanais, sempre acompanhados de gabaritos.

III. AVALIAÇÃO:
Duas provas escritas terão lugar, conforme o cronograma. A menção final será a média
aritmética dessas provas.

IV. PROGRAMA:

A. Preliminares:
1) Frase, verdade e proposição; 2) Postulados clássicos; 3) Argumento, consequência e
validade; 4) O conceito de lógica; 5) Aspectos históricos do desenvolvimento da lógica.

B. Primeira parte: conjuntos:

1) Pertinência. 2) Relações entre conjuntos. 3) Operações com conjuntos. 4) Relações e
funções.

C. Segunda parte: lógica simbólica de 1a ordem:

1 C.1 Lógica simbólica e linguagem: 1) Linguagem natural e linguagem formal. 2)

Linguagem-objeto e metalinguagem. 3) Árvores e tableaux.
2
3 C.2 Lógica proposicional: 1) Sintaxe e semântica da linguagem dos conectivos. 2) Tabelas
veritativas. 3) O cálculo proposicional: deduções e demonstrações, com emprego de
tableaux. 4) Propriedades metalógicas do cálculo proposicional.

C.3 Lógica de predicados de 1a ordem:

1) Sintaxe e semântica da linguagem de quantificadores; 2) O cálculo de predicados de 1 a
ordem: deduções e demonstrações; 4) Propriedades metalógicas do cálculo dos
predicados. 5) Identidade e descrições. 6) Os paradoxos e os fundamentos da matemática.
V. BIBLIOGRAFIA:

 Sobre teoria dos conjuntos:

FRANCO de OLIVEIRA, Augusto. Teoria dos conjuntos. Intuitiva e axiomática (ZFC).

Lisboa: Livraria Escolar Editora, 1982.
Esse livro começa por expor a teoria dos conjuntos de modo simples, accessível a qualquer leitor. Em seguida,
ele estabelece os fundamentos de uma apresentação axiomática, mais rigorosa.

HALMOS, Paul, R. Naive set theory. Princeton (NJ): Van Nostrand, 1960.
Em português: Teoria ingênua dos conjuntos. Tradução de Lázaro Coutinho. Rio de Janeiro: Ed. Ciência
Moderna, 2003. A primeira tradução desse livro foi feita por Irineu Bicudo e foi publicada em São Paulo, pela
Editora Polígono, 1970. Accessível a qualquer leitor, esse texto é a melhor introdução à teoria dos conjuntos que
há, com tradução para o nosso idioma.

IEZZI, Gelson & MURAKAMI, Carlos. Fundamentos de matemática elementar: Conjuntos,

funções, 7a ed. São Paulo: Atual, 1993.
Texto escolar introdutório, com 84 exercícios resolvidos, 484 exercícios propostos, com respostas e 398 testes,
também com respostas. Em princípio, o livro foi escrito para pessoas com interesse em matemática, mas também
é útil para ouros leitores.

LIPSCHUTZ, Seymour. Schaum’s outline of theory and problems of set theory and related
topics. New York: McGraw-Hill, 1963.
Em português: Teoria dos conjuntos. Tradução de Fernando V. H. da Silva. São Paulo: McGraw-Hill do Brasil,
1976. Obra extremamente didática, este livro contém um resumo da teoria, 283 problemas resolvidos e 270
problemas propostos.

LOURENÇO, Manuel S. Acordar para a lógica matemática. Lisboa: Centro de Filosofia da

Universidade de Lisboa, 2006.
Apesar do título, este livro é uma introdução à teoria dos conjuntos. Ele se inicia com noções básicas sobre
operações com números e desenvolve-se passando por todos os tópicos usuais da teoria dos conjuntos, até
número cardinal. O texto é bem ordenado e contém múltiplos exemplos.

MIRAGLIA, Francisco. Teoria dos conjuntos: Um mínimo. São Paulo: EDUSP, 1991.
Esta obra abrange o que há de essencial na teoria dos conjuntos. É recomendável para quem tiver boa base em
matemática.

POTTER, Michael. Set theory and its philosophy. Oxford: Oxford University Press, 2004.
Como diz o título do livro, trata-se de uma obra que envolve teoria dos conjuntos e filosofia. Ela dirige-se ao
leitor filósofo com interesse em matemática e ao matemático com interesse em filosofia. Não é uma obra
elementar, de modo que ela se volta ao leitor que já tem conhecimentos fundamentais em lógica e conjuntos. O
livro abrange a teoria dos conjuntos, a teoria elementar dos números e a teoria dos números cardinais e ordinais.
É um texto de boa qualidade.

QUINE, W.V.O. Set theory and its logic. Cambridge (Massachusetts): Harvard University
Press, edição revisada, 1969.
Esse livro é um clássico, escrito pelo grande lógico norte-americano Quine. É aconselhável para quem já tenha
formação básica na área.

STEINHART, Eric. More Precisely-The Math You Need to Do Philosophy. Toronto:

Broadview Press, 2009.
É conveniente que o estudante de filosofia conheça certos elementos de matemática, que lhe dão acesso a
questões de lógica, de teoria da linguagem e até de ética. Este livro desenvolve de modo didático esses elementos
úteis ao filósofo, como teoria dos conjuntos, probabilidades e até cálculos aplicáveis à ética utilitarista. É um
ótimo texto.
STOLL, Robert R. Set theory and logic. New York: Dover Publications, Inc., 2a edição, 1963,
reimpressão da 2a edição em 1979.
O ensaio de Stoll abrange lógica e teoria dos conjuntos, com grande ênfase sobre esta última. Ele contém
axiomatizações de várias subteorias, de modo especial, da lógica de predicados. É um texto bastante legível, mas
não serve como introdução elementar. Envolve questões metalógicas importantes.

 Apresentações simples e resumidas da lógica, accessíveis a qualquer leitor:

BEALL, Jc. Logic: The Basics. London/New York: Routledge, 2010.

O livro de Beall percorre uma vasta área de temas de lógica: linguagens formais, conjuntos, conectivos,
quantificadores, identidade, modalidades e outros tópicos. Os conteúdos são nele abordados de maneira intuitiva,
com ênfase sobre métodos semânticos. É útil ao leitor interessado em filosofia.

CARNIELLI, Walter & EPSTEIN, Richard. Pensamento crítico: o poder da lógica e da

argumentação. São Paulo: Editora Rideel, 2009.
A obra de Carnielli e Epstein enquadra-se na tradição do pensamento crítico, cultivada particularmente em
universidades norte-americanas. O livro desenvolve-se em torno da noção de argumentação, da estrutura e tipos
dos argumentos, das estratégias para o reconhecimento e refutação de maus argumentos e das relações entre
argumentos e experiência. O teor do texto é eminentemente prático e informal. O livro é útil para qualquer leitor.

CHAVINEAU, J.-A. La logique moderne. Paris: PUF, 1980 (1957).

Em português: A lógica moderna. Tradução de André Infante. Lisboa: Publicações Europa-América, s.d.
Introdução resumida, que pertence à conhecida coleção francesa de pequenos livros introdutórios chamada “Que
sais-je?”. É algo antiquada, na sua maneira de apresentar a lógica, mas pode ser útil ao principiante.

CRUZ, Ângela & de ALMEIDA MOURA, José Eduardo. A lógica na construção dos
argumentos. São Carlos (SP): Sociedade Brasileira de Matemática Aplicada e
Computacional, 2004.
Esse é um texto simples e curto, embora abranja tópicos de lógica tradicional, de teoria da indução, de lógica
matemática e de filosofia da lógica. O texto enfatiza os diversos modos de argumentar.

DELMAS-RIGOUTSOS, Y. & LALEMENT, R. La logique ou l’art de raisonner. Paris: Le

Pommier-Fayard, 2000.
Em português: A lógica ou a arte de raciocinar. Tradução de Carlos Aboim de Brito. Lisboa: Instituto Piaget,
2004. Esse livro é uma introdução simples à lógica e a certas noções de conjuntos, com exemplos de jogos e de
aplicações matemáticas de fácil compreensão. Serve como primeira leitura sem caráter técnico.

GOLDSTEIN, Lawrence et al. Logic: Key concepts in philosophy. London/New York:

Continuum, 2005.
Em português: Lógica: Conceitos-chave em filosofia. Tradução de Lia Levy. Porto Alegre: Artmed, 2007. Essa
obra contém uma introdução muito geral à lógica. Ela abrange também alguns tópicos importantes de filosofia da
lógica, como verdade, necessidade, derivabilidade e outros.

PRIEST, Graham. Logic. Oxford: Oxford University Press, 2000.

Em português: Lógica. Tradução de Célia Teixeira. Lisboa: Temas e Debates, 2002. Breve introdução de ótima
qualidade. Em 14 capítulos sumários, o autor expõe os conceitos elementares da lógica e suas relações
filosóficas. Extensões da lógica fundamental, como as lógicas modal, temporal, difusa probabilística e da decisão
também são concisamente apresentadas.

 Texto que contrapõe vários métodos em lógica, incluindo tableaux:

BOSTOCK, David. Intermediate logic. Oxford: Clarendon Press, 1997.

Este texto contém uma exposição minuciosa da linguagem de primeira ordem. Em seguida, apresenta diversas
formas de calculização: tabelas semânticas (tableaux ou árvores), axiomática, dedução natural, lógica das
sequências. Um capítulo com questões lógico-filosóficas (existência e identidade) conclui o livro.
  Outros textos que empregam o sistema de árvores, ainda que parcialmente:

BESSIE, Joseph & GLENNAN, Stuart. Elements of deductive inference: An introduction to

symbolic logic. Belmont (CA): Wadsworth Publishing Company, 2000.
Bessie & Glennan escreveram esse livro de modo a apresentar a lógica matemática, incluindo-lhe vários tópicos
de interesse filosófico (como o compromisso ontológico, por exemplo). Há também outros acréscimos de
interesse, como lógica de ordem superior, lógica modal, etc. O texto está acompanhado com um disquete, para
exercícios.

BERGMANN, Merrie & MOOR, James & NELSON, Jack. The logic book. New York:
McGraw-Hill, 3a ed. 1998.
Este é um texto elementar, bastante didático, que contém resultados metalógicos sobre os sistemas estudados. É
acompanhado de um volume complementar com respostas para os exercícios propostos: Solutions to selected
exercises in the logic book.

CAUMAN, Leigh S. First order logic: An introduction. Berlin/New York: Walter de Gruyter,
1998.
Esta é uma boa introdução elementar à lógica, na qual são desenvolvidos os sistemas de dedução natural (na
linha de Quine) e árvores.

D’AGOSTINO, Marcello et al. (eds.). Handbook of tableau methods.

Dordrecht/Boston/London: Kluwer Academic Publishers, 1999.
O livro editado por D’Agostino et alii é uma coletânea de artigos, nos quais o método de árvores (tableau
method) é aplicado a diversas áreas da lógica, como, por exemplo, lógica de 1 a ordem, lógica modal, lógica
plurivalente, etc. É um texto de alta qualidade.

FORBES, Graeme. Modern logic: A text in elementary symbolic logic. New York/Oxford:
Oxford University Press, 1994.
Texto de excelente qualidade, que envolve árvores e dedução natural, abrangendo um bom número de temas de
lógica de 1a ordem.

HODGES, Wilfred. Logic: An introduction to elementary logic, 6a reimpressão.

Harmondsworth: Penguin Books, 1985.
O livro de Hodges é muito usado em cursos de introdução à lógica, pelo seu caráter simples e didático. É um
excelente texto.

HOWSON, Colin. Logic with trees: An introduction to symbolic logic. London/New York:
Routledge, 1997.
Este ensaio cobre toda a lógica elementar, numa linguagem simples, com muitos exercícios. É um bom livro.

IMAGUIRE, Guido & BARROSO, Cícero A. C. Lógica: Os jogos da razão. Fortaleza:

Edições da UFC, 2006.
Esse livro compreende os tópicos centrais da lógica de 1 a ordem e alguns temas a ela correlatos: silogística
aristotélica (em resumo), noções sobre conjuntos, além de rudimentos de lógicas alternativas. O seu ponto forte é
o desenvolvimento dos metateoremas relativos aos sistemas elementares. O texto é bastante didático.

JEFFREY, Richard. Formal logic: Its scope and limits, 3a ed. New York: McGraw-Hill, 1991.
Em espanhol: Lógica formal: Su alcance y sus límites. Pamplona: Ediciones Universidad de Navarra, 1986.
Este livro também é um dos clássicos do método de árvores. É adequado para um curso introdutório. Tem um
bom capítulo sobre metateoria.

MARGUTTI PINTO, Paulo Roberto. Introdução à lógica simbólica. Belo Horizonte: Editora
UFMG, 2001.
Este livro é bastante simples, accessível e contém muitos exercícios, sempre antecedidos por exemplos. Abrange
os tópicos básicos da lógica de 1a ordem de forma sistemática, evitando complicações formais. É um bom texto
introdutório, didaticamente cuidadoso e muito bem fundamentado, quanto à teoria. A obra contém indicações
sobre o sítio eletrônico do autor, onde uma vasta série de exercícios com soluções pode ser encontrada.

MORTARI, Cezar. Introdução à lógica. São Paulo: Editora UNESP/Imprensa Oficial do

Estado, 2001.
O nome desse livro indica que é uma obra introdutória, mas, na verdade, o texto tem o mérito de ir além de tais
limites, pois apresenta os seus diversos assuntos de modo não-trivial. Ele dispensa conhecimentos prévios,
podendo ser lido por qualquer interessado. O livro percorre os tópicos clássicos da lógica de 1 a ordem, de modo
claro e didático, indicando também algumas questões metateóricas. Árvores e dedução natural são os métodos
privilegiados pelo autor. O livro contém ainda uma parte sobre teorias formalizadas e um último capítulo sobre
lógicas não-clássicas, que envolve noções sobre sistemas modais, polivalentes, intuicionistas, etc. Essa obra é
recomendável.

NOLT, John & ROHATYN, Dennis. Schaum’s outline of theory and problems of logic. New
York: McGraw-Hill, 1988.
Em português: Lógica. Tradução de Mineko Yamashita. São Paulo: McGraw-Hill, 1991.
Esse livro tem 325 problemas resolvidos e mais 454 problemas suplementares. É um típico livro para cursos
introdutórios.

NUNES de SOUZA, João. Lógica para ciência da computação: Fundamentos de linguagem,

semântica e sistemas de dedução. Rio de Janeiro: Campus, 2002.
Este é um livro teoricamente escrito para estudantes de computação. Apesar disso, a quase totalidade do texto
versa sobre os tópicos usuais da lógica elementar, de modo que a obra pode ser lida por qualquer iniciante. Os
sistemas da dedução natural, dos tableaux e o método axiomático são aí apresentados e, até certo ponto,
desenvolvidos. O livro é didático e contém mais de 700 exercícios, com gabaritos. Porém, esse texto não está
livre de restrições.

RESTALL, Greg. Logic: An introduction. Montreal & Kingston (Canadá) / Ithaca (EE.UU.):
McGill-Queen’s University Press, 2006.
O livro é um texto para principiantes, que aplica métodos simples, em especial tableaux. Trata também de outros
tópicos de interesse, como dedução natural e assuntos filosóficos, como existência, natureza dos predicados, etc.
Tem muitos exercícios. É um ótimo texto.

SÀÁGUA, João. Lógica para as humanidades. Lisboa: Edições Colibri, 2001.

Como diz o título da obra, esse livro foi escrito para alunos dos cursos de ciências humanas. O livro é
introdutório, contendo muitos exemplos de questões a serem resolvidas. Os tópicos da lógica de 1 a ordem são
apresentados de forma abrangente, embora o autor evite questões de metalógica.

SMITH, Peter. An Introduction to formal logic. Cambridge: Cambridge University Press,

2003.
Esta é uma introdução à lógica que percorre cuidadosamente os diversos tópicos da matéria, com ênfase nos
tableaux. A leitura do livro é fácil e agradável. O autor ressalta questões significativas, como o condicional
material e suas relações com as linguagens naturais. A obra contém muitos exercícios.

SMULLYAN, Raymond M. First-order logic, 2a ed. New York: Dover, 1995.

Em português: Lógica de primeira ordem. Tradução de Andréa Loparic et al. São Paulo: Editora Unesp;
Discurso Editorial, 2009. Esse texto é clássico no âmbito das obras que empregam o método de árvores. É um
livro que começa de forma elementar, mas logo avança em direção a tópicos mais complexos.

TIDMAN, Paul & HOWARD, Kahane. Logic & philosophy: A modern introduction. Belmont
(CA): Wadsworth Publishing Company, 8a ed. 1998.
Livro excepcionalmente claro e abrangente, a obra de Tidman & Howard faz uma excelente apresentação da
lógica matemática fundamental, abordando todos os itens do nosso programa. Além disso, o livro contém
versões resumidas de sistemas alternativos, como lógica modal, lógica epistêmica, etc. É um texto ímpar, que
inclui um disquete, para exercícios.

TOMASSI, Paul. Logic. London/New York: Routledge, 1999.

Este é um texto introdutório, com muitos exercícios. Aplica dedução natural e método de árvores.

 Apresentações axiomáticas da lógica:

CHURCH, Alonzo. Introduction to mathematical logic, vol. I. Princeton (NJ): Princeton

University Press, 1956.
O livro de Church é um clássico, que contém sistemas de 1 a e 2a ordens, devidamente axiomatizados e com sua
propriedades metalógicas estabelecidas.

DE ARAÚJO FEITOSA, Hércules & PAULOVICH, Leonardo. Um prelúdio à lógica. São

Paulo: Editora UNESP, 2005.
Embora empregue o método axiomático de maneira sucinta, este livro contém boas explicações intuitivas sobre
os sistemas lógicos elementares, sobre conjuntos e silogismos. Ele contém ainda um capítulo bem desenvolvido
sobre circuitos eletrônicos, o que o torna interessante para alunos de computação.

EBBINGHAUS, H.-D. & FLUM, J. & THOMAS, W. Mathematical logic. 2a ed. New York:
Springer, 1991.
O presente texto é recomendável para que tem formação matemática. É uma obra precisa e abrangente.

HACKSTAFF, L. H. Systems of formal logic. Dordrecht: D. Reidel Publishing Company,

1966.
Este livro apresenta sistemas axiomáticos e também de dedução natural, de sorte que é útil para todo o programa.

HAMILTON, A. G. Logic for mathematicians. Cambridge: Cambridge University Press,

reimpressão 1997 [1978].
Como diz o título, este é um livro de lógica para matemáticos, que emprega o método axiomático. O texto tem
bons capítulos sobre a incompletude de Gödel e sobre computabilidade.

HENDRICKS, V. et al. (eds.). First-order logic revisited. Berlin: Logos Verlag, 2004.
Essa é uma coletânea de artigos sobre tópicos diversos da lógica axiomatizada, como inferência automática,
lógica construtiva, completude, etc. É uma revisão de certos caminhos percorridos pela lógica no século XX,
sobretudo a partir da publicação do livro de Hilbert & Ackermann. É um texto útil para leitores avançados.

HILBERT, David & ACKERMANN, Wilhelm. Grundzüge der theoretischen Logik.

Berlin/Heidelberg/New York: Springer Verlag, 5a ed. 1967.
Em espanhol: Elementos de lógica teórica. Tradução de Víctor Sánchez de Zavala. Madrid: Editorial Tecnos ,
S.A., 1962. Tradução da 4a edição alemã (1959).
Em inglês: Mathematical logic. Tradução de Lewis M. Hammond et alii. New York: Chelsea Publishing
Company, 1950. Tradução da 2a edição alemã (1938).
Esta obra é uma dentre as mais empregadas em cursos universitários, dados o seu rigor e clareza. É interessante
observar que as três primeiras edições do livro usam um determinado sistema axiomático. A partir da 4 a edição
alemã, lançada depois da morte de Hilbert, um novo sistema é aplicado, cuja elaboração deve-se tão somente a
Ackermann.

KNEEBONE, G. T. Mathematical logic and the foundations of mathematics: An introductory

survey. Mineola (New York): Dover Publications, Inc., 1a ed. 1963, reedição 2001.
Após fazer uma apresentação da lógica em termos axiomáticos, este livro apresenta bastante bem as principais
questões relativas à fundamentação da matemática e às suas relações com a lógica: logicismo, intuicionismo,
formalismo, teorema de Gödel, aritmética recursiva, questões de epistemologia da matemática, etc.

KLEENE, Stephen Cole. Mathematical logic. New York/London/Sydney: John Wiley &
Sons, Inc., 1966.
Kleene apresenta a lógica no contexto da teoria dos modelos, com forte ênfase sobre os mais importantes
resultados metalógicos.
LANGER, Susanne K. An introduction to symbolic logic. 3a ed. New York: Dover
Publications, 1963.
O principal interesse que esta obra apresenta é histórico, pois desenvolve bem o cálculo das classes e a lógica tal
como era entendida nos anos 1930, segundo o modelo dos Principia.

LOURENÇO, M. S. Teoria clássica da dedução. Lisboa: Assírio & Alvim, 1991.

O autor desenvolve a lógica de modo axiomático, começando com exemplos tirados da aritmética elementar. O
texto é útil para quem já fez algum curso básico de lógica.

MARGARIS, Angelo. First Order Mathematical Logic. New York: Dover Publications, Inc,
1990 (1967).
Embora tenha sido escrito como texto de lógica para graduandos em matemática, o livro de Margaris é
accessível a um público mais amplo de leitores. Além do tratamento usual da lógica elementar, essa obra contém
um bom capítulo sobre teorias de 1a ordem e sobre suas propriedades metateóricas (consistência, completude,
decidibilidade). Ao final, o teorema de Gödel é delineado.

MENDELSON, Elliott. Introduction to mathematical logic. New York: D. Van Nostrand

Company, 1964.
O livro de Mendelson é conhecido pelo seu rigor. Apresenta, axiomaticamente, os sistemas lógicos de 1 a ordem,
a teoria dos números e a teoria dos conjuntos. Conclui com questões de computabilidade.

QUINE, W. V. Mathematical Logic, 13a reimpressão. Cambridge (Massachusetts)/London

(England): Harvard University Press, 1996 (1940).
Nesse livro de inícios dos anos 1940, Quine apresenta axiomaticamente a lógica e a teoria dos conjuntos, numa
linha que deixa clara a dívida que o autor tem com respeito à obra de Russell. É um texto rigoroso.

ROBBIN, Joel W. Mathematical logic: a first course. New York/Amsterdam: W. A.

Benjamin, Inc., 1969.
Robbin apresenta os sistemas lógicos de modo axiomatizado e com bastante abrangência. Além da lógica de 1 a
ordem, ele elabora um sistema de aritmética recursiva e vai em direção aos resultados de Gödel, Tarski e Church.
Apresenta também a lógica de 2a ordem.

ROGERS, Robert. Mathematical logic and formalized theories. Amsterdam/London:

North-Holland Publishing Company, 1971.
O texto contém a lógica de 1a ordem e avança em direção à teoria dos números e à teoria dos conjuntos,
concluindo com resultados de Gödel, Tarski e Church.

SANT’ANNA, Adonai S. O que é um axioma. Barueri (SP): Manole, 2003.

Esse livro é uma introdução ao método axiomático, mas dá também uma iniciação à lógica matemática e à teoria
da ciência. O texto é claro, de boa qualidade e de leitura agradável. Aborda questões não triviais de modo
compreensível.

SHOENFIELD, Joseph R. Mathematical logic. Reading (Massachusetts): Addison-Wesley

Publishing Company, 1973.
O livro é uma apresentação axiomática rigorosa da lógica de 1 a ordem, contendo a teoria dos modelos,
discussões sobre incompletude e indecidibilidade, teoria da recursão, números naturais e teoria axiomática dos
conjuntos. É recomendável a alunos com boa formação matemática.

SIDER, Theodore. Logic for Philosophy. Oxford: Oxford University Press, 2010.
Sider escreveu este livro para estudantes de filosofia que se intimidam frente à literatura usual da área. Ele
apresenta a lógica de 1a ordem por meio do método axiomático, mas também da dedução natural e de sequentes.
O livro inclui ainda as provas metalógicas de correção e de completude. Sistemas e questões de importância
filosófica como, por exemplo, a lógica intuicionista, a lógica modal, enunciados contrafactuais, mundos
possíveis, de re e de dicto, lógica do tempo, etc. são abordados neste livro, cuja qualidade é boa. Nele há
exercícios, com gabaritos parciais. É recomendável para leitores interessados em filosofia.
SUNDHOLM, Göran. “Systems of deduction”. In D. Gabbay & F. Guenthner (eds.).
Handbook of philosophical logic, vol.I: Elements of classical logic. Dordrecht: D. Reidel
Publishing Company, 1983, pp. 133-188.
O artigo de Sundholm apresenta o método axiomático, a dedução natural e a lógica das sequências.

TARSKI, Alfred. Introduction to logic and to the methodology of deductive sciences.

Tradução do polonês por Olaf Helmer. New York: Dover Publications, Inc., 9 a reimpressão da 2a edição revisada
1995. Na primeira parte do livro, o autor constrói a lógica, informalmente. Na segunda, ele explica o que é uma
teoria formalizada, com axiomas. Seu exemplo é a aritmética. Esta obra é referência contínua na literatura de
lógica. É de fácil leitura.

 Textos que apresentam a lógica de 1a ordem por meio do método da dedução

natural:

BORNAT, Steve. Proof and disproof in formal logic: An introduction for programmers.
Oxford: Oxford University Press, 2004.
O livro é escrito como curso de introdução à lógica especialmente para estudantes de computação. Ele contém
um grande número de exercícios de provas e de refutações, a serem resolvidos com o auxílio do programa Jape.

CARRION, R. & da COSTA, N. A. C. Introdução à lógica elementar. Porto Alegre: Editora

da Universidade-UFRGS, 1988.
Essa obra é um pequeno texto de boa qualidade, escrito pelo melhor lógico brasileiro.

CERQUEIRA, Luiz Alberto & OLIVA, Alberto. Introdução à lógica. Rio de Janeiro: Zahar
Editores, 1980.
Esse é um texto simples, eminentemente introdutório.

FRANCO DE OLIVEIRA, Augusto. Lógica e aritmética. Brasília: Editora UnB, 2004.

Os cálculos lógicos fundamentais são apresentados nesse livro com o auxílio do método da dedução natural, de
modo bastante didático. Em seguida, o autor apresenta a aritmética de Peano, empregando os axiomas
correspondentes. É bastante boa a apresentação que o autor faz da semântica tarskiana, assim como é intuitivo o
seu tratamento de metateoremas de Gödel e de Tarski. Esse texto é recomendável sobretudo para leitores com
algum interesse em matemática. A edição original tem o título Lógica e aritmética: uma introdução informal aos
métodos formais. Foi publicada em Lisboa, pela Editora Gradiva, em 1991.

FRANCO DE OLIVEIRA, Augusto. Sistemas dedutivos. Évora: Universidade de

Évora/Departamento de Matemática, 2004.
Este livro desenvolve a lógica na linha das ideias de G. Gentzen, apresentando o sistema de primeira ordem com
o auxílio do cálculo de dedução natural e do cálculo de sequentes. Os principais resultados metateóricos estão
nele desenvolvidos. É um texto claro, bem escrito, conciso e pode ser livro com proveito por qualquer
interessado.

GARRIDO, Manuel. Lógica simbólica. Madrid: Tecnos, 1974.

Esse livro é abrangente e cuidadosamente escrito. Apresenta a lógica de 1 a ordem com o método da dedução
natural. A linguagem é descrita em todos os seus itens essenciais e o tópico sobre semântica está muito bem
redigido. Os últimos capítulos desenvolvem a lógica de forma axiomática e tratam da metateoria: consistência,
completude, teorema de Löwenhein-Skolen, compacidade, etc.

GENSLER, Harry. Introduction to logic. London/New York: Routledge, 2002.

Gensler já escreveu livros de introdução à lógica e de introdução à ética, com o emprego de métodos de lógica
deôntica. Na presente obra, ele retoma o seu trabalho anterior, apresentando teoria do silogismo, lógica de 1 a
ordem, lógica deôntica, lógica da crença e, além disso, uma teoria ética formalizada. O livro é interessante e
contém muitos elementos, entre os quais o sistema dos tableaux. O autor remete ao seu sítio eletrônico, para
mais exercícios.

HALBACH, Volker. The Logic Manual. Oxford: Oxford University Press, 2010.
Como o seu título sugere, este livro tem caráter introdutório. Por meio das regras de dedução natural, ele procede
a uma apresentação bastante clara e bem organizada da lógica de primeira ordem, incluindo identidade e
descrições. A metateoria é nele tratada de maneira breve, mas correta. O texto é bom e acessível a qualquer leitor.

HEGENBERG, Leônidas. Lógica, simbolização e dedução. São Paulo: EPU/EDUSP, 1975.

Escrito como texto para um primeiro curso em lógica, este livro é accessível a qualquer leitor.

HEGENBERG, Leônidas. Lógica: O cálculo sentencial. São Paulo: E.P.U., 2a reimpressão,

2001 [1977].
Este livro tem caráter introdutório, embora abranja tão somente a primeira parte da lógica matemática. É uma
obra accessível a qualquer leitor, sem pré-requisitos.

HEGENBERG, Leônidas. Lógica: O cálculo de predicados. São Paulo: E.P.U., 1a

reimpressão, 2001 [1973].
Este livro é uma continuação do texto anterior. É um trabalho de leitura simples e é accessível a qualquer
interessado que já tenha conhecimentos do livro anterior.

LEMMON, E. J. Beginning Logic. Indianapolis / Cambridge: Hackett Publishing Company,

2002 [1975].
O livro de Lemmon é introdutório, porém é claro e abrangente. Contém muitos exemplos e inclui provas de
consistência e completude. Pela sua qualidade, o texto vem sendo repetidamente reimpresso.

MATES, Benson. Elementary logic. New York: Oxford University Press, 2a ed. 1972.
Em português: Lógica elementar. Tradução da 1a edição americana (1965) por Leônidas H. B. Hegenberg &
Octanny Silveira da Mota. São Paulo: Companhia Editora Nacional, 1968.
Este é um excelente texto, claro, didático, rigoroso e bastante abrangente. Pode ser lido por principiantes, com
proveito.

MOSTERÍN, Jesús. Lógica de primer orden. Barcelona: Ediciones Ariel, 1970.

O livro de Mosterín contém a mais fácil versão do método de dedução natural. Ele contém ainda um bom
número de exercícios. É um texto rigoroso e de excelente qualidade.

NEWTON-SMITH, W. H. Logic: An introductory course. London: Routledge and Kegan

Paul, 1985.
Em português: Lógica: um curso introdutório. Tradução de Desidério Murcho. Lisboa: Gradiva, 1998.
Este livro introdutório abrange toda a lógica de 1 a ordem e vários tópicos complementares de interesse filosófico
(adjetivos comparativos, advérbios, tempo, etc.). É muito recomendável.

PRAWITZ, Dag. Natural deduction: A proof-theoretical study. Stockholm: Almqvist, 1965.

Esta obra é um clássico sobre dedução natural. Estuda a aplicação do método não apenas à lógica de 1 a ordem,
mas também aos sistemas de 2 a ordem, modal e intuicionista. Contém um apêndice no qual, dentre outros
tópicos, trata-se da lógica das sequências.

QUINE, W.V.O. O sentido da nova lógica, 2a ed. Curitiba: Ed. da UFPR, 1996.
Esse livro foi escrito por Quine em português. É uma introdução à lógica de fácil e agradável leitura.

QUINE, W.V.O. Methods of logic. New York: Holt, 1950.

Em espanhol: Los métodos de la lógica. Tradução de Manuel Sacristán. Barcelona: Ediciones Ariel, 1962.
Quine fez uma reformulação muito original do método de Gentzen. Neste livro, tal reformulação é
pormenorizadamente desenvolvida, ao longo das diversas partes da lógica de 1a ordem. O livro é um clássico.

SUPPES, Patrick. Introduction to logic. New York: D. Van Nostrand Company, 1957.
Em espanhol: Introducción a la lógica simbólica. Tradução de Gabriel Aguirre Carrasco. México, DF: Compañia
Editorial Continental, 1966.
Este foi um dos textos mais empregados em cursos básicos de lógica, nas décadas de 60 e 70. Expõe a lógica,
por dedução natural e acrescenta um ótimo capítulo intuitivo sobre conjuntos.
TENNANT, Neil W. Natural logic. Edinburgh: Edinburgh University Press, 1978.
O livro estuda o sistema de dedução natural em minudências, incorporando e discutindo resultados mais
recentes, a respeito do assunto.

ZILHÃO, António. Lógica: 40 lições de lógica elementar. Lisboa: Edições Colibri, 2001.
Esse livro é um texto introdutório com especial ênfase sobre a teoria dos conjuntos, que é apresentada de
maneira cuidadosa. O autor desenvolve também a lógica tradicional, mas com recursos de conjuntos. O texto
cobre toda a lógica matemática elementar, com noções sobre a metateoria.

 Textos de metalógica:

BARWISE, Jon (ed.). Handbook of mathematical logic. Amsterdam/New York/Oxford:

North-Holland Publishing Company, 1977.
Teoria dos modelos, teoria dos conjuntos, teoria da recursão, teoria da prova e matemática construtiva são os
grandes tópicos estudados nos vários artigos desta antologia, escritos por conhecidos especialistas das
respectivas áreas. Esse é um texto eminentemente avançado. Não obstante, alguns dos artigos podem ser
consultados com proveito, por quem tenha boa formação básica em lógica.

BARWISE, Jon & ETCHEMENDY, John. Language, proof and logic. Chicago: CSLI
Publications/University of Chicago Press, 2002.
O livro introduz conceitos básicos da lógica: linguagem, verdade, argumento, consequência, prova e
contraexemplo. Recursos de software acompanham o texto, que é útil sobretudo para alunos com conhecimentos
de computação.

BOOLOS, George. Logic, logic, and logic. Editado por Richard Jeffrey. Cambridge
(Massachusetts)/London (UK): Harvard University Press, 1998.
Trata-se aqui de uma ontologia que reúne artigos sobre a natureza da lógica e da teoria dos conjuntos, sobre
Frege e sobre temas vários de lógica e filosofia. É um texto importante.

BOOLOS, George & JEFFREY, Richard C. Computability and logic. Cambridge: Cambridge
University Press, 3a edição 1989, reimpressão da 3a edição 1994.
Esse livro aborda questões metalógicas centrais: enumerabilidade, diagonização, máquinas de Turing,
completude, decidibilidade, teorema de Löwenheim-Skolen, proposições indecidíveis, etc. É um livro
importante.

DALLA CHIARA SCABIA, Maria Luisa. Lógica. Barcelona: Editorial Labor, S.A., 1976.
Este livro é uma espécie de introdução simples à metalógica. Contém explicações didáticas sobre semântica, por
exemplo, mostrando as diversas visões nela envolvidas, expõe alguns metateoremas importantes de modo
intuitivo, etc. É adequado para o principiante.

DELONG, Howard. A profile of mathematical logic. Reading (Massachusetts): Addison-

Wesley Publishing Company, 1970.
Este livro foi escrito como uma apresentação da lógica, no seu contexto histórico-filosófico. Ele começa com
dois excelentes capítulos sobre a história da matemática, da lógica e da teoria dos conjuntos. Em seguida,
apresenta a lógica, de modo axiomático, assim como a respectiva metateoria. Conclui com um capítulo sobre
lógica e filosofia. O livro é da melhor qualidade.

DETLEFSEN, Michael & McCARTY, David Charles & BACON, John B. Logic from A to Z.
London/New York: Routledge, 1999.
Pequeno glossário de lógica, que contém as expressões técnicas mais importantes da área (incluindo termos de
metalógica, conjuntos, etc.), com explicações claras e sucintas.

EPSTEIN, Richard L. Propositional logics: The semantic foundation of logic. 2a ed. Belmont
(CA): Wadsworth Publishing Company, 2001.
Epstein estuda diferentes sistemas de lógica proposicional neste texto. Trata-se de uma leitura avançada, de boa
qualidade.
FITTING, Melvin. Incompleteness in the Land of Sets. London: King’s College (College
Publications), 2007.
Nos anos 1930, Gödel, Turing, Church, Post, Tarski, Rosser e outros mostraram os limites internos aos quais
estão sujeitos os nossos procedimentos formais de prova baseados em regras de cálculo. O livro de Fitting
apresenta o trabalho desses autores no contexto da teoria dos conjuntos. O texto é acessível a quem tenha
conhecimentos básicos em lógica e em teoria dos conjuntos.

FRANZÉN, Torkel. Gödel’s theorem: An incomplete guide to its use and abuse. Wellesley
(Massachusetts): A. K. Peters, 2005.
Primeiramente, Franzén apresenta o Teorema de Gödel de modo simples. Em seguida, esse autor explica as
principais consequências do teorema, para a computação, a filosofia e mesmo para a teologia. É um texto de
agradável leitura.

GOLDSTEIN, Rebecca. Incompleteness. New York/London: W. W. Norton & Company,

2005.
Tradução brasileira de Ivo Korytowski: Incompletude – A prova e o paradoxo de Kurt Gödel. São Paulo:
Companhia das Letras, 2008.
Rebecca Goldstein apresenta o célebre Teorema de Gödel numa linguagem não técnica, accessível a qualquer
interessado. O livro abrange todo o contexto lógico-filosófico do teorema. É um ótimo texto.

HENDRICKS, Vincent F. & MALINOWSKI, J. (eds.). Trends in logic. Dordrecht: Kluwer,

2003.
A presente obra reúne contribuições de conhecidos lógicos contemporâneos, como van Benthem, Fitting, Dalla
Chiara, etc. É um texto avançado, que apresenta criticamente as grandes tendências renovadoras da lógica. É útil
para quem tem boa formação em lógica.

HODGES, Wilfrid. A shorter model theory. Cambridge: Cambridge University Press, 1997.
Reimpressões: 1999, 2002.
Este é um livro introdutório à teoria dos modelos, que é de grande importância para a semântica. O texto é
avançado e é recomendável para leitores com boa formação em lógica e conhecimentos de matemática.

HUNTER, Geoffrey. Metalogic: An introduction to the metatheory of standard first order

logic. Berkeley/Los Angeles/London: University of California Press, 1971, 6 a reimpressão
(corrigida) em paperback,1996.
Esse livro é a melhor introdução à metalógica. Foi escrito para estudantes de graduação e contém os itens básicos
da área, devidamente explicados: validade, consistência, completude, incompletude, etc. O livro ensina a
técnicas a serem aplicadas, a respeitos desses tópicos e outros análogos.

KLEENE, Stephen Cole. Introduction to metamathematics. Amsterdam/London: North-

Holland Publishing Company, 1971.
Neste livro, que também é clássico, o autor faz uma apresentação axiomática da lógica e avança em direção à
teoria das funções recursivas, aos teoremas de Gödel e a outros resultados metamatemáticos importantes. É um
texto adequado a quem já passou pela formação fundamental em lógica.

KUNNEN, Kenneth. The Foundations of Mathematics. Milton Keynes: College Publications,

2009.
Embora pressuponha conhecimentos básicos em lógica, teoria dos conjuntos e álgebra, este é um livro que pode
ser lido com relativa facilidade pelo estudioso não especializado. O texto apresenta bastante bem a lógica de
primeira ordem, teoria dos modelos e da prova, elementos de filosofia da matemática e da teoria da recursão.

MOSTERÍN, Jesus. “Teorias y modelos”. In L. M. VALDÉS et alii (eds). Lógica y lenguaje.

Madrid: Tecnos, 1989, pp. 117-150.
Este é um artigo no qual o autor expõe, com rigor e clareza, os conceitos básicos da semântica, aplicando-os à
concepção de teorias científicas.
NAGEL, Ernest (autor) & NEWMAN, James R. (autor) & HOFSTADTER, Douglas (autor da
nova introdução). Gödel’s proof. Edição revista: New York: New York University Press,
2008 (1959)
Em português: A prova de Gödel, 2a ed. Tradução de G. K. Guinsburg, feita sobre a edição de 1959. São Paulo:
Ed. Perspectiva, 2001. Esse trabalho é a mais conhecida apresentação intuitiva do importante teorema de Gödel.
Pode ser lido por qualquer interessado.

PETERS, Stanley & WESTERSTAHL, Dag. Quantifiers in Language and Logic. Oxford:
Oxford University Press, 2008.
Quantificadores são expressões como ‘todos’, ‘alguns’, ‘muitos’, etc. Este livro estuda a questão de como tais
expressões funcionam na lógica e na linguagem, sob os pontos de vista sintático, semântico e inferencial.

SMITH, Peter. An Introduction to Gödel’s Theorems. Cambridge: Cambridge University

Press, 2007.
Smith apresenta o seu tema de modo não técnico: o que diz o teorema de Gödel, o que são indecidibilidade e
enumerabilidade, o que é uma teoria axiomatizada, etc. Passo a passo, por meio de sucessivas definições, ele
avança em direção aos dois teoremas de Gödel, que são apresentados de modo satisfatório. O livro é abrangente
e contém os aspectos mais cruciais do seu tema.
WILDER, Raymond L. Introduction to the foundations of mathematics. New
York/London/Sydney: John Wiley & Sons, Inc., 2a edição 1965.
Este livro é um clássico da metalógica, escrito, para não matemáticos. Expõe a ideia de sistema axiomático e
apresenta, sob tal ótica, elementos de teoria dos conjuntos e de lógica. Mostra as grandes discussões sobre
fundamentos da lógica e da matemática (logicismo, intuicionismo e formalismo) e explica as limitações dos
sistemas formais, com o teorema de Gödel sobre as proposições indecidíveis.

 Textos sobre identidade e descrições

OSTERTAG, Gary (ed.). Definite descriptions: A reader. Cambridge (Massachusetts): The

MIT Press/London (England): Bradford Books, 1998.

SILVA GRAÇA, Adriana. Referência e denotação: Um ensaio acerca do sentido e da

referência de nomes e descrições. Lisboa: Fundação Calouste Gulbenkian, 2003.

 Obras de referência para consultas:

CARNIELLI, Walter & EPSTEIN, Richard. Computabilidade, funções computáveis, lógica e

os fundamentos da matemática. 2a edição revista. São Paulo: Editora Unesp, 2009.
Este é um livro particularmente recomendável para pessoas da área de computação, embora possa também ser
útil para leitores de outros campos, inclusivamente filósofos. Mesmo tratando de assuntos mais complexos, o
livro é accessível, claro e de agradável leitura. O seu tema são as questões fundamentais de computabilidade.
Dentre múltiplos outros temas, o livro aborda as relações entre lógica e aritmética, passando pelos teoremas de
Gödel. Tratamentos construtivistas da matemática são também apresentados e discutidos. O texto de Carnielli e
Epstein é aconselhável para quem já dispõe de conhecimentos fundamentais de lógica.

BRANQUINHO, João & MURCHO, Desidério & GOMES, Nelson G. (eds.) Enciclopédia de
termos lógico-filosóficos. São Paulo: Editora Martins Fontes, 2006.
Essa enciclopédia contém seiscentos e seis verbetes, que percorrem as mais diversas áreas da lógica, teoria dos
conjuntos, teoria do conhecimento, metafísica e filosofia da linguagem. Os verbetes são auto-explicativos e não
pressupõem conhecimentos especializados, de maneira que são acessíveis a qualquer interessado. A enciclopédia
é a única obra do gênero existente em língua portuguesa.

HEGENBERG, Leônidas. Dicionário de lógica. São Paulo: E.P.U., 1995.

Como diz o título, este livro é uma sequência de verbetes curtos, nos quais os diversos conceitos da lógica
(conectivo, quantificador, paradoxo, etc.) são explicados de maneira simples. Ele pode ser usado como auxiliar
bibliográfico, num curso introdutório. Os verbetes dizem respeito a múltiplos aspectos da lógica em seus vários
sistemas, sua história e sua filosofia.
JACQUETTE, D. (ed.). Philosophy of logic: An anthology. Oxford: Blackwell, 2002.
A antologia de filosofia da lógica preparada por Jacquette reúne artigos importantes a propósito de questões
centrais de diversas áreas da lógica. Por exemplo, essa obra reimprime o artigo de Gödel sobre a lógica
matemática de Russell, o artigo de Tarski sobre consequência lógica, o texto de Hintikka sobre jogos de
linguagem para quantificadores, etc. É uma excelente antologia, embora não tenha caráter elementar.

JACQUETTE, D. (ed.). A companion to philosophical logic. Oxford: Blackwell, 2002,

reedição em 2006.
Este livro é uma coletânea de artigos de grande qualidade, sobre questões contemporâneas nas quais lógica e
filosofia se intersectam, em múltiplos sistemas. O livro começa com questões históricas e percorre grande parte
do universo da lógica: linguagem, verdade, consequência, questões de metateoria, lógica modal, etc., até chegar
a relações entre lógica e cognição e à mecanização de inferências. É um texto para pessoas que já tenham
formação básica em lógica.

MARCISZEWSKI, Witold (ed.). Dictionary of logic as applied in the study of language:

concepts, methods, theories. The Hague/Boston/London: Martinus Nijhoff Publishers,
1981.
Excelente dicionário de lógica. Contém verbetes como, por exemplo, Consistency, Many-valued logic, Modal
semantics, Model theory, etc., escritos por especialistas de primeira linha. Em geral, é accessível a quem tenha
um curso básico de lógica.

SHAPIRO, Stewart (ed.). The Oxford handbook of philosophy of mathematics and logic.
Oxford: Oxford University Press, 2005.
Essa é uma coletânea de artigos escritos por conhecidos especialistas. Ela trata sobre a situação da filosofia da
matemática e da lógica, no início do século XXI. Os temas abordados são clássicos, mas sempre com suas
versões contemporâneas: logicismo, intuicionismo, formalismo, predicação, relevância, etc. É um texto
accessível a quem tem boa formação em lógica.

 Outros textos de interesse filosófico:

BEALL, J. C. Logic: the basics. London/New York: Routledge, 2010.

O trabalho de Beall é uma introdução elementar às lógicas clássica paracompleta e paraconsistente, com o
auxílio de instrumentos da teoria informal dos conjuntos e de tabelas veritativas. Ao final, o texto adentra em
questões de lógica modal e de outros tópicos de interesse filosófico. Pode ser lido por qualquer estudioso de
lógica, mesmo de nível introdutório.

BEALL, J. C. (ed.). The Revenge of the Liar. New Essays on the Paradox. Oxford: Oxford
University Press, 2008.
Essa é uma coletânea de catorze ensaios contemporâneos sobre paradoxos, com uma introdução esclarecedora e
abrangente. É uma obra importante para a semântica e a metafísica.

DOPP, Joseph. Notions de logique formelle. Louvain (Bélgica): Editions Nauwelaerts, S. A.,
1966.
Em português: Noções de lógica formal. São Paulo: Herder, 1970. O livro de Dopp apresenta a lógica elementar
por meio dos tableaux semânticos de Beth, um método simples e rigoroso, que antecedeu os tableaux propostos
por Smullyan. O livro abrange um bom número de tópicos. Ele está ao alcance de principiantes

FERRATER MORA, José & LEBLANC, Hughes. Lógica matemática, 11a ed. México: Fondo
de Cultura Económica, 1992.
Já na sua 11a edição, este livro é ótimo para cursos simples. Apresenta quase todos os tópicos importantes da
lógica elementar, de forma muito compreensível. É um texto sucinto.

FISHER, Alec. The Logic of Real Arguments. Cambridge: Cambridge University Press, 1988.
Em português: A lógica dos verdadeiros argumentos. Tradução de Rodrigo Castro. São Paulo: Novo Conceito
Editora, 2008. Este é um livro de lógica informal, que contém muitos elementos intuitivos, organizados pelo
autor, que se esforça por capturar a maneira como raciocinamos concretamente. Exemplos interessantes de temas
cotidianos são examinados. O livro é uma alternativa aos procedimentos usuais da lógica. Ele tem interesse
filosófico.

HAACK, Susan. Philosophy of logics. Cambridge: Cambridge University Press, 3a reimpr. da

1a edição: 1985.
Em português: Filosofia das lógicas. Tradução de C. Mortari e L.H. Dutra. São Paulo: Editora UNESP, 2002.
O livro de Susan Haack é um clássico em filosofia da lógica, de leitura fácil e agradável. Contém explicações
sobre conectivos, quantificadores, verdade, paradoxos, lógica modal etc., sempre abordando tais itens sob um
ponto de vista filosófico. A tradução é excelente.

HAAPARANTA, Leila (ed.). The Development of Modern Logic. Oxford: Oxford University
Press, 2009.
Esta é uma coletânea de ensaios avançados sobre temas de história e filosofia da lógica, que abrange diferentes
períodos, a começar pela Baixa Idade Média, chegando até meados dos anos 1930. A análise histórica é
complementada por pormenorizados ensaios sobre teoria dos modelos, lógica modal e semântica dos mundos
possíveis, lógicas não clássicas, indução, inteligência artificial e outros. O livro é sofisticado e tem excelente
qualidade.

HART, W. D. The Evolution of Logic. Cambridge: Cambridge University Press, 2010.

O paraíso intelectual constituído pela teoria ingênua dos conjuntos de Cantor é o ponto de partida deste livro, que
apresenta os paradoxos e os esforços para eliminá-los, assim como grandes resultados teóricos de Gödel e
Cohen, por exemplo. O livro é uma vigorosa reflexão lógico-filosófica, que explora tanto resultados formais
quanto os difíceis problemas ontológicos que lhe são subjacentes. É um ótimo texto, que pode ser lido com
grande proveito por quem tenha conhecimentos de lógica de 1a ordem e de teoria informal dos conjuntos.

HUGHES, R.I.G. A philosophical companion to first-order logic. Indianapolis/Cambridge:

Hackett Publishing Company, 1993.
Essa é uma coletânea de textos de conhecidos autores (Strawson, Quine, Tarski, Prawitz, etc.) que escrevem
sobre questões filosóficas cruciais envolvidas em conceitos da lógica de primeira ordem, como verdade, prova,
quantificação e outros. É um texto da melhor qualidade, que pertence à filosofia da lógica.

JACQUETTE, Dale. Logic and How it Gets that Way. Durham: Acumen, 2008.
Texto crítico de filosofia da lógica, no qual o autor tenta mostrar que a lógica herdou uma série de ilusões
relativas, por exemplo, às relações entre sistemas formais e mundo, verofuncionalidade, referência e predicação,
etc. No contexto do exame dos paradoxos, Jacquette busca oferecer alternativas que superem as incongruências
no nosso uso da linguagem.

KIRKHAM, Richard L. Theories of Truth: A Critical Introduction. Cambridge

(Massachusetts)/London (England): A Bradford Book/The MIT Press, 1997.
Em português: Teorias da verdade: Uma introdução crítica. Tradução de Alessandro Zir. São Leopoldo: Editora
UNISINOS, 2003. A questão da verdade no debate contemporâneo é o tema desse ótimo livro, que explica
admiravelmente bem os conceitos centrais da semântica, as dificuldades neles envolvidas e as diversas soluções
que são hoje propostas.

KNEALE, William & Martha. The Development of Logic. Oxford: At the Clarendon Press, 3a
reimpressão da 1a edição: 1968.
Em português: O desenvolvimento da lógica. Tradução de M. Lourenço. Lisboa: Fundação Calouste Gulbenkian,
1980. Esse é o melhor texto de história da lógica publicado até o presente. Abrange todo o passado dessa
disciplina, chegando até a situação dos anos 60 do século XX. Está escrito com rigor e simplicidade e percorre
todas as fontes relevantes. É uma obra de excepcional valor, sob os pontos de vista histórico, lógico-formal e
filosófico.

KÜNNE, Wolfgang. Conceptions of truth. Oxford: Oxford University Press, 2003.

O livro de Künne é uma exposição crítica sobre teorias da verdade. Essa obra é considerada como uma das
melhores que estão disponíveis presentemente. Tem grande valor filosófico.

MAUDLIN, Tim. Truth and paradox. Oxford: Oxford University Press, 2004.
Esse livro apresenta uma concepção de lógica e de semântica que permite um tratamento satisfatório dos
paradoxos que ocorrem nas teorias da verdade.

PADILLA GÁLVEZ, Jesús. Verdad y Demonstración. Madri: Plaza y Valdés Editores, 2007.
Padilla Gálvez apresenta um estudo claro e pormenorizado a respeito da definição tarskiana de verdade. O texto
é cuidadoso e envolve vasto material lógico e histórico. Tem interesse para a semântica e para a filosofia.

PURTILL, Richard L. Logic for philosophers. Nova Iorque: Harper and Row, 1971.
Excelente texto para a leitura de pessoas interessadas em filosofia. Ele expõe a lógica elementar com suas
múltiplas aplicações filosóficas.

SHAW, Patrick. Logic and its Limits. Oxford / New York: Oxford University Press, 2004
[1997].
Shaw apresenta neste livro uma série de reflexões sobre como é possível usar argumentos de maneira
basicamente simples, tendo em vista esclarecer debates. Ele usa poucos recursos formais e trata de questões de
lógica dedutiva, probabilidade e estatística, analogia, raciocínio prático, etc. É um livro introdutório de interesse
filosófico.

SIDER, Theodore. Logic for Philosophy. Oxford: Oxford University Press, 2010.
Logo na apresentação, o autor deste livro faz ver que ele foi escrito para preparar estudantes de filosofia na
leitura de artigos sofisticados, sem sofrer intimidação por parte dos manipuladores de símbolos. O texto está
redigido para estudantes de filosofia. Sem pressupostos de nenhum tipo, ele abrange a lógica de 1 a ordem e
adentra na lógica modal, sempre preocupado com o interesse filosófico dos tópicos que discute. É um excelente
texto, acessível a qualquer interessado.

TARSKI, Alfred. A concepção semântica da verdade: Textos clássicos de Tarski. Cezar

Augusto Mortari & Luiz Henrique de Araújo Dutra (orgs.). São Paulo: Editora Unesp,
2007.
Essa é uma coletânea que abrange quatro textos importantes de Tarski: “O conceito de verdade nas linguagens
formalizadas”; “O estabelecimento da semântica científica”; “A concepção semântica da verdade e os
fundamentos da semântica” e “Verdade e demonstração”. A tradução é de Celso Braida et al. Esses textos são
fundamentais para a compreensão da semântica contemporânea.

THIRY, Philippe. Notions de Logique. Bruxelas: De Boecke & Larcier S. A., 1996.
Em português: Noções de lógica. Tradução de António Hall. Lisboa: Edições 70, 1998. Este texto é abrangente,
servindo como uma espécie de visão geral introdutória à lógica.

TOULMIN, Stephen. The Uses of Argument. Cambridge: At the University Press, 1974.
Em português: Os usos do argumento. Tradução de Reinaldo Guarany. São Paulo: Martins Fontes, 2001.
A lógica formal nem sempre é entendida de modo uniforme pelos filósofos, sendo que vários de seus tópicos são
objeto de polêmica. Nesse livro, publicado pela primeira vez em 1958, Toulmin tenta pensar a lógica de modo
informal, discutindo questões como probabilidade, modalidade, garantias de um argumento, etc.

TUGENDHAT, Ernst & WOLF, Ursula. Logisch-semantische Propädeutik. Stuttgart: Reclam,

1983.
Em português: Propedêutica lógico-semântica. Tradução de Fernando Rodrigues. Petrópolis: Vozes, 1997.
O livro de Tugendhat e Wolf serve como uma primeira leitura em lógica, de interesse para filósofos, sobretudo.

VELLEMAN, Daniel J. How to prove it: A structured approach. Cambridge: Cambridge

University Press, 1a edição 1994, 4a reimpressão 1996.
O autor apresenta múltiplos tipos e estratégias de prova, nas diversas partes da lógica de 1 a ordem, incluindo
indução finita e conjuntos infinitos. Desenvolve grande número de exemplos e de exercícios.

VI. ATENDIMENTO: O professor conforme horários a serem combinados caso a caso. Os

interessados devem marcar hora nos intervalos das aulas. Contactos por e-mail podem ser
feitos por meio do seguinte endereço eletrônico: nelson.gomes235@gmail.com
VII CRONOGRAMA
Seriação Datas Temas
1a 13.III. Frase, proposição, verdade. Postulados. Argumentos. Lógica.
2a 20.III. Conjuntos (I).
3a 27.III. Conjuntos (II). Relações e funções. Árvores. Indução completa.
4a 03.IV. A linguagem dos conectivos e sua sintaxe.
5a 10.IV. A semântica da linguagem dos conectivos.
6a 17.IV. Tableaux. Postulados do cálculo dos conectivos. Deduções.
7a 24.IV. Demonstrações. Correção, consistência e completude.
1.V. Feriado
8a 08.V. 1a verificação.
9a 15.V. A linguagem dos quantificadores e a sua sintaxe.
10a 22.V. A semântica da linguagem dos quantificadores.
11a 29.V. O cálculo dos quantificadores.
12a 05.VI. Correção, consistência e completude do cálculo dos quantificadores.
13a 12.VI. Identidade e descrições.
14a 19.VI. Os paradoxos. A crise de fundamentos. O teorema de Gödel.
15a 26.VI. 2a verificação.
03.VII. Data reservada para eventuais acomodações no programa.
10.VII. Data reservada para eventuais acomodações no programa.