This is the book that was formerly called Proof and Counterexample.
I am writing a book, entitled Proof Theory and Philosophy (or PTP for short). It’s on proof theory and its application to different issues in philosophy. 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.
- 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 PTP Changelog.
- Outline of PTP – an outline of the contents. It’s the place to go if you want to explore the book and comment on its contents. Except for outright errors, which can be posted on the…
- PTP Errata – if you find a typo, or a bug in the book, post it here. In fact, check here first to find the errors already found in the version you’re reading.
- PTP References – discussion of how I’m collecting together the references for the book.
- Work related to PTP – links to other resources on proof theory. (Add your links of your own for the community to share.)
- Typesetting PTP – links and discussion on how to typeset logic, and how I’m putting the book together.
You might also like to:
- Read up on How To Participate on the site.
- Try the Sand Box, to see how you can edit pages on this site for yourself.
- Add yourself to the list of Users of the website.