2. Назревание принципа континуально–сущностной эманации у представителей точных наук
2. Назревание принципа континуально–сущностной эманации у представителей точных наук
а) Уже в школе Платона оказался один мыслитель, который выдвинул принцип, существенно дополнивший учение об идеях, если эти идеи понимать как полную неподвижность. Этот мыслитель – Евдокс Книдский (ок. 391 – 338 гг.), который в Платоновской Академии был временно, потому что сам он имел свою собственную школу гораздо более эмпирического направления. Об его фрагментах – ниже, часть шестая, глава II, §4, п. 2.
Евдокс ввел одну небывалую по своей математической точности концепцию, которую в Новое время (не очень удачно) стали называть"методом исчерпывания". Под"методом исчерпывания"нужно понимать в данном случае именно метод приближения к пределу на путях непрерывного становления, так что"исчерпывается"здесь именно предел становления, причем исчерпаться он никогда не может. Из предыдущего мы можем заключить, что это было идеей уже и элейца Зенона, уже и Демокрита, уже и Антифонта, уже и Платона. Но все эти мыслители, в общем, были весьма далеки один от другого. Что же касается Евдокса, то он, как бы мы сказали, был не больше и не меньше, как в школе самого Платона, почему его принцип континуального становления был прямым распространением и углублением платоновского учения об идеях и числах.
Евдокс тоже обратил внимание на то, что многоугольник, вписанный в круг или описанный вокруг него, по мере увеличения числа своих сторон все больше и больше приближается к кругу, хотя никогда и не может его достигнуть, так что разница между периметром многоугольника и данной окружности может стать меньше любой заданной величины. Точно так же объем цилиндра есть предельное выражение для бесконечно большого количества маленьких цилиндров, но в то же самое время объем конуса тоже составлен из бесконечно большого числа цилиндриков, когда эти цилиндрики, начиная снизу, постепенно уменьшаются и в своем объеме доходят до точки, образующей вершину конуса. Тот же самый процесс происходит при составлении пирамиды из бесконечно большого числа призм.
То же самое получается также и при разделении отрезка прямой на все меньшие и меньшие отрезки, которые, как бы они ни уменьшались, никогда не могут стать равными нулю. Это было тоже осознанием концепции, которую мы сейчас называем принципом бесконечно малых величин. Платоновскую систему идей и чисел этот принцип Евдокса решительно реформировал в том смысле, что идея вещи, или ее число, соотносилась с самой вещью не просто категориально, то есть в условиях неподвижности как идеи, или числа, так и вещи, но в условиях непрерывного растекания идеи, или числа, непрерывного становления этой идеальной области, непрерывного излияния идей и чисел в инобытии вплоть до возникновения вещей.
Такая концепция сущностного становления несомненно повлияла на Аристотеля, который, как мы знаем, тоже боролся с предполагаемой платоновской неподвижностью идей и чисел и на этом основании ввел, например, свое замечательное учение о потенции, энергии и энтелехии. Однако и Аристотель это континуально–сущностное становление все еще слишком близко связывает с самими идеями и числами и не рассматривает это становление как таковое в его чистом виде. На путях самостоятельного изучения такого текуче–сущностного становления, насколько можно судить, сыграли в античности большую роль представители точного знания, у которых принцип исчерпывания Евдокса как раз и получил большое развитие. Само собой разумеется, что это текуче–сущностное становление уже и Аристотель не мог не рассматривать в специальном виде. Ему принадлежит специальный трактат"О возникновении и уничтожении". В этом трактате множество разного рода тонких наблюдений.
Однако наблюдения эти соответствуют нашей общей характеристике философии Аристотеля как дистинктивно–дескриптивного аналога платонизма.
б) Чтобы перейти к дальнейшему, нужно остановиться еще на одной идее Евдокса, которая имеет ближайшее отношение к теории континуума. Эта идея уже не чисто геометрическая, но общечисловая и даже общепонятийная. Это есть проблема пропорций в связи с континуумом. В этой сложной области мы не будем приводить всех первоисточников, поскольку они уже приведены в науке и достаточно обстоятельно обследованы[226]. Не будем касаться и подробностей этой сложной проблемы, а скажем только самое главное, и притом с нашей собственной интерпретацией.
Пропорция есть равенство отношений. Но что такое отношение? С первого взгляда кажется, что для отношения нужны соотносящиеся величины, а величины должны быть определены качественно или количественно. Но, судя по материалам Евдокса, дело здесь вовсе не в качествах и не в количествах. А если так, то Евдокса здесь интересует, очевидно, отношение только как логическая категория. А в этом смысле оно совершенно одинаково присутствует решительно везде. Ведь мы уже видели, как пропагандисты чистого и вполне изолированного единства, – и это уже начиная с самого Парменида, – требовали присутствия такого единого решительно во всем существующем, поскольку все существующее всегда есть нечто, и притом определенное нечто, то есть тем самым является и неделимым единым, как бы пестры и разнообразны ни были существующие вещи. Вот точно так же каждой вещи присуще и отношение ее к другим вещам, без которого эта вещь не могла бы быть ориентирована среди всех других вещей. Но если отношение одинаково присуще всем вещам, оно тем самым, следовательно, и непрерывно. Вещи только потому и могут мыслиться нами, что они отличаются одна от другой и сопоставимы одна с другой. А это и значит, что и природа и функционирование отношения возможны только в виде всеобщего континуума.
На этом основании Евдокс доказывал, что и пропорция возможна только потому, что существует континуум. Пропорция есть равенство отношений, и даже не просто равенство, но и вообще любая связь. Другими словами, если все действительно связано и представляет собою единораздельную цельность, то это возможно только потому, что эта цельность, будучи тем или иным единством отношений, совершенно непрерывно представлена во всех своих частях. А это значит, что здесь Евдокс демонстрирует общеантичную идею тождества нераздельного единства и бесконечно становящейся внутренней множественности этого единства. Именно так, надо думать, Евдокс опирает систему отношений на всеобщий континуум, а всеобщий континуум понимает как систему отношений.
Интересно отметить, что подобного рода сведения о пропорциях мы получаем из V книги"Элементов"Евклида, но анонимный схолиаст Евклида (Eucl. V, pars. 1, p. 211, 7 – 8; 213, 1 – 7 Heib. – Stam.) утверждает, что вся эта книга, возможно, принадлежит Евдоксу.
Если вернуться к методу исчерпывания Евдокса, но уже не для самого Евдокса, которого мы проанализировали, а для его последующих сторонников, то необходимо будет сказать о Евклиде и Архимеде.
Прежде чем расстаться с Евдоксом, мы хотели бы обратить внимание на образцовое издание его фрагментов, принадлежащих Ф. Лассерру. Здесь кроме античных свидетельств об Евдоксе (с. 3 – 11) и общих суждений об его учении в области философии (с. 12 – 14), астрономии (с. 15 – 18) и геометрии (с. 18 – 37) дается тщательный подбор собственных суждений Евдокса (с. 39 – 134). Наконец, это издание Ф. Лассерра необходимо высоко расценивать еще и потому, что все приводимые в нем фрагменты снабжены обширным и много дающим комментарием (с. 137 – 271).
в) Между прочим, такое тщательное издание фрагментов Евдокса, как издание Ф. Лассерра, интересно еще и тем, что дает возможность точно определить место бесконечно малых в мировоззрении Евдокса. Когда некоторые исследователи характеризуют бесконечно малые у Евдокса как то, что может стать меньше любой заданной величины, то подобного рода утверждение звучит совсем в стиле современного математического анализа, где такого рода определение действительно дается в чистом виде. Но такое абстрактное понимание бесконечно малого не существовало раньше Ньютона и Лейбница. Раньше это было только частичной характеристикой того или иного вполне конкретного и вполне специфического бытия. Так, например, точные категории математического анализа назревали у Николая Кузанского только в связи с его чисто теологическими представлениями. Точно так же невозможно и древним приписывать какой нибудь инфинитезимализм в чистом виде. Ведь все наши предыдущие исследования были основаны на чисто телесном миропредставлении, на чисто физической интуиции живого тела. Поэтому и к своему представлению о бесконечно малом приближении древние приходили обязательно только в связи с основной телесной интуицией. Наблюдая живые тела, древние не могли сводить эти тела только на совокупность мертвых линий и фигур, хотя бы и чисто телесных. Эти телесные линии, фигуры и тела при всей своей скульптурной законченности рассматривались еще и как подвижные, живые и бурлящие, как властно зовущие сплошно и непрерывно переходить от одного их момента к другому. Такого рода величины становились тем, что мы сейчас называем иррациональными величинами. Но, во–первых, всякая такая иррациональность всегда мыслилась в античности как нечто зримо и телесно ощутимое; а во–вторых, также и те величины, которые мы сейчас называем иррациональными, тоже рассматривались древними в их живом смысловом потоке. Проще всего это видно хотя бы на диагонали квадрата, сторона которого равна 1. Ведь такая диагональ квадрата равняется корню квадратному из 2, причем сами древние прекрасно понимали, что такая диагональ квадрата несоизмерима со стороной квадрата, то есть не имеет с ней общей меры. Такой квадратный корень из 2 недостижим никакими вычислениями, а, тем не менее он вполне телесен и его можно видеть. Вот это и есть настоящее античное учение о бесконечно малом. Эта бесконечность ни при каких абсолютных вычислениях недостижима, но она телесна и ее можно видеть. Поэтому необходимо сказать, что бесконечно малое ни в какай мере не было в античности уничтожением исходной и вполне конечной телесной интуиции, а, наоборот, было только оживлением и бурлящим смысловым потоком все тех же единораздельных и скульптурных построений.
В этом отношении мы и считаем полезным изучение фрагментов, Евдокса. Свое учение о бесконечно малых приближениях и, следовательно, об иррациональности он иллюстрирует простейшими геометрическими построениями, в интуитивной телесности которых никто не может сомневаться.
Например, у него поднимается вопрос об удвоении куба (фрг. D 24 – 29). Чтобы читатель мог быстрее понять, в чем здесь дело, скажем, что если мы имеем исходный куб, ребро которого равняется 1, то ребро двойного по объему куба будет равняться корню кубическому из 2, то есть величине в полном смысле иррациональной. Как же так? И исходный куб и двойной по объему куб одинаково есть тела видимые или представляемые, и тем не менее ребро удвоенного куба почему то вдруг оказалось иррациональной величиной, достигнуть которую невозможно ни при каком количестве приближений.
Возьмем другой пример. Площади кругов относятся между собою как квадраты, построенные на их диаметрах (фрг. D 59). Но круг – это не только иррациональная величина. Его площадь вычисляется при помощи, величины"p", которая даже сложнее всякой иррациональности. И что же оказывается? Оказывается, что отношение этих сверхиррациональных площадей круга есть не что иное, как отношение квадратов, построенных на диаметрах этих кругов, а в этих квадратах ровно нет ничего иррационального или недостижимого, нет никакой непостигаемой бесконечности, которую необходимо было бы иметь в виду в представлении об этих квадратах.
Возьмем еще пример. Объем конуса равняется одной трети объема цилиндра с теми же основанием и высотой (фрг. D 62). Пересекая конус плоскостями, параллельными его основанию, мы, по мере приближения к вершине, будем получать все меньшие и меньшие окружности. И сколько бы мы их ни уменьшали, мы никогда не можем довести их до нуля. И только путем выхода из этого процесса становления, то есть только путем скачка, мы можем получить окружность, по своей площади равную нулю, то есть, оказаться в вершине конуса. Следовательно, конус тоже представим только при помощи бесконечно малого сближения рассекающих его окружностей, параллельных его основанию. Что же касается тезиса о равенстве конуса одной трети цилиндра с теми же основанием и высотой, то одна треть получается здесь потому, что пирамида имеет своим пределом конус, а призма имеет своим пределом цилиндр. Следовательно, и здесь принцип исчерпывания тоже играет главную роль. Также и из конуса, путем постепенного уменьшения угла при его вершине, мы в конце концов приходим к цилиндру, в котором образующие являются уже параллельными одна другой.
Итак, все обычные континуальные представления возникают у Евдокса всегда совместно с устойчивыми и четко расчлененными формами, как их всегда становящаяся и текуче–сущностная сторона. То же самое мы находим и у других представителей античного инфинитезимализма, обладавшего всегда интуитивной, если не прямо геометрической, то есть отчетливо выраженной, телесной структурой.
г) У Евклида (IV – III века до н. э.) в его знаменитых"Элементах"(Х, предложение 1) мы прямо читаем (Мордухай–Болтовской):"Для двух заданных неравных величин, если от большей отнимается больше половины и от остатка больше половины и это делается постоянно, то останется некоторая величина, которая будет меньше заданной меньшей величины". Ту же самую идею мы находим и в другом положении Евклида (XII 2), где говорится о недостижимости периметра окружности при любом увеличении количества сторон вписанного в него многоугольника. Спорить невозможно: здесь мы имеем яснейшее (но, правда, по преимуществу только интуитивное) определение того, что в современной математике называется теорией бесконечно малых. Тут только необходимо добавить, что было бы ошибочно считать этот принцип чуждым самому Евклиду на том основании, что Евклид занимается неподвижно кристаллизованными геометрическими образами. Такое резкое противопоставление античной геометрии, с одной стороны, и теории бесконечно малых, с другой стороны, совершенно чуждо античному представлению о числе. Евклид прекрасно разбирается в иррациональных величинах, умеет их определять как лишенные общей с рациональными величинами меры и созерцает их на своих вполне кристаллизованных геометрических фигурах.
И в самом деле, почему мы должны считать неантичным умение различать диагональ квадрата от стороны квадрата? А ведь мы уже сказали выше, что если сторону квадрата считать равной единице, то диагональ квадрата будет ?2. И то, что подобного рода корень невыразим никаким рациональным отношением натуральных чисел, в этом тоже нет ничего ужасного. Поэтому теория бесконечно малых, как она представлялась Евклиду, нисколько не мешает его геометризму, а, наоборот, делает его насыщенным и полноценным.
Мы бы привлекли еще знаменитое имя Архимеда (III век до н. э.), который тоже был у самого порога учения о непрерывном становлении, хотя, по–видимому, и не перешагнул этого порога. В начале своего трактата"Исчисление песчинок"Архимед утверждает, что, какое бы количество песчинок ни заполняло космос (это количество он измеряет мириадами мириад), такое количество можно увеличивать до бесконечности. В скрытой форме тут тоже мыслится вышеприведенный тезис Евдокса Книдского, но Архимед в данном случае не входит в точный анализ этого предмета.
Однако в других своих сочинениях Архимед несомненно подходил к учению о бесконечно малых гораздо ближе. Так, в работе"О шаре и цилиндре"(I 6 Heib. — Stam.) Архимед ссылается на указанное у нас выше положение Евклида (XII 2), то с применением этого положения к соотношению цилиндра и шара. Та же самая идея проводилась у Архимеда и во вступлении к трактату"Квадратура параболы"(II 264, 5 – 26 Heib. — Stam.).