С. А. Яновская

Апории Зенона Элейского и современная наука

(статья из Философской энциклопедии. – Т. 2. – М.: Советская энциклопедия, 1962.)

Апории З. Э. и современная наука. Апории З. Э. не утратили значения и в наши дни, т. к. они относятся к осн. законам диалектики и к сложным проблемам из области оснований математики, связанным с абстракцией актуальной бесконечности. Вместе с тем при рассмотрении апорий с совр. т. зр. возникает ряд трудностей, обусловленных тем, что они дошли до нас только через комментаторов и критиков, – прежде всего, через Аристотеля, критикующего их в своей «Физике» (через 100 лет после их появления), и через комментарий Симпликия к «Физике» Аристотеля (написанный почти через тысячу лет после З. Э.) – и притом в виде кратких отрывков. Поэтому трудно судить о том, какие из предложенных реконструкций аргументов З. Э. (и в какой мере) исторически оправданы. Неясность имеется даже в вопросе о том, что именно хотел доказать или опровергнуть З. Э. Большинство историков философии полагает, что апории должны были доказать невозможность движения и существования многого с целью отстоять философию Парменида. В диалоге Платона «Парменид» (128 А-В) эту точку зрения высказывает молодой Сократ, к-рый упрекает З. Э. в том, что тот обманывает слушателей, делая вид, что говорит нечто новое, между тем как в действительности, если один утверждает бытие единого, а другой небытие многого, то оба говорят одно и то же. З. Э., однако, возражает против такой трактовки цели его апорий (см. там же, С-Д). Он говорит, что его задачей было показать, что во взглядах противников Парменида во всяком случае не меньше противоречий, чем во взглядах Парменида.

Не получил однозначного решения и вопрос о том, против кого именно выступал З. Э. Франц. историк математики П. Таннери считает, что З. Э. имел в виду пифагорейцев; др. ученые называют Анаксагора или Гераклита. То обстоятельство, что еще в древности элейцев называли «афизиками», т. е. врагами точной науки – физики (см. С. Я. Лурье, Теория бесконечно малых у древних атомистов, М.-Л., 1935, с. 45), заставляет думать, что З. Э. направлял свою критику против всех существовавших в его время науч. теорий движения и многого. В ту пору пифагорейцами уже была обнаружена несоизмеримость диагонали квадрата с его стороной, т. е. доказана несовместимость предположения о существовании точного квадрата (или, что то же самое, о существовании идеальных циркуля и линейки) с представлением всякого отрезка в виде суммы конечного числа неделимых одной и той же (отличной от нуля) величины; Анаксагор же настаивал на том, что никаких неделимых (в т. ч. и нулевой величины) не существует (Дильс, Досократики, фрагм. В 3). Из дошедших до нас апорий З. Э. ясно также, что в его времена существовали уже и теории, согласно к-рым конечные величины должны были состоять из бесконечного множества лишенных величины «неделимых» (точек, моментов). З. Э., таким образом, мог иметь дело с основами всех теорий, относящихся к соотношению непрерывного и дискретного и к пониманию движения, к-рые занимали др.-греч. ученых на протяжении всей истории античных математики и философии.

Начиная с Аристотеля, Плутарха и Сенеки, вплоть до наших дней аргументы З. Э. порождали все новые и новые попытки их опровержения (из работ самого последнего времени отметим статьи К. Айдукевича, А. Грюнбаума, Садео Сираиси, см. Лит.). Вместе с тем у ряда мыслителей аргументы З. Э. встречали высокую оценку и сыграли значительную роль в истории философии. В духе этих аргументов составлены, напр., знаменитые антиномии Канта. Руководствуясь желанием преодолеть аргументы З. Э., Бергсон в своей философии интуитивизма говорит, что время не состоит из моментов, а промежуток времени не имеет четких границ. В настоящее время все более и более частыми и убедительными становятся замечания философов и специалистов по основаниям математики, свидетельствующие о том, что трудности, нашедшие отражение в апориях З. Э., и в наши дни нельзя считать преодоленными (см., напр., A. Fraenkel and Y. Bar-Hillel, Foundations of set theory, Amst., 1958, p. 260).

