Часть 5.

Платон и пифагореизм

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

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

В каком же виде предстает теперь у Платона пифагорейское учение и какое обоснование он дает науке о числе, т.е. математике? В диалоге "Филеб" Платон анализирует исходные принципы пифагорейцев, устанавливая их связь с понятиями своей философии.

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

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

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

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

Интересно размышление Платона о том, когда и почему возникает у индивида потребность, заставляющая его искать способ поставить предел беспредельному. Это, в сущности, размышление о том, когда и почему возникает надобность в научном исследовании того или иного явления. Вот к каким выводам он приходит: если чувственное восприятие не дает нам определенного и недвусмысленного указания на то, что такое находящийся перед нами предмет, то возникает необходимость обратиться к мышлению - и таким путем возникает наука. Приведем это рассуждение Платона ввиду его существенного значения для нашей темы. "Кое-что в наших восприятиях, - говорит Сократ, - не побуждает наше мышление к дальнейшему исследованию, потому что достаточно определяется самим ощущением; но кое-что решительно требует такого исследования, поскольку ощущение не дает ничего надежного... Не побуждает к исследованию то, что не вызывает одновременно противоположного ощущения, а то, что вызывает такое ощущение, я считаю побуждающим к исследованию". Разъясняя сказанное, Платон заключает, что "ощущение, назначенное определять жесткость, вынуждено приняться и за определение мягкости и потому извещает душу, что одна и та же вещь ощущается им как жесткая и как мягкая... То же самое и при ощущении легкого и тяжелого...". Таким образом, ощущение дает одновременно противоположные сведения, и оказывается необходимым ввести степень жесткости или мягкости, легкости или тяжести вещи, не прибегая уже к одному только свидетельству ощущения. Субъективный критерий должен быть заменен объективным, и здесь в дело должно вступить мышление.

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

Мера есть посредник между сферами бытия и становления. Мера же необходимо связана с числом.

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

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

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

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

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

Известно, что при входе в платоновскую Академию была надпись: "Не геометр - да не войдет". Те, кто не были сведущими в музыке, геометрии и астрономии, вообще не принимались в Академию. Диоген Лаэрций сообщает, что возглавлявший Академию Ксенократ сказал человеку, не знакомому ни с одной из названных наук: "Иди, у тебя нечем ухватиться за философию". Не удивительно поэтому, что среди учеников Платона были крупные математики - такие, как Архит, Теэтет, Евдокс.

Число как идеальное образование

Теперь рассмотрим, каков онтологический статус числа у Платона. Число - это единство предела и беспредельного. Мы знаем уже, что такого рода единство противоположных начал Платон усматривает не только в чувственных вещах; соотнесенность единого и иного должна иметь место также и в сфере идеального - того, что постигается лишь с помощью мысли. Естественно поэтому, что число - это идеальное образование, возникшее в результате связи противоположностей.

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

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

Обратимся за разъяснением вопроса о природе чисел и "математических объектов" к самому Платону. Поясняя, что такое число, Сократ говорит своему собеседнику: ""Как ты думаешь, Главкон, если спросить их (математиков. - П.Г.): достойнейшие люди, о каких числах вы рассуждаете? Не о тех ли, в которых единица действительно такова, какой вы ее считаете, - то есть всякая единица равна всякой единице, ничуть от нее не отличается и не имеет в себе никаких частей?" - как ты думаешь, что они ответят?

- Да, по-моему, что они говорят о таких числах, которые допустимо лишь мыслить, а иначе с ними никак нельзя обращаться" (курсив мой. - П.Г.).

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

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

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

Что же, однако, такое "математические вещи", или "математические объекты", о которых говорит Аристотель, и чем они отличаются у Платона от чисел? Вот что говорит об этом Платон: "Когда они (геометры. - П.Г.) пользуются чертежами и делают отсюда выводы, их мысль обращена не на чертеж, а на те фигуры, подобием которых он служит. Выводы свои они делают только для четырехугольника самого по себе и его диагонали, а не для той диагонали, которую они начертили. То же самое относится к произведениям ваяния и живописи, от них может падать тень и возможны их отражения в воде, но сами они служат лишь образным выражением того, что можно видеть лишь мысленным взором" (курсив мой. - П.Г.).

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

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

