本文通过研究可能世界语义学中的两种主要观点极端实在论和温和实在论,旨在对可能世界本体论提供新的解释,进而说明模态逻辑本体论问题。现代逻辑研究中,可能世界语义学不仅揭示了模态逻辑公理系统的直观背景,而且提供了强有力的语义工具,使模态逻辑的研究进入了一个崭新的阶段。“可能世界”被做为可能世界语义学的基本概念,用来说明可能性、必然性等模态概念,以及模态推理的有效性。但在可能世界语义学的研究中,遭遇对模态逻辑本体论地位上的很多诘难。文章首先是对极端实在论和温和实在论两种观点的论述,接着又对二者进行对比,从可能世界概念的起源、可能世界的定义、可能世界个体的跨界同一性和跨界识别问题等不同角度阐释了两种观点对模态逻辑本体论的认识,最后提出新温和实在论的观点,并进行了纲要性论述。极端实在论认为可能世界与现实世界都是客观实在的,可能世界之间由于时空孤立性,所以跨界个体不存在,但是可以存在的是事物的仿本。温和实在论则认为可能世界是整个世界的可能状态,可能世界是被人们所描述或规定的,并采用严格指示词理论和因果命名理论来解决跨界同一性和识别问题,指出专名是联系不同可能世界的通行证。两种观点都存在着这样或那样的痼疾,从极端实在论的观点可以得出可能世界和现实世界一样都是客观存在的实体引起哲学混乱;而温和实在论的本质主义特性恰是反本质主义所坚决反对的,既然跨界个体都具有相同的本质,那么可能世界还有什么存在的必要?新温和实在论的提出是为了更好的解决可能世界本体论问题,这种观点认为:可能世界是初始的,可以理解为所有事物共存的方式,是一种客观存在;跨世界识别问题是个体跨世界存在的认识论基础,跨世界识别的标准就是个体本质,解决跨世界识别问题也要最终诉求建构可行的本质主义方案。新温和实在论的提出是势在必行的,这样必然升华了两种理论观点,基本厘清了模态逻辑本体论问题。模态逻辑本体论问题的出路在于建构新的可行的本质主义方案。