| 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 | Dr. Finn Spicer |
| Open unit status | Not open |
| Pre-requisites |
PHIL10014 Introduction to formal Logic (or equivalent, eg in Mathematics) |
| 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.
