I'm giving the philosophical logic course at Logic Colloquium 2005 on July 29 and 30. It's on the Shape of Proofs, on proof theory for classical and non-classical logics. Day 1 is fairly introductory, covering the correspondence between natural deduction and sequent calculus for linear implication, and then for lattice logic (the latter is joint work of mine with Francesco Paoli). Day 2 covers classical logic and modal logic.
The slides for the classes are now available here. Beware: the file is a 2.7MB pdf file. (Thanks to Till Tantau, whose recent revision of the pgf package made it so much easier to typeset the diagrams than it would have been otherwise.)
The slides come without any references. References to the material referred to and which motivated some of the work here can be found in this list.
If you'd like to write comments about the classes or about the slides, please post here, like this.
If you're participating in the conference, feel free to add a link here: