Mindblown: a blog about philosophy.

The Department of Philosophy, University of Auckland, seeks to appoint a Lecturer in Logic. (Vacancy number: A248-07O. The position is a continuing one.) The successful applicant will be expected to undertake research, and to teach at introductory undergraduate, advanced undergraduate and postgraduate levels, and to supervise research students for the MA and PhD degrees. Applicants…

At LanguageLog.

Another one of the SEP entries commissioned by Paolo and me: The Early Development of Set Theory, by José Ferreirós, author of Labyrinth of Thought.

Ok, by popular demand, here’s a list of the books in the new banner image: Ramsey, The Foundations of MathematicsHilbert and Bernays, Grundlagen der Mathematik I & II (2nd ed)Carnap, Logical Syntax of LanguageKneale and Kneale, The Development of LogicTarski, Einführung in die mathematische LogikRussell, Introduction to Mathematical PhilosophyRussell, Logic and KnowledgeBoolos, Logic, Logic, and…

Ok, it looks like the move worked. Please let me know if you notice anything broken. And, if you’re reading this on a feed reader, check out the new site design for a second.

The University of Calgary is moving its websites to a Content Management System (Drupal, to be specific). My homepage is scheduled to be migrated tonight. Now, I’ve tried very hard to not break any URLs or links (the IT people probably hate me by now), but there will be some changes. For instance, all the…

TYPES Summer School 2007Proofs of Programs and Formalisation of Mathematics August 19-31 2007, Bertinoro, Italy http://TypesSummerSchool07.cs.unibo.it During the last ten years major achievements have been made in using computers for interactive proof developments to produce secure software and to show interesting mathematical results. Recent major results are, for instance, the complete formalisation of a proof…

Paul Cohen died on Friday of a rare lung disease. This came over FOM today: We are very sorry to tell you that Paul Cohen has suddenly passed away. He has had a rare lung disease for maybe two years now, but symptoms only began to really manifest about a year ago. We did not…

Mark Lance posted this insightful message to FOM yesterday, in response to this thread on “progress in philosophy”: “The aim of philosophy, abstractly formulated, is to understand how things in the broadest possible sense of the term hang together in the broadest possible sense of the term. Under “things in the broadest possible sense” I…