Lista de Leitura de Lógica

Instruções: A leitura da lista de Leitura de Lógica é recomendada após a da lista de Matemática por conta de sua afinidade de conteúdo, embora possam ser lidas simultaneamente. Por se tratar de uma matéria técnica e que exige do leitor ao menos um caderno de exercícios, pode ser seguida simultaneamente[1] a livros de história/filosofia que não forcem muito a cabeça.[2]

Curiosamente a Lista de Leitura de Lógica não exige uma leitura completa; em verdade, nem seus tópicos específicos precisam de esgotamento. Muitos livros trazem informações já disponíveis em outros, e assim mesmo que não leia tudo, o interessado saberá onde encontrar as informações que lhe faltam. Ainda assim aconselhamos que o leitor não saia por aí pulando os tópicos; sem aprender a atual notação lógica, todos os tópicos a partir do 2 são ininteligíveis.

Outra curiosidade é que o Principía Mathematica e os escritos de Frege seguem uma notação lógica diferente. De qualquer forma são livros de interesse histórico e estão presentes aqui como amostra aos curiosos.

 0. Lógica Clássica

Se leu a Lista de Leitura de Filosofia, o leitor já sabe rudimentos de lógica clássica e já fez os exercícios do Introdução à Lógica do Mortari. Aqui o que há é alguma revisão e aprofundamento do tópico para o interessado.

• Tratado de Filosofia Tomo II: Lógica e Cosmologia – Régis Jolivet
• Lógica Menor – Jacques Maritain
• Lógica e Dialética – Mário Ferreira dos Santos
  e/ou
• Métodos Lógicos e Dialéticos – Mário Ferreira dos Santos[3]
• Logicas a Liberal Art – R.E. Houser

0.1 Interesse histórico nesse campo

• Órganon – Aristóteles
• Isagoge – Porfírio
• Lógica para Principiantes – Abelardo
• A Nova Lógica – Ramon Lull
• Comentário ao Sobre a Interpretação de Aristóteles – Sto. Tomás de Aquino
• Curso de Lógica – Kant

0.2 História da Lógica[4]

• O desenvolvimento da Lógica – W. Kneale; M. Kneale
• History of logic(4 vols.) – Anton Dumitriu
• História da Lógica de Aristóteles a Bertrand Russell – R. Blanché
• História da Lógica – Blanché/Dubucs
• Historia de La Logica Formal – Bochenski
• The handbook of the history of Logic (11 vols.) – Gabbay; Woods
• The Development of Modern Logic – Leila Haaparanta
• Storia della logica (2 vols.) – Corrado Mangione; Silvio Bozzi
• If A, Then B: How the World Discovered Logic – Michael Shenefelt; Heidi White
• Ancient Logic – L. Castagnoli
• Storia della logica antica – Guido Calogero; B. Calogero
• Histoire de la Logique – Jean-Pierre Belna
• Sobre a história da lógica, a lógica clássica e o surgimento das lógicas não-clássicas – D'Ottaviano, Feitosa
• Considerações sobre o desenvolvimento da Lógica no Brasil - D'Ottaviano; Gomes

1. Introduções e Compilados[5]

“Este livro é uma introdução filosófica à lógica elementar, mas espera-se que seja também interessante para quem vem de outras áreas e procura uma compreensão mais aprofundada. A abordagem é filosófica por duas razões. Primeiro, porque se mostra como a lógica é usada para compreender e examinar ideias filosóficas. A lógica está para a filosofia como o cálculo para a física: é instrumental e imprescindível, mas não resolve por si os problemas da filosofia.”

Desidério Murcho – Lógica Elementar p.9

Há três introduções aqui, sendo permitido escolher a preferida.

• Introdução à Lógica – César Mortari
• introdução à Lógica – Irving Copi
• Introdução à Lógica – Harry J. Gensler
• Lógica Elementar – Desidério Murcho
• Lógica: um curso introdutório – W. H. Newton-Smith
• Introdução à Lógica Modal – Bruno Costa Coscarelli
• Elements of Deductive Inference: An Introduction to Symbolic Logic – Joseph Bessie

1.1. Enciclopédias, Dicionários e úteis

