Комментарий к «Метафизике» Аристотеля. (Книги Α, Β, Γ, Д)

Русский перевод: Сначала попытавшись доказать, что [дело] не одной науки — говорить о началах сущности и об аксиомах, которые суть начала доказательств, далее он пытается доказать, что вообще нет никакой науки об аксиомах, говоря: «Но, конечно, и каким образом будет их знание? Ибо что такое каждое из них, мы теперь знаем». Сказанное им таково. Мы знаем нечто либо через определение, либо через доказательство. Если же есть наука об аксиомах, то она была бы доказательной [наукой] о чем-то или о присущем им. Но что такое каждое из них, известно некоторым образом само по себе; ибо без науки известно, что значит «всегда или утверждение, или отрицание», и что значит «равные одному и тому же равны и между собой»; ибо как известные сами по себе, все науки пользуются ими, не нуждаясь в науке, которая бы их научила. Так что не будет какой-то отдельной науки о том, что такое каждое из них. Если же есть доказательство о них и некая доказательная наука, то нужно, чтобы аксиомы были: одни — их состояниями, то есть чтобы доказываемое было присуще им (ибо присущие сами по себе [свойства], о которых [идут] доказательства, он назвал состояниями); другие же — аксиомами, через которые доказываются присущие им сами по себе [свойства], называя аксиомами недоказываемые и непосредственные предложения. А «обо всем невозможно доказательство» он сказал как следующее из того, что нужно, чтобы был некоторый род в качестве субстрата, и одни [вещи] — состояния, другие — аксиомы этого [субстрата]; и следующее: «ибо обо всем невозможно доказательство»; ибо доказательства [имеют дело] с присущими сами по себе [свойствами] субстрата науки, которые он назвал состояниями, но не обо всем и не о чем попало, но и о том, что берется для доказательства чего-то, невозможно, чтобы было доказательство обо всем. А следующее: «необходимо, чтобы доказательство было из некоторых [начал], о некотором [предмете] и о некоторых [свойствах]» — он связывает с тем, что нужно, чтобы был некоторый род в качестве субстрата, и одни [вещи] — состояния, другие — аксиомы этого [субстрата]; ибо через середину сказано из-за аксиом: «ибо обо всем невозможно доказательство»; и «из некоторых» указывает на доказательство из аксиом, «о некотором» — о субстратном роде, которому показывается, что нечто присуще или не присуще, «о некоторых» — о доказываемых [свойствах], присущих или не присущих субстрату, которые он назвал состояниями. А «так что оказывается, что есть некоторый род всех доказываемых [вещей]» было бы равнозначно: так получится, если есть доказательство об аксиомах и есть некоторый один род и некоторая одна природа, лежащая в основе аксиом, то все доказываемое через аксиомы будет [принадлежать] одной природе, потому что все науки через аксиомы доказывают предложенное, а аксиомы — одной и той же природы, а то, что одной и той же природы друг с другом, указывает на некоторую одну природу, если доказательства [идут] из присущих сами по себе [свойств], а одной природе необходимо, чтобы присущие сами по себе были одной и той же природы друг с другом. «Один род» он сказал вместо «общая природа».

Глава XIX. Продолжениеанализа второй апории: о невозможности доказательства аксиом (Книга B, Глава 2)

(B 2. 997a)

