随着现代逻辑技术进步,学者建立了不同的模态逻辑系统,但这些系统因长期缺乏坚实语义基础而广受批评。虽然以“可及关系”为核心的可能世界语义学理论有助于回应上述批评,但却面临无法回避的个体跨界同一性问题:个体跨界是否同一和如何识别问题。有鉴于此,本文在阐述个体跨界同一性问题及澄清两种不同跨界个体关系基础上,深入分析跨界同一性问题存在的疑难,并给出解决跨界同一性问题可行的本质主义方案。具体来说,有以下几个方面:第一章在梳理模态逻辑与可能世界语义学技术理论的历时性发展脉络基础上,分析可能世界语义学解释从物模态和跨界个体同一性的相关性。第二章介绍模态实在论与温和模态实在论本体论观点及其跨界个体关系的理论。模态实在论主张可能世界是一种具体实在,不同世界对应体是相似关系。温和实在论认为可能世界只是世界的可能状态,不存在真正意义上的界限,就此而言,跨界个体是同一关系。第三章剖析跨界同一性问题存在的疑难。首先,解释“齐硕姆悖论”所揭示跨界个体面临的寻找个体本质,或承认“空同一”的二难困境;其次,介绍马库斯、福布斯和费因等哲学家通过量词替换解释和消解从物模态的技术工作,试图从根源上解决跨界同一性问题。第四章探究解决跨界同一性问题可行的本质主义方案。首先,通过区分专名与摹状词以保证个体同一性来回应蒯因的挑战,在此基础上澄清传统本质主义和模态本质主义之不同;其次,基于可能世界理论框架,通过比较模态实在论与温和实在论的可能世界本体论和个体本质观点异同,辨明合理的个体本质方案标准;再次,在分析可能世界哲学问题基础上,遵循本体经济、符合直观与为模态逻辑提供合理语义解释三条原则,主张一种改良的温和实在论观点,并提出跨界个体的同一性标准——关系本质。