Since it’s Caturday, I thought I’d make a proof theory lolcat.

As Gary Hardcastle and Alan Richardson reminded me, today is both Rudolf Carnap’s and Bertrand Russell’s birthday.

(xkcd has funny ALT tags on their panels; go to the site to see them.)

A conference in honor of William Craig

Craig’s interpolation theorem is part of the standard logic curriculum. This and other results of Craig’s have had a 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: Solomon Feferman (Stanford), Michael Friedman (Stanford), Cesare Tinelli (University of Iowa), Dana Scott (Carnegie Mellon), Jouko Väänänen (University of Amsterdam and University of Helsinki), Johan van Benthem (University of Amsterdam and Stanford University). The organizers are Branden Fitelson, John MacFarlane, Paolo Mancosu, and Sherri Roush (Berkeley, Philosophy).

Where and when

The conference will take place in Howison Library, in Moses Hall, at the University of California, Berkeley, on May 13, 2007.

For a full program (and pictures of Bill Craig) see http://sophos.berkeley.edu/interpolations/