Course Title
Advanced Symbolic Logic
Course Description
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
Course Attributes
Gen Ed Knowledge Applications (KA)
Equivalent Courses
PHL370
College/School
College of Arts and Sciences