Breadcrumb Home PHIL Philosophy PHIL-2303 PHIL-2303: Introduction to Formal Logic Download Catalog PDF Download Page PDF Program PHIL Philosophy Lecture Hours 3 Lab Hours 0 Credit Hours 3 Course Type T The purpose of the course is to introduce the student to symbolic logic, including syllogisms, propositional and predicate logic, and logical proofs in a system of rules.