Logica 2008
The 22nd Logica symposium is taking place this summer, June 16th-20th, in Hejnice. This is an annual event organised by The Institute of Philosophy, Academy of Sciences of the Czech Republic. I'm off to give a revamped version of my paper on proof-theoretic harmony, and I notice to my great satisfaction that it looks like the perfect environment for some of my thoughts. Among the keynote speakers, Arché Professorial Fellow Stewart Shapiro (the most critical side of my supervising committee) joins Bob Brandom, Dag Prawitz and Heinrich Wansing, all outstanding contributers to my field of interest. In addition, there are several talks on inferentialism, proof-theory and related material in the line-up of invited speakers, noticeably two other of the usual suspects of my papers: Peter Milne and Peter Schroeder-Heister. Full programme is here.
I'll post a new version of the paper later when I've had some time to digest input from some of the past events. Now that inferentialist comrade Julien Murzi has joined us as Arché visitor for a couple of months, there will be ample opportunities to experiment with new ideas.
I'll post a new version of the paper later when I've had some time to digest input from some of the past events. Now that inferentialist comrade Julien Murzi has joined us as Arché visitor for a couple of months, there will be ample opportunities to experiment with new ideas.

