可能世界语义学研究综述

摘要

可能世界语义学是诞生于20世纪50年代的一种内涵语义学，它产生的原因在于模态逻辑的发展遇到了一定的问题，迫切需要这样一种内涵语义学。而正是在这种情况下，可能世界语义学的发展，很切合实际的弥补了经典语义学的一些弊端和缺陷。为模态逻辑的研究提供了十分适用的语义工具。但是，随着模态逻辑的进一步发展，可能世界语义学的运用也出现了一些问题。%Possible-world semantics is a kind of intensional semantics born in the 1950s. The causes of it lies in the development problems of modal logic, which urgently needs such a intensional semantics. And it is in this case, the development of possible-world semantics made up for some shortcomings and deficiencies of the classical semantics. It provides very applicable semantic tools for the research of modal logic. But with the further development of modal logic, the use of possible-world semantics also appeared some problems.