"Математические объекты", стало быть, - это те образования, которыми оперирует не арифметика, имеющая дело с числами, а геометрия, это фигуры: окружности, треугольники, четырехугольники - и их элементы: радиусы, углы, диагонали, биссектрисы и т.д., т.е. линии и плоскости, по-разному сконструированные. К математическим Платон относит и "объекты" стереометрии: шар, куб, тетраэдр, икосаэдр и др. Все это, согласно Платону, объекты мысли, но они в то же время могут иметь чувственные подобия, чувственные аналоги: в качестве таких подобий могут выступать не только начерченные на песке или на восковой дощечке круги, треугольники и т.д., но и вырезанные из дерева или из камня шары, кубы, пирамиды. Видимо, в этом смысле Аристотель и говорит, что Платон считает числами и вещи, и причины вещей, но причинами он считает числа умопостигаемые, а те, что воплощаются в вещах, считает производными от первых. Точно так же и с геометрическими объектами: те вещи, которые имеют форму шара или куба, Платон считает чувственными подобиями идеального шара или куба, так же как чувственными подобиями геометрических фигур являются их чертежи.

Понятие пространства у Платона и онтологический статус геометрических объектов

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

Пифагорейцы по той причине, видимо, не различали числа и вещи, что они считали единицу, имеющую определенное положение в пространстве (т.е. точку), вещью; поскольку эмпирический мир вещей - это мир пространственный, то единица, становясь точкой, тем самым выступает как элемент пространственного, а значит, эмпирического мира.

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

Насколько нам известно, Платон впервые в античной науке вводит понятие геометрического пространства; до него античная философия не отделяла сознательно пространство от его наполнения, за исключением разве атомистов, но они определяли пространство физически - как пустоту, отличая ее от атомов как "полного". И не только доплатоновская, но и послеплатоновская научно-философская мысль в лице Аристотеля и его учеников не признавала пространства в том виде, как его понимал Платон; пространство выступает у Аристотеля как "место", а это понятие радикально отличается от геометрического пространства Платона.

Поскольку понятие пространства, впервые формирующееся у Платона, имеет очень большое значение для эволюции науки и ее исходных принципов, поскольку оно, далее, тесно связано с платоновским обоснованием математики, мы рассмотрим его здесь подробнее. В диалоге "Тимей" Платон следующим образом определяет пространство: "...приходится признать, во-первых, что есть тождественная идея, не рожденная и не гибнущая, ничего не воспринимающая в себя откуда бы то ни было и сама ни во что не входящая, незримая и никак иначе не ощущаемая, но отданная на попечение мысли. Во-вторых, есть нечто подобное этой идее и носящее то же имя - ощутимое, рожденное, вечно движущееся, возникающее посредством мнения, соединенного с ощущением. В-третьих, есть еще один род, а именно пространство (є cиra): оно вечно, не приемлет разрушения, дарует обитель всему рождающемуся, но само воспринимается вне ощущения, посредством некоего незаконного умозаключения, и поверить в него почти невозможно".

Пространство, как видим, определяется Платоном как нечто отличное, с одной стороны, от идей, постигаемых мыслью (n"hsiV), которые мы назвали бы по этой причине логическим объектом (для Платона логическое имеет статус единственно истинного бытия), а с другой - от чувственных вещей, воспринимаемых "ощущением" (aЗsJhsiV). Пространство лежит как бы между этими мирами в том смысле, что оно имеет признаки как первого, так и второго, а именно: подобно идеям, пространство вечно, неразрушимо, неизменно - более того, оно и воспринимается не через ощущение. Но сходство его с чувственным миром в том, что воспринимается оно все же не с помощью мышления. Та способность, с помощью которой мы воспринимаем пространство, квалифицируется Платоном весьма неопределенно - как "незаконное умозрение" (°pt'n logismщ tinИ n"JJ). Переводя это выражение Платона как "гибридное рассуждение", Дюгем тем самым хочет подчеркнуть, что способность, которой мы постигаем пространство, есть некий гибрид, "помесь" между мышлением и ощущением.

Интересно, что Платон сравнивает видение пространства с видением во сне: "Мы видим его (пространство. - П.Г.) как бы в грезах и утверждаем, будто это бытие непременно должно быть где-то, в каком-то месте и занимать какое-то пространство, а то, что не находится ни на земле, ни на небесах, будто бы и не существует".

