To Boole and his mid-nineteenth century contemporaries, the title of this article would have been very puzzling. For Boole’s first work in logic, The Mathematical Analysis of Logic, appeared in 1847 and, although the beginnings of modern abstract algebra can be traced back to the early part of the nineteenth century, the subject had not fully emerged until towards the end of the century. Only then could one clearly distinguish and compare algebras. (We use the term algebra here as standing for a formal system, not a structure which realizes, or is a model for, it—for instance, the algebra of integral domains as codified by a set of axioms versus a particular structure, e.g., the integers, which satisfies these axioms.) Granted, however, that this later full degree of understanding has been attained, and that one can conceptually distinguish algebras, is it not true that Boole’s “algebra of logic” is Boolean algebra?
[1]
Neal H. McCoy,et al.
Rings and Ideals
,
1948
.
[2]
Elaine Koppelman,et al.
The calculus of operations and the rise of abstract algebra
,
1971
.
[3]
G. Boole.
An Investigation of the Laws of Thought: On which are founded the mathematical theories of logic and probabilities
,
2007
.
[4]
Theodore Hailperin,et al.
Boole's logic and probability
,
1976
.
[5]
R. Goodstein.
Boolean algebra
,
1963
.
[6]
William Kneale,et al.
The development of logic
,
1963
.
[7]
Peter L. Hammer,et al.
Boolean Methods in Operations Research and Related Areas
,
1968
.
[8]
R. L. Goodstein,et al.
History of Mathematical Logic from Leibniz to Peano
,
1972,
The Mathematical Gazette.
[9]
George Peacock.
A Treatise on Algebra
,
1942
.