• Enciclopédia de Termos Lógico-Filosóficos – João Branquinho, Desidério Murcho, Nelson Gonçalves Gomes
• Dicionário de Lógica – Leonidas Hegenberg
• O Lugar da Lógica na Filosofia – Desidério Murcho 
• Razão e Argumentação – P.T. Geach

1.2. Interesse histórico em lógica moderna

• Os Primeiros Escritos Lógicos de Gottlob Frege
• Lógica e Filosofia da Linguagem – Gottlob Frege
• Principia Mathematica – Russel/Whitehead

1.3 Lógica Informal

• Argumentar - Leonidas Hegenberg e Flavio E. Novaes Hegenberg
• Lógica informal - Douglas N. Walton
• Introdução à Análise Argumentativa: Teoria e Prática -  Marcus Sacrini
• Burden of Proof, Presumption and Argumentation
• Logical Self-Defense: Key Titles In Rhetoric, Argumentation, and Debates Series - Ralph H. Johnson  e J. Anthony Blair
• The Rise of Informal Logic - Ralph H. Johnson

1.4 Artigos e Trabalhos úteis

• Lógica e Argumentação
• Lógica Informal
• A Antessala da Argumentação: por uma abordagem negativa – Fábio Salgado de Carvalho
• Arguments about Arguments
• The Relation between Formal and Informal Logic - Ralph H. Johnson

2. Lógica Matemática

• A Friendly Introduction to Mathematical Logic – Christopher C. Leary Introduction to
• Mathematical Logic – Elliot Mendelson 
• First Order Matematical Logic – Angelo Margaris 
• A Mathematical Introduction to Logic – Herbert B. Enderton 
• A Course in Mathematical Logic J.L. Bell, M. Machover
• Mathematical Logic – H.D. Ebbinghaus, J.Flum, W. THomas 
• Logic and Structure – D. van Dalen 
• Mathematical Logic – Joseph R. Shoenfield 
• Metalogic: An Introduction to the Metatheory of Standard First Order Logic – Geoffrey Hunter

Quer mais? Digo, o suficiente para encher uma biblioteca? Clica aqui.

3. Artigos e Trabalhos úteis

• Introdução à Lógica Matemática – Ricardo Bianconi
• Lógica, Analítica, Dialética etc. – Paulo Alcorofado
• Bases para uma Teoria Geral das Construções Formais – Fábio Salgado de Carvalho

4. Teoria da Prova e Teoria dos Modelos

• Basic Proof Theory – Anne S. Troelstra , H Schwichtenberg 
• Proof Theory and Automated Deduction – Jean Goubault-Larrecq, Ian Mackie 
• Normalization, Cut-Elimination and the Theory of Proofs – A.M. Ungar 
• Structural Proof Theory – Sara Negri, Jan Von Plato 
• Proof and Types – jean Yves Girard, Yves Lafont, Paul Taylor 
• Beginning Model Theory: The Completless Theorem and Some Consequences – Jade Bridge 
• Basic Model Theory – Kees Doets 
• A Shorter Model Theory – Wilfrid Hodges 
• Model Theory – Wilfrid Hodges 
• Natural Deduction: A Proof-Theoretical Study – Dar Prawitz 

5. Sistemas Lógicos

• Intermediate Logic – David Bostock 
• The Semantic Foundations of Logic: Propositional Logics – Richard L. Epstein 
• The Semantic Foundations of Logic: Predicate Logics – Richard L. Epstein 
• A Short Introduction to Intuitionistic Logic – Grigori Mints 
• A Short Introduction to Modal Logic – Grigori Mints 
• Modal Logic: an Introduction – Brian F. Chellas 
• A New Introduction to Modal Logic – G.E. Hughes, M.J. Cresswell
• First-Order Modal Logic – Melvin Fitting, Richard L. Mendelshn 
• Lógica Indutiva e probabilidade – Newton C.A. da Costa 
• Devian Logic, Fuzzy Logic: Beyond the Formalism – Susan Haack 
• Uma Família de Lógicas Paraconsistentes e/ ou Paracompletas com Semânticas recursivas – Arthur Buchsbaum, Tarcisio Pequeno 
• Paraconsistent Logic: Essays on the Inconsistent – Graham Priest
• Mathematival Logic and Hilbert´s e-Symbol – A.C. Leisenrigh 
• Non Monotonic Logics: Basic Concepts, Results and Techniques – Karl Schlechta 
• Non Monotonic Reasonin – Grigoris Antoniou, Mary-Anne Williams

