共查询到18条相似文献，搜索用时 635 毫秒
1.
戴春勤 《信阳师范学院学报(哲学社会科学版)》2008,28(1):68-70
传统词项逻辑预设直言命题主项非空,尽管可以使包括单称命题在内的对当关系全面成立,但是又带来词项逻辑不再具有普适性等诸多问题。因此,现代逻辑学家放弃了存在预设。由于三段论规则仅仅是判定规则,而不是推理规则,那么,被判定为有效的三段论是如何从前提得出结论的？除了运用欧拉图、文恩图和化归方法等外,还可以运用概念（词项）的限制或者概括方法从一个三段论的前提必然地得出结论。 相似文献
2.
王乃元 《徐州师范大学学报(哲学社会科学版)》2011,(4)
在具体的逻辑推演中,我们不妨从三段论每格所可能具有的有效式着手,构建三段论格式运用图。该图能迅速判定任一三段论式子是否有效,能就三段论的任一项而判定其所有可能式,同时也能从中探讨三段论有效式的组合规律。三段论格式图在实际的教学中也取得了良好的效果,即:既便于学生更直观地理解和掌握三段论的知识,也进一步丰富了形式逻辑的教学内容和方法。 相似文献
3.
岳利民 《语文学刊:高等教育版》2014,(3):84-86
现行逻辑学教材中的传统词项逻辑部分,还存在一些争议点.主要表现在三个方面：单称命题有没有量项,如何处理单称命题和全称命题的关系,三段论有哪些规则.我们认定：单称命题没有量项.对当关系推理中,单称命题不能作为全称命题来处理;三段论推理中,单称命题应作为全称命题来处理;命题变形推理中,单称命题可以作为全称命题来处理,也可以不作为全称命题来处理,不作为全称命题来处理为好.“在三段论中有且只有三个不同的项”不应作为三段论的一条基本规则. 相似文献
4.
三段论的本质问题是在前提中的大、小项通过系词"是"或"不是"分别与中项直接联系的情况下,以何种方式发挥中项的"媒介"作用,使得大项和小项也用系词"是"或者"不是"直接联系起来来得出结论.研究发现,中项发挥"媒介"作用的方式(或机制)是替换中项法.替换中项法是三段论的新方法,它能够一揽子解决三段论的推理问题、判定问题、证明问题和补充省略前提等问题;而规则法、文恩图解法和还原法等三段论方法一般只能解决其中某一个问题.此外,替换中项法还能够证明三段论传统规则.因此,替换中项法具有三段论其他方法无法比拟的优越性. 相似文献
5.
试论替换中项法——对三段论方法的反思与重建 总被引：1，自引：1，他引：0
词项逻辑特别是其中的核心部分直言三段论教学内容和方法的革新势在必行。现有的三段论方法本身都存在问题,应该重新探索能克服现有三段论方法的缺陷、能够解决三段论所有问题的简易方法,以利于逻辑学通识教育。研究表明,替换中项法正是我们发现的这种方法。 相似文献
6.
《毕节学院学报》1994,(1)
西方逻辑之父亚里士多德的伟大功绩是创立了推理的学说,并在此基础上建立了证明的科学。这位逻辑学的奠基人认为,三段论是推理的最佳形式,所以他在《工具论、前分析篇》中详细地探讨了三段论的各种有效形式,并对有效三段论的形式作出了严格而明确的规定。两千多年来。亚氏的这些成果经无数逻辑学家的整理、补充、完善、逐渐形成了一整套正确无误判定三段论有效式的规则系列,这就是三段论规则。人们依据这些规则,在分属四格的总共256个三段论式中,得出了举世公认的19个完全有效式。迄今为此,世界各国的各种传统逻辑教科书,在讲述三段论时,大抵都要介绍这些规则,尽管在规则的数目和表述上不全相同,但基本内容皆不出其窠臼。 相似文献
7.
张金兴 《淮阴师范学院学报(哲学社会科学版)》1996,(3)
在亚里士多德创建的三段论体系中，有着一整套正确判定三段论有效式的规则，人们依据这些规则，在分属四格的总共２５６个三段论式中，得出了举世公认的１９个完全有效式。近百年来，随着数理逻辑的产生和发展，有不少逻辑学家试图采用形式化的手段来重新解释亚氏三段论，但因存在这样那样的问题，他们的努力并没有取得完全的成功。我们当代逻辑学家林邦瑾在他的《制约逻辑》一书中，也对三段论的形式化问题进行了认真的探讨。令人惊喜的是，在他独创的制约逻辑Ｃｎ名词演算系统中，亚氏的三段论１９个完全有效式，都一一得到了圆满的证明。林氏这一近乎完美无缺的成功，无疑为三段论这一古老的推理形式要现代逻辑领域内的发展，开辟了灿烂的前景。 相似文献
8.
我们现在常用的形式逻辑教课书,主要有三个来源和三个组成部分:(1)亚里士多德的三段论理论(包含有对当关系理论、换位理论、直言三段论理论、模态三段论理论、矛盾律和排中律等词项逻辑理论);(2)麦加拉——斯多葛学派的复合命题和推理的理论;(3)归纳逻辑。本文只谈前两部分,只谈演绎逻辑。亚里士多德的词项逻辑和麦加拉——斯多葛派的命题逻辑,在古罗马结合到一起,经中兴纪既细腻又有点烦琐的充实,一直流 相似文献
9.
郑从富 《湖南师范大学教育科学学报》1988,(1)
在语言文字表达中,人们运用完整(既有两个前提一个结论,也有这三个判断的语言形式)而标准(即依“大前提——小前提——结论”这样的顺序排列)的三段论的情形是不多见的,而大量地运用它的省略形式,即省略三段论。从这个意义上说,三段论这类推理形式在思维实践中的作用的充分发挥,必须依赖于省略三段论。然而,目前逻辑论著中对省略三段论的论述却过于简单,还不能满足人们对三段论理论运用过程中的实际需要。因此,对于省略三段论很有作进一步探讨的必要。下面拟就省略三段论的定义、省略原则、判定标准、复原方法等问题,谈点粗浅看法。 相似文献
10.
郑从富 《湖南师范大学社会科学学报》1988,(1)
在语言文字表达中,人们运用完整(既有两个前提一个结论,也有这三个判断的语言形式)而标准(即依“大前提——小前提——结论”这样的顺序排列)的三段论的情形是不多见的,而大量地运用它的省略形式,即省略三段论。从这个意义上说,三段论这类推理形式在思维实践中的作用的充分发挥,必须依赖于省略三段论。然而,目前逻辑论著中对省略三段论的论述却过于简单,还不能满足人们对三段论理论运用过程中的实际需要。因此,对于省略三段论很有作进一步探讨的必要。下面拟就省略三段论的定义、省略原则、判定标准、复原方法等问题,谈点粗浅看法。 相似文献
11.
论替换中项法下的直言三段论自然推理系统 总被引：1，自引：1，他引：0
替换中项法是直言三段论新方法,利用该方法可以构遣直言三段论自然推理系统.在该系统中,利用替换中项法能够证明三段论的所有有效式,能够判定三段论的所有有效性,能够显示三段论如何从前提推出结论,能够提供补充三段论省略前提的线索. 相似文献
12.
亚里士多德模态三段论的化归 总被引：1，自引：0，他引：1
马雷 《黄冈师范学院学报》2003,23(2):62-67
在现代逻辑看来，亚里士多德实然三段论都可以化归为第一格AAA式。那么，现代逻辑如何看待亚式模态三段论的化归呢?亚式模态三段论可以化归为哪些格式呢?本认为，从联合演算出发，能更精确、更贴近地反映亚式模态三段论的原貌。本的分析表明，亚式模态三段论虽有疏漏，但仍然可以化归为基本的格式，因而自成系统。 相似文献
13.
胡媛媛 《黄石理工学院学报(人文社科版)》2006,23(2):44-47
欧拉图和文恩图作为逻辑学的辅助手段，对我们理解直言三段论的逻辑性质有帮助作用，但用欧拉图和文恩图来检验三段论有效式的有效性时会出现不同的问题，这对我们正确理解三段论会造成一定的困难。在这篇文章中，我将这两种图解法应用于三段论时可能出现的问题列举出来，希望在逻辑教学中对正确理解三段论有效式的有效性有帮助。 相似文献
14.
谈谈词项逻辑中的几个问题 总被引：1，自引：0，他引：1
余俊伟 《淮北职业技术学院学报》2006,5(2):11-14
“一个三段论有且只有三个概念”是构成三段论的条件,不是三段论规则。对当关系中的真假不定不能看作是一简单命题用于假言三段论。词项逻辑中涉及预设的地方仅为有限量换位推理,两个全称前提推出特称结论的三段论推理及反对关系推理和下反对关系推理所需预设均为:主项存在。从操作层面上看周延规则不是普遍适用的;从深层次来看,如考虑到预设,那么周延规则是普遍适用的。 相似文献
15.
在三段论前提中,通过系词"是"或者其否定"不是",中项与大、小项直接联系起来;同时,中项又把大、小项间隔开来.如何"消灭"、"扬弃"中项,把小项和大项也用系词"是"或者其否定"不是"直接联系起来,以得出所需要的结论?这是三段论的本质问题.解决此问题的方法是替换中项法.替换中项法是补充省略三段论的结论和前提的能行方法. 相似文献
16.
石崇森 《南宁师范高等专科学校学报》2009,26(2):90-92
在教学中,教师必须注意引导学生准确去把握项的角延性。只有准确把握项的周延性,才能理解和掌握AEIO四种判断的逻辑性质,进而才能正确地运用这四种判断去构造推理并掌握有关规则,尤其是直接推理和三段论规则。 相似文献
17.
周荃 《毕节师范高等专科学校学报》2013,(10):48-51
范畴三段论推理是演绎推理的一种重要形式,是从两个前提推论出结论的一种推理。范畴三段论属于三段论推理的基础领域,回顾范畴三段论推理的概念界定,实验任务设计,综述三段论推理的影响因素,重点介绍相关理论模型。 相似文献
18.
马雷 《淮阴师范学院学报(哲学社会科学版)》2003,25(3):303-306
一无谓词逻辑和类逻辑都不能完全反映传统词项逻辑的特征。亚氏逻辑与命题逻辑一样，都是二值逻辑。三段论蕴涵式比命题蕴涵式复杂，它表示一种特殊的蕴涵关系。希尔柏脱和阿克曼认为，对命题演算符号可作谓词演算的解释，也可作类演算的解释。通过对谓词的新解释，可以在命题演算、谓词演算与类演算之间建立起完全的类比，从而把传统推理的有些形式作现代逻辑的处理。这一联合演算思想虽未发育成熟，却能够为我们全面、深入地理解词项逻辑、谓词逻辑、类逻辑和命题逻辑之间的关系，特别是传统逻辑与现代逻辑的关系开辟广阔的空间。 相似文献