Event Detail

Craig’s interpolation theorem is now part of the standard logic curriculum. This and other results of Craig’s have had profound significance in logic, philosophy of science, philosophy of logic, and computer science. Six internationally distinguished speakers will reflect on the importance and impact of Craig’s work:

• Professor Solomon Feferman (Philosophy and Mathematics, Stanford University)
• Professor Dana Scott (Philosophy and Computer Science, Carnegie-Mellon University)
• Professor Cesare Tinelli (Computer Science, University of Iowa)
• Professor Michael Friedman (Philosophy, Stanford University)
• Professor Jouko Väänänen (Mathematics, University of Amsterdam and University of Helsinki)
• Professor Johan van Benthem (Philosophy, Stanford University; Institute for Logic, Language & Computation, University of Amsterdam)

Organizers: Branden Fitelson, Paolo Mancosu, Sherrilyn Roush, and John MacFarlane (Philosophy, UC Berkeley).