PHL345H1

UTSG

Intermediate Logic

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.

View full details on the UofT Academic Calendar
Prereq: PHL245H1/ ( MAT158H1, MAT159H1)/ MAT157Y1  and a full course in PHL/CSC/MATBreadth: Thought, Belief & BehaviourExcl: PHLC51H3, PHL345H5
Easy0%
Useful0%
0
comments
0
ratings

Course Info

DepartmentPHL
CampusUTSG (St. George)
Level300
Hours36L
BreadthThought, Belief & Behaviour
What do you think of PHL345H1?

Reviews

No reviews yet — be the first to share your experience.