范畴三段论的研究进展

范畴三段论推理是演绎推理的一种重要形式,是从两个前提推论出结论的一种推理。范畴三段论属于三段论推理的基础领域,回顾范畴三段论推理的概念界定,实验任务设计,综述三段论推理的影响因素,重点介绍相关理论模型。     

关于广义量词many的广义三段论推理

三段论在自然语言信息处理和知识推理中占据着突出的地位,它们在自亚里士多德以来的逻辑中也一直扮演着重要作用。我们用广义量词many对传统三段论推理进行了扩展,利用广义量词理论和集合论,从语法上证明了14个广义三段论推理的有效性。这一方法为其他广义量词的广义三段论提供了一个简单合理的数学模式。     

演绎推理认知神经研究

本文从线性三段论推理、范畴三段推理和条件推理三方面简述了当前演绎推理认知神经研究的进展;从三方面归纳了近年来各类型演绎推理脑成像研究的脑激活区域,介绍了若干典型研究的技术模型;分析了当前研究的两方面分歧,即左右半球优势加工分歧、语义依赖和独立分歧,初步提出了当前研究的若干思路。     

谈谈词项逻辑中的几个问题

“一个三段论有且只有三个概念”是构成三段论的条件,不是三段论规则。对当关系中的真假不定不能看作是一简单命题用于假言三段论。词项逻辑中涉及预设的地方仅为有限量换位推理,两个全称前提推出特称结论的三段论推理及反对关系推理和下反对关系推理所需预设均为:主项存在。从操作层面上看周延规则不是普遍适用的;从深层次来看,如考虑到预设,那么周延规则是普遍适用的。     

范畴三段论推理中信念偏差效应的发展性研究

该研究从儿童范畴三段论推理特征的探讨出发,分析了信念偏差效应在儿童推理中的作用机制,结果表明:(1)小学三、五年级与初一年级儿童关于范畴三段论的推理均未达到推理能力的成熟水平.(2)信念偏差效应并未因年龄的增长而显著变化,总体呈现出两个特征:其一,逻辑状态与信念状态相一致时,信念促进逻辑反应,不一致时妨碍逻辑反应;其二,信念偏差分别以不同的作用方式相互独立地作用于前提编码与结论判断两个信息加工阶段.     

范畴三段论推理逻辑与信念研究——几种理论分析

范畴三段论推理中关于推理者逻辑与信念研究表明：（1）推理者倾向于接受可信结论,拒绝不可信结论 （2）倾向于接受有效结论,拒绝无效结论 （3）信念与逻辑存在交互作用。心理学家们在进行研究的同时,提出了许多重要的理论,这些理论亦各有优势与不足。     

直言三段论推理模型与方法

根据直言命题的语义和周延性方向性等性质构建直言三段论推理模型和推理方法,来简明、恰当处理包括传统三段论在内的所有直言三段论推理,提高直言三段论对日常思维的表达和规范能力,更好发挥三段论逻辑在推进素质教育中的重要作用.     

论非经典三段论有效推理的量与逻辑特征——兼与程仲棠教授商榷

含有负名词的直言命题变形推理后,根据经典三段论的推导规则,能够合乎逻辑地进行推导,并由此构建含有负名词的非经典三段论系统。非经典三段论突破了经典三段论的有效推导模式,扩大了直言三段论的推理范围,使三段论有效推理式由传统的24个增至41个。但引入负名词的非经典三段论的推导依然要遵循经典三段论的推导规则。     

谈三段论的基本规则及应用

三段论是形式逻辑中重要的推理形式之一，三段论的基本规则则是分析和解决三段论相关问题的关键。三段论基本规则在解决多种类型问题中要加以灵活地应用。     

前提与结论可信性对条件三段论推理的影响

本文采用演绎推理研究中的结论评估范式,考察前提与结论可信性在条件三段论推理中的作用。研究结果表明,被试在条件三段论推理中受结论可信性的影响表现出信念偏差效应;前提可信性通过改变人们进行逻辑分析的准备性而影响推理表现;前提可信性对被试在条件三段论推理中受结论可信性影响的程度有影响,但并不改变信念偏差效应的一般表现模式。     

