(3 credits)Prerequisites: One (1) PHIL course 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.