Поскольку задача адекватной реконструкции апорий не представляется еще однозначно разрешимой, трудно спорить даже с такими истолкованиями их, при к-рых они превращаются в очевидные нелепости. Подобное «опровержение» апорий З. Э. не решает, однако, действительных трудностей, связанных с той проблематикой, к к-рой они и история порожденных ими дискуссий относятся. Эти трудности связаны с апориями обеих групп, на к-рые, естественно, подразделяются дошедшие до нас аргументы З. Э., – и с теми, в к-рых «опровергается» существование многого [при этом многое понимается как актуально существующее: заданное всем набором своих элементов, т. е. как нек-рая полная, завершенная совокупность, а не как «одноместный предикат» (свойство), удовлетворяющий определ. требованиям (как это делается во многих совр. логико-математич. теориях)], и с теми, в к-рых вскрываются противоречия, относящиеся к отображению движения в логике понятий.

К апориям первой группы относятся прежде всего аргументы, опровергающие существование многого на том основании, что «Если их [существующих вещей] много, то их должно быть столь много, сколько их есть, – не больше и не меньше. А если их столь много, сколько их есть, то их [число] ограничено. [Но] если существующих [вещей] много, то их [число] неограничено: ибо всегда существуют другие вещи между существующими [вещами], и снова другие между ними. И так [число] существующих [вещей] неограничено». (Симпликий, Физика, 140, 27) (Любая часть промежутка между вещами здесь, очевидно, также считается вещью; см. слова З. Э., к-рые приводит Симпликий: Дильс, Досократики, фрагм. В). В основе полученного в этой апории противоречия (что если в мире есть много вещей, то число их должно быть одновременно и конечным и бесконечным) лежит утверждение, что количество вещей в актуально завершенном множестве их должно быть «ограниченным» (конечным). Эта апория в эпоху расцвета «наивной» теории множеств (конец 19 – нач. 20 вв.) казалась полностью разрешенной на основе понятия о бесконечных кардинальных (т. е. количественных) числах, или мощностях, введенного в математику в 70-х годах Кантором (см. также Множеств теория). Однако неконструктивный характер канторовских актуально-бесконечных множеств (и соответствующих им чисел) сделал их неприемлемыми для представителей совр. конструктивных направлений в математике.

Аристотель приводит еще одну апорию З. Э. этого же рода: «...именно, если все существующее помещается в известном месте, то ясно, что будет и место места, и так идёт в бесконечность». С этой апорией Аристотель справляется, замечая, что место вещи само есть уже не вещь, к-рая нуждается в нек-ром «месте», а нечто аналогичное тому или иному состоянию вещи, наподобие того, как одна и та же вещь может быть и теплой и холодной; он не возражает, однако, против понятия о «месте места», но трактует последнее не как «место», т. е. не как состояние, а как нечто аналогичное свойству данного состояния, – как, напр., теплое (состояние) обладает свойством «быть полезным для здоровья», – почему вопрос о «месте места места» уже не возникает с необходимостью. «Таким образом нет необходимости идти в бесконечность» (Phys., IV, I, 209 а; рус. пер. 1937). Но рассуждения, аналогичные использованному здесь З. Э., встречаются и в современных основаниях математики, когда идущий в бесконечность натуральный ряд чисел порождается из «ничего» (из пустого множества) посредством того, что сначала рассматривается пустое множество: 0; затем множество {0}, единственным элементом к-рого является пустое множество; далее множество {0, }0}}, элементами к-рого являются 0 и {0}, и т. д. А возражения, к-рые выдвигаются против этой процедуры в наши дни, – напр., совр. номиналистами (Куайн, Гудмен) родственны возражениям Аристотеля (состоящим в том, что «место места» само не есть «место»), поскольку они основаны на том, что нельзя и мысленно объединять в множество вещи, к-рые не существуют раздельно друг от друга (так, нельзя рассматривать как особый объект пару, состоящую из человека и его руки, пока эта рука не отделена от человека).

Особенно интересна апория, относящаяся к представлению протяженного тела (соответственно интервала времени) в виде множества (совокупности) непротяженных неделимых, – точек (соответственно, моментов времени). Поскольку лишенная всяких измерений точка (соответственно, момент времени) является идеализированной математич. абстракцией, на практике неуловимой (никто не имел дела в опыте с лишенной всяких измерений «точкой»), «построение» (хотя бы теоретическое) реально существующего тела из абстрактных «точек», естественно, вызывало возражения как раз у нек-рых материалистически мыслящих математиков и философов. Так, Лобачевский считал необходимым положить в основу геометрии не точку, а тело и определял точку как пару тел, определенным образом соприкасающихся друг с другом. Соответствующая апория З. Э. и представляет собой вопрос о том, как из ничего можно сложить (построить) что-нибудь: ведь сколько раз ни повторять ничто, ничего и не получится? «В самом деле, – пишет Аристотель, – если что-нибудь, поскольку оно прибавляется <к какой-нибудь вещи> или отнято <от не>, не делает <эту вещь> <в первом случае> больше, или <во втором> меньше, тогда, по словам Зенона, оно не принадлежит к числу существующего, причем существующее, очевидно, понимается как величина и постольку – как величина телесная: ведь именно такая величина обладает бытием в полной мере;... точка же и единица (нуль) <не создадут его> (увеличение – Ред.) ни при каких обстоятельствах» (Met., III, 4, 1001а 29 – в 25; рус. пер., 1934). Хотя Аристотель и называет эти рассуждения З. Э. «грубыми», он замечает тут же, что «всё-таки [остается вопрос], как из одного подобного неделимого или нескольких таких получается величина?»

