*Compulsory for all schools except Classics, where it is available as an option*

This course introduces students to formal work in propositional and predicate logic, through study of a dedicated text: *The Logic Manual*, by Volker Halbach (OUP). Students investigate the patterns of valid inference by means of the formal system set out in the text, and learn about the relationship between elements of the system and the types of argument and inference used in ordinary language. The course is intended both for those with an interest in logic who will undertake further work in it or related topics at finals, and for those who will not study it further but who will find the ability to understand formal expressions useful in their later study of philosophy.