## Devlin's Angle |

Boole's book begins with these words:

By the phrase "the symbolic language of a Calculus" Boole meant algebra. Not just the use of algebraic symbols likeThe design of the following treatise is to investigate the fundamental laws of those operations of the mind by which reasoning is performed; to give expression to them in the symbolic language of a Calculus, and upon this foundation to establish the science of Logic and construct its method.

Even today, in the twenty-first century, when we are familiar with computers -- the "thinking machines" that are direct descendants of Boole's logical algebra -- it seems an audacious idea to write down algebraic equations that describe the way we think. What led Boole to propose such a thing, and why did he think it might be successful?

George Boole was born in England in 1815. Though the world was to regard him as a mathematician -- indeed, as one of the most influential mathematicians of all time -- he shared his interests between mathematics and psychology. Were he alive today, he would undoubtedly refer to himself as a cognitive scientist, a term that was first used in the early 1950s. He was largely self taught, and it may have been the absence of a teacher to lead him away from such a seemingly nonsensical idea that enabled him to seek to capture the patterns of thought by means of algebra. The mark of his genius is that he succeeded to such an extent.

Boole first published his algebra of thought in
1847 in a small pamphlet entitled *The
Mathematical Analysis of Logic.* The simplest
way to describe the contents of this pamphlet is to
quote from the opening section.

It is worth reading through the above passage a second time. Boole made every word count.They who are acquainted with the present state of the theory of Symbolic Algebra, are aware that the validity of the processes of analysis does not depend upon the interpretation of the symbols which are employed, but solely upon the laws of their combination. Every system of interpretation which does not affect the truth of the relations supposed, is equally admissible, and it is thus that the same processes may, under one scheme of interpretation, represent the solution of a question on the properties of number, under another, that of a geometrical problem, and under a third, that of a problem of dynamics or optics. ... It is upon the foundation of this general principle, that I purpose to establish the Calculus of Logic ...

As a result of his new algebra of logic, in 1849 Boole was appointed to the chair of mathematics at the newly founded University College, Cork. As soon as he had established residence in Ireland, he began work on a larger book about his new theory. He was particularly keen to ensure that his mathematics really did capture laws of mental activity, and to this end he spent a great deal of time reading psychological literature and familiarizing himself with what the philosophers had to say about mind and logic.

He used his own money and that of a friend to
publish his second, more substantial book on his
ideas in 1854. Its full title was *An Investigation
of the Laws of Thought on Which are Founded the
Mathematical Theories of Logic and
Probabilities.* but it is generally referred to
more simply as *The Laws of Thought.* By
and large, the only substantial difference between
the 1854 book and the earlier pamphlet of 1847
was the addition of his treatment of probability,
using his new algebraic framework. The logic
itself was largely unchanged.

Boole's idea was to try to reduce logical thought to
the solution of equations -- a logical holy grail ever
since the German mathematician Gottfried Leibniz
had tried to do it in the 17th century. Leibniz
attempted to develop an "algebra of concepts",
in which algebraic symbols had denoted concepts,
such as *big, red, man, woman, unicorn,*
but he had met with only limited success.

Boole wanted his algebra to encompass all of
Aristotle's insights into human reasoning (the
famous Greek "All men are mortal" syllogisms)
as well as the Stoics' logic of propositions (what
we now refer to as propositional calculus). He took
his symbols *x, y, z,* etc. to denote arbitrary
collections of objects. For example, the collection
of all men, the collection of all mortals, the
collection of all bankers, or the collection of all
natural numbers. He then showed how to do
algebra with symbols that denote collections -- to
write down and solve equations -- in a way that
corresponds to performing logical deductions.

In order to be able to write down and solve algebraic equations involving collections, Boole had to define what it meant to add and to multiply two collections. Since his algebra was intended to capture some of the patterns of logical thought, his definitions of addition and multiplication had to correspond to some basic thought processes. Moreover, it would be easier to do algebra if he could define addition and multiplication in such a way that they had many of the familiar properties of addition and multiplication of numbers, making his new algebra of thought similar to the algebra everyone was used to.