Древнегреческий текст: Ἢ τὸ λεγόμενόν ἐστιν, εἰ ἐστιν ἐπιστήμη τις καὶ ἀπόδειξις τῶν ἀξιωμάτων, δεήσει τι εἶναι γένος ὑποκείμενον αὐτοῖς· πᾶσα γὰρ ἀπόδειξις καὶ πᾶσα ἐπιστήμη ἀποδεικτικὴ περί τι γένος ὡρισμένον, καὶ πᾶν τὸ ἀποδεικτὸν γένει τινὶ ὡρισμένῳ ὑπάρχει. καὶ τοῖς ἀξιώμασιν ἄρα, εἰ ἐστιν ἀποδεικτὰ ἢ ἔστι ἐπιστήμη τις αὐτῶν ἀποδεικτική, ὡρισμένον τι γένος ὑπόκειται ᾧ δείκνυται ὑπάρχοντα· πᾶσα γὰρ ἀπόδειξις γένει τινὶ καὶ φύσει ὑποκειμένῃ μιᾷ δείκνυσιν ὑπάρχοντα ἃ ἀποδείκνυσιν, ἃ εἶπεν αὐτὸς πάθη, διά τινων ἀξιωμάτων, δι' ὧν αἱ ἀποδείξεις, τουτέστιν ἀμέσων προτάσεων καὶ ἀναποδείκτων. εἰ γὰρ δι' ἀξιωμάτων δείκνυται τὰ δεικνύμενα, δεικνύοιτο δὲ καὶ τὰ ἀξιώματα, ἐπ' ἄπειρον ἂν προΐοι, οὕτω δὲ οὐδὲν ἀποδεικτὸν ἂν εἴη· καὶ πάντα ἐστὶν ἀποδεικτά. ᾧ ἱκανὸν καὶ αὐτὸν χρησάμενον ἀποδεῖξαι ὅτι μή ἐστιν ἀπόδειξις τῶν ἀξιωμάτων. ὅτι δὲ ταῦτα δεῖ τὰ εἰρημένα ὑπάρχειν ἐν πάσῃ ἀποδείξει, ἐδήλωσε καὶ διὰ τοῦ ἐπενεγκεῖν «ἀνάγκη καὶ ἔκ τινων εἶναι, δι' ὧν δείκνυται, καὶ περί τι εἶναι» ἡ ἀπόδειξις, «καὶ τινῶν τὴν ἀπόδειξιν,» αὐτῶν τῶν ἀποδεικνυμένων. ἀλλ' εἰ τοῖς ἀξιώμασιν ἕν τι γένος ὑπόκειται, πᾶσι τοῖς ἀποδεικνυμένοις καὶ πάσαις ταῖς ἐπιστήμαις ἓν καὶ ταὐτὸ γένος ὑποκείμενον ἔχειν. ὁ γὰρ χρώμενός τινι πρὸς ἀπόδειξιν, ὃ γένει τινὶ καὶ φύσει μιᾷ καθ' αὑτὸ ὑπάρχει, οὐ περὶ ἄλλο αὐτῷ χρήσεται ἢ περὶ ἐκεῖνο ᾧ ὑπάρχει καθ' αὑτό. οὐ γὰρ διὰ τοῦ τυχόντος τὸ τυχὸν δείκνυται. οὔτε γὰρ ὁ τοῖς ἐν γεωμετρίᾳ δεικνυμένοις χρώμενός τισι πρὸς ἄλλο τι αὐτοῖς χρῆται ἢ πρὸς τὰ γεωμετρικὰ ὑποκείμενα, ὅτι τούτοις ὑπάρχει καθ' αὑτά· οὔτε ὁ ἐν τοῖς μουσικοῖς τινὶ πρός τι ἄλλο ἢ πρὸς τὰ τοῖς μουσικοῖς ὑποκείμενα. διὰ γὰρ τῶν καθ' αὑτὰ ὑπαρχόντων αἱ τῶν καθ' αὑτὰ ὑπαρχόντων ἀποδείξεις· καὶ οἱ τοῖς ἀξιώμασι δὴ χρώμενοι πρὸς ὃ γένος ἂν ἐκεῖνο χρῷντο αὐτοῖς, ᾧ ὑπάρχει τὰ ἀξιώματα καθ' αὑτά· ὑπάρχει δὲ ἑνί τι, εἴγε ἐστὶν αὐτῶν ἐπιστήμη τις ἀποδεικτική. τοσαῦται δὲ αἱ ἐπιστῆμαι πρὸς τὰ ἀποδεικνύμενα ὑπ' αὐτῶν χρῶνται τοῖς ἀξιώμασι· πάσαις ἄρα ἔσται τὸ αὐτὸ γένος ὑποκείμενον ταῖς ἐπιστήμαις τῷ πάσας αὐτὰς χρῆσθαι. ταῦτα δὲ ἑνὶ γένει τινὶ ὑπάρχειν, καὶ μὴ οἷόν τε εἶναι πρὸς ἄλλο τι χρῆσθαι τοῖς τινὶ καθ' αὑτὰ ὑπάρχουσιν ἀποδεικτικῶς ἢ πρὸς ἐκεῖνο μόνον, ᾧ καθ' αὑτὸ ἐκεῖνο ὑπάρχει.

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