Сравнение "незаконнорожденного" постижения пространства с видением во сне, очевидно, весьма для Платона важно, потому что он употребляет это сравнение не однажды. В диалоге "Государство", говоря о геометрии и ее объектах, Платон вновь пользуется этим сравнением: "Что касается остальных наук, которые, как мы говорили, пытаются постичь хоть что-нибудь из бытия (речь идет о геометрии и тех науках, которые следуют за ней. - П.Г.), то им всего лишь снится бытие, а наяву им невозможно его увидеть, пока они, пользуясь своими предположениями, будут сохранять их незыблемыми и не отдавать в них отчета. У кого началом служит то, чего он не знает, а заключение и середина состоят из того, что нельзя сплести воедино, может ли подобного рода несогласованность когда-либо стать знанием?"

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

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

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

Платон и "Начала" Евклида

В первой книге "Начал" Евклид формулирует исходные положения геометрии, которые не могут быть доказаны, но на базе которых только и могут быть получены остальные - выводные - положения. Эти недоказуемые утверждения Евклид подразделяет на три группы: определения ("roi), постулаты (aДtїmata) и общие понятия - аксиомы. У самого Евклида эта третья группа положений носит название koinaИ Ьnnoiai - "общие представления", "понятия"; на латинский язык это выражение обычно переводили как "communes animi conceptiones" - "общие понятия души". У Прокла в комментарии к Евклиду первая группа положений называется также гипотезами (џp"JesiV), а третья группа положений носит название аксиомы (ўxiиmata).

На каком основании Евклид вводит эти три подразделения? Чем отличаются определения от постулатов и аксиом?

Рассмотрим сначала, что такое определения, или допущения (гипотезы), как их именует платоник Прокл. В первой книге Евклида их 23. Они в свою очередь могут быть подразделены на две группы. В первой группе (определения 1-9, 13, 14) вводятся исходные понятия геометрии - точка, линия, прямая линия, поверхность, плоскость, угол, граница, фигура. Ко второй группе принадлежат определения основных геометрических фигур - прямого, тупого и острого углов, круга, разного вида треугольников и четырехугольников, параллельных прямых.

Что касается определений первой группы, то, как отмечает М.Я. Выгодский, "с древнейших времен и до наших дней эти определения в наибольшей степени были предметом критики". Приведем главнейшие из определений этой первой группы.

1. Точка есть то, что не имеет частей.

2. Линия же - длина без ширины.

3. Концы же линии - точки.

4. Прямая линия есть та, которая равно расположена относительно точки на ней.

5. Поверхность есть то, что имеет только длину и ширину.

6. Концы же поверхности - линии.

Очевидно, именно такого рода определения имеет в виду Платон в следующем своем рассуждении: "Я думаю, ты знаешь, что те, кто занимается геометрией, счетом и тому подобным, предполагают в любом своем исследовании, будто им известно, что такое чет и нечет, фигуры, три вида углов и прочее в том же роде. Это они принимают за исходные положения и не считают нужным отдавать в них отчет ни себе, ни другим, словно это всякому и без того ясно".

Таким образом, термин "roi, или ЎpoJЪseiV, переводимый на русский язык как "определения", означает скорее "гипотезы", т.е. предположения, допущения, которые далее не доказываются. Как поясняет Аристотель, определения "ничего не говорят о том, существует ли данный предмет или нет", и это, надо полагать, их специфическое отличие от постулатов. Точно так же ничего не говорят о существовании определяемого предмета и аксиомы, т.е. "общие понятия".

1. Равные одному и тому же равны между собой.

2. И если к равным прибавляют равные, то и целые будут равны.

3. И если от равных отнимаются равные, то остатки будут равны.

4. И если к неравным прибавляются равные, то целые будут не равны.

5. И удвоенные одного и того же равны между собой.

6. И половины одного и того же равны между собой.

7. И совмещающиеся друг с другом равны между собой.

8. И целое больше части.

9. И две прямые не содержат пространства.

Как нетрудно видеть, все аксиомы, кроме 7-й и 9-й, одинаково могут быть отнесены как к геометрии, так и арифметике; что же касается 7-й и 9-й, то Л. Хис считает их позднейшей вставкой, и его мнение разделяет М.Я. Выгодский.

Аксиомы, как и определения, ничего не говорят о существовании определяемого ими объекта. Отличие определений от аксиом легко заметить: определения имеют более специальный характер, они вводят именно геометрические объекты, аксиомы же (по крайней мере 1Ч6-є и 8-я) могут иметь значение и для геометрии, и для арифметики, т.е. носят более общий характер. Это различие подтверждается и тем, что Евклид формулирует специальные определения в начале каждой из книг своего сочинения; что же касается аксиом, то они предпосылаются сразу ко всем книгам.

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

