Category: Uncategorized

CUP is giving away copies of Martin Gardner’s New Mathematical Library if you can solve a logic puzzle–any reader of this blog should be able to solve this one! N.B. The rules that say: These books represent new editions of Gardner’s massive Scientific American corpus. Many people know these puzzles by heart. If you do,…

My colleague Robin Cockett and I have been running a research group here at Calgary where the various computer scientists, mathematicians, and philosophers interested in logic, theory, foundations, etc. meet and present work. For a long time we’ve had weekly meetings and everything went great, but then both Robin and I went on leave and…

The ASL Newsletter went out today, and it looks like the Winter Meeting will be very exciting: 2008-09 ASL Winter Meeting (with APA) Philadelphia, PennsylvaniaDecember 27–30, 2008 This meeting will be held jointly with the Annual Meeting of the Eastern Division of the American Philosophical Association. The program includes three invited sessions. For the first,…

The Vienna International Summer University next year (July 13-24, 2009) will be on the topic “The Culture of Science and Its Philosophy”. Call for Participation just came in. Stupid framed website: to apply, go to the website, then click on “Application” in the navigation bar on the left. Call for ApplicationApplication deadline: January 30, 2009…

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…