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
Month: February 2006
Sir Peter Strawson, 1919-2006
Sad. Peter Strawson has passed away. Obits from the Times, the Telegraph, the Guardian, .
Studia Logica Issue on Cut-elimination
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
Coquand on Type Theory
Via OPP: Thierry Coquand's entry on Type Theory in the Stanford Encyclopedia went online a few days ago.
OPP Moves, Urbaniak on Lesniewski
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.
The epsilon calculus and Herbrand complexity
Source
Studia Logica 82 (2006) 133-155
(with Georg Moser)
Carnegie Mellon Summer School in Logic and Formal Epistemology
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