consequently.org/edit: Proof and Counterexample

This was the book that is now called Proof Theory and Philosophy.

I am writing a book, entitled Proof and Counterexample (or PnC for short). It’s on logic viewed through the lens of proof theory. In particular, it covers natural deduction, sequent calculus, normalisation and cut-elimination. It’s designed to both be state-of-the-art research on these topics, together with an introduction appropriate for an advanced undergraduate.

These pages will contain all sorts of different material about the book: comments, discussion, pointers to related material, and anything else that the community behind this site sees fit to write.

At the moment, the site has seen few changes for the last few months while I settle on the outline of the book. I’m currently in discussions with a publisher, and once we come to an agreement on the structure, I’ll post the revisions up here. For now, you can see some material from mid-2005.

The Current Draft – available as a pdf file with hyperlinks for viewing on a screen or a two-up pdf file for printing. You can check if the files are significantly different from one you have downloaded earlier by visiting the PnC Changelog.
Outline of PnC – an outline of the contents. It’s the place to go if you want to explore the book and comment on its contents. It’s also the place to add your requests.
PnC References – discussion of how I’m collecting together the references for the book.
Work related to PnC – links to other resources on proof theory. (Add your links of your own for the community to share.)
Typesetting PnC – links and discussion on how to typset logic, and how I’m putting the book together.