可 能 世 界 语 义 学 研 究综 述精品文档收集于网络，如有侵权请联系管理员删除可能世界语义学研究综述摘要： 可能世界语义学是诞生于20 世纪 50 年代的一种内涵语义学，它产生的原因在于模态逻辑的发展遇到了一定的问题，迫切需要这样一种内涵语义学。而正是在这种情况下，可能世界语义学的发展，很切合实际的弥补了经典语义学的一些弊端和缺陷。为模态逻辑的研究提供了十分适用的语义工具。但是，随着模态逻辑的进一步发展，可能世界语义学的运用也出现了一些问题。关键词： 模态逻辑；可能世界语义学；发展；问题中图分类号： H313 文献标识码： A 文章编号： 1006-4311（2015）06-0322-02 0 引言模态逻辑自诞生之日发展到现在，已成为一个非常重要的逻辑分支。“可能世界”在模态逻辑中，有着非常重要的位置，它是模态逻辑的形式语义学，可能语义学的出现，使得模态逻辑的发展迎来了一个不同的时期。基于此，在学习模态逻辑的同时，有必要了解可能世界语义学的基本发展历程。1 可能世界的几种含义“可能世界”是模态逻辑里的一个概念，从直观上来说，是指可能状态的组合。这一概念最早由莱布尼茨提出，基精品文档收集于网络，如有侵权请联系管理员删除于此，他阐发了一些重要思想。在对反事实条件句的专题研究中，刘易斯认为，“‘事物的可能存在方式’是实体的存在。”；在《命名与必然性》一书中，克里普克认为可能世界就是“现实世界的各种可能状态”，即“现实世界的非真实情形”。从逻辑学的角度来看，卡尔纳普认为可能世界是“解决命题真值的句子集，或描状描述集”，即使一命题具有真值的可能状况的组合。现代逻辑语义学认为，可能世界是使得一命题具有真值的对象或状态，也就是在原本体论意义上加个逻辑真值。2 可能世界语义学的内涵20 世纪 50―60 年代，鉴于模态逻辑发展的迫切需要，一批逻辑学家例如坎格尔（B. Kanger ）、蒙太古（ R. Montague）、普赖尔（ A. N. Prior ）、欣迪卡（ J. Hintikka ）和克里普克（ S. Kripke ）等人从莱布尼茨的上述思想出发，发展了一种模态语义理论即可能世界语义学，这就把模态逻辑的发展推向了一个新的高度。它的发展，对于经典的语义学产生了如下几个方面的影响。第一，它使命题的真假相对化。第二，它使必然性、可能性概念相对化。第三，它使可能世界之间具有一定的关系。3 可能世界语义学理论的发展50 年代初，模态命题逻辑的代数语义学首先产生...
