A Little History and Further Reading

Core idea

The ideas in this book were not invented all at once. In Western intellectual history, logic has had three great periods of development, separated by long fallow stretches. Knowing where each topic's topic sits in that timeline shows that logic is not a fixed body of rules but an evolving subject still under active construction.

The three great periods

The first period was ancient Greece, roughly 400–200 BCE. Aristotle, founder of Western logic, built a systematic theory of syllogisms — inferences of the form "all As are Bs; all Bs are Cs; so all As are Cs." Nearby, the Megarian school studied conditionals and paradoxes, and the Stoics analysed negation, conjunction, disjunction, and the conditional.

The second period ran through the medieval universities of the 12th to 14th centuries — Paris, Oxford — building on Arabic philosophers such as Ibn Rushd, with figures like Duns Scotus and William of Ockham systematizing the inherited Greek logic.

Priest's argument: After the medieval flowering, logic largely stagnated until the second half of the 19th century — the only bright spot being Leibniz, whose ideas the mathematics of his day could not support.

The third period, possibly the greatest, began when 19th-century abstract algebra supplied the missing mathematics. Boole, Frege, and Russell created modern logic, and the subject has accelerated ever since.

Why it matters

History reframes the technical machinery as a human, philosophical enterprise. The great logicians cared about the forest of formal results because they were engaged with the philosophical soil beneath it — questions about truth, necessity, identity, and the limits of reasoning. The topic also maps each topic to its origin: validity and modality trace to Aristotle; truth-functional connectives and the "contradiction implies everything" rule to the Middle Ages; quantifiers and descriptions to Frege and Russell; possible-worlds semantics to Kripke in the 1960s; computation and incompleteness to Turing and Gödel in the 1930s.

Key takeaways

Mental model

Copy sourceZoom

Practical application

Example

Take the simple inference "all whales are mammals; all mammals are warm-blooded; so all whales are warm-blooded." A modern reader recognizes it instantly as valid — but the form that makes it valid, independent of whales and mammals, is exactly Aristotle's syllogistic insight from 23 centuries ago. The truth-functional reading of "and" and "not" you would use to check a connective inference is a medieval contribution. The quantifier "all" treated as a formal operator is Frege's. A single short argument quietly carries fragments from all three great periods.

Related lessons