在中世纪几百年中,最流行的逻辑教本也就是波亚提奥斯拉丁文翻译的薄斐略的“导论”。五公之说变为中世纪基督教教会神学家唯名、唯实论争端的根据。中世纪唯名论与唯实论之争本无与于逻辑,而成为逻辑研究的中心问题,把亚氏原来在六篇中所探讨的各问题反置诸脑后,形式逻辑在中世纪之不但毫无进展,且陷入一个漫漫长夜之中,唯名唯实之争是其原因之一。故称中世纪这700年为亚氏逻辑的隐晦时期。......
2023-11-08
自从公元前1世纪中叶安德罗尼编辑了亚里斯多德全集之后,以希腊文注释亚氏逻辑六篇的注释家辈出,不胜枚举。其工作多半限于注释。对于逻辑科学的发展,贡献不为显著,故不必在此详加论列。唯有格伦一人必须谈一谈。
格伦(Claudius Galenus,欧洲各国语文音译不同,通常以Galen 称之,故中译为格伦)生于130年,原是一个医生,著述甚富,其中关于哲学者亦多。以当时的哲学派而论,他是一个折中派者,在其早年并明显地属于斯多噶学派。著有克里士普斯三段论式的注解,但后又从事于提阿弗拉士特斯与欧丹姆逻辑著作的阐述。以其逻辑立场论,他偏重于亚氏学派为多[31]。格伦之在逻辑史上,以提出直言三段论式的第4格著名。
亚里斯多德对于直言三段论式,只阐明3个格,即今日所称为第1、第2、第3格,我们在前章已经讲过。现在形式逻辑的第4格是格伦提出的,故又名格伦格。第4格的公式是:
这是用现在S、P、M 的符号,而格伦沿袭旧日的符号而写为:
格伦之提出第4格原是从提阿弗拉士特斯的第1格增补式而来的。提氏所增补5个式,上段曾以列出,并加以分析批判。其所谓第1格第5、第6、第7式是从亚里斯多德第1格原有的第1、第2、第3式变形而得。兹再次列后:
格伦把提氏这3个第1格增补的式以大、小前提互换,就得下列第4格前3式,今日之称为Bramantip,Camenes和Dimaris者如下:
提氏的第1格增补的第8、第9式是:(www.chuimin.cn)
格伦把这两式的前提互换而成:
这就是第4格的后两式,今日之称为Fesapo与Fression者,于是第4格就有现在的5个式。
据英国逻辑家客晏斯的考证,以第4格为格伦所提出,是12世纪西班牙系的亚拉伯人,亚里斯多德的权威注释家阿弗罗厄斯(Averroës)的意见。第4格之称为格伦格的从此开始。18世纪初叶之前,形式逻辑各典籍没有第4格的出现,即近代逻辑家亦多不主张列入第4格的,原因是所谓第4格者不过是将第1格某些式的结论换位而成,而且在推理过程中并不运用所谓第4格的形式。有了第1格,于必要时,将其结论换位就够了。但这种见解未为定论。所谓格者如果以大、小前提中的中词所占的位置而定,没有第4格,则格之系统性不完全,三段论式的理论不能自圆其说,故第4格是三段论式的学说所必需的。纵然在思维活动中不常用第4格,而这1格亦不时在思维中出现[32]。但对于第4格之作为三段论式的格与亚氏原有的3格并列,逻辑家在长期中还不能取得一致的意见。正如英国近代逻辑家庄逊所说:“对于第4 格之列为逻辑三段论式的1格,成见很深,而且这成见由来很久,主张不以之列入的意见,大都是这样论证的:‘凡值得列为逻辑推理形式的都是平常议论中所运用的,今察得,没有什么在平常议论中所运用的是第4格,所以,第4格不是值得列为逻辑推理形式的。’”
于是庄逊就反驳说:“这论证就已是第4 格的形式,其谬可不置辩。”[33]
上面所引的两种意见是正确的。现在形式逻辑一般都肯定直言三段论式有4个格,是格伦的一种贡献。第4格确是不常运用,但有时也要用,而且是三段论式的格之通常理论不可缺少。亚里斯多德之只有3格,是另有所根据,已非今日所采取,上章已有论列,可不重述。
有关韦卓民全集(第9卷)的文章
在中世纪几百年中,最流行的逻辑教本也就是波亚提奥斯拉丁文翻译的薄斐略的“导论”。五公之说变为中世纪基督教教会神学家唯名、唯实论争端的根据。中世纪唯名论与唯实论之争本无与于逻辑,而成为逻辑研究的中心问题,把亚氏原来在六篇中所探讨的各问题反置诸脑后,形式逻辑在中世纪之不但毫无进展,且陷入一个漫漫长夜之中,唯名唯实之争是其原因之一。故称中世纪这700年为亚氏逻辑的隐晦时期。......
2023-11-08
另一传说,是亚氏学院原有一走道名Peripatos,为师生散步之处,因以得名。前期亚氏学派以提阿弗拉士特斯与欧丹姆两氏为最早,而且对于亚氏逻辑的发展贡献较大,故略述两氏逻辑研究的成熟,代表这一时期逻辑的精神。亚氏三段论式的第3格原有6个式,提氏补增第7式。在亚氏死后,逻辑之渐趋形式化,斯多噶学派的影响居多。......
2023-11-08
亚里斯多德的科学活动是正当古希腊奴隶占有社会最繁盛的时期。是皆逻辑的重要因素,经过亚里斯多德的发展而构成逻辑推理与证明的学说。由片断的因素与原理组织而为系统的科学,亚里斯多德之称为逻辑科学的创始人,就是因为这个缘故。再则他的前辈苏格拉底和柏拉图已经把思维本身作为思考的对象,获得初步的成果,亚里斯多德在这基础上作进一步的研讨,遂创作了他的形式逻辑一套比较完整的学说。......
2023-11-08
其推崇亚氏有如此之甚,足见亚里斯多德的思想,大大地在阿拉伯文化思想中起了极大的作用。东西民族有了接触,民族间的隔阂冲破了之后,东方阿拉伯人拜赞庭,和被阿拉伯人占领的西班牙所保持下来的古希腊经典著作就逐渐回到了西欧,亚里斯多德的逻辑原著也就复见于西欧了。因之就有亚里斯多德逻辑希腊文原著重新地翻译为当时西欧通行文字,拉丁文,引起西欧逻辑史上一个新现象。......
2023-11-08
证明是在科学思维中极其重要的。在逻辑中,证明是对于正确的论题加以辩护,对于错误的谬论予以反驳,对于诡辩予以揭露,对于欺骗进行打击。在这一切上,证明都是一种有力的武器。获得这一切知识便超出形式逻辑的范围,有待于马克思主义的辩证法。[6]“对人辩论”是拉丁文逻辑术语argument ad hominem 之译,有时译为“对人不对事的谬论”。......
2023-11-08
上面我们研究他的范畴论、概念论是这样,现在研究他的判断论以及其他的逻辑问题亦当然是这样。盖其意以为形式逻辑言概念,名词之后,随则必讨论判断与命题。在其《分析论后篇》他所下的肯定与否定判断的定义较为确切。根据亚里斯多德来说,判断是有其客观基础的。......
2023-11-08
读他的《新亚兰特斯》一书就可以知道了。培根的《新亚兰特斯》是一本传奇体的小说,描写他对于科学成就的远景。书名之《新亚兰特斯》是有其来源。培根借用这种神话而名他的理想社会为“新亚兰特斯”[372]。培根的《新亚兰特斯》一文仅一万余字,又是没有写完的一本书,所以这书1627年初版的末尾即有“其余尚未写完”的附语。......
2023-11-08
在16世纪的文艺复兴时代,植物学中出现了广泛分类的萌芽。像禾本科植物这样的自然的植物类别,根据林奈的分类系统,应当归属于各个不同的纲。达尔文主义是解释生物界历史的科学。基本的分类学单位:在一切先进科学家所承认的达尔文学说出现以后,各种新制定的植物界分类系统应当是系统发生的分类系统,就是说,这种分类系统必须反映各种植物之间的亲属关系,以及反映各个不同分类学类别之发展的顺序性。种是分类学中的基本单位。......
2023-11-08
相关推荐