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