选言推理在侦查工作中的运用

侦查工作离不开选言推理的运用,这已为长期的侦查实践所证明。运用选言推理有助于判定案件的性质,缩小侦查的范围,证明侦查假设。运用时应当注意：选言命题要力争穷尽一切可能;小前提必须真实;大前提为相容选言命题时,不能用肯定否定式进行推论;其推理的结论只能作侦查办案的线索,不能作定案的依据。只有这样,才能在侦查工作中发挥出它应有的作用。     

D-逻辑伪距离不等式与近似推理

以D-随机真度为基础，给出了公式到有限理论结论集D-逻辑伪距离的D-随机真度表示式，得到了D-逻辑度量空间中与有限理论相关的一系列D-逻辑伪距离不等式，并在D-逻辑度量空间中进行了近似推理讨论．     

一种形式化逆推的逻辑方法

本文讨论逆绎推理的形式化问题，指出这一问题的认知基础，然后证明逆绎推理可通过建立必要性假设来完成；ＮＨ构成了对已有知识订的扩充，必须构造必要性假设理论来捕捉逆绎推理的逻辑特征，本文选择缺席逻辑作为形式化ＮＬ的理论框架，并指出ＮＬ的基本性质。     

法律逻辑应注重对实质推理的研究——由一个案例引起的思考

实质推理是一种通过对若干存在矛盾冲突的推理前提内容法律价值的分析判定,从而确定该前提内容是否具有优先法律适用效力的推理和证明活动。实质推理最显著的特点是引入了辨证思维的方式,以法律价值判断作为分析判定的前提和基础,注重从推理的内容和形式的统一的角度来研究法律推理,注重用辨证思维的方式来正确处理法律适用中的矛盾冲突。对法律推理的研究,应从法律实践的实际需要出发,打破形式与内容的“楚河汉界”,从形式与内容的有机统一来加强和充实对法律推理的研究,走出“形式逻辑＋法律事例”的简单模式,使法律逻辑的理论研究更好的为法律实践服务。     

中国“爬壁反恐机器人”在哈尔滨工业大学诞生

一种专门应用于反恐领域的“爬壁机器人”在哈尔滨工业大学诞生．它可以携带侦查设备悄无声息地沿壁面爬到便于侦查的位置，为反恐人员准确判断形势、做出决断提供现场依据．     

逻辑定理在科技管理中的应用

讨论并举例介绍了几种常见的命题逻辑推理,包括假言推理（充分条件假言推理、必要条件假言推理、充分必要条件假言推理）、尽举选言推理（尽举相容选言推理、尽举反相容选言推理、尽举不相容选言推理）、非推导逻辑定理（不矛盾定理、排中定理）等在科技管理中的应用。在科技管理中应用逻辑定理理论会更有利于搞好科技管理工作。     

可变换推理方向的产生式系统

人们在求解问题的过程中，往往交换地使用正向和逆向思维方式．为了模仿这种思维方式，本文提出在产生式系统中引入元级推理构成二级推理；分析了影响推理方向的因素，根据这些因素建立了选择推理方向的估价函数；讨论了确定交换时机和实现推理方向交换等具体技术①．     

处于时间情景中的推理与形式化

现实的推理是在时空中进行的,推理本身需要花费时间。传统的逻辑理论忽视了这一点,从而导致逻辑全能。为此,给出了相关的案例,表明现实的推理处于时间情景之中 同时,介绍了几个涉及时间的形式化理论,指出它们研究的是关于时间的推理,而非处于时间之中的推理 最后,阐述了一个新的逻辑理论——步进逻辑,认为步进逻辑体现了推理的时间情景,有着良好的应用前景,进而提出了未来的研究设想。     

“强化谎者”悖论的简明消解——批判塔斯基、哥德尔、爱因斯坦的相关“论点”

讨论了“仅是矛盾”和“矛盾被证”、辩证“鹰”派的反驳和逻辑派的回应、几个悖论的消解等，评述了维特根斯坦和哈克的“自涉”、克林的“悲观”情怀，批评了爱因斯坦的“轻率概括”，突显出谬误学、批判性思维的重要性。     

基于TRIZ与实例的计算机辅助创新系统

从认知心理学的角度讨论了思维及创造性思维的规律，分析了当前基于实例的推理技术与TRIZ的思维模型基础和不足之处．针对这些不足，提出了可以用TRIZ理论中的工具来作为构建实例库的规则，以实现二者的优势互补．据此理论开发了一个全新的基于TRIZ与实例的计算机辅助创新系统，并讨论了实现该系统的关键技术．     

对新时期军队侦查资源合理配置与利用分析

军队作为维护国家利益,保证国家安全的重要机构,其侦查资源的合理配置与利益至关重要.随着国际环境的不断变化,军事改革以及军队侦查资源的合理配置已成为新时期军队建设与发展的必然趋势.本文以军队侦查资源相关概述为切入点,从军队侦查资源合理配置与利用的必要性、策略等方面对新时期军队侦查资源合理配置与利用进行了分析,以期为军队改革的优化发展提供理论依据,为军队更好的履行新阶段历史使命奠定基础.     

