共查询到18条相似文献，搜索用时 109 毫秒
1.
胡媛媛 《黄石理工学院学报(人文社科版)》2006,23(2):44-47
欧拉图和文恩图作为逻辑学的辅助手段，对我们理解直言三段论的逻辑性质有帮助作用，但用欧拉图和文恩图来检验三段论有效式的有效性时会出现不同的问题，这对我们正确理解三段论会造成一定的困难。在这篇文章中，我将这两种图解法应用于三段论时可能出现的问题列举出来，希望在逻辑教学中对正确理解三段论有效式的有效性有帮助。 相似文献
2.
论替换中项法下的直言三段论自然推理系统 总被引：1，自引：1，他引：0
替换中项法是直言三段论新方法,利用该方法可以构遣直言三段论自然推理系统.在该系统中,利用替换中项法能够证明三段论的所有有效式,能够判定三段论的所有有效性,能够显示三段论如何从前提推出结论,能够提供补充三段论省略前提的线索. 相似文献
3.
张金兴 《淮阴师范学院学报(哲学社会科学版)》1996,(3)
在亚里士多德创建的三段论体系中，有着一整套正确判定三段论有效式的规则，人们依据这些规则，在分属四格的总共２５６个三段论式中，得出了举世公认的１９个完全有效式。近百年来，随着数理逻辑的产生和发展，有不少逻辑学家试图采用形式化的手段来重新解释亚氏三段论，但因存在这样那样的问题，他们的努力并没有取得完全的成功。我们当代逻辑学家林邦瑾在他的《制约逻辑》一书中，也对三段论的形式化问题进行了认真的探讨。令人惊喜的是，在他独创的制约逻辑Ｃｎ名词演算系统中，亚氏的三段论１９个完全有效式，都一一得到了圆满的证明。林氏这一近乎完美无缺的成功，无疑为三段论这一古老的推理形式要现代逻辑领域内的发展，开辟了灿烂的前景。 相似文献
4.
亚里士多德模态三段论的化归 总被引：1，自引：0，他引：1
马雷 《黄冈师范学院学报》2003,23(2):62-67
在现代逻辑看来，亚里士多德实然三段论都可以化归为第一格AAA式。那么，现代逻辑如何看待亚式模态三段论的化归呢?亚式模态三段论可以化归为哪些格式呢?本认为，从联合演算出发，能更精确、更贴近地反映亚式模态三段论的原貌。本的分析表明，亚式模态三段论虽有疏漏，但仍然可以化归为基本的格式，因而自成系统。 相似文献
5.
基于词项逻辑的逻辑常项即词项联结词A、E、I、O的逻辑性质如对称性、周延性(范围和方向),可以建立三段论的新方法———替换中项法,来同时解决三段论的判定问题、直接的推理或者直接的证明问题,最后形成包括24个经典有效式的非经典三段论体系。经典三段论的规则立足于直言命题的四个组成要素:主项,谓项,量项和联项来判定三段论的有效性是不恰当的。 相似文献
6.
《毕节学院学报》1994,(1)
西方逻辑之父亚里士多德的伟大功绩是创立了推理的学说,并在此基础上建立了证明的科学。这位逻辑学的奠基人认为,三段论是推理的最佳形式,所以他在《工具论、前分析篇》中详细地探讨了三段论的各种有效形式,并对有效三段论的形式作出了严格而明确的规定。两千多年来。亚氏的这些成果经无数逻辑学家的整理、补充、完善、逐渐形成了一整套正确无误判定三段论有效式的规则系列,这就是三段论规则。人们依据这些规则,在分属四格的总共256个三段论式中,得出了举世公认的19个完全有效式。迄今为此,世界各国的各种传统逻辑教科书,在讲述三段论时,大抵都要介绍这些规则,尽管在规则的数目和表述上不全相同,但基本内容皆不出其窠臼。 相似文献
7.
萧瑶 《和田师范专科学校学报》2007,27(5):200-200
本文结合亚里士多德在分析三段论的有效式时用到的化归思想,运用集合论的知识,建立了自然演绎系统S＊,给出判定三段论的有效性的一种方法,并与亚里士多德的方法进行比较。 相似文献
8.
三段论的式,就是由A、E、I、D四种判断在两前提一结论中的不同组合方式而构成的不同的三段论形式。其中,每个格都有64个可能式,四个格共有256个可能式。但是,在这些可能式中,组合形式正确即符合三段论一般规则和特殊规则的只有24个式(包括5个弱式)。这24个式,均可由三段论的一般规则和特殊规则推出。究竟如何推出呢? 相似文献
9.
凡性质命题推理有效式。就是在欧拉图解中证明为前提真结论必然真的推理形式;凡性质命题推理无效式．就是在欧拉图解中证明为前提真结论并非必然真的推理形式。运用欧拉图解法要掌握三个要点：准确画图、准确识图和准确判定。判定三段论的有效性。要能根据假定前提为真时的大、小前提命题形式的欧拉图．准确无误地画出S、P、M三者外延关系的欧拉图。判定性质命题变形推理的有效性,必须把S、P两个主、谓项的欧拉图。改造成S、P、S、P四个主、谓项的欧拉图,并能准确识别四种性质命题形式欧拉图中S与P、S与P、S与P、S与P这四种外延关系分图。 相似文献
10.
戴春勤 《信阳师范学院学报(哲学社会科学版)》2008,28(1):68-70
传统词项逻辑预设直言命题主项非空,尽管可以使包括单称命题在内的对当关系全面成立,但是又带来词项逻辑不再具有普适性等诸多问题。因此,现代逻辑学家放弃了存在预设。由于三段论规则仅仅是判定规则,而不是推理规则,那么,被判定为有效的三段论是如何从前提得出结论的？除了运用欧拉图、文恩图和化归方法等外,还可以运用概念（词项）的限制或者概括方法从一个三段论的前提必然地得出结论。 相似文献
11.
褚木兰 《河北北方学院学报(社会科学版)》2000,(4)
长期以来,对三段论规则的确立众说不一,对三段论规则的阐释各执其理,给逻辑学教学带来一些困惑。本文从质的规定性,量的限定性和使用的方便性三方面出发,确立了三段论8条规则,对三段论阐释提出了三段论公理是显而易见的重要论据。 相似文献
12.
谈谈词项逻辑中的几个问题 总被引：1，自引：0，他引：1
余俊伟 《淮北职业技术学院学报》2006,5(2):11-14
“一个三段论有且只有三个概念”是构成三段论的条件,不是三段论规则。对当关系中的真假不定不能看作是一简单命题用于假言三段论。词项逻辑中涉及预设的地方仅为有限量换位推理,两个全称前提推出特称结论的三段论推理及反对关系推理和下反对关系推理所需预设均为:主项存在。从操作层面上看周延规则不是普遍适用的;从深层次来看,如考虑到预设,那么周延规则是普遍适用的。 相似文献
13.
传统三段论是对形式逻辑之父亚里士多德所创立的三段论的继承与发展,但两者在三段论的定义,前提、组成前提的命题以及前提和结论之间的关系,大词、中词、小词的表述,三段论的格与式,三段论的规则,及三段论的证明方法诸方面都有很大的差异。 相似文献
14.
15.
三段论理论是逻辑理论中非常重要的一个组成部分,其创始人是古希腊哲学家亚里士多德。而后来的德摩根对三段论的论述也有其独到之处。文章将就他们对三段论的不同阐释作简单论述与比较。 相似文献
16.
谢奇勇 《湘潭师范学院学报(社会科学版)》2004,26(6):23-25
转折复句的内层蕴涵是指在转折复句的转折关系中所蕴涵的逻辑思维形式。对于这一"内层蕴涵"有人分别指出过"蕴涵一个摸态判断"或"蕴涵假设解释",这些分析并没有将转折复句的内层蕴涵完全揭示出。转折复句的内层蕴涵应该是一个"摸态三段论"的推理过程。根据这一推理过程,我们可以确定一些检验转折复句的转折关系是否成立的原则。 相似文献
17.
法律中的逻辑判断的表现形式就是法律推理。法律推理主要运用于司法领域,其逻辑模式是三段论法,大前提是法律规范,小前提是案件事实,结论是法律规范赋予案件事实的后果。逻辑判断在司法三段论中的意义是：体现现代法治理念;体现法律的科学性;提高司法效率。谨守逻辑形式并避免谬误可以说服别人,并给予司法判决正当性,维护法律的科学性和确定性。 相似文献
18.
刘艳芳 《湖北广播电视大学学报》2009,29(10):100-101
幽默作为语言的一种特殊的表现形式,蕴育特定的文化内涵。幽默信息的传递通常是采取省略三段论的原则。本文将幽默所蕴含的文化内涵与省略三段论原则结合起来,讨论正是省略三段论原则的存在导致幽默交际的失败,并指出幽默信息传递中应当采取恢复三段论的原则。 相似文献