(B 2. 997a)

Древнегреческий текст: εἰ δὲ πάσαις ταῖς ἐπιστήμαις τὸ αὐτὸ γένος ὑπόκειται, καὶ πᾶσαι διὰ τῶν αὐτῶν δεικνύουσι, διὰ τῶν ἀξιωμάτων, πᾶσαι ἂν αἱ αὐταὶ εἶεν.

Ἀλλὰ τούτων. ἐπιχειρήσας πρὸς τὸ μὴ εἶναι τῆς αὐτῆς περί τῶν τῆς οὐσίας ἀρχῶν καὶ περὶ τῶν ἀποδεικτικῶν εἰπεῖν ἀλλ' ἑτέρας, ἔξωθεν δὲ προσεπιχειρήσας ὅτι μηδὲ ἐστιν ἀποδεικτά, ἐφεξῆς ταύτῃ συνεχῆ ἀπορίαν ἀπορεῖ· ζητεῖ γάρ, ποτέρα αὐτῶν ἐστὶ σοφία καὶ ποτέρα κυριωτάτη καὶ ποτέρα πρότερον, ἡ περὶ τὰς τῆς οὐσίας ἀρχὰς ἢ ἡ περὶ τὰς τῆς ἀποδείξεως. καὶ ὅτι δεῖ εὔλογον εἶναι λέγειν τοιαύτην τὴν περὶ τὰ ἀξιώματα, οὕτως ἐπιχειρεῖ. εἰ ἡ περὶ τὰ πρῶτα πρώτη, τὰ δὲ ἀξιώματα πρῶτα, ὃ ἔδειξε διὰ τοῦ εἰπεῖν ὅτι καθόλου (τὰ γὰρ καθόλου πρῶτα τῶν ὑφ' αὑτὰ δέδεικται τῇ φύσει ὄντα, τοιαῦτα δὲ τὰ ἀξιώματα, κοινὰ πάντων καὶ καθόλου), ἐπεὶ πάντα τὰ δεικνύμενα διὰ τούτων δείκνυται, καὶ πάντων ἀρχαὶ ταῦτα· αἱ δὲ ἀρχαὶ πρότεραι ὧν εἰσὶν ἀρχαί· ὥστε καὶ ταύτῃ καθόλου. ἡ παραγωγὴ παρὰ τὸ ληφθῆναι ἁπλῶς πρῶτα εἶναι καὶ καθόλου τὰ ἀξιώματα· οὔτε γὰρ καὶ τὰ κοινά τινων ἤδη καθόλου ἐστὶν αὐτῶν, οὔτε τὰ καθόλου ἁπλῶς καὶ κυρίως πρῶτα· ὥστε οὐδ' ἡ περὶ τὰ καθόλου ἁπλῶς πρώτη καὶ τιμιωτέρα. ἔτι δὲ οὐδὲ δείκνυνται αἱ ἀρχαὶ διὰ τῶν ἀξιωμάτων· οὐδὲ γὰρ καὶ ἀποδεικταί.

Русский перевод: Если же всем наукам лежит в основе один и тот же род, и все доказывают через одно и то же — через аксиомы, то все они были бы одной и той же [наукой].

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

(B 2. 997a)

