(3 credits)Prerequisites: Two (2) PHIL courses at the 1000 - 2000 level or permission of the instructor. Introduction to modern logic. This course explores the formal nature of language and reasoning. Propositional logic, predicate logic, and related topics. (fall, odd years)