Всё то, что subsists (существует, имеет бытие) первично и главным образом в каждом порядке, едино, а не два, и не больше двух, но всё – единородно (μονογενές). Допустим (если это возможно), что их два, ибо тот же довод применим и к большему числу. Итак, либо каждое из этих двух, что называется первичным, является [таковым], либо то, что состоит из обоих. Но если оно состоит из обоих, тогда снова будет Единое, и не две вещи будут первичными. Если же каждое из двух [есть первичное], тогда либо одно из двух (ибо не могут быть первыми оба), либо одно и другое равно.
Логика аргументации:
Прокл начинает с тезиса, который требуется доказать: в любом классе сущего (τάξει) может быть только одна первичная, образцовая сущность. Он использует метод reductio ad absurdum (сведение к невозможному): предполагается противоположное – что первичных сущностей две, – и показывается, что это leads к логическому противоречию. Уже на этом этапе возникает дилемма: два «первых» – это либо нечто составное из них (тогда первично это составное единство, а не они сами), либо они независимы.
Критика допущения о двух равных первоначалах.
Оригинальный текст (древнегреческий):
Ἀλλ’ εἰ ὁμοίως ἑκάτερον, οὐδὲν ἔσται μᾶλλον θάτερον θατέρου πρῶτον. Εἰ γὰρ θάτερον μὲν πρῶτον, θάτερον δὲ μὴ τοιοῦτον, τίς ὁ λόγος ἔσται τῆς τάξεως; Πρῶτον γὰρ ἐκεῖνο, ὅπερ οὐκ ἄλλο ἐστὶν ἢ ὅπερ λέγεται εἶναι· ἑκάτερον δὲ τούτων, ἕτερον ὄν, ἐστὶν καὶ οὐκ ἔστιν ὅπερ λέγεται εἶναι.
Перевод на русский язык:
Но, допуская, что они равны, ни одно из них не будет в большей степени первым, чем другое. Ибо, если одно из них первично, а другое – не таково, то каков же будет принцип (λόγος) этого порядка? Ибо первично то, что есть не что иное, как то, что о нём сказано быть [например, «перво-ум» есть именно ум в высшей степени]; но каждое из этих двух, будучи иным [чем другое], одновременно и есть, и не есть то, что сказано быть.
Логика аргументации: