Winter Quarter 2006


Jan 12 Alasdair Urquhart (University of Toronto)
The Unnameable
(4:15 PM -5:30 PM, 70-72A1)

Jan 17 Tomohiro Hoshi (Stanford)
The Expressivity and Frame Definability of H(@, \downarrow)
(4:15 PM -5:30 PM, 380-380F)

Jan 24 Martin Davis (UC Berkeley and NYU)
Godel: Missed Connections, Alternate Directions
(4:15 PM -5:30 PM, 380-380F)

Feb 14 Brandon Fitelson (UC Berkeley)
The Paradox of Confirmation
(4:15 PM -5:30 PM, 380-380F

Mar 3 Paolo Mancosu (UC Berkeley)
Empiricism and semantics: Neurath's critique of Tarski's theory of truth
(12:00 PM -1:15 PM, 380-380F)

Mar 8 Tom Hales (Carnegie Mellon University)
Computers and the Future of Mathematical Proofs
(4:15 PM - 5:30 PM, 60-61G)

To be added to the mailing list for The Logical Methods in the Humanities Workshop, send email to with the words `subscribe logical-methods' in the message text.


Jan 10 Alasdair Urquhart (University of Toronto)
Decision problems for substructural logics
(4:15 PM - 5:30 PM, 380-380F)

Feb 7 Vaughan Pratt (Stanford)
Attributes as Dual Types
(4:15 PM - 5:30 PM, 380-380F)

Feb 10 Dana Scott (Carnegie Mellon)
Parametric Sets and Virtual Classes
(12:00 PM - 1:15 PM, 380-380F)

Feb 15 Andreas Blass (Univeristy of Michigan, Ann Arbor) and Yuri Gurevich (Microsoft)
Stature of a Well Partially Ordered Set
(4:15 PM - 5:30 PM, 380-380F)

Feb 21 Toshiyasu Arai (Kobe University)
Resolving the reflecting universes
(4:15 PM - 5:30 PM, 380-380F)

Feb 28 David Fernandez (Stanford University)
Completeness of S4C for R^2
(4:15 PM - 5:30 PM, 380-380F)

o Past Seminars and Lunches
o Logic at Stanford