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 ]