2014-2015 Academic Catalog 
    
    May 25, 2024  
2014-2015 Academic Catalog [ARCHIVED CATALOG]

Add to Personal Catalog (opens a new window)

PHIL& 120 - Symbolic Logic



5.0 Credits
An introduction to modern symbolic logic emphasizing sentence logic with translation and proofs and quantificational logic with translation and proofs. Prerequisite: Completion of MATH 090 with a grade of 2.0 or higher.

Course-level Learning Objectives (CLOs)
Upon successful completion of this course, students will be able to:

  1. Apply the basic vocabulary of logical theory: argument, deduction, induction, validity, soundness, consistency, etc. [REASON]
  2. Reduce information to symbolic form by translating statements and arguments from English into the formal logical languages of both truth-functional and predicate logic. [REASON]
  3. Apply truth tables to test single statements for logical status (tautology, self-contradiction, contingency), to test pairs of statements for the logical relations (equivalence, contradiction, consistency), and to test arguments for validity. [REASON]
  4. Apply natural deduction in propositional logic, with rules of implication and replacement rules, to prove arguments valid. [REASON]
  5. Apply natural deduction in predicate logic, with rules of inference and replacement rules, to prove arguments valid, including arguments containing relational predicates and multiple quantifiers. [REASON]
  6. Select appropriate proof strategies when completing natural deduction proofs (Direct Proof, Conditional Proof and Indirect Proof). [REASON]



Add to Personal Catalog (opens a new window)