近日，哥伦比亚大学杜威讲席教授AchilleC.Varzi(阿希尔？瓦尔齐)受邀到访兰州大学，于6月1日下午于兰州大学榆中校区以“分体论：在形式本体论与数学基础之间”为题开设专题学术讲座，学院薄谋副教授主持。

本次讲座立足部分论学科发展史与前沿研究脉络展开系统梳理。讲座开篇，Varzi溯源部分论词源与学术缘起：该术语源自希腊文表 “部分” 的词根，1927 年由波兰学者列希涅夫斯基正式定名，是专门研究整体与部分、部分与部分之间从属关系的理论。Varzi梳理了从古希腊时期开始的部分论思想源流，从前苏格拉底学派爱利亚学派、原子论者、多元论者对物质可分性的思辨，到印度胜论派、中国名家惠施 “一尺之棰，日取其半，万世不竭” 的无穷分割思想;从中世纪哲学探讨，再至近代康德二律背反，历史上诸多经典哲学议题都根植于部分与整体的关系探究，但早期相关研究多依附形而上学讨论，缺少系统化形式化建构。

讲座核心分为两大研究维度，一是依托胡塞尔形式本体论的部分论发展路径。Varzi介绍，胡塞尔在 1901 年《逻辑研究》第三卷《论整体与部分的学说》中，将部分论视作形式本体论核心分支，主张部分与整体的规律具备先天普遍性，如同形式逻辑规范命题、同一律约束全部存在者一般，适用于世间所有实体。胡塞尔提出部分关系满足自返性、传递性、反对称性等形式法则，但并未完成完整公理体系搭建，成为后世形式化部分论的重要思想源头。

二是作为集合论替代方案的部分论建构历程。20 世纪初集合论悖论引发数学基础危机，列希涅夫斯基批判康托尔集合论依托抽象集合建立数学体系存在本体缺陷，提出以 “部分属于整体” 替代集合 “元素属于集合”，打造唯名论立场的数学基础理论;后续伦纳德与古德曼 1940 年提出个体演算，该体系与列希涅夫斯基部分论内核相通，二者共同奠定经典部分论理论根基。Varzi进一步讲解经典部分论公理系统，围绕本原谓词 “x 是 y 的部分”，阐释真部分、重叠、离散、融合、剩余等关键定义。

讲座尾声，Varzi客观评析经典部分论学术现状：该理论拥有完备的数理模型，2013 年已有研究证实其具备可判定性，是当代部分论研究的基准范式;但学界争议持续存在，一方面，自返性、补全原则等基础公理不断受到形而上学研究者质疑，其能否严格契合胡塞尔意义上的纯形式本体论尚存分歧;另一方面，受限于理论结构等价于布尔代数，经典部分论难以完整替代集合论充当数学基础，近年学界衍生出集合论化部分论等改良方向，成为新的研究热点。

互动环节，师生围绕物理性与概念性的分割操作、现象学的形式本体论要求与分体论的关系、分体拓扑学对分体论的延伸等问题提出疑问，Varzi耐心一一作出了深刻解答。

整场讲座打通哲学本体论、数理逻辑、数学基础三大研究领域，内容兼顾哲学史考据与现代形式化论证。与会师生围绕部分论在形而上学、逻辑学的应用边界、中外古代整体论思想现代转化等问题与主讲人深入研讨。本次学术交流进一步拓宽学院师生的国际化学术视野，助力学院本体论、数理哲学方向的后续研究。

文：郭子夏

图：郭子夏