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 | Dates + Times | Instructor(s) |
---|---|---|---|
LECTURE A1
(33186) |
40 |
2022-09-01 - 2022-12-08
MWF 14:00 - 14:50 (T 1-096)
|
Primary Instructor: Katalin Bimbo
|