Древнегреческий текст: Εἴτε φιλοσόφου. ὅπερ ἠπόρησε πρὸς τὸ καὶ τίνος εἶναι, ἢ καὶ πασῶν τῶν χρωμένων αὐτοῖς ἢ οὐδεμιᾶς, νῦν δείκνυσιν ὅτι εὔλογον τὸν φιλόσοφον περὶ τῶν ἀξιωμάτων, ἅ εἰσιν ἀποδείξεως ἀρχαί, δι' ὧν τὸ ἐν πᾶσι τοῖς ζητουμένοις ἀληθὲς πρῶτον δείκνυται, πραγματεύεσθαι, ὃ ἐνεδείξατο διὰ τὸ δεῖξαι ὅτι ἄτοπον τὸ ἄλλον τινὰ λέγειν περὶ τἀληθοῦς καὶ ψεύδους πραγματεύεσθαι. ὁ δὲ περὶ αὐτῶν λέγοιτ' ἂν περὶ τῶν προτάσεων, ἐν αἷς τὰ ἀξιώματα· τίνος γὰρ καὶ ἄλλου τὸ περὶ τοῦ ἐν προτάσεσιν ἀληθοῦς τε καὶ ψεύδους διαλαμβάνειν παρὰ τὸν φιλόσοφον; δείκνυται δὲ διὰ τούτων ὅτι εἰ καὶ μὴ τοῦ πρώτου φιλοσόφου ἐστὶ τὸ περὶ ἀποδείξεως καὶ τῶν ταύτης ἀρχῶν διαλαμβάνειν, ἀλλὰ τοῦ φιλοσόφου γε. εἴη δ' ἄν πως διὰ τούτων καὶ τὸ μέρος φιλοσοφίας εἶναι τὴν ἀποδεικτικὴν πραγματείαν τιθέμενον.

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

Глава XX. О третьейапории: одна ли наука о всех сущностях или много (Книга B, Глава 2)

(B 2. 997a)

Древнегреческий текст: Ὅλως ἐπιστῆμαι. ἐπεὶ τῶν οὐσιῶν αἱ μέν εἰσι νοηταὶ καὶ ἀκίνητοι αἱ δὲ ἐν κινήσει τε καὶ αἰσθηταί, ζητεῖ πότερον περὶ πασῶν τῶν οὐσιῶν μιᾶς ἐστὶ τὸ θεωρεῖν ἐπιστήμης, ἢ πλειόνων καὶ διαφόρων, καὶ εἰ μὴ μιᾶς, ποίας οὐσίας ἐπιστήμην ἡγητέον τὴν προκειμένην νῦν ἡμῖν· ἔτι δὲ αὕτη ἡ σοφία.

