切换用户
■ 阿奎那对上帝存在的范畴论证明
来源图书：
西方中世纪逻辑及其现代性
作者：胡龙彪
出版日期：2023年04月01日
简介：
上帝存在本体论证明之后不久，托马斯·阿奎那就开始了上帝存在的另一经典证明模式，这一证明源于他对安瑟伦本体论证明有效性的否定。学界从不同角度为阿奎那的证明方式定义了多种名字，例如后验论或后天证明，经验论证明，因果证明，溯因证明，等等。托马斯·阿奎那是中世纪繁荣时期最杰出的经院哲学家，也是一位逻辑学家，有人称赞他是“中世纪的亚里士多德”。虽然与同一时期以及其后的中世纪逻辑学家相比，他所写的一些短小的逻辑论文（例如论谬误、论模态命题）与对亚里士多德逻辑著作的注释基本没有提出什么新的东西，但他十分重视对逻辑问题的研究，力图把亚里士多德的逻辑与哲学同基督教义结合起来。由于阿奎那的巨大影响，他的这一态度与...
■ 上帝存在本体论证明中的逻辑问题
来源图书：
西方中世纪逻辑及其现代性
作者：胡龙彪
出版日期：2023年04月01日
简介：
关于上帝的存在有多种论证方式，本体论证明就是其中最有影响的论证方式之一。这种理论认为，从上帝的性质是一种完全的存在这一定义，可以得出上帝存在的结论。波爱修斯首先做了类似于本体论的证明。安瑟伦是中世纪这一证明的代表性神学家。近代笛卡尔也以类似的方式证明了上帝的存在。但是本体论证明面临诸多问题而广受质疑。本节首先讨论这种证明，然后分析近代哲学家伽森狄、康德以及现代逻辑对它的质疑。波爱修斯之前，较少有神学家明确地从理性或逻辑的角度证明上帝的存在。因为对虔诚的基督徒来言，认为上帝是不存在的，或者怀疑上帝是不存在的，都是不可思议的；上帝的存在是显然的，这是基督教一切信仰的最根本立足点。但波爱修斯认为，一...
■ 上帝造物的逻辑
来源图书：
西方中世纪逻辑及其现代性
作者：胡龙彪
出版日期：2023年04月01日
简介：
虽然波爱修斯大力倡导逻辑，特别逻辑在神学研究中的作用，但波爱修斯（特别是其后的伊西多尔）之后的200多年，欧洲大陆文化凋零，只有在西北隅的爱尔兰尚有一息文化生气，参阅赵敦华《基督教哲学1500年》，人民出版社1994年版，第206页。'>[1]由此带动了所谓加罗林文化复兴。法兰克王国的宫廷教师阿尔琴及其学生就是加罗林文化复兴开始时期逻辑学以及语法学的主要代表人物。他们也属于中世纪较早把逻辑与神学、哲学结合起来的学者，例如，他们运用逻辑方法讨论了“存在”“潜在”“意念”等问题，显示出经院哲学的论辩风格。由于他们的工作而使得论辩术与反论辩术之争早在加罗林文化复兴时期晚期就已经开始。本节讨论阿尔琴和...
■ 必然模态与上帝的预知
来源图书：
西方中世纪逻辑及其现代性
作者：胡龙彪
出版日期：2023年04月01日
简介：
上帝预知一切与人具有自由意志都是基督教的重要教义。然而，这两者是否具有一致性是自基督教产生以来一个十分难解的问题。古代神学家基本上只能从思辨或信仰的角度论说这一问题。波爱修斯第一次应用关于必然的模态逻辑对这一问题进行了论证。他的模态逻辑理论来自亚里士多德和斯多亚学派，主要关注关于将来事件模态命题的解释，并在此基础上首次对上帝的预知与人的自由意志的一致性进行了逻辑论证。根据基督教的一般教义，全能的上帝无所不知。由此可以必然得出，人类过去、现在和未来的一切行为，包括善行和恶行，无一不处在上帝的监视之中，就是说，上帝知道我们过去和现在，并且预知我们的未来。但基督教同时认为，人类的一切犯罪和恶行并非出...
■ 基于逻辑证明的基督论与三一论
来源图书：
西方中世纪逻辑及其现代性
作者：胡龙彪
出版日期：2023年04月01日
简介：
让我们回到波爱修斯时代。如前所述，从理性神学的发展史以及经院哲学研究方法的角度看，波爱修斯无疑可以称为“经院哲学的第一人”。512—523年，精通亚里士多德范畴逻辑和斯多亚学派命题逻辑的波爱修斯写了五篇论述基督教基本教义的神学论文：一，《三位一体是一个上帝而不是三个上帝》；二，《圣父、圣子、圣灵是否从实体上指称上帝》；三，《实体如何因存在而善》；四，《论天主教的信仰》；五，《反尤提克斯派和内斯托留派》。波爱修斯在这些论文中，第一次应用亚里士多德主义的形式逻辑理论为基督教神学服务。充分证明了以三位一体为核心的基督教正统教义，开创了中世纪理性神学的先河。他也因此被称为奥古斯丁之后最伟大的拉丁教父。...
■ 逻辑在神学研究中的地位之争
来源图书：
西方中世纪逻辑及其现代性
作者：胡龙彪
出版日期：2023年04月01日
简介：
古罗马是一个崇尚逻辑的时期。即使被称为信仰神学大师的奥古斯丁，也在其神学研究中使用了不少逻辑术语，甚至有过专门的逻辑论文。而在波爱修斯的时代，逻辑学是否可以应用于神学讨论与研究，并没有引起什么争议。教父哲学在古罗马大量使用逻辑（特别是亚里士多德的逻辑）似乎是顺理成章的事情。主要原因在于波爱修斯是古罗马神学家中少数几位精通逻辑的人，此外，神学研究仍然处在教父学阶段，关于教义的争议或者论战并没有中世纪那么热烈。从波爱修斯、卡西奥多鲁斯、伊西多尔，再到阿尔琴，持续近300年所倡导的逻辑学逐渐成为中世纪神学论证的重要工具。然而自阿尔琴之后，是否可以运用论辩术探讨神学问题骤然引起广泛的争议。特别是从11...
■ 形式化的唯名论语义学——NLS系统
来源图书：
西方中世纪逻辑及其现代性
作者：胡龙彪
出版日期：2023年04月01日
简介：
唯名论语义学显然没有现代逻辑那样的庞大而系统的完整语义系统，但这并不妨碍我们对它进行形式化处理。因为唯名论逻辑学家已经有了明确的逻辑形式概念，他们以自然语言阐述的逻辑理念以及理论在诸多方面与现代逻辑有着异曲同工之妙，我们在前面各章节已经反复讨论这一问题。用形式化方法对唯名论语义学进行合理的现代重建，既可以表明唯名论与实在论的区别，又可以表明唯名论语义学是如何可以通过纯粹自然逻辑的方式，恰当地表达现代逻辑量词理论。本书仅仅给出了唯名论语义学（以布里丹为例）的形式框架，并在关键问题上同时加入实在论语义学的不同处理范式。本节内容实际上是对上一节以自然语言形式描述的逻辑理论（包括词项区分、词项属性、命...
■ 两种语义学的区分与融合
来源图书：
西方中世纪逻辑及其现代性
作者：胡龙彪
出版日期：2023年04月01日
简介：
实在论与唯名论语义学的区别其实就是语义范式上区别，这首先反映在其基础语义学的不同。词项意谓理论与命题意谓理论是逻辑语义学的基础理论，以此可以显示实在论与唯名论在本体论上的区别。在中世纪词项属性理论的章节中，我们讨论了词项的意义理论。如前所述，词项的意义在中世纪主要以这个词意谓（signify）什么东西的方式进行讨论。也就是说，词项的意义就是这个词能使我们建立一个对这个词意谓什么东西的理解，某个词项意谓x，就是我们建立一个对x的理解，x就是这个词的意谓之物（significata）。这就是中世纪逻辑学（无论是实在论语义学还是唯名论语义学）关于语词意义的一般定义。从结果上看，意义与意谓其实没有本质...
