Course Description

The methods and principles used to distinguish correct from incorrect deductive arguments, with emphasis on contemporary techniques of analysis.

---

Athena Title

Symbolic Logic

---

Equivalent Courses

Not open to students with credit in PHIL 2500, PHIL 2500H

---

Non-Traditional Format

This course will be taught 95% or more online.

---

Semester Course Offered

Offered summer semester every year.

---

Grading System

A - F (Traditional)

---

Student Learning Outcomes

• Students will be able to symbolize arguments in the notion of truth-functional logic.
• Students will be able to evaluate arguments symbolized in truth-functional notation using truth tables.
• Students will be able to use a proof system for sential logic to construct derivations for truth-functionally valid arguments.
• Students will be able to symbolize arguments using the notation of predicate logic.
• Students will be able to formulate counterexamples for invalid arguments symbolized in the notation of predicate logic.
• Students will be able to use a proof system for predicate logic to construct derivations for arguments which are valid in predicate logic.

---

Topical Outline

• Topics may include: I. Symbolization in truth-functional logic II. Truth tables III. Derivations in truth-functional logic IV. Symbolization in predicate logic V. Invalidity in predicate logic VI. Derivations in predicate logic

---

General Education Core

CORE III: Quantitative Reasoning

---