Mar 28, 2024  
Graduate Record 2006-2007 
    
Graduate Record 2006-2007 [ARCHIVED RECORD]

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