PHL347H1: Modal Logic

Hours: 
36L

Formal study of the concepts of necessity and possibility; modal, propositional and quantificational logic; possible-worlds semantics; the metaphysics of modality.

Prerequisite: 

PHL245H1/​ MAT157Y1 and a full course in PHL/CSC/MAT

Exclusion: 

PHL347H5

Recommended Preparation: 

PHL345H1

Distribution Requirements: 
Humanities
Breadth Requirements: 
Thought, Belief and Behaviour (2)
Program Area Section: 

Philosophy