4. С формулами Платона соперничают по ясности и четкости диалектические формулы Прокла (Inst, theoi. Creuzer)[156].

§ 1. «Всякое множество тем или другим образом причастно единого. В самом деле, если оно никаким образом не причастно единого, то ни целое не будет единым, ни каждый [элемент] многого, из чего создавалось бы множество, а будет каждый из данных [элементов] в свою очередь множеством, причем так до бесконечности, так что каждый из этих бесконечных [элементов] будет опять бесконечным множеством. Если множество никаким образом не причастно единого ни по собственной цельности, ни по отдельным [элементам], в нем содержащимся, то оно всецело будет бесконечным и по всему, [что в нем есть].

Именно, какой ни взять отдельный [элемент] из многого, он окажется или единым, или не–единым или же многим, или ничем. Однако если каждый [элемент] — ничто, то и составленное из этих [элементов] — тоже ничто; если же он — многое, то он [окажется составленным] бесконечное число раз из бесконечных [элементов].

Это же [все] невозможно: ни каждое сущее не составляется бесконечное число раз из бесконечных [элементов], так как оно не больше бесконечного (а то, что составлено из всех [элементов], больше каждого в отдельности), ни что–нибудь не может составиться из ничего. Стало быть, всякое множество как–то причастно единому».[157]

§ 2. «Все, причастное единому, и едино, и не едино. В самом деле, если оно не есть еще единое само по себе (потому что причастное{158} единому нечто сущее — иное наряду с единым), то оно есть аффекция единого по причастию [ему] и удерживается от того, чтобы стать единым. Разумеется, если нет ничего наряду с единым, то есть только единое, и оно само уже не будет причастно единому, а будет единым самим по себе (αύτοέν). Если же что–нибудь есть возле него, что не есть единое и что причастно единому, то оно и единое, и не–единое, не потому что сущее едино, но потому что оно, [будучи многим], причастно единому.

Это, значит, не есть ни единое [само по себе], ни то, что [имеет предикат] единого. Если оно одновременно и единое, и причастно единому и вследствие этого не есть единое само по себе, оно есть и единое, и не–единое, будучи наряду с единым чем–либо иным. Поскольку оно исполнилось [определенного] содержания, оно не есть единое. Поскольку же оно аффекция [единого], оно едино. Стало быть, все, причастное единому, и едино, и не–едино».[159]

§ 3. «Все, становящееся единым, становится единым в силу причастия единому. Поскольку оно — аффекция со стороны причастия единому, оно едино. В самом деле, если становится единым то, что не есть единое, сходясь, стало быть, само в себе и общаясь внутри себя, то оно становится единым, содержит наличность единого, хотя и не есть то, что есть единое [само по себе]; значит, оно участвует в едином постольку, поскольку претерпевает воздействие со стороны становления единым. Если же оно уже есть едино, то оно не становится единым, так как сущее не становится тем, что оно уже есть. Если же оно становится единым оттого, что раньше не было единым, то оно будет содержать единое по возникновении в нем какого–нибудь, [определенного], единства».

§ 4. «Все объединенное отлично от того, что едино само по себе. В самом деле, если оно — объединено, оно некоторым образом должно постольку участвовать в едином, поскольку и говорится о нем, что оно объединено. А участвующее в едином есть и единое, и не–единое. Напротив того, то, что едино само по себе, уже не есть [одновременно] и единое, и не–единое. Если это, однако, допустить, [т. е. что оно] и едино, и не–едино, и если то, что находится в нем, [т. е. объединенное], опять–таки едино, то оно одновременно будет иметь и то и другое вместе, [т. е. будет и единым, и объединенным], и так уйдет в беспредельное [дробление], если нет ничего единого самого по себе, на что могло бы [это единое] опереться. Но если все и едино, и не–едино, то [необходимо], чтобы нечто объединенное отличалось от единого. Ибо если единое тождественно с объединенным, то возникает бесформенное множество, и то же самое [случится] с каждым [элементом] из тех, из которых состоит объединенное»[160] .

§ 5. «Всякое множество вторично в сравнении с единым, так как если множество [по смыслу своему] раньше единого, то, с одной стороны, [само] единое будет причастно множеству, а, с другой, множество, будучи [по смыслу] раньше единого, не будет причастно единому. Только если единое есть раньше, существует то множество, так как не участвует [ни в чем] то, что еще не существует [как таковое, т. е. как единое]. Поэтому участвующее в едином и едино есть, и одновременно не–едино. Не существует еще [в качестве субстанции] единое, если существует только первое, [т. е. «голое»], множество. Однако невозможно, чтобы существовало какое–нибудь множество, никаким образом не причастное единому. Значит, множество не раньше единого. Если же, далее, множество, [как очевидно] , существует одновременно с единым, то оба они по природе своей сродственны (σύστοιχα), так как во времени ничто не препятствует ни тому, чтобы единое само по себе было многим, ни тому, чтобы множество — единым, раз уж противоположное по своему разделению одновременно по своей природе, если, конечно, ни одно из них не раньше и не позже другого. Значит, множество само по себе не будет [считаться] единым, и каждый [элемент] в нем не будет [считаться] единым, и так [будет, если перебрать все элементы] до бесконечности, что, конечно, невозможно.

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

Значит, во всех отношениях [множество] причастно единству. Если, поэтому, единое, которое едино само по себе, никаким образом не причастно множеству, то множество будет во всех отношениях позже единого, участвуя, с одной стороны, в едином, но [само], с другой стороны, будучи лишено участия в нем единого. Если же и [само] единое участвует в множестве, с одной стороны, по своей наличной сущности (καθ’ υπαρξιν)[161], как субстанциально (ύφεστώς) единое, с другой же, по участию, [как] не–единое, то единое окажется умноженным, как и [само] множество окажется объединенным через единство. Значит, и единое с множеством, и множество с единым пребывают между собой в общении. Если только сходящееся и некоторым образом общающееся между собой сопрягается воедино со стороны, то это [сопрягающее] — раньше них, [сопрягающихся], и, только если они сопрягают сами себя, они уже не противополагаются ничему другому.

То же, что взаимно противоположно, [по смыслу] не стремится друг к другу. Если, стало быть, единое и множество противоположны друг другу в своем разделении и множество, поскольку оно — множество — не–единое, и единое, поскольку оно — единое — не множество, то ни одно из них, появившись в другом, не станет одновременно одним и двумя. Однако если что и будет раньше них сопрягающим их [самих], то оно будет или единым, или неединым.

Однако если оно не будет единым, то оно должно быть или многим, или ничем. Но оно не будет ни многим, чтобы множество не оказалось раньше единого, ни ничем, потому что как же [это ничто] будет сопрягать [в одно то, что есть нечто, и притом многое]? Значит, оно — только единое, так что, очевидно, оно не будет и многим, чтобы не [рассыпаться] в бесконечность. Стало быть, существует единое само по себе, и всякое множество происходит от этого единого самого по себе» [162].

§ 6. «Всякое множество возникает или из объединен–ностей (έξ ήνωμένων), или из единичностей (έξ ένάδων)[163]. Ясно ведь, что, во–первых, никакой [элемент] многого не есть [тем самым] просто само множество, и, наоборот, во–вторых, множество не есть каждый из его элементов. Если же оно не просто множество, то оно или объединен–ность, или единичности. И, конечно, если оно причастно единому, оно — объединенность. Если же оно [мыслится составленным] из того, что как первоначальное объединилось [в него], оно — единичности. Значит, если существует единое само по себе, то существует и то, что изначала участвует в нем и что изначала есть объединенность.