2017-2018 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?