STANFORD UNIVERSITY
Autumn Quarter 2011

To be added to the Logical Methods mailing list, please send a message to logical-methods-join@lists.stanford.edu

MATHEMATICAL LOGIC SEMINAR

September 27
Organizational Meeting
(time: 16:15-17:30, room: 380-380N Note unusual location )

October 4
Brian Lewis (Stanford)
Modal First-Order Logic: Completeness
(time: 16:15-17:45, room: 380-380X)

October 11
Grigori Mints (Stanford)
Kant's logic: formalization (following T. Achourioti and M. van Lambalgen)
(time: 16:15-17:45, room: 380-380X)

October 18
Ulrik Buchholtz (Stanford)
Kant's logic: proofs and problems
(time: 16:15-17:45, room: 380-380X)

October 25
Daniel Hollingshead (Stanford)
Modality, Existence, Identity, Descriptions
(time: 16:15-17:45, room: 380-380X)

November 1
Dagfinn Føllesdal (Stanford)
Quine's arguments against the modalities
(time: 16:15-17:45, room: 380-380X)

November 8
Peter Hawke (Stanford)
Intensions and Counterparts in First-order Modal Logic
(time: 16:15-17:45, room: 380-380X)

November 15
Solomon Feferman (Stanford)
Which quantifiers are logical?
(time: 16:15-17:45, room: 380-380X)

November 29
Tamar Lando (Berkeley)
Probabilistic Semantics for Modal Logic
(time: 16:15-17:45, room: 380-380X)

December 6
G. K. Olkhovikov (Yekaterinburg, visiting Stanford)
Model-theoretic characterization of intuitionistic propositional formulas
(time: 16:15-17:45, room: 380-380X)

Past Seminars and Lunches

Logic at Stanford