传统逻辑关于直言命题的预设

1 引言传统直言命题有四种形式,即: A:所有S是P;E:所有S不是P;I:有S是P;O:有S不是P。传统直言命题推理主要有三种,即:三段论推理,换质位推理和对当关系推理。与传统直言命题相对应,现代直言命题也有四种形式,即: A′:(x)(Sx→Px) E′:(x)(Sx→Px) I′:((?)x)(Sx∧Px) O′:((?)x)(Sx∧～Px) 将传统直言命题推理中的A、E、I和O分别替换为A′、E′、I′或O′所得到的推理,我们称之为现代直言命题推理,现代直言命题推理属于谓词推理。现在我们要问,传统直言命题推理和现代直言命题推理在有效性上是完全吻合的吗?回答是否定的。在此只需指出一个事实就够了,即,在传统的对当关系推理中,由A推出I和由E推出O都是有效的,但在现代谓词推理中,由A′推出I′和由E′推出O′都是无效的。     

论证直言命题的正确推理形式

传统逻辑讨论A E I O四种直言命题,它们在数理逻辑即现代形式逻辑中,表现为一阶谓词公式: 传统逻辑讨论的直言命题的正确推理,最基本的是:按逻辑方阵对当关系推理,换质法、换位法、附性法和三段论。考虑到前提、结论的不同情况,它们实际上包含四十多个形式。在这些基本形式之上,还可发展出换质位法、戾换法、联锁三段论等形式。在数理逻輯中,任何推理的形式,都可表示为一个比较复杂的复合命题形式。例如,若干个前提之间,可用合取符号∧联结起来;前提与结论之间,可用蕴涵符号→联结起来,使推理形式表现为: 前提1∧前提2……∧前提n→结论     

直言三段论模式变形推理机制及应用

一、直言三段论的表述及其标准模式直言三段论的推理可表述为前提合取蕴涵结论式,也可以表述为二重蕴涵式,即:(M—P∧S—M)→S—P,或M—P→(S—M→S—P)前者的含义是;如果有大前提,并且有小前提.那么有结论.后者的含义是:如果有大前提,那么,如果有小前提,那么有结论.这两种表述式的含义完全一样.因此,二重蕴涵式与前提合取蕴涵式是等值的.三段论式的二重蕴涵化的理论根据是命题演算中的“蕴涵词引入规则”,此规则是说,如果从一系列命题A和一命题B能推出另一命题C,那么,从一系列命题A就可以推出以命题B为前件,命题C为后件的充分条件假言命题B→C.即:如果A∧B→C,那么A→(B→C).事实上,(A∧B→C)←→[A→(B→C)]是重言式.本文所述的三段论模式变形推理.将采用二重蕴涵式的表述方式.     

具体三段论的简化欧拉图判定方法探索

普通逻辑是从直言判断的A、E、I、O这四种质量结构形式方面研究直言三段论的,我叫它质量三段论,其形式我叫它质量形式,简称质量式。质量三段论所确定的有效式只是人们思维中的一少部分。人们一直有一种愿望,寻找一种方法,能判定所有的直言三段论,排除所有的错误式和确定所有的有效式。所谓“广义三段论”、“扩充三段论”都是这种努力的结果,但都不能实现人们的这个愿望,其规则也不易于为人们的日常自然语言思维所运用。用欧拉图解法固然可以,可是推理的欧拉图有近一半是麻烦或很麻烦的,难以为人们的日常思维所使用。本文提出一种判定方法,既能实现人们的这个愿望又十分简易。 具体判断和具体三段论,直言判断按主项、谓项的外延关系不同分有五种:主项和谓项为全同关系的叫全同判断,为种属(真包含于)关系的叫种属判断,为属种(真包含)关系的叫属种判断、为交叉关系的叫交叉判断、为全异关系的叫全异判断(反对关系和矛盾关系无区分的必要)。分别用符号表示为:S(?)P、SP、S(?)P、S(?)P;读作S全同P、S种属P、S属种P、S交叉P、S全异P。每种按质量(单称归入全称)不同分又各分为4种。这两方面结合分共20种,我叫它们具体判断,其形式叫具体形式,区别于A、E、I、O质量形式,用符号表示如(?)SAP、S     

从关系逻辑的观点看特称否定命题的换位问题

