This one I found not on the internets, but in the Berkeley math library! John Burgess has a collection of philosophical papers out: Mathematics, Models, and Modality. It includes the classics "Why I am not a nominalist", "Mathematics and Bleak House", "Can truth out?", and "Quinus ab omni noevo vindicatus". Must buy, must read!

So, sabbatical is over, I'm back in Calgary, started to teach yesterday (history of analytic, and Gödel's incompleteness theorem--from Peter's book). I saved so many posts in my reader over the summer that now there's more saved posts than new posts every day. Let's clean house. Graham Priest's Introduction to Non-classical Logic, 2nd edition, is … Continue reading Cleaning House

Wow, this is amazing:[youtube=http://www.youtube.com/watch?v=j50ZssEojtM&hl=en&fs=1]Now that's what I call science communication! I look forward to the new EP from Kate McAlpine (emcee) and Will Barras (beats).PS: xkcd is on today as well.

The Summer Schools in Logic and Learning will be held January 26-February 6, 2009, and you're invited: An Open Invitation to attend theSummer Schools in Logic and Learning26 January to 6 February 2009Australian National University, Canberra, AustraliaOne of the grand challenges in science and engineering is to build computer systems that are trustworthy and intelligent. … Continue reading Summer Schools in Logic and Learning (in the Winter)

Rosalie Iemhoff has a new entry on intuitionism in the philosophy of mathematics for the Stanford Encyclopedia. It explains the basics of intuitionistic mathematics. Together with Mark van Atten's entries on the history of intuitionistic logic and on Brouwer, and Joan Rand Moschovakis's entry on intuitionistic logic, the SEP is now probably the premier source … Continue reading Intuitionism in the SEP

Greg Lavers has a review of the Cambridge Companion to Carnap at NDPR. (HT: Greg Frost-Arnold)

SSHRC has posted the list of funded projects from the most recent Standard Research Grants competition. These grants are for three years. Last year's results are here (plus lots of discussion on the politics of SSHRC in the comments section).This year's stats: 92 applications (2007: 88; 2006: 85, 2005: 96, 2004: 92), 28 grants, for … Continue reading 2008 Canadian Research Grants to Philosophers

Last year in May, Berkeley held a conference in honor of Bill Craig, who will turn 90 this coming November. Bill is probably best known for the Craig Interpolation Theorem and the theorem that every recursively enumerable theory is recursively axiomatizable. Just in time, the Festschrift arising from that conference has appeared online. It's a … Continue reading Interpolations: Essays in Honor of William Craig

Henri Cartan, last surviving member of the original Bourbakistes, died on August 13. He'll be remembered not just for his mathematical work, but also for his political engagement for human rights and European federalism. Obits:Daily TelegraphDie ZeitLe FigaroLe MondeNew York TimesWashington Post (HT: Giuseppina Ronzitti)

The CiE series of conferences now has an associated association. At 0 EUR, membership is pretty cheap! By the way, next year's CiE in Heidelberg will be a blast for the logic-y side of computation. Jeremy Avigad has agreed to be one of the invited speakers, Pavel Pudlák will give a tutorial, and there will … Continue reading Computability in Europe Association

Another exciting new blog, by Chris Pincock: Honest Toil.

My former student Rafał Urbaniak has a new blog, Entia et Nomina.

Obituary here.

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):

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

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!

Hannes Leitgeb has edited an interesting special issue of Studia Logica on "Psychologism in Logic?". From the introduction: There is no doubt that Frege’s and Husserl’s famous attack on Psychologism in logic had a significant influence on the emergence of logic as a separate discipline. Now that this battle can be safely regarded won, it … Continue reading Studia Logica Issue on Psychologism in Logic

NYU Philosophy is hosting a conference on the philosophy of mathematics, October April 10-12, 2008 2009. The speakers are John Burgess, Haim Gaifman, Joel Hamkins, Kai Hauser, Peter Koellner, Stewart Shapiro, Stephen Simpson, Bill Tait, Neil Tennant, and Hugh Woodin.

The first issue of the Review of Symbolic Logic is now online.

Pictures and videos from the Gödel Centenary Fellowship are online here.