Глава вторая

ЭЛЕЙСКАЯ ШКОЛА И ПЕРВАЯ ПОСТАНОВКА ПРОБЛЕМЫ БЕСКОНЕЧНОСТИ

Что такое бытие?

Основал эту школу Ксенофан Колофонский, главными ее представителями были Парменид1 и Зенон Элейский; последний, как свидетельствуют древние источники, был любимым учеником Парменида. Значение элеатов в становлении античной философии и науки трудно переоценить. Они впервые поставили вопрос о том, как можно мыслить бытие, в то время как их предшественники - и ранние физики-натурфилософы, и пифагорейцы2 - мыслили бытие, не ставя этого вопроса. Благодаря элеатам вопрос о соотношении мышления и бытия становится предметом рефлексии; в результате появляется стремление прояснить с логической точки зрения те понятия и представления, которыми прежняя наука оперировала некритически. "Итак, я скажу тебе (ты же внимательно прислушивайся к моим речам), какие только пути исследования доступны для разума. Первый путь: бытие есть, а небытия нет. Это путь Достоверности (PeiJи), ибо близко подходит он к Истине. Второй путь: бытия нет, а небытие должно быть. Этот путь - поверь мне - не должен заслуживать твоего доверия. Ибо немыслимо ни познать, ни выразить небытия: оно - непостижимо"3. Небытие непознаваемо, невыразимо, оно недоступно мысли, потому оно и есть небытие. Ибо, по Пармениду, "мыслить и быть одно и то же"4.

Это изречение Парменида Платон и Аристотель склонны были толковать так: единственно возможным содержанием мышления является чистое бытие.

Как справедливо отмечает В. Лейнфельнер, "Парменид даже не подозревал, какие философские дискуссии, длящиеся столетиями, возбудит он своим положением, что мышление и бытие - одно и то же"5. Этой постановкой вопроса Парменид создавал предпосылки для научного мышления в собственном смысле слова, которое начинается с обсуждения следствий, вытекающих из его концепции мышления.

Что же такое парменидовское "бытие", какими атрибутами оно наделено?

Различение мыслимого и чувственно воспринимаемого. Прежде всего, по Пармениду, бытие - это то, что всегда есть; оно едино и вечно - вот главные его предикаты. Все остальные предикаты бытия уже производны от этого. Раз бытие вечно, то оно безначально - никогда не возникает; неуничтожимо - никогда не гибнет; оно бесконечно, цельно, однородно и невозмутимо: "Для него нет ни прошедшего, ни будущего, ибо оно во всей своей полноте живет в настоящем, единое, неразделимое. И действительно, какое начало найдешь ты для него? Где и откуда могло бы оно возникнуть?"6

Вечность бытия и единство его для Парменида неразрывно связаны. Бытие непреходяще, а это значит, что оно не дробится на части, одна из которых могла бы быть, а другая - гибнуть или возникать; потому он и говорит, что бытие едино и цельно, неделимо, не дробится на множество. То, что у бытия нет ни прошлого, ни будущего, как раз и означает, что оно едино, тождественно себе. "Таким образом, исчезает возможность возникновения и гибели бытия. Бытие - неделимо, ибо оно всюду одинаково и нет ничего ни большего, ни меньшего, что могло бы помешать связности бытия, но все оно преисполнено бытием. Нераздельно же бытие потому, что бытие тесно примыкает к бытию"7.

Вечное (неизменное), цельное (сплошное), неделимое, единое (не многое) бытие, по Пармениду, неподвижно. Ибо откуда взяться движению у того, что не изменяется?

Можно было бы согласиться с теми, кто, подобно Лейнфельнеру, склонен считать, что парменидовское бытие есть онтологизированный логический принцип тождества (А = А), если бы сам Парменид не осознавал этот принцип тождества именно как бытие. А ведь он не только осознавал, но даже наглядно представлял его, говоря, что оно подобно шару. То, что ничем не может быть уязвлено или ущемлено, чему ничто не мешает быть таким, каково оно есть, ничто не вторгается в него извне и не деформирует изнутри, принимает форму шара. Шар - это образ-схема самодостаточной, ни в чем не нуждающейся, никуда не стремящейся реальности. А таково, по Пармениду, бытие.

Но присмотримся к определениям парменидовского "бытия". Оно вечно, едино, неизменно, неделимо, неподвижно. Все это - характеристики, противоположные тем, какими наделены явления чувственного мира - мира изменчивых, преходящих, подвижных вещей, раздробленных на множество. Движение и множественность - это две характеристики чувственного мира, которые друг друга предполагают, как это постоянно подчеркивает Парменид.

