PHIL 2303 - Introduction to Formal Logic

Credit Hours: 3
Contact Hours - Lecture: 3
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. CIP Code: (3801015212)
Prerequisite: MATH 0310; College Level Readiness in Reading AND Writing
Student Learning 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.
Core Category Mathematics [20]