George Boole: Boolean Algebra, Logic & Philosophy

Biography

George Boole was born on November 2, 1815, in Lincoln, England, the first child of John Boole, a shoemaker, and Mary Ann Joyce. The family was poor, and George received no formal university education; his early schooling was elementary, and by the age of sixteen he was already teaching in village schools to support the family. What marked him out was an extraordinary capacity for self-instruction. He taught himself Latin, Greek, French, and German, and read Newton's Principia and Laplace's Mecanique Celeste on his own. In his teens he decided to make mathematics his life's work, and he pursued it with the intensity of an autodidact who had no one to correct him — an independence that shaped his later willingness to break with tradition.

In 1834 Boole opened his own school at Waddington, and his mathematical research began to appear in the 1840s. His papers caught the attention of the great Irish mathematician George Salmon, who put him in touch with Duncan Gregory, the founder of the Cambridge Mathematical Journal. A series of papers on operator methods in differential equations established his reputation. In 1849, despite lacking any degree, Boole was appointed Professor of Mathematics at the new Queen's College in Cork, Ireland, where he remained for the rest of his life. He married Mary Everest in 1855; the couple had five daughters, one of whom, Alicia, later contributed to four-dimensional geometry, and Lucy Everest Boole became a chemist.

Boole published The Mathematical Analysis of Logic in 1847 and his masterwork, An Investigation of the Laws of Thought, on Which Are Founded the Mathematical Theories of Logic and Probabilities, in 1854. He died of pneumonia on December 8, 1864, at the age of forty-nine, walking two miles in the rain to give a lecture. He had lived to see his work acknowledged by mathematicians but could not have imagined that his algebra would one day become the language of computers.

Historical Background

Boole worked in a Britain where the study of logic had stagnated. Aristotle's syllogism still dominated, and the only serious modern contribution was the eighteenth-century work of Leonhard Euler, whose circles diagrammed syllogistic relations. The young Boole, coming to logic through mathematics rather than the scholastic tradition, saw the problem from a fresh angle: if arithmetic and algebra could be made rigorous, why not reasoning itself?

Two influences shaped his approach. The first was the algebraic tradition of George Peacock and Augustus De Morgan, who were exploring "symbolical algebra" — the idea that algebra is a science of symbols and their laws rather than a science of quantity. The second was his own discovery of the analogy between logical operations and algebraic operations. In 1847 he published The Mathematical Analysis of Logic, a pamphlet that treated the syllogism as a problem in algebra; De Morgan was working along parallel lines, and their friendly rivalry — famously, Boole's pamphlet appeared after a public dispute with De Morgan over the logic of relations — helped launch the modern era of symbolic logic.

Core Ideas

Boole's central insight was that logic can be expressed as algebra. He treated classes of things as symbols, with the operations of intersection (logical AND), union (logical OR), and complement (logical NOT) corresponding to algebraic operations, and he assigned the values 0 (the empty class, or falsity) and 1 (the universe, or truth). On this basis every proposition of traditional logic could be written as an equation. The syllogism "All men are mortal; Socrates is a man; therefore Socrates is mortal" becomes a series of equations whose solution exhibits the conclusion — reasoning itself reduced to calculation.

The philosophical heart of the Laws of Thought is the thesis that the laws of logic are the laws of the human mind's operations in their most abstract form: "the laws of those operations of the mind by which reasoning is performed." Boole called logic the science of the laws of thought not because he was a psychologist about logic (he explicitly rejected psychologism) but because he held that the same equations govern valid inference in every domain. His system unified three things: the logic of classes (sets), the logic of propositions (true and false statements), and the logic of probabilities — showing that a single algebra underlay them all.

Boole also saw that his algebra encoded two principles later called the law of non-contradiction (x · (1 − x) = 0) and the law of excluded middle (x + (1 − x) = 1), the first exact algebraic statement of the classical laws of thought.

Major Works

The Mathematical Analysis of Logic (1847) — the founding pamphlet of algebraic logic, applying algebra to the syllogism and elementary reasoning.

An Investigation of the Laws of Thought, on Which Are Founded the Mathematical Theories of Logic and Probabilities (1854) — the masterwork. In it Boole set out the full algebra of classes and propositions, derived the traditional rules of logic from a few algebraic laws, and applied the same framework to probability theory, making probability a branch of the same symbolic calculus. The book is dense and idiosyncratic — modern readers find its notation difficult — but it contains nearly everything that came to be called Boolean algebra.

A Treatise on Differential Equations (1859) and A Treatise on the Calculus of Finite Differences (1860) — his later mathematical textbooks, which consolidated his standing as a mathematician rather than a logician.

Philosophical Influence

Boole's influence took a century to be fully felt in philosophy. His algebra was refined by William Stanley Jevons, who built a working "logic machine," and by John Venn, whose diagrams made Boolean logic visual. Gottlob Frege, though he worked independently and criticized the algebraic approach, acknowledged the ground Boole had cleared; Bertrand Russell called Boole's work "one of the greatest discoveries of the nineteenth century" and built Principia Mathematica on the algebraic tradition. The mathematization of logic that Boole initiated is the precondition of everything that followed — Godel's incompleteness theorems, Tarski's semantics, and the theory of computation all presuppose that logic is a formal, symbolic calculus.

Outside philosophy, Boole's impact is immeasurable. Claude Shannon's 1937 master's thesis showed that Boole's algebra describes switching circuits, and within decades Boolean algebra became the mathematics of digital logic gates. Every processor, every search engine, and every computer program operates on Boolean operations. When we say "Boolean search" or "Boolean operators," we are using the name of a Victorian autodidact whose equations now run the world.

Related Concepts

Boole's algebraic logic is the ancestor of propositional logic, truth tables, and predicate logic. His laws of thought restate the principle of non-contradiction and the law of excluded middle. His diagrams were perfected by John Venn, his logic was continued by Frege and Russell, and his system underpins the syllogism as its algebraic form. The tradition he founded is the subject matter of the philosophy of logic and the philosophy of mathematics.