Repository | Book | Chapter

192058

(2000) A Boole anthology, Dordrecht, Springer.

Algebraical logic

Leibniz and Boole

Theodore Hailperin

pp. 129-138

An association of algebraic symbols and their properties with those of logic would hardly have been conceivable before the 16th century. Systematic use of letters for numbers in general, and symbols for operations on them, were a development of the 16th and 17th centuries. Although Aristotle's theory of the syllogism used letters of the alphabet for arbitrary general terms, i.e., used variables, there was no formal notion of the composition of terms nor of a negative term, hence no notion of an operation on terms. An early, perhaps the earliest, mention of such an algebraic-like operation occurs in Jacques Bernoulli's Parallelismus ratiocinii logici et algebraici... 1

Publication details

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

Full citation:

Hailperin, T. (2000)., Algebraical logic: Leibniz and Boole, in J. Gasser (ed.), A Boole anthology, Dordrecht, Springer, pp. 129-138.

This document is unfortunately not available for download at the moment.