PHILÂ 201. Symbolic Logic. 1 Credit.
Offered Alternating Spring Semester; Lecture hours:3
This course introduces students to formal / symbolic approaches to the study of logical reasoning including propositional, first-order predicate logic, and formal inductive logic. The course will also address philosophical questions concerning logic and the foundations of mathematics. PHIL 103 is recommended but optional preparation for this course.