PHIL 119 Intermediate Logic

Detailed treatment of the semantics of first order logic and formal computability. Completeness, undecidability of first order logic and Lowenheim-Skolem results also proven. Nature and formal limits of computability and introduction to incompleteness also investigated. Students cannot receive credit for this course and course 219.


Prerequisite(s): PHIL 9; one from PHIL 11 or PHIL 22 or PHIL 23 or PHIL 24 or PHIL 80E or BME 80G/PHIL 80G or PHIL 80M or PHIL 80S; and PHIL 100A or PHIL 100B or PHIL 100C.