τὸ πασῶν ὑπολαμβάνειν τῶν οὐσιῶν ἐπιστήμην εἶναι οὔ φησιν εὔλογον εἶναι, δι' ὃ ἐπιφέρει· εἰ γὰρ μίαν, μία ἂν εἴη καὶ ἡ ἀποδεικτικὴ πάντων τῶν ταῖς οὐσίαις καθ' αὑτὰ συμβεβηκότων. πᾶσα γὰρ ἀποδεικτικὴ ἐπιστήμη τῶν τῷ ἐκείνῳ, περὶ ὃ καταγίνεται, καθ' αὑτὰ ὑπαρχόντων ἐστὶν ἀποδεικτική· εἰ οὖν περὶ τῆς οὐσίας μία τις ἐπιστήμη, ἓν ἄν τι γένος εἴη καὶ ἡ οὐσία. εἰ δὲ οὗ ἑνὸς γένους μία ἐπιστήμη, καὶ οὗ ἐπιστήμη μία, ἓν γένος τοῦτο· εἰ δὲ ἐν γένος καὶ ἡ οὐσία, ἓν δὲ γένει τὰ καθ' αὑτὰ συμβεβηκότα μιᾶς ἀποδείκνυται, μία ἂν εἴη ἡ τὰ ταῖς οὐσίαις πάσαις καθ' αὑτὰ ὑπάρχοντα ἀποδεικνῦσα· ἀποδεικτικῆς δὲ ἴδιον τὸ περί τι ὑποκείμενον θεωρεῖν τὰ καθ' αὑτὰ συμβεβηκότα διὰ τῶν ἀξιωμάτων τε καὶ κοινῶν δοξῶν. «περὶ ὧν γὰρ τὸ αὐτὸ γένος» ἀντὶ τοῦ περὶ ὧν ἓν γένος, τὰ καθ' αὑτὰ συμβεβηκότα διὰ τῶν κοινῶν δοξῶν, τουτέστι μιᾶς ἐστὶ τὸ θεωρῆσαι τὰ καθ' αὑτὰ συμβεβηκότα τοῖς μεγέθεσι καὶ πάλιν ἑτέρας τοὺς ἀριθμούς, ὥστε καὶ τῶν οὐσιῶν διάφοροι ἐπιστῆμαι, καὶ γὰρ καὶ τῶν καθ' αὑτὰ ὑπαρχουσῶν ταῖς οὐσίαις. δοκεῖ δὲ ἀπὸ τοῦ συμβεβηκότος τὸ ἄτοπον ἐπάγειν· λαβὼν γὰρ καὶ ὅτι τῆς ἐπιστήμης τὸ τὰ συμβεβηκότα μόνα τῷ ὑποκειμένῳ αὐτῇ ἀποδεικνύναι, ἐπεὶ τῇ οὐσίᾳ πάντα τὰ ἄλλα συμβέβηκε κατὰ τοὺς λέγοντας μίαν εἶναι τὴν περὶ τὰς οὐσίας ἐπιστήμην, εἰς τοῦτο γίγνεται μιᾶς περὶ πάντων τῶν ὄντων λέγειν· πάντα γὰρ καὶ τὰ παρὰ τὴν οὐσίαν ὄντα τῇ οὐσίᾳ συμβέβηκε. διὰ τοῦτο γὰρ καὶ οὕτως εἶπε, «καὶ ἂν ἀποδεικτικὴ μία περὶ πάντων εἴη τῶν συμβεβηκότων,» οὐκέτι καὶ ἑξῆς προστιθεὶς τὸ «περί τε ὃ μιᾶς καὶ ἐξ ὧν μιᾶς, εἴτε τῆς αὐτῆς εἴτε ἄλλης.» τοῦτό γε δοκεῖ τοιοῦτον εἶναι. εἰπὼν γὰρ ὅτι εἰ ἓν γένος ἐστὶν ἡ οὐσία ὑποκείμενον, ἔσται καὶ μία ἡ ἁπάντων τῶν καθ' αὑτὰ ὑπαρχόντων τῇ οὐσίᾳ ἀποδεικτικὴ ἐπιστήμη, ἐπήνεγκε καθόλου «περί τε ὃ μιᾶς καὶ ἐξ ὧν μιᾶς, εἴτε τῆς αὐτῆς εἴτε ἄλλης· ὥστε καὶ τὰ συμβεβηκότα, εἴτε αὗται θεωροῦσιν εἴτε ἐκ τούτων μία.» εἴη δ' ἂν τὸ λεγόμενον τοιοῦτον. τῆς αὐτῆς ἐστὶν ἐπιστήμης ὑποκείμενον θεωρεῖν τί ποτέ ἐστι, καὶ τὰ τούτῳ καθ' αὑτὰ ὑπάρχοντα· ἐκ γὰρ καὶ τούτων ἐν τούτοις ἐκείνῳ τὸ εἶναι.

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

