*Chapter One*

Algebra of Classes and Propositional Calculus

**1.1.1** George Boole (1815–1864) is justly considered the founder of mathematical logic in the sense that he was the first to develop logic using mathematical techniques. Leibniz (1646–1716) had been aware of this possibility, and De Morgan (1806–1878) worked in the same direction, but Boole was the first to present logic as a mathematical theory, which he developed following the algebraic model. His most important contributions are found in The mathematical analysis of logic [1847], his first work on logic, and An investigation of the laws of thought [1854], which contains the fullest presentation of his ideas on the subject. In what follows I will focus solely on the latter ...

Start Free Trial

No credit card required