Advanced Logic

3 credits

PHIL 4110

Philosophy
College of Arts and Science

(same as LINGST 4110; cross-leveled with PHIL 7110, LINGST 7110). Presents the method of truth trees for sentence and predicate logic. Examines proofs concerning the decidability, soundness, and completeness of formal systems. Emphasizes the theory of formal systems. Math Reasoning Proficiency Course. Prerequisites: sophomore standing and PHIL 2700.

info Math Proficency Course

Required for students subject to the General Education requirements in a catalog version earlier than 2019 Fall only.