Formal Philosophy

“Quine’s Predicate-Functor Analysis of the Variable”

6-8pm, Cobb 430 (campus map)

Joshua Schwartz’ paper is a nearly-completed proof of Willard Van Orman Quine’s claim that predicate-functor logic and first-order polyadic quantification theory are intertranslatable.  This week, he will present the proof and invite workshop attendees to offer suggestions about how to complete it.

“The Myth of Set Theory: From Wittgenstein’s Point of View”

6-8pm, Stuart 209 (campus map)

The paper may be downloaded here.