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:

Apply the basic vocabulary of logical theory: argument, deduction, induction, validity, soundness, consistency, etc. [REASON]
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]
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]
Apply natural deduction in propositional logic, with rules of implication and replacement rules, to prove arguments valid. [REASON]
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]
Select appropriate proof strategies when completing natural deduction proofs (Direct Proof, Conditional Proof and Indirect Proof). [REASON]