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.
General Education Requirement(s): Satisfies the university general education requirement in the knowledge application integration area. Prerequisite for knowledge application integration: completion of the general education requirement in the formal reasoning foundation area.
Prerequisite(s): PHL 1000 or PHL 1070 or CSI 1300 or MTH 0662 or equivalent