INTRODUCTION TO FORMAL LOGIC (PHIL 2303)
Term: 2020-2021 Spring
The purpose of the course is to introduce the student symbolic logic, including syllogisms, propositional and predicate logic, and logical proofs in a system of rules. 48 lecture hours.