O'Reilly logo

The Birth of Model Theory by Calixto Badesa

Stay ahead with the world's most comprehensive technology and business learning platform.

With Safari, you learn the way you learn best. Get unlimited access to videos, live online training, learning paths, books, tutorials, and more.

Start Free Trial

No credit card required

Chapter One

Algebra of Classes and Propositional Calculus

1.1 BOOLE

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 ...

With Safari, you learn the way you learn best. Get unlimited access to videos, live online training, learning paths, books, interactive tutorials, and more.

Start Free Trial

No credit card required