2016-2017 Undergraduate Catalog / Courses / PHIL - Philosophy / 400 / PHIL 412
(3-0-3) An introduction to symbolic logic: How can we use symbols to represent claims and test arguments? What are the philosophical implications of contemporary developments in symbolic logic?