引言
模态逻辑自诞生之日发展到现在，已成为一个非常重要的逻辑分支。“可能世界”在模态逻辑中，有着非常重要的位置，它是模态逻辑的形式语义学，可能语义学的出现，使得模态逻辑的发展迎来了一个不同的时期。基于此，在学习模态逻辑的同时，有必要了解可能世界语义学的基本发展历程。
1 可能世界的几种含义。。
“可能世界”是模态逻辑里的一个概念，从直观上来说，是指可能状态的组合。这一概念最早由莱布尼茨提出，基于此，他阐发了一些重要思想。在对反事实条件句的专题研究中，刘易斯认为，“‘事物的可能存在方式’是实体的存在。”；在《命名与必然性》一书中，克里普克认为可能世界就是“现实世界的各种可能状态”，即“现实世界的非真实情形”。从逻辑学的角度来看，卡尔纳普认为可能世界是“解决命题真值的句子集，或描状描述集”，即使一命题具有真值的可能状况的组合。现代逻辑语义学认为，可能世界是使得一命题具有真值的对象或状态，也就是在原本体论意义上加个逻辑真值。
2 可能世界语义学的内涵
20 世纪 50—60 年代，鉴于模态逻辑发展的迫切需要，一批逻辑学家例如坎格尔（B. Kanger）、蒙太古（R.Montague）、普赖尔（A. N. Prior）、欣迪卡（J. Hintikka）和克里普克（S. Kripke）等人从莱布尼茨的上述思想出发，发展了一种模态语义理论即可能世界语义学，这就把模态逻辑的发展推向了一个新的高度。它的发展，对于经典的语义学产生了如下几个方面的影响。第一，它使命题的真假相对化。第二，它使必然性、可能性概念相对化。第三，它使可能世界之间具有一定的关系。
3 可能世界语义学理论的发展
50 年代初，模态命题逻辑的代数语义学首先产生和发展起来。稍后，由美国逻辑学家拉索瓦和西柯尔斯基将代数语义学推广到模态谓词逻辑。50 年代中后期到 60 年代初期，以美国逻辑学家克里普克为代表建立的可能世界语义学得到迅速发展，取得一批重要成果。60 年代中期，美国逻辑学家莱蒙在命题逻辑的层次上建立了上述两种语义学的转换关系，并提出了在模态谓词逻辑领域里建立两种语义学转换关系的设想。但该设想因莱蒙逝世未能实现，国外模态逻辑学界也未有人持续这一工作。
克里普克所表述的 MPL 的语义学从模型结构<G，K，R>入手，此处 K 是一世界集，以现实世界 G 为一元素，R则是一介于世界之间的关系。这种语义学澄清了叠置模态问题。多年来人们所构造的多种多样模态命题逻辑的形式系统，根据这种语义学，可以看成是给 R 加上了补充限制。这只是一种很一般的模型论语义学。
中国科技大学研究生院高恒珊在 60 年代初开始研究模态逻辑，多年来取得许多成果。他在《科学通报》和《数学学报》发表的四篇论文：《量词模态系统的代数语义与Kripke 语义———关于 S5* 情形》、《量词模态逻辑的代数语义学（Ⅰ）———关于 S5* 情形》、《量词模态逻辑的代数语义学（Ⅱ）———关于含 Barcan 公式的正规模态逻辑系统的情形》、《量词模态逻辑的代数语义学（Ⅲ）———关于不含Barcan 公式的正规模态逻辑系统的情形》———这四篇论文是一个系列研究，其结果是在模态谓词逻辑的领域里建立了 Kripke 语义到代数语义的转化，完成了莱蒙的设想。
北京大学的周北海，在 1994 年的论文《嫁接框架与SI-完全性》 和 Gra fted frames and S1-Completeness, TheJournal of Symbolic Logic（Volume 64 Number3 Sept. 1999）中，他第一次使用了这种“嫁接”模式，在此基础上，构建了一套新型模态逻辑语义框架就是通常所说的“嫁接框架”。
4 情境语义学与可能世界理论
情境语义学（Situation Semantics）创立于上世纪 80 年代，其创始人是美国数理逻辑学家、人工智能学家巴威斯（Jon Barwise）和逻辑学家、语言学家佩里（John Perry）。从他们创立情景语义学的动机来看，主要是为了解决以往逻辑语义学在处理自然语言的丰富意义方面的缺陷和不足，因此，上述学者创立了情景语义学，通过这种模式，以更加合理的解释自然语言在不同情境下的丰富涵义。
情境语义学产生的最根本原因与逻辑语义学相关。巴威斯认为，“可能世界方案对感知语义学（the semantics ofperception）的处理根本就是错误的”。从人们在日常沟通交流过程中，使用的基本语句来看，它也只不过是触及了世界的一小部分，在这种情况下，要想判断其真假，只需要通过参考世界的部分片段即可。在这样的形势下，情境语义学应运而生，并且在后来的发展过程中，逐渐开始发挥重要作用。
情境语义学是一种新型语义理论，虽然它在意义和日常推理的哲学解释上获得极大成功，但在形式技术上还不够成熟。模态逻辑的形式技术方面已经发展得相当成熟，但它的可能世界语义学在哲学解释上却存在诸多困难。可以说，对于哲学上的解释，不是一朝一夕能够完成的。
5 可能世界语义学理论存在的问题
从现阶段来看，“可能世界”这个基本语义学概念仍然不够清晰明确，在今后的发展过程中，需要学者们继续完善。可能世界语义学同当前的社会价值观比较接近，但是也并没有对“可及”（accessible）这一极其重要的概念给出明确的定义，此外，值得注意的一点就是，模态逻辑的核心概念“可能”和“必然”解释的不够清晰合理，在今后的理论发展中，应该注意二者的本质区别，及其各自的明确内涵。
6 结束语
通过上面的分析论述可知，可能世界语义学的发展，经历了不同的时期和阶段，在其刚出现时，由于其相对于经典传统语义学存在的优势，使得应用程度不断提高，但是随着语言文化和语义背景的变化和发展，这种世界语义学的使用，也开始出现一些弊端，不能够明确清晰合理地解释不同情境下的自然语言的丰富涵义，这就使得人们在运用过程中十分不方便，在此种情况下，情境语义学开始出现，在一定程度上弥补上世界语义学的些许不足。
参考文献：
[1]陈波.逻辑哲学[M].北京大学出版社，2005，8.
[2]宋文坚.逻辑学的传入与研究[M].福建人民出版社，2005.
[3]朱建平.确证逻辑：一种基于证据的认知逻辑[J].深圳大学学报（人文社会科学版），2014（03）.
[4]崔治忠.“中西文化交流”之意义及其个案研究———以金岳霖为例[J].西安建筑科技大学学报（社会科学版），2013（02）.
[5]王建芳.情境语义学对外延模型论和可能世界语义学的批判[J].晋阳学刊，2005，01.
[6]陈倩.语用学研究新视角：“社会—认知”语用思想[J].桂林师范高等专科学校学报，2014（04）.
[7]崔璨.会话含义与语言选择顺应性下合作原则对礼貌原则的背离[J].求知导刊，2014（05）.
