PHL345H1: Intermediate Logic

Hours: 
36L

A survey of several major areas of formal logic and their application to philosophical problems, applying formal techniques and building directly on PHL245. Possible topics include set theory, non-classical logics, modal logic and metalogic.

Prerequisite: 

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

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