论替换中项法下的直言三段论自然推理系统

替换中项法是直言三段论新方法,利用该方法可以构遣直言三段论自然推理系统.在该系统中,利用替换中项法能够证明三段论的所有有效式,能够判定三段论的所有有效性,能够显示三段论如何从前提推出结论,能够提供补充三段论省略前提的线索.     

试论替换中项法——对三段论方法的反思与重建

词项逻辑特别是其中的核心部分直言三段论教学内容和方法的革新势在必行。现有的三段论方法本身都存在问题,应该重新探索能克服现有三段论方法的缺陷、能够解决三段论所有问题的简易方法,以利于逻辑学通识教育。研究表明,替换中项法正是我们发现的这种方法。     

含负词项的三段论研究

基于词项逻辑的逻辑常项即词项联结词A、E、I、O的逻辑性质如对称性、周延性(范围和方向),可以建立三段论的新方法———替换中项法,来同时解决三段论的判定问题、直接的推理或者直接的证明问题,最后形成包括24个经典有效式的非经典三段论体系。经典三段论的规则立足于直言命题的四个组成要素:主项,谓项,量项和联项来判定三段论的有效性是不恰当的。     

亚里士多德模态三段论的化归

在现代逻辑看来，亚里士多德实然三段论都可以化归为第一格AAA式。那么，现代逻辑如何看待亚式模态三段论的化归呢?亚式模态三段论可以化归为哪些格式呢?本认为，从联合演算出发，能更精确、更贴近地反映亚式模态三段论的原貌。本的分析表明，亚式模态三段论虽有疏漏，但仍然可以化归为基本的格式，因而自成系统。     

论欧拉图和文恩图检验三段论有效式

欧拉图和文恩图作为逻辑学的辅助手段，对我们理解直言三段论的逻辑性质有帮助作用，但用欧拉图和文恩图来检验三段论有效式的有效性时会出现不同的问题，这对我们正确理解三段论会造成一定的困难。在这篇文章中，我将这两种图解法应用于三段论时可能出现的问题列举出来，希望在逻辑教学中对正确理解三段论有效式的有效性有帮助。     

也谈转折复句的内层蕴涵

转折复句的内层蕴涵是指在转折复句的转折关系中所蕴涵的逻辑思维形式。对于这一"内层蕴涵"有人分别指出过"蕴涵一个摸态判断"或"蕴涵假设解释",这些分析并没有将转折复句的内层蕴涵完全揭示出。转折复句的内层蕴涵应该是一个"摸态三段论"的推理过程。根据这一推理过程,我们可以确定一些检验转折复句的转折关系是否成立的原则。     

谈谈词项逻辑的几个问题

传统词项逻辑预设直言命题主项非空,尽管可以使包括单称命题在内的对当关系全面成立,但是又带来词项逻辑不再具有普适性等诸多问题。因此,现代逻辑学家放弃了存在预设。由于三段论规则仅仅是判定规则,而不是推理规则,那么,被判定为有效的三段论是如何从前提得出结论的？除了运用欧拉图、文恩图和化归方法等外,还可以运用概念（词项）的限制或者概括方法从一个三段论的前提必然地得出结论。     

在性质判断教学中如何引导学生准确把握项的周延性

在教学中,教师必须注意引导学生准确去把握项的角延性。只有准确把握项的周延性,才能理解和掌握AEIO四种判断的逻辑性质,进而才能正确地运用这四种判断去构造推理并掌握有关规则,尤其是直接推理和三段论规则。     

逻辑判断在司法三段论中的作用探讨

法律中的逻辑判断的表现形式就是法律推理。法律推理主要运用于司法领域,其逻辑模式是三段论法,大前提是法律规范,小前提是案件事实,结论是法律规范赋予案件事实的后果。逻辑判断在司法三段论中的意义是：体现现代法治理念;体现法律的科学性;提高司法效率。谨守逻辑形式并避免谬误可以说服别人,并给予司法判决正当性,维护法律的科学性和确定性。