PHIL 4420 - 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. Satisfies the LAS and Compass Curriculum Quantitative and Qualitative Reasoning requirement as a logic course when taken by a student who has either 1) successfully completed MATH 1040 (or a mathematics course that has college algebra as a prerequisite), OR 2) scored 87% or higher on the College Algebra placement test and scored 50% or higher on the Business Calculus placement test. Prer., PHIL 3440 or consent of instructor. Meets with PHIL 5420.