共查询到20条相似文献，搜索用时 31 毫秒
1.
亚里士多德模态三段论的化归 总被引：1，自引：0，他引：1
马雷 《黄冈师范学院学报》2003,23(2):62-67
在现代逻辑看来，亚里士多德实然三段论都可以化归为第一格AAA式。那么，现代逻辑如何看待亚式模态三段论的化归呢?亚式模态三段论可以化归为哪些格式呢?本认为，从联合演算出发，能更精确、更贴近地反映亚式模态三段论的原貌。本的分析表明，亚式模态三段论虽有疏漏，但仍然可以化归为基本的格式，因而自成系统。 相似文献
2.
论替换中项法下的直言三段论自然推理系统 总被引：1，自引：1，他引：0
替换中项法是直言三段论新方法,利用该方法可以构遣直言三段论自然推理系统.在该系统中,利用替换中项法能够证明三段论的所有有效式,能够判定三段论的所有有效性,能够显示三段论如何从前提推出结论,能够提供补充三段论省略前提的线索. 相似文献
3.
王志彬 《宿州教育学院学报》2007,10(1):104-106
含有负名词的直言命题变形推理后,根据经典三段论的推导规则,能够合乎逻辑地进行推导,并由此构建含有负名词的非经典三段论系统。非经典三段论突破了经典三段论的有效推导模式,扩大了直言三段论的推理范围,使三段论有效推理式由传统的24个增至41个。但引入负名词的非经典三段论的推导依然要遵循经典三段论的推导规则。 相似文献
4.
张金兴 《淮阴师范学院学报(哲学社会科学版)》1996,(3)
在亚里士多德创建的三段论体系中，有着一整套正确判定三段论有效式的规则，人们依据这些规则，在分属四格的总共２５６个三段论式中，得出了举世公认的１９个完全有效式。近百年来，随着数理逻辑的产生和发展，有不少逻辑学家试图采用形式化的手段来重新解释亚氏三段论，但因存在这样那样的问题，他们的努力并没有取得完全的成功。我们当代逻辑学家林邦瑾在他的《制约逻辑》一书中，也对三段论的形式化问题进行了认真的探讨。令人惊喜的是，在他独创的制约逻辑Ｃｎ名词演算系统中，亚氏的三段论１９个完全有效式，都一一得到了圆满的证明。林氏这一近乎完美无缺的成功，无疑为三段论这一古老的推理形式要现代逻辑领域内的发展，开辟了灿烂的前景。 相似文献
5.
长期以来，对三段论规则的确立众说不一，对三段论规则的阐释各执其理，给逻辑学教学带来一些困惑，本从质的规定性，量的限定性和使用的方便性三方面出发，确立了三段论8条规则，对三段论阐释提出了三段论公理是显而易见的重要论据。 相似文献
6.
我们现在常用的形式逻辑教课书,主要有三个来源和三个组成部分:(1)亚里士多德的三段论理论(包含有对当关系理论、换位理论、直言三段论理论、模态三段论理论、矛盾律和排中律等词项逻辑理论);(2)麦加拉——斯多葛学派的复合命题和推理的理论;(3)归纳逻辑。本文只谈前两部分,只谈演绎逻辑。亚里士多德的词项逻辑和麦加拉——斯多葛派的命题逻辑,在古罗马结合到一起,经中兴纪既细腻又有点烦琐的充实,一直流 相似文献
7.
三段论格规则的性质与作用质文已多次读到关于三段论格的规则的有关论文，最近一篇是《西藏民族学院学报》上高光耀同志文章。这些文章的共同特点是，对三段论各格规则的性质与作用理解不确．三段论有几条总规则，总规则确是三段论形式正确的充分且必要条件．这样说，格的... 相似文献
8.
杜国平 《淮阴师范学院学报(哲学社会科学版)》2000,22(2):98-100
显示法是亚里士多德纯必然三段论证明的关键,本文给出了显示证明的形式刻划,在此基础上建立了一个亚里士多德纯必然三段论的形式系统。最后分析了该形式系统和亚里士多德纯必然的三段论系统的关系。 相似文献
9.
胡媛媛 《黄石理工学院学报(人文社科版)》2006,23(2):44-47
欧拉图和文恩图作为逻辑学的辅助手段，对我们理解直言三段论的逻辑性质有帮助作用，但用欧拉图和文恩图来检验三段论有效式的有效性时会出现不同的问题，这对我们正确理解三段论会造成一定的困难。在这篇文章中，我将这两种图解法应用于三段论时可能出现的问题列举出来，希望在逻辑教学中对正确理解三段论有效式的有效性有帮助。 相似文献
10.
张春香 《濮阳教育学院学报》2001,14(2):13-14
三段论是形式逻辑中重要的推理形式之一，三段论的基本规则则是分析和解决三段论相关问题的关键。三段论基本规则在解决多种类型问题中要加以灵活地应用。 相似文献
11.
张春香 《濮阳职业技术学院学报》2001,14(2):13-14
三段论是形式逻辑中重要的推理形式之一，三段论的基本规则则是分析和解决三段论相关问题的关键。三段论基本规则在解决多种类型问题中要加以灵活地应用。 相似文献
12.
张金兴 《昆明师范高等专科学校学报》1996,(2)
亚里士多德是西方逻辑学的奠基者,他提出的三段论在逻辑学的发展中有深远的影响。随着现代逻辑的兴起和发展,传统的三段论得以改造。文章就数理逻辑的发展使亚氏三段论中19个完全有效式只存在15个,以及制约逻辑给亚氏三段论建构了一个既完全合乎原貌,又易为人理解接受的较彻底的形式语言系统,进行了有说服力的论述。 相似文献
13.
王利民 《广西师范大学学报(哲学社会科学版)》1989,(Z1)
在研究由必然命题和实然命题组成的模态三段论的问题上,亚里士多德的弟子德奥夫拉斯特和欧德谟斯不同意他们老师的观点。他们认为:“如果有一个前提是实然的,那么结论也应当是实然的;正象如果有一个前提是否定的,则结论也应当是否定的,并且如果有一个前提是特称的,则结论也应当是特称的一样。”将他们的思想第一次表述为:结论随着弱前提的规则。到了中世纪时期,德奥夫拉斯特和欧德谟斯的这一观点被经院哲学家发展成:结论永远由最弱的部分规定的规则。这样“弱式原则”就被推广到整个模态三段论理论,即可能的弱于实然的,实然的弱于必然的。在一个三段论中,如果前提中有实然的,则结论就不应得必然的,如果有可能的,则结论就不应得实然的,更不能得必然的。这就是“弱式原则”的由来及其内容。 相似文献
14.
对普通逻辑的三段论格的特殊规则，流行的各种教材在理解或阐述上存在着一些分歧，学术界也有些讨论，本文认为，只有将三段论各格的特殊规则置于整个三段论逻辑理论体系中，才能获得正确的理解和把握；否则，就不可能有正确的理解和把握。 相似文献
15.
萧瑶 《和田师范专科学校学报》2007,27(5):200-200
本文结合亚里士多德在分析三段论的有效式时用到的化归思想,运用集合论的知识,建立了自然演绎系统S＊,给出判定三段论的有效性的一种方法,并与亚里士多德的方法进行比较。 相似文献
16.
周荃 《毕节师范高等专科学校学报》2013,(10):48-51
范畴三段论推理是演绎推理的一种重要形式,是从两个前提推论出结论的一种推理。范畴三段论属于三段论推理的基础领域,回顾范畴三段论推理的概念界定,实验任务设计,综述三段论推理的影响因素,重点介绍相关理论模型。 相似文献
17.
范畴三段论推理是演绎推理的一种重要形式,是从两个前提推论出结论的一种推理。范畴三段论属于三段论推理的基础领域,回顾范畴三段论推理的概念界定,实验任务设计,综述三段论推理的影响因素,重点介绍相关理论模型。 相似文献
18.
亚里士多德的三段论在莱布尼茨时代就具有了一个算术意义上的解释,但该解释中的整除关系实际上可以更进一步抽象成为一个偏序关系。借助于偏序关系就足以表达出四种直言命题,并可以证明该解释对于卢卡西维茨的三段论句法系统具有可靠性和完全性。 相似文献
19.
一、各格特殊规则有待完善 三段论一般规则是确保三段论推理形式正确的充分必要条件。任何一个推理形式正确的三段论,都必须是严格遵守了三段论每一条一般规则的,与此相反,每一个推理形式错误的三段论,则必然是或多或少地违反了某些一般规则的。因此,一般规则是我们检验一个三段论推理形式是否正确的标准。 相似文献
20.