What Logic argues

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

Primary works in Logic (12)

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

Chambers connected to Logic

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

Reading Trails through Logic

• From Wonder to Method Reading Trail — How looking up at the sky slowly became the scientific method.