## Logic 2: Modal Logic (Autumn 2023)

This is a follow-on course to Logic 1, focusing on modal extensions of classical propositional and predicate logic.

Modal logic is used to reason about possibility and necessity, knowledge and belief, permission and obligation, past and future, and a variety of other topics. The first part of the course will introduce standard models and proofs for propositional modal logic, with a brief look at the meta-logical properties of soundness and completeness. We will then go through a range of philosophical applications, studying the logic of knowledge, the logic of obligation, the logic of time, and logical properties of "if-then" constructions. Finally, we will turn to quantified modal logic. We will look at the choices between constant and variable domains, rigid and non-rigid names, and discuss whether standard predicate logic should be weakened to a "free" logic.

### Course organiser

### Course Secretary

### Classes

#### Lectures:

- Thursday 13:10-14:00, 7 George Square, room S.1
- Friday 13:10-14:00, 7 George Square, room S.1

#### Tutorials:

- Group 1: Monday 11:10-13:00 Lister Learning and Teaching Centre, room 1.1
- Group 2: Tuesday 12:10-14:00 40 George Square, room LG.09

#### Logic 2 Lab:

- Wednesday 12:10-14:00, Lister Learning and Teaching Centre, room G.10

### Assessment

- First take-home test (20%), released Monday 16 Oct, due Thursday 19 Oct at 1pm
- Second take-home test (30%), released Monday 20 Nov, due Thursday 23 Nov at 1pm
- Final exam (50%), date and location TBC

### Readings

Lecture notes with exercises are made available each week in the syllabus below. They are the only required reading. You can also download the combined lecture notes for the whole course.

If you want to get a wider perspective or further help, you may find one or more of the following books useful (listed with increasing difficulty):

- Rod Girle,
*Modal Logics and Philosophy*, 2nd edition, 2009 - Graham Priest,
*An Introduction to Non-Classical Logic*, 2nd edition, 2008 - G.E. Hughes and Max Cresswell,
*A New Introduction to Modal Logic*, 1996

### Syllabus

You can find the **answers to all the exercises** in the the combined lecture notes.