Остановимся теперь на одном вопросе, который представляет известную трудность и для тех, кто признает идеи, и для тех, кто не признает их, и который был затронут в самом начале при изложении затруднений. Если не утверждать, что сущности существуют отдельно, притом так, как говорится о единичных вещах, то будет устранена сущность, как мы ее понимаем. А если утверждать, что сущности существуют отдельно, то каковы их элементы и начала?
Если признать их за единичное и не общее, то существующих вещей будет столько, сколько есть элементов, и элементы не будут предметом познания. В самом деле, предположим, что слоги в речи – сущности, а их звуки – элементы сущностей. Тогда необходимо, чтобы слог ба был один, и каждый из слогов также один, раз они не общее и тождественны [лишь] по виду, а каждый один по числу и определенное нечто и неодноименен. Да и кроме того, они всякое само-по-себе-сущее считают одним [по числу]. Но если слоги таковы, то также и то, из чего они состоят; значит, будет лишь один звук а, и не более, и не будет больше одного ни один из остальных звуков на том же основании, на каком и один и тот же слог не может повторяться. А если так, то помимо элементов не будет другого существующего, а будут только элементы. Далее, элементы не будут и предметом познания: ведь они не общее, между тем предмет знания – общее. И это ясно из доказательств и определений: ведь не получится умозаключения, что у этого вот треугольника углы равны двум прямым, если они не у всякого треугольника два прямых, или что этот вот человек есть живое существо, если не всякий человек есть живое существо.
А с другой стороны, если начала действительно суть общее, то либо и сущности, происходящие из них, общие, либо не-сущность будет первее сущности: ведь общее не есть сущность, элемент же и начало были признаны общими, а элемент и начало первее того, начало и элемент чего они есть. Все эти выводы вполне естественны, когда считают идеи происходящими из элементов и помимо одинаковых по виду сущностей и идей признают некое отдельно существующее единое. Но если ничто не мешает, чтобы, скажем, среди звуков речи было много а и б и чтобы, помимо этого множества, не было никакого самого-по-себе-а или самого-по-себе-б, то по этой причине будет бесчисленное множество сходных друг с другом слогов. А что предмет всякого познания общее, а потому и начала существующего должны быть общими, но вместе с тем не быть отдельно существующими сущностями, – это утверждение, правда, вызывает наибольшую трудность из всего сказанного, однако оно в некотором отношении истинно, а в некотором – не истинно. Дело в том, что знание, так же как и познавание, двояко: с одной стороны, это имеющееся в возможности, а с другой – в действительности. Так вот, возможность, будучи как материя общей и неопределенной, относится к общему и неопределенному, а действительность, будучи определенной, относится к определенному, есть «вот это» и относится к «вот этому». Только привходящим образом зрение видит цвет вообще, потому что вот этот цвет, который оно видит, есть цвет [вообще]; и точно так же вот это а, которое рассматривает сведующий в языке, есть а [вообще]. Ведь если начала должны быть общими, то и происходящее из них необходимым образом также общее, как это имеет место в доказательствах. А если так, то не будет ничего отдельно существующего, т. е. никакой сущности. Однако ясно, что знание в некотором отношении есть общее знание, а в некотором – нет.
Итак, сказанного об этой сущности достаточно. Все, однако, считают начала противоположностями – так же как у природных вещей, так одинаково и у неподвижных сущностей. Но если не может существовать ничего, что было бы первее начала всего, то, надо полагать, невозможно, чтобы это начало было началом, будучи чем-то другим; это так же, как если бы кто-то сказал, что белое есть начало не как нечто другое, а как белое и, однако, что оно белое по отношению к субстрату, т. е. что оно белое, будучи чем-то другим: ведь тогда это другое будет первее его. Между тем все возникает из противоположностей как некоего субстрата; значит, скорее всего субстрат должен быть присущ противоположностям. Следовательно, все противоположности всегда относятся к субстрату, и ни одна не существует отдельно. Однако, как это очевидно и подтверждается доводами, сущности ничто не противоположно. Таким образом, ни одна противоположность не есть начало всего в собственном смысле слова, а нечто другое есть такое начало.
Между тем одной из двух противоположностей они объявляют материю: одни единому как равному противопоставляют [как материю] неравное, в котором они усматривают природу множества, а другие единому противопоставляют множество (ибо одни выводят числа из двоицы неравного – из большого и малого, а другой – из множества, причем в обоих случаях через посредство сущности единого). Ведь тот, кто обозначает как элементы неравное и единое, а под неравным разумеет двоицу из большого и малого, также утверждает, что неравное или большое и малое есть нечто одно, и не различает, что они одно по определению, а не по числу. Но даже начала, которые они называют элементами, они объясняют не надлежащим образом – одни обозначают большое и малое вместе с единым как три элемента чисел (первые два – как их материю, а единое – как форму), другие же [объявляют началами] многое и немногое на том основании, что большое и малое ближе по своей природе к [пространственной] величине, а третьи – более общее у перечисленного: превышающее и превышаемое. Все эти мнения, можно сказать, отличаются друг от друга не в отношении тех или иных выводов, а только в отношении трудностей обоснования, которых они остерегаются, потому что они и сами приводят доказательства для обоснования. Впрочем, на том же основании, на каком превышающее и превышаемое, а не большое и малое, суть начала, и число должно происходить из элементов раньше двоицы: ведь превышающее и превышаемое, равно как и число, – более общее. Между тем они одно утверждают, а другое нет. Далее, одни противопоставляют единому разное и иное, другие – множество. Но если, как они этого хотят, существующее составляется из противоположностей, а единому или ничто не противоположно, или, раз уж так необходимо, противоположно множество, неравное же – равному, разное – одному и тому же и иное – самому предмету (ayte), – то наибольшее доверие внушает мнение тех, кто противопоставляет единое множеству; однако и они делают это неудовлетворительно, ибо у них получится, что единое есть малочисленное: ведь множество противолежит малочисленности, а многое – малочисленному.
А что единое означает меру, это очевидно. И в каждом случае субстрат особый, например: у гармонии – четверть тона, у [пространственной] величины – дактиль или стопа или что-то в этом роде, в стихотворных размерах – стопа или слог; точно так же у тяжести – определенный вес; и у всего – таким же образом: у качества – нечто обладающее качеством, у количества – нечто количественное; и мера неделима, в одних случаях по виду, в других – для чувственного восприятия, так что единое само по себе не сущность чего-либо. И это вполне обоснованно, ибо единое означает меру некоторого множества, а число – измеренное множество и меры, взятые много раз (поэтому также правильно сказать, что единое не есть число: ведь и мера – это не множество мер, и мера и единое – начало). И мера всегда должна быть присуща как нечто одно и то же всем предметам [одного вида], например: если мера – лошадь, то она относится к лошадям, а если мера – человек, она относится к людям. А если измеряемое человек, лошадь и бог, то мерой будет, пожалуй, живое существо, и число их будет числом живых существ. Если же измеряемое человек, бледное и идущее, то меньше всего можно говорить здесь об их числе, потому что бледное и идущее присущи одному и тому же, притом одному по числу; тем не менее число их будет числом родов или числом каких-нибудь других подобных обозначений.
А те, кто рассматривает неравное как нечто единое и признает двоицу чем-то неопределенным, состоящим из большого и малого, слишком далеко отходят в своих высказываниях от правдоподобного и возможного. Ведь это скорее видоизменения и привходящие свойства чисел и величин, нежели их субстрат (многое и немногое – видоизменения числа, большое и малое видоизменения величины), так же как четное и нечетное, гладкое и шероховатое, прямое и кривое. А к этой ошибке прибавляется еще и то, что большое и малое и все тому подобное необходимо есть нечто соотнесенное, между тем из всех категорий соотнесенное меньше всего есть нечто самобытное или сущность, и оно нечто последующее по сравнению с качеством и количеством; при этом соотнесенное, как было сказано, есть некоторое видоизменение количества, но не [его] материя, поскольку и для соотнесенного вообще, и для его частей и видов материей будет нечто другое. Ибо не существует ничего большого или малого, многого или немногого, соотнесенного вообще, что было бы многим или немногим, большим или малым, или соотнесенным, не будучи чем-то другим. А что соотнесенное есть меньше всего некоторая сущность и нечто истинно сущее, подтверждается тем, что для него одного нет ни возникновения, ни уничтожения, ни движения в отличие от того, как для количества имеется рост и убыль, для качества – превращение, для пространства – перемещение, для сущности – просто возникновение и уничтожение. Для соотнесенного же всего этого нет, ибо, и не будучи приведенным в движение, одно и то же будет иногда больше [другого], иногда меньше или равно [ему] в зависимости от количественного изменения этого другого. Да и необходимо, чтобы материей чего бы то ни было, значит, и сущности, было то, что таково в возможности; соотнесенное же не есть сущность ни в возможности, ни в действительности. Поэтому нелепо, а скорее невозможно, считать, что не-сущность есть элемент сущности и первее ее, ибо все [остальные] категории суть нечто последующее по отношению к сущности. Далее, элементы не сказываются о том, элементы чего они есть, между тем многое и немногое порознь и вместе сказываются о числе, длинное и короткое о линии, а плоскость может быть и широкой и узкой. Если же существует также некое множество, о котором всегда говорится, что оно немногое, например два (ведь если два – многое, то «одно» было бы немногим), то должно существовать и безусловно многое, как, например, десятка есть многое, а именно если нет числа больше ее, или десять тысяч. Как же в таком случае получится число из немногого и многого? Ведь о нем должны были бы сказываться либо то и другое, либо ни одно из них; между тем здесь сказывается только одно из двух.
И вообще надо рассмотреть, может ли вечное складываться из элементов. Если может, оно будет иметь материю, ибо все, что состоит из элементов, сложно. Стало быть, если все состоящее из элементов необходимо должно возникнуть из них (вечно ли оно или оно возникшее), а все возникающее возникает из сущего в возможности (ведь из невозможного оно не возникло бы и не могло бы из него состоять), сущее же в возможности может и стать и не стать действительным, то, сколь бы ни было вечно число или что угодно другое, имеющее материю, оно может и не быть, так же как может и не быть то, что существует один день, и то, что существует сколько угодно лет; а если это так, то может не быть и то, время существования чего не имеет предела. Значит, оно не будет вечным, раз не вечно то, что может не быть, как нам довелось это показать в других рассуждениях. Если сущему и единому, ни их отрицание, а есть такого же рода сущее, как суть вещи и качество ее.
При этом надо было бы исследовать и то, каким образом соотнесенное множественно, а не только едино; они же исследуют, как возможны многие единицы помимо первого единого, но, как возможно много неравного помимо неравного [как такового], они не исследуют. И однако, они в своих рассуждениях пользуются [множественностью неравного] и говорят о большом и малом, многом и не многом, откуда числа, о длинном и коротком, откуда линия, о широком и узком, откуда плоскость, о высоком и низком, откуда имеющее объем, а также указывают еще больше видов соотнесенного. Так в чем причина того, что этих видов много?
Итак, необходимо, как мы говорим, предположить для каждой отдельной вещи сущее в возможности. А излагавший это учение кроме этого показал, что такое в возможности определенное нечто и сущность, но не как само по себе сущее, а именно что это отношение (как если бы он назвал качество), которое не есть ни единое или сущее в возможности, ни отрицание единого или сущего, а есть нечто одно из существующего; и если он искал, как возможна множественность вещей, то гораздо больше необходимо было, как уже сказано, исследовать не только то, что относится к той же категории, – как возможно много сущностей или много качеств, но и каким образом множественно существующее вообще: ведь одно сущее – это сущности, другое – свойства, третье – соотнесенное. Относительно прочих категорий есть еще и другое затруднение: как они образуют множество (поскольку качества и количества не существуют отдельно, они суть множество оттого, что субстрат становится множеством и есть множество, во всяком случае необходима какая-то материя для каждого рода, только невозможно, чтобы она существовала отдельно от сущностей); впрочем, относительно определенного нечто есть смысл спросить, как оно образует множество, если только не усматривать в чем-то [одновременно] и определенное нечто и такого рода сущность; а затруднение состоит скорее в том, каким образом множественны сущности, существующие в действительности, а не каким образом существует одна.
С другой стороны, если определенное нечто и количество не одно и то же, то [такими рассуждениями] не указывают, каким образом и почему множественно существующее, а указывают лишь, каким образом множественно количество. В самом деле, каждое число обозначает нечто количественное, а единица – если только она не мера – означает нечто количественно неделимое. Если, таким образом, количество и суть вещи – разное, то [этими же рассуждениями] не указывают, из чего эта суть и как она множественна; а если количество и суть вещи одно и то же, то утверждающий это наталкивается на много противоречий.
Можно было бы остановиться и на том, откуда берется уверенность, что числа действительно существуют [отдельно]. Тот, кто признает идеи, имеет основание считать числа некоторой причиной для существующего, раз всякое число есть некая идея, а идея каким-то образом есть для всего остального причина его бытия (допустим, что они исходят из этой предпосылки). Что же касается того, кто так не думает (поскольку он видит внутренние трудности относительно идей, так что по этой причине он не признает числа [идеями]), а признает число математическое, то почему должно ему поверить, что такое число существует и чем оно полезно для других вещей? Тот, кто говорит, что такое число существует, не объявляет его числом чего-либо (для него оно нечто самосущее), да и не видно, чтобы оно было причиной чего-то. А ведь все положения в учении о числах, как было сказано, должны быть приложимы к чувственно воспринимаемым вещам.
Итак, те, кто считает, что идеи существуют и что они числа, пытаются, правда, вынося каждое за пределы множества и принимая его за нечто единое, так или иначе показать, почему оно существует; но так как их доводы лишены убедительности и несостоятельны, то и числу нельзя – по крайней мере на этом основании – приписывать [обособленное] существование. Пифагорейцы же, видя в чувственно воспринимаемых телах много свойств, имеющихся у чисел, объявили вещи числами, но не существующими отдельно, а такими, из которых состоят вещи. А почему же? Потому что свойства чисел имеются в гармонии звуков, в строении неба и во многом другом. Однако те, кто принимает одно только математическое число, не могут, исходя из своих предпосылок, утверждать что-либо подобное, потому и было сказано что науки не будут иметь своим предметом такие вещи. Мы же утверждаем, что науки о них имеются, как мы это сказали раньше. Ясно также, что математические предметы не существуют отдельно; если бы они существовали отдельно, то их свойства не были бы присущи телам. Пифагорейцы, стало быть, в этом отношении не заслуживают упрека; однако так как они из чисел делают природные тела, из неимеющего тяжести и легкости – имеющее тяжесть и легкость, то кажется, что они говорят о другом небе и о других телах, а не о чувственно воспринимаемых. А те, кто признает отдельное существование числа, предполагают, что числа существуют, и притом отдельно (и точно так же геометрические величины), на том основании, что аксиомы, мол, не приложимы к чувственно воспринимаемым вещам, хотя эти математические положения истинны и «ласкают душу». Таким образом, ясно, что учение, противоположное этому, должно утверждать нечто обратное, и тем, кто так говорит, следует устранить только что указанное затруднение – почему, в то время как числа вовсе не находятся в чувственно воспринимаемых вещах, их свойства присущи чувственно воспринимаемым вещам.
Некоторые же, на том основании, что точка есть предел и край линии, линия – плоскости, плоскость – тела, полагают, что необходимо должны существовать такого рода сущности. Следует поэтому посмотреть, не слишком ли слаб этот довод. В самом деле, края не сущности, а скорее пределы (так как для хождения и вообще для движения имеется какой-то предел, то получается, что и они должны быть определенным нечто и некоторой сущностью. Но это нелепо). Не говоря уже о том, что даже если бы они были сущностями, все они были бы сущностями данных чувственно воспринимаемых вещей (ибо приводимый довод относился к этим вещам); так на каком основании будут они существовать отдельно?
Кроме того, относительно всякого числа и математических предметов человек не слишком уступчивый пожелал бы выяснить то обстоятельство, что здесь нет никакой связи между предшествующим и последующим, если у числа нет [отдельного] существования, то для тех, кто признает истинно сущими одни лишь математические предметы, величины все же будут существовать, и если бы не было этих последних, то все же будут существовать душа и чувственно воспринимаемые тела; но природа, как это видно из ее явлений, не так бессвязна, как плохая трагедия. Что же касается тех, кто признает идеи, то они, правда, избавлены от этого упрека, ибо они считают [пространственные] величины состоящими из материи и числа (из двоицы – линии, из троицы, пожалуй, плоскости, из четверицы или из других чисел – разницы здесь никакой – твердые тела); но будут ли эти величины идеи, каким образом они существуют и что они дают вещам? Ведь, как и математические предметы, они ничего им не дают. Да и нет о таких величинах ни одного математического положения, если только не хотеть приводить математические предметы в движение или создавать о них какие-то особые учения. Но правда, не трудно, принимая какие угодно предположения, без умолку распространяться о них. Итак, эти [философы] ошибаются указанным образом, стремясь объединить с идеями математические предметы. А те, кто впервые придумал два рода чисел – число-Эйдос и число математическое, – не разъяснили и не могли бы разъяснить, каким образом и откуда именно возникает математическое число. Дело в том, что они ставят его в промежутке между эйдетическим и чувственно воспринимаемым числом. Ведь если оно получается из большого и малого, то оно будет тождественно числу-идее (а он пространственные величины выводит из некоторого другого малого и большого); указать же некоторое другое [большое и малое] – значит указать, что элементов имеется больше; и если начало каждого из этих двух родов чисел есть некоторое единое, то единое будет чем-то общим этим [двум единым], и тогда надо выяснить, каким образом оно становится и этим множеством; в то же время по этому учению число не может возникнуть иначе как из единого и из неопределенной двоицы.
Все это лишено основания и находится в противоречии с самим собой и со здравым смыслом и походит на ту «словесную канитель», о которой говорит Симонид; получается такая же словесная канитель, как у рабов, когда они не могут сказать ничего здравого. И кажется, что самые элементы – большое и малое – вопиют, словно их тащат насильно: они не могут ведь никоим образом породить число, кроме удвоенного от единицы.
Нелепо также, а скорее невозможно, признавать здесь возникновение вечного. Относительно же пифагорейцев не должно быть никакого сомнения, признают ли они возникновение или нет, ибо они ясно говорят, что сразу же, после того как образовалось единое (то ли из плоскостей, или из поверхности тел, или из семени, или из чего-то такого, что они затрудняются указать), ближайшая часть беспредельного была привлечена [единым] и ограничена пределом. Но так как они создают учение о мироздании и хотят говорить таким языком, каким говорят рассуждающие о природе, то правильно будет рассмотреть их взгляды на природу, но не в настоящем сочинении, ибо мы ищем начала в неподвижном, так что необходимо исследовать возникновение именно такого рода [неподвижных] чисел.