“模态”一词是英文“modal”的音译,原意为“样式的”,“情态的”。模态逻辑是研究包 含模态词“必然”、“可能”的模态命题及其推理的科学。模态逻辑历史很悠久,早在两千多年 前,亚里士多德就对模态命题做过许多讨论,研究了模态词和模态三段论,但在很长一段时间 里模态逻辑的价值被忽略了,因而模态逻辑基本上没有得到发展。直到本世纪初,美国逻辑学 家 Lewis用数理逻辑的方法和观点对模态逻辑作了系统的研究,这才使模态逻辑的发展进入了 一个崭新的时期

第四章 模态逻辑 第五章 归纳逻辑 第六章 逻辑规律 第七章 论证

第一章 引 论 第二章 命题逻辑 第三章 词项逻辑 第四章 模态逻辑 第五章 归纳逻辑 第六章 逻辑规律 第七章 论证

第一节 模态逻辑概述 第二节 模态命题及其推理 第三节 道义命题及其推理

一、模态命题及其种类 二、模态命题的真假与可能世界的理论 三、基本模态命题之间的对当关系 四、道义命题及其种类 五、模态命题推理、道义命题推理在法律中的应用

通过对当前逻辑全知问题的认定过程进行仔细的分析和严格的逻辑论证后发现,这一结论的得出主要来源于人们关于模态逻辑用于agent研究的两点模糊认识,在此基础上进一步指出,如果承认逻辑推理的过程意义,并且不用意识系统的特征来约束逻辑系统,那么就不会有真正意义上的逻辑全知问题存在,该结论无疑对当前基于模态逻辑的agent形式化研究具有十分重要的意义

一、什么是模态命题？ 模态命题是反映事物可能性或必然性的命题。 例1：共产主义必然胜利。 例2：明天可能不下雨。 这些都是模态命题。前者反映了共产主义胜利具有必然性。后者反映了明天不下雨具有可能性

《逻辑学》课程教学课件（PPT讲稿）第十二章 模态逻辑

上海交通大学：《逻辑学导论》课程教学资源（PPT课件）第七章 模态命题及其推理、第八章 归纳推理和类比推理

第一章绪论 第二章命题的逻辑分析 第三章命题推理的形式 第四章真值表方法与命题演算 第五章传统谓词逻辑 第六章谓词演算 第七章模态逻辑 第八章归纳逻辑 第九章假说与侦查假设 第十章论证与论辩 第十一章谬误 第十二章逻辑基本规律