PHIL& 120 - Symbolic Logic

5 credits

Prerequisites
Completion of MATH 097.

Introduces the principals of deductive inference with a focus on proofs in both sentence logic and predicate logic with quantifiers. Includes a study of semantic methods for testing validity. Satisfies humanities distribution area G requirement, or specified elective for the AA degree. 5 lecture hours.

Theory Hours
5 theory hours.

AA General Elective
Satisfies humanities distribution area G requirement.

AA Specified Elective
Satisfies specified elective for the AA degree.

Course Outcomes

Translate natural-language arguments into logical notation
Apply logical terminology (validity, implication, equivalence, etc.)
Evaluate arguments for validity and other logical properties using a variety of techniques
Prove validity using natural deduction (proofs)