可能世界理论一直是哲学逻辑研究的热门话题,又是语义学发展的重要支脉之一。可能世界语义学从形式结构方面研究这一理论,但它又不只是哲学逻辑的惟一语义。可能世界语义理论的运用,应该与语言表达中存在着大量的虚拟句,或曰假设条件句密不可分。当逻辑借助于语言载体时,逻辑不得不依赖于语言以及语言的表达方式。人们面对复杂的现实世界,会发现人类可以把握某些现实世界的东西,但现实世界也有人类不能把握的东西,外在于我们的世界为思维中的假设提供了应用的可能。当今学术界对可能世界理论的应用价值素有争议,或认为“可能世界”在逻辑学领域内的应用范围极其有限,不能对它做过多的引申;或认为“可能世界”在逻辑学领域的应用是广泛的。其实,在自然语言逻辑方面,“可能世界”扩大了空间的范围,相应为词项与语句的内涵和外延找到合适的存在空间。人们想象出来的词项和语句都能根据其内涵,在相关的可能世界中找到它的外延,从而判定它的真假。除了自然语言逻辑之外,其他的应用逻辑分支,如侦查逻辑也能应用“可能世界”概念。侦查逻辑是一门应用逻辑学科,侦查假设的逻辑基础是什么?可能世界理论能够成为侦查假设理论的逻辑基础吗?鉴此,本文试图通过考察莱布尼茨以来的可能世界理论,把逻辑学中的可能世界理论与侦查假设联系起来,以期从理论上为侦查假设探寻其逻辑基础。莱布尼茨的可能世界理论是建立在矛盾原则和充足理由原则之上。将这两个原则与侦查假设相联系,矛盾律要求侦查假设不能出现矛盾,即不能与提出假设、验证假设相矛盾;充足理由律要求提出侦查假设必须具有充分的理由与依据,由所知的结果推出未知的原因不能凭空捏造,必须建立在充分理由的基础上。侦查假设的逻辑形式可概括为必然性推理与或然性推理,而运用可能世界理论确定侦查假设的必然性则是本文追求的目标。本文正文共分为三个部分:第一部分“什么是可能世界理论”。首先,分别考察了莱布尼茨、克里普克以及大卫·刘易斯有关可能世界理论的不同观点,对可能世界的特征做一个概括;然后从“可能世界”的内涵、使用领域及应用价值三个方面入手,对“可能世界”这一概念进行语义分析,力图清晰表达关于“可能世界”的定义。第二部分“可能世界与现实生活”。分析了现实生活中可能世界理论的价值,即论述可能世界理论对自然语言逻辑具有推动其发展的作用与可能世界理论在生活中对决策的指导作用。第三部分“可能世界理论与侦查逻辑”。主要探讨了可能世界理论在侦查假设以及侦查实验中的运用,并尝试性创建了侦查假设的逻辑形式,利用可能世界理论的操作方式分析经典案例。与此同时,还探讨了“模拟”这种可能世界的操作方法及其对侦查实验的意义。