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: Placement by assessment into MATH 099, or completion of MATH 098 with a C or better.
Previously Phil& 106 - Introduction to Logic
After completing this class, students should be able to:
- Recognize and use basic philosophic vocabualry relevant to critical thinking (e.g., "valid," "invalid," "sound," etc) in in-class and take-home essays, short answer test, or matching quizzes.
- Use basic Venn Diagrams or Aristotelian Squares of Opposition to determine whether a deductive argument is valid or invalid.
- Translate statements from English to the language of sentential logic using the operators of sentential logic.
- Use truth tables to show that single statements are tautologies, self-contradictions, or contingencies: that pairs of statements are consistent or inconsistent, and logically equivalent, contradictory, or neither; and that deductive arguments are valid or invalid.
- Use natural deduction in sentential logic with rules of inference and replacement to derive the conclusions of valid arguments (i.e., do natural deduction proofs in sentential logic).
- Select appropriate proof strategies when completing natural deduction proofs (e.g., the stategies of Direct Proof, Conditional Proof, and Indirect Proof).
- Translate statements from English to the language of sentential logic using the operators of predicate logic.
- Use natural deduction in predicate logic with its quantifier rules, single quantifiers, multiple quantifiers, and relational predicates to derive the conclusions of valid arguments (i.e., do natural deduction proofs in predicate logic).