PHL345H1: Intermediate Logic

Hours: 
36L

A continuation of PHL245H1, requiring no other prior knowledge of philosophy or mathematics. First-order logic, including basic metalogical results such as soundness and completeness. An introduction to basic set theory and metalogic. Topics may include the Loewenheim-Skolem theorems for first-order logic, Goedel’s incompleteness theorems.

Prerequisite: 

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

Exclusion: 

PHLC51H3, PHL345H5

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