Augustus De Morgan's 1847 work, "Formal Logic," is a foundational text on the principles and methods of logical reasoning. It is notable for its early exploration of symbolic logic and its influence on the development of modern mathematical logic.
Sources for Augustus De Morgan — Formal Logic
Augustus De Morgan — Formal 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)
- Bertrand Russell — Introduction to Mathematical Philosophy (1919)
- Alan Turing — On Computable Numbers (1936)
- Lewis Carroll — The Game of Logic (1886)
- John Venn — Symbolic Logic (1881)
- 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)