侦查逻辑理论在当代逻辑学、侦查学等学科研究中占有重要的地位，侦查假设理论作为侦查逻辑的重要组成部分，自然成为逻辑学界、侦查学界论述的重点。相关作品虽然不少，但大多数却流于就事论事，对侦查假设理论依据的探讨却是很少见。本文中，笔者尝试在探讨侦查假设理论依据的基础上，构建一个完整的动态意义上的侦查假设的运行模式，以期对该理论的研究有所推动。 本文立足于两个基本观点：(1)必须从狭义和广义两个层面来理解侦查假设。狭义上的侦查假设是对侦查中需要查明问题的推测性解释；广义上的侦查假设则是由假设提出、假设推演、假设验证构成的有机系统。(2)侦查假设与可能世界理论存在着密切关系，即可能世界理论为侦查假设提供了理论依据。在构建侦查假设系统——即假设提出、假设推演，假设验证过程中，应该严格遵循可能世界理论的相关要求，唯有如此，才能构建科学合理的侦查假设系统，从而指导侦查工作顺利进行。 本文除了导言外，还有三个部分。 导言部分介绍了侦查假设对于侦查工作的重要性和国内研究的概况，提出了本文的主要框架。 第一部分：侦查假设的程序模式分析 首先在批判分析学界关于侦查假设定义的基础上，笔者提出应该从狭义与广义两个层面上来理解侦查假设。从狭义上来分析，侦查假设是侦查人员根据所掌握的案件事实或准案件事实，结合一定的背景知识，运用一定的思维方式和思维方法，对事实所反映出来的需要查明的问题所作出的推测性解释；从广义上来分析，侦查假设是由假设提出、假设推演、假设验证构成的动态系统。紧接着着重分析了侦查假设相对于一般科学假说的特殊性。其次，对侦查假设的程序模式进行分析。重点在于：(1)从逻辑上提出科学合理的侦查假设的方法要求——演绎法与非演绎法；(2)验证侦查假设的不同情形：否定侦查假设、肯定侦查假设、侦查假设的辩证发展。 第二部分：可能世界理论 这部分以莱布尼茨的可能世界理论作为论述对象。分别论述了可能世