PHIL 3384 - Symbolic Logic

Credits: 3 Class: 3 Lab: 0
Prerequisite(s): 3 hours of Philosophy or junior standing, or instructor consent.
Symbolic Logic analyzes arguments for validity by abstracting from the use of ordinary language, and looking only at their structure. Doing so also makes it possible to analyze the nature of argument and logic itself. Topics in this class include sentential logic, the logic of quantification, and some of the basic concepts and results of metalogic.