亚里士多德模态三段论的形式系统

在《前分析篇》[1]中,亚里士多德用大量篇幅讨论了模态三段论问题。亚氏模态三段论自成系统,可以尝试从现代逻辑的联合演算观 [2~3]出发构筑这一系统①。     

亚里士多德模态三段论逻辑的 形式化公理系统探讨

利用广义量词理论、可能世界语义学和集合论,可以简洁明了地对亚里士多德模态三段论进行形式化和有效性的证明。根据有效的亚里士多德模态三段论应该遵守的基本规则,可以从6 656个亚里士多德模态三段论中,筛选出有效的384个模态三段论。把通过向有效的直言三段论AAA-1和EAE-1中添加模态词而得到的20个有效模态三段论作为基础公理,就可以为亚里士多德模态三段论逻辑建立起形式化公理系统。     

亚里士多德《分析前篇》直言三段论述评

亚里土多德对逻辑理论最大的贡献之一是创造三段论,他自己以及后人都公认这一点.三段论不仅在亚里士多德的逻辑学说中,而且直到现在在传统逻辑理论中占据着显著地位.《三段论》中的《分析前篇》是阐述三段论的最重要的论文,其内容之详细,系统之严格,至今还令人赞叹.本文对《分析前篇》中有关直言三段论部分,参照现行逻辑教材体系,编排分类,试作述评.     

自然演绎系统:亚里士多德的“第二种逻辑”

关于亚里士多德三段论的性质一直是一个争论不休的问题。其中的一个焦点问题就是亚里士多德的直言三段论是蕴涵式的系统还是推理规则的系统。卢卡西维奇的《亚里士多德的三段论》代表了第一种观点,而相反的观点则认为亚里士多德的三段论是由推理规则组成的,是现代逻辑中的自然演绎系统的早期形式。     

亚里士多德归纳逻辑思想探赜

亚里士多德的归纳理论一直饱受争议.在其存世的著作中他并没有详尽而系统地描述归纳法.虽说亚里士多德的归纳逻辑并不像其三段论逻辑那样完善,但是他对归纳逻辑的早期探索也有一些深邃的思想,为后来的哲学和科学的发展注入了强劲的能量.首先,亚里士多德认为归纳是我们获得普遍前提知识的唯一途径.其次,在亚里士多德看来,归纳不只是推理,同时也可以是科学认识论.古希腊时代还没有近代的实验科学,没有建立系统化的学科知识体系,只能借助归纳,或是从足够多的具体事例中概括出普遍命题,或是证明三段论推理自明前提的合理性.亚里士多德的归纳逻辑作为一种科学认识论在其中起到了至关重要的作用.     

亚里士多德三段论系统的一种现代解释

波兰著名逻辑学家卢卡西维兹在《亚里士多德的三段论》(商务印书馆1981年版)中,从现代逻辑观点对亚氏直言三段论作了创造性的研究,开辟了用现代逻辑的工具来研究逻辑史的新道路。近年来,《哲学研究》连续刊载了蔡曙山的《一个与卢卡西维兹不同的亚里士多德三段论形式系统》(1988年第4期)和张家龙的《从现代逻辑观点看亚里士多德的三段论》(1988年第5期)。这说明我国学者在用现代逻辑的工具来研究逻辑史方面取得了新的进展。但是,亚氏理论中的一些重要问题看来还需要进一步研究。本文第     

逻辑、逻各斯、定义与自然演绎系统——亚里士多德逻辑的当代诠释

亚里士多德的逻辑学在西方思想史上的地位是无可比拟的.随着现代逻辑的诞生,亚里士多德逻辑学的影响已经不像过去那样显赫,但是这并不意味着人们对他的逻辑学说的研究热情有明显的减弱.论文借鉴当代亚里士多德逻辑研究的最新成果,以逻辑与逻各斯的关系,定义在亚里士多德逻辑中的地位,以及三段论系统的解释为切入点,就亚里士多德逻辑的起源、逻辑理论构成和逻辑系统的解释等重要问题进行了探讨.     

亚里士多德的混合三段论形式系统AS2

在给出了亚里士多德三段论显示法证明的形式刻划的基础上,建立了亚里士多德混合三段论的形式系统。用显示法证明了第二格Baroco○□□式在亚里士多德混合三段论系统中是有效的,指出亚里士多德混合三段论系统的有效式应为14个,而不是13个。     

从三段论扩充到命题逻辑

以罗伯特·范·罗伊的工作为基础,展示如何通过形式化的方法把三段论逻辑扩充到全部命题逻辑.文中将依次给出按现代逻辑标准形式化的三个逻辑:亚里士多德的三段论逻辑SYL,引入否定词项等之后的扩充系统SYL+,最终得到从三段论逻辑扩充而来的命题逻辑SYL-PL.     

论波爱修斯与古代逻辑

波爱修斯是古代逻辑向中世纪逻辑发展过程中最重要的哲学家.他翻译和注释了亚里士多德的<工具论>;探讨了波菲利关于共相的三个问题;对假言命题和假言三段论进行了深入的研究,在斯多亚学派之后重新奠定了命题逻辑在整个逻辑学说中应有的地位.波爱修斯的逻辑理论是中世纪逻辑学进步的主要源泉.     