Иной характер, чем определения и аксиомы, носят постулаты. Греческий термин aДtїmata означает "требования". Постулаты, как и аксиомы, имеют общее значение: они перечислены в начале I книги и имеют силу для всех книг Евклида, где речь идет о геометрических объектах. Относительно количества постулатов очень много спорили уже в эпоху эллинизма и вплоть до нашего времени. По этому вопросу существует специальная весьма обширная литература, но мы рассмотрим его лишь с интересующей нас стороны.

Обратимся к переводу постулатов, сделанному М.Я. Выгодским со списка, который принят И. Гейбергом. Этот список, как говорит Выгодский, "соответствует большинству лучших рукописей и, что не менее важно, совпадает со списком, приводимым в комментариях Прокла. Поэтому можно думать, что нижеприводимые постулаты... содержались в оригинале "Начал". Вот их список.

Требования

1. Требуется, чтобы можно было через всякие две точки провести прямую.

2. И ограниченную прямую непрерывно продолжать по прямой.

3. И из всякого центра всяким расстоянием описать круг.

4. И что все прямые углы равны.

5. И если прямая линия, падающая на две прямые, делает меньшими двух прямых углы по одну сторону, чтобы эти две прямые, будучи продолжены, совпали с той стороны, с которой углы меньше двух прямых".

Анализ евклидовых "Начал" неоплатоником Проклом

Неоплатоник Прокл (V в.) в своем комментарии к "Началам" Евклида говорит, что 4-й и 5-й постулаты - это, в сущности, не постулаты. "...ѕоложение, что все прямые углы равны, не есть требование, точно так же как и пятое положение, которое утверждает: если прямая пересекается с двумя другими прямыми и образует внутренние углы по одну сторону меньшие, чем два прямых, то эти две прямые, будучи продолжены, совпадут с той стороны, где лежат углы, меньше двух прямых". Как аргументирует Прокл свое утверждение? "Это положение, - говорит он, имея в виду 5-й постулат, - не применяется в качестве конструкции и не ставит требование что-то найти, а оно объясняет некоторое свойство, которое является общим для прямых углов и прямых, исходящих из углов, меньших двух прямых. Согласно второму определению, положение, что две прямые не объемлют поверхности (см. аксиому 9: "Две прямые не содержат пространства"), - положение, которое также теперь некоторые причисляют к аксиомам, не есть аксиома. Ибо оно принадлежит к геометрической материи, как и положение о равенстве двух прямых углов".

Это рассуждение Прокла в сущности уже содержит различение аксиом и постулатов - различение, которое нас как раз и интересует. Из слов Прокла можно понять, что к постулатам он причисляет лишь те положения, которые ставят требования что-то найти или сконструировать; по этой причине отнесенные к числу постулатов положения о равенстве всех прямых углов (4) и о пересечении двух непараллельных прямых при их продолжении (5) он постулатами не считает. В то же времє Прокл не согласен считать аксиомой положение 9, относимое, как он говорит, "некоторыми" к аксиомам: ведь оно трактует о поверхности (пространстве) и тем самым "принадлежит к геометрической материи". Заметим характерное выражение: геометрическая материя.

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

Таким образом, теорема - это теоретическое утверждение, в котором определенному объекту приписывается свойство, которое ему присуще с необходимостью.

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

Теорема представляет собой утверждение, противоположное которому будет неистинным; к проблеме же определение "истинно - неистинно" не может быть применено.

Указав на различие между теоремами и проблемами, Прокл переходит к рассмотрению аксиом и постулатов. "Общим для аксиом и постулатов, - пишет он, - является то, что они не нуждаются ни в каком обосновании и ни в каком геометрическом доказательстве, но что они принимаются как известные и являются началами для последующего. Но аксиомы отличаются от постулатов так же, как теоремы от проблем. А именно, подобно тому как в случае теорем мы ставили задачу усмотреть и понять следствие из предпосылок, а в случае проблем получаем требование что-то найти и сделать, точно так же и в случае аксиом принимается то, что сразу видно и не представляет никаких затруднений для нашего необученного (ungeschulten) мышления. Но в случае постулатов мы пытаемся найти то, что легко получить и установить и относительно чего рассудок не затрудняется, не нуждается ни в каком сложном методе и ни в какой конструкции".

Если мы оставим в стороне весьма сложный и на протяжении многих веков дискутировавшийся среди математиков и философов вопрос о двух последних постулатах (4 и 5-й) и некоторых аксиомах (7 и 9-є), то с различением, которое здесь приводит Прокл, трудно не согласиться.

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

