1/13: William Tait
January 3rd, 2009“Compositional Semantics without Incomplete Objects:
A Variable-Free Formalization of First-Order Predicate Logic”
4:30-6:30 pm, Cobb 101 (campus map)
The paper may be downloaded here.
12/2: Mark Steiner
December 1st, 2008“Empirical Regularities in Wittgenstein’s Philosophy of Mathematics”
6-8pm, Cobb 430 (campus map)
11/18: Joshua Schwartz
November 13th, 2008“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.
11/11: Daesuk Han
November 3rd, 2008“The Myth of Set Theory: From Wittgenstein’s Point of View”
6-8pm, Stuart 209 (campus map)
The paper may be downloaded here.
10/21: Timothy Bays
October 13th, 2008“Skolem’s Other Paradox”
6-8pm, Cobb 430 (campus map)
The paper may be downloaded here.
Tuesday’s presentation will deal with sections 2, 3.2, and 3.3.
10/7: Trevor Pearce
October 3rd, 2008“Engineering Values: John Dewey, Rudolf Carnap, and Valuation in Science”
6-8pm, Cobb 430 (campus map)