2014-2015 Undergraduate Catalog > Courses > PHIL - Philosophy > 400 > PHIL 412
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?