切换用户
■ 布里丹之后的推论思想及中世纪推论理论的现代性
来源图书：
西方中世纪逻辑及其现代性
作者：胡龙彪
出版日期：2023年04月01日
简介：
本章最后，我们将对布里丹之后中世纪的推论研究情况做一个简单的介绍，然后讨论中世纪推论理论与现代逻辑的关联。14世纪是中世纪逻辑的高峰时期，更是推论理论的黄金时代，但这一繁荣局面不是一蹴而就的，而是经历了一个漫长的发展过程。逻辑学是研究有效推论的科学。从逻辑学的创立开始，推论就一直是逻辑研究的核心问题。亚里士多德研究推论的主要著作《前分析篇》与《论题篇》，通过西塞罗、波爱修斯以及其他逻辑学家的注释传到中世纪，成为中世纪推论研究的重要文本来源。在某种程度上也确定了中世纪推论研究的主题。阿伯拉尔被认为是中世纪最早的真正意义上的逻辑学家，主要原因就在于他对推论的研究。他对于蕴涵的必然性、完美推理的定义...
■ 布里丹的推论规则
来源图书：
西方中世纪逻辑及其现代性
作者：胡龙彪
出版日期：2023年04月01日
简介：
本节讨论布里丹的有效推论规则。布里丹对各种推论做了全面而系统的研究，包括词项逻辑推论、模态命题推论以及复合命题推论，可以说是中世纪推论规则的集大成者。直言命题直接推论是指由一个直言命题作为前提，推出另一个直言命题的推论，包括对当关系推论、换质推论以及换质位推论。1.对当关系推论自现代逻辑创立以来，逻辑学家对于“每个人都在跑”这样的全称命题，都是按照弗雷格的解释，把其语义处理为“对任何东西来说，如果它是人，那么他在跑”。但是“如果它是人”并没有实际断定它是人，特别是并没有断定人一定是存在的，即使人灭绝了，这个命题依然是真的。他们还给出了诸如“如果一个事物不受外力的作用，那么它将永远做匀速直线运动...
■ 布里丹的有效推论理论
来源图书：
西方中世纪逻辑及其现代性
作者：胡龙彪
出版日期：2023年04月01日
简介：
如果说推论理论是中世纪逻辑学除指代理论之外最具有创造性的理论，那么毫不夸张地说，布里丹的推论学说代表了这一理论的最高成就。他不仅重新思考并修正了包括奥卡姆形式推论理论在内的前人的理论（例如模态理论），还提出了非常有创造性的有效推论定义，后者堪称布里丹对推论理论的最大贡献。而他对于直言三段论和模态三段论的处理，使得这一传统的理论达到了前所未有的高度。布里丹对推论的研究体现在其最重要的两部著作《论推论》（Tractatus de Consequentiis，TC）和《逻辑大全》（Summulae de Dialectica，SD）之中。TC写于1335年，是一篇较长的论文。SD是一部长达一千多页的...
■ 奥卡姆与柏力的形式推论
来源图书：
西方中世纪逻辑及其现代性
作者：胡龙彪
出版日期：2023年04月01日
简介：
把“形式推论”这一概念或者理念发展成为系统理论的首推14世纪著名逻辑学家沃尔特·柏力与奥卡姆。柏力写了两篇以《论纯粹逻辑》（De Puritate Artis Logicae/On the Purity of the Art of Logic）为题的论文。其中在先的是较短的一篇，写于1320年左右，被认为是最早关于形式推论的著作，稍早于奥卡姆的《逻辑大全》（成书于1323年），但是仅包括推论理论的片段；而详细的推论理论见于其后较长的《论纯粹逻辑》中。这两人是同一时期的逻辑学家，其推论思想也具有很大的相似性。我们将首先讨论奥卡姆对推论的分类，特别是他对形式推论的定义，然后列出他极其丰富的形式推论...
■ 13世纪的推论思想与形式推论的首次提出
来源图书：
西方中世纪逻辑及其现代性
作者：胡龙彪
出版日期：2023年04月01日
简介：
阿伯拉尔之后，推论学说仍然处于起步阶段，一直到14世纪之前，都没有形成独立的推论理论。而整个13世纪，逻辑学家的主要兴趣反而转向了词项逻辑。对推论的零星研究与词项属性，特别是与指代等问题混杂在一起。但是亚里士多德的三段论与论题思想开始为逻辑学家广为熟知，这对于之后推论理论的发展也是非常重要的。13世纪逻辑学家所讨论的推论主要是亚里士多德的三段论。他们继承亚氏的观点，把三段论分为论辩性三段论（dialectical syllogism）与证明性三段论（demonstrative syllogism）。论辩性三段论只能提供意见，因为其前提不具有必然性，而只有可能性，因此，对“论题”的研究只是一种艺...
■ 推论理论的发端——波爱修斯与阿伯拉尔的推论理论
来源图书：
西方中世纪逻辑及其现代性
作者：胡龙彪
出版日期：2023年04月01日
简介：
如前所述，中世纪前期的推论理论是以条件句或者假言推理的形式进行讨论的。阿伯拉尔被认为是中世纪最早讨论推论的逻辑学家，而他的思想直接来自被称为中世纪哲学第一人的波爱修斯，后者则直接继承了斯多亚学派的假言逻辑。波爱修斯首次定义并区分了偶然的推论与自然推论。他的两种推论说是基于对假言命题性质的讨论。假言命题的逻辑性质是命题逻辑的一个重要问题。早期亚里士多德学派（如亚氏的直传弟子德奥弗拉斯特）虽也涉及过假言三段论，但并未对假言命题做过专门研究。最早对假言命题的逻辑性质做出严格定义的是麦加拉学派与斯多亚学派，但这两个学派的定义也有分歧。波爱修斯之前各学派对于假言命题的定义概括起来有4种：（1）一个假言命...
■ 推论及其发展概览
来源图书：
西方中世纪逻辑及其现代性
作者：胡龙彪
出版日期：2023年04月01日
简介：
中世纪逻辑学家对推论（consequentia）的理解不尽相同，不同时期的逻辑学家对推论的定义以及研究内容也有所区别。如果我们按照现代逻辑的术语，中世纪推论所研究的东西涵盖直言命题直接推理、直言三段论、模态三段论、条件句或假言命题、假言三段论、论证与谬误等。但从总体上看，推论主要讨论的还是命题之间的直接推理，即如何从一个命题有效地得出另一个命题，也就是推论的有效性问题（逻辑学上所谓的有效性问题其实就是推论的有效性问题）。从这个意义上看，中世纪推论理论的目的与现代逻辑的推理理论并无二致。但与现代逻辑仅考虑命题的真假与推理形式对于推理有效性的影响不同，中世纪的推论还涉及一些其他东西，例如一个推论成...
■ 不可解命题相关理论及理念在现代逻辑中的延伸
来源图书：
西方中世纪逻辑及其现代性
作者：胡龙彪
出版日期：2023年04月01日
简介：
悖论问题也是现代逻辑讨论的热点问题之一。虽然说谎者类型悖论的现代解决方案与中世纪方案在理论形态上显得很不相同，但这只是表面性的，实际上两个不同阶段的方法就其核心思想来说并没有实质性的区别；或者说，现代逻辑学家提出的悖论解决方案几乎都可以在中世纪不可解命题理论中找到渊源。两者之间存在千丝万缕的联系，这种联系反映了逻辑的全人类性以及基本逻辑规则的普遍有效性。本节主要讨论罗素、塔尔斯基和克里普克的方案，特别关注他们理论中的中世纪逻辑元素，最后讨论中世纪与现代两类方案的不同方法论意义。作为现代逻辑的创始人之一，罗素很早就注意到了说谎者类型悖论是一个难题。他说，“自亚里士多德以来，无论哪一个学派的逻辑学...
