PHIL-2303 Introduction to Formal Logic

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.