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.

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

0.1 Interesse histórico nesse campo

1. Órganon – Aristóteles
2. Isagoge – Porfírio
3. Lógica para Principiantes – Abelardo
4. A Nova Lógica – Ramon Lull
5. Comentário ao Sobre a Interpretação de Aristóteles – Sto. Tomás de Aquino
6. Curso de Lógica – Kant
7. 0.2 História da Lógica[4]
8. O desenvolvimento da Lógica – W. Kneale; M. Kneale
9. History of logic(4 vols.) – Anton Dumitriu
10. História da Lógica de Aristóteles a Bertrand Russell – R. Blanché
11. História da Lógica – Blanché/Dubucs
12. Historia de La Logica Formal – Bochenski
13. The handbook of the history of Logic (11 vols.) – Gabbay; Woods
14. The Development of Modern Logic – Leila Haaparanta
15. Storia della logica (2 vols.) – Corrado Mangione; Silvio Bozzi
16. If A, Then B: How the World Discovered Logic – Michael Shenefelt; Heidi White
17. Ancient Logic – L. Castagnoli
18. Storia della logica antica – Guido Calogero; B. Calogero
19. Histoire de la Logique – Jean-Pierre Belna
20. 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
21. Considerações sobre o desenvolvimento da Lógica no Brasil – D’Ottaviano; Gomes
22. 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.”

1. Desidério Murcho – Lógica Elementar p.9
   Há três introduções aqui, sendo permitido escolher a preferida.
2. Introdução à Lógica – César Mortari
3. introdução à Lógica – Irving Copi
4. Introdução à Lógica – Harry J. Gensler
5. Lógica Elementar – Desidério Murcho
6. Lógica: um curso introdutório – W. H. Newton-Smith
7. Introdução à Lógica Modal – Bruno Costa Coscarelli
8. Elements of Deductive Inference: An Introduction to Symbolic Logic – Joseph Bessie

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

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

1.2. Interesse histórico em lógica moderna

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

1.3 Lógica Informal

Argumentar – Leonidas Hegenberg e Flavio E. Novaes Hegenberg

Lógica informal – Douglas N. Walton

1. Introdução à Análise Argumentativa: Teoria e Prática – Marcus Sacrini
2. 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

1. Lógica e Argumentação

Lógica Informal

1. A Antessala da Argumentação: por uma abordagem negativa – Fábio Salgado de Carvalho
2. Arguments about Arguments

The Relation between Formal and Informal Logic – Ralph H. Johnson

Lógica Matemática

1. A Friendly Introduction to Mathematical Logic – Christopher C. Leary Introduction to
2. Mathematical Logic – Elliot Mendelson
3. First Order Matematical Logic – Angelo Margaris
4. A Mathematical Introduction to Logic – Herbert B. Enderton

A Course in Mathematical Logic J.L. Bell, M. Machover

1. Mathematical Logic – H.D. Ebbinghaus, J.Flum, W. THomas
2. Logic and Structure – D. van Dalen
3. Mathematical Logic – Joseph R. Shoenfield
4. Metalogic: An Introduction to the Metatheory of Standard First Order Logic – Geoffrey Hunter

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

Artigos e Trabalhos úteis

1. Introdução à Lógica Matemática – Ricardo Bianconi
2. Lógica, Analítica, Dialética etc. – Paulo Alcorofado
3. Bases para uma Teoria Geral das Construções Formais – Fábio Salgado de Carvalho
4. Teoria da Prova e Teoria dos Modelos
5. Basic Proof Theory – Anne S. Troelstra , H Schwichtenberg
6. Proof Theory and Automated Deduction – Jean Goubault-Larrecq, Ian Mackie
7. Normalization, Cut-Elimination and the Theory of Proofs – A.M. Ungar
8. Structural Proof Theory – Sara Negri, Jan Von Plato
9. Proof and Types – jean Yves Girard, Yves Lafont, Paul Taylor
10. Beginning Model Theory: The Completless Theorem and Some Consequences – Jade Bridge
11. Basic Model Theory – Kees Doets
12. A Shorter Model Theory – Wilfrid Hodges
13. Model Theory – Wilfrid Hodges
14. Natural Deduction: A Proof-Theoretical Study – Dar Prawitz

Sistemas Lógicos

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

Filosofia da Lógica[6]

1. Ensaio sobre os Fundamentos da Lógica – Newton C.A. da Costa
2. Lógica Indutiva e Probabilidade – Newton C.A. da Costa
3. O Conhecimento Científico – Newton C.A. da Costa
4. Deviant Logic, Fuzzy Logic: Beyond the Formalism – Susan Haack
5. Filosofia das Lógicas – Susan Haack
6. Philosophy of Logic – Hilary Putnam
7. 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.

Teoria da Recursão

1. Teoria Da Recursão – Matias Francisco Dias e Leonardo Weber
2. Classical Recursion Theory Volume I – P. G. Odifreddi
3. Classical Recursion Theory Volume II – P. G. Odifreddi
4. The Theory of Recursive Functions and Effective Computability – H. Rogers
5. Godel´s Incompletness Theorems – Raymond M. Smullyan
6. Modelos de Computação e Sistemas Formais – Roberto Lins de Carvalho e Claudia Maria Garcia
7. Lógica para Ciência da Computação
8. Lógica para Ciência da Computação – João Nunes de Souza
9. Logic for Applications – Anil Nerode, Richard A. Shore
10. Essence of Logic – John J. Kelly
11. Computation as Logic – René Lalement
12. Logic for Computer Scientists – Uwe Schoning
13. Mathematical Logic for Computer Science – Lu Zhongwan
14. Mathematical Logic for Computer Science – M. Ben-Ari
15. The Logical Basis for Computer Progamming: Deductive Reasoning Vol.1 – Zohar Manna
16. The Logical Basis for Computer Progamming: Deductive Systems Vol.2 – Zohar Manna

Lógica e Teoria das Categorias

1. Teoria das Categorias para Ciências da Computação – Paulo Blauth
2. Sets. Logic and Categories – Peter J. Cameron
3. Topoi – The Categorial Analysis of Logic – Robert Goldblatt
4. Arrows, Structures and Functors – The Categorical Imperative – Michael A. Arbib. Ernst G. Manes
5. Introduction to Higher-Order Categorical Logic – J. Lambek, P.J. Scott
6. Categorical Logic and Type Theory – B. Jacobs
7. Lógica e Inteligência Artificial
8. Logical Foundations of Artificial Intelligence – Michael R. Genesereth, Nils J. Nilsson
9. Logic for Artificial Intelligente – Raymond Turner

Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 1

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

Álgebra da Lógica

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

Teoria dos Conjuntos

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