Mark van Atten's excellent entry on the history of intuitionistic logic for the Stanford Encyclopedia is out. And last week in Jena, my Carnap Project colleague Steve Awodey got an awesome stamp commemorating the centennial (last year) of Brouwer's thesis (not from me, so don't ask):
Month: July 2008
Segerberg in Calgary 2008/09
Krister Segerberg will be visiting the Philosophy Department at the University of Calgary during the 2008/09 academic year as Killam Visiting Scholar. He'll be teaching two courses, an intro to modal logic course in the Fall and an advanced course in the Winter term. There will also be a little two day workshop, most likely … Continue reading Segerberg in Calgary 2008/09
Tenure-Track Job in Logic at Calgary!
My department is advertising for a junor position in logic. Please apply or tell me if you know of any promising candidates. If you need more information, you can contact Ali Kazmi (contact details below) or me, of course. We also have a recruitment page. Salient details missing from the ad: teaching load is 2-2, … Continue reading Tenure-Track Job in Logic at Calgary!