Solomon Feferman Symposium

Opening: Lanier Anderson

Session 1: 10-noon – Chair: Rick Sommer

I.         Mathematical Logic – (Michael Rathjen)

II.        Conceptual Expansions – (Gerhard Jäger)

Lunch break: noon to 1:30

Session 2: 1:30 to 3:30 – Chair: Thomas Icard

III.       Axiomatic Foundations – (Wilfried Sieg)

IV.       From Logic to Philosophy: Predicativity – (Peter Koellner)

Coffee Break: 3:30 to 4:00

Session 3: 4:00 to 6:00 – Chair: TBD

V. Sol’s influence: academic and professional life –

(Dana Scott, Carolyn Talcott, Paolo Mancosu, Charles Parsons)

Closing: Johan van Benthem

Reception

This Symposium is co-sponsored by Stanford’s Departments of Philosophy and Mathematics and is being held in conjunction with the 6th CSLI Workshop on Logic, Rationality, and Intelligent Interaction