Oxford University website
Courses and Papers

Introduction to Logic

Available to all Mods candidates.

This subject (usually taught in classes) is the study of patterns of valid inference, and involves some study of a formal system (that found in the second edition of W. Hodges, Logic). Students are required to do exercises and proofs in a formal system, and also to understand the relation between the elements of the formal system and the kinds of inference and argument used in ordinary language. For more detailed information about the topics to be studied students should consult the relevant entry in the Examination Conventions.

Not all courses and papers are available in every year. The authoritative information about courses and papers can be found in the University's Examination Decrees and Regulations, published with changes each October; the version published in the October a student begins a course will be authoritative for the examinations which that student takes at the end of the course.