# PH341 - Modal Logic

**Module code:**PH341**Module name:**Modal Logic**Department:**Philosophy**Credit:**15

Content and teaching | Assessment | Availability

## Module content and teaching

###### Principal aims

Modal logic is the study of the properties of so-called modal operators - i.e. expressions such as “It is necessary/possible that”, “In the future/past”, “It is obligatory/permissible that”, “It is known that” and “It is provable that” which may be prefixed to a declarative sentence and can be understood as modifying the way (or mood) in which the sentence is true. We will begin by studying axiom and tableau proof systems for some common propositional and first-order modal logics. We’ll next consider a semantic theory for these systems in the form of Kripke (or possible world) models and prove their soundness and completeness. We will then use these tools to study a variety of traditional topics from philosophy of logic and mathematics: names versus descriptions, rigid designation, possibilist versus actualist quantification, logical omniscience, mathematical provability as an operator. Throughout, emphasis will be placed on developing facility in using formal systems to represent and reason about philosophical and mathematical problems.

###### Principal learning outcomes

By the end of the module the student should be able to: 1) demonstrate knowledge of formal systems of modal logic (proof theory and semantics); 2) understand the relationships between these formal systems and questions, e.g., about the nature of modality, identity, or conditionals; 3) use and define concepts with precision, both within formal and discursive context.

###### Timetabled teaching activities

Normally runs during the Spring term in alternate years. 2 hour lectures and I hour seminars weekly.

###### Departmental link

http://www.go.warwick.ac.uk/ph341

###### Other essential notes

Please note that attendance at both lectures and seminars and completion of any unasssessed or required work is a requirement of this module

## Module assessment

Assessment group | Assessment name | Percentage |
---|---|---|

15 CATS (Module code: PH341-15) | ||

D (Assessed/examined work) | Assessed Course Work | 15% |

Examination - Main Summer Exam Period (weeks 4-9) | 85% | |

Assessed Course Work | 100% |

## Module availability

This module is available on the following courses:

###### Core

N/A

###### Optional Core

N/A

###### Optional

- Undergraduate Mathematics (BSc) (G100) - Year 2
- Undergraduate Mathematics (BSc) (G100) - Year 3
- Undergraduate Mathematics with Intercalated Year (G101) - Year 2
- Undergraduate Mathematics with Intercalated Year (G101) - Year 4
- Undergraduate Mathematics (MMath) (G103) - Year 2
- Undergraduate Mathematics (MMath) (G103) - Year 3
- Undergraduate Mathematics (MMath) (G103) - Year 4
- Undergraduate Master of Mathematics (with Intercalated Year) (G105) - Year 2
- Undergraduate Master of Mathematics (with Intercalated Year) (G105) - Year 3
- Undergraduate Master of Mathematics (with Intercalated Year) (G105) - Year 4
- Undergraduate Master of Mathematics (with Intercalated Year) (G105) - Year 5
- Undergraduate Mathematics (MMath) with Study in Europe (G106) - Year 2
- Undergraduate Mathematics (MMath) with Study in Europe (G106) - Year 4
- Undergraduate Mathematics and Business Studies (G1NC) - Year 2
- Undergraduate Discrete Mathematics (G4G1) - Year 3
- Undergraduate Discrete Mathematics with Intercalated Year (G4G2) - Year 4
- Undergraduate Discrete Mathematics (G4G3) - Year 3
- Undergraduate Mathematics and Economics (GL11) - Year 2
- Undergraduate Mathematics and Economics (with Intercalated Year) (GL12) - Year 2
- Undergraduate Mathematics and Philosophy with Intercalated Year (GV18) - Year 4
- Undergraduate Philosophy, Politics and Economics (V7MR) - Year 2