传统逻辑认为 A、E、I命题都可以换位 ,而 O命题不能换位。但传统逻辑只是证明了在 A、E、I、O命题的范围内 ,O命题不能换位 ,它并没有证明 O命题根本不能换位。传统逻辑只是性质逻辑或类逻辑 ,而不是关系逻辑。从关系逻辑的观点看 ,O命题不但是可以换位的——其换位所得的结论不是 A、E、I、O命题——而且如同 A、E、I命题的换位一样 ,O命题的换位也是有其一般意义的     

复合命题之间的真值关系及其直接推理系统初探

传统形式逻辑对直言命题的基本形式A、E、I、O之间的真值关系进行了研究,总结出了它们之间的对当关系,并将其应用于对当关系直接推理,但对于复合命题的基本形式则只分析其与肢命题之间的真值关系,对于不同的复合命题之间的真值关系并未加以系统地研究,充其量只是对复合命题各基本形式的负命题与其等值命题作了一定的探究,但还不足以形成复合命题之间的直接推理系统。因此,可以说传统形式逻辑对于复合命题及其推理的研究相当肤浅,形不成完整严密的复合命题推理系统。     

模态性质命题传统逻辑方阵的建立

通过建立模态性质命题：模态A、模态E、模态I、模态O命题间的5个逻辑方阵,以及将模态单称命题：模态单称肯定命题（a）和模态单程否定命题（e）引入模态性质命题逻辑方阵,能够有效地涵盖模态性质命题推理的56个有效式,以及关于模态单称命题与模态A、模态E、模态I、模态O命题之间推理的48个有效式,从而有利于用传统逻辑的方法掌握繁多的模态性质命题问的关系及推理。     

关于直言命题谓项周延性教学的探讨

词项的周延性，指的是直言命题对主项或谓项的外延反映的情况。在教学中，应帮助学生明确这里的所谓“反映”的特定内涵，即“肯定或否定”，以利于学生对直言命题A、E、I、O主项的周延性的理解。而对于直言命题A、E、I、O谓项的周延性，如若仅止于纯理论阐释，学生则往往会感到困惑。因此，教师应跳出教科书，并根据学生“直观一实践”的学习心理活动方式和语言逻辑的实际能力，尽量采用添加法、换位法、图示法等直观教学法，以有效突破这一教与学的难点。     

联言推理新探

联言推理是复合判断推理的重要内容。我国目前出版的逻辑著作,只介绍了联言推理的组合式(即合成式)、分解式二种推理形式。这未免过于简单。人们知道,凡是一个正确的复合判断的推理形式,必须是一个永真式。而联言推理组合式的推理公式:p,q→P(?)q不是永真式。因而它不具有联言推理的逻辑性质;它只具有联言判断的逻辑性质。所以它实质上是一个联言判断,不是联言推理正确的推理形式。联言推理的分解式的推理公式:q(?)q→p,或p(?)q→q,是一个永真式,它是一个有效的联言推理形式。它是以一个联言判断为前提直接推出一个直言判断为结论的联言直接推理形式。联言推理除了联言分解式的推理形式,还有联言间接推理形式。     

关于戾换法推理的疑难

戾换法推理是换质位法推理的扩展形式,其形式有: (1)SAP→SEP→PES→PAS→SIP→SOP (2)SEP→PES→PAS→SIP→SOP 在传统的直言判断推理的各种形式中,戾换法显得有些独特。这不仅是因为其推理既要遵守词项推理的一般规则,又要特别地引进双重否定原理作为其推理的重要依据,以至使得整个推导过程,不仅判断形式的主项、谓项不时地变换,主项与谓项的关系也     

介绍一首记忆名词周延情况的歌诀

A、E、I、O四种类型直言判断的名词周延性问题是很重要的。它在直言三段论的推理中,有着更加突出的作用。学习逻辑的人,不仅要理解它,而且要记住它,运用它。在逻辑书上,一般采用两种形式来表示它。 一种是用语言表述: 全称判断主词周延。 特称判断主词不周延。 肯定判断宾词不周延。 否定判断宾词周延。 另一种是列表表示:     

逻辑方阵手势图

在普通逻辑中,直言命题或性质命题A、E、I、O相互之间在真假关系上,具有反对,下反对、差等、矛盾等六个关系,逻辑史上把这个关系称为对当关系,是用一个叫做“逻辑方阵”的图来表示的(见图一)。     

