Apr 24, 2024  
2019-2020 College of Liberal Arts (Admitted Fall 2019/Spring 2020) 
    
2019-2020 College of Liberal Arts (Admitted Fall 2019/Spring 2020) [ARCHIVED CATALOG]

Add to Portfolio (opens a new window)

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 (opens a new window)