About this deck
Two and a half thousand years of trying to write down what it means for one thing to follow from another. Key sections include: Logic; What is logic for?; I. Aristotle — Prior Analytics —; II. Stoic Propositional Logic; III. Boole — 1854 —; IV. Frege — Begriffsschrift, 1879 —; Principia Mathematica; V. Gödel — 1931 —; The Inference Rules — pinned to the board; The Paradoxes.
philosophylogic
