Department of Mathematics

Winter quarter 2002

Jan 7 **Sol Feferman and Grisha Mints***
Organizational Meeting*

Jan 15 **Grigori Mints***
Mathematical linguistics and proof theory
(Ch. 12 in the Handbook of Logic and Language, by W. Buszkowski)*

Jan 22 **Sol Feferman***
Compositionality (Ch. 7 from Handbook of Logic and Language)*

Jan 29 **Albert Visser***
Papers on compositionality by W. Hodges and D. Westerstahl*

Feb 5 **Albert Visser***
Idioms and compositionality (paper of D. Westerstahl)*

Feb 12 **David Beaver***
Presuppositions (chapter by D. Beaver in the Handbook of Logic and
Language)*

Feb 19 **Scot Strube***
Feature logics (ch. in Handbook of Logic and Language)*

Feb 26 **Prashant Parikh** (Univ. of Pennsylvania) *
Speaker meaning and conversational implicature*

March 12 **David Anderson***
Non-monotonic logics (from the Handbook of Logic and Language)*

Seminars this quarter are on Tuesdays at 4:15PM

in room 380:381T (Math building).

Jan 18 **Darko Sarenac** *
Possible Worlds: More Fashionable Nonsense?*

Feb 1 **G.Mints, D.Sarenac***
Completeness of an indexed epsilon-calculus*

Feb 15 **Paolo Mancosu** (U.C. Berkeley) *
Wittgenstein's constructivization of Euler's proof of the infinity of primes (joint work with Mathieu Marion, University of Ottawa)*

Mar 1 **Johannes Hafner** (U.C. Berkeley) *
Putnam & the Platonist*

Mar 15 **Albert Visser***
Interpretability logic*

Logic lunch takes place on Fridays at 12:00 PM in room 383-N,

Mathematics Department (building 380).

Department of Mathematics Colloquium takes place on Thursdays at 4:15 PM in the room 380-W, Mathematics Department (building 380).

**Past Seminars and Lunches****Logic at Stanford**