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.