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 … Continue reading New paper on the epsilon calculus

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 … Continue reading Logical Methods in Computer Science

If you're not on our mailing list: The Department of Philosophy at the University of Calgary is pleased to announce aMinisymposium on LogicAll talks will take place in 1253 Social Sciences Building***Friday, November 4, 4:00 pmAlasdair UrquhartUniversity of TorontoThe UnnameableFrege has a puzzling doctrine that functions are unsaturated entities. This paper is devoted to an … Continue reading Logic Minisymposium with Burgess, Fine, and Urquhart

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 … Continue reading Philosophy of Math, in French

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 choice. … Continue reading Springer OpenChoice: Why?

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 Paris … Continue reading Deux carnets Web sur la philosophie et la logique

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 10.0, … Continue reading Geek News: SUSE Linux 10.0 on a Dell Optiplex GX620

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 … Continue reading Schwichtenberg and Pohlers Festschriften