充要条件假言命题也可作二难推理的前提

现行普通逻辑理论把二难推理的假言前提局限于充分条件假言判断和必要条件假言判断，而把充要条件假言判断排除在外，从而遗漏了一部分有效式，本文在这方面作一定的探讨，并总结出了二难推理的全部有效式。     

窥探充分条件假言命题及其推理的思维张力

充分条件假言命题是从类似"如果……那么……"作为连接词的复句中提炼出的思维结构。该结构刻画着人们思维中常见的蕴涵关系,即一种情况存在蕴涵另一种事物情况存在的关系。以这种关系为基础构成了人们常用的充分条件假言推理。充分条件假言命题及其推理与思维实际充分结合,就充分彰显人类思维张力,并给予我们巨大的逻辑力量。     

假言推理研究的进程与展望

假言推理是前提中有一个为假言命题,并且根据假言命题前件与后件之间的关系而推出结论的推理。假言推理研究的进程大致可分为两个阶段：第一阶段是从20世纪60年代至70年代末——问题提出阶段,第二阶段是从80年代初至现在——理论发展阶段。纵观假官推理研究的进程,可以发现以往的研究存在着一些缺陷或不足,这是今后关于假言推理研究应该着重关注和解决的问题。     

论审判活动中的法律假言推理

法律假言推理是诉讼活动中的重要推理，分析和探讨审判活动中法律假言推理的特征及其结构形式，旨在阐明为了获得可靠，准确的审判结论；除了要具备相关的法律知识以外，还需具备法律逻辑的基础知识，在逻辑的层面上来理解和把握法律规定，进行有效的法律推理，力审判结论提供思维保证。     

试论假言连锁推理的完善体系

对现行高等院校形式逻辑学的假言连锁推理体系做了进一步具有探索性的研究，补充完善了假言连锁推理体系。     

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

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

裁判推理的四种有效模式——以否定式裁判推理为中心

当前的主流理论把裁判推理的有效模式刻画为一个充分条件假言推理,其缺陷在于忽视了法律规定的多样性和事实不明的可能性,特别是不能说明否定式裁判推理之有效性。重建裁判推理的有效模式,须以整体适用的思维反映裁判推理的实际,将所有那些或明或暗地起着实际作用的法律规范都纳入大前提之中,并且注意证明责任对裁判的特殊影响。由此,可以确立以充要条件假言规范命题为大前提的四种裁判推理有效模式。     

假言推理在侦查讯问工作中的运用

假言推理是反映客观事物间条件联系的推理,在讯问工作中有广泛的应用。因为犯罪同其他事物一样,也存在着这样或那样的因果关系,讯问人员往往需要从认识案件的一个环节去认识另一个环节,由已知环节去认识未知环节。讯问人员正确运用假言推理,一方面可以推断犯罪嫌疑人应具备的条件,另一方面可以用有力的语言揭露、驳斥犯罪嫌疑人的诡辩。运用时还必须做到大小前提真实,推理形式正确。只有这样,才能在讯问工作中发挥它应有的作用。     

充分条件假言推理在刑事侦查中的运用

侦查学是在认识犯罪活动、侦查活动及其互动关系的基础上,研究揭露、证实犯罪的方法和对策的应用性学科.在还原犯罪真相的过程中,需要通过现场勘查,调查访问来获取犯罪发生的情况以及作案人的线索,充分条件假言推理在此过程中发挥着重大的作用.     

带参的模糊推理合成法则

该文针对单重单维的Ｆｕｚｚｙ推理，提出了一个带参的推理合成法则，使Ｚａｄｅｈ于１９７５年提出的“推理合成法则”是它的一个特例，给出了Ｚａｄｅｈ方法与它等价的充分必要条件，并克服了Ｚａｄｅｈ方法一般不满足假言推理的缺陷。该文又把这一结果推广到多维和多重的Ｆｕｚｚｙ推理．     

二难推理及其应用

二难推理是假言选言推理的一种，是由两个假言判断和一个两肢的选言判断为前提所构成的复合判断推理。是人们在辩论时经常运用的一种推理形式。通过这种推理，辩论者的一方提出一个具有两种可能的大前提，对方不论肯定或否定其中哪一种可能，结果都会陷人一种进退维谷的境地。例如：中世纪的神学家们曾经荒谬地宣称：上帝是无所不在、无所不知、无所不能的，我们这个世界就是由这个全知、全能、全善的上帝创造出来的。对此，当时就有人提出来一个问题：上帝能否创造一块连他自己也举不起的石头？并对这个问题作了如下推论；如果上帝能创造出…     

法律推理中的辩证推理与实践推理刍议

共识认为，在法律推理时仅仅依靠形式法律推理是不够的。但不同的法学家对如何弥补“不够”并不一致。本文针对辩证推理与实践推理两个理论的要义进行比较，以期找到在中国法律制度下的法律推理的理论模式。     

负判断推理的逻辑形式及特点

针对传统的普通逻辑中缺少对负判断推理的完整论述问题,阐述了负判断推理的两种形式:简单判断的负判断推理和复合判断的负判断推理.同时,归纳出负判断推理具有直接推理属性,以及前提和结论是等值关系的两方面的特点.     

认知推理与等值转换--翻译中文化差异的处理

认知语言学认为，推理在语言符号转换中起着重要作用。语言交际中信息的理解与表达实质上是个推理的过程；翻译旨在探究对原文的理解和译文的表达。然而，语言互动和交际过程中出现的文化差异往往给翻译带来种种障碍，对策之一就是通过认知推理以求翻译中的等值转换。     

一个基于可能性理论的推理模式

在可能性理论的基础上,提出了一种新的将经典的假言推理作为它的特例的推理模式,其推理机制是借助于基于max-min合成的矩阵积来实现的.所得结果在一定程度上对不精确推理具有理论上的意义.     

法律推理中的辩证推理与实践推理刍议

共识认为 ,在法律推理时仅仅依靠形式法律推理是不够的。但不同的法学家对如何弥补“不够”并不一致。本文针对辩证推理与实践推理两个理论的要义进行比较 ,以期找到在中国法律制度下的法律推理的理论模式。     

说明文阅读推理研究综述

阅读推理是指读者推测出语篇中没有明确呈现的事件、关系等过程,说明文阅读中的推理成为近年来学者们讨论的热点。本文从三个方面对说明文中的阅读推理的研究进行了总结、回顾和探讨:(1)读者在阅读说明文的过程中是否会产生推理;(2)说明文推理和记叙文推理的区别;(3)说明文阅读推理的影响因素。     

3D-GIS中方向关系定性推理研究

方向关系描述GIS中对象之间的空间关系。3D-GIS中单方向关系间定性推理共有27×27=729结果,方向关系定性推理的规律性研究是研究单方向关系定性推理的提升。本文采用单纯形数据模型,用基于投影的27方向关系描述模型,详细研究3D-GIS中方向关系间定性推理的规律,最后得出一些重要结论。     

实例推理和规则推理在CAD中的集成研究

基于实例的推理（CBR）和基于规则的推理（RBR）是知识工程中两类实用有效的推理方式，其逻辑学基础是类比推理和演绎推理。在复杂内、病态结构的设计问题求解中，上述两类推理方式都得到了广泛而独立的应用。提出一种将CBR与RBR集成的方法，即根据设计过程中各阶段的特点，灵活使用实例推理和规则推理策略去解决工程设计问题， 可提高设计问题求解的效率和有效性。     

知识库中假言推理命题的Fuzzy表达及其求值

本文给出了另一类近似推理命题——假言命题的Fuzzy表达及其求值算法,并提出语言真值的“动词化”设想。作者认为在专家系统中采用语言真值的“动词化”方法可能更有效。