Мир бытия и чувственный мир впервые в истории человеческого мышления сознательно противополагаются: первый - это истинный мир, второй - мир видимости, мнения. Первый познаваем, второй недоступен познанию.

Вслед за Парменидом эту концепцию развивал Зенон, его ученик, которого Аристотель не случайно называет "изобретателем диалектики". Различие между Парменидом и Зеноном Платон усматривает только в том, что Парменид доказывал существование единого, а Зенон - несуществование многого8.

В школе элеатов впервые предметом логического мышления стала проблема бесконечности. В этом смысле философия элеатов представляет собой важный рубеж в истории научного мышления. Некоторые исследователи считают, что учение элеатов кладет начало научному знанию в строгом смысле слова9. Такая точка зрения имеет свой смысл; теоретическое естествознание невозможно без математики, а сама математика, как подчеркивает Г.И. Наан, "настолько тесно связана с понятием бесконечности, что нередко ее определяют как науку о бесконечном"10. Действительно, старое, идущее через века определение математики (точнее, математического анализа, понятого как основа и фундамент математики11) как науки о бесконечном разделяют и многие современные математики12. Но впервые проблема бесконечности стала предметом обсуждения именно в школе элеатов. Зенон вскрыл противоречия, в которые впадает мышление при попытке постигнуть бесконечное в понятиях. Его апории - это первые парадоксы, возникшие в связи с понятием бесконечного.

Однако вряд ли следует, исходя из приведенных соображений, рассматривать апории Зенона как первые шаги научного мышления вообще. Скорее можно говорить о том, что апории Зенона были первым в истории кризисом оснований науки, прежде всего математики. Для возникновения такого рода кризиса оснований необходимо, чтобы научное знание достигло некоторого уровня, чтобы уже сложилась - пусть и первая, и недостаточно логически обоснованная, но именно теория как систематическая связь положений13. И такая теория возникла ко времени Зенона: это была пифагорейская математика.

Вопрос о "приоритете": Пифагор или Парменид?

Поскольку А. Сабо в своей весьма содержательной и серьезной работе "Начала греческой математики" приходит к выводу, что учение элеатов в сущности легло в основу греческой математики и стало, таким образом, отправным пунктом в ее развитии, мы должны рассмотреть этот вопрос детальнее.

Сабо рассуждает следующим образом. Греческая математика, говорит он, отличается от египетской и вавилонской тем, что в ней утверждения, положения всегда доказываются, в то время как древневосточные тексты математического содержания содержат только интересные инструкции, так сказать, рецепты и часто примеры того, как надо решать определенную математическую задачу. Анализируя структуру математического доказательства, как оно дается в "Началах" Евклида, Сабо приходит к выводу, что доказательство представляет собой способ удостоверения того или иного положения, которое не желают (или не могут) удостоверить с помощью наглядной демонстрации. Сабо допускает, что в более ранний период математики доказывали свои утверждения, демонстрируя доступную созерцанию фигуру, так что ядро доказательства составляла конкретная наглядная демонстрация; в основе доказательства, таким образом, лежала эмпирическая и наглядная очевидность. От такого рода доказательства Евклид, подчеркивает Сабо, отказался. При этом речь идет, как полагает Сабо, не о простом повороте от наглядных моделей к понятиям, а о "сознательном отказе от созерцательного (наглядного)", о сознательном избегании просто наглядного. В результате отказа от созерцания Евклид, говорит Сабо, прибегает к так называемому косвенному выводу - доказательству от противного. "Оба эти явления в греческой математике - отказ от эмпиризма и характерное использование косвенного вывода - я свожу к решающему влиянию философии элеатов"14, - пишет Сабо. Связь здесь вполне понятна: именно элеаты впервые последовательно проводят мысль о том, что истинное знание может быть получено только с помощью разума, а чувственное восприятие всегда недостоверно.

Мы совершенно согласны с Сабо в том отношении, что именно философия элеатов впервые положила начало логической рефлексии относительно важнейших понятий античной науки, и прежде всего математики. В этом смысле ее значение для развития античной науки трудно переоценить. Именно после критики элеатов начинается уяснение предпосылок греческой математики, которые у ранних пифагорейцев, как мы видели, еще оставались непроясненными. Именно после критики элеатов, впервые поставивших на обсуждение проблему бесконечности и связанную с ней проблему континуума (пространства, времени, движения), начинают складываться основные направления научной мысли Древней Греции.

