PHIL& 120 Symbolic Logic • 5 Cr.
Introduction to modern symbolic logic emphasizing sentence logic with translation and proofs and quantificational logic with translation and proofs. Prerequisite: MATH 078 or MATH 098 with a C or better, or placement into MATH 099. Previously PHIL& 106. Either PHIL& 106 or PHIL& 120 may be taken for credit, but not both.
Previously Phil& 106 - Introduction to Logic
After completing this class, students should be able to:
- 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.