Unit name | Logic 2 |
---|---|
Unit code | PHIL20036 |
Credit points | 20 |
Level of study | I/5 |
Teaching block(s) |
Teaching Block 1 (weeks 1 - 12) |
Unit director | Professor. Horsten |
Open unit status | Not open |
Pre-requisites |
None |
Co-requisites |
None |
School/department | Department of Philosophy |
Faculty | Faculty of Arts |
This unit provides an introduction to some extra-classical and non-classical logics that are particularly interesting to philosophers. The unit material will be of both technical and philosophical nature. The study of axiom systems, key theorems, etc. will be accompanied and integrated by discussion of the philosophical motivations for, and implications of, adopting these different logics. So that the students may familiarise themselves with the more technical notions and methods introduced in the unit, the seminars will partly focus on a small set of weekly exercises.
Students will be expected to complete the exercises in preparation for the seminars, as well as do the required reading.
On successful completion of this unit students will be able to:
22 1-hour lectures and 11 1-hour seminars
Formative: one 2500 word essay and six problem sets designed to test intended learning outcomes (1)-(3).
Summative: one 3-hour unseen exam designed to test intended learning outcomes (1)-(3).
Key text:
Burgess, John P. Philosophical Logic, Princeton University Press, 2009