"模态逻辑"的搜尋報告

如果道义逻辑完全照搬真势模态逻辑的系统框架，那建立这种系统就是没有多大意义的。好在道义逻辑不可能照搬后者的模式。因为表示行动的道义语句存在着特殊的法则，它排除了体现在真势模态逻辑中的排中律和不矛盾律。这个法则，冯赖特称之为道义偶然性 ...

后来他终于提出“严格蕴涵”系统，其中用到“必然”与“可能”两个模态词，并以此构造出“严格蕴涵”演算体系，开创了“现代模态逻辑”。刘易斯不仅完善了罗素的形式系统，构造出严格蕴涵系统，而且还使莱布尼茨关于可能世界的理论得到复兴。这一阶段被认为是模态...

模态逻辑到底要不要拒斥本质主义？我认为，就逻辑学的发展来说，逻辑学的发展是多层面的，就经典逻辑或外延逻辑而言，它们的研究方法或研究特点决定了它们对概念（词项）、命题的研究只考虑其外延或真值，而不考虑研究对象的内涵，正因为如此，在经典逻辑 ...

《模态逻辑导论》 作者:周北海著 页数:466 出版社:北京大学出版社 出版日期:1997 简介:北京市社会科学理论著作出版基金资助出版 主题词:模态逻辑(学科: 概论).模态逻辑导论 周北海.

从哲学逻辑的发展历程来看，最早被冠之以“哲学逻辑”的是模态逻辑，因为模态逻辑是在经典逻辑基础上研究必然性与可能性的逻辑，而必然性与可能性都是一些传统的哲学概念，当初正是为了强调模态逻辑是关于哲学的而不像数学逻辑是关于数学的而将模态逻辑称为 ...