PHLC51H3 Symbolic Logic II

After consolidating the material from Symbolic Logic I, we will introduce necessary background for metalogic, the study of the properties of logical systems. We will introduce set theory, historically developed in parallel to logic. We conclude with some basic metatheory of the propositional logic learned in Symbolic Logic I.

Prerequisite: 
Exclusion: 

MATC09H3, PHL345H

Breadth Requirements: 
Quantitative Reasoning