PHIL& 120 - Symbolic Logic

5 CR

Previously PHIL& 106.
Introduction to modern symbolic logic emphasizing sentence logic with translation and proofs and quantificational logic with translation and proofs. Either PHIL& 106 or PHIL& 120 may be taken for credit, but not both.

Prerequisite(s): Placement by assessment into MATH 099, or completion of MATH 098 with a C or better.

Course Outcomes

Recognize and use basic philosophic vocabulary relevant to critical thinking (e.g., “valid,” “invalid,” “sound”).
Translate English statements to the language of sentential logic and predicate logic.
Analyze the logical properties of statements and arguments using truth tables.
Prove the validity of arguments in sentential logic using natural deduction.
Prove the validity of arguments in predicate logic using quantifier rules, single quantifiers, multiple quantifiers, and relational predicates.

Find out when this course is offered