Abstract
We are often taught in a first course in the history of logic or in the philosophy of mathematics that Frege singlehandedly invented second-order logic, and that there was no one close to his achievements before him. In a slightly more sophisticated version of the same course, a qualifying nod is made in the direction of Boole, who did “bring quantifiers to logic”. But the student is given the impression that Boole, like Frege, rose ex nihilo from the weedy wasteland of Aristotelian syllogistic reasoning. While this is not a wholly mistaken impression, it is misleading, and should be corrected. Boole was working in the context of a revival of logic—where “logic”, especially as it was being taught in England, was gradually being prised away from the doxa of Aristotelian syllogistic reasoning. It is in this context that Boole made innovative contributions by bringing together a number of ideas. The combination brought us closer to our modern conception of logic.
I should like to thank the reviewers of this article for many helpful comments on the draft version.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Bar-Am, N.: Extensionalism and Induction in Boole. Physics 41, 97–123 (2004); Also on the author’s webpage (page references are taken from the web version)
Boole, G.: An Investigation of the Laws of Thought. Barnes & Noble, New York (2005); Originally (1854)
De Morgan, A.: Formal Logic. In: Taylor, A.E. (ed.), Open Court, London (1927); Originally (1847)
Frege, Gottlob “Boole’s Logical Calculus and the Concept Script”. In: Frege, Gottlob Posthumous Writings, Trans. Peter Long, Roger White. Eds. Hans Hermes, Friedrich Kambartel, Friedrich Kaulbach, Basil Blackwell, Oxford (1976); Originally submitted for publication in 1881. pp. 9–46 (1881)
Frege, “Boole’s Logical Formula Language and my Concept Script”. In: Frege, Gottlob Posthumous Writings, Trans. Peter Long, Roger White. Eds. Hans Hermes, Friedrich Kambartel, Friedrich Kaulbach, Basil Blackwell, Oxford (1976); Originally written 1882, pp. 47–52 (1882)
Peacock, G.: A Treatise of Algebra. J.&J.J. Deighton, Cambridge (1830)
Whatley, R.: Elements of Logic. Reprinted from the 9th (Octavio) edn., Longmans Green & Co., London (1913)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Friend, M. (2010). Boole: From Calculating Numbers to Calculating Thoughts. In: Ferreira, F., Löwe, B., Mayordomo, E., Mendes Gomes, L. (eds) Programs, Proofs, Processes. CiE 2010. Lecture Notes in Computer Science, vol 6158. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-13962-8_19
Download citation
DOI: https://doi.org/10.1007/978-3-642-13962-8_19
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-13961-1
Online ISBN: 978-3-642-13962-8
eBook Packages: Computer ScienceComputer Science (R0)