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

Вместе с тем все остальное не может происходить из эйдосов ни в одном из обычных значений «из». Говорить же, что они образцы и что все остальное им причастно, – значит пустословить и говорить поэтическими иносказаниями. В самом деле, что же это такое, что действует, взирая на идеи? Ведь можно и быть, и становиться [сходным] с чем угодно, не подражая образцу; так что, существует ли Сократ или нет, может появиться такой же человек, как Сократ; и ясно, что было бы то же самое, если бы существовал вечный Сократ.

Или должно было бы быть множество образцов для одного и того же, а значит, и множество его эйдосов, например, для «человека» – «живое существо» и «двуногое», а вместе с тем еще и сам-по-себе-человек. Далее, эйдосы должны были бы быть образцами не только для чувственно воспринимаемого, но и для самих себя, например род – как род для видов; так что одно и то же было бы и образцом, и уподоблением. Далее, следует, по-видимому, считать невозможным, чтобы отдельно друг от друга существовали сущность и то, сущность чего она есть; как могут поэтому идеи, если они сущности вещей, существовать отдельно от них?

Между тем в «Федоне» говорится таким образом, что эйдосы суть причины и бытия и возникновения [вещей]; и однако если эйдосы и существуют, то все же ничего не возникло бы, если бы не было того, что приводило бы в движение. С другой стороны, возникает многое другое, например дом и кольцо, для которых, как они утверждают, эйдосов не существует. Поэтому ясно, что и то, идеи чего, по их утверждению, существуют, может и быть и возникать по таким же причинам, как и только что указанные вещи, а не благодаря идеям. Но впрочем, относительно идей можно и этим путем, и с помощью более основательных и точных доводов привести много [возражений], подобных [только что] рассмотренным.

Глава шестая

После того как мы выяснили относительно идей, уместно вновь рассмотреть выводы, которые делают о числах те, кто объявляет их отдельно существующими сущностями и первыми причинами вещей. Если число есть нечто самосущее (physis) и его сущность, как утверждают некоторые, не что иное, как число, то [1] необходимо, чтобы одно из них было первым, другое – последующим и чтобы каждое отличалось от другого по виду, так что либо [а] это свойственно прямо всем единицам и ни одна единица не сопоставима ни с какой другой, либо [б] все единицы непосредственно следуют друг за другом и любая сопоставима с любой, – таково, говорят они, математическое число (ведь в этом числе ни одна единица ничем не отличается от другой), либо [в] одни единицы сопоставимы, а другие нет (например, если за «одним» первой следует двойка, затем тройка и так остальные числа, а единицы сопоставимы в каждом числе, например: единицы в первой двойке – с самими собой, и единицы в первой тройке – с самими собой, и так в остальных числах; но единицы в самой-по-себе-двойке несопоставимы с единицами в самой-по-себе-тройке, и точно так же в остальных числах, следующих одно за другим. Поэтому и математическое число счисляется так: за «одним» следует «два» через прибавление к предыдущему «одному» другого «одного», затем «три» через прибавление еще «одного», и остальные числа таким же образом. Число же, [принадлежащее к эйдосам], счисляется так: за «одним» следуют другие «два» без первого «одного», а тройка – без двойки, и остальные числа таким же образом). Или [2] один род чисел должен быть таким, как обозначенный вначале, другой – таким, как о нем говорят математики, третий – таким, как о нем было сказано в конце.

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

Таковы по необходимости единственные способы, какими могут существовать числа. И можно сказать, что из тех, кто признает единое началом, сущностью и элементом всего и выводит число из этого единого и чего-то еще, каждый указал на какой-нибудь из этих способов, за исключением только того, что никакие единицы не сопоставимы друг с другом. И это вполне естественно: ведь не может быть никакого еще другого способа, кроме указанных. Так вот, одни утверждают, что числа существуют обоих родов: одно из них, которое содержит «предшествующее» и «последующее», – это идеи, а другое – математическое, помимо идей и чувственно воспринимаемых вещей, и оба этих рода существуют отдельно от чувственно воспринимаемых вещей. Другие же утверждают, что только математическое число есть первое из существующего, отделенное от чувственно воспринимаемых вещей. Равным образом пифагорейцы признают одно – математическое – число, только не отделенное; они утверждают, что чувственно воспринимаемые сущности состоят из такого числа, а именно все небо образовано из чисел, но не составленных из [отвлеченных] единиц; единицы, по их мнению, имеют [пространственную] величину. Но как возникла величина у первого единого, это, по-видимому, вызывает затруднения у них.

Еще один говорит, что существует только первый род чисел как чисел-эйдосов, а некоторые считают, что именно математические числа и есть эти числа.

И подобным же образом рассматриваются линии, плоскости и тела. А именно: одни различают математические [величины] и те, которые образуются вслед за идеями; а из рассуждающих иначе одни признают математические предметы и в математическом смысле, те именно, кто не делает идеи числами и отрицает существование идей; другие же признают математические предметы, но не в математическом смысле: по их мнению, не всякая величина делится на величины и не любые единицы образуют двойку. А