Boole, George (1815–1864)
George Boole, an English mathematician and logician, is regarded by many logicians as the founder of mathematical logic. He could be called the Galileo of logic in that he definitively established the mathematical nature of logic—assuming that it was Galileo Galilei who did this for physics, rather than, say, Archimedes. He is considered to be among the five greatest logicians, the others being the Greek philosopher Aristotle, the German mathematician Gottlob Frege, the Austrian mathematician Kurt Gödel, and the Polish mathematician Alfred Tarski.
Like Aristotle, he never had the opportunity to take a course in logic. His parents' economic circumstances precluded the usual formal education. He never took a college course and, thus, never received a bachelor's degree. Nevertheless, he taught many college courses as a professor of mathematics and he received honorary doctoral degrees from such distinguished institutions as Trinity College of Dublin and Oxford University. These are among the many surprises, ironies, and paradoxes surrounding Boole's life and work.
His ambition, energy, originality, and dedication were evident even when he was a boy. By the age of twenty-six he had published the first of many articles in mathematics journals. By twenty-nine, for his 1844 article "On a General Method in Analysis," he had won the Royal Society's gold medal first prize recognizing "the most significant contribution to mathematics" submitted between 1840 and 1844. At thirty-four he was appointed Professor of Mathematics at Queen's University. In 1864, when he died tragically just before the age of fifty, he was one of the most celebrated figures on the British intellectual scene.
In his lifetime he was known almost exclusively for his work in mathematical analysis, a specialty that includes traditional algebra, differential equations, the calculus of finite differences, and, of course, differential and integral calculus. In this field he wrote several articles and two books, both still in print: Treatise on Differential Equations (1859) and Treatise on the Calculus of Finite Differences (1860). During his lifetime few knew his logic at all, and of them few appreciated it. Today, his work in mathematical analysis is largely unknown; his fame rests entirely on his logic. Boolean algebra, the branch of modern mathematics named in his honor, derives from Boole's logic, not from his other mathematics.
Revolutionary Logician Who Never Intended to Revolutionize Logic
His work in logic still retains a vigor and freshness; it continues to be read and enjoyed by many people including professional mathematicians and logicians. In 2003 Prometheus Books brought out a new reprint edition of his most mature and influential book: An Investigation of the Laws of Thought on Which Are Founded the Mathematical Theories of Logic and Probabilities —better known by its shortened title Laws of Thought —which was originally published at his own expense in 1854. The nonmathematical passages in this book are lucid and unusually well written—a testament to Boole's humanistic learning, to his confidence in his own theories, and to his desire to contribute to the advancement of knowledge. Besides the logic, Boole's 1854 book applies logic to probability theory.
Unlike other revolutionary logical innovators, Boole's greatness as a logician was recognized almost immediately. In 1865, hardly a decade after his 1854 Laws of Thought and not even a year after his death, his logic was the subject of the Harvard University lecture "Boole's Calculus of Logic" by Charles Sanders Peirce, America's most creative native logician. Peirce opened his lecture with these prophetic words: "Perhaps the most extraordinary view of logic which has ever been developed with success is that of the late Professor Boole. His book … Laws of Thought … is destined to mark a great epoch in logic; it contains a conception which in point of fruitfulness will rival that of Aristotle's Organon " (Peirce, pp. 223f.).
Even though Boole is thought of today as the initiator of a radical revolution that conclusively and irrevocably overthrew the Aristotelian paradigm then reigning in the domain of logic, he never thought of himself as opposing Aristotle. He admired Aristotle's logic—as far as it went. He never criticized any of the positive features that Aristotle instituted; he accepted as valid every argument that was valid according to Aristotle—including those with "existential import," deducing existential conclusions from universal premises. On the contrary, Boole's goals included revealing the mathematical nature of Aristotle's logic, something that he felt Aristotle had failed to clarify, broadening Aristotle's logic by showing that it could be made to do much more than was envisaged by Aristotle's followers, and deepening it by penetrating beyond Aristotle's analysis to the "ultimate" fine structure of the reasoning process—thereby providing it with what he called a mathematical foundation and showing that it had much more in common with mathematics than had previously been thought and thus justifying it. From Boole's point of view Aristotle's faults were all faults of omission, not of commission. Ironically, Boole's unquestioning acceptance of certain details of Aristotle's system, for example, existential import, may have been one of the things that led to Boole's unfortunate mistaken implementation of his own sound ideas.
Boole's Fully Symbolic Logic
In the process of extending and deepening Aristotle's logic Boole brought many radical ideas into logic. Where Aristotle had represented propositions by a kind of formalized phonetic Greek, Boole represented them by purely ideographic algebraic equations—giving rise to the first successful formalized language in the modern sense. Where Aristotle's propositions were limited to exactly two basic nonlogical elements, one being the "subject" and one the "predicate," Boole's propositions had no limitation of that kind—they could involve any finite number of basic elements, which Boole represented with the letters familiar from algebra: x, y, z, and so on. In fact, by introducing for the first time in history the two logical elements—1 for "everything" or the universe of discourse and 0 for "nothing" or the empty class—he was able to express propositions of pure logic that were devoid of nonlogical elements, another historical first. It was Boole who coined the expression "universe of discourse," which is ubiquitous in modern logic, and it was Boole who first suggested the possibility of reinterpreting a formal language by changing the universe of discourse and the meanings of the nonlogical symbols.
Where for Aristotle the elements were represented by the Greek words having fixed meanings—for human, animal, and other substantives, Boole's letters were reinterpretable. Each of Aristotle's formal sentences expressed exactly one proposition whether true or false, but for Boole any single formal sentence was capable of expressing indefinitely many propositions not necessarily all true (as x (1 − x ) = 0) or all false (as x (1 − x ) = 1). Those that expressed only truths he said were "true in virtue of form," perhaps coining this expression also. This innovation was eventually to play a crucial role in modern logic. For example, with the multiplication sign or juxtaposition representing "logical term-conjunction" (the Boolean "and"), with x for human and y for animal, Boole thought he had expressed Aristotle's "Every human is an animal" by xy = x.
Solving Logical Equations, Discovering Propositional Logic, Transforming an Organ into AN Axiomatic Science
These innovations opened the way to Boole's most radical, totally unexpected and unprecedented insight: that a fully interpreted equation expressing a proposition, whether true or false, could be considered as an equation with one element regarded as an "unknown" to be solved for in terms of the others. Where Aristotle's focus in formal logic had been exclusively with determining logical validity and invalidity of premise-conclusion arguments, that is, with what has been called formal epistemology, Boole's broader focus included, besides a much expanded formal epistemology, several new concerns, two of which were his wholly new theory of logical equation-solving and his formal ontology concerned with axiomatizing logical truths, which he called by the expression "laws of thought." Moreover, Boole explicitly recognized, as Aristotle had not, that "class logic," even in its expanded form, could not treat the arguments now dealt with in truth-functional proposition logic. To meet this deficiency, he proposed an ingenious reinterpretation of his "class logic" that, in his view, transformed it into a propositional logic. In the process he discovered the key ideas now incorporated into laws of modern truth-function logic, establishing himself as the first modern figure in any history of propositional logic.
Before Boole, logic had been thought of as an organon or general instrument necessarily presupposed by any axiomatic science, not as an axiomatic science; Boole proposed regarding logic itself as subject to axiomatic treatment. Boole believed that his logic transcended, included, explained, and thus replaced Aristotle's in much the way that Isaac Newton's mechanics transcended, included, explained, and thus replaced Johannes Kepler's.
See also Aristotle; Frege, Gottlob; Galileo Galilei; Gödel, Kurt; Kepler, Johannes; Logic, History of: Modern Logic; Mathematics, Foundations of; Newton, Isaac; Peirce, Charles Sanders; Probability and Chance; Tarski, Alfred.
works by boole
The Mathematical Analysis of Logic: Being an Essay Towards a Calculus of Deductive Reasoning. Cambridge, U.K.: Macmillan, Barclay, and Macmillan, 1847.
"The Calculus of Logic." Cambridge and Dublin Mathematical Journal 3 (1848): 183–198.
Laws of Thought (1854). Introduction by John Corcoran. Amherst, NY: Prometheus Books, 2003.
works about boole
Boole, Mary Everest. Collected Works. Vol. 1, edited by E. M. Cobham. London: C. W. Daniel, 1931. Originally published under the title "The Home Side of a Scientific Mind" in The University Magazine in 1878.
Corcoran, John. "Aristotle's Prior Analytics and Boole's Laws of Thought." History and Philosophy of Logic 24 (2003): 261–288. This is an extensive, but incomplete, point-by-point comparison of Boole's logic with the Aristotelian system it was intended to perfect.
Gasser, James, ed. A Boole Anthology: Recent and Classical Studies in the Logic of George Boole. Dordrecht, Netherlands: Kluwer Academic, 2000.
Grattan-Guinness, Ivor, and Gérard Bornet, eds. George Boole: Selected Manuscripts on Logic and Its Philosophy. Boston: Birkhäuser Verlag, 1997.
Hailperin, Theodore. Boole's Logic and Probability: A Critical Exposition from the Standpoint of Contemporary Algebra, Logic, and Probability Theory. Amsterdam: North-Holland, 1976.
MacHale, Desmond. George Boole: His Life and Work. Dublin, Ireland: Boole Press, 1985. This includes a complete bibliography of Boole's publications.
Peirce, Charles. Writings of Charles S. Peirce. Vol. I. Bloomington: Indiana University Press, 1982.
Rhees, R., ed. Studies in Logic and Probability. London: Watts, 1952.
John Corcoran (2005)