| |
Aug 27, 2025
|
|
|
|
|
2025-2026 Course of Study Bulletin
|
PHIL - 3340 Symbolic Logic II
Description
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 .
Credits: 3
Course Level: Upper Division
Academic Level: Undergraduate
|
|