Считать, что [существует] наука о всех сущностях, он говорит, неразумно, и поэтому прибавляет: ибо если [наука] одна, то одна была бы и доказательная [наука] обо всех привходящих сущностям самим по себе [свойствах]. Ибо всякая доказательная наука есть доказательная [наука] о присущих тому [предмету], которым она занимается, самих по себе [свойствах]; если же о сущности есть некая одна наука, то и сущность была бы одним родом. Если же о том, что есть один род, [есть] одна наука, и о том, о чем [есть] одна наука, [то] это один род; если же один род есть и сущность, то привходящие одному роду сами по себе [свойства] доказываются одной [наукой]; значит, одна была бы [наука], доказывающая присущие всем сущностям сами по себе [свойства]; а доказательной [науке] свойственно рассматривать привходящие сами по себе [свойства] относительно некоторого субстрата через аксиомы и общие мнения. «Ибо о том, о чем один род» — вместо «о чем один род», [рассматривать] привходящие сами по себе [свойства] через общие мнения, то есть одной [науки] [дело] рассматривать привходящие сами по себе [свойства] величин, и опять другой — числа, так что и о сущностях — различные науки, ибо и о присущих сущностям самим по себе [свойствах]. Кажется, что нелепость он выводит из привходящего; ибо, приняв, что [дело] науки — доказывать только привходящие [свойства] ее субстрата, поскольку сущности, по словам тех, кто говорит, что [существует] одна наука о сущностях, привходят все остальное, он приходит к тому, что [приходится] говорить об одной [науке] обо всем сущем; ибо все, что есть помимо сущности, привходит к сущности. Поэтому он и сказал так: «и если бы одна доказательная [наука была] обо всех привходящих [свойствах]», уже не прибавляя далее: «о том, о чем одна, и из чего одна, будь то той же самой или иной». Это, по-видимому, таково. Сказав, что если сущность есть один род, лежащий в основе, то будет и одна доказательная наука обо всех присущих сущности самим по себе [свойствах], он прибавил вообще: «о том, о чем одна, и из чего одна, будь то той же самой или иной; так что и привходящие [свойства], будут ли эти [науки] рассматривать их, или из них одна». Сказанное было бы таково. Одной и той же науки [дело] рассматривать субстрат, что он такое, и присущие ему сами по себе [свойства]; ибо через них и в них для того [субстрата] [заключается] бытие.

(B 2. 997a)

