普罗克洛斯（Πρόκλος / Proclus Lycaeus）

他并非创造性数学家，却是古代最敏锐的数学阐释者与批评家；凭借对千年希腊数学的通晓和一部《〈原本〉评注》，成为我们今日了解希腊几何史最不可或缺的向导。

一、生平与时代背景

普罗克洛斯（全名 Proclus Diadochus，「Diadochus」意为「继承者」）于约公元 411/412 年生于君士坦丁堡（拜占庭，今伊斯坦布尔），公元 485 年 4 月 17 日卒于雅典。他出身吕基亚（Lycia，今土耳其西南）的望族：父亲 Particius 是拜占庭法庭的高级法律官员，母亲 Marcella 亦出身名门。他在吕基亚南岸的克桑托斯（Xanthus）长大并入学。

家中本欲让他子承父业、从事法律，遂送他去亚历山大城学习。但求学中途他到访拜占庭，认定自己的天职是研究哲学，便返回亚历山大城，改在老奥林匹奥多罗斯（Olympiodorus the Elder）门下深研哲学（尤其是亚里士多德），数学则随一位名叫海伦（Heron）的教师学习（注意：此非那位著名的海伦，「海伦」在当时是常见名字）。

他对亚历山大城的哲学教育不甚满意，遂于约 430—431 年（18 岁左右）移居雅典，进入柏拉图学园，在雅典的普鲁塔克（Plutarch of Athens）和叙利安努斯（Syrianus，普鲁塔克的学生）门下学习。他从学生成长为教师；437 年叙利安努斯去世后，普罗克洛斯继任学园领袖，获「继承者 (Diadochus)」之号，担任此职近五十年直至去世。

他生活优渥，常资助亲友，终身未婚，过着近乎毕达哥拉斯式的生活（不食肉），笃信宗教，为诸神谱写赞美诗（流传下 7 首，文学上颇受称道）。他在雅典备受尊崇，但因当时基督教占主导，异教仪式只能在学园内私下进行；据其学生马林努斯（Marinus）所写传记，他曾为避祸被迫流亡吕基亚约一年。

思想上，他是新柏拉图主义者，上承普罗提诺（创始人）、波菲利与扬布里科斯（约 300 年发展），近承其师普鲁塔克与叙利安努斯。Heath 评价他：「敏锐的辩证法家，在同时代人中以博学著称；是称职的数学家，甚至是诗人；同时又笃信各种神话秘仪，虔诚崇拜希腊与东方诸神。与其说他是数学家，不如说他是哲学家。」这种宗教虔诚也带来了偏见：例如他提到阿里斯塔克的日心说，却因其与一位他「认为不可不信」的迦勒底神谕相矛盾而立即否定。

二、学术生涯年表

三、核心成果（逐条技术解析）

1. 《欧几里得〈原本〉第一卷评注》——希腊数学史的首要史料

问题背景：大量早期希腊数学著作在普罗克洛斯的时代已散佚（或当时即已失传，只能靠二手摘录了解）。关键思想：这部评注是他在学园授课的产物，因其内容不与宗教信仰冲突（按他的话说，《原本》「有幸既不与迦勒底神谕、也不与新老毕达哥拉斯派的思辨相矛盾」），故未受其宗教偏见影响。精确成果：他按历史与批判的方式逐条处理《原本》卷一的定义、公设与公理，并在讨论公设、公理前先总论几何原理（假说、公设、公理及其关系），且照例征引所有重要权威的意见。他还讨论了「几何学的批评者」——怀疑论者否定一切知识，伊壁鸠鲁派试图诋毁几何原理，以及西顿的芝诺（伊壁鸠鲁派）的批评与波西多纽斯的反驳。他查阅了现已失传的欧德摩斯《几何史》(History of Geometry) 和 Gemius 的著作。与前人的关系：这是我们了解泰勒斯到欧几里得之间千年希腊几何史的首要甚至唯一来源。Morrow 评价：「普罗克洛斯不是创造性数学家；但他是敏锐的阐释者与批评家，透彻掌握数学方法，并对从泰勒斯到他自己时代的千年希腊数学有详尽知识。」

2. 平行公设的讨论与「证明」尝试

问题背景：欧几里得第五公设（平行公设）自提出不久即被认为不够自明，波西多纽斯、托勒密、普罗克洛斯等都试图从其他公设证明它，或用更满意的公理替换它。关键思想：普罗克洛斯在《评注》中明确主张第五公设应从公设中剔除，因为它「是一条包含许多困难的定理」，其逆定理还被欧几里得本人作为定理证明了。他引用 Gemius 对「仅凭似是而非的想象就把它当作公设」的批评，并指出：存在无限接近却永不相交的线（如双曲线与其渐近线），所以「两直线越来越接近就必相交」并非必然——这一洞察极有深度，触及了非欧几何的核心。精确尝试：他本人给出了一个对平行公设的「证明」，但该证明依赖了一个未经证明的假定（平行线彼此等距 / 若一直线截两平行线则截得线段相等之类的命题），实际上隐含地假定了所要证明的东西，因此是循环论证。与前人的关系：他是平行公设研究长链上的重要一环（波西多纽斯→托勒密→普罗克洛斯→……→中世纪→萨凯里、兰伯特→罗巴切夫斯基、鲍耶），其失败的尝试本身推动了对该公设独立性的认识，为 19 世纪非欧几何的诞生埋下伏笔。

3. 数学哲学：数学对象的本体论地位

问题背景：数学对象（如几何中的点、线、圆，算术中的数）究竟是从可感事物中抽象而来，还是独立存在？关键思想（据 SEP）：普罗克洛斯详尽论证，数学对象不能通过从可感殊相的抽象得到——因为可感对象是不完美、有缺陷的，从中无法抽象出完美精确的数学对象。因此，数学对象首要地存在于理智 (intellect) 之中，次要地存在于灵魂之中（作为 logoi），人类通过「回忆」(anamnēsis) 把握普遍概念。精确意义：他把数学置于柏拉图式的实在论框架中，认为数学是灵魂中投影出的、介于可感世界与纯理智之间的中介领域。这一数学哲学对后世（尤其通过新柏拉图主义与经院哲学）影响深远。与前人的关系：在柏拉图与亚里士多德的争论中明确站在柏拉图—新柏拉图主义一边，并把它系统化。

4. 天文学《概述》(Hypotypôsis) 与本轮—偏心等价性的几何证明

问题背景：需要为学生介绍希帕恰斯与托勒密的天文学理论。关键思想：在《天文学假说概述》(Hypotypôsis) 中，他基于本轮与偏心圆，几何地证明了行星运动的本轮理论与偏心理论在数学上等价（本轮中心绕均轮运动可等效为行星绕一个圆心不在地球的圆运动）。与前人的关系：这一等价性最早由希帕恰斯、托勒密给出，普罗克洛斯的证明并非原创。局限性：他对该理论并非不加批判——认为它过于复杂，且是「特设的」(ad hoc)，各部分缺乏解释理由。这种批评预示了后世对托勒密体系的反思。

5. 用滴水计时测量太阳视直径的方法

在天文著作中，他描述了一种利用海伦发明的水钟测量太阳视直径的方法（可在春/秋分使用）：日出过程中收集水于一容器，日出后至次日日出收集于另一容器，两容器水重之比即给出太阳视直径。这是一种巧妙的定量观测设计，虽非纯数学成果，但体现了他把几何与天文观测结合的能力。

四、代表著作与文献

• 《欧几里得〈原本〉第一卷评注》(In primum Euclidis Elementorum librum commentarii)：研究希腊几何史的首要史料，数学上最重要的著作。Morrow 英译注本为标准参考。
• 《神学要旨》(Institutio theologica / Elements of Theology)：新柏拉图形而上学的系统纲要；其阿拉伯—拉丁改编本《原因之书》(Liber de causis) 在中世纪被当作亚里士多德著作，影响极大，直到阿奎那才揭示其真正作者是普罗克洛斯。
• 《天文学假说概述》(Hypotypôsis)：介绍希帕恰斯与托勒密的天文理论。
• 《物理学要旨》(Elements of Physics)：主要阐述亚里士多德的物理学观点。
• 《柏拉图的神学》(Platonic Theology)：异教希腊神学的集大成之作，一般认为是其晚年著作。
• 柏拉图对话评注（《阿尔基比亚德》《克拉底鲁》《王制》《蒂迈欧》《巴门尼德》等，部分残缺）。
• 《三篇小论文》(Tria opuscula)：论天意、命运、自由意志与恶的起源。
• 《赞美诗》(Hymns)：7 首存世，文学价值较高。

五、师承、学派与同时代交往

• 师承：亚历山大城——哲学随老奥林匹奥多罗斯，数学随一位海伦（非名人）；雅典——雅典的普鲁塔克与叙利安努斯（后者为其直接导师，普罗克洛斯继任其学园领袖之位）。
• 学派：雅典柏拉图学园的新柏拉图主义（与稍早的希帕蒂娅所在的亚历山大城新柏拉图学派同源而分立）。
• 传承：他的学生阿摩尼乌斯（Ammonius）后来成为亚历山大城学派领袖，普罗克洛斯的思想由此深刻影响了晚期新柏拉图主义的两个中心（雅典与亚历山大城）。其传记由学生那不勒斯的马林努斯（Marinus of Neapolis）撰写（《普罗克洛斯或论幸福》），达马斯基乌斯（Damascius）的《伊西多尔生平》也保存了相关信息。
• 他与当时的基督徒学者有交往（有基督徒学生），但异教立场使其在公共生活中需谨慎。

六、争议、公案与历史评价

• 生卒年：出生年有「约 411」（MacTutor）与「412」（SEP）两说，相差无几，均为基于间接记载的推断；卒年 485 年 4 月 17 日确切。
• 宗教偏见与科学立场：他因信奉异教神谕而拒绝阿里斯塔克的日心说，这是其「信仰压倒理性」的著名例子，后世常据此批评他在科学问题上的偏颇。
• 平行公设「证明」的缺陷：他的证明被后世指出为循环论证（假定了与平行公设等价的命题），但这一失败被恰当地视为数学史上的重要教训，而非纯粹错误。
• 「继承者」之称的含义：Diadochus 指柏拉图学园领袖的传承身份，并非表示他「继承」了某个人的思想衣钵这一简单意义。
• 历史评价：Morrow 总结：「普罗克洛斯值得被铭记，是因为他具备任何时代都极罕见、在他那个时代几乎独一无二的品质：思想的逻辑清晰与坚定、分析的敏锐、理解并呈现前人在争议问题上观点的热望、长篇论述的连贯一致，以及其思考所及的广阔视野——阔到涵盖整个存在。」

七、身后影响与学术谱系

• 希腊数学史的保存者：没有普罗克洛斯的《评注》，我们对泰勒斯、毕达哥拉斯、欧多克索斯等早期希腊几何学家的了解将大幅缩减；他是连接古代与后世的关键桥梁。
• 平行公设研究的链条：他对第五公设的批判与尝试，启发了此后一千多年的研究者，最终通向非欧几何的发现（MacTutor 将其列入「非欧几何」史主题的交叉引用）。
• 中世纪哲学：《神学要旨》的改编本《原因之书》以「亚里士多德」之名在阿拉伯与拉丁世界流传数百年，深刻塑造了经院哲学；阿奎那辨明其作者是普罗克洛斯，是中世纪文本考据的著名事件。
• 现代新柏拉图主义研究：他是晚期古代最权威的哲学家，其著作是当代新柏拉图主义研究的核心文本。
• 月球上有以他命名的环形山（Crater Proclus）。

八、延伸阅读与权威来源

• MacTutor: Proclus Diadochus：圣安德鲁斯大学数学史档案，生平与数学贡献的权威综述。
• Stanford Encyclopedia of Philosophy: Proclus：哲学（含数学哲学）的权威百科条目。
• Dictionary of Scientific Biography: Proclus（G. R. Morrow）：DSB 经典条目。
• G. R. Morrow (trans.), Proclus: A Commentary on the First Book of Euclid's Elements (Princeton, 1970)：《评注》的标准英译注本。
• MacTutor: Proclus on the Parallel Postulate：平行公设讨论段落原文英译。
• MacTutor: Proclus and the history of geometry as far as Euclid：几何史段落。
• T. L. Heath, A History of Greek Mathematics (2 vols., Oxford, 1921)：对普罗克洛斯及其史料价值的经典评述。
• Encyclopaedia Britannica: Proclus：权威百科条目。