PHIL-3340 Symbolic Logic II

PHIL 3340, Symbolic Logic II, Topics include: Review of first-order logic from a more abstract perspective than that taken in PHIL 2340; introduction to set theory; basic metalogical results including soundness, completeness, compactness, the Lowenheim-Skolem theorem, and Godel's incompleteness theorems; connections with issues in computability theory and the foundations of mathematics. Prerequisite: PHIL 2340 or consent of instructor, or CSCI 1323.