(3 credits)Prerequisites: Two (2) PHIL courses at the 1000 - 2000 level or permission of the instructor.
Presents an introduction to modern logic, and explores the formal nature of language and reasoning including propositional logic, predicate logic, and related topics.