John Venn's 1881 work, "Symbolic Logic," is a foundational text exploring the principles and applications of symbolic logic. It is notable for its comprehensive treatment of the subject and its introduction of the now-ubiquitous Venn diagrams.
Sources for John Venn — Symbolic Logic
John Venn — Symbolic Logic in Logic
Held in the Logic chamber of the Babel Nexus Index.
- Aristotle — Categories (Organon) (c. 350 BCE)
- Immanuel Kant — Logic (Jäsche edition) (1800)
- George Boole — The Mathematical Analysis of Logic (1847)
- Augustus De Morgan — Formal Logic (1847)
- Bertrand Russell — Introduction to Mathematical Philosophy (1919)
- Alan Turing — On Computable Numbers (1936)
- Lewis Carroll — The Game of Logic (1886)
- Gottfried Wilhelm Leibniz — Dissertatio de Arte Combinatoria (1666)
- Giuseppe Peano — Arithmetices Principia (1889)
- William Stanley Jevons — The Principles of Science (1874)
- Ludwig Wittgenstein — Tractatus Logico-Philosophicus (1921)