侦查思维中的规范模态推理
（一）侦查思维中的规范模态直接推理
规范模态直接推理主要是指规范模态对当推理。与前述的直言判断之间的对当关系类似，必须判断、允许判断之间也存在某种真假制约关系。根据这种真假制约关系，可以从其中一个判断的真假推出另一个判断的真假。
1.规范矛盾关系推理
必须P与允许非P之间、必须非P与允许P之间是不能同真，也不能同假的矛盾关系：如果其中一个真，那么另一个必假；如果其中一个假，那么另一个必真。因此，这几对判断之间的推理方向是从其中一个的肯定推出另一个的否定，也能从其中一个的否定推出另一个的肯定。也就是说，这两对矛盾判断中的一个的否定就等价于另一个的肯定，反之亦然。这样，基于矛盾关系的规范模态推理的有效式有：
（1）“并非必须P”等价于“允许非P”；
（2）“并非必须非P”等价于“允许P”；
（3）“并非允许P”等价于“必须非P”；
（4）“并非允许非P”等价于“必须P”。
2.规范反对关系推理
必须P与必须非P之间是不能同真、至少一假、也可能同假的互斥关系：如果其中一个真，那么另一个个必假；如果其中一个假，那么另一真假不定。因此，这对判断之间的推理方向是从其中一个的肯定推出另一个的否定，但是不能从其中一个否定推出另一个是肯定还是否定。这样，基于反对关系的规范模态推理的有效式有：
（1）从“必须P”可以推出“并非必须非P”；
（2）从“必须非P”可以推出“并非必须P”。
上述所有从右到左的推理都是无效的推理。
3.规范下反对关系推理
允许P与允许非P之间是不能同假、至少一真、也可能同真的相容关系：如果其中一个假，那么另一个必真；如果其中一个真，那么另一真假不定。因此，这对判断之间的推理方向是从其中一个的否定推出另一个的肯定，但是不能从其中一个肯定推出另一个是肯定还是否定。这样，基于下反对关系的规范模态推理的有效式有：
（1）从“并非允许P”可以推出“允许非P”；
（2）从“并非允许非P”可以推出“允许P”。
上述所有从右到左的推理都是无效的推理。
4.规范差等关系推理
必须P与允许P之间、必须非P与允许非P之间，这每一对判断的前后都蕴含后者：如果前者真，那么后者必真；如果前者假，那么后者真假不定。因此，这几对判断之间的推理方向是从前者的肯定推出后者的否定，也能从后者的否定推出前者的否定。这样，基于差等关系的规范模态推理的有效式有：
（1）从“必须P”可以推出“允许P”；
（2）从“必须非P”可以推出“允许非P”；
（3）从“并非允许P”可以推出“并非必须P”；
（4）从“并非允许非P”可以推出“并非必须非P”。
如前所述，在真势模态推理中，从必然P可以推出P，从P可以推出可能P。但是，在规范模态推理中，能否进行类似的推理呢？如果必须P可以推出P，那就意味着所有必须做的都是现实已做的。但是，实际上，很多法律规定必须做的事情，在现实中并未完全做到，否则就不存在违法犯罪了。所以，不能从必须P推出P。同理，如果P可以推出允许P，那就意味着所有现实已做的都是允许做的。但是，实际上，很多已做的事情都是违法犯罪、为法律所不允许的事情。所以，也不能从P推出允许P。正是这一点，体现了真势模态对当推理和规范模态对当推理的不同之处——这是尤其值得注意的地方。
（二）侦查思维中的规范模态三段论
在决定是否对犯罪嫌疑人采取强制性措施以及采用何种强制措施时，规范模态三段论因其法律规范明确、推理具有必然性而被侦查人员大量运用。规范模态三段论是以法律规范作为大前提，以直言判断作为小前提，借助于中项的作用，得出一个法律规范判断作为结论的演绎推理。
1.纯规范三段论
纯规范三段论是指两个前提和结论都是规范模态判断的三段论推理。除了遵守直言三段论的所有推理规则外，还得遵守前述的“结论从弱”原则：前提都是必须判断的，结论可以是必须判断，也可以是允许判断；前提一个是必须判断，一个是允许判断的，结论只能是允许判断。
2.混合规范三段论
混合规范三段论是指大前提和结论都是规范模态判断，而小前提是直言判断的三段论推理。其一般形式为：
所有M必须/允许P（或者非P），所有S都是M，所以，所有S必须/允许P（或者非P）。
（三）侦查思维中的规范模态条件推理
1.必须条件推理
根据必须判断所涉及的行为之间的条件关系进行的演绎推理。
（1）由必须到必须
如果A是必须，而B是A的必要条件，则B也是必须的。也就是从OA和A→B推出OB。
（2）由必须到禁止
如果A是必须的，而B是非A的充分条件，则B是禁止的。也就是从OA和B→﹁A推出FB。
2.禁止条件推理
根据禁止判断所涉及的行为之间的条件关系进行的演绎推理。
（1）由禁止到禁止
如果A是禁止的，而B是A的充分条件，则B也是禁止的。也就是从FA和B→A推出FB。
（2）由禁止到必须
如果A是禁止的，而B是非A的必要条件，则B是必须的。也就是从FA和﹁A→B推出OB。
3.允许条件推理
根据允许判断所涉及的行为之间的条件关系进行的演绎推理。
（1）由允许到允许
如果A是允许的，而B是A的必要条件，则B也是允许的。也就是从PA和A→B推出PB。
（2）由允许到允许不
如果A是允许的，而B是非A的充分条件，则非B是允许的。也就是从PA和B→﹁A推出P﹁B。
[1] 郭良明、徐海晋：《传统侦查推理的形式化：用认知逻辑的观点处理假设、溯因和类比》，载《公安学刊——浙江警察学院学报》2012年第3期。
[2] 郭良明、徐海晋：《传统侦查推理的形式化：用认知逻辑的观点处理假设、溯因和类比》，载《公安学刊——浙江警察学院学报》2012年第3期。