Home » Course Layouts » Free Course Layout Udemy
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.
0
1
English
English [CC]
FREE
- Learn basic syntax that can apply to any language.
- Learn what is a programming language and the basic concepts for beginners.
- Understand what is Javascript in it's truest form.
- Know the basic syntax of Javascript.
- Know some hidden quirks in Javascript.
Description
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 content
- 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
Instructor
Massachusetts Institute of Technology
5
5
1
1916
1520
