Wolfgang Schwartz asks here if there is a "canonical" way to build free-variable tableaux which are guaranteed to close if the original formula is valid. It seems to me that this must be the case, since free-variable tableaux are a complete proof method. But maybe I don't understand the question.The point of free-variable tableaux is … Continue reading Free-variable Tableaux

It is a commonly accepted view (among logicians working in philosophy [departments]) that while logic was considered central to philosophy in the mid-20th century, it has since moved closer and closer to the margins. It is said, e.g., that while in the 1950s and 60s it was common to find "pure" logicians working in philosophy … Continue reading The Status of Logic in Philosophy

I got the official letter today: I'll be Associate Professor as of July 1. Yay!

Greg Restall has a nice page of short descriptions of some important logicians' work. Kinda like my Who are Boole, Fitch, and Tarski page, only more in-depth.

The long (178 pages!) paper I wrote with Paolo Mancosu and Calixto Badesa is now done and available for download here.