PHIL 5420 - Symbolic Logic II

3 Credits (Minimum) 3 Credits (Maximum)

An intermediate course in symbolic logic that introduces students to quantified predicate logic with identity, intensional logic, second-order logic, and many-valued logic. Certain meta-logical results such as the Loewenheim-Skolem theorem, completeness, soundness, computability, Church’s thesis, and incompleteness are discussed. Meets with PHIL 4420.