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
MATH 087 with a minimum grade of 2.0. Corequisite

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.
Reduce information to symbolic form by translating statements and arguments from English into the formal logical languages of both truth-functional and predicate logic.
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.
Apply natural deduction in propositional logic, with rules of implication and replacement rules, to prove arguments valid.
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.
Select appropriate proof strategies when completing natural deduction proofs (Direct Proof, Conditional Proof and Indirect Proof).