Texts:
- Halbach, V., The Logic Manual (OUP, 2010)
- Sainsbury, R.M., Logical Forms: an Introduction to Philosophical Logic, 2nd ed. (Blackwell, 2001)
Weekly Topics
- Sets, Relations, and Arguments
- Syntax and Semantics of Propositional Logic
- Formalisation in Propositional Logic
- The Syntax of Predicate Logic
- The Semantics of Predicate Logic
- Natural Deduction
- Formalisation in Predicate Logic
- Identity and Definite Descriptions
NB: Those studying Philosophy, Politics, and Economics will cover only the first four weeks of this material; those in other Joint Schools will study all eight weeks.