共查询到17条相似文献，搜索用时 171 毫秒
1.
马雷 《合肥教育学院学报》2005,22(1):42-44
在《前分析篇》中，亚里士多德用大量篇幅讨论了模态三段论问题。亚氏模态三段论自成系统，可以尝试从现代逻辑的联合演算观出发构筑这一系统。 相似文献
2.
王乃元 《徐州师范大学学报(哲学社会科学版)》2011,(4)
在具体的逻辑推演中,我们不妨从三段论每格所可能具有的有效式着手,构建三段论格式运用图。该图能迅速判定任一三段论式子是否有效,能就三段论的任一项而判定其所有可能式,同时也能从中探讨三段论有效式的组合规律。三段论格式图在实际的教学中也取得了良好的效果,即:既便于学生更直观地理解和掌握三段论的知识,也进一步丰富了形式逻辑的教学内容和方法。 相似文献
3.
戴春勤 《信阳师范学院学报(哲学社会科学版)》2008,28(1):68-70
传统词项逻辑预设直言命题主项非空,尽管可以使包括单称命题在内的对当关系全面成立,但是又带来词项逻辑不再具有普适性等诸多问题。因此,现代逻辑学家放弃了存在预设。由于三段论规则仅仅是判定规则,而不是推理规则,那么,被判定为有效的三段论是如何从前提得出结论的？除了运用欧拉图、文恩图和化归方法等外,还可以运用概念（词项）的限制或者概括方法从一个三段论的前提必然地得出结论。 相似文献
4.
张金兴 《淮阴师范学院学报(哲学社会科学版)》1996,(3)
在亚里士多德创建的三段论体系中，有着一整套正确判定三段论有效式的规则，人们依据这些规则，在分属四格的总共２５６个三段论式中，得出了举世公认的１９个完全有效式。近百年来，随着数理逻辑的产生和发展，有不少逻辑学家试图采用形式化的手段来重新解释亚氏三段论，但因存在这样那样的问题，他们的努力并没有取得完全的成功。我们当代逻辑学家林邦瑾在他的《制约逻辑》一书中，也对三段论的形式化问题进行了认真的探讨。令人惊喜的是，在他独创的制约逻辑Ｃｎ名词演算系统中，亚氏的三段论１９个完全有效式，都一一得到了圆满的证明。林氏这一近乎完美无缺的成功，无疑为三段论这一古老的推理形式要现代逻辑领域内的发展，开辟了灿烂的前景。 相似文献
5.
张金兴 《昆明师范高等专科学校学报》1996,(2)
亚里士多德是西方逻辑学的奠基者,他提出的三段论在逻辑学的发展中有深远的影响。随着现代逻辑的兴起和发展,传统的三段论得以改造。文章就数理逻辑的发展使亚氏三段论中19个完全有效式只存在15个,以及制约逻辑给亚氏三段论建构了一个既完全合乎原貌,又易为人理解接受的较彻底的形式语言系统,进行了有说服力的论述。 相似文献
6.
马雷 《淮阴师范学院学报(哲学社会科学版)》2003,25(3):303-306
一无谓词逻辑和类逻辑都不能完全反映传统词项逻辑的特征。亚氏逻辑与命题逻辑一样，都是二值逻辑。三段论蕴涵式比命题蕴涵式复杂，它表示一种特殊的蕴涵关系。希尔柏脱和阿克曼认为，对命题演算符号可作谓词演算的解释，也可作类演算的解释。通过对谓词的新解释，可以在命题演算、谓词演算与类演算之间建立起完全的类比，从而把传统推理的有些形式作现代逻辑的处理。这一联合演算思想虽未发育成熟，却能够为我们全面、深入地理解词项逻辑、谓词逻辑、类逻辑和命题逻辑之间的关系，特别是传统逻辑与现代逻辑的关系开辟广阔的空间。 相似文献
7.
王立群 《兰州教育学院学报》1990,(1)
五什么是三段论的省略式?怎样补足省略部分? 三段论的省略式就是在用语言表达思想时,省略了组成三段论的某一部分或两个部分的三段论。每一个三段论,在逻辑结构上必须包含大、小前提和结论三个部分,缺一不可。但 相似文献
8.
萧瑶 《和田师范专科学校学报》2007,27(5):200-200
本文结合亚里士多德在分析三段论的有效式时用到的化归思想,运用集合论的知识,建立了自然演绎系统S＊,给出判定三段论的有效性的一种方法,并与亚里士多德的方法进行比较。 相似文献
9.
对因明三支论式和亚氏三段论式的比较研究能揭示人类思维形式的一致性及各民族思维的特殊性。三支论式和三段论式二者在推论形式上基本一致，但又有各自的内涵，在各自的逻辑体系中所起的作用是不一样的。因明三支论式是以论辩为目的，它的三支不局限于大词、中词、小词的形式化，而亚氏三段论是形式化的演绎逻辑，它是以符合逻辑规则，由前提蕴涵结论。这是二者的本质区别。 相似文献
10.
胡媛媛 《黄石理工学院学报(人文社科版)》2006,23(2):44-47
欧拉图和文恩图作为逻辑学的辅助手段，对我们理解直言三段论的逻辑性质有帮助作用，但用欧拉图和文恩图来检验三段论有效式的有效性时会出现不同的问题，这对我们正确理解三段论会造成一定的困难。在这篇文章中，我将这两种图解法应用于三段论时可能出现的问题列举出来，希望在逻辑教学中对正确理解三段论有效式的有效性有帮助。 相似文献
11.
关兴丽 《黔南民族师范学院学报》2005,25(2):49-54
通过对墨家与亚里士多德指称论思想的比较研究，揭示出亚里士多德对语词的研究主要涉及的是上下义关系的词，这正是建立三段论的基础；而墨家却很少谈论上下义关系的词，所以形成了不同于亚里士多德的逻辑。 相似文献
12.
基于词项逻辑的逻辑常项即词项联结词A、E、I、O的逻辑性质如对称性、周延性(范围和方向),可以建立三段论的新方法———替换中项法,来同时解决三段论的判定问题、直接的推理或者直接的证明问题,最后形成包括24个经典有效式的非经典三段论体系。经典三段论的规则立足于直言命题的四个组成要素:主项,谓项,量项和联项来判定三段论的有效性是不恰当的。 相似文献
13.
作为一种独具特色的,兼具演绎与归纳的逻辑论证说理的言说方式,连珠一直没有得到足够的重视,但是它原初的形式对我们研究语言逻辑,辩证逻辑以及非形式逻辑有很大的启发。连珠可以说是中国逻辑史上学者们进行的一种具有汉语特色的思维形式化的探索,它作为一种论证形式与三段论所产生的目的不同,关注点自然也不同。 相似文献
14.
谈谈词项逻辑中的几个问题 总被引：1，自引：0，他引：1
余俊伟 《淮北职业技术学院学报》2006,5(2):11-14
“一个三段论有且只有三个概念”是构成三段论的条件,不是三段论规则。对当关系中的真假不定不能看作是一简单命题用于假言三段论。词项逻辑中涉及预设的地方仅为有限量换位推理,两个全称前提推出特称结论的三段论推理及反对关系推理和下反对关系推理所需预设均为:主项存在。从操作层面上看周延规则不是普遍适用的;从深层次来看,如考虑到预设,那么周延规则是普遍适用的。 相似文献
15.
试论替换中项法——对三段论方法的反思与重建 总被引：1，自引：1，他引：0
词项逻辑特别是其中的核心部分直言三段论教学内容和方法的革新势在必行。现有的三段论方法本身都存在问题,应该重新探索能克服现有三段论方法的缺陷、能够解决三段论所有问题的简易方法,以利于逻辑学通识教育。研究表明,替换中项法正是我们发现的这种方法。 相似文献
16.
17.
亚里士多德逻辑学说的“源”与“流” 总被引：1，自引：0，他引：1
滕定明 《内蒙古大学学报(人文社会科学版)》2001,33(3):111-114
古希腊学是亚里士多德逻辑学说的出发点。我们有理由断定：无论昨天、今天抑或明天，逻辑科学的发展离不开浩瀚的学海洋。 相似文献