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

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

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.

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

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

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

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.

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

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

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

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

Álgebra da Lógica

Algebraic Methods in Philosophical Logic – J. Michael Dunn, Gary Hardegree

Algebric Introduction to Mathematical Logic – D.W. Barnes

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