逻辑与科学方法论

主持人语：
　　中国逻辑学会所属形式逻辑、语言逻辑、符号学、归纳逻辑4个专业委员会联合主办的“逻辑应用、逻辑教学2014年学术大会”于2014年6月在成都成功召开，交流论文50余篇，许多是上乘之作。本栏目将选录一部分优秀论文，分期刊出，以飨读者。本期刊出8篇。
　　杜国平教授的《批判性思维辨析》一文对“critical thinking”一词的通常译法--批判性思维，提出了质疑，他通过对19位批判性思维专家的问卷调查，得出在汉语的文化语境中，“critical thinking”的合适译名应该为“审辨式思维”，从音义结合的角度，也可翻译为“揆惕性思维”。这种对关键词翻译的精准性推敲对学科的发展具有重大意义。     

对“突然演习悖论”的分析

“突然演习悖论”又称“意外考试悖论”、“意外绞刑悖论”等，是一个著名的逻辑悖论，许多学术大家都对其有所讨论，但至今没有公认的消解方案。在对“突然演习悖论”的缘起做了简要叙述后，用非技术化的语言对此悖论及其改进和变种进行了简要的梳理和分析，重审了可能导致悖论的推理前提和步骤，并提出了自己的尝试性解决思路。     

关于诱惑侦查的几点思考

在当前,诱惑侦查有其现实的必要性和合理性,理应入法。诱惑侦查是一种强制侦查行为。对于诱惑侦查适用案件范围不需要予以限制,我们应当更多地对其适用程序予以严格规制。对于其适用条件,侦查机关达到合理怀疑的程度就可以实施诱惑侦查。对于传统侦查手段与诱惑侦查措施的选择适用,应做综合考量。     

侦查目的探析

目的对于侦查而言具有极其重要的意义,如何界定侦查目的也是个需要详细探讨的问题。现今侦查法学研究领域中,关于侦查目的的代表性观点有基本三种类型。本文通过对现今侦查目的观的评述入手,对侦查目的从多个层面的进行了阐述,并提出自己对侦查目的的看法。     

逻辑新论

逻辑学就是研究人的理智思维活动的科学,也就是研究人在理智状态下生成与使用概念、命题、推理的实然方式与应然规则的学问,而逻辑就是总结、概括、创造出来的生成与使用概念、命题、推理的规则。概念是高度浓缩了的判断。命题是省略了过程的推理。所有命题通过转换都可以变为两个集合之间的交集是否存在的判断。简述了确认＂命题‘A是B’是真的＂的条件,认为逻辑规则是为了特定的目的而设计出来并约定俗成的思维单元的生成与使用应遵循的规范。目的不同,完成目的而遵循的逻辑规则也不同。逻辑规则不是逻辑规律,逻辑规则是人们对逻辑规律认识后将其运用于思维活动的方式。逻辑规律是一元的,而逻辑规则是多元的。     

逻辑新论

逻辑学就是研究人的理智思维活动的科学,也就是研究人在理智状态下生成与使用概念、命题、推理的实然方式与应然规则的学问,而逻辑就是总结、概括、创造出来的生成与使用概念、命题、推理的规则。概念是高度浓缩了的判断。命题是省略了过程的推理。所有命题通过转换都可以变为两个集合之间的交集是否存在的判断。简述了确认"命题‘A是B’是真的"的条件,认为逻辑规则是为了特定的目的而设计出来并约定俗成的思维单元的生成与使用应遵循的规范。目的不同,完成目的而遵循的逻辑规则也不同。逻辑规则不是逻辑规律,逻辑规则是人们对逻辑规律认识后将其运用于思维活动的方式。逻辑规律是一元的,而逻辑规则是多元的。     

一般化假言推理的一种新方法

一般化假言推理是模糊逻辑中一个重要的推理规则。至今仍没有一个十分有效的一般化假言推理方法。本文在文「１」工作的基础上，通过“加权”的方式提出了一种新的ＧＭＰ方法，其目的是为了建立一种内部机制更为合理的推理模式。     

浅谈法律逻辑

在法律逻辑推理判断过程中必然要经过事实推理、法律推理和判决推理这三个不同阶段的论证。并且在事实推理过程中运用的逻辑思维应当因时而异,在进行法律推理时正确运用逻辑思维,同时判决推理过程则需要更严谨的逻辑思维。     

由刑诉法修正案看侦查程序的完善

此次刑诉法修正案中对侦查程序的修改,众说纷纭。本文通过评析技术侦查措施的引入、沉默权与如实供述的关系,认为此次修正案是对侦查程序改革大有裨益,并对完善侦查程序应注意哪些方面提出了自己的观点。