PHIL 2303 - Introduction to Formal Logic

3 Credits (3 hrs. lec.) 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. (3801015212) Prerequisite: MATH 0310; College Level Readiness in Reading AND Writing
Course Outcomes
1 - Determine the logical structure of English arguments by identifying premises and conclusions.
2 - Translate English statements into propositional and predicate notation.
3 - Validate argument forms using the methods of truth tables and a system of propositional logic.
4 - Understand basic concepts of formal logic including truth functionality, validity, soundness, tautology, contradiction, counterexample, and equivalence.