PHIL 204 Introduction to Symbolic Logic
Symbolic logic uses formal methods in order to study the properties of arguments in a precise and rigorous manner. In this course, we learn about both the propositional calculus, which deals with the logical relations that hold among whole propositions, and the predicate calculus, a system which allows more precise analysis of linguistic structure. The course will focus on both translation of natural languages into symbolic form, and proofs using natural deduction.
4 Undergraduate credits
Effective August 24, 2002 to present
Meets graduation requirements for
Learning outcomes
General
- Evaluate arguments given in a natural language
- Translate natural language into the propositional calculus
- Translate natural language into the predicate calculus
- Construct proofs in a system of natural deduction
- Transfer these reasoning skills to life as a student and citizen
Summer 2021
| Section | Title | Instructor | ||
|---|---|---|---|---|
| 01 | Introduction to Symbolic Logic | Matthews, Mark | Books | Course details |
Fall 2021
| Section | Title | Instructor | ||
|---|---|---|---|---|
| 01 | Introduction to Symbolic Logic | Matthews, Mark | Books | Course details |
Spring 2022
| Section | Title | Instructor | ||
|---|---|---|---|---|
| 50 | Introduction to Symbolic Logic | Matthews, Mark | Books | Course details |