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