§3.6ὅλως δʼ ἀπορήσειεν ἄν τις διὰ τί καὶ δεῖ ζητεῖν ἄλλʼ ἄττα παρά τε τὰ αἰσθητὰ καὶ τὰ μεταξύ, οἷον ἃ τίθεμεν εἴδη.
대체로, 왜 감각되는 것들과 중간적인 것들(수학적 대상들) 외에, 예컨대 우리가 형상들이라고 설정하는 것과 같은 다른 어떤 것들을 탐구해야만 하는가에 대해 의문이 생길 수 있다.
εἰ γὰρ διὰ τοῦτο, ὅτι τὰ μὲν μαθηματικὰ τῶν δεῦρο ἄλλῳ μέν τινι διαφέρει, τῷ δὲ πόλλʼ ἄττα ὁμοειδῆ εἶναι οὐθὲν διαφέρει, ὥστʼ οὐκ ἔσονται αὐτῶν αἱ ἀρχαὶ ἀριθμῷ ἀφωρισμέναι (ὥσπερ οὐδὲ τῶν ἐνταῦθα γραμμάτων ἀριθμῷ μὲν πάντων οὐκ εἰσὶν αἱ ἀρχαὶ ὡρισμέναι, εἴδει δέ, ἐὰν μὴ λαμβάνῃ τις τησδὶ τῆς συλλαβῆς ἢ τησδὶ τῆς φωνῆς·
왜냐하면 만약 그 이유가, 수학적인 것들은 여기에 있는 것들과 다른 어떤 점에서는 다르지만, 같은 종류의 것들이 많이 존재한다는 점에서는 전혀 다르지 않아서, 그것들의 원리들이 수적으로 한정되지 않는다는 점에 있다면 (――마치 여기에 있는 글자들의 원리들이 모두 수적으로 한정되어 있는 것이 아니라 종적으로 한정되어 있는 것과 같다. 다만 특정한 이 음절 이나 특정한 이 목소리를 취하는 경우가 아니라면 말이다.
τούτων δʼ ἔσονται καὶ ἀριθμῷ ὡρισμέναι—ὁμοίως δὲ καὶ ἐπὶ τῶν μεταξύ·
이것들에 대해서는 원리들 역시 수적으로 한정될 것이다. 이와 마찬가지로 중간적인 것들에 대해서도 그러하다.
ἄπειρα γὰρ κἀκεῖ τὰ ὁμοειδῆ), ὥστʼ εἰ μὴ ἔστι παρὰ τὰ αἰσθητὰ καὶ τὰ μαθηματικὰ ἕτερʼ ἄττα οἷα λέγουσι τὰ εἴδη τινές, οὐκ ἔσται μία ἀριθμῷ ἀλλʼ εἴδει οὐσία, οὐδʼ αἱ ἀρχαὶ τῶν ὄντων ἀριθμῷ ἔσονται ποσαί τινες ἀλλὰ εἴδει·
왜냐하면 거기에서도 같은 종류의 것들이 무한하기 때문이다――), 그리하여 만약 감각되는 것들과 수학적인 것들 외에 어떤 이들이 형상이라 부르는 것과 같은 다른 어떤 것들이 존재하지 않는다면, 수적으로 하나이고 종적으로만 하나인 실체는 존재하지 않을 것이며, 존재하는 것들의 원리들도 수적으로 몇 개가 아니라 종적으로만 존재하게 될 것이다.
—εἰ οὖν τοῦτο ἀναγκαῖον, καὶ τὰ εἴδη ἀναγκαῖον διὰ τοῦτο εἶναι τιθέναι.
――그러므로 만약 이 일이 필연적이라면, 이 일 때문에 형상들을 설정하는 것 역시 필연적이다.
καὶ γὰρ εἰ μὴ καλῶς διαρθροῦσιν οἱ λέγοντες, ἀλλʼ ἔστι γε τοῦθʼ ὃ βούλονται, καὶ ἀνάγκη ταῦτα λέγειν αὐτοῖς, ὅτι τῶν εἰδῶν οὐσία τις ἕκαστόν ἐστι καὶ οὐθὲν κατὰ συμβεβηκός.
왜냐하면 비록 그렇게 말하는 이들이 잘 짜임새 있게 표현하지는 못하더라도, 이것이 바로 그들이 바라는 바이며, 그들은 '형상들의 각각은 어떤 실체이며 우연적인 것은 아무것도 없다'고 말할 수밖에 없기 때문이다.
— ἀλλὰ μὴν εἴ γε θήσομεν τά τε εἴδη εἶναι καὶ ἓν ἀριθμῷ τὰς ἀρχὰς ἀλλὰ μὴ εἴδει, εἰρήκαμεν ἃ συμβαίνειν ἀναγκαῖον ἀδύνατα.
――그러나 만약 우리가 형상들이 존재하며 원리들이 종적으로가 아니라 수적으로 하나라고 가정한다면, 어떤 불가능한 일들이 따를 수밖에 없는지는 이미 우리가 말한 바 있다.
—σύνεγγυς δὲ τούτων ἐστὶ τὸ διαπορῆσαι πότερον δυνάμει ἔστι τὰ στοιχεῖα ἤ τινʼ ἕτερον τρόπον.
――이것들과 아주 가까운 것은, 원소들이 능력으로서 존재하는지 아니면 다른 어떤 방식으로 존재하는지 철저히 검토하는 것이다.
εἰ μὲν γὰρ ἄλλως πως, πρότερόν τι ἔσται τῶν ἀρχῶν ἄλλο (πρότερον γὰρ ἡ δύναμις ἐκείνης τῆς αἰτίας, τὸ δὲ δυνατὸν οὐκ ἀναγκαῖον ἐκείνως πᾶν ἔχειν)·
왜냐하면 만약 다른 어떤 방식으로 존재한다면, 원리들보다 앞서는 다른 어떤 것이 존재하게 될 것이기 때문이다 (왜냐하면 능력은 저 원인[현실태]보다 앞서며, 가능한 것이 모두 그렇게 존재해야만 하는 것은 아니기 때문이다).
εἰ δʼ ἔστι δυνάμει τὰ στοιχεῖα, ἐνδέχεται μηθὲν εἶναι τῶν ὄντων·
반면 만약 원소들이 능력으로서 존재한다면, 존재하는 것들 중 그 무엇도 존재하지 않을 수 있다.
δυνατὸν γὰρ εἶναι καὶ τὸ μήπω ὄν·
왜냐하면 아직 존재하지 않는 것도 존재할 수 있기 때문이다.
γίγνεται μὲν γὰρ τὸ μὴ ὄν, οὐθὲν δὲ γίγνεται τῶν εἶναι ἀδυνάτων.
실제로, 존재하지 않는 것은 생성될 수 있지만, 존재하기가 불가능한 것 중 그 무엇도 생성될 수는 없기 때문이다.
—ταύτας τε οὖν τὰς ἀπορίας ἀναγκαῖον ἀπορῆσαι περὶ τῶν ἀρχῶν, καὶ πότερον καθόλου εἰσὶν ἢ ὡς λέγομεν τὰ καθʼ ἕκαστα.
――그러므로 원리들에 관해서는 이러한 아포리아들을 제기하는 것이 필연적이며, 또한 그것들이 보편적인지 아니면 우리가 말하듯 개별적인 것들인지도 검토해야 한다.
εἰ μὲν γὰρ καθόλου, οὐκ ἔσονται οὐσίαι (οὐθὲν γὰρ τῶν κοινῶν τόδε τι σημαίνει ἀλλὰ τοιόνδε, ἡ δʼ οὐσία τόδε τι·
왜냐하면 만약 보편적이라면, 그것들은 실체가 아닐 것이기 때문이다 (왜냐하면 공통적인 것들 중 그 무엇도 '이것'을 지시하지 않고 '이러저러한 것'을 지시하는 반면, 실체는 '이것'이기 때문이다.
εἰ δʼ ἔσται τόδε τι καὶ ἓν θέσθαι τὸ κοινῇ κατηγορούμενον, πολλὰ ἔσται ζῷα ὁ Σωκράτης, αὐτός τε καὶ ὁ ἄνθρωπος καὶ τὸ ζῷον, εἴπερ σημαίνει ἕκαστον τόδε τι καὶ ἕν)·
그러나 만약 공통되게 술어화되는 것을 '이것'이자 '하나'라고 설정한다면, 소크라테스는 많은 동물들, 즉 자기 자신과 인간과 동물이 될 것이다. 만약 그것들 각각이 '이것'이자 '하나'를 지시한다면 말이다).
—εἰ μὲν οὖν καθόλου αἱ ἀρχαί, ταῦτα συμβαίνει·
――그리하여 만약 원리들이 보편적이라면 이러한 일들이 일어난다.
εἰ δὲ μὴ καθόλου ἀλλʼ ὡς τὰ καθʼ ἕκαστα, οὐκ ἔσονται ἐπιστηταί (καθόλου γὰρ ἡ ἐπιστήμη πάντων), ὥστʼ ἔσονται ἀρχαὶ ἕτεραι πρότεραι τῶν ἀρχῶν αἱ καθόλου κατηγορούμεναι, ἄνπερ μέλλῃ ἔσεσθαι αὐτῶν ἐπιστήμη.
반면 만약 보편적이지 않고 개별적인 것들과 같다면, 그것들은 인식될 수 없을 것이다 (왜냐하면 모든 인식은 보편적인 것에 관한 것이기 때문이다). 따라서 만약 그것들에 대한 인식이 존재하고자 한다면, 원리들보다 앞서는 보편적으로 술어화되는 다른 원리들이 존재할 것이다.