Acta Structuralica

international journal for structuralist research

Series | Book | Chapter

192062

Boole's algebra isn't boolean algebra

Theodore Hailperin

pp. 61-77

Abstract

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 class="EmphasisTypeBold ">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?

Publication details

Published in:

Gasser James (2000) A Boole anthology: recent and classical studies in the logic of George Boole. Dordrecht, Springer.

Pages: 61-77

DOI: 10.1007/978-94-015-9385-4_4

Full citation:

Hailperin Theodore (2000) „Boole's algebra isn't boolean algebra“, In: J. Gasser (ed.), A Boole anthology, Dordrecht, Springer, 61–77.