Mindblown: a blog about philosophy.

I’m going to pretend I’m not in the timezone I’m in, and that it’s still OneWebDay. And sing the praises of the internet. Specifically, “today,” I realized again how much I depend on the availability of information on the internet and the communication possibilities it opens up. As examples, two things: Hotel room, 3am, preparing…

The “Nobel of philosophy and logic” was awarded this year to Thomas Nagel. And the Schock Prize in mathematics goes to Endre Szemerédi. Full citations here (PDF). Update: I forgot that these were actually announced back in May. There’s a symposium at the Swedisch Academy in honor of Nagel tomorrow.

These will go in a homework assignment in my next Intro Logic class.

In February of last year, BIRS had an amazing workshop on “Mathematical Methods in Philosophy”. We (i.e., Aldo Antonelli, Alasdair Urquhart, and I) collected some of the very exciting contributions from that workshop in a Special Issue of the new Review of Symbolic Logic, and that issue is now online! We even managed to get…

In Bloglines, the atom feed for LogBlog shows up as “does not exist”, and it has so for a couple of days. Is that just me? Maybe I should just switch to Google Reader, but Google is almost taking on a Microsoft-ish quality in my mind. Plus, not sure it can do the blogroll the…

This just came in over the wire: A new project on the Foundations of Logical Consequence will start at the University of St Andrews in January 2009. Details of the project can be found at: http://www.st-andrews.ac.uk/~arche/projects/logic/ The project will run for three and a half years from January 2009 until June 2012. There are two…

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…