传统三段论的一个简明体系——基于直言命题语义与性质

传统逻辑中的直言命题其实是表达论域上两个集合外延关系、具有二元量化结构的命题的特例。直言命题的语义与对称性和周延的方向性等性质是三段论的根据,据此可以建立传统三段论简明体系。     

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

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

含负词项的三段论研究

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

用现代逻辑方法证明直言命题变形推理的有效性

直言命题变形推理是否有效,引入现代逻辑CS系统可以对直言命题变形推理进行构造和证明。它改变了我们传统依赖变形推理规则考察变形推理能否成立的做法,丰富了形式逻辑的教学内容。同时,通过对CS系统的引入,能够证明A、O命题是可以进行同质等值换位的。     

论替换中项法——对三段论方法的新探索

三段论的本质问题是在前提中的大、小项通过系词"是"或"不是"分别与中项直接联系的情况下,以何种方式发挥中项的"媒介"作用,使得大项和小项也用系词"是"或者"不是"直接联系起来来得出结论.研究发现,中项发挥"媒介"作用的方式(或机制)是替换中项法.替换中项法是三段论的新方法,它能够一揽子解决三段论的推理问题、判定问题、证明问题和补充省略前提等问题;而规则法、文恩图解法和还原法等三段论方法一般只能解决其中某一个问题.此外,替换中项法还能够证明三段论传统规则.因此,替换中项法具有三段论其他方法无法比拟的优越性.     

传统逻辑直言命题对当关系推理成立之条件

传统逻辑直言命题对当关系的推理并不是在任何条件下都成立,而是有这样一个重要的预设：主项和谓项所反映的对象不是空类,都是客观存在的。     

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

对于直言命题谓项周延性的教学,教师感到棘手,学生很难理解。如能根据学生“直观→实践”的学习心理活动方式和语言逻辑的实际能力,采用添加法、换位法、图示法等直观教学法,则可有效突破这一教与学的难点。     

略论司法三段论

司法三段论作为司法裁判的主要模式,是在法律适用过程中,法官以法律规则、原则等为大前提,以案件法律事实命题为小前提,通过假言命题推理得出判决结论的推理方法。这种方法的模式、评价标准与逻辑三段论存在着差异,准确把握这一点对于法律理论研究和司法裁决活动有重要意义。     

关于直言命题间的对当关系问题

在讲授传统形式逻辑直言命题间的对当关系时,应着力讲清直言命题间真假制约关系的理论依据,关于对直言命题主项认定的几种情形,以及命题间对当关系研究进展的概况等问题,才能对对当关系理论有较为全面而正确的解说和便于人们的理解。     

了解三段论正确填理由

在学习平行线的判定和性质这个知识点时，涉及到几何命题的证明问题，有的同学在解答相关题目时，填写的理由经常会出现因果倒置的错误码。为此，有必要了解三段论推理法。[第一段]     

基于量词语义与性质的扩展三段论

在广义量词理论中,如果一个表达两个集合外延关系的二元量词具有单调性等性质,那么该量词及其外否定、内否定和对偶否定在单调性方面存在相互制约关系,从而构成单调方阵。基于二元量词的语义和单调性等性质,可以简洁明了地进行包括传统三段论在内的扩展三段论推理,从而极大地提高了三段论的表达能力和对日常思维的规范能力。     

DNA序列的分类模型

应用模糊分类的思想,利用多元统计方法完成对DNA序列的分类界定.     

三段论规则的表述和阐释

长期以来,对三段论规则的确立众说不一,对三段论规则的阐释各执其理,给逻辑学教学带来一些困惑。本文从质的规定性,量的限定性和使用的方便性三方面出发,确立了三段论8条规则,对三段论阐释提出了三段论公理是显而易见的重要论据。     

三段论格式图的构建与运用

在具体的逻辑推演中,我们不妨从三段论每格所可能具有的有效式着手,构建三段论格式运用图。该图能迅速判定任一三段论式子是否有效,能就三段论的任一项而判定其所有可能式,同时也能从中探讨三段论有效式的组合规律。三段论格式图在实际的教学中也取得了良好的效果,即:既便于学生更直观地理解和掌握三段论的知识,也进一步丰富了形式逻辑的教学内容和方法。     

三段论的逻辑美解读

三段论作为传统逻辑的精华,不仅向人们昭示了逻辑的真理体系(即逻辑真),反映了人类从逻辑思维的角度对客观世界把握的程度,展示了人类认识的发展进程,因而具有认识论的价值;而且也向人们昭示了三段论作为人类对思维探索的结晶,蕴含了深刻而丰富的理性美,因而三段论的逻辑结构、推理形式和逻辑体系亦可作为审美对象,具有审美价值(即逻辑美),具体表现为其逻辑结构的严谨美、推理形式的简洁美和逻辑体系的和谐美.正是由于三段论集求真与审美于一体,因而它吸引了无数逻辑学家对其进行分析、研究.与此同时,被人们广泛运用于科学研究、思维论辩和日常生活,并对培养创新人才的思维品性--"理智德性",具有十分重要的德育功能(即逻辑善).     

德摩根的三段论与亚里士多德三段论之比较研究

三段论理论是逻辑理论中非常重要的一个组成部分,其创始人是古希腊哲学家亚里士多德。而后来的德摩根对三段论的论述也有其独到之处。文章将就他们对三段论的不同阐释作简单论述与比较。     

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

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

亚里士多德三段论与其他传统三段论之区别

传统三段论是对形式逻辑之父亚里士多德所创立的三段论的继承与发展,但两者在三段论的定义,前提、组成前提的命题以及前提和结论之间的关系,大词、中词、小词的表述,三段论的格与式,三段论的规则,及三段论的证明方法诸方面都有很大的差异。