Cayley变换的几种形式

Cayley变换是英国数学家Arthur Cayley在上一个世纪建立的,其内容可以由下面三个命题来表达。 命题1 如果S是反对称实矩阵,那么A=(I-S)(I+S)~(-1)是正交矩阵。 命题2 如果A是正交矩阵,I+A可逆,那么S=(I-A)(I+A)~(-1)是反对称矩阵。 命题3 设J={J∈Mn(k),J=(j_ie)|j_il=1或-1,j_il=0,当i≠e,1≤i,1≤n}s是反对称实矩阵,则任何T∈M_n(R)都有J∈T使得JT+I可逆,进而任何正交矩阵A可以表为A=J(I-S)(I+S)~(-1)。     

关系命题及其推理三题

我国普通逻辑学著作中流行的关系命题及其推理的有关理论 ,至少有三个问题值得商榷 :( 1)如果说性质命题有联项 ,则就不能否认关系命题也有联项。实际上 ,它在汉语中有三种表现形式 ;( 2 )纯粹关系推理的有效形式应该包括反映或指称某关系具有某逻辑性质这种客观内容的命题的形式 ,后者始终隐含地作为前提参与推理 ;( 3)关系推理和一切推理一样 ,其推演依据在于所有作为前提和结论的命题的逻辑性质 ,而根本不是“关系的逻辑性质”这种东西     

三种直言三段论的公理判定方法──对三段论的全面具体统一性的思考

关系直言判断、质量直言判断组成关系、质量、关系质量三种结构不同的三段论。它们组成以公理为根据的演绎系统，因而存在统一的普遍适用、简单易行的公理判定方法。一、关系直言判断是依据主、调项外延间关系不同（非形式标准）区分的直言判断。有五种，即：全同判断：S—（全同）P；种属判断：S＜（种属、真包含于）P；属种判断：S＞（底种、真包含）P；交叉判断：Sn（交叉）P；全异判断：S孝（全异）P；如直角就是goo的角（S＝P）；天文工作者的判断：所有行星都是天体（S＞P）。只有SEP即S孝P。关系直言三段论就是前提由关系直…     

卵形线的一个整体性质

卵形线是整体微分几何中的一种重要曲线,它是相对曲率k_r处处不变号、且不为O的平面简单闭曲线。下面以命题的形式提出并证明卵形线所特有的一个整体性质。〔命题〕卵形线内必包含唯一最大圆。此圆必内切于卵形线。证.存在性。设卵形线为Γ:I→R~2,s→Γ(s)。其中I=〔o,L),L是卵形线的全长。     

二次函数性质在证明不等式等问题中的应用

<正> 二次函数f(x)=ax~2+bx+c(a>0,x∈R)有如下性质:b~2-4ac≤0(<0)=f(x)≥0(>0)(x∈R) 由于上面性质是一个等价命题,因此有两个不同方向的应用,即由b~2-4ac≤0(<0)推出f(x)≥0(>0)(x∈R)及由f(x)≥0(>0)(x∈R)推出b~2-4ac≤0(<0)。下面     

Selberg方法的某些应用

给予若,设3二尸:<…2,我们用Selberg〔“’方法估计p。(x,x勺的上界时得P,(x,x’)(找(n)C·C。·x.~/C。,·x二\一万丁六丁一十口几万丁二万二~109 109丫1. iU匕弄、lu匕弄I此处C~n 户>2( 1\。__。P一1。,…     

否定命题与负命题辨析

在传统逻辑中,否定命题和负命题有其相似之处:语句表达上都带有否定词,命题内容即命题所反映的事物情况上,或是对事物情况具有的性质的否定,或是对事物情况存在的否定。如何辨析否定命题与负命题的逻辑特征,无疑对正确掌握这两种命题形式及推理是大有裨益的。     

直言三段论的化归——三段论研究之二

由于中项所处位置不同,直言三段论分成了四个格。在四个格中,第一格的有效式最典型的体现了三段论的演绎性质,它们的正确性是不证自明的;同时,从第一格三段论中能推出A、E、I、O四种性质判断的结论,因此,它又被称为完善的三段论,而第二、三、四格则不具备这些特点。但是通过一定方式,可以将第二、三、四格转换成第一格,这种转换我们叫三段论的化归,化归的方法主要是采用判断变形法,即换位、换质或换质位推理。