Resumo:
George Boole (18151864), an English mathematician, revolutionized logic in the 19th century by applying methods from the then emerging field of symbolical algebra to logic. The sophistication and mathematical depth of Boole's approach to the logic of classes is not commonly known.
Boole's algebra of logic, however, was not perfect. It has received much criticism. Yet, the system seemed, by and large, to work just as Boole claimed it would.
In this lecture, I will present
(a) the criticisms pointing to the weaknesses of Boole's Logic,
(b) a rigorous modern version of Boole's theorems, based in good part on
Vols. I and II of Schroeder's Algebra der Logik, published in the 1890s, and
(c) a rigorous modern adaptation of Boole's original algebra of logic, based partly on the work of Hailperin (1976/1986) (time permitting).
The lecture will be mostly based on the recent (unpublished) joint work with Professor Stanley Burris, as well as on his 2010 article, George Boole, in Stanford Encyclopedia of Philosophy.
