2019-2020 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?