□郭良明，徐海晋

（浙江警察学院，浙江 杭州 310053）

○警察教育训练

传统侦查推理的形式化：用认知逻辑的观点处理假设、溯因和类比

□郭良明，徐海晋

（浙江警察学院，浙江 杭州 310053）

假设、溯因和类比是侦查推理中最常见的三种推理方式，也是普通逻辑中被讨论最多的三种推理方式。本文突破普通逻辑的限制，在认知逻辑的框架下，讨论这三种推理方式的形式化处理方法，把它们融合在一个带因果关系的可能世界模型中来考虑，使得传统的侦查推理得以用认知逻辑的方式来表达。

侦查推理；认知逻辑；可能世界；假设、溯因和类比

主持人：史荣华

在当前的逻辑教科书或文献当中，侦查推理都是在普通逻辑的框架下被讨论的，鲜有涉及现代逻辑的观点，离系统化、形式化尚远。对几个最常用的逻辑推理方式：假设、溯因、类比，都没有进行深入的探讨，只停留在普通逻辑的范围之内。

本文的目的是针对上述三种常用的逻辑推理方式，即对假设、溯因、类比进行更深层次的研究，并用现代逻辑的方法来表述这三种推理方式。对侦查推理进行形式化的处理，第一个作用是使得传统的侦查推理概念之表述能够更加精确，从而便于侦查人员之间的沟通与交流；第二个作用是为一些有固定程序的推理步骤提供一个统一的逻辑基础；第三个作用是为侦查推理的信息化处理提供可能，使得一些程序化的推理过程能让计算机来完成。

这里所说的现代逻辑，主要指模态逻辑的其中一个分支：认知逻辑①。……