Category: Uncategorized

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…

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 the Summer Schools in Logic and Learning 26 January to 6 February 2009Australian National University, Canberra, Australia One of the grand challenges in science and engineering is to build computer systems that are…

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…

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,…

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…

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…