Great Readings: Logic

A curated directory of landmark monographs, transformative essays, and milestone contributions to formal, mathematical, and philosophical logic. Rather than standard introductory survey textbooks, these works represent the primary breakthroughs where logicians developed symbolic languages, established the limitative theorems, and debated the nature of truth, proof, and meaning.

Historical Foundations of Modern Logic

Title Author(s)
Begriffsschrift, a formula language, modeled upon that of arithmetic, for pure thought Gottlob Frege
The Foundations of Arithmetic: A Logico-Mathematical Enquiry into the Concept of Number Gottlob Frege (translated by J. L. Austin)
Principia Mathematica (Vol. 1) Alfred North Whitehead & Bertrand Russell
Tractatus Logico-Philosophicus Ludwig Wittgenstein
From Frege to Gödel: A Source Book in Mathematical Logic, 1879–1931 Jean van Heijenoort (Ed.)

Incompleteness, Computability & Formal Semantics

Title Author(s)
On Formally Undecidable Propositions of Principia Mathematica and Related Systems Kurt Gödel
On Computable Numbers, with an Application to the Entscheidungsproblem Alan M. Turing
The Semantic Conception of Truth and the Foundations of Semantics Alfred Tarski
Logic, Semantics, Metamathematics: Papers from 1923 to 1938 Alfred Tarski
The Undecidable: Basic Papers on Undecidable Propositions, Unsolvable Problems and Computable Functions Martin Davis (Ed.)

Proof Theory & Constructive Foundations

Title Author(s)
Investigations into Logical Deduction (in The Collected Papers of Gerhard Gentzen) Gerhard Gentzen
Intuitionism: An Introduction Arend Heyting
Linear Logic Jean-Yves Girard

Philosophy of Logic, Language & Truth

Title Author(s)
Two Dogmas of Empiricism Willard Van Orman Quine
From a Logical Point of View: Nine Logico-Philosophical Essays Willard Van Orman Quine
Naming and Necessity Saul A. Kripke
Outline of a Theory of Truth Saul A. Kripke
The Logical Basis of Metaphysics Michael Dummett
Philosophy of Logics Susan Haack

Non-Classical, Substructural & Modal Logics

Title Author(s)
In Contradiction: A Study of the Transconsistent Graham Priest
Entailment: The Logic of Relevance and Necessity (Vol. 1) Alan Ross Anderson & Nuel D. Belnap, Jr.
An Introduction to Non-Classical Logic: From If to Is Graham Priest

Paradox, Self-Reference & Formal Thought

Title Author(s)
Gödel, Escher, Bach: An Eternal Golden Braid Douglas R. Hofstadter