PHIL-P 505 LOGICAL THEORY I (3 CR.)
A survey of modern logic consisting of syntactic and semantic (proof-theoretic and model-theoretic) treatments of the propositional and predicate calculi.
1 classes found
Fall 2024
Component | Credits | Class | Status | Time | Day | Facility | Instructor |
---|---|---|---|---|---|---|---|
LEC | 3 | 2931 | Open | 11:30 a.m.–12:45 p.m. | TR | BH 142 | Ebbs G |
Regular Academic Session / In Person
LEC 2931: Total Seats: 15 / Available: 8 / Waitlisted: 0
Lecture (LEC)
- Above class open to graduates only
This course presents the central concepts and methods of first-order logic, including truth-functional logic, first-order monadic and polyadic quantificational logic, identity, and descriptions, as well as some of the central results in the meta-theory of first-order logic, especially the soundness and completeness of first-order polyadic quantificational logic and the Löwenheim-Skolem theorem. The problem sets provide practice in a wide range of proof techniques and include many exercises that provide you with practice in paraphrasing English sentences by regimented English sentences to which the proof techniques directly apply. Prerequisites: graduate standing and P250 or an equivalent background in formal logic.