Цейтен считает, что этот спор имеет принципиальное значение с точки зрения платоника Спевсиппа, существование геометрических объектов (того же равностороннего треугольника) не может быть доказано с помощью построения, ибо геометрические объекты тождественны идеям и существуют от века, а Менехм и вслед за ним Евклид не согласны со Спевсиппом. Что касается названных математиков, то их позицию Цейтен характеризует следующим образом: "Основное значение геометрического построения заключается в доказательстве реального существования того самого объекта, к нахождению которого приводит это построение". К этой позиции присоединяется и сам Цейтен, считая, что постулаты Евклида представляют собой доказательства существования геометрических объектов: первый постулат - доказательство существования отрезка прямой, второй - неограниченно продолженной прямой, третий - круга.

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

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

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

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

Прикладная и чистая математика. Платон о неприменимости механики в геометрии

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

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

"Кто хоть немного знает толк в геометрии, - говорит Сократ в диалоге "Государство", - не будет оспаривать, что наука эта полностью противоположна тем словесным выражениям, которые в ходу у занимающихся ею.

- То есть?

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

- Разумеется.

- Не оговорить ли нам еще вот что...

- А именно?

- Это наука, которой занимаются ради познания вечного бытия, а не того, что возникает и гибнет... Значит, она влечет душу к истине и воздействует на философскую мысль, стремя ее ввысь, между тем как теперь она у нас низменна вопреки должному".

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

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

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

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

Итак, Платон решительно выступает против внесения в геометрию механических методов; но это еще не значит, что он отождествляет геометрические фигуры с самими идеями и не ставит специально вопроса о их существовании - вопроса, который должен обязательно возникнуть, если онтологический статус геометрических объектов иной, чем статус идей.

Прокл о воображаемом движении

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

Однако вопрос этот, видимо, вызывал много споров, поскольку действительно его решение у Платона лишь схематически намечено, но не разработано в деталях. Так, Аристотель постоянно задает Платону и платоникам вопрос, к какому роду бытия принадлежат геометрические объекты в отличие от арифметических и "из чего" они образованы. "...Оказывается необходимым, - пишет Аристотель, - устанавливать еще другой род числа, с которым имеет дело арифметика, и также все то, что у некоторых получает обозначение промежуточных объектов; так вот, эти объекты - как они существуют или из каких образуются начал? а также - почему они будут находиться в промежутке между здешними вещами и числами самими по себе?"

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

Посмотрим, как Прокл пытается ответить на эти вопросы. Сравнивая между собой точки зрения Спевсиппа и Менехма, Прокл говорит, что, в сущности, оба спорящих правы. Права школа Спевсиппа, "ибо проблемы геометрии - иного рода, чем проблемы механики... Но столь же права и школа Менехма: ибо без вхождения в материю невозможно нахождение теорем, но я имею в виду интеллигибельную материю. Поскольку, следовательно, идеи входят в нее и оформляют ее, справедливо говорят, что они уподобляются становящемуся. Ибо деятельность нашего духа и эманацию его идей мы характеризуем как источник фигур в нашей фантазии и процессов, совершающихся с ними".

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

Что же касается аргументов Спевсиппа, то их Прокл считает относящимися к вопросу о невозможности конструирования геометрических объектов механическим путем; и в этом пункте позиция Спевсиппа, судя по всему, смыкается с платоновской. Но теперь понятны нам и приведенные Проклом слова Спевсиппа о том, что, беря равносторонний треугольник или любую другую фигуру, мы "берем вечно сущее как нечто становящееся". Любой геометрический объект - это вечно сущее, взятое как становление; стихия геометрии - это, стало быть, интеллигибельная (вечно сущее) материя (становление).

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

Приведем еще одно разъяснение Прокла. "Возможность провести прямую из любой точки в любую точку вытекает из того, что линия есть течение точки, и прямая - равнонаправленное (gleichgerichtete) и не отклоняющееся течение. Представим, следовательно, себе, что точка совершает равнонаправленное и кратчайшее движение; тогда мы достигнем другой точки, и первое требование выполнено без всякого сложного мыслительного процесса с нашей стороны".

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