Древнегреческий текст: ἀλλὰ μὴν ἧς τὸ τὰ καθ' αὑτά τινι ὑπάρχοντα εἰδέναι, ταύτης καὶ τὸ ἀποδεικνύναι τὰ καθ' αὑτὰ συμβεβηκότα ἐκείνῳ. δύναται δὲ καὶ τὰ ἐξ ὧν μιᾶς εἰρηκέναι ἀντὶ τοῦ καὶ ἐξ ὧν αἱ περὶ ἐκείνου τοῦ ὑποκειμένου ἀποδείξεις γιγνόμεναι· διὰ γὰρ τῶν καθ' αὑτὰ ὑπαρχόντων αἱ ἀποδείξεις, ὧν δεῖ εἰδέναι τὸν περὶ ἐκεῖνο καταγινόμενον· ὥστε τὸ εἰδέναι τὴν ὑποκειμένην φύσιν, τούτῳ καὶ τὸ τὰ ταύτῃ ὑπάρχοντα εἰδέναι καθ' αὑτά· διὰ τούτων γὰρ ἡ γνῶσις τῆς οὐσίας τοῦ προκειμένου, δι' ὧν καὶ αἱ περὶ τῶν ὑπαρχόντων αὐτῇ ἀποδείξεις. ἧς δὲ τὸ ταῦτα εἰδέναι, ταύτης καὶ τὸ τὰ καθ' αὑτὰ συμβεβηκότα τῷ γένει τούτῳ δεικνύναι, τουτέστι τὰ δι' ἀποδείξεως ὑπάρχειν δεικνύμενα αὐτῷ. καὶ γὰρ εἰδέναι τό τε ὑποκείμενον γένος καὶ δι' ὧν τὰ τούτῳ ὑπάρχοντα δείκνυται, τούτου ἢ τὸ ἀποδεικνύναι τὰ ὑπάρχοντα αὐτῷ· ὁ δὲ τὸ ἀποδεικνύναι τούτων, τούτου καὶ τὸ εἰδέναι. εἴτ' οὖν μία ἐστὶν ἡ περὶ τὸ ὑποκείμενον γένος καὶ τὴν οὐσίαν πραγματευομένη τῷ ἓν αὐτὸ εἶναι καὶ μίαν τινὰ φύσιν, μιᾶς ἔσται καὶ τὸ πάντα τὰ τούτῳ καθ' αὑτὰ συμβεβηκότα ἀποδεικνύναι· εἴτε πλειόνων καὶ ἄλλης ἢ περὶ τὸ λαμβανόμενον γένος καὶ τὴν οὐσίαν πραγματεύεται τῷ μὴ εἶναί τινα μίαν φύσιν αὐτοῦ (οὐ γὰρ καὶ εἴ τινα ὑφ' ἓν τὸ ἀνωτέρω γένος ἐστίν, ἤδη περὶ τούτων μιᾶς ἔστι θεωρεῖν ἐπιστήμης, ἀλλὰ δεῖ ὁμοειδὲς εἶναι καὶ μιᾶς φύσεως τὸ ἑκάστῃ ἐπιστήμῃ ὑποκείμενον, περὶ ὃ πραγματεύεται), πλειόνων δὴ καὶ τῶν αὐτῶν ἔσται τὸ καὶ τὰ ὑπάρχοντα αὐτῷ ἀποδεικνύναι· ὅσαι γὰρ καὶ περὶ τὸ ὑποκείμενον, τοσαῦται καὶ περὶ τὰ καθ' αὑτὰ τούτῳ ὑπάρχοντα ἢ συμβεβηκότα. τὸ δὲ «ὥστε καὶ τὰ συμβεβηκότα, εἴτε αὗται θεωροῦσιν εἴτε ἐκ τούτων μία» ἴσον ἂν σημαίνοι τῷ τῶν αὐτῶν ἔσται, ὧν ἥ τε περὶ τοῦ ὑποκειμένου γένους θεωρία ἡ περὶ τὰ δι' ὧν τὰ τούτῳ ὑπάρχοντα ἀποδείκνυται, καὶ ἡ τῶν καθ' αὑτὰ συμβεβηκότων καὶ ἀποδεικνυμένων ὑπάρχειν αὐτῷ γνῶσις. εἴτε οὖν πλείους ἐκεῖναι ὡς κεχωρισμέναι ἀπ' ἀλλήλων, πλείους καὶ αἱ ταῦτα ἀποδεικνῦσαι, εἴτε ἐκεῖναι μία ἐκ πλειόνων ἐπιστημῶν ὡς μερῶν οὖσα, οὕτως ἕξει ἡ τὰ καθ' αὑτὰ ὑπάρχοντα δεικνῦσα τούτῳ τῷ γένει· μία καὶ γὰρ ἔσται, ἐκ πλειόνων μέντοι ἐπιστημῶν ὡς μερῶν ἠθροισμένη. τοῦτο δὲ προσέθηκεν, ἐπεὶ δοκεῖ ἡ περὶ τὴν οὐσίαν πραγματεία ἅπασα φιλοσοφία εἶναι, οὐ μὴν πᾶσα πάσης τῆς οὐσίας ἐστίν, ἀλλὰ κατὰ ἄλλο μέρος αὐτῆς τῆς αἰσθητῆς τε καὶ φυσικῆς, κατ' ἄλλο δὲ τῆς νοητῆς.

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

(B 2. 997a)

Древнегреческий текст: ὡς δὲ ἐπ' ἄτοπόν τι ἐπαγαγὼν τὸ μίαν ἔσεσθαι τῶν καθ' αὑτὰ ὑπαρχόντων τῆς οὐσίας ἀποδεικτικήν, ἐπαύσατο μηδὲν ἐπενεγκών· ἄλογον γὰρ δόξει τὴν αὐτὴν ἐπιστήμην εἶναι θεωρητικὴν περί τε τῶν τῇ αἰσθητῇ οὐσίᾳ συμβεβηκότων καὶ περὶ τῶν τῇ νοητῇ. πῶς δὲ οὐχὶ ἓν γένος ἡ οὐσία, ἐπιζητήσαι δ' ἄν τις, εἰ περὶ ἓν γένος ἡ ὑπὸ τὸ κοινόν, ὡς που νῦν λέγει, ἀλλὰ καὶ περὶ ἓν εἶδος καὶ μίαν τινὰ ὁμοειδῆ φύσιν. οὕτω γὰρ καὶ ἡ ἐπιστήμη περὶ ἓν γένος, οὐχ ὅτι μία περί παντὰ τὰ ἐκ τοῦ αὐτοῦ τοῦ ἀνωτάτου καὶ κοινοτάτου γένους, ἀλλ' ὅτι περὶ τὰ τοῦ αὐτοῦ εἴδους καὶ λόγου κεκοινωνηκότα. δύναται καὶ οὕτως τις ἀκοῦσαι τοῦ «περί τε ὃ μιᾶς ἐξ ὧν μιᾶς,» ὃ γένους μιᾶς ἡ τὸ τί ἐστιν ἕκαστον τῶν ὑπ' αὐτὸ καὶ τὸν ὁρισμὸν ζητοῦσα, τούτῳ μία καὶ ἡ τῶν ὑπαρχόντων αὐτῷ καὶ ἐξ ὧν ἐστὶν αὐτῇ τὸ εἶναι γνωστική τε καὶ δεικτική· διὰ γὰρ τῶν καθ' αὑτὰ ὑπαρχόντων ἑκάστῳ καὶ τῶν συμβεβηκότων αὐτῷ καθ' αὑτὸ αἱ ἀποδείξεις. μιᾶς γὰρ καὶ ἐπιστήμης τὸ τὰ καθ' αὑτὰ ὑπάρχοντα ἑνί τινι γένει εἰδέναι· ὃ καὶ ἡ ὁριστικὴ μία, καὶ ἡ ἀποδεικτική. ὃ τὴν οὐσίαν καὶ τὸ τί ἦν εἶναι σημαίνει, καὶ «εἴτε δὲ τῆς αὐτῆς» τό τε ὁρίσαι τὸ αὐτὸ καὶ ἀποδεῖξαι τὰ καθ' αὑτὰ ὑπάρχοντα τῷ αὐτῷ τούτῳ, τουτέστιν εἴτε ἡ αὐτὴ ἐπιστήμη ἐστὶν ὁριστική τε καὶ ἀποδεικτική, εἴτε ἑτέρα ἐστὶ καὶ μὴ μιᾶς ἄμφω μόρια· ἀκολουθήσει οὖν τὰ καθ' αὑτὰ συμβεβηκότα τῷ αὐτῷ γένει μίαν ἀποδεικνύναι· λείπει καὶ τοῦτο τῇ λέξει τῇ «ἔσται καὶ τὰ συμβεβηκότα·» ἐνδεῖ γὰρ αὐτῷ τὸ μιᾶς ἔσται θεωρεῖν καὶ δεικνύναι· ἧς γὰρ καὶ τὸ εἰδέναι τὰ ἐξ ὧν, ταύτης τὸ τὰ συμβεβηκότα τῷ ὑποκειμένῳ δεικνύναι· εἴτε ἑκατέρα τούτων ἑτέρα οὖσα τὰ καθ' αὑτὰ ὑπάρχοντα τῷ ὑποκειμένῳ θεωρεῖ, ἡ μὲν καὶ λαμβάνουσα ὁριστική, ἡ δὲ ἀποδεικνύουσα ἀποδεικτική, εἴτε καὶ μία τίς ἐστιν ἐπιστήμη ἐξ ἀμφοτέρων τοῦ τε ὁρίζειν καὶ τοῦ ἀποδεικνύναι συγκειμένη· ὡς γὰρ καὶ μία ἡ ὁριστική τε καὶ δεικτικὴ τοῦ τί ἦν εἶναι τοῦ πράγματος, οὕτω μία καὶ ἡ ἀποδεικτική. γράφεται ἔν τισιν ἀντὶ τοῦ «εἴθ' αὗται εἴθ' αἱ αὐταί·» ὁ εἴη ἂν διὰ τούτου τὸ λεγόμενον, εἴτε αἱ αὐταὶ ἀλλήλαις εἰσὶν ἥ τε ὁριστικὴ περὶ τοῦ αὐτοῦ γένους καὶ ἡ ἀποδεικτική, εἴτε οὐκ εἰσὶ αἱ αὐταί, μόρια δέ ἐστι μιᾶς, ὥστε ἐξ ἀμφοτέρων συγκεῖσθαι τὴν τοῦ ὑποκειμένου γένους ἐπιστήμην.

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