PHI 218 Symbolic Logic

Prerequisite: Completion or waiver of MAT 012

Offered: Typically alternate years (next offered 2013-2014)

A study of deductive systems, including sentential and predicate logic. Attention to syntax, semantics, and derivations in formal languages. Practical Reasoning (PR). 1 Course Credit