侦查思维中的规范模态判断和理想世界
（一）侦查思维中的规范模态判断及其类型
规范模态判断也称道义模态判断，是指含有“必须”“禁止”“允许”等规范模态词以约束人们的言行的判断。规范模态判断的特征是：规范模态判断在内容上明确规定具有某种特征的个人或者组织在相关条件下必须履行或者可以履行或者不履行的某种行为；规范模态判断都具有一定的权威性和强制性，要求任何个人或组织严格遵守，否则可能承担相应的法律后果；由于道义模态判断规定和约束的是人们的行为，因此构成道义模态判断的非模态判断是陈述行为的判断，而不是陈述事物具有某种属性的判断；规范模态判断只有是否合理、是否恰当、是否被遵守的问题，而没有真和假的问题。也就是说，评价规范模态判断的真假标准不是是否真实，而是是否有效。根据规范模态判断本身是否包含其他判断，分为简单规范模态判断和复合规范模态判断。
1.简单规范模态判断
根据含有的规范模态词的不同，简单规范模态判断包括三类：必须判断、禁止判断和允许判断。
必须判断是含有“必须”“应该”“一定”“有义务”等规范词，以规定某种行为必须实施的判断，它陈述了在法律上、道德上作为的义务。
禁止判断是含有“禁止”“不得”“不准”“不能”等规范词，以规定某种行为不得实施或者不能实施的判断，它陈述了在法律上、道德上不作为的义务。
允许判断是含有“可以”“允许”“准予”“有权”等规范词，以规定某种行为允许实施或者允许不实施的判断，它陈述了在法律上、道德上作为或者不作为的权利。在法律条文中，表达权利的条款都是允许判断。
表现为必须判断和禁止判断的法律规范基本上都是强制性规范；表现为允许判断的法律规范介于必须判断和禁止判断之间，人们可以实施，也可以不实施，因此它不是强制性规范。
从结构形式上看，规范模态判断由规范词和子判断构成，子判断陈述行为主体实施或者不实施某种行为。规范模态判断主要大量地存在于现行法律法规之条文之中。
2.复合规范模态判断
现行法律条文一般都表现为复合规范模态判断，极少表现为简单模态规范判断。根据包含的联结项的不同，复合规范模态判断可以分为联言规范模态判断和假言规范模态判断。
联言规范模态判断一般由“并且”这样的联言联结项联结至少两个简单规范模态判断而成，可以表示为：应当/可以/禁止P并且应当/可以/禁止Q。
例如：
审判人员、检察人员、侦查人员不得接受当事人及其委托的人的请客送礼，不得违反规定会见当事人及其委托的人。（《中华人民共和国刑事诉讼法》第三十条第一款）
公安机关经过侦查，对有证据证明有犯罪事实的案件，应当进行预审，对收集、调取的证据材料予以核实。（《中华人民共和国刑事诉讼法》第一百一十六条）
假言规范模态判断一般由“如果……，那么……”这样的假言联结项联结至少两个简单规范模态判断而成，可以表示为：如果P，那么应当/可以/禁止Q。它的前件一般是实态判断（直言判断），后件一般是简单规范模态判断，或者这样的若干个简单规范模态判断的合取，或者这样的若干个简单规范模态判断的析取。
例如：
公安机关或者人民检察院发现犯罪事实或者犯罪嫌疑人，应当按照管辖范围，立案侦查。（《中华人民共和国刑事诉讼法》第一百零九条）
任何单位和个人发现有犯罪事实或者犯罪嫌疑人，有权利也有义务向公安机关、人民检察院或者人民法院报案或者举报。（《中华人民共和国刑事诉讼法》第一百一十条第一款）
当事人和辩护人、诉讼代理人、利害关系人对于司法机关及其工作人员有下列行为之一的，有权向该机关申诉或者控告：
（一）采取强制措施法定期限届满，不予以释放、解除或者变更的；
（二）应当退还取保候审保证金不退还的；
（三）对与案件无关的财物采取查封、扣押、冻结措施的；
（四）应当解除查封、扣押、冻结不解除的；
（五）贪污、挪用、私分、调换、违反规定使用查封、扣押、冻结的财物的。
（《中华人民共和国刑事诉讼法》第一百一十七条）
（二）侦查思维中的规范模态判断的真值与理想世界
规范模态判断的真值在于其是否有效。这就涉及一个与前述的可能世界相似的概念——理想世界。在这个理想世界中，人人时时刻刻都是遵守法律的。由于这种情况在现实中很难实现，因此它仅仅存在于人们的理想之中。现实世界也是理想世界中的一个特例，它有自己的法律规范，只是不是人人时时刻刻都遵守法律而已。仿照前述可能世界理论中的可达关系，可以提出道义可达关系的概念。一个理想世界Wi可达另一理想世界Wj，当且仅当，在Wi中成立的法律道德规范在Wj中也成立。Wi可达Wj，记为WiRWj或者RWiWj。在Wi成立的法律道德规范在Wj中也成立，意味着Wj比Wi在道义方面实施得更加理想，在Wi应该做的在Wj中都做了，而在Wi中禁止做的在Wj中都没有做。
根据理想世界理论，可以确定道义模态判断的真值：（1）必须判断“必须P”在理想世界Wi中为真，当且仅当，行为A在Wi可达的所有理想世界中都为真；（2）禁止判断“禁止P”在理想世界Wi中为真，当且仅当，行为A在Wi可达的所有理想世界中都为假；（3）允许判断“允许P”在理想世界Wi中为真，当且仅当，行为A在Wi可达的至少一个理想世界中为真。
由于“禁止P”等价于“必须非P”，“禁止非P”等价于“必须P”，因此规范模态判断可以划归为四种：必须P、必须非P、允许P、允许非P。