莱布尼茨逻辑学说及其当代影响

莱布尼茨是最后一位经院逻辑学家,也是第一位现代逻辑学家。但传统的逻辑史家只注意到了他的第一个方面,而忽略甚至贬低他的第二个方面。事实上,莱布尼茨不仅创造了不同类型的亚里士多德逻辑形式系统,部分地预见了布尔的逻辑代数演算,而且还有极为丰富的命题逻辑思想,尤其是他的真性和道义模态命题逻辑在相当程度上预见了现代意义上的真性模态逻辑和道义模态逻辑,构成了现代逻辑早期发展的重要组成部分。从这种意义上讲,莱布尼茨既是亚里士多德逻辑学的集大成者,同时又是弗雷格现代逻辑的伟大先驱。     

亚里士多德的必然三段论

本文从亚里士多德关于必然三段论的原文出发，考察了亚里士多德的必然三段论的系统、证明方法和排斥方法，在此基础上构造了一个严格形式化的必然三段论的自然演绎系统，克服了亚里士多德的必然三段论理论中的不精确之处。     

略论归纳法的合理性和有效性——兼评波普尔关于归纳法的观点

古希腊时就有了归纳逻辑,然而很不系统,同当时由亚里士多德所建立起来的庞大的三段论体系相比,还只是一些零星的见解。归纳逻辑的真正形成和发展是从十七世纪弗兰西斯·培根开始的。培根总结了当时的科学经验,批判了用之于对基督教义作论证的烦顼的三段论,创立了寻求因果联系的科学归纳法。这种归纳法,不但是逻辑,而主     

刑事法律论证的逻辑基础探析

法律三段论是刑事诉讼中控、辩、审三方所采用的最基本的法律论证模式,其背后的逻辑基础是什么,目前主要有三种观点:根据传统观点,法律三段论的逻辑基础是直言三段论;演绎逻辑基础论者主张演绎逻辑是法律三段论的逻辑基础;反演绎逻辑基础论者基本上否定了逻辑在法律审判中的作用。现实主义法学派的反演绎逻辑基础论观具有片面性,法律三段论应有其逻辑基础,应以非单调逻辑作为逻辑基础,用缺省规则表达无罪推定规则,重新修订传统法律论证理论,探讨刑事法律三段论的逻辑基础问题。     

论归纳和演绎的辩证关系

归纳和演绎是人们经常运用的两种科学认识方法。自古以来,它们就在人的认识发展过程中起着重要的作用。因此,引起了许多哲学家和逻辑学家的重视。古希腊著名思想家亚里士多德科学地总结人们的认识经验,创立了以直言三段论为主要内容的演绎逻辑,对逻辑学的发展作出了重大贡献,被人们誉为“逻辑之父”。但是,他片面夸大演绎法的作用,仅仅     

论复合三段论

三段论是演绎推理的基本形式之一。它有简单和复合的两种类型。传统逻辑对简单三段论讨论得较为透彻,也最有特色。但是,对复合三段论却极少论及。本文试对复合三段论的逻辑结构,类型及其规则做初步探讨。     

新解亚里士多德的《修辞学》中理性诉诸、人品诉诸及情感诉诸间关系

亚里士多德《修辞学》中,理性诉诸,人品诉诸及情感诉诸都具有可辨性,都可用修辞三段论的形式来表达。理性诉诸是与讨论话题相关的修辞三段论,而在人品诉诸和情感诉诸的修辞三段论中,结论与说话者的人品和听众的情感相关。本文对于千年来修辞学界的争论提供了新视角,有助于更好地理解古典修辞学,为现代修辞学的研究打下坚实的基础。     

亚里士多德三段论理论的第四格问题

阅读《前分析篇》会发现亚里士多德把三段论的格分为三种,而中世纪以来的传统形式逻辑却认为三段论的格有四种,这就导致了亚里士多德三段论理论的第四格问题。基于对亚里士多德三段论格的划分依据、描述方式及其学科构想的考察,不仅可以揭示亚里士多德将三段论界定为三个格的原因,肯定其三格划分的严格无误,而且还可以进一步地发掘出导致亚里士多德确定其划分依据的原因及其原因背后的动机,从而使得我们可以由一个更为深远而新颖的视角,即亚里士多德的科学观以及古典公理演绎系统的视角,对之作出更为恰当而合理的评价。     

对德奥弗拉斯特在逻辑史上的贡献的再认识

德奥弗拉斯特跳出亚里士多德直言三段论又为人类逻辑贡献了假言、选言三段论,其创造性学说一直被错误地视为命题逻辑。德奥弗拉斯特本意在于开拓新逻辑关系,挖掘新研究对象,并非在意变项为何形式。后人臆测其变项为命题,从而归为命题逻辑,这是以分析方法混淆了研究对象。斯多葛命题逻辑并未发展德奥弗拉斯特学说,直到现代数理逻辑都是走了另一条路。正确认识德奥弗拉斯特的贡献,才能明辨普通逻辑的方向。     

亚里士多德实然三段论形式系统AS^O

本文对四种直言命题给出了新的刻划,在此基础上构造了亚里士多德实然三段论的形式系统,并由此系统来进一步认识亚里士多德实然三段论的特点