Select a Catalog 2020-2021 Undergraduate Catalog 2019-2020 Academic Catalog [ARCHIVED CATALOG] 2018-2019 Academic Catalog [ARCHIVED CATALOG] 2017-2018 Academic Catalog [ARCHIVED CATALOG] 2015-2016 Academic Catalog [ARCHIVED CATALOG] 2014-2015 Academic Catalog [ARCHIVED CATALOG] 2013-2014 Catalog [ARCHIVED CATALOG] 2012-2013 Catalog [ARCHIVED CATALOG] 2011-2012 Catalog [ARCHIVED CATALOG] Policy Management 2016-2017 Academic Catalog [ARCHIVED CATALOG] Edmonds College Glossary Student Handbook
Nov 23, 2020
 HELP 2019-2020 Academic Catalog [ARCHIVED CATALOG] Print-Friendly Page (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 MATH 087 with a minimum grade of 2.0.
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.
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.
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.
4. Apply natural deduction in propositional logic, with rules of implication and replacement rules, to prove arguments valid.
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.
6. Select appropriate proof strategies when completing natural deduction proofs (Direct Proof, Conditional Proof and Indirect Proof).