6. Filosofia da Lógica[6]

• Ensaio sobre os Fundamentos da Lógica – Newton C.A. da Costa 
• Lógica Indutiva e Probabilidade – Newton C.A. da Costa 
• O Conhecimento Científico – Newton C.A. da Costa 
• Deviant Logic, Fuzzy Logic: Beyond the Formalism – Susan Haack 
• Filosofia das Lógicas – Susan Haack
• Philosophy of Logic – Hilary Putnam
• Logical Forms: An Introduction to Philosophical – Logic Mark Sainsbury

Observação: Se chegou até aqui lendo e se exercitando, o interessado já sabe lógica o suficiente para se virar e, quiçá, dar aulas sobre; para tal, a lista acaba aqui. Os próximos livros são de outro nível e alguns só serão úteis àqueles que buscam a especialização.

Quer mais? Digo, um guia de 100 páginas sobre lógica? Clica aqui.

8. Teoria da Recursão

• Teoria Da Recursão – Matias Francisco Dias e Leonardo Weber
• Classical Recursion Theory Volume I – P. G. Odifreddi
• Classical Recursion Theory Volume II – P. G. Odifreddi
• The Theory of Recursive Functions and Effective Computability – H. Rogers
• Godel´s Incompletness Theorems – Raymond M. Smullyan 
• Modelos de Computação e Sistemas Formais – Roberto Lins de Carvalho e Claudia Maria Garcia

9. Lógica para Ciência da Computação

• Lógica para Ciência da Computação – João Nunes de Souza 
• Logic for Applications – Anil Nerode, Richard A. Shore 
• Essence of Logic – John J. Kelly 
• Computation as Logic – René Lalement 
• Logic for Computer Scientists – Uwe Schoning 
• Mathematical Logic for Computer Science – Lu Zhongwan 
• Mathematical Logic for Computer Science – M. Ben-Ari 
• The Logical Basis for Computer Progamming: Deductive Reasoning Vol.1 – Zohar Manna 
• The Logical Basis for Computer Progamming: Deductive Systems Vol.2 – Zohar Manna 

10. Lógica e Teoria das Categorias

• Teoria das Categorias para Ciências da Computação – Paulo Blauth 
• Sets. Logic and Categories – Peter J. Cameron
• Topoi – The Categorial Analysis of Logic – Robert Goldblatt 
• Arrows, Structures and Functors – The Categorical Imperative – Michael A. Arbib. Ernst G. Manes 
• Introduction to Higher-Order Categorical Logic – J. Lambek, P.J. Scott 
• Categorical Logic and Type Theory – B. Jacobs 

11. Lógica e Inteligência Artificial

• Logical Foundations of Artificial Intelligence – Michael R. Genesereth, Nils J. Nilsson 
• Logic for Artificial Intelligente – Raymond Turner 
• Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 1:
• Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 2: Deduction Methodologies – Dov M. Gabbay, C.J. Hogger
• Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 3:
• Nonmonotonic Reasoning and Uncertain Reasoning– Dov M. Gabbay, C.J. Hogger
• Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 4: Epistemic and Temporal Logics – Dov M. Gabbay, C.J. Hogger

12. Álgebra da Lógica

• Algebraic Methods in Philosophical Logic – J. Michael Dunn, Gary Hardegree 
• Algebric Introduction to Mathematical Logic – D.W. Barnes 

13. Teoria dos Conjuntos

• Teoria Ingênua dos Conjuntos – Paul R. Halmos 
• Naive Set Theory – Paul R. Halmos
• Axiomatic Set Theory – Patrick Suppes 
• Elementos of Set Theory – Herbert B. Enderton 
• Set Theory and Logic – Robert R. Stoll 
• Axiomatic Theory of Sets and Classes – Murray Eisenberg 
• Set Theory with an Introduction to Descriptive Set Theory – K. Kuratowski, A. Mostowski 
• Basic Set Theory – Azriel Levy 
• Set Theory and the Continuum Problem – Raymond M. Smullyan 
• Elements of Mathematics: Theory of Sets – Nicolas Bourbaki 
• Elementos da Teoria Paraconsistente de Conjuntos – Newton C.A. da Costa, Jean Yves Béziau, Otávio Bueno