Free-variable Tableaux

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

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.