You are here: Home > Academics > Academic Catalogs

Undergraduate Catalog 2012-2013

PHIL 310 - Symbolic Logic

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.

Prerequisites:
PHIL 201, 210 or permission of instructor

Credits: 3



Highlighted text indicates a change from the official version of the catalog.