History of Mathematical Logic
Preprints

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.

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

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

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

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

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

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

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.

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.