I linked to it before, but now the deadline is nigh: Call for Participation Young Scholars' Competition The Kurt Gödel Centenary: Horizons of Truth organizers and sponsors invite young scholars in logic, mathematics, physics, philosophy, computer science and theology to submit project proposals for the young scholars' competition honoring Kurt Gödels hundredth birthday. Web: http://www.logic.at/goedel2006/index.php?students … Continue reading Kurt Gödel Centenary Young Scholars’ Competition Deadline Approaching

Sad. Peter Strawson has passed away. Obits from the Times, the Telegraph, the Guardian, .

The Studia Logica special issue on cut-elimination, edited by Alex Leitsch, is out. A bunch of very interesting papers. I'm especially glad to see Alessandra Carbone publish in proof theory again! I'm a big fan.(Self-promotion: the issue also contains the final version of Georg Moser and my epsilon calculus paper. And while I'm linking, and … Continue reading Studia Logica Issue on Cut-elimination

Via OPP: Thierry Coquand's entry on Type Theory in the Stanford Encyclopedia went online a few days ago.

Brian Weatherson's Online Papers in Philosophy blog of new philosophy papers has been taken over by Jonathan Ichikawa and is now located here. So update your bookmarks/RSS feeds.Via OPP I see that Calgary's very own Rafał Urbaniak's paper on Lesniewski in the AJL is now online.

This looks like a superb opportunity for undergrads and beginning graduate students: Carnegie Mellon Summer School in Logic and Formal EpistemologyIn 2006, the Department of Philosophy at Carnegie Mellon University will launch a three-week summer school in logic and formal epistemology for promising undergraduates in philosophy, mathematics, computer science, linguistics, and other sciences. The goals … Continue reading Carnegie Mellon Summer School in Logic and Formal Epistemology