Апории Зенона и проблема движения

Движенья нет, сказал мудрец брадатый.

Другой смолчал и стал пред ним ходить.

Сильнее бы не мог он возразить;

Хвалили все ответ замысловатый.

Но, господа, забавный случай сей

Другой пример на память мне приводит:

Ведь каждый день пред нами солнце ходит,

Однако ж прав упрямый Галилей.

Действительно, согласно легенде, один из философов так и “возразил” Зенону. Зенон велел бить его палками: ведь он не собирался отрицать чувственное восприятие движения. Он говорил о его немыслимости, о том, что строгое размышление о движении приводит к неразрешимым противоречиям. Поэтому, если мы хотим избавиться от апорий в надежде, что это вообще возможно (а Зенон как раз считал, что невозможно), то мы должны прибегать к теоретическим аргументам, а не ссылаться на чувственную очевидность. Рассмотрим одно любопытное теоретическое возражение, которое было выдвинуто против апории Ахилл и черепаха.

“Представим себе, что по дороге в одном направлении движутся быстроногий Ахилл и две черепахи, из которых Черепаха-1 несколько ближе к Ахиллу, чем Черепаха-2. Чтобы показать, что Ахилл не сможет перегнать Черепаху-1, рассуждаем следующим образом. За то время, как Ахилл пробежит разделяющее их вначале расстояние, Черепаха-1 успеет уползти несколько вперед, пока Ахилл будет пробегать этот новый отрезок, она опять-таки продвинется дальше, и такое положение будет бесконечно повторяться. Ахилл будет все ближе и ближе приближаться к Черепахе-1, но никогда не сможет ее перегнать. Такой вывод, конечно же, противоречит нашему опыту, но логического противоречия у нас пока нет.

Пусть, однако, Ахилл примется догонять более дальнюю Черепаху-2, не обращая никакого внимания на ближнюю. Тот же способ рассуждения позволяет утверждать, что Ахилл сумеет вплотную приблизиться к Черепахе-2, но это означает, что он перегонит Черепаху-1. Теперь мы приходим уже к логическому противоречию” [6].

Здесь трудно что-либо возразить, если оставаться в плену образных представлений. Необходимо выявить формальную суть дела, что позволит перевести дискуссию в русло строгих рассуждений. Как нам кажется, первая апория сводится к следующим трем утверждениям:

(0) Каков бы ни был отрезок [A B], движущееся от А к В тело должно побывать во всех точках отрезка [A B].

(1) Любой отрезок [A B] можно представить в виде бесконечной последовательности убывающих по длине отрезков [A a₁] [a₁ a₂] [a₂ a₃]… [a_n a_n+1].

(2) Поскольку бесконечная последовательность а_i (1 ≤ i ‹ ω) не имеет последней точки, невозможно завершить движение побывав в каждой из точке этой последовательности.

Проиллюстрировать полученный вывод можно по-разному. Наиболее известная иллюстрация – “самое быстрое никогда не сможет догнать самое медленное” – была рассмотрена выше. Но можно предложить более радикальную картину, в которой обливающийся потом Ахилл (вышедший из пункта А) безуспешно пытается настичь черепаху, преспокойно греющуюся на Солнце (в пункте В) и даже не думающую убегать. Суть апории от этого не меняется. Иллюстрацией тогда станет куда более острое высказывание – “самое быстрое никогда не сможет догнать неподвижное”. Если первая иллюстрация парадоксальна, то вторая – тем паче.

При этом нигде не утверждается, что убывающие последовательности отрезков a_i для [A B] и a_i' для [A' B'] должны быть одинаковы. Напротив, если отрезки [A B] и [A' B'] неравны по длине между собой, их разбиения на бесконечные последовательности убывающих отрезков окажутся различными. В приведенном рассуждении Ахилла отделяет от черепах 1 и 2 разные расстояния. Поэтому мы имеем два различных отрезка [A B₁] и [A B] с общей начальной точкой А. Неравные отрезки [A B₁] и [A B] порождают различные бесконечные последовательности точек, и недопустимо использовать одну из них вместо другой. Между тем именно эта незаконная операция применяется в аргументах о двух черепахам [7].

Если не смешивать иллюстрации и существо апории, то можно утверждать, на наш взгляд, что апории Ахилл и Дихотомия симметричны по отношению к друг другу. В самом деле, Дихотомия также водится к следующим трем утверждениям:

(0) Каков бы ни был отрезок [A B], движущееся от А к В тело должно побывать во всех точках отрезка [A B].

(1) Любой отрезок [A B] можно представить в виде бесконечной последовательности убывающих по длине отрезков [b_n+1 b_n]… [b₃ b₂] [b₂ b₁]… [b₁ B].

(2) Поскольку бесконечная последовательность b_i не имеет первой точки, невозможно побывать в каждой из точек этой последовательности.