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
Month: May 2004
The Status of Logic in Philosophy
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!
Great Moments in Logic
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.
History of Logic 1900-1935
The long (178 pages!) paper I wrote with Paolo Mancosu and Calixto Badesa is now done and available for download here.