20世纪是现代模态逻辑研究史上的高潮期,自“可能世界语义学”创建始,现代模态逻辑研究使得哲学经历了深刻的变革。其中,围绕可能世界语义学背后的哲学直观在逻辑哲学领域引发了持续时间久且规模极大的分析和讨论。它包括可能世界的本体论问题以及跨界同一和跨界识别问题。可能世界的本体论包括模态实在论、温和实在论和语言替代论。其中语言替代论又称“工具论”,认为可能世界只是一种逻辑-语言的构造物,没有独立的本体论地位,所以相比较而言,前两种理论在哲学上具有更大的研究价值。又因为“跨界同一”“跨界识别”之“界”指谓可能世界,所以分析跨界同一和跨界识别的实质要以可能世界的本体论为基础。模态实在论者把可能世界看作与现实世界类似的实体,其仿本理论也在本质上不接受个体跨界存在,因而不能合理地分析跨界同一、跨界识别的实质。温和实在论者认为可能世界是世界可能会采取的方式。按照温和实在论的解释,可以通过设想现实个体的非真实属性,建立一个可能世界,个体跨界存在因而符合常识和直观。然而,两者之间的分歧使得学界对可能世界的定义以及跨界同一、跨界识别的实质的认识都无法达成一致。统一认识问题的追求使得论文得出如下结论:如果在“世界”意义上对可能世界作出温和实在论的解释,不仅可以统一解释可能世界而且可以正确分析跨界同一和跨界识别的实质。总之,对可能世界的新型定义及对跨界同一和跨界识别实质的分析可以进一步深化可能世界的本体论意味并促使学界对上述问题形成公共意识。