History of Mathematical Logic

Preprints

1. Contributions of the Logicians
   The first part gives substantial commentary on the works of Whately, De Morgan, Boole and Jevons.
   The second part highlights contributions of Dedekind, Cantor, Frege, Schroeder, Peano, Zermelo, Loewenheim, Whitehead and Russell, Skolem, Hilbert and Ackermann, Herbrand, Goedel and Gentzen.

2. My Book Review of A Boole Anthology
   [ PS ] [ DVI ] [ PDF ]

3. The Laws of Boole's Thought.
   [ PS ] [ DVI ] [ PDF ]
   Gives a natural framework for recreating Boole's Algebra of Logic, based on ordinary algebra!

4. A Fragment of Boole's Algebraic Logic Suitable for Traditional Syllogistic Logic.
   [ PS ] [ DVI ] [ PDF ]
   A tiny modification of Boole's translation of Particular Propositions makes Boole's system powerful enough to easily encompass the traditional Aristotelian simple inferences and syllogisms.

Talks

1. The Laws of Boole's Thought
   AMS (New Orleans, 2001) [ PS ] [ PDF ]
   (Same topic as Preprint 3 above.)

2. Boole's Treatment of Particular Statements
   CMS, Toronto(2001) [ PS ] [ PDF ]
   (Same topic as Preprint 4 above.)

3. Understanding Boole's Algebra of Logic
   ASL Special Session, Chicago (June, 2003) [ PS ] [ PDF ] [ DVI ]
   

4. A Primer on Boole's Algebra of Logic [PDF]
   Invited talk presented to the Irish Mathematical Society in Cork, Ireland, on August 27, 2015 (supported by the European Mathematical Society), as part of the George Boole Mathematical Sciences Conferences.

5. Justifying Boole's Algebra of Logic [PDF]
   Invited talk for Theme2 "From Boole's Algebra to Boolean Algebra, and Beyond", in Cork, Ireland, on August 28, 2015, as part of the George Boole Mathematical Sciences Conferences.