May 03, 2024  
2014-2015 College of Liberal Arts Catalog (Admitted Fall 2014/Spring 2015) 
    
2014-2015 College of Liberal Arts Catalog (Admitted Fall 2014/Spring 2015) [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)