Mindblown: a blog about philosophy.

There will be a conference on (Anti-)Realisms, Logic and Metaphysics, at the University of Nancy, 28 June to 1 July 2006. The call for papers is here (deadline December 15, but they only want abstracts); for more information follow the links on the sidebar on the site. Speakers include Michael Lynch, Peter van Inwagen, Mathieu…

Yes, that would be nice if the Scientific American did a special issue on logic. But it’s actually a special issue of Pour la Science, the French edition of the Scientific American. Pour la Science Dossier N° 49 (October 2005) is on “Les chemins de la logique”. It looks really exciting, and I wish I…

Georg Moser and I finally got our paper done for the Studia Logica special issue on cut elimination. It’s on the complexity of the epsilon elimination procedure in the first epsilon theorem. (If you don’t know what the epsilon theorem or the epsilon calculus is, see here.) It’s a consequence of the cut-elimination theorem that…

Via the PT list, I hear about a new open-access, online journal on computational logic, entitled Logical Methods in Computer Science. It’s run by Dana Scott, Gordon Plotkin, Moshe Vardi, and Jirí Adamek. In addition to regular papers, they will publish special issuse, e.g., containing selected papers from LICS. Here’s the email they sent advertising…

If you’re not on our mailing list: The Department of Philosophy at the University of Calgary is pleased to announce a Minisymposium on Logic All talks will take place in 1253 Social Sciences Building *** Friday, November 4, 4:00 pm Alasdair UrquhartUniversity of Toronto The Unnameable Frege has a puzzling doctrine that functions are unsaturated…

Via Varia, I see that the French-Canadian journal Philosophiques is actually freely avaliable online since 1999. There are some online issues that are interesting for the logic/history of analytic/philosophy of math crowd, e.g., the special issue on Bolzano edited by Sandra Lapointe, and the issue on Poincaré’s epistemology (the latter includes a short piece by…

Just came across the OpenChoice program of Springer Verlag: Springer Open Choice gives you the power to choose how you want your research published. As an author-focused publishing company, Springer believes that authors should have the right to determine what publication model best meets their needs. Springer Open Choice is exactly what it says: a…

Varia is a French blog on philosophy, including a sizeable section on logic run by Mickaël Simon. There I found a link to Vann McGee‘s online lectures for his Logic I course at MIT, on the OpenCourseWare server. M. Simon also pointed me to Théorème, a group blog run by a bunch of people from…

Skip this if you’re not interested in techie stuff; we’ll return to our regularly scheduled logic programming soon. Yesterday I got some fancy new equipment: A Dell Optiplex GX620 desktop, with a stunning Dell 2405FPW 24″ screen. Then I was lucky enough to find a North American mirror which already had the brand-new SUSE Linux…

Two greats of German logic turned 60 not too long ago: Helmut Schwichtenberg in 2002 and Wolfram Pohlers in 2003. Both had birthday conferences held in their honor, and the proceedings thereof appear in the Annals of Pure and Applied Logic this year, the Schwichtenberg Festschrift in the May and the Pohlers Festschrift in the…