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

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

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

Так как благое и прекрасное не одно и то же (первое всегда в деянии, прекрасное же — и в неподвижном), то заблуждаются то, кто утверждает, что математика ничего не говорит о прекрасном или благом. На самом же деле она говорит прежде всего о нем и выявляет его. Ведь если она не называет его по имени, а выявляет его свойства (ergd) и соотношения, то это не значит, что она не говорит о нем. А важнейшие виды прекрасного — это слаженность, соразмерность и определенность, математика больше всего и выявляет именно их. И так как именно они (я имею в виду, например, слаженность и определенность) оказываются причиной многого, то ясно, что математика может некоторым образом говорить и о такого рода причине — о причине в смысле прекрасного. Яснее мы скажем об этом в другом месте.

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

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

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

Далее, согласно предположению, на основании которого они признают существование идей, должны быть эйдосы не только сущностей, но и многого иного (в самом деле, мысль едина не только касательно сущности, но и относительно не-сущностей, и имеются знания не только сущности; и получается у них несметное число других подобных [выводов]). Между тем по необходимости и согласно учениям об эйдосах, раз возможна причастность эйдосам, то должны существовать идеи только сущностей, ибо причастность им не может быть привходящей, а каждая вещь должна быть причастна эйдосу постольку, поскольку он не сказывается о субстрате (я имею в виду, например, если нечто причастно самому-по-себе-двойному, то оно причастно и вечному, но привходящим образом, ибо для двойного быть вечным — это нечто привходящее). Итак, эйдосы были бы [только] сущностью. Однако и здесь, [в мире чувственно воспринимаемого], и там, [в мире идей], сущность означает одно и то же. Иначе какой еще смысл имеет утверждение, что есть что-то помимо окружающих нас вещей — единое во многом? Если идеи и причастные им вещи принадлежат к одному и тому же виду, то будет нечто общее им (в самом деле, почему для преходящих двоек и двоек, хотя и многих, но вечных существо их как двоек (to dyas) в большей мере одно и то же, чем для самой-по-себе-двойки и какой-нибудь отдельной двойки?). Если же вид для идей и причастных им вещей не один и тот же, то у них, надо полагать, только имя общее, и это было бы похоже на то, как если бы кто называл человеком и Каллия, и кусок дерева, не увидев между ними ничего общего.

А если мы допустим, что хотя общие определения в других отношениях и соответствуют эйдосам, например самому-по-себе-кругу — «плоская фигура» и прочие части определения, но должно еще добавлять, что есть то, [идея чего она есть], то надо проследить, не оказалось ли это совсем бессодержательным. В самом деле, к чему это должно добавляться? К «середине» или к «плоскости», или ко всем частям [ «круга»]? Ведь все, что входит в [охватываемую определением] сущность — это идеи, например «живое существо» и «двуногое». А кроме того, ясно, что «само-по-себе» должно наподобие «плоскости» быть некоей сущностью (physis), которая будет как род содержаться во всех эйдосах.