A brief review of sentential logic followed by an intensive study of predicate logic with identity. Topics include translation, semantics, decision procedures, natural deduction systems, mathematical induction. Other topics include: theories of definite descriptions, elementary modal logic, formal axiomatic systems. Prerequisite: PHIL 120 or consent of Department.
| Section | Capacity | Class times | Login to view Instructor(s) and Location |
|---|---|---|---|
| 40 |
2027-01-04 - 2027-04-09 (TR)
11:00 - 12:20
|
|