Mar 29, 2024  
2018-2019 Undergraduate Catalog 
    
2018-2019 Undergraduate Catalog [ARCHIVED CATALOG]

Add to Portfolio (opens a new window)

PHL 3000 - 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 1000  or PHL 1070  or CSI 1300  or MTH 0662  or equivalent.



Add to Portfolio (opens a new window)