Feb 28, 2020  
2019-2020 College of Liberal Arts 
    
2019-2020 College of Liberal Arts
Add to Portfolio

PHIL 351 - Symbolic Logic

4 credits
An introduction to the propositional and predicate calculus, notions of proof, model, consistency, and truth; the Deduction, Compactness, and First Incompleteness Theorems and philosophical ramifications. Meets: 150 minutes weekly. Same as MATH 340 . Prerequisite: May differ between the 2 departments. CLA-Breadth/Interdisciplinary



Add to Portfolio