Modal logic is the logic of necessity and possibility and other such notions. In recent times, the framework of possible worlds has provided a valuable tool for investigating the formal properties of these notions. This course provides an introduction to the basic concepts, methods, and results of modal logic, with an emphasis on its application to such other fields as philosophy, linguistics, and computer science.
Philosophy (Undergraduate)
4 credits – 15 Weeks
For most students joining IMA in Fall 2022 and beyond, there is a new program structure that affects the categorization of courses on this site:
Any class in any IMA major elective category (ie "Art & Design") refers to the IMA program structure previous to those entering in Fall 2022. If you are in the class of 2026 (most entering Fall 2022 or later), any course in an IMA elective category are generic IMA electives in the new structure.
Here is a link to the IMA program structure (class of 2026 and beyond):
https://itp.nyu.edu/ima/curriculum/ima-program-structure-class-of-2026-and-beyond/