PHIL 2303 - Introduction to Logic

3 credit hours. 3 lecture hours. 0 lab hours.

R W
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.
Measurable Learning Outcomes:
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.