图 书 馆
模态逻辑Modal Logic |
|
| 课程网址: | https://ocw.mit.edu/courses/24-244-modal-logic-spring-2015/ |
| 主讲教师: | Prof. Stephen Yablo |
| 开课单位: | 麻省理工学院 |
| 开课时间: | 2015-01-01 |
| 课程语种: | 英语 |
| 中文简介: |  |
| 课程简介: | 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. 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.Show less |
| 关 键 词: | 模态逻辑; 主要系统; 技术方法 |
| 课程来源: | 麻省理工学院公开课 |
| 数据采集: | 2024-02-08：chenjy |
| 最后编审: | 2024-02-08：chenjy |
| 阅读次数: | 12 |