- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
From Algebra to Logic
In Proof Theory and Algebra in Logic. Singapore: Springer Singapore. pp. 77-95 (2019)
Abstract
Syntactic or symbolic approaches to logic began from the middle of nineteenth century. G. Boole attempted to express logical inference as an algebraic calculation in his book Boole 1854. It took several decades before Hilbert-style formal systems were introduced.Author's Profile
Other Versions
No versions found
My notes
Similar books and articles
The mathematical origins of nineteenth-century algebra of logic.Volker Peckhaus - 2009 - In Leila Haaparanta, The development of modern logic. New York: Oxford University Press. pp. 159.
Laws of Thought and Laws of Logic after Kant.Lydia Patton - 2018 - In Sandra Lapointe, Logic from Kant to Russell. New York: Routledge. pp. 123-137.
The Horn theory of Boole's partial algebras.Stanley N. Burris & H. P. Sankappanavar - 2013 - Bulletin of Symbolic Logic 19 (1):97-105.
Polynomizing: Logic inference in polynomial format and the legacy of Boole.Walter Carnielli - 2007 - In L. Magnani & P. Li, Model-Based Reasoning in Science, Technology, and Medicine. Springer. pp. 349--364.
Psychology in the foundations of logic and mathematics: the cases of boole, cantor and brouwer.I. Grattan-Guinness - 1982 - History and Philosophy of Logic 3 (1):33-53.
An Investigation of the Laws of Thought: On Which Are Founded the Mathematical Theories of Logic and Probabilities.George Boole - 2009 - [New York]: Cambridge University Press.
Analytics
Added to PP
2025-06-08
Downloads
25 (#1,715,965)
6 months
11 (#1,085,360)
2025-06-08
Downloads
25 (#1,715,965)
6 months
11 (#1,085,360)
Historical graph of downloads
Author's Profile
Citations of this work
Varieties of Modal Algebras Without the Congruence Extension Property.Zalán Gyenis & Zalán Molnár - 2026 - Notre Dame Journal of Formal Logic 67 (2):159-176.
Try MATCHA Writer if you're interested in citing directly from PhilPapers and certifying your authorship.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation