STANFORD UNIVERSITY
Department of Mathematics
Winter quarter 2002

MATHEMATICAL LOGIC SEMINAR

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).

LOGIC LUNCH

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).

MATHEMATICS COLLOQUIUM

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