Undergraduate Catalog 2013-2014 [Archived Catalog] [Archived Catalog]

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.

PHIL 201, 210 or permission of instructor

Credits: 3

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

chat live 2 Chat Live
Asset 1 Request Info
Asset 1 Apply Now
visit Visit Liberty