Прокл отвечает на этот вопрос так: "Но если бы у кого-нибудь возникли затруднения относительно того, как мы вносим движение в неподвижный геометрический мир и как мы движем то, что не имеет частей (а именно точку) - ибо это ведь совершенно немыслимо, то мы попросим его не слишком огорчаться... Мы должны представлять движение не телесно, а в воображении (kЕnhsiV fantastikї); и мы не можем признать, что не имеющее частей (точка) подвержено телесному движению, скорее оно подлежит движениям фантазии. Ибо неделимый ум (noаV) движется, хотя и не способом перемещения; также и фантазия, соответственно своему неделимому бытию, имеет свое собственное движение".

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

Промежуточная способность теперь названа "фантазией", а промежуточное бытие - "интеллигибельной материей". Нам думается, что хотя термины эти принадлежат Проклу, но онтологический статус объектов геометрии определен им вполне в духе философии математики Платона. Если позиция Спевсиппа в некоторых пунктах и не вполне совпадала с платоновской, то в рассматриваемом вопросе она, как нам кажется, весьма близка к платоновской.

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

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

Иерархия математических наук

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

Большинство историков науки согласны между собой в том, что греческая математика отличается от средневековой и особенно от математики нового времени. К характерным ее чертам принадлежит, в частности, специфическое отношение к числу, носящее ярко выраженный аксиологический характер. Такое отношение к числу особенно характерно для математиков и философов, принадлежащих к пифагорейской школе и к платоновской Академии. Анализ платоновских произведений показывает, как складывалось и чем мотивировалось ценностное отношение к математике.

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

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

Дарованная нам Небом наука о числе, согласно Платону, не может содержать в себе ничего дурного, отрицательного. Вот отрывок, где дается ценностная характеристика числа: "Что число не вызывает ничего дурного, это легко распознать, как это вскоре и будет сделано. Ведь чуть ли не любое нечеткое, беспорядочное, безобразное, неритмичное и нескладное движение и вообще все, что причастно чему-нибудь дурному, лишено какого бы то ни было числа. Именно так должен мыслить об этом тот, кто собирается блаженно окончить свои дни. Точно так же никто, не познав [числа], никогда не сможет обрести истинного мнения о справедливом, прекрасном, благом и других подобных вещах и расчислить это для самого себя и для того, чтобы убедить другого" (курсив мой. - П.Г.).

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

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

Два числа, ab и cd, называются подобными в том случае, если их множители - "стороны" (как говорят античные математики, тем самым указывая на то, что число мыслится ими геометрически) - пропорциональны, т.е. a:c = b:d. Если же числа оказываются неподобными, то их можно уподобить, представив как площади подобных прямоугольников; задача уподобления двух чисел ab и cd предстает тогда как задача нахождения средних пропорциональных m и l, так что площади ab и cd относятся как m2:l2. Таким образом, задача нахождения средних пропорциональных с целью "уподобления" чисел мыслится Платоном как центральная проблема геометрии. Установление пропорциональных отношений, как видим, оказывается не одной из задач математики наряду с прочими, а центральной ее темой.

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

В сочетаниях Платона рассматриваются три вида пропорций: арифметическая, геометрическая и гармоническая. Так, в "Тимее", объясняя принцип построения космоса демиургом, Платон приводит сложное числовое построение, в основе которого лежит система пропорциональных отношений: "...в каждом промежутке было по два средних члена, из которых один превышал меньший из кратных членов на такую же его часть, на какую часть превышал его больший, а другой превышал меньший крайний член и уступал большему на одинаковое число". Здесь Платон дает определение гармонической и арифметической пропорции. Если средний член превышает меньший из крайних на такую его часть, на какую сам он превышается большим крайним членом, мы имеем гармоническую пропорцию. Так, для двух чисел - 6 и 12 - гармонической средней будет 8. Гармоническая пропорция - это 6, 8, 12, т.е. 1, 11/3, 2. Если же средний член превышает меньший из крайних на такое же число, на какое его самого превышает больший крайний, то пропорция будет арифметической: 6, 9, 12 или 1, 11/2, 2. Есть у Платона и третий вид пропорции, хотя он его не определяет в приведенном отрывке, - геометрическая пропорция: второй член должен так относиться к третьему, как первый - ко второму: 1, 2, 4.

Таким образом, именно теория пропорций была в центре математических исследований, проводившихся в Академии, и не случайно такие математики, как Теэтет и Евдокс Книдский, если доверять античным источникам, уделяли большое внимание этой теме. Так, О. Беккер полагает, что V и VI книги "Начал" Евклида, содержащие теорию пропорций, принадлежат Евдоксу, с чем согласен также и Ѕ.Ћ. ван дер Варден.

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

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

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

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

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