The Logic Manual
On this page you'll find various support materials to be used in conjunction with the Logic Manual. The publisher's web page for the book can be found here.
An Italian translation has been published by Mimesis.
The Exercises Booklet can be downloaded from here. For 2017/18 there are no changes from the previous year. A version containing solutions is available upon request for those teaching from the Manual. Unfortunately I cannot release these solution for revision or self-study. If you require more exercises for revision or exercises with solutions, please use More Exercises by Peter Fritz, which contains exercises and solutions .
This year's (2016/17) logic lectures are being given by Dr. James Studd. The slides for the lectures 2016/17 are below.
Note that the slides only cover selected definitions and techniques from the Logic Manual and are not comprehensive. They should be read in conjunction with the main text.
There are two versions for each lecture: a handout (with some items left for students to complete during the lecture) and the lecture slides themselves.
Sample papers and additional resources
All past examination papers have been collected at OXAM (restricted access). Below are papers or questions with solutions.
The Natural Deduction Pack by Alastair Carr contains many worked examples of Natural Deduction proofs with detailed explanations of proof strategies. After working through this document there will hardly be any question on Natural Deduction in a Prelims paper that you can't answer.
The following papers still follow the old conventions (pre 2013). In particular, the formalizations in propositional logic may be harder than in recent papers. I hope they are still useful.
I have prepared some worked examples in pdf files. To open the pdf file for an example click on the claims below. I recommend viewing the files in single page (non-continuous) mode (often called 'fit to width', symbol: four corners). To go to the next page use the page down or space key (rather than scrolling forward in continuous mode).
Partial truth tables
Natural Deduction proofs: propositional logic
Natural Deduction proofs: predidate logic
Natural Deduction proofs: predidate logic with identity