PHIL-P 251 INTERMEDIATE SYMBOLIC LOGIC (3 CR.)
Identity, definite descriptions, properties of formal theories, elementary set theory.
1 classes found
Spring 2024
Component | Credits | Class | Status | Time | Day | Facility | Instructor |
---|---|---|---|---|---|---|---|
LEC | 3 | 11402 | Open | 11:30 a.m.–12:45 p.m. | TR | BH 144 | Berry S |
Regular Academic Session / In Person
LEC 11402: Total Seats: 35 / Available: 25 / Waitlisted: 0
Lecture (LEC)
- IUB GenEd N&M credit
- COLL (CASE) N&M Breadth of Inq
- IUB GenEd N&M credit
- COLL (CASE) N&M Breadth of Inquiry credit
This course will build on the treatment of classical first-order logic in P250, by exploring how to formalize statements involving identity and definite descriptions. We will also study some properties of formal theories and some elementary set theory. Other topics such as modal logic (an extension of classical logic that captures reasoning about possibility and necessity) and paraconsistent logic (a variant on classical logic that allows true contradictions!) may be covered depending on time and student interest. This course presupposes P250 or the equivalent. It will be relevant and beneficial to students who are interested in the scope and limits of formal systems in general, as well as in metaphysics, formal semantics, philosophical logic, set theory, and the foundations of programming languages.