STANFORD UNIVERSITY
Winter Quarter 2009

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

LOGICAL METHODS IN THE HUMANITIES WORKSHOP

For more information about the Logical Methods in the Humanities workshop, consult its homepage.

January 6 Organizational Meeting
(time: 16:15-17:30, room: 80-115)

January 13 Grigori Mints (Stanford)
Reviews of Two Recent Publications
(time: 16:15-17:30, room: 80-115)

January 19 Phillip Gerhardy (Oslo)
Proof Mining in Topological Dynamics
(time: 16:15-17:30, room: 90-92Q)

January 27 John Burgess (Princeton)
Putting Structuralism in Its Place
(time: 16:15-17:30, room: 80-115)

February 3 Edward Zalta (Stanford)
A Defense of Logicism
(time: 16:15-17:30, room: 80-115)

February 10 Paul Eklof (Irvine)
Some Uses of Set Theory in Algebra
(time: 16:15-17:30, room: 80-115)

February 17 Vaughan Pratt (Stanford)
Complex Linear Algebra from a Modification of Euclid's Postulates
(time: 16:15-17:30, room: 80-115)

February 24 Solomon Feferman (Stanford)
And So On…: Reasoning with Infinite Diagrams
(time: 16:15-17:30, room: 80-115)

March 3 Jesse Alama (Stanford)
Avigad, Dean and Mumma's “A formal system for Euclid's Elements”
(time: 16:15-17:30, room: 80-115)

March 10 Eric Pacuit (Stanford)
The Barcan Formula and Completeness of First-Order Modal Logic
(time: 16:15-17:30, room: 80-115)

Past Seminars and Lunches

Logic at Stanford