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