В совр. литературе встречаются попытки (А. Грюнбаум) справиться с этими трудностями, ссылаясь на теоретико-множественную теорию меры, согласно к-рой несчетное множество множеств меры нуль может иметь уже и ненулевую меру, почему существование протяженных тел, очевидно, следует даже рассматривать, по Грюнбауму, как доказательство существования несчетных актуально-бесконечных множеств. Ясно, однако, что т. о. отнюдь не решаются гносеологич. трудности, связанные с неконструктивностью «построения» протяженных объектов в виде актуально-бесконечных (к тому же еще и несчетных) множеств непротяженных элементов. В лучшем случае эти трудности принимаются за решенные для к.-л. исходных объектов – напр., для отрезков вида [0, α], где α ≤ 1, с помощью допущения, что ко всякой точке отрезка [0,1] мы умеем отнести действительное число, отличающее ее от всех др. точек этого отрезка, хотя их и несчетное множество.

Из четырех апорий З. Э., относящихся к движению, две («Дихотомия» и «Ахиллес») относятся к трудностям, связанным с предположением неограниченной делимости отрезков пути и времени, а другие две («Стрела» и «Стадий») – к трудностям, возникающим, наоборот, в предположении существования неделимых отрезков пути и атомов времени («теперь»). В «Дихотомии», по Аристотелю, доказывается «...несуществование движения на том основании, что перемещающееся тело должно прежде дойти до половины чем до конца...» (Phys., VI 9, 239 в), почему движение не может закончиться, т. к. прежде чем дойти до конца, нужно будет еще пройти половину остатка, и т. д. (в «Лекциях по истории философии», см. Соч., т. 9, Л., 1932, Гегель излагает эту апорию, как опровергающую для движения возможность начаться, поскольку раньше чем дойти до половины пути, нужно дойти до половины этой половины, и т. д.; к невозможности закончиться в таком случае будет относиться уже только апория «Ахиллес»), Эта апория чаще всего трактуется просто как свидетельствующая о том, что З. Э. не располагал еще математич. понятием «предела» (не умел суммировать, напр., геометрич. прогрессию 1/2 + 1/4 + 1/8 + ...) и думал, что «сумма бесконечно большого (неограниченного) числа любых, хотя бы и чрезвычайно малых, протяженных величин обязательно должна быть бесконечно большой» (Симпликий, Комментарии к «Физике» Аристотеля, см. Diels, 3), почему и приходил к заключению, что движение-де «никогда» не закончится, а быстроногий Ахиллес не догонит черепаху. В действительности аргумент З. Э. можно истолковать так: представим себе, что нам нужно измерить длину нек-рого отрезка AB и у нас есть две «единицы» измерения, первоначально неотличимые друг от друга, но такие, что если первую (равно как и сам отрезок AB) считать абсолютно жесткой (не меняющейся в процессе измерения), то вторая оказывается такой, к-рая после каждого ее откладывания на измеряемом отрезке сокращается вдвое. Пусть в результате измерения первой «единицей» отрезок AB оказался имеющим длину 2. Тогда ясно, что в результате измерения второй «единицей» он окажется бесконечно большим: какое бы (конечное) число раз мы ни отложили нашу сокращающуюся «единицу» измерения, нам придётся откладывать ее еще раз, и процесс измерения никогда не закончится: точка В в этом процессе будет недостижимой – «бесконечно удаленной» точкой. (Само собой разумеется, что аналогичное рассуждение применимо не только к отрезку, но и к интервалу времени). Именно такого рода процесс «измерения» отрезка фактически и рассматривает З. Э. Разница состоит в том, что З. Э. подчеркивает, что во всяком непрерывном движении точки по отрезку действительно осуществляется такой процесс, поскольку прежде чем пройти весь отрезок AB, нужно пройти его половину, прежде чем пройти оставшуюся половину, нужно пройти ее половину, и т. д. Чтобы достигнуть точки В, нужно, следовательно, закончить бесконечный, т. е. не имеющий конца, процесс, в чем и состоит диалектич. трудность: апория. Известный математик Г. Вейль писал в этой связи: «Если бы, в соответствии с парадоксом Зенона, отрезок длины 1 можно было составить из бесконечного количества отрезков длины 1/2, 1/4, 1/8,...,» взятых каждый как отдельное целое, то непонятно, почему какая-нибудь машина, способная пройти эти бесконечно многие отрезки в конечное время, не могла бы совершить в конечное время бесконечное множество актов решения, давая, скажем, первый результат через 1/2 минуты, второй – через 1/4 минуты после этого, третий – через 1/8 минуты после второго и т. д. Таким образом оказалось бы возможным, в противоречие с самой сущностью бесконечного, чисто механическим путем рассмотреть весь ряд натуральных чисел и полностью разрешить все соответствующие проблемы существования (вроде Большой теоремы Ферма и др. трудных задач теории чисел – Ред.)» («О философии математики», сб. работ, М.-Л., 1934, с. 25).

