What this chamber argues

• Logic formalizes valid inference and exposes hidden assumptions.
• It bridges language, proof, and systems of reasoning.

Primary works in this chamber (11)

• Aristotle — Categories (Organon) (c. 350 BCE) — Book
• Immanuel Kant — Logic (Jäsche edition) (1800) — Book
• George Boole — The Mathematical Analysis of Logic (1847) — Book
• Augustus De Morgan — Formal Logic (1847) — Book
• Bertrand Russell — Introduction to Mathematical Philosophy (1919) — Book
• Alan Turing — On Computable Numbers (1936) — Paper
• Lewis Carroll — The Game of Logic (1886) — Book
• John Venn — Symbolic Logic (1881) — Book
• Gottfried Wilhelm Leibniz — Dissertatio de Arte Combinatoria (1666) — Book
• Giuseppe Peano — Arithmetices Principia (1889) — Book
• William Stanley Jevons — The Principles of Science (1874) — Book

Connected chambers

• Philosophy of Science — Reasoning → method
• Mathematics — Proof ↔ systems
• Knowledge Itself — Reasoning ↔ knowing