1
Modal logic is the logic of necessity and possibility, and by extension of analogously paired notions like validity and consistency, obligation and permission, the known and the not-ruled-out.
FREE
This course includes
Hours of videos
444 years, 4 months
Units & Quizzes
16
Unlimited Lifetime access
Access on mobile app
Certificate of Completion
This a first course in the area. A solid background in first-order logic is essential. Topics to be covered include (some or all of) the main systems of propositional modal logic, Kripkean “possible world” semantics, strict implication, contingent identity, intensional objects, counterpart theory, the logic of actuality, and deontic and / or epistemic logic. The emphasis will be more on technical methods and results than philosophical applications.
Course Currilcum
- Modal Logic—Preliminaries Unlimited
- Modal Syntax and Semantics Unlimited
- Basic Modal Systems Unlimited
- Adequacy and Extensions Unlimited
- Stronger Systems Unlimited
- Testing: Decidable & Undecidable Systems Unlimited
- Modal Metalogic: Completeness Unlimited
- Counterfactuals, Neighborhood Semantics, Probability, Predicative Necessity, etc. Unlimited
- Modal Predicate Logic Unlimited
- Modal Predicate Metalogic Unlimited
- Shifting Domains Unlimited
- Existence and Identity Unlimited
- Identity and Descriptions Unlimited
- Contingent Identity Unlimited
- Intensional Objects Unlimited
- Sets, Actuality, Counterparts Unlimited
