INTRODUCTION TO FORMAL LOGIC (PHIL 2303)
Term: 2025-2026 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.