Modern Logic

The algebra of logic: what Boole really started

Judy Green

Full-text: Open access

Abstract

Although the concept of a Boolean algebra has its roots in the algebra of logic, an algebra of logic of the nineteenth century was a scheme for symbolizing logical relationships as algebraic ones in such a way that logical deductions could be accomplished by algebraic manipulations. Boole wrote three works on logic, but it is in the first of these, the 1847 The Mathematical Analysis of Logic, Being an Essay Towards a Calculus of Deductive Logic, that one finds the most careful algebraic development. None of the three, however, dealt adequately with existential statements and, in fact, none of Boole's successors dealt adequately with them either, although some of the later versions of the algebra of logic improved substantially on Boole's treatment. Despite these improvements, during the approximately fifty years that constituted the period in which the algebra of logic was the mainstream of mathematical research in logic, logicians never agreed upon a single notation system. Finally, around the turn of the century, the term "algebra of logic" began to be used in the modern sense of Boolean algebra and, because of that, what Boole started in 1847 is now essentially hidden.

Article information

Source
Mod. Log., Volume 4, Number 1 (1994), 48-62.

Dates
First available in Project Euclid: 6 March 2008

Permanent link to this document
https://projecteuclid.org/euclid.rml/1204835162

Mathematical Reviews number (MathSciNet)
MR1253678

Zentralblatt MATH identifier
0803.01009

Subjects
Primary: 03-03: Historical (must also be assigned at least one classification number from Section 01)
Secondary: 01A55: 19th century 03G05: Boolean algebras [See also 06Exx] 06-03: Historical (must also be assigned at least one classification number from Section 01) 06E99: None of the above, but in this section

Citation

Green, Judy. The algebra of logic: what Boole really started. Mod. Log. 4 (1994), no. 1, 48--62. https://projecteuclid.org/euclid.rml/1204835162


Export citation