Here is what he did. Given collections *x* and
*y,* Boole denoted the collection of objects
common to both *x* and *y* by *xy.*
For example, if *x* is the collection of all
Germans and *y* is the collection of all
sailors, then *xy* is the collection of all
German sailors.

Boole's definition of addition was more
complicated than it needed to be, so other
mathematicians of the time modified it to the
following simple idea: *x* + *y* is the
collection of objects that are in either *x* or
*y* or both. For example, if *x* is the
collection of all red pens and *y* is the
collection of all blue pens, then *x* + *y*
is the collection of all pens that are either red or
blue.

With these definitions of multiplication and addition, Boole's system had the following properties:

These equations should look familiar for ordinary arithmetic, where the letters denote numbers. They are the two commutative laws, the two associative laws, and the distributive law. Because of the similarities between Boole's algebra of collections and ordinary arithmetic, Boole was able to perform calculations in his system, i.e., algebraic manipulations such as solving equations. However, solving an equation in Boole's system corresponds not to arithmetic but to logical reasoning about ... well, about whatever the symbols are taken to mean -- men, women, unicorns, what to prepare for dinner, etc. True, solving Boolean equations is not necessarily the best way to make a human decision. But the point was that patterns of logical thoughtx+y=y+x

xy=yx

x+ (y+z) = (x+y) +z

x(yz) = (xy)z

x(y+z) =xy+xz

There are further similarities between Boole's system and ordinary algebra. For instance, in ordinary arithmetic the number 0 is special: adding 0 to any number leaves the number unchanged. In order for his algebra to work, Boole also needed a zero. He obtained it by taking 0 to be the empty collection.

One advantage of having a 0 is that it provides a
way to write down an algebraic equation saying
that various things do not exist. For example, in
Boole's algebra we can express the fact that
unicorns do not exist by letting *x* be the
collection of all unicorns and writing down the
equation *x* = 0.

With 0 defined as the empty collection, the symbol 0 has the same special properties in Boole's algebra of collections as it does in ordinary algebra:

for any collectionx+ 0 =x

x0 = 0

Although Boole's algebra had many of the properties of ordinary algebra, it was not exactly the same. Boole really did have to work with a strange, new kind of algebra. For instance, in Boole's algebra, the following two equations are true:

These equations are certainly not true for ordinary arithmetic.x+x=x

xx=x

Incidentally, the axiomatic system that today's mathematicians refer to as a "boolean algebra" is not due to Boole. Rather, it was developed by other mathematicians who built on Boole's original work.

By reducing reasoning to doing algebra, Boole opened up the possibility of building a reasoning machine. Even today, it is hard to imagine any kind of mechanical or (these days) electronic machine being able to reason the way humans do about, say, local politics. What can a machine possible know about local government? On the other hand, even in Boole's day it seemed perfectly possible to construct a machine that could manipulate algebraic symbols according to some general rules.

Indeed, the rules Boole presented for manipulating algebraic expressions and for solving equations in his system were sufficiently mechanical that the English logician W. S. Jevons was able to use them to build a mechanical reasoning machine which he demonstrated to the Royal Society in 1870. Not surprisingly, given the prevailing technology at the time, Jevons' device looked for all the world like an old style mechanical cash register. But for all its antiquated appearance, as an implementation of logic it was a stunning early ancestor of the modern electronic computer.

Today's electronic computer is, at heart, just an implementation in silicon of Boole's algebra of thought, with streams of electrons performing Boole's algebraic operations. The OR gates and AND gates you can read about in books that describe how computers work correspond directly to Boole's algebraic operations of addition and multiplication. In last month's column I described how the mathematician John von Neumann played a key role in the the design of one of the first electronic computers in the early 1950s. It was the theoretical work of George Boole a century earlier that prepared the foundations upon which von Neumann and this colleagues helped usher in today's computer era.

This months' column is abridged from my book Goodbye Descartes: The End of Logic and the Search for a New Cosmology of the Mind, published by John Wiley in 1997. For more on George Boole, and the development of logic and its role in the invention of the modern computer, consult that book.

For more in-depth coverage of the use of language in mathematics, but still at an elementary level, see my book Sets, Functions, and Logic, the Third (completely revised) Edition of which has just been published by Chapman and Hall.

Devlin's Angle is updated at the beginning of each month.