Однако трудно согласиться с некоторыми выводами, которые делает Сабо, исходя из исследования роли элеатов в становлении античной науки. Так, например, анализируя первое определение VII книги "Начал" Евклида, где вводится понятие единицы (monЁV)15, Сабо приходит к заключению, что понятие monЁV могло появиться в античной математике только после элеатов. Он подчеркивает, что даже терминологически "сущее" (t' 'n) и "Одно" (t' Ьn) выступают у элеатов как взаимозаменяемые понятия. Но известно, что первое определение VII книги Евклида почти полностью воспроизводит рассуждение Пифагора о единице, как его передает Секст Эмпирик в книге "Против ученых" (Х, 260-261)16. И не только из сообщения Секста, но и из других сообщений древних известно, что понятие монады было одним из центральных в философии ранних пифагорейцев и что, стало быть, им пользовались еще до элеатов.

Поскольку, однако, Сабо усматривает в учении элеатов о едином источник и начало развития науки, он вынужден отрицать существенный вклад ранних пифагорейцев в развитие античной математики. "В каком смысле, - пишет он, - можно вообще говорить о "соперничестве" между элеатами и пифагорейцами (=арифметиками)? Как известно, элеаты допускали только существование "сущего", "Одного" и отрицали, что существует множество, ибо они считали, что можно доказать самопротиворечивость мышления также в понятии множества. Но если отрицается множество, то арифметика вообще невозможна. Следовательно, арифметики могли позаимствовать у элеатов понятие "единства", но они уже не могли вслед за элеатами отклонить множество; они должны были каким-то образом удержать множество, ибо без множества нет арифметики. И, в самом деле, второе определение арифметики у Евклида ("Начала", кн. VII, определение 2) спасает именно понятие множества благодаря тому, что оно гласит: "Число есть множество, составленное из единств (из монад - Щc monЁdwn)"17.

Согласно приведенному отрывку, арифметики-пифагорейцы могли позаимствовать у элеатов понятие единицы (монады), но не могли следовать за ними в отрицании множества, если хотели оставаться арифметиками. Зачем же, однако, было арифметикам заимствовать понятие монады у элеатов, когда это понятие уже было у ранних пифагорейцев, образовывавших число (множество) из единицы и беспредельного? И само определение числа как множества, составленного из монад (единиц, единств), - это его раннепифагорейское определение, которое приводится и Евклидом в его арифметических книгах.

Сабо сам пишет, что, признавая множество, пифагорейцы тем самым резко отличаются от элеатов; но было бы неверным, продолжает он, "говорить о их "соперничестве", так как арифметики ведь отнюдь не оспаривали элеатовское понятие "одного", они только развили его дальше..."18. В действительности, у самих "арифметиков" (т.е. пифагорейцев) уже до элеатов было понятие монады, причем в отличие от элеатов они не считали, что "единое" и "многое" (множество) взаимно исключают друг друга - тезис, который выдвинули против них элеаты. Именно элеаты впервые попытались показать, что понятие множества несовместимо с понятием "одного", "единицы", а потому заставили позднейших философов, в том числе и пифагорейцев, задуматься о том, как возможно без противоречия мыслить число и какова его природа.

Апории Зенона

Из 45 апорий, выдвинутых Зеноном, до нас дошло 9. Классическими являются пять апорий, в которых Зенон анализирует понятия множества и движения. Первую, получившую название "апория меры", Симпликий излагает следующим образом: "Доказав, что, "если вещь не имеет величины, она не существует", Зенон, прибавляет: "Если вещь существует, необходимо, чтобы она имела некоторую величину, некоторую толщину и чтобы было некоторое расстояние между тем, что представляет в ней взаимное различие". То же можно сказать о предыдущей, о той части этой вещи, которая предшествует по малости в дихотомическом делении. Итак, это предыдущее должно также иметь некоторую величину и свое предыдущее. Сказанное один раз можно всегда повторять. Таким образом, никогда не будет крайнего предела, где не было бы различных друг от друга частей. Итак, если есть множественность, нужно, чтобы вещи были в одно и то же время велики и малы и настолько малы, чтобы не иметь величины, и настолько велики, чтобы быть бесконечными"19.

Аргумент Зенона, вероятнее всего, направлен против пифагорейского представления о том, что тела "состоят из чисел". В самом деле, если мыслить число как точку, не имеющую величины ("толщины", протяженности), то сумма таких точек (тело) тоже не будет иметь величины, если же мыслить число "телесно", как имеющее некоторую конечную величину, то, поскольку тело содержит бесконечное количество таких точек (ибо тело, по допущению Зенона, можно делить "без предела"), оно должно иметь бесконечную величину. Из этого следует, что невозможно мыслить тело в виде суммы неделимых единиц, как это мы видели у пифагорейцев.

Можно, пожалуй, сказать, продолжив мысль Зенона: если "единица" неделима, то она не имеет пространственной величины (точки); если же она имеет величину, пусть как угодно малую, то она делима до бесконечности. Элеаты впервые поставили перед наукой вопрос, который является одним из важнейших методологических вопросов и по сей день20: как следует мыслить континуум - дискретным или непрерывным? состоящим из неделимых (единиц, "единств", монад) или же делимым до бесконечности? Любая величина должна быть понята теперь с точки зрения того, состоит ли она из единиц (как арифметическое число пифагорейцев), неделимых "целых", или она сама есть целое, а составляющие ее элементы самостоятельного существования не имеют. Этот вопрос ставится и по отношению к числу, и по отношению к пространственной величине (линии, плоскости, объему), и по отношению к времени. В зависимости от решения проблемы континуума формируются и разные методы изучения природы и человека, т.е. разные научные программы.

Пока мы рассмотрели только одну апорию Зенона, в которой выявляется противоречивость понятия "множества". Теперь перейдем к тем апориям, где обсуждается возможность мыслить движение. Мы увидим, что здесь в основе лежит тоже проблема континуума. Наиболее известны четыре апории этого рода: "Дихотомия", "Ахиллес и черепаха", "Стрела" и "Стадий". Кратко их содержание передает Аристотель в "Физике": "Есть четыре рассуждения Зенона о движении, доставляющие большие затруднения тем, которые хотят их разрешить. Первое, о несуществовании движения на том основании, что перемещающееся тело должно прежде дойти до половины, чем до конца... Второе, так называемый Ахиллес. Оно заключается в том, что существо более медленное в беге никогда не будет настигнуто самым быстрым, ибо преследующему необходимо раньше придти в место, откуда уже двинулось убегающее, так что более медленное всегда имеет некоторое преимущество... Третье... заключается в том, что летящая стрела стоит неподвижно; оно вытекает из предположения, что время слагается из отдельных "теперь"... Четвертое рассуждение относится к двум разным массам, движущимся с равной скоростью, одни - с конца ристалища, другие - от середины, в результате чего, по его мнению, получается, что половина времени равна ее двойному количеству"21.

Первая апория - "Дихотомия" - доказывает невозможность движения, поскольку преодоление любого расстояния предполагает "отсчитывание" бесконечного множества "середин": ведь любой отрезок можно делить пополам - и так до бесконечности. Другими словами, если континуум мыслится как актуально данное бесконечное множество, то движение в таком континууме невозможно мыслить, ибо занять бесконечное число последовательных положений в ограниченный промежуток времени невозможно.

Эту антиномию можно истолковать двояким образом, и в зависимости от истолкования ее и решают по-разному. Если считать, что противоречие состоит в невозможности в конечный отрезок времени "отсчитать" бесконечное число моментов (пройти бесконечное число положений), то решение антиномии будет состоять в указании, что Зенон неправомерно отождествил бесконечность с бесконечной делимостью. Такое решение апории Зенона дал Аристотель, введя понятие континуума как потенциально делимого до бесконечности22. В самом деле, если все дело в том, что в конечный отрезок времени нельзя пройти бесконечное количество точек пространства, то достаточно указать на то, что и любой конечный отрезок времени точно так же можно делить до бесконечности, как и любой отрезок пространства. Но возможность деления, говорит Аристотель, еще не тождественна действительной поделенности как пространства, так и времени; иначе говоря, пространство и время делимы до бесконечности потенциально, но не поделены до бесконечности актуально. Бесконечная делимость не есть бесконечная величина, а потому движение, по Аристотелю, мыслимо без всякого противоречия. Каждому моменту времени соответствует определенная точка в пространстве. Так введением потенциальной бесконечности Аристотель решает антиномию, возникшую у Зенона при допущении континуума как актуальной бесконечности.

Однако проблема актуальной бесконечности, поставленная Зеноном, при этом не снимается. В самом деле, рассуждение Зенона основано на невозможности мыслить завершенную бесконечность. И если говорят, что не только любой отрезок пространства, но любой отрезок времени содержит в себе бесконечность, так что между моментами того и другого можно установить взаимно-однозначное соответствие, то этим еще не решается вопрос о том, как же мыслить бесконечность осуществленной, законченной. Аристотель решает этот вопрос, устраняя вообще актуально-бесконечный континуум. Попытку решить проблему, оставаясь на почве актуальной бесконечности, предпринял Г. Кантор; С.А. Богомолов попытался показать, каким образом с точки зрения теории множеств можно разрешить парадоксы Зенона23.

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

В третьей апории - "Стрела" - Зенон доказывает, что летящая стрела покоится. Зенон здесь исходит из понимания времени как суммы дискретных (неделимых) моментов, отдельных "теперь", а пространства - как суммы точек. Он рассуждает так: в каждый момент времени стрела занимает определенное место, равное своему объему (ибо в противном случае стрела была бы "нигде"). Но если занимать равное место, то двигаться невозможно (движение предполагает, что предмет занимает место, большее, чем он сам). Значит, движение можно мыслить только как сумму состояний покоя, а это невозможно (ибо сумма нулей не дает никакой величины). Таков результат, вытекающий из допущения, что пространство состоит из суммы неделимых "мест", а время - из суммы неделимых "теперь".

Аналогично можно было бы рассуждать, исходя из неделимости "моментов" времени: в каждый из моментов стрела должна покоиться, а значит, движение невозможно. Допустить движение значит предположить, что "момент" будет разделен.

Как видим, доказательство невозможности движения основано на допущении дискретного континуума - пространство и время мыслятся как состоящие из актуального множества неделимых "единиц". Апория "Стадий" по своим предпосылкам сходна со "Стрелой". Пусть по ристалищу, по параллельным прямым, с равной скоростью движутся навстречу друг другу два предмета равной длины и проходят мимо неподвижного третьего предмета той же длины. Пусть ряд А1, А2, А3, А4 означает неподвижный предмет, ряд В1, В2, В3, В4 - предмет, движущийся вправо, и ряд С1, С2, С3, С4 - предмет, движущийся влево:

А1 А2 А3 А4

В1 В2 В3 В4 ЧЧ(

(ЧЧ С1 С2 С3 С4

По истечении одного и того же момента времени точка В1 проходит половину отрезка А1А4 и целый отрезок С1С4, т.е. она пройдет мимо четырех точек на отрезке С1С4 и в то же время мимо только половины точек на отрезке А1А4.

Согласно предпосылке Зенона, каждому неделимому моменту времени соответствует неделимый отрезок пространства. Значит, точка В1 в один момент времени проходит разные части пространства в зависимости от того, с какого пункта вести отсчет: по отношению к отрезку А1А4 она в момент времени проходит одну неделимую часть пространства, по отношению к отрезку С1С4 - две неделимые части пространства24. Неделимый момент времени оказывается вдвое больше самого себя. Значит, либо неделимый момент времени должен быть делимым, либо делимой должна быть неделимая часть пространства. Поскольку же ни того, ни другого Зенон не допускает, то вывод его гласит: движение невозможно мыслить без противоречия, а значит, движения не существует.

Таким образом, все четыре апории имеют целью доказать невозможность движения, поскольку его нельзя мыслить, не впадая в противоречие. Вывод Зенона парадоксален в том смысле, что, будем ли мы мыслить континуум делимым до бесконечности (апории "Дихотомия" и "Ахиллес и черепаха") или же, напротив, состоящим из неделимых моментов (апории "Стрела" и "Стадий"), мы не можем без противоречия мыслить движение ни в том, ни в другом случае. В первом случае в силу бесконечной делимости пространства никакой - даже самый малый - отрезок пути не может быть пройден; более того, внимательно присмотревшись к апории "Дихотомия", мы увидим, что движение не может даже и начаться: ведь чтобы пройти половину отрезка, нужно сначала пройти половину этой половины и т.д. до бесконечности, а значит, невозможно пройти никакой конечный отрезок пути. В случае "Ахиллеса" - та же ситуация, только бесконечная последовательность направлена не в прошлое, а в будущее.

Во втором случае - "Стрела" и "Стадий" - никакое движение невозможно в силу того, что и время, и пространство состоят из неделимых элементов.

Парадоксы Зенона не раз квалифицировались в истории как скептицизм и даже "софизмы". Поводом к этому служило, помимо прочего, и то обстоятельство, что эти парадоксы разрушают определенные представления, в том числе не только теоретические установки (пифагорейцев или Гераклита), но и, казалось бы, неопровержимые факты опыта, к каковым относятся и множественность, и движение25.

Апории Зенона действительно имеют критическую направленность, и мы увидим ниже, к какому пересмотру теоретических предпосылок пифагореизма дала толчок критика Зенона.

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

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