Смысл апории «Стрела» состоит в том, что если время слагается из неделимых «теперь» и всякое тело всегда либо покоится, либо движется, то, т. к. в течение неделимого «теперь» тело не может двигаться (иначе «теперь» подразделилось бы на части, соответствующие различным положениям тела), то в каждом «теперь» оно должно покоиться; поскольку же ничего, кроме «теперь», во всем промежутке времени нет, то тело вообще не может двигаться. Начиная с Аристотеля, решения этой апории всегда состояли в том, что различным образом уточнялись понятия движения и покоя. В частности, еще Аристотель говорил о том, что в применении к моменту времени нельзя говорить ни о движении, ни о покое. Эти понятия имеют смысл лишь в применении к промежутку времени, в течение к-рого тело может менять свое место, – и тогда оно движется, либо же не менять его, – и тогда оно покоится. Хороший и ясный обзор различных уточнений понятий движения и покоя, предложенных в целях решения трудностей, вскрытых З. Э., даёт К. Айдукевич (см. Лит.). Характерной чертой всех этих решений является, однако, то обстоятельство, что в целях обоснования непротиворечивости движения, в осуществимости к-рого никто на самом деле не сомневался, авторы их пользуются допущениями об осуществимости вещей, заведомо неосуществимых: о том, что можно (с абсолютной точностью) уловить непротяженный (идеальный) момент времени; о том, что можно сопоставить каждому такому идеальному моменту времени не менее идеальную, лишенную всяких измерений, и поэтому нематериальную точку пути; о том, что всякую такую точку можно полностью индивидуализировать, «задав» ее действительным числом, т. е. не смущаясь тем, что при этом должно предполагаться известным все бесконечное множество десятичных цифр каждого (из нек-рого несчетного множества их) действительного числа, и др. В действительности такие допущения не препятствуют научности теории только потому, что последняя содержит в себе способы ее конечного приближенного истолкования, отнюдь не при всех условиях без противоречий применимого. А как раз эти способы в решениях диалектич. трудностей, связанных с отображением движения, обычно не обсуждаются. Ленин именно в связи с апориями З. Э. замечает, что задача отобразить движение в понятиях содержит в себе диалектич. противоречие, т. к. нельзя отобразить движение, к.-л. образом не остановив (не «омертвив») его, т. е. не обращаясь к его противоположности – к покою. «Мы не можем представить, выразить, смерить, изобразить движения, не прервав непрерывного, не упростив, угрубив, не разделив, не омертвив живого, – пишет Ленин. – Изображение движения мыслью есть всегда огрубление, омертвление,  – и не только мыслью но и ощущением, и не только движения, но и всякого понятия.

И в этом суть диалектики. Эту-то суть и выражает формула: единство, тождество противоположностей» (Соч., т. 38, с. 255).

