Introduction to Formal Logic

An Introduction to Formal Logic was first published by Cambridge University Press in November 2003.

The headline news is that this is an initially very gentle-paced introduction to logic by trees, though it does get as far as a completeness proof for quantificational logic (included for enthusiasts).  Until I retired, it was the text book for the compulsory first-year logic course for Cambridge philosophers. Click on the thumbnail of its cover to go to the publisher’s page for the book. And from there you look at the table of contents and a short excerpt.


The book was reprinted in April 2009, and I took the opportunity not only to correct known typos but to make many small improvements to the content too. This version was reprinted another four times. Then in late 2013 I had the opportunity to make more corrections (this time just minor ones) for the current seventh printing.

NB: A corrected reprint doesn’t count as a new edition so it doesn’t have a new ISBN, and so bookshops can’t undertake to give you the very latest printing. Still, the original printing is long sold out, so one of the revised versions  will be what is supplied by bookshops, Amazon, etc. In time, the best, seventh printing, will propagate through the distribution systems. You can tell which version you have in your hand by looking at the verso of the title page.


There following support materials are available: