Sep 29, 2020  
2015-2016 Undergraduate Catalogue 
2015-2016 Undergraduate Catalogue Archived Catalogue

PAR 218 - Symbolic Logic

Credits: 3
Prerequisite: PAR 110  or permission of instructor. A study of classical first-order logic, i.e., propositional logic and predicate logic. Both the semantic method (truth-table method and model universe method) and the syntactic method (proof-theoretical method and the method of natural deduction) are featured. Additonal topics may be selected from meta-theory (completeness, soundness, etc.), the semantic tableaux approach, or the axiomatic approach. Satisfies University Studies IV: Building Competencies/Quantitative and Logical Reasoning.

Click here for the Fall 2020 Class Schedule.