PHIL 412 Symbolic Logic

(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?