Undergraduate Catalog 2014-2015 [Archived Catalog] [Archived Catalog]
THIS COURSE IS OFFERED RESIDENTIALLY ONLY
This course covers the essential elements of symbolic logic, including categorical, sentential, and predicate logic, both translations and proofs. This course will introduce and develop the symbolic nature of propositional and predicate logic, as well as examine such things as validity and soundness, truth tables, rules of deductive inference and replacement, formal axiomatic systems, relations, alternative notations and proof techniques.
PHIL 201, 210 or permission of instructor
Highlighted text indicates a change from the official version of the catalog.