Самый обычный прием отображения движения, к-рым широко пользуется т. н. классич. механика, состоит в указании способа, позволяющего относить к любому моменту времени (из нек-рого промежутка времени: интервала) координаты, определяющие место движущейся точки. Этот приём не ведёт, однако, к формально-логич. противоречию только благодаря тому, что мы, так сказать, перемещаем одну сторону противоречия за пределы нашей теории, – оставляем в ней только нужным образом идеализированные («огрубленные») допущения и полностью отвлекаемся от несоответствия их действительному положению вещей. Так, с одной стороны, мы утверждаем, что нет таких (сколь угодно малых) интервалов времени, к-рые нельзя было бы подразделить на еще более малые (но тем не менее также протяженные) интервалы времени, в течение к-рых тело, о движении к-рого идёт речь, не меняло бы места; с другой стороны, мы разрешаем себе считать «достаточно малые» протяженные интервалы времени непротяженными «моментами», т. е. позволяем себе отвлечься от происходящего в течение этих интервалов времени изменения места тела (от его движения). Правда, обычно добавляют, что действуя так, мы допускаем ошибку, почему и получаем только приближенные значения интересующих нас (измеряемых) величин (длины пути, времени движения, его скорости или ускорения и т. д.). Однако самые эти величины (в отличие от их «приближенных» значений) обычно рассматривают при этом как реально существующие идеально точные объекты, не смущаясь тем, что такое «существование» основано на допущениях, к-рые мы заведомо не считаем осуществимыми: никто ведь не сомневается в том, что нельзя уловить непротяженный «момент» времени или построить лишенную каких бы то ни было размеров точку! В действительности суть дела состоит в том, что «идеально точные» величины являются лишь огрубленным, упрощенным приближением к тому, что нам нужно с их помощью отобразить, – хорошим приближением, поскольку мы т. о. отвлекаемся от расплывчатости границ исследуемых объектов или явлений и выделяем жесткое существо дела: его центральное, огрубленное и остановленное («омертвленное») ядро. За счет этого «омертвления» получаются уже однозначные ответы на интересующие нас вопросы: формально-логич. противоречия не возникают, – во всяком случае, непосредственно. К последнему мы приходим, однако, как только выясняется, что огрубление, на к-ром была основана наша идеализация, не в состоянии дать нам полной картины исследуемого явления: как только существенными оказываются именно те его стороны, от к-рых мы отвлеклись, огрубив его. Но и это противоречие снова разрешается посредством нек-рой идеализации, строящейся уже, однако, не на пустом месте, а на основе всего знания, добытого ранее (в т. ч. и с помощью тех идеализаций, неправомерность к-рых – в применении к новым условиям – была обнаружена). В разрешении этих вновь и вновь возникающих противоречий, связанных с отображением движения (а следовательно, и с самой его сущностью), и состоит развитие науки, к-рое само есть процесс и носит, следовательно, тот же диалектич. характер.

Что касается возражения противников диалектики, к-рые утверждают, будто движение есть нахождение тела в данный момент в данном месте, в др. момент – в др. месте, то оно обходит самое существо дела: в т. ч. вопрос о правомерности тех допущений о «точках» и «моментах», на к-рых оно основано. Между тем явная оценка правомерности идеализирующих предположений, позволяющих, с одной стороны, отрицать реальное существование непротяженных «точек» и «моментов», а с другой – отождествлять те или иные реальные, происходящие во времени, события с «моментами», те или иные материальные тела (вроде планет и солнца в космографии) с «точками», выяснение границ этой правомерности (границ различных в разных условиях) приобретает особое значение в связи с развитием современных (особенно ядерных) физики и техники. Приходится, т. о., на неизмеримо более высоком уровне развития науки возвращаться снова к проблематике, связанной с апориями З. Э.

Фрагменты: Маковельский А. О., Древнегреческие атомисты, Баку, 1946, ч. 2, гл. 2, 4 – Математика.

Литература: Башмакова И. Г., Лекции по истории математики в Древней Греции, в кн.: Историко-математические исследования, вып. 11, М., 1958, с. 324-33; Russel В., Our knowledge of the external world as a field for scientific method in philosophy..., ch. 6, Chi., 1914; Сajоri F., The purpose of Zeno's arguments on motion, “Isis”, 1920, № 7 (t. 3); Waerden В. L. van der, Zenon und die Crundlagenkrise der griechischen Mathematik, “Math. Ann.”, 1940, Bd 117, H. 2; Grünbaum A., A consistent conception of the extended linear continuum as an aggregate of unextended elements, “Philos. Sei.”, 1952, v. 19, p. 288-306; его же, Modern science and refutation of the paradoxes of Zeno, “Sei. Monthly”, 1955, v. 81, № 5, p. 234-39; ВесkеО., Grundlagen der Mathematik in geschichtlicher Entwicklung, Freiburg/Münch., [1954]; Sadeo Shiraishi, The structure of the continuity of psychological experiences and the physical world, “Sei. of Thought”, Tokyo, 1954, № 1, p. 12-24 (реферат в журн.: “J. Symb. Logic”, 1955, v. 20, № 2, p. 169-70); Ajdukiewicz K., Über Fragen der Logik, “Dtsch. Z. Philos”, 1956, Jg. 4, [H.] 3, S. 318-38.