PHIL 543 - Advanced Logic

Continues the study of the metatheory of first order logic, introduced in PHIL 542. Includes the significance of the Lowenheim-Skolem theorem and of Godel’s incompleteness theorems for first order arithmetic; the limitations of higher order logic; and topics from specialized areas in logic: set theory, recursion theory, and model theory. (SI)

Prerequisites & Notes
Prerequisite: PHIL 542 or instructor permission.

Credits: 3