Intermediate Logic

0.5 credits · Undergraduate

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.