Symbolic Logic

Catalog description

This is a first course in logical theory. Its primary goal is to study the notion of logical entailment and related concepts, such as consistency and contingency. Formal systems are developed to analyze these notions rigorously. This is a double-starred (**) level course and may be taken for graduate credit by students enrolled in a graduate program outside of the department. A graduate student enrolled in a double-starred course numbered below 500 may be required to complete extra work.