公元前五世纪的芝诺生活在意大利南部的埃利亚,关于他的思想主要通过柏拉图、亚里士多德和后世注释保存下来。他提出悖论,是为了替巴门尼德的哲学立场辩护,并揭示“多”和“运动”概念中的困难。
所以阿基里斯追乌龟并不是一道体育题,飞箭也不是射术问题。芝诺故意从人人承认的运动出发,再把推理拆到极细,让常识在逻辑上显得难以自圆其说。
假设乌龟先跑一段,阿基里斯必须先到达乌龟的出发点;等他到达时,乌龟又向前移动。追到新的位置时,乌龟仍会再前进一点。这个过程可以无限重复。
悖论制造的错觉,是把“步骤数量无限”直接等同于“所需时间无限”。现代数学说明,无限多个越来越短的距离,其总和可以是有限值。阿基里斯要完成无限序列,并不意味着比赛永远没有追上时刻。
从甲地走到乙地,似乎必须先走一半;走完一半,还要走剩余的一半;之后仍有一半。无论走到哪里,都能继续分割。于是芝诺追问:如果前面总有一个尚未完成的子任务,终点如何可能到达?
极限理论为距离与时间的总量提供了严格表达,但悖论留下的哲学问题仍有价值。数学可以计算收敛结果,哲学则继续追问:现实中的连续运动,与我们用无数静态位置描述它,究竟是什么关系。
在任意一个没有持续长度的瞬间,飞箭只占据一个与自身相等的位置。若时间完全由这种瞬间组成,看上去每一刻的箭都没有移动,整段运动又从哪里产生?
现代物理用位置随时间的变化率描述瞬时速度。箭在某个瞬间不必跨过一段距离,也可以具有速度。但这依赖一套成熟的函数和极限概念,正说明芝诺准确碰到了古代语言难以处理的连续性问题。
微积分解决了怎样对无限过程求和、怎样定义瞬时变化率,却没有让所有关于时空结构的讨论终结。时间究竟是连续的,还是在物理上存在最小尺度;运动应被看作状态序列,还是不可还原的过程,仍是哲学与物理会讨论的问题。
芝诺的厉害之处不在给出正确结论,而在发现日常语言中的漏洞。两千多年后,我们当然知道阿基里斯会追上乌龟,但要清楚说明“为什么逻辑允许他追上”,仍需要一整套关于无限、极限和连续的思想工具。
本文依据公开历史与考古资料重新梳理,区分确定事实与解释性分析。