Jun 24, 2024  
2013-2014 Undergraduate Catalog 
    
2013-2014 Undergraduate Catalog [ARCHIVED CATALOG]

Add to Portfolio (opens a new window)

PHL 370 - Advanced Symbolic Logic

(4)
Standard first-order symbolic logic, emphasizing quantification theory and including identity theory and logical semantics. The logical system is approached both as a formal system and as a theoretical analysis of human reasoning. Offered every other year.
Prerequisite(s): PHL 102 or PHL 107 or CSE 130 or MTH 062 or equivalent.



Add to Portfolio (opens a new window)