| Unit name | Logic 2 |
|---|---|
| Unit code | PHIL20036 |
| Credit points | 20 |
| Level of study | I/5 |
| Teaching block(s) |
Teaching Block 2 (weeks 13 - 24) |
| Unit director | Professor. Pettigrew |
| Open unit status | Not open |
| Pre-requisites |
PHIL10014 Introduction to formal Logic (or equivalent, eg in Mathematics). PHIL10005 Introduction to Philosophy A, PHIL10006 Introduction to Philosophy B. |
| Co-requisites |
None |
| School/department | Department of Philosophy |
| Faculty | Faculty of Arts |
This course introduces the logic of possibility and necessity modal logic. It begins by developing a tableau system for modal logic, and includes a semantics for this system that uses the notion of a possible world. The logic is then extended to include quantifiers that allow one to quantify over the objects in possible worlds. The philosophical status of possible-worlds talk is brought into focus and criticised.
