Apr 14, 2024  
2017-18 Catalog 
2017-18 Catalog [ARCHIVED CATALOG]

Add to Favorites (opens a new window)

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

Add to Favorites (opens a new window)