STANFORD UNIVERSITY
Autumn quarter 2005

LOGICAL METHODS IN THE HUMANITIES WORKSHOP

Sep 26
Organizational Meeting
(3:15 PM - 5:05 PM, 60-61G)

Oct 12 Matthias Baaz (TU Vienna)
Proof Theory of Analogical Reasoning and Juridical Logic
(3:15 PM - 5:05 PM, 50-51P)

Oct 31 William Demopoulos (University of California at Irvine)
A Reconstruction of the 1910 Principia's Theory of Functions and Classes
(3:15 PM - 5:05 PM, 60-61G)

Nov 14 Jesse Alama (Stanford)
What can be done with formal mathematical texts?
(3:15 PM - 5:05 PM, 60-61G)

Dec 5 Peter Koellner (UC Berkeley)
Themes from Goedel: Foundational Aspects of Modern Set Theory
(3:15 PM - 5:05 PM, 60-61G)

To be added to the mailing list for The Logical Methods in the Humanities Workshop, send email to majordomo@lists.stanford.edu with the words `subscribe logical-methods' in the message text.

MATHEMATICAL LOGIC SEMINAR

Sep 27
Organizational Meeting
(4:15 PM - 5:45 PM, 380-380F)

Oct 4 David Fernandez (Stanford)
A Polynomial Translation of S4 into the Intuitionistic Propositional Calculus
(4:15 PM - 5:45 PM, 380-380F)

Oct 11 Matthias Baaz (TU Vienna)
On the Logical Analysis of Proofs Based on First-Order Arguments
(4:15 PM - 5:45 PM, 380-380F)

Oct 18 Grigori Mints (Stanford)
Extraction of Algorithms from Non-Effective Cut Elimination Proofs
(4:15 PM - 5:45 PM, 380-380F)

Oct 25 Dominic Hughes (Stanford)
Proofs Without Syntax
(4:15 PM - 5:45 PM, 380-380F)

Nov 1 Natarajan Shankar (SRI)
Modularity in Inference Systems
(4:15 PM - 5:45 PM, 380-380F)

Nov 8 Jay Halcomb and Randall Schulz (H&S Information Systems)
Axiomatizing Einstein's Mice: Solving Logic Problems with ATP
(4:15 PM - 5:45 PM, 380-380F)