PHIL 2303 - INTRODUCTION TO FORMAL LOGIC
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.
Upon completion, students will be able to:
Determine the logical structure of English arguments by identifying premises and conclusions.
Understand basic concepts in logic, such as truth functionality, validity, soundness, counter-examples, tautology, self-contradiction, logical equivalence, logical contradictoriness, and logical consistence.
Translate English statements into propositional and/or predicate notation.
Determine the validity of symbolic propositional or predicate arguments using such methods as direct/indirect truth tables, natural deduction, and/or the finite universe method.
Grade Basis: L
Credit Hours: 3
Lecture hours: 48.0
Restrictions:
Must be TSI Complete for Reading