STANFORD UNIVERSITY
Department of Mathematics
Spring quarter 2004


MATHEMATICAL LOGIC SEMINAR

Apr 6 G. Mints (Stanford)
Dynamic Topological Logic. Past Results, Recent Counterexamples

Apr 13 Johan van Benthem (Stanford and Amsterdam)
Survey of logics of space

Apr 20 Johan van Benthem (Stanford and Amsterdam)
Topological completeness theorems for modal logic

Apr 27 Darko Sarenac (Stanford)
Topological logics on product spaces

May 4 Jesse Alama (EPGY)
Tarski's Elementary Geometry

May 11 Lev D. Beklemishev (Steklov Mathematical Institute, Moscow, and Onderzoeker, University of Utrecht)
Provability algebras and combinatorial independence results

May 18 Makoto Tatsuta (National Institute of Informatics)
Martin-Lof's type theory with permutative reductions

May 25 Michael Beeson
Lambda logic

June 1 Sara Negri
Internalised Kripke semantics and proof analysis in modal logic

Seminars this quarter are on Tuesdays at 4:15PM
in room 380:380F (Math building).


LOGICAL METHODS IN THE HUMANITIES WORKSHOP

Apr 2 Michael Hallett (McGill University)
Reflections on ``purity of method" in Hilbert's Grundlagen der Geometrie

Apr 16 Angela Potochnik (Stanford University)
The Evolution of Syntax in Wittgenstein's Philosophy
Patrick Girard and Darko Sarenac (Stanford University)
Preservationism meets modal logic; a property based approach to modal logic.

May 25 Christopher Martin (Auckland University)
Formal Consequence in Scotus and Ockham
(3PM -4PM in 20-22K)

Jun 1 Audrey Yap (Stanford University)
Quadratic Reciprocity and the Theory of Congruences
(3PM - 4PM in 20-22K)

Jun 11 Andrew Arana (Stanford University)
The Epistemic Value of Purity

The Logical Methods in the Humanities Workshop meets on Fridays from 3:15-5:15PM in room 90-92Q. To be added to the mailing list, send email to majordomo@lists.stanford.edu with the words `subscribe logical-methods' in the message text.


MATHEMATICS COLLOQUIUM

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


o Past Seminars and Lunches
o Logic at Stanford