学生直言三段论推理出错的心理学分析

学生在直言三段论推理过程中经常会出错，这主要是因为构成直言三段论的内容、格、式、学生的工作记忆、所采用认知策略及文化传统的影响。对此，学校教育中的干预措施有：（1）正确理解直言三段论推理；（2）进行认知策略的教学；（3）适当提前训练的起始年龄。     

三段论的语言表达式及其分析

三段论也叫直言三段论,它是由包含一个共同项的两个直言命题作前提,推出一个新的直言命题作结论的演绎推理.三段论由大前提、小前提和结论三部分构成,并且包含三个不同的词项:大项(P)、中项(M)和小项(S).在思维中,这三部分及三个不同的词项不能多也不能少,而且其排列顺序必须前提在前,结论在后,大前提在前,小前提在后.三段论能否推出必然结论,决定于它是否符合三段论的规则,符合规则而能推出必然结论的三段论形式称为有效式,否则就是无效的.三段论共有24个有效式,这就是第一格的AAA、EAE、AII、EIO、AAI、EAO式;第二格的AEE、EAE、AOO、EIO、AEO、EAO式;第三格的AAI、EAO、AII、EIO、IAI、OAO式;第四格的AAI、AEE、EAO、EIO、IAI、AEO式.这24个有效式以外的三段论(如果也称为三段论的话)都是无效式或非标准形式的三段论.本文不打算讨论三段论规则及其有效性,只就三段论的丰富多彩的语言表达式,其中包括非标准形式作点初步的探讨,以求教于大家.     

论三段论各格的规则

长期以来，在逻辑学界人们总是认为，如果要检验一个三段论的式是否有效，既可以使用三段论的一般规则，又可以使用三段论各格的特殊规则。也就是说，三段论各格的特殊规则和三段论的一般规则一样可以当作推理的规则使用。按理说，既然如此，检验的结果应是一样的，或都是有效式，或都是无效式。但我们却从中了现了一个问题，即有时运用三段论各格的规则和运用三段论的一般规则去检验一个三段论式，某结果却是完全相反。如果用三段论第一格的特殊规则去检验，小前提肯定，大前提全称，发现这是一个有效式。反之，再用三段论的一般规则去检验…     

亚氏三段论与传统三段论之比较

传统三段论和亚里士多德的三段论在概念、内容、命题的表述以及规则的作用等方面都有区别,传统三段论发展了亚氏三段论的部分理论。     

对性质判断主谓项的周延性问题的再认识

性质判断主谓项的周延性问题在传统形式逻辑性质判断理论中占有重要地位,弄清楚这个问题,对于正确理解各类性质判断逻辑形式的含义和特性,对于合乎逻辑地进行相关的推理,特别是直言三段论的推理,具有重要意义。一般教材都从性质判断的量项和联项的角度来分析其主谓项周延性问题,本文将结合欧拉图来演示性质判断主谓项的周延性问题,以供初学者参考。     

例说逻辑三段论的复合类型

三段论是一种常用而古老的推理。早在二千三百年前,亚里士多德就创立了这种推理理论,而且当时一提出来就相当完备,以致今天没有多大的增补。黑格尔对此有所评价:“亚里士多德是考察并描述三段论的各种形式和所谓格的主观意义的第一人。他做得那样严密和正确,以致从来没有人在本质上对他的研究成果有所增加。”(黑格尔:《小逻辑》三联书店1954年版第364页)的确,对由三个直言     

基于贝叶斯方法的事件推理

为了处理逻辑推理中，事件信息不确定不完整的情况，本文在传统事件演算的框架下，引入了贝叶斯概率的算法思想，给出了基于贝叶斯方法的事件推理的方法，实现了对传统方法的有效扩展。该方法能在网络诊断、交通事故推断等重要领域得到很好的应用。     

普通(形式)逻辑推理应是演绎的一统天下

(一)我们所见到的我国现行高校普通(形式)逻辑教材,多是按传统观点把推理分为演绎、归纳、类比三大类。将推理分为演绎、归纳、类比三大类,必然定义:演绎是从一般到特殊的推理;归纳是从特殊到一般的推理;类比是从特殊到特殊的推理。但事实上,演绎并非一般到特殊的推理;归纳并非特殊到一般的推理,类比也并非特殊到特殊的推理。仅以演绎为例,典型的演绎是直言三段论,人们常用以为例的“凡人皆有死,张三是人,张三有死”就不是从一般到特殊的推理,而事实是一般与个别“合取”推个     

一阶谓词逻辑反驳演算自然推理系统

反驳各种逻辑谬误离不开对矛盾式的认识和理解。为此,构建了一个直观的包含所有矛盾式的一阶谓词逻辑反驳演算的自然推理系统;根据定义的语义解释,考察了该系统的一些元理论。在此基础上,考察了一阶谓词逻辑反驳演算系统和证明系统的关系,证明了两个重要结果:(1)谓词逻辑反驳演算系统中的任一矛盾式都对应于经典谓词逻辑证明系统中的有效式;(2)谓词逻辑反驳演算系统包含经典谓词逻辑的证明系统,即通常的谓词逻辑公理系统是反驳演算的一个子系统。     

三段论和归纳法在亚里士多德哲学和修辞学中的不同运用

三段论和归纳法在亚里士多德的思想体系中具有两种完全不同的运用：在哲学中归纳法为三段论提供真实必然的初始前提，三段论保证推理过程的必然性，其结果是科学知识；在修辞学中，归纳法表现为例证，三段论表现为论证，两者都不要求必然性，其结果是说服。亚里士多德对于三段论和归纳法的两种运用确立哲学和修辞学的紧密联系，促进了修辞学的诞生。