第7章 希腊宇宙论中的几何与因果
7.1 同心圆的吸引力
为什么圆周曾经如此有吸引力？如果只用“古人迷信完美”回答，就无法理解它为何能同时支持数学构造、自然哲学与实际计算。圆周无须终点便能继续，旋转能够重复而不离开整体位置，球形又将各方向纳入一个统一结构。这些性质，使圆与球不仅是美感对象，也是组织天空规律的资源。
在亚里士多德《论天》中，运动形式与物体性质紧密相连。直线运动有趋向中心或远离中心的区别，圆周运动则具有另一种地位；第一卷由此展开对天体性质的论证。[7-1] 我们不必接受这套自然学，仍应注意其推理责任：他并不满足于用一条曲线追踪位置，而要说明何种物体为什么适合某种运动。
这种责任决定了什么算作满意答案。一个算法若准确给出位置，却要求物体进行自然学上难以接受的运动，可能仍然不够；一个宇宙图景若在原因上统一，却无法解释可重复的角位置差异，也会承受压力。几何与因果的成功指标可以重合，也可以分离。
同心构造的吸引力正在于，它尝试用围绕共同中心的规则旋转解释复杂天象。把多个运动叠合，可以使简单成分产生复杂结果。这里的“简单”指成分满足统一规范，并不意味着最终轨迹一定简单。若只数模型里有多少圆，而不问圆承担什么关系，就无法公平评价其解释经济性。
然而，几何上的构造可行不等于物理上的实现清楚。若多个球面或圆周共同决定目标运动，它们的联结怎样理解？为什么采用这些方向和周期？怎样与不同天体的明暗和远近相容？每一种成功都留下新的责任，而非自动解决全部问题。
在SDE框架下，圆周规范可被看作E的一部分，但不能只把它列为背景信念。它实际限制哪些D能够被采用：观察差异需要用什么运动组合表达，哪些构造被接受，哪些即使方便也受怀疑。同时，某种组合的预测结果S又可能促使研究者重新理解规范。规范与操作相互规定，才构成这里的纠缠。
这一分析也提醒我们，不能把现代偏好的最小参数数目直接当作古代唯一评价标准。古代作者可能更重视运动形式一致、物体性质相容或宇宙整体秩序。现代读者可以批判这些标准，却应先明确它们如何起作用，否则所谓“解释失败”就只是把另一套任务强加给历史对象。
7.2 物理原因与位置算法
一张位置表回答“某时朝哪里看”，自然哲学则可能回答“为何这种物体如此运动”。两者并非毫无关联，却不能相互替代。前者要求可计算和可核对，后者要求原因与其他自然现象协调。天文学长期处在这种双重要求之中。
亚里士多德《物理学》第二卷对自然物的讨论，将运动与静止的内在原则作为重要区分，并区分多种原因。[7-2] 把这种原因观简单等同于现代力学的作用力，会造成误读。他关心的解释范围包含材料、形式、变化来源与目的等问题；现代人只问受什么力，不能穷尽其“为什么”的含义。
这也说明，古代几何天文学与自然哲学之间的张力，不只是“科学对抗哲学”的冲突。数学研究本身需要判断何种结构可取，哲学论证也会调用观察。真正的区别在于它们怎样分配证明责任，而不是一方纯有数据、另一方纯无经验。
例如，球形地球的论证可以使用月食阴影和纬度变化等观察，同时嵌入自然运动的解释。[7-3] 多种论证在同一个结论上汇合，不代表它们具有相同强度。如果其中某个自然学论据后来失效，其他几何或观察支持仍可能保留。分析一项历史结论，应拆开它的支持结构，而不是将整套哲学一起判真或判假。
同样，一种位置算法可以在有限范围内有效，却不唯一确定宇宙原因。有限角位置资料往往允许不同参数或构造给出相近结果。于是，研究者需要额外要求来选择模型：简洁性、运动规范、与其他现象的联系。模型竞争不仅比较已经算出的数值，也比较愿意承担怎样的解释代价。
一个现代思想实验可以说明这种差别。设两个几何模型在现有观测精度内产生相同位置。若模型甲把各行星彼此独立处理，模型乙建立跨行星的共同关系，二者在拟合上可能相同，在解释组织上却不同。但若共同关系尚无独立检验，乙的统一也不能仅因形式漂亮便获得决定性优势。
这意味着，“预测成功”与“原因正确”之间既不能画等号，也不能断绝关系。预测成功是原因论证的重要支持，却需要排除替代解释；原因框架则引导新的预测，但必须接受实际检验。只有持续往返，二者才可能互相校正。
本书的三方程在这里承担的不是裁判所有古代思想，而是要求说明这种往返。新位置显露如何由观测差异与模型关系成立？已得结果怎样规定下一轮比较？比较又怎样使解释规范需要维持或改变？如果没有发现实际变化证据，就应保留长期并存与分工的可能，不把张力预写为革命。
7.3 竞争宇宙形态
古希腊宇宙论并不是一支意见一致的地心队伍。《论天》第二卷在论述地球位置和运动时，记录并批判了地球不居中心、中央为火等主张。[7-3] 这些争论本身已经足以反驳“古人都自然相信同一宇宙”的概括。共同的观察并未生成唯一的解释形态。
不同候选首先改变了什么被视为需要说明。如果地球静止，天空的日运动需要归给天体或天球；如果允许地球运动，就必须解释人为什么没有直接感觉到相应运动，以及观察现象如何保持。每个方案都重新分配解释负担，而不是只改变图上的一个中心点。
我们今天知道地球在运动，不能因此把所有古代地动方案都当作现代天文学的缩小版。某种方案承认地球移动，仍可能在中心、轨道、物质或证据上与后来理论相差很远。用结论关键词寻找先驱，容易掩盖思想结构的差异，也容易使失败方案仅因“像现代”便得到额外宽容。
反过来，地心方案也不是一个没有内部差别的概念。有的着重自然位置，有的着重运动几何，有的把不同计算工具组合起来。评价其中某一模型，必须明确所评的是宇宙的物理中心、计算的参考中心，还是某条轨道的几何中心。三个“中心”可以在历史论证中相关，却不应被现代叙述含混使用。
在比较模型时，观察证据的强度还取决于可探测条件。若某方案预期一种极小变化，而当时仪器不足以测出，没有看到便不能简单证明变化不存在。另一方面，研究者也不能无限放大未知距离来保护假说，而不承担新的检验责任。模型可以在观测界限内生存，但其自由度需要被说明。
这种情况提示一种重要的历史判断：一个方案未被接受，不必意味着所有人都被权威蒙蔽；它可能缺乏足够的计算细节，也可能尚未给出比竞争者更有力的可检验联系。社会条件当然重要，但需要与模型在当时的可工作性共同考察。
从本书的角度，新的天文学世界不是靠宣布一种宏大图景便完成。图景必须进入可持续差异操作，使对象身份、属性联系和预测条件形成稳定聚合。一个宇宙猜想可以极富启发，却尚未形成可运行研究系统。承认其思想价值，与夸大其实践完成程度，是两回事。
因此，思想史应保留未展开的可能性，也保留未成功的原因。某些方案的存在表明古代问题空间比后来叙事更宽；某些方案未形成长期研究，则说明可能性与能力之间有距离。创造性的发生，需要选择之外的物质、数学和检验条件，而不只是思想家脑中的一瞬灵感。
《论天》对地球静止原因的批评，可以使上述分歧更具体。亚里士多德讨论过把地球想作浮在水上的解释，并追问：如果水能够承托地球，水本身为什么保持在那里？[7-3] 这项批评并不是新的位置观测，而是检查原因是否只是把原问题移到另一物体上。它要求解释停止于真正有说明力的关系，而非无限添加支撑物。
他还讨论以地球平坦和空气支撑解释静止的方案，并区分形状与体量在论证中实际承担的作用。如果一个解释主要依赖大量空气不能逸出，那么仅仅把地球形状改成球形，是否就会破坏机制？这一追问展示了概念分析的力度：作者试图辨认真正起作用的前提，而不是只看结论是否与自己一致。
这些批评不能直接视为现代流体力学，却值得作为解释纪律来阅读。一个模型说原因是“形状”，计算或类比中起作用的却可能是“大小”；若二者没有分开，解释就会在术语之间滑动。天文学思想史中的不少争论，也需要这种前提审查，而不仅是增加一个新观察点。
另一条讨论涉及旋涡。即使旋涡曾经把某些物质带到中心，仍须解释为什么现在普通重物继续朝地面运动。宇宙形成的起因与已经形成之后的持续运动，不是完全相同的问题。亚里士多德在批评中正要求这两种说明相互衔接。[7-3] 这也提醒我们，起源叙事不能自动代替运行解释。
从本书的方法看，这一区别特别重要。描述某个S怎样首次成立，与描述它怎样被持续维持，使用的差异序列可能不同。一个初始聚合机制可以结束，而后续稳定依靠另一组关系。若把“曾经发生”当作“所以一直如此”的充分原因，发生学反而会退化为起点故事。古代争论在这里提供了可以对今天方法反向施压的资源。
亚里士多德对中心对称性的批评也有独特意义。他转述某种主张：地球在中心，朝各方向没有优先性，因而保持不动。随后追问，若论证只依赖居中，那么把另一种物体放在中心，是否也应静止？如果不同物体表现不同，就需要加入物体性质。[7-3] 这不是现代对称原理的完整表达，却清楚区分了位置关系与对象性质的解释职责。
今天可以从中提炼一个模型检验问题：某个解释是否过度宽泛，以至于对本应不同的情况给出相同结果？若是如此，它遗漏了有区分力的条件。用SDE语言说，仅有某种位置E而没有相关差异D，可能不足以规定所讨论的S。但这只是本书的分析映射，不等于亚里士多德已经提出三方程。
在地球形状上，他又把几种支持并列：部分物质趋向中心的自然学论证，月食时地球投影边缘的形状，以及南北旅行中的星空变化。[7-3] 三条线并非同一证据的重复。它们分别从物体运动、遮蔽几何和地点变化进入，因此可能在理论修订中具有不同命运。
这组材料可以用来纠正一种常见评判：只要结论正确，所有论证都值得接受；或者只要某些前提错误，整个结论便没有知识价值。真实的支持网络比这更复杂。不同证据可以在同一结论处汇合，又在更细问题上发生冲突。研究者需要保留这种内部层次。
也正因为如此，古希腊宇宙论不能只被写成等待近代替代的错误清单。它形成了对原因、类比、前提和反例的多种要求，其中一些与具体宇宙结构一同被修订，一些则继续构成理论研究的纪律。承认这些方法资产，并不要求降低对其经验局限的审查。
7.4 哲学约束如何回写计算
一种运动规范一旦被接受，会改变研究者的搜索方式。他们更可能尝试哪些组合，更少考虑哪些轨迹，以及如何判断一个近似方案可以继续。这就是哲学约束对计算的具体作用。它不必表现为禁止命令，也可以表现为熟练方法的默认边界。
这样的边界具有双重效应。它减少无穷候选，使研究可集中推进；也可能排除后来证明有用的构造。若没有任何规范，每次拟合都可能任意变形，研究难以积累；若规范永不可改，持续偏差又无法转化为新方法。可靠研究需要一种既能保持又能重新打开的约束。
这里的P2张力可以明确表述：位置计算的结果S与关于可接受自然运动的E不协调，促使构造方法D发生改变。但历史结局并不只有一种。研究者可能修改几何，使其更符合自然规范；可能暂时把计算与物理解释分工；也可能调整规范本身。哪条路线发生，要由具体文本和后续工作判断。
若从现代残差大小开始评价，会看见某些模型在数值上的优势；若从古代因果标准进入，则会理解为什么同一模型仍受批评。两条路径的差异不是让评价相对化，而是把不同评价对象明确分开。只有知道争论双方试图解释什么，才能判断分歧是真实困难还是互相错位。
SDE本体论对此提出的重构是：科学世界由显露、差异运行和特征纠缠共同构成，因而计算结构与解释标准也会参与对象属性如何稳定。这个主张并不证明某一古代宇宙论正确，也不要求历史人物已经使用SDE。它需要展示的，是哪些属性在某套运行中具有明确意义，换一套运行后哪些关系必须重新组织。
在这一意义上，几何宇宙的创造不是把已知天空再描绘一次。它使圆周、球面、中心、角位置和自然运动进入能够相互要求的体系。其力量来自这种体系的连续工作，其局限也产生于同一体系对候选方式的约束。创新的条件和保守的条件，有时正是同一组已成能力。
托勒密式数学天文学将把位置预测推进到更系统的程度，也把这种张力表现得更加具体。一个模型可以提供强大的计算资产，同时在均匀运动和物理实现上留下争论。理解这一点，便不必在“伟大成就”和“错误宇宙”之间二选一；历史贡献可以在明确边界中成立。
还可以注意《论天》第二卷对天体运动产生和谐声音的批评。亚里士多德没有因为一种解释优美便接受它，而追问其关于巨大声音及人类听觉的后果。[7-3] 无论我们如何评价他的具体反驳，这都表明古代自然哲学内部已经区分解释的吸引力与其证据责任。将全部古代宇宙论归入未经检验的美学，会遗漏这种内部批评。
不过，批评者也可能把自己的前提视作无需再打开的常识。例如，他从自然运动区分出发反驳某些地动方案，论证力度依赖自然运动理论本身。一个论证可以对对手提出尖锐问题，同时留下自身未充分检验的基础。这种不对称不只属于古人，也是理论研究普遍需要警惕的风险。
公平对读因此应当采用同样尺度：既查候选方案是否解释观察，也查裁判标准依据什么成立。若只审查异己模型而让自己的自然学退出检验，争论就会固化；若所有标准都不允许暂时使用，研究又无从展开。可持续的理论工作需要暂时采用标准，并保留重审其适用范围的机会。
本书对古代论证的评价，也应接受同样要求。SDE解释必须说明其新增加的区分在哪里，不能因它能够把任何争论写成张力便宣布解释成功。这里真正有内容的区别，是几何位置、自然原因与论证前提各承担什么责任，以及它们如何在具体文本中互相支持或抵触。
标准本身进入检验，才使理论竞争成为开放研究。它并不要求每次从零开始，而要求已成判断仍有能够重新讨论的来路。
本章参考文献
[7-1] Aristotle. On the Heavens, Book I，J. L. Stocks英译。https://classics.mit.edu/Aristotle/heavens.1.i.html
[7-2] Aristotle. Physics, Book II，R. P. Hardie与R. K. Gaye英译。https://classics.mit.edu/Aristotle/physics.2.ii.html
[7-3] Aristotle. On the Heavens, Book II，尤第十三、十四节。https://classics.mit.edu/Aristotle/heavens.2.ii.html