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 a livros de história/filosofia que não forcem muito a cabeça.

0. Lógica Clássica

Não adianta fugir, tem que ler.

Organon – 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
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

Observação: o Métodos Lógicos e Dialéticos é uma versão corrigida e aumentada do Lógica e Dialética se sua intenção é apenas a lógica clássica. Mas há conteúdos no Lógica e Dialética que não aparecem no Métodos Lógicos e Dialéticos embora sejam desenvolvidos nele.

1. Introduções e Compilados

Há três introduções aqui, sendo permitido escolher a preferida. A “queridinha da administração” é a do Mortari.

Introdução à Lógica – César Mortari
introdução à lógica – Irving Copi
Introdução à Lógica – Harry J. Gensler
Enciclopédia de Termos Lógico-Filosóficos – José Branquinho e Desidério Murcho
Ensaio Sobre os Fundamentos da Lógica – Newton da Costa
O Lugar da Lógica na Filosofia – Desidério Murcho 
Filosofia das lógicas – Susan Haack
Lógica: um curso introdutório – W. H. Newton-Smith
Introdução à Lógica Modal – Bruno Costa Coscarelli
Razão e Argumentação – P.T. Geach
Joseph BessieElements of Deductive Inference: An Introduction to Symbolic Logic

1.1 Coisas que vocês vão ler de qualquer jeito

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

2. Lógica Matemática

First Order Matematical Logic – Angelo Margaris 
A Friendly Introduction to Mathematical Logic – Christopher C. Leary 
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 
Introduction to Mathematical Logic – Elliot Mendelson 
Mathematical Logic – Joseph R. Shoenfield 

Metalogic: An Introduction to the Metatheory of Standard First Order Logic – Geoffrey Hunter 

3. 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 
Natural Deduction: A Proof-Theoretical Study – Dar Prawitz 

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 

 

Chegou até aqui? Se leu a lista de filosofia, já é hora de ler as Investigações Lógicas.

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

5. Filosofia da Lógica

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

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 tais, 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.

6. Teoria da Recursão

Computability and Logic – George S. Boolos 
The Logic of Provability – George Boolos 
Godel´s Incompletness Theorems – Raymond M. Smullyan 
Modelos de Computação e Sistemas Formais – Roberto Lins de Carvalho e Claudia Maria Garcia

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

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

9. 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: Logical Foundations – Dov M. Gabbay, C.J. Hogger
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

10. Álgebra da Lógica

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

11. Lógica Filosófica

An Introduction to Philosophical Logic – A.C. Grayling 
Logical Forms: An Introduction to Philosophical Logic – Mark Sainsbury 

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

 

 

5 comentários em “Lista de Leitura de Lógica”

  1. Adicionem Lucien Febvre – Lógica formal / lógica dialética. É fundamental entender o modo de pensar marxista e este livro explica isso de forma didática.

  2. Pingback: Lista de Leitura de Matemática - Contra os Acadêmicos

  3. Pingback: O Ordenamento das Leituras - Contra os Acadêmicos

Deixe uma resposta

This site uses Akismet to reduce spam. Learn how your comment data is processed.