All LogBlog Posts

Arne Næss has died at the age of 96. He was the last surviving member of the "periphery" of the Vienna Circle.

Notice here.

Here's a more detailed summary of the paper I just mentioned, (Ciabattoni, Galatos, and Terui, From axioms to analytic rules in nonclassical logics, LICS 2008) courtesy of Agata:

Over lunch the other day, my friend and colleague Agata Ciabattoni told me about her paper at this year's LICS, "From axioms to analytic rules in nonclassical logics".

In addition to the new special issue celebrating the 50th anniversary of Gödel's Dialectica interpretation, Wiley-Blackwell has made the original Dialectica issue in which it appeared freely available. That issue itself was a Festschrift in honour of Paul Bernays's 70th birthday.

Gödel's paper containing his so-called Dialectica interpretation was published 50 years ago in, well, Dialectica. And so Dialectica has a special issue on Gödel's Dialectica interpretation, edited by Thomas Strahm. It looks like all the articles are freely available.

Shawn beat me to it: Katalin Bimbó, who's now at the University of Alberta, just published a nice entry on combinatory logic in the SEP.

Via Theorem(e), I've come across the webpage of Konrad Zdanowski, a logician at the Polish Academy and Paris 7. His papers (mostly on arithmetic) all look incredibly interesting, he has lecture notes on Peano arithmetic, and there's also a paper on 2nd order intuitionistic propositional logic, which is somewhat related to my own research.

Sitting in a talk at CMU by Bill Tait on cut elimnation for predicative systems. His approach, in contrast to Rathjen and Takeuti, is to try to get the cut-elimination proof to be mostly (or even, only) about the proofs, and not about proofs and (mostly) ordinal notation systems. He's using the original Tait calculus, in which formulas are all propositional, but infinitary. His cut-elimination theorem applies in all kinds of cases (essentially up through predicative arithmetic), which I hadn't realized before.

David Chalmers and David Bourget are setting up a new online resource for papers in philosophy, for which they're designing a taxonomy of philosophical topics to be used for classifying papers in the database. David asks

My former colleague C. B. Martin died last Thursday.

Obituary here.