复合判断推理不同推理形式间的互通

从现代形式逻辑的观点看，许多不同形式的推理实际上是等值的。但是，由于表达形式的不同，就显示了不同的特征。不同类型的推理，可以显示出从不同角度考虑极为重要的性质。诚然，这在传统逻辑中却极少论及。本文探讨了假言推理中充分条件假言推理与必要条件假言推理的等值关系；探讨了充分条件假言推理、必要条件假言推理与相容选言推理间的等值关系，并说明了诸推理式间的互通问题。     

选言推理及其应用

选言推理是前提中有一个为选言判断,并根据这个选言前提的逻辑性质而推出结论的复合判断推理。选言推理也称选言三段论。选言判断有相容的和不相容的两种,相应的,选言推理也有两种:相容的选言推理和不相容的选言推理.一、相容的选言推理是前提中有一个相容的选言判断的选言推理。这种选言推理由于选言前提的选言肢可以同时为真,肯定其中一肢或数肢后,     

论辩证法、认识论在逻辑基础上的统一－－普通逻辑十论

普通逻辑是思想解剖学的论证逻辑，同一律是论证的规则。本文对虚概念与实概念，同一律与定义，因果与条件、类比、归纳与演绎、联言、选言与假言、概念、判断与推理等一系列关系，在辩证法指导下，从认识过程作贯通的考查；并据此证明，普通逻辑转化为认识逻辑（辩证逻辑）的必要性与可能性。认识逻辑是对黑格尔、恩格斯、列宁逻辑思想的直接继承与弘扬。     

无条件句和二难推理简单构成式

表示无条件关系的“无论 A,都 B”格式的复句,原本不是二难推理(假言选言推理)简单构成式的语言表达形式,可是不少逻辑教材及参考书却将二者对应地相提并论。拙文就此提出己见,以期引起讨论。某些逻辑书在讲到二难推理简单构成式时,往往以毛泽东同志《论人民民主专政》一文中的一段话作为例子:     

对两种负复合命题的等值命题的辨正

长期以来,我国高等学校流行的普通逻辑教科书,都把负不相容选言命题和负充要条件假言命题的等值命题看作是由两个联言命题为选言肢所构成的相容选言命题,如:在全国有广泛影响的《普通逻辑)就认为:"并非(要么P要么q)"的等值命题是"(q并且q)或者(非q并且非q)",即qVq什(pAq)V(户八万)O;"并非(当且反当p才q)"的等值命题是"或者(p并且非q)或者(非p并且q)",即灭了万0(pAl)V(lAq)O。笔者认为这是不妥的。它们的等值命题应该辨正为以两个联言命题为选言肢所构成的不相容选言命题。一、关于负不相容选言命题的等值命题我们知道,一个不相容选言命…     

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

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

也谈复合命题

我国逻辑界对复合命题的定义、选言命题的定义以及不相容选言命题的身份这三个理论问题，有不同的观点。应从“真假决说”角度来定义复合命题；复合命题是其中还包含命题，而且其真假由所包含的命题决定的命题；应采取给联言命题、假言命题下定义同样的“反映说”方式来定义两种选言命题；相容选言命题是反映若干事物情况可以同存并且至少有一个存在的选言命题、不相容选言命题是反映若干事物情况不能同存，至少有一个而且至多有一个存在的选言命题；应持“两立说”来对待不相容选言命题，不能对V进行结合运算，这是f10这一真值函项本身的性质使然，不影响不相容选言命题的存在。     

二难推理及其应用

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

速度相加定理与光速不变原理相容性探析

在低速近似(vC)情况下,相对论速度相加定理便退化为经典的速度相加定理.研究问题的速度所处的范围为:低速,选经典速度相加定理;高速,选相对论速度相加定理;相对论速度相加定理与光速不变原理是相容的,真空中光速大小与惯性系的选择无关.     

关于不相容选言判断的几个问题

据何断定选言判断选言支间相容与否，涉及到不同的逻辑哲学本体论的承诺。现代逻辑形式系统与传统逻辑应用系统所预设的本体层次是不同的。作为逻辑教学体系的普通逻辑对选言支间相容与否的本体判定，是传统逻辑应用层次的事实存在裁定；现代形式逻辑中之所以没有严格析取的判断形式，是用合取与析取的综合方式进行了取代；不相容选言判断是对思维实际的抽象概括，具有非形式性质，运用形式化析取符号表述排中律，存在矛盾；不相容选言判断的负判断的等值判断，不只有(p∧q)∨(┐p∧┐q)一种形式，还应有(p∧q)∨(┐p∧┐q)的形式，从思维实际论，(p∧q)∨(┐p∧┐q)的形式，更贴近日常思维，更利于研习者理解。     

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

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

对两种负复合命题的等值命题的辨正

长期以来,我国高等学校流行的普通逻辑教科书,都把负不相容选言命题和负充要条件假言命题的等值命题看作是由两个联言命题为选言肢所构成的相容选言命题,如：在全国有广泛影响的《普通逻辑）就认为："并非（要么P要么q）"的等值命题是"（q并且q）或者（非q并且非q）",即qVq什（pAq）V（户八万）O;"并非（当且反当p才q）"的等值命题是"或者（p并且非q）或者（非p并且q）",即灭了万0（pAl）V（lAq）O。笔者认为这是不妥的。它们的等值命题应该辨正为以两个联言命题为选言肢所构成的不相容选言命题。一、关于负不相容选言命题的等值…     

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

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

PSD迭代方法收敛的一个充分必要条件

在线性方程组系数矩阵A为(1,1)相容次序矩阵及A的Jacobi迭代矩阵的特征根μj2＜1的条件下,得出了PSD迭代法收敛的一个充分必要条件,并给出了SSOR,JOR,PJ等迭代法收敛的充分必要条件.最后根据定理确定实例的收敛区间.     

选言命题与析取运算——从布尔代数看3种不同的析取运算

运用逻辑知识分析选言命题的形式及意义,区别3种不同的析取运算,讨论多元不相容命题的逻辑意义。从理论上讲,p1p2∨p3在现实中没有应用。对于3个支命题构成的选言命题,现实中只有2种情况:或者是二元相容析取(∨)形成的命题形式(p1∨p2∨p3),或者是三元运算形成的命题形式(p1△p2△p3)。     

右Clifford半群的半直积

本文给出了两个么半群的半直积是右Clifford半群的充分必要条件，结合[5]中定理2.1得到了两个么半群的直积是Clifford半群的充分必要条件。使得[6]中定理2.2成为本文的推理。     

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

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

相容和弱相容映射的几个新的公共不动点定理

证明了Menger空间上相容和弱相容映射在(φ)-压缩条件下的两个新的公共不动点定理.作为它们的推论,还得到了度量空间上相容和弱相容映射的两个有趣的不动点定理.     

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

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

b-度量空间中三次方型压缩映象的一个新的公共不动点定理

在b-度量空间中引入了(P)型相容映象对的概念,讨论了一个新的三次方型的压缩条件,并利用自映象对(P)型相容和弱相容的条件,证明了一个新的公共不动点定理,所得结果推广和改进了度量空间中的已有结论.