Analytica priora

Aristotle

Aristotle, Analytica priora, Bekker, Oxford, 1837

Ἐὰν δὲ ἡ μὲν ὑπάρχειν ἡ δ᾿ ἐνδέχεσθαι σημαίνῃ τῶν προτάσεων, τὸ μὲν συμπέρασμα ἔσται ὅτι ἐνδέχεται καὶ οὐχ ὅτι ὑπάρχει, συλλογισμὸς δ᾿ ἔσται τὸν αὐτὸν τρόπον ἐχόντων τῶν ὅρων ὃν καὶ ἐν τοῖς πρότερον. Ἔστωσαν γὰρ πρῶτον

101
κατηγορικοί, καὶ τὸ μὲν Α παντὶ τῷ Γ ὑπαρχέτω, τὸ δὲ Β παντὶ ἐνδεχέσθω ὑπάρχειν. Ἀντιστραφέντος οὖν τοῦ Β Γ τὸ πρῶτον ἔσται σχῆμα, καὶ τὸ συμπέρασμα ὅτι ἐνδέχεται τὸ Α τινὶ τῶν Β ὑπάρχειν· ὅτε γὰρ ἡ ἑτέρα τῶν προτάσεων ἐν τῷ πρώτῳ σχήματι σημαίνοι ἐνδέχεσθαι, καὶ τὸ συμπέρασμα ἦν ἐνδεχόμενον. Ὁμοίως δὲ καὶ εἰ τὸ μὲν Β Γ ὑπάρχειν τὸ δὲ Α Γ ἐνδέχεσθαι, καὶ εἰ τὸ μὲν Α Γ στερητικὸν τὸ δὲ Β Γ κατηγορικόν, ὑπάρχοι δ᾿ ὁποτερονοῦν, ἀμφοτέρως ἐνδεχόμενον ἔσται τὸ συμπέρασμα· γίνεται γὰρ πάλιν τὸ πρῶτον σχῆμα, δέδεικται δ᾿ ὅτι τῆς ἑτέρας προτάσεως ἐνδέχεσθαι σημαινούσης ἐν αὐτῷ καὶ τὸ συμπέρασμα ἔσται ἐνδεχόμενον. Εἰ δὲ τὸ ἐνδεχόμενον στερητικὸν τεθείη πρὸς τὸ ἔλαττον ἄκρον, ἢ καὶ ἄμφω ληφθείη στερητικά, δι᾿ αὐτῶν μὲν τῶν κειμένων οὐκ ἔσται συλλογισμός, ἀντιστραφέντων δ᾿ ἔσται, καθάπερ ἐν τοῖς πρότερον.

Εἰ δ᾿ ἡ μὲν καθόλου τῶν προτάσεων ἡ δ᾿ ἐν μέρει, κατηγορικῶν μὲν οὐσῶν ἀμφοτέρων, ἢ τῆς μὲν καθόλου στερητικῆς τῆς δ᾿ ἐν μέρει καταφατικῆς, ὁ αὐτὸς τρόπος ἔσται τῶν συλλογισμῶν· πάντες γὰρ περαίνονται διὰ τοῦ πρώτου σχήματος. Ὥστε φανερὸν ὅτι τοῦ ἐνδέχεσθαι καὶ οὐ τοῦ ὑπάρχειν ἔσται συλλογισμός. Εἰ δ᾿ ἡ μὲν καταφατικὴ καθόλου ἡ δὲ στερητικὴ ἐν μέρει, διὰ τοῦ ἀδυνάτου ἔσται ἡ ἀπόδειξις. Ὑπαρχέτω γὰρ τὸ μὲν Β παντὶ τῷ Γ, τὸ δὲ Α ἐνδεχέσθω τινὶ τῷ Γ μὴ ὑπάρχειν· ἀνάγκη δὴ τὸ Α ἐνδέχεσθαι τινὶ τῷ Β μὴ ὑπάρχειν. Εἰ γὰρ παντὶ τῷ Β τὸ Α ὑπάρχει ἐξ ἀνάγκης, τὸ δὲ Β παντὶ τῷ Γ κεῖται ὑπάρχειν, τὸ Α παντὶ τῷ Γ ἐξ ἀνάγκης ὑπάρξει· τοῦτο γὰρ δέδεικται πρότερον. Ἀλλ᾿ ὑπέκειτο τινὶ ἐνδέχεσθαι μὴ ὑπάρχειν.

Ὅταν δ᾿ ἀδιόριστοι ἢ ἐν μέρει ληφθῶσιν ἀμφότεραι, οὐκ ἔσται συλλογισμός. Ἀπόδειξις δ᾿ ἡ αὐτὴ ἣ καὶ ἐν τοῖς καθόλου, καὶ διὰ τῶν αὐτῶν ὅρων.

Εἰ δ᾿ ἐστὶν ἡ μὲν ἀναγκαία τῶν προτάσεων ἡ δ᾿ ἐνδεχομένη,

102
κατηγορικῶν μὲν ὄντων τῶν ὅρων ἀεὶ τοῦ ἐνδέχεσθαι ἔσται συλλογισμός, ὅταν δ᾿ ᾖ τὸ μὲν κατηγορικὸν τὸ δὲ στερητικόν, ἐὰν μὲν ᾖ τὸ καταφατικὸν ἀναγκαῖον, τοῦ ἐνδέχεσθαι μὴ ὑπάρχειν, ἐὰν δὲ τὸ στερητικόν, καὶ τοῦ ἐνδέχεσθαι μὴ ὑπάρχειν καὶ τοῦ μὴ ὑπάρχειν· τοῦ δ᾿ ἐξ ἀνάγκης μὴ ὑπάρχειν οὐκ ἔσται συλλογισμός, ὥσπερ οὐδ᾿ ἐν τοῖς ἑτέροις σχήμασιν. Ἔστωσαν δὴ κατηγορικοὶ πρῶτον οἱ ὅροι, καὶ τὸ μὲν Α παντὶ τῷ Γ ὑπαρχέτω ἐξ ἀνάγκης, τὸ δὲ Β τῷ Γ παντὶ ἐνδεχέσθω ὑπάρχειν. Ἐπεὶ οὖν τὸ μὲν Α παντὶ τῷ Γ ἀνάγκη, τὸ δὲ Γ τινὶ τῷ Β ἐνδέχεται, καὶ τὸ Α τινὶ τῷ Β ἐνδεχόμενον ἔσται καὶ οὐχ ὑπάρχον· οὕτω γὰρ συνέπιπτεν ἐπὶ τοῦ πρώτου σχήματος. Ὁμοίως δὲ δειχθήσεται καὶ εἰ τὸ μὲν Β Γ τεθείη ἀναγκαῖον, τὸ δὲ Α Γ ἐνδεχόμενον. Πάλιν ἔστω τὸ μὲν κατηγορικὸν τὸ δὲ στερητικόν, ἀναγκαῖον δὲ τὸ κατηγορικόν· καὶ τὸ μὲν Α ἐνδεχέσθω μηδενὶ τῷ Γ ὑπάρχειν, τὸ δὲ Β παντὶ ὑπαρχέτω ἐξ ἀνάγκης. Ἔσται δὴ πάλιν τὸ πρῶτον σχῆμα· καὶ γὰρ ἡ στερητικὴ πρότασις ἐνδέχεσθαι σημαίνει. Φανερὸν οὖν ὅτι τὸ συμπέρασμα ἔσται ἐνδεχόμενον· ὅτε γὰρ οὕτως ἔχοιεν αἱ προτάσεις ἐν τῷ πρώτῳ σχήματι, καὶ τὸ συμπέρασμα ἦν ἐνδεχόμενον. Εἰ δ᾿ ἡ στερητικὴ πρότασις ἀναγκαία, τὸ συμπέρασμα ἔσται καὶ ὅτι ἐνδέχεται τινὶ μὴ ὑπάρχειν καὶ ὅτι οὐχ ὑπάρχει. Κείσθω γὰρ τὸ Α τῷ Γ μὴ ὑπάρχειν ἐξ ἀνάγκης, τὸ δὲ Β παντὶ ἐνδέχεσθαι. Ἀντιστραφέντος οὖν τοῦ Β Γ καταφατικοῦ τὸ πρῶτον ἔσται σχῆμα, καὶ ἀναγκαία ἡ στερητικὴ πρότασις. Ὅτε δ᾿ οὕτως εἶχον αἱ προτάσεις, συνέβαινε τὸ Α τῷ Γ καὶ ἐνδέχεσθαι τινὶ μὴ ὑπάρχειν καὶ μὴ ὑπάρχειν, ὥστε καὶ τὸ Α τῷ Β ἀνάγκη τινὶ μὴ ὑπάρχειν. Ὅταν δὲ τὸ στερητικὸν τεθῇ πρὸς τὸ ἔλαττον ἄκρον, ἐὰν μὲν ἐνδεχόμενον, ἔσται συλλογισμὸς μεταληφθείσης τῆς προτάσεως, καθάπερ ἐν τοῖς πρότερον, ἐὰν δ᾿ ἀναγκαῖον, οὐκ
103
ἔσται· καὶ γὰρ παντὶ ἀνάγκη καὶ οὐδενὶ ἐνδέχεται ὑπάρχειν· Ὅροι τοῦ παντὶ ὑπάρχειν ὕπνος—ἵππος καθεύδων—ἄνθρωπος, τοῦ μηδενὶ ὕπνος—ἵππος ἐγρηγορώς—ἄνθρωπος.

Ὁμοίως δ᾿ ἕξει καὶ εἰ ὁ μὲν καθόλου τῶν ὅρων ὁ δ᾿ ἐν μέρει πρὸς τὸ μέσον· κατηγορικῶν μὲν γὰρ ὄντων ἀμφοτέρων τοῦ ἐνδέχεσθαι καὶ οὐ τοῦ ὑπάρχειν ἔσται συλλογισμός, καὶ ὅταν τὸ μὲν στερητικὸν ληφθῇ τὸ δὲ καταφατικόν, ἀναγκαῖον δὲ τὸ καταφατικόν. Ὅταν δὲ τὸ στερητικὸν ἀναγκαῖον, καὶ τὸ συμπέρασμα ἔσται τοῦ μὴ ὑπάρχειν· ὁ γὰρ αὐτὸς τρόπος ἔσται τῆς δείξεως καὶ καθόλου καὶ μὴ καθόλου τῶν ὅρων ὄντων. Ἀνάγκη γὰρ διὰ τοῦ πρώτου σχήματος τελειοῦσθαι τοὺς συλλογισμούς, ὥστε καθάπερ ἐν ἐκείνοις, καὶ ἐπὶ τούτων ἀναγκαῖον συμπίπτειν. Ὅταν δὲ τὸ στερητικὸν καθόλου ληφθὲν τεθῇ πρὸς τὸ ἔλαττον ἄκρον, ἐὰν μὲν ἐνδεχόμενον, ἔσται συλλογισμὸς διὰ τῆς ἀντιστροφῆς, ἐὰν δ᾿ ἀναγκαῖον, οὐκ ἔσται. Δειχθήσεται δὲ τὸν αὐτὸν τρόπον ὃν καὶ ἐν τοῖς καθόλου, καὶ διὰ τῶν αὐτῶν ὅρων. Φανερὸν οὖν καὶ ἐν τούτῳ τῷ σχήματι πότε καὶ πῶς ἔσται συλλογισμός, καὶ πότε τοῦ ἐνδέχεσθαι καὶ πότε τοῦ ὑπάρχειν. Δῆλον δὲ καὶ ὅτι πάντες ἀτελεῖς, καὶ ὅτι τελειοῦνται διὰ τοῦ πρώτου σχήματος.

Ὅτι μὲν οὖν οἱ ἐν τούτοις τοῖς σχήμασι συλλογισμοὶ τελειοῦνται διὰ τῶν ἐν τῷ πρώτῳ σχήματι καθόλου συλλογισμῶν καὶ εἰς τούτους ἀνάγονται, δῆλον ἐκ τῶν εἰρημένων· ὅτι δ᾿ ἁπλῶς πᾶς συλλογισμὸς οὕτως ἕξει, νῦν ἔσται φανερόν, ὅταν δειχθῇ πᾶς γινόμενος διὰ τούτων τινὸς τῶν σχημάτων.

Ἀνάγκη δὴ πᾶσαν ἀπόδειξιν καὶ πάντα συλλογισμὸν ἢ ὑπάρχον τι ἢ μὴ ὑπάρχον δεικνύναι, καὶ τοῦτο ἢ καθόλου ἢ κατὰ μέρος, ἔτι ἢ δεικτικῶς ἢ ἐξ ὑποθέσεως. Τοῦ δ᾿ ἐξ ὑποθέσεως μέρος τὸ διὰ τοῦ ἀδυνάτου. Πρῶτον οὖν εἴπωμεν

104
περὶ τῶν δεικτικῶν· τούτων γὰρ δειχθέντων φανερὸν ἔσται καὶ ἐπὶ τῶν εἰς τὸ ἀδύνατον καὶ ὅλως τῶν ἐξ ὑποθέσεως.

Εἰ δὴ δέοι τὸ Α κατὰ τοῦ Β συλλογίσασθαι ἢ ὑπάρχον ἢ μὴ ὑπάρχον, ἀνάγκη λαβεῖν τι κατά τινος. Εἰ μὲν οὖν τὸ Α κατὰ τοῦ Β ληφθείη, τὸ ἐξ ἀρχῆς ἔσται εἰλημμένον. Εἰ δὲ κατὰ τοῦ Γ, τὸ δὲ Γ κατὰ μηδενός, μηδ᾿ ἄλλο κατ᾿ ἐκείνου, μηδὲ κατὰ τοῦ Α ἕτερον, οὐδεὶς ἔσται συλλογισμός· τῷ γὰρ ἓν καθ᾿ ἑνὸς ληφθῆναι οὐδὲν συμβαίνει ἐξ ἀνάγκης. Ὥστε προσληπτέον καὶ ἑτέραν πρότασιν. Ἐὰν μὲν οὖν ληφθῇ τὸ Α κατ᾿ ἄλλου ἢ ἄλλο κατὰ τοῦ Α, ἢ κατὰ τοῦ Γ ἕτερον, εἶναι μὲν συλλογισμὸν οὐδὲν κωλύει, πρὸς μέντοι τὸ Β οὐκ ἔσται διὰ τῶν εἰλημμένων. Οὐδ᾿ ὅταν τὸ Γ ἑτέρῳ, κἀκεῖνο ἄλλῳ, καὶ τοῦτο ἑτέρῳ, μὴ συνάπτῃ δὲ πρὸς τὸ Β, οὐδ᾿ οὕτως ἔσται πρὸς τὸ Β συλλογισμὸς τοῦ Α. Ὅλως γὰρ εἴπομεν ὅτι οὐδεὶς οὐδέποτε ἔσται συλλογισμὸς ἄλλου κατ᾿ ἄλλου μὴ ληφθέντος τινὸς μέσου, ὃ πρὸς ἑκάτερον ἔχει πως ταῖς κατηγορίαις· ὁ μὲν γὰρ συλλογισμὸς ἁπλῶς ἐκ προτάσεών ἐστιν, ὁ δὲ πρὸς τόδε συλλογισμὸς ἐκ τῶν πρὸς τόδε προτάσεων, ὁ δὲ τοῦδε πρὸς τόδε διὰ τῶν τοῦδε πρὸς τόδε προτάσεων. Ἀδύνατον δὲ πρὸς τὸ Β λαβεῖν πρότασιν μηδὲν μήτε κατηγοροῦντας αὐτοῦ μήτ᾿ ἀπαρνουμένους, ἢ πάλιν τοῦ Α πρὸς τὸ Β μηδὲν κοινὸν λαμβάνοντας ἀλλ᾿ ἑκατέρου ἴδια ἄττα κατηγοροῦντας ἢ ἀπαρνουμένους. Ὥστε ληπτέον τι μέσον ἀμφοῖν, ὃ συνάψει τὰς κατηγορίας, εἴπερ ἔσται τοῦδε πρὸς τόδε συλλογισμός. Εἰ οὖν ἀνάγκη μέν τι λαβεῖν πρὸς ἄμφω κοινόν, τοῦτο δ᾿ ἐνδέχεται τριχῶς (ἢ γὰρ τὸ Α τοῦ Γ καὶ τὸ Γ τοῦ Β κατηγορήσαντας, ἢ τὸ Γ κατ᾿ ἀμφοῖν, ἢ ἄμφω κατὰ τοῦ Γ), ταῦτα δ᾿ ἐστὶ τὰ εἰρημένα σχήματα, φανερὸν ὅτι πάντα συλλογισμὸν ἀνάγκη γίνεσθαι διὰ τούτων τινὸς τῶν σχημάτων. Ὁ γὰρ αὐτὸς

105
λόγος καὶ εἰ διὰ πλειόνων συνάπτοι πρὸς τὸ Β· ταὐτὸ γὰρ ἔσται σχῆμα καὶ ἐπὶ τῶν πολλῶν.

Ὅτι μὲν οὖν οἱ δεικτικοὶ περαίνονται διὰ τῶν προειρημένων σχημάτων, φανερόν· ὅτι δὲ καὶ οἱ εἰς τὸ ἀδύνατον, δῆλον ἔσται διὰ τούτων. Πάντες γὰρ οἱ διὰ τοῦ ἀδυνάτου περαίνοντες τὸ μὲν ψεῦδος συλλογίζονται, τὸ δ᾿ ἐξ ἀρχῆς ἐξ ὑποθέσεως δεικνύουσιν, ὅταν ἀδύνατόν τι συμβαίνῃ τῆς ἀντιφάσεως τεθείσης, οἷον ὅτι ἀσύμμετρος ἡ διάμετρος διὰ τὸ γίνεσθαι τὰ περιττὰ ἴσα τοῖς ἀρτίοις συμμέτρου τεθείσης. Τὸ μὲν οὖν ἴσα γίνεσθαι τὰ περιττὰ τοῖς ἀρτίοις συλλογίζεται, τὸ δ᾿ ἀσύμμετρον εἶναι τὴν διάμετρον ἐξ ὑποθέσεως δείκνυσιν, ἐπεὶ ψεῦδος συμβαίνει διὰ τὴν ἀντίφασιν. Τοῦτο γὰρ ἦν τὸ διὰ τοῦ ἀδυνάτου συλλογίσασθαι, τὸ δεῖξαί τι ἀδύνατον διὰ τὴν ἐξ ἀρχῆς ὑπόθεσιν. Ὅστ᾿ ἐπεὶ τοῦ ψεύδους γίνεται συλλογισμὸς δεικτικὸς ἐν τοῖς εἰς τὸ ἀδύνατον ἀπαγομένοις, τὸ δ᾿ ἐξ ἀρχῆς ἐξ ὑποθέσεως δείκνυται, τοὺς δὲ δεικτικοὺς πρότερον εἴπομεν ὅτι διὰ τούτων περαίνονται τῶν σχημάτων, φανερὸν ὅτι καὶ οἱ διὰ τοῦ ἀδυνάτου συλλογισμοὶ διὰ τούτων ἔσονται τῶν σχημάτων. Ὡσαύτως δὲ καὶ οἱ ἄλλοι πάντες οἱ ἐξ ὑποθέσεως· ἐν ἅπασι γὰρ ὁ μὲν συλλογισμὸς γίνεται πρὸς τὸ μεταλαμβανόμενον, τὸ δ᾿ ἐξ ἀρχῆς περαίνεται δι᾿ ὁμολογίας ἤ τινος ἄλλης ὑποθέσεως. Εἰ δὲ τοῦτ᾿ ἀληθές, πᾶσαν ἀπόδειξιν καὶ πάντα συλλογισμὸν ἀνάγκη γίνεσθαι διὰ τριῶν τῶν προειρημένων σχημάτων. Τούτου δὲ δειχθέντος δῆλον ὡς ἅπας τε συλλογισμὸς ἐπιτελεῖται διὰ τοῦ πρώτου σχήματος καὶ ἀνάγεται εἰς τοὺς ἐν τούτῳ καθόλου συλλογισμούς.

Ἔτι τε ἐν ἅπαντι δεῖ κατηγορικόν τινα τῶν ὅρων εἶναι καὶ τὸ καθόλου ὑπάρχειν· ἄνευ γὰρ τοῦ καθόλου ἢ οὐκ ἔσται συλλογισμὸς ἢ οὐ πρὸς τὸ κείμενον, ἢ τὸ ἐξ ἀρχῆς αἰτήσεται. Κείσθω γὰρ τὴν μουσικὴν ἡδονὴν εἶναι σπουδαίαν. Εἰ μὲν οὖν ἀξιώσειεν ἡδονὴν εἶναι σπουδαίαν μὴ

106
προσθεὶς τὸ πᾶσαν, οὐκ ἔσται συλλογισμός· εἰ δὲ τινὰ ἡδονήν, εἰ μὲν ἄλλην, οὐδὲν πρὸς τὸ κείμενον, εἰ δ᾿ αὐτὴν ταύτην, τὸ ἐξ ἀρχῆς λαμβάνει. Μᾶλλον δὲ γίνεται φανερὸν ἐν τοῖς διαγράμμασιν, οἷον ὅτι τοῦ ἰσοσκελοῦς ἴσαι αἱ πρὸς τῇ βάσει. Ἔστωσαν εἰς τὸ κέντρον ἠγμέναι αἱ Α Β. Εἰ οὖν ἴσην λαμβάνοι τὴν Α Γ γωνίαν τῇ Β Δ μὴ ὅλως ἀξιώσας ἴσας τὰς τῶν ἡμικυκλίων, καὶ πάλιν τὴν Γ τῇ Δ μὴ πᾶσαν προσλαβὼν τὴν τοῦ τμήματος, ἔτι δ᾿ ἀπ᾿ ἴσων οὐσῶν τῶν ὅλων γωνιῶν καὶ ἴσων ἀφῃρημένων ἴσας εἶναι τὰς λοιπὰς τὰς Ε Ζ, τὸ ἐξ ἀρχῆς αἰτήσεται, ἐὰν μὴ λάβῃ ἀπὸ τῶν ἴσων ἴσων ἀφαιρουμένων ἴσα λείπεσθαι. Φανερὸν οὖν ὅτι ἐν ἅπαντι δεῖ τὸ καθόλου ὑπάρχειν, καὶ ὅτι τὸ μὲν καθόλου ἐξ ἁπάντων τῶν ὅρων καθόλου δείκνυται, τὸ δ᾿ ἐν μέρει καὶ οὕτως κἀκείνως, ὥστ᾿ ἐὰν μὲν ᾖ τὸ συμπέρασμα καθόλου, καὶ τοὺς ὅρους ἀνάγκη καθόλου εἶναι, ἐὰν δ᾿ οἱ ὅροι καθόλου, ἐνδέχεται τὸ συμπέρασμα μὴ εἶναι καθόλου. Δῆλον δὲ καὶ ὅτι ἐν ἅπαντι συλλογισμῷ ἢ ἀμφοτέρας ἢ τὴν ἑτέραν πρότασιν ὁμοίαν ἀνάγκη γίνεσθαι τῷ συμπεράσματι. Λέγω δ᾿ οὐ μόνον τῷ καταφατικὴν εἶναι ἢ στερητικήν, ἀλλὰ καὶ τῷ ἀναγκαίαν ἢ ὑπάρχουσαν ἢ ἐνδεχομένην. Ἐπισκέψασθαι δὲ δεῖ καὶ τὰς ἄλλας κατηγορίας.

Φανερὸν δὲ καὶ ἁπλῶς πότ᾿ ἔσται καὶ πότ᾿ οὐκ ἔσται συλλογισμός, καὶ πότε δυνατὸς καὶ πότε τέλειος, καὶ ὅτι συλλογισμοῦ ὄντος ἀναγκαῖον ἔχειν τοὺς ὅρους κατά τινα τῶν εἰρημένων τρόπων.

Δῆλον δὲ καὶ ὅτι πᾶσα ἀπόδειξις ἔσται διὰ τριῶν ὅρων καὶ οὐ πλειόνων, ἐὰν μὴ δι᾿ ἄλλων καὶ ἄλλων τὸ αὐτὸ συμπέρασμα γίνηται, οἷον τὸ Ε διά τε τῶν Α Β καὶ διὰ τῶν Γ Δ, ἢ διὰ τῶν Α Β καὶ Β Γ· πλείω γὰρ μέσα τῶν αὐτῶν οὐδὲν εἶναι κωλύει. Τούτων δ᾿ ὄντων οὐχ εἷς ἀλλὰ πλείους εἰσὶν οἱ συλλογισμοί. Ἢ πάλιν ὅταν ἑκάτερον τῶν Α Β διὰ συλλογισμοῦ ληφθῇ, οἷον τὸ Α διὰ τῶν Δ Ε

107
καὶ πάλιν τὸ Β διὰ τῶν Ζ Θ. Ἢ τὸ μὲν ἐπαγωγῇ, τὸ δὲ συλλογισμῷ. Ἀλλὰ καὶ οὕτως πλείους οἱ συλλογισμοί· πλείω γὰρ τὰ συμπεράσματά ἐστιν, οἷον τό τε Α καὶ τὸ Β καὶ τὸ Γ. Εἰ δ᾿ οὖν μὴ πλείους ἀλλ᾿ εἷς, οὕτω μὲν ἐνδέχεται γενέσθαι διὰ πλειόνων τὸ αὐτὸ συμπέρασμα, ὡς δὲ τὸ Γ διὰ τῶν Α Β, ἀδύνατον. Ἔστω γὰρ τὸ Ε συμπεπερασμένον ἐκ τῶν Α Β Γ Δ. Οὐκοῦν ἀνάγκη τι αὐτῶν ἄλλο πρὸς ἄλλο εἰλῆφθαι, τὸ μὲν ὡς ὅλον τὸ δ᾿ ὡς μέρος· τοῦτο γὰρ δέδεικται πρότερον, ὅτι ὄντος συλλογισμοῦ ἀναγκαῖον οὕτως τινὰς ἔχειν τῶν ὅρων. Ἐχέτω οὖν τὸ Α οὕτως πρὸς τὸ Β. Ἔστιν ἄρα τι ἐξ αὐτῶν συμπέρασμα. Οὐκοῦν ἤτοι τὸ Ε ἢ τῶν Γ Δ θάτερον ἢ ἄλλο τι παρὰ ταῦτα. Καὶ εἰ μὲν τὸ Ε, ἐκ τῶν Α Β μόνον ἂν εἴη ὁ συλλογισμός. Τὰ δὲ Γ Δ εἰ μὲν ἔχει οὕτως ὥστ᾿ εἶναι τὸ μὲν ὡς ὅλον τὸ δ᾿ ὡς μέρος, ἔσται τι καὶ ἐξ ἐκείνων, καὶ ἤτοι τὸ Ε ἢ τῶν Α Β θάτερον ἢ ἄλλο τι παρὰ ταῦτα. Καὶ εἰ μὲν τὸ Ε ἢ τῶν Α Β θάτερον, ἢ πλείους ἔσονται οἱ συλλογισμοί, ἢ ὡς ἐνεδέχετο ταὐτὸ διὰ πλειόνων ὅρων περαίνεσθαι συμβαίνει· εἰ δ᾿ ἄλλο τι παρὰ ταῦτα, πλείους ἔσονται καὶ ἀσύναπτοι οἱ συλλογισμοὶ πρὸς ἀλλήλους. Εἰ δὲ μὴ οὕτως ἔχοι τὸ Γ πρὸς τὸ Δ ὥστε ποιεῖν συλλογισμόν, μάτην ἔσται εἰλημμένα, εἰ μὴ ἐπαγωγῆς ἢ κρύψεως ἤ τινος ἄλλου τῶν τοιούτων χάριν. Εἰ δ᾿ ἐκ τῶν Α Β μὴ τὸ Ε ἀλλ᾿ ἄλλο τι γίνεται συμπέρασμα, ἐκ δὲ τῶν Γ Δ ἢ τούτων θάτερον ἢ ἄλλο παρὰ ταῦτα, πλείους τε οἱ συλλογισμοὶ γίνονται καὶ οὐ τοῦ ὑποκειμένου· ὑπέκειτο γὰρ εἶναι τοῦ Ε τὸν συλλογισμόν. Εἰ δὲ μὴ γίνεται ἐκ τῶν Γ Δ μηδὲν συμπέρασμα, μάτην τε εἰλῆφθαι αὐτὰ συμβαίνει καὶ μὴ τοῦ ἐξ ἀρχῆς εἶναι τὸν συλλογισμόν. Ὥστε φανερὸν ὅτι πᾶσα ἀπόδειξις καὶ πᾶς συλλογισμὸς ἔσται διὰ τριῶν ὅρων μόνον.

Τούτου δ᾿ ὄντος φανεροῦ, δῆλον ὡς καὶ ἐκ δύο προτάσεων

108
καὶ οὐ πλειόνων· οἱ γὰρ τρεῖς ὅροι δύο προτάσεις, εἰ μὴ προσλαμβάνοιτο, καθάπερ ἐν τοῖς ἐξ ἀρχῆς ἐλέχθη, πρὸς τὴν τελείωσιν τῶν συλλογισμῶν. Φανερὸν οὖν ὡς ἐν ᾧ λόγῳ συλλογιστικῷ μὴ ἄρτιαί εἰσιν αἱ προτάσεις δι᾿ ὧν γίνεται τὸ συμπέρασμα τὸ κύριον (ἔνια γὰρ τῶν ἄνωθεν συμπερασμάτων ἀναγκαῖον εἶναι προτάσεις), οὗτος ὁ λόγος ἢ οὐ συλλελόγισται ἢ πλείω τῶν ἀναγκαίων ἠρώτηκε πρὸς τὴν θέσιν.

Κατὰ μὲν οὖν τὰς κυρίας προτάσεις λαμβανομένων τῶν συλλογισμῶν, ἅπας ἔσται συλλογισμὸς ἐκ προτάσεων μὲν ἀρτίων ἐξ ὅρων δὲ περιττῶν· ἑνὶ γὰρ πλείους οἱ ὅροι τῶν προτάσεων. Ἔσται δὲ καὶ τὰ συμπεράσματα ἡμίση τῶν προτάσεων. Ὅταν δὲ διὰ προσυλλογισμῶν περαίνηται ἢ διὰ πλείονων μέσων μὴ συνεχῶν, οἷον τὸ Α Β διὰ τῶν Γ Δ, τὸ μὲν πλῆθος τῶν ὅρων ὡσαύτως ἑνὶ ὑπερέξει τὰς προτάσεις (ἢ γὰρ ἔξωθεν ἢ εἰς τὸ μέσον τεθήσεται ὁ παρεμπίπτων ὅρος· ἀμφοτέρως δὲ συμβαίνει ἑνὶ ἐλάττω εἶναι τὰ διαστήματα τῶν ὅρων), αἱ δὲ προτάσεις ἴσαι τοῖς διαστήμασιν· οὐ μέντοι ἀεὶ αἱ μὲν ἄρτιαι ἔσονται οἱ δὲ περιττοί, ἀλλ᾿ ἐναλλάξ, ὅταν μὲν αἱ προτάσεις ἄρτιαι, περιττοὶ οἱ ὅροι, ὅταν δ᾿ οἱ ὅροι ἄρτιοι, περιτταὶ αἱ προτάσεις· ἅμα γὰρ τῷ ὅρῳ μία προστίθεται πρότασις, ἂν ὁποθενοῦν προστεθῇ ὁ ὅρος. Ὥστ᾿ ἐπεὶ αἱ μὲν ἄρτιαι οἱ δὲ περιττοὶ ἦσαν, ἀνάγκη παραλλάττειν τῆς αὐτῆς προσθέσεως γινομένης. Τὰ δὲ συμπεράσματα οὐκέτι τὴν αὐτὴν ἕξει τάξιν οὔτε πρὸς τοὺς ὅρους οὔτε πρὸς τὰς προτάσεις· ἑνὸς γὰρ ὅρου προστιθεμένου συμπεράσματα προστεθήσεται ἑνὶ ἐλάττω τῶν προϋπαρχόντων ὅρων· πρὸς μόνον γὰρ τὸν ἔσχατον οὐ ποιεῖ συμπέρασμα, πρὸς δὲ τοὺς ἄλλους πάντας, οἷον εἰ τῷ Α Β Γ πρόσκειται τὸ Δ, εὐθὺς καὶ συμπεράσματα δύο πρόσκειται, τό τε πρὸς τὸ Α καὶ τὸ πρὸς τὸ Β. Ὁμοίως δὲ κἀπὶ τῶν ἄλλων. Κἂν εἰς τὸ μέσον δὲ παρεμπίπτῃ, τὸν αὐτὸν τρόπον· πρὸς ἕνα

109
γὰρ μόνον οὐ ποιήσει συλλογισμόν. Ὥστε πολὺ πλείω τὰ συμπεράσματα καὶ τῶν ὅρων ἔσται καὶ τῶν προτάσεων.

Ἐπεὶ δ᾿ ἔχομεν περὶ ὧν οἱ συλλογισμοί, καὶ ποῖον ἐν ἑκάστῳ σχήματι καὶ ποσαχῶς δείκνυται, φανερὸν ἡμῖν ἐστὶ καὶ ποῖον πρόβλημα χαλεπὸν καὶ ποῖον εὐεπιχείρητον· τὸ μὲν γὰρ ἐν πλείοσι σχήμασι καὶ διὰ πλειόνων πτώσεων περαινόμενον ῥᾷον, τὸ δ᾿ ἐν ἐλάττοσι καὶ δι᾿ ἐλαττόνων δυσεπιχειρητότερον. Τὸ μὲν οὖν καταφατικὸν τὸ καθόλου διὰ τοῦ πρώτου σχήματος δείκνυται μόνου, καὶ διὰ τούτου μοναχῶς· τὸ δὲ στερητικὸν διά τε τοῦ πρώτου καὶ διὰ τοῦ μέσου, καὶ διὰ μὲν τοῦ πρώτου μοναχῶς, διὰ δὲ τοῦ μέσου διχῶς· τὸ δ᾿ ἐν μέρει καταφατικὸν διὰ τοῦ πρώτου καὶ διὰ τοῦ ἐσχάτου, μοναχῶς μὲν διὰ τοῦ πρώτου, τριχῶς δὲ διὰ τοῦ ἐσχάτου. Τὸ δὲ στερητικὸν τὸ κατὰ μέρος ἐν ἅπασι τοῖς σχήμασι δείκνυται, πλὴν ἐν μὲν τῷ πρώτῳ ἅπαξ, ἐν δὲ τῷ μέσῳ καὶ τῷ ἐσχάτῳ ἐν τῷ μὲν διχῶς ἐν τῷ δὲ τριχῶς. Φανερὸν οὖν ὅτι τὸ καθόλου κατηγορικὸν κατασκευάσαι μὲν χαλεπώτατον, ἀνασκευάσαι δὲ ῥᾷστον. Ὅλως δ᾿ ἐστὶν ἀναιροῦντι μὲν τὰ καθόλου τῶν ἐν μέρει ῥᾴω· καὶ γὰρ ἢν μηδενὶ καὶ ἢν τινὶ μὴ ὑπάρχῃ, ἀνῄρηται· τούτων δὲ τὸ μὲν τινὶ μὴ ἐν ἅπασι τοῖς σχήμασι δείκνυται, τὸ δὲ μηδενὶ ἐν τοῖς δυσίν. Τὸν αὐτὸν δὲ τρόπον κἀπὶ τῶν στερητικῶν· καὶ γὰρ εἰ παντὶ καὶ εἰ τινί, ἀνῄρηται τὸ ἐξ ἀρχῆς· τοῦτο δ᾿ ἦν ἐν δύο σχήμασιν. Ἐπὶ δὲ τῶν ἐν μέρει μοναχῶς, ἢ παντὶ ἢ μηδενὶ δείξαντα ὑπάρχειν. Κατασκευάζοντι δὲ ῥᾴω τὰ ἐν μέρει· καὶ γὰρ ἐν πλείοσι σχήμασι καὶ διὰ πλειόνων τρόπων. Ὅλως τε οὐ δεῖ λανθάνειν ὅτι ἀνασκευάσαι μὲν δι᾿ ἀλλήλων ἔστι καὶ τὰ καθόλου διὰ τῶν ἐν μέρει καὶ ταῦτα διὰ τῶν καθόλου, κατασκευάσαι δ᾿ οὐκ ἔστι διὰ τῶν κατὰ μέρος τὰ καθόλου, δι᾿ ἐκείνων δὲ ταῦτ᾿ ἔστιν. Ἅμα δὲ δῆλον ὅτι καὶ τὸ ἀνασκευάζειν ἐστὶ τοῦ κατασκευάζειν ῥᾷον.

Πῶς μὲν οὖν γίνεται πᾶς συλλογισμὸς καὶ διὰ πόσων

110
ὅρων καὶ προτάσεων, καὶ πῶς ἐχουσῶν πρὸς ἀλλήλας, ἔτι δὲ ποῖον πρόβλημα ἐν ἑκάστῳ σχήματι καὶ ποῖον ἐν πλείοσι καὶ ποῖον ἐν ἐλάττοσι δείκνυται, δῆλον ἐκ τῶν εἰρημένων.

Πῶς δ᾿ εὐπορήσομεν αὐτοὶ πρὸς τὸ τιθέμενον ἀεὶ συλλογισμῶν, καὶ διὰ ποίας ὁδοῦ ληψόμεθα τὰς περὶ ἕκαστον ἀρχάς, νῦν ἤδη λεκτέον· οὐ γὰρ μόνον ἴσως δεῖ τὴν γένεσιν θεωρεῖν τῶν συλλογισμῶν, ἀλλὰ καὶ τὴν δύναμιν ἔχειν τοῦ ποιεῖν.

Ἁπάντων δὴ τῶν ὄντων τὰ μέν ἐστι τοιαῦτα ὥστε κατὰ μηδενὸς ἄλλου κατηγορεῖσθαι ἀληθῶς καθόλου, οἷον Κλέων καὶ Καλλίας καὶ τὸ καθ᾿ ἕκαστον καὶ αἰσθητόν, κατὰ δὲ τούτων ἄλλα (καὶ γὰρ ἄνθρωπος καὶ ζῷον ἑκάτερος τούτων ἐστί)· τὰ δ᾿ αὐτὰ μὲν κατ᾿ ἄλλων κατηγορεῖται, κατὰ δὲ τούτων ἄλλα πρότερον οὐ κατηγορεῖται· τὰ δὲ καὶ αὐτὰ ἄλλων καὶ αὐτῶν ἕτερα, οἷον ἄνθρωπος Καλλίου καὶ ἀνθρώπου ζῷον. Ὅτι μὲν οὖν ἔνια τῶν ὄντων κατ᾿ οὐδενὸς πέφυκε λέγεσθαι, δῆλον· τῶν γὰρ αἰσθητῶν σχεδὸν ἕκαστόν ἐστι τοιοῦτον ὥστε μὴ κατηγορεῖσθαι κατὰ μηδενός, πλὴν ὡς κατὰ συμβεβηκός· φαμὲν γάρ ποτε τὸ λευκὸν ἐκεῖνο Σωκράτην εἶναι καὶ τὸ προσιὸν Καλλίαν. Ὅτι δὲ καὶ ἐπὶ τὸ ἄνω πορευομένοις ἵσταταί ποτε, πάλιν ἐροῦμεν· νῦν δ᾿ ἔστω τοῦτο κείμενον. Κατὰ μὲν οὖν τούτων οὐκ ἔστιν ἀποδεῖξαι κατηγορούμενον ἕτερον, πλὴν εἰ μὴ κατὰ δόξαν, ἀλλὰ ταῦτα κατ᾿ ἄλλων· οὐδὲ τὰ καθ᾿ ἕκαστα κατ᾿ ἄλλων, ἀλλ᾿ ἕτερα κατ᾿ ἐκείνων. Τὰ δὲ μεταξὺ δῆλον ὡς ἀμφοτέρως ἐνδέχεται· καὶ γὰρ αὐτὰ κατ᾿ ἄλλων καὶ ἄλλα κατὰ τούτων λεχθήσεται, καὶ σχεδὸν οἱ λόγοι καὶ αἱ σκέψεις εἰσὶ μάλιστα περὶ τούτων.

Δεῖ δὴ τὰς προτάσεις περὶ ἕκαστον οὕτως ἐκλαμβάνειν, ὑποθέμενον αὐτὸ πρῶτον καὶ τοὺς ὁρισμούς τε καὶ ὅσα ἴδια τοῦ πράγματός ἐστιν, εἶτα μετὰ τοῦτο ὅσα ἕπεται τῷ πράγματι, καὶ πάλιν οἷς τὸ πρᾶγμα ἀκολουθεῖ, καὶ ὅσα μὴ ἐν-

111
δέχεται αὐτῷ ὑπάρχειν. Οἷς δ᾿ αὐτὸ μὴ ἐνδέχεται, οὐκ ἐκληπτέον διὰ τὸ ἀντιστρέφειν τὸ στερητικόν. Διαιρετέον δὲ καὶ τῶν ἑπομένων ὅσα τε ἐν τῷ τί ἐστι καὶ ὅσα ὡς ἴδια καὶ ὅσα ὡς συμβεβηκότα κατηγορεῖται, καὶ τούτων ποῖα δοξαστικῶς καὶ ποῖα κατ᾿ ἀλήθειαν· ὅσῳ μὲν γὰρ ἂν πλειόνων τοιούτων εὐπορῇ τις, θᾶττον ἐντεύξεται συμπεράσματι, ὅσῳ δ᾿ ἂν ἀληθεστέρων, μᾶλλον ἀποδείξει. δεῖ δ᾿ ἐκλέγειν μὴ τὰ ἑπόμενα τινί, ἀλλ᾿ ὅσα ὅλῳ τῷ πράγματι ἕπεται, οἷον μὴ τί τινὶ ἀνθρώπῳ ἀλλὰ τί παντὶ ἀνθρώπῳ ἕπεται· διὰ γὰρ τῶν καθόλου προτάσεων ὁ συλλογισμός. Ἀδιορίστου μὲν οὖν ὄντος ἄδηλον εἰ καθόλου ἡ πρότασις, διωρισμένου δὲ φανερόν. Ὁμοίως δ᾿ ἐκλεκτέον καὶ οἷς αὐτὸ ἕπεται ὅλοις, διὰ τὴν εἰρημένην αἰτίαν. Αὐτὸ δὲ τὸ ἑπόμενον οὐ ληπτέον ὅλον ἕπεσθαι, λέγω δ᾿ οἷον ἀνθρώπῳ πᾶν ζῷον ἢ μουσικῇ πᾶσαν ἐπιστήμην, ἀλλὰ μόνον ἁπλῶς ἀκολουθεῖν, καθάπερ καὶ προτεινόμεθα· καὶ γὰρ ἄχρηστον θάτερον καὶ ἀδύνατον, οἷον πάντα ἄνθρωπον εἶναι πᾶν ζῷον ἢ δικαιοσύνην ἅπαν ἀγαθόν. Ἀλλ᾿ ᾧ ἕπεται, ἐπ᾿ ἐκείνου τὸ παντὶ λέγεται. Ὅταν δ᾿ ὑπό τινος περιέχηται τὸ ὑποκείμενον ᾧ τὰ ἑπόμενα δεῖ λαβεῖν, τὰ μὲν τῷ καθόλου ἑπόμενα ἢ μὴ ἑπόμενα οὐκ ἐκλεκτέον ἐν τούτοις (εἴληπται γὰρ ἐν ἐκείνοις· ὅσα γὰρ ζῴῳ, καὶ ἀνθρώπῳ ἕπεται, καὶ ὅσα μὴ ὑπάρχει, ὡσαύτως), τὰ δὲ περὶ ἕκαστον ἴδια ληπτέον· ἔστι γὰρ ἄττα τῷ εἴδει ἴδια παρὰ τὸ γένος· ἀνάγκη γὰρ τοῖς ἑτέροις εἴδεσιν ἴδια ἄττα ὑπάρχειν. Οὐδὲ δὴ τῷ καθόλου ἐκλεκτέον οἷς ἕπεται τὸ περιεχόμενον, οἷον ζῴῳ οἷς ἕπεται ἄνθρωπος· ἀνάγκη γάρ, εἰ ἀνθρώπῳ ἀκολουθεῖ τὸ ζῷον, καὶ τούτοις ἅπασιν ἀκολουθεῖν. Οἰκειότερα δὲ ταῦτα τῆς τοῦ ἀνθρώπου ἐκλογῆς. Ληπτέον δὲ καὶ τὰ ὡς ἐπὶ τὸ πολὺ ἑπόμενα καὶ οἷς ἕπεται· τῶν γὰρ ὡς ἐπὶ τὸ πολὺ προβλημάτων καὶ ὁ συλλογισμὸς ἐκ τῶν ὡς ἐπὶ τὸ πολὺ προτάσεων, ἢ πασῶν ἢ τινῶν· ὅμοιον γὰρ ἑκάστου τὸ συμπέρασμα ταῖς ἀρχαῖς. Ἔτι τὰ
112
πᾶσιν ἑπόμενα οὐκ ἐκλεκτέον· οὐ γὰρ ἔσται συλλογισμὸς ἐξ αὐτῶν. Δι᾿ ἣν δ᾿ αἰτίαν, ἐν τοῖς ἑπομένοις ἔσται δῆλον.

Κατασκευάζειν μὲν οὖν βουλομένοις κατά τινος ὅλου τοῦ μὲν κατασκευαζομένου βλεπτέον εἰς τὰ ὑποκείμενα, καθ᾿ ὧν αὐτὸ τυγχάνει λεγόμενον, οὗ δὲ δεῖ κατηγορεῖσθαι, ὅσα τούτῳ ἕπεται· ἂν γάρ τι τούτων ᾖ ταὐτόν, ἀνάγκη θάτερον θατέρῳ ὑπάρχειν. Ἢν δὲ μὴ ὅτι παντὶ ἀλλ᾿ ὅτι τινί, οἷς ἕπεται ἑκάτερον· εἰ γάρ τι τούτων ταὐτόν, ἀνάγκη τινὶ ὑπάρχειν. Ὅταν δὲ μηδενὶ δέῃ ὑπάρχειν, ᾧ μὲν οὐ δεῖ ὑπάρχειν, εἰς τὰ ἑπόμενα, ὃ δὲ δεῖ μὴ ὑπάρχειν, εἰς ἃ μὴ ἐνδέχεται αὐτῷ παρεῖναι· ἢ ἀνάπαλιν, ᾧ μὲν δεῖ μὴ ὑπάρχειν, ἃ μὴ ἐνδέχεται αὐτῷ παρεῖναι, ὃ δὲ μὴ ὑπάρχειν, εἰς τὰ ἑπόμενα. Τούτων γὰρ ὄντων τῶν αὐτῶν ὁποτερωνοῦν, οὐδενὶ ἐνδέχεται θατέρῳ θάτερον ὑπάρχειν· γίνεται γὰρ ὁτὲ μὲν ὁ ἐν τῷ πρώτῳ σχήματι συλλογισμός, ὁτὲ δ᾿ ὁ ἐν τῷ μέσῳ. Ἐὰν δὲ τινὶ μὴ ὑπάρχειν, ᾧ μὲν μὴ ὑπάρχειν, οἷς ἕπεται, ὃ δὲ μὴ ὑπάρχειν, ἃ μὴ δυνατὸν αὐτῷ ὑπάρχειν· εἰ γάρ τι τούτων εἴη ταὐτόν, ἀνάγκη τινὶ μὴ ὑπάρχειν. Μᾶλλον δ᾿ ἴσως ὧδ᾿ ἔσται τῶν λεγομένων ἕκαστον φανερόν. Ἔστω γὰρ τὰ μὲν ἑπόμενα τῷ Α ἐφ᾿ ὧν Β, οἷς δ᾿ αὐτὸ ἕπεται, ἐφ᾿ ὧν Γ, ἃ δὲ μὴ ἐνδέχεται αὐτῷ ὑπάρχειν, ἐφ᾿ ὧν Δ· πάλιν δὲ τῷ Ε τὰ μὲν ὑπάρχοντα, ἐφ᾿ οἷς Ζ, οἷς δ᾿ αὐτὸ ἕπεται, ἐφ᾿ οἷς Η, ἃ δὲ μὴ ἐνδέχεται αὐτῷ ὑπάρχειν, ἐφ᾿ οἷς Θ. Εἰ μὲν οὖν ταὐτό τι ἔσται τῶν Γ τινὶ τῶν Ζ, ἀνάγκη τὸ Α παντὶ τῷ Ε ὑπάρχειν· τὸ μὲν γὰρ Ζ παντὶ τῷ Ε, τῷ δὲ Γ παντὶ τῷ Α, ὥστε παντὶ τῷ Ε τὸ Α. Εἰ δὲ τὸ Γ καὶ τὸ Η ταὐτόν, ἀνάγκη τινὶ τῶν Ε τὸ Α ὑπάρχειν· τῷ μὲν γὰρ Γ τὸ Α, τῷ δὲ Η τὸ Ε παντὶ ἀκολουθεῖ. Εἰ δὲ τὸ Ζ καὶ τὸ Δ ταὐτόν, οὐδενὶ τῶν Ε τὸ Α ὑπάρξει ἐκ προσυλλογισμοῦ· ἐπεὶ γὰρ ἀντιστρέφει τὸ στερητικὸν καὶ τὸ Ζ τῷ Δ ταὐτόν, οὐδενὶ τῶν Ζ ὑπάρξει τὸ Α,

113
τὸ δὲ Ζ παντὶ τῷ Ε. Πάλιν εἰ τὸ Β καὶ τὸ Θ ταὐτόν, οὐδενὶ τῶν Ε τὸ Α ὑπάρξει· τὸ γὰρ Β τῷ μὲν Α παντί, τὸ δ᾿ ἐφ᾿ ᾧ τὸ Ε οὐδενὶ ὑπάρξει· ταὐτὸ γὰρ ἦν τῷ Θ, τὸ δὲ Θ οὐδενὶ τῶν Ε ὑπῆρχεν. Εἰ δὲ τὸ Δ καὶ τὸ Η ταὐτόν, τὸ Α τινὶ τῶν Ε οὐχ ὑπάρξει· τῷ γὰρ Η οὐχ ὑπάρξει, ὅτι οὐδὲ τῷ Δ· τὸ δὲ Η ἐστὶν ὑπὸ τὸ Ε, ὥστε τινὶ τῶν Ε οὐχ ὑπάρξει. Εἰ δὲ τῷ Η τὸ Β ταὐτόν, ἀντεστραμμένος ἔσται συλλογισμός· τὸ μὲν γὰρ Η τῷ Α ὑπάρξει παντί (τὸ γὰρ Β τῷ Α), τὸ δὲ Ε τῷ Β (ταὐτὸ γὰρ ἦν τῷ Η)· τὸ δὲ Α τῷ Ε παντὶ μὲν οὐκ ἀνάγκη ὑπάρχειν, τινὶ δ᾿ ἀνάγκη διὰ τὸ ἀντιστρέφειν τῇ καθόλου κατηγορίᾳ τὴν κατὰ μέρος.

Φανερὸν οὖν ὅτι εἰς τὰ προειρημένα βλεπτέον ἑκατέρου καθ᾿ ἕκαστον πρόβλημα· διὰ τούτων γὰρ ἅπαντες οἱ συλλογισμοί. Δεῖ δὲ καὶ τῶν ἑπομένων, καὶ οἷς ἕπεται ἕκαστον, εἰς τὰ πρῶτα καὶ τὰ καθόλου μάλιστα βλέπειν, οἷον τοῦ μὲν Ε μᾶλλον εἰς τὸ Κ Ζ ἢ εἰς τὸ Ζ μόνον, τοῦ δὲ Α εἰς τὸ Κ Γ ἢ εἰς τὸ Γ μόνον. Εἰ μὲν γὰρ τῷ Κ Ζ ὑπάρχει τὸ Α, καὶ τῷ Ζ καὶ τῷ Ε ὑπάρχει· εἰ δὲ τούτῳ μὴ ἕπεται, ἐγχωρεῖ τῷ Ζ ἕπεσθαι. Ὁμοίως δὲ καὶ ἐφ᾿ ὧν αὐτὸ ἀκολουθεῖ σκεπτέον· εἰ μὲν γὰρ τοῖς πρώτοις, καὶ τοῖς ὑπ᾿ ἐκεῖνα ἕπεται εἰ δὲ μὴ τούτοις, ἀλλὰ τοῖς ὑπὸ ταῦτα ἐγχωρεῖ.

Δῆλον δὲ καὶ ὅτι διὰ τῶν τριῶν ὅρων καὶ τῶν δύο προτάσεων ἡ σκέψις, καὶ διὰ τῶν προειρημένων σχημάτων οἱ συλλογισμοὶ πάντες. Δείκνυται γὰρ ὑπάρχειν μὲν παντὶ τῷ Ε τὸ Α, ὅταν τῶν Γ καὶ Ζ ταὐτόν τι ληφθῇ. Τοῦτο δ᾿ ἔσται μέσον, ἄκρα δὲ τὸ Α καὶ Ε· γίνεται οὖν τὸ πρῶτον σχῆμα. Τινὶ δέ, ὅταν τὸ Γ καὶ τὸ Η ληφθῇ ταὐτόν. Τοῦτο δὲ τὸ ἔσχατον σχῆμα· μέσον γὰρ τὸ Η γίνεται. Μηδενὶ δέ, ὅταν τὸ Δ καὶ Ζ ταὐτόν. Οὕτω δὲ καὶ τὸ πρῶτον σχῆμα καὶ τὸ μέσον, τὸ μὲν πρῶτον ὅτι οὐδενὶ τῷ Ζ ὑπάρχει τὸ Α, εἴπερ

114
ἀντιστρέφει τὸ στερητικόν, τὸ δὲ Ζ παντὶ τῷ Ε, τὸ δὲ μέσον ὅτι τὸ Δ τῷ μὲν Α οὐδενὶ τῷ δὲ Ε παντὶ ὑπάρχει. Τινὶ δὲ μὴ ὑπάρχειν, ὅταν τὸ Δ καὶ Η ταὐτὸν ᾖ. Τοῦτο δὲ τὸ ἔσχατον σχῆμα· τὸ μὲν γὰρ Α οὐδενὶ τῷ Η ὑπάρξει, τὸ δὲ Ε παντὶ τῷ Η. Φανερὸν οὖν ὅτι διὰ τῶν προειρημένων σχημάτων οἱ συλλογισμοὶ πάντες, καὶ ὅτι οὐκ ἐκλεκτέον ὅσα πᾶσιν ἕπεται, διὰ τὸ μηδένα γίνεσθαι συλλογισμὸν ἐξ αὐτῶν. Κατασκευάζειν μὲν γὰρ ὅλως οὐκ ἦν ἐκ τῶν ἑπομένων, ἀποστερεῖν δ᾿ οὐκ ἐνδέχεται διὰ τοῦ πᾶσιν ἑπομένου· δεῖ γὰρ τῷ μὲν ὑπάρχειν τῷ δὲ μὴ ὑπάρχειν.

Φανερὸν δὲ καὶ ὅτι αἱ ἄλλαι σκέψεις τῶν κατὰ τὰς ἐκλογὰς ἄχρειοι πρὸς τὸ ποιεῖν συλλογισμόν, οἷον εἰ τὰ ἑπόμενα ἑκατέρῳ ταὐτά ἐστιν, ἢ εἰ οἷς ἕπεται τὸ Α, καὶ ἃ μὴ ἐνδέχεται τῷ Ε, ἢ ὅσα πάλιν μὴ ἐγχωρεῖ ἑκατέρῳ ὑπάρχειν· οὐ γὰρ γίνεται συλλογισμὸς διὰ τούτων. Εἰ μὲν γὰρ τὰ ἑπόμενα ταὐτά, οἷον τὸ Β καὶ τὸ Ζ, τὸ μέσον γίνεται σχῆμα κατηγορικὰς ἔχον τὰς προτάσεις· εἰ δ᾿ οἷς ἕπεται τὸ Α, καὶ ἃ μὴ ἐνδέχεται τῷ Ε, οἷον τὸ Γ καὶ τὸ Θ, τὸ πρῶτον σχῆμα στερητικὴν ἔχον τὴν πρὸς τὸ ἔλαττον ἄκρον πρότασιν. Εἰ δ᾿ ὅσα μὴ ἐνδέχεται ἑκατέρῳ, οἷον τὸ Δ καὶ τὸ Θ, στερητικαὶ ἀμφότεραι αἱ προτάσεις, ἢ ἐν τῷ πρώτῳ ἢ ἐν τῷ μέσῳ σχήματι. Οὕτως δ᾿ οὐδαμῶς συλλογισμός.

Δῆλον δὲ καὶ ὅτι ὁποῖα ταὐτὰ ληπτέον τὰ κατὰ τὴν ἐπίσκεψιν, καὶ οὐχ ὁποῖα ἕτερα ἢ ἐναντία, πρῶτον μὲν ὅτι τοῦ μέσου χάριν ἡ ἐπίβλεψις, τὸ δὲ μέσον οὐχ ἕτερον ἀλλὰ ταὐτὸν δεῖ λαβεῖν. Εἶτα ἐν ὅσοις καὶ συμβαίνει γίνεσθαι συλλογισμὸν τῷ ληφθῆναι ἐναντία ἢ μὴ ἐνδεχόμενα τῷ αὐτῷ ὑπάρχειν, εἰς τοὺς προειρημένους ἅπαντα ἀναχθήσεται τρόπους, οἷον εἰ τὸ Β καὶ τὸ Ζ ἐναντία ἢ μὴ ἐνδέχεται τῷ αὐτῷ ὑπάρχειν· ἔσται μὲν γὰρ τούτων ληφθέντων συλλογισμὸς ὅτι οὐδενὶ τῶν Ε τὸ Α ὑπάρχει, ἀλλ᾿ οὐκ ἐξ αὐτῶν ἀλλ᾿ ἐκ

115
τοῦ προειρημένου τρόπου· τὸ γὰρ Β τῷ μὲν Α παντὶ τῷ δὲ Ε οὐδενὶ ὑπάρξει, ὥστ᾿ ἀνάγκη ταὐτὸ εἶναι τὸ Β τινὶ τῶν Θ. Πάλιν εἰ τὸ Β καὶ Η μὴ ἐγχωρεῖ τῷ αὐτῷ παρεῖναι, ὅτι τινὶ τῶν Ε οὐχ ὑπάρξει τὸ Α· καὶ γὰρ οὕτως τὸ μέσον ἔσται σχῆμα· τὸ γὰρ Β τῷ μὲν Α παντὶ τῷ δὲ Η οὐδενὶ ὑπάρξει, ὥστ᾿ ἀνάγκη τὸ Β ταὐτόν τινι εἶναι τῶν Θ. Τὸ γὰρ μὴ ἐνδέχεσθαι τὸ Β καὶ τὸ Η τῷ αὐτῷ ὑπάρχειν οὐδὲν διαφέρει ἢ τὸ Β τῶν Θ τινὶ ταὐτὸν εἶναι· πάντα γὰρ εἴληπται τὰ μὴ ἐνδεχόμενα τῷ Ε ὑπάρχειν.

Φανερὸν μὲν οὖν ὅτι ἐξ αὐτῶν μὲν τούτων τῶν ἐπιβλέψεων οὐδεὶς γίνεται συλλογισμός, ἐὰν δὲ τὸ Β καὶ τὸ Ζ ἐναντία, ταὐτόν τινι εἶναι τὸ Β τῶν Θ καὶ τὸν συλλογισμὸν γίνεσθαι διὰ τούτων. Συμβαίνει δὴ τοῖς οὕτως ἐπισκοποῦσι προσεπιβλέπειν ἄλλην ὁδὸν τῆς ἀναγκαίας διὰ τὸ λανθάνειν τὴν ταὐτότητα τῶν Β καὶ τῶν Θ.

Τὸν αὐτὸν δὲ τρόπον ἔχουσι καὶ οἱ εἰς τὸ ἀδύνατον ἄγοντες συλλογισμοὶ τοῖς δεικτικοῖς· καὶ γὰρ οὗτοι γίνονται διὰ τῶν ἑπομένων καὶ οἷς ἕπεται ἑκάτερον. Καὶ ἡ αὐτὴ ἐπίβλεψις ἐν ἀμφοῖν· ὃ γὰρ δείκνυται δεικτικῶς, καὶ διὰ τοῦ ἀδυνάτου ἔστι συλλογίσασθαι διὰ τῶν αὐτῶν ὅρων, καὶ ὃ διὰ τοῦ ἀδυνάτου, καὶ δεικτικῶς, οἷον ὅτι τὸ Α οὐδενὶ τῶν Ε ὑπάρχει. Κείσθω γὰρ τινὶ ὑπάρχειν· οὐκοῦν ἐπεὶ τὸ Β παντὶ τῷ Α, τὸ δὲ Α τινὶ τῶν Ε, τὸ Β τινὶ τῶν Ε ὑπάρξει· ἀλλ᾿ οὐδενὶ ὑπῆρχεν. Πάλιν ὅτι τινὶ ὑπάρχει· εἰ γὰρ μηδενὶ τῶν Ε τὸ Α, τὸ δὲ Ε παντὶ τῷ Η, οὐδενὶ τῶν Η ὑπάρξει τὸ Α· ἀλλὰ παντὶ ὑπῆρχεν. Ὁμοίως δὲ καὶ ἐπὶ τῶν ἄλλων προβλημάτων· ἀεὶ γὰρ ἔσται καὶ ἐν ἅπασιν ἡ διὰ τοῦ ἀδυνάτου δεῖξις ἐκ τῶν ἑπομένων καὶ οἷς ἕπεται ἑκάτερον. Καὶ καθ᾿ ἕκαστον πρόβλημα ἡ αὐτὴ σκέψις δεικτικῶς τε βουλομένῳ συλλογίσασθαι καὶ εἰς ἀδύνατον ἀγαγεῖν· ἐκ γὰρ τῶν αὐτῶν ὅρων ἀμφότεραι αἱ ἀποδείξεις, οἷον εἰ δέδεικται μηδενὶ

116
ὑπάρχειν τῷ Ε τὸ Α, ὅτι συμβαίνει καὶ τὸ Β τινὶ τῶν Ε ὑπάρχειν, ὅπερ ἀδύνατον· ἐὰν ληφθῇ τῷ μὲν Ε μηδενὶ τῷ δὲ Α παντὶ ὑπάρχειν τὸ Β, φανερὸν ὅτι οὐδενὶ τῷ Ε τὸ Α ὑπάρξει. Πάλιν εἰ δεικτικῶς συλλελόγισται τὸ Α τῷ Ε μηδενὶ ὑπάρχειν, ὑποθεμένοις ὑπάρχειν τινὶ διὰ τοῦ ἀδυνάτου δειχθήσεται οὐδενὶ ὑπάρχον. Ὁμοίως δὲ κἀπὶ τῶν ἄλλων· ἐν ἅπασι γὰρ ἀνάγκη κοινόν τινα λαβεῖν ὅρον ἄλλον τῶν ὑποκειμένων, πρὸς ὃν ἔσται τοῦ ψεύδους ὁ συλλογισμός, ὥστ᾿ ἀντιστραφείσης ταύτης τῆς προτάσεως, τῆς δ᾿ ἑτέρας ὁμοίως ἐχούσης, δεικτικὸς ἔσται ὁ συλλογισμὸς διὰ τῶν αὐτῶν ὅρων. Διαφέρει γὰρ ὁ δεικτικὸς τοῦ εἰς τὸ ἀδύνατον, ὅτι ἐν μὲν τῷ δεικτικῷ κατ᾿ ἀλήθειαν ἀμφότεραι τίθενται αἱ προτάσεις, ἐν δὲ τῷ εἰς τὸ ἀδύνατον ψευδῶς ἡ μία.

Ταῦτα μὲν οὖν ἔσται μᾶλλον φανερὰ διὰ τῶν ἑπομένων, ὅταν περὶ τοῦ ἀδυνάτου λέγωμεν· νῦν δὲ τοσοῦτον ἡμῖν ἔστω δῆλον, ὅτι εἰς ταῦτα βλεπτέον δεικτικῶς τε βουλομένῳ συλλογίζεσθαι καὶ εἰς τὸ ἀδύνατον ἀγαγεῖν. Ἐν δὲ τοῖς ἄλλοις συλλογισμοῖς τοῖς ἐξ ὑποθέσεως, οἷον ὅσοι κατὰ μετάληψιν ἢ κατὰ ποιότητα, ἐν τοῖς ὑποκειμένοις, οὐκ ἐν τοῖς ἐξ ἀρχῆς ἀλλ᾿ ἐν τοῖς μεταλαμβανομένοις ἔσται ἡ σκέψις, ὁ δὲ τρόπος ὁ αὐτὸς τῆς ἐπιβλέψεως. Ἐπισκέψασθαι δὲ δεῖ καὶ διελεῖν ποσαχῶς οἱ ἐξ ὑποθέσεως.

Δείκνυται μὲν οὖν ἕκαστον τῶν προβλημάτων οὕτως, ἔστι δὲ καὶ ἄλλον τρόπον ἔνια συλλογίσασθαι τούτων, οἷον τὰ καθόλου διὰ τῆς κατὰ μέρος ἐπιβλέψεως ἐξ ὑποθέσεως. Εἰ γὰρ τὰ Γ καὶ τὰ Η ταὐτὰ εἴη, μόνοις δὲ ληφθείη τοῖς Η τὸ Ε ὑπάρχειν, παντὶ ἂν τῷ Ε τὸ Α ὑπάρχοι· καὶ πάλιν εἰ τὰ Δ καὶ Η ταὐτά, μόνων δὲ τῶν Η τὸ Ε κατηγοροῖτο, ὅτι οὐδενὶ τῶν Ε τὸ Α ὑπάρξει. Φανερὸν οὖν ὅτι καὶ οὕτως ἐπιβλεπτέον. Τὸν αὐτὸν δὲ τρόπον καὶ ἐπὶ τῶν ἀναγκαίων καὶ τῶν ἐνδεχομένων· ἡ γὰρ αὐτὴ σκέψις, καὶ διὰ τῶν αὐτῶν ὅρων ἔσται τῇ τάξει τοῦ τ᾿ ἐνδέχεσθαι καὶ τοῦ ὑπάρχειν

117
ὁ συλλογισμός. Ληπτέον δ᾿ ἐπὶ τῶν ἐνδεχομένων καὶ τὰ μὴ ὑπάρχοντα δυνατὰ δ᾿ ὑπάρχειν· δέδεικται γὰρ ὅτι καὶ διὰ τούτων γίνεται ὁ τοῦ ἐνδέχεσθαι συλλογισμός. Ὁμοίως δ᾿ ἕξει καὶ ἐπὶ τῶν ἄλλων κατηγοριῶν.

Φανερὸν οὖν ἐκ τῶν εἰρημένων οὐ μόνον ὅτι ἐγχωρεῖ διὰ ταύτης τῆς ὁδοῦ γίνεσθαι πάντας τοὺς συλλογισμούς, ἀλλὰ καὶ ὅτι δι᾿ ἄλλης ἀδύνατον. Ἅπας μὲν γὰρ συλλογισμὸς δέδεικται διά τινος τῶν προειρημένων σχημάτων γινόμενος, ταῦτα δ᾿ οὐκ ἐγχωρεῖ δι᾿ ἄλλων συσταθῆναι πλὴν διὰ τῶν ἑπομένων καὶ οἷς ἕπεται ἕκαστον· ἐκ τούτων γὰρ αἱ προτάσεις καὶ ἡ τοῦ μέσου λῆψις, ὥστ᾿ οὐδὲ συλλογισμὸν ἐγχωρεῖ γίνεσθαι δι᾿ ἄλλων.

Ἡ μὲν οὖν ὁδὸς κατὰ πάντων ἡ αὐτὴ καὶ περὶ φιλοσοφίαν καὶ περὶ τέχνην ὁποιανοῦν καὶ μάθημα· δεῖ γὰρ τὰ ὑπάρχοντα καὶ οἷς ὑπάρχει περὶ ἕκαστον ἀθρεῖν, καὶ τούτων ὡς πλείστων εὐπορεῖν, καὶ ταῦτα διὰ τῶν τριῶν ὅρων σκοπεῖν, ἀνασκευάζοντα μὲν ὡδί, κατασκευάζοντα δὲ ὡδί, κατὰ μὲν ἀλήθειαν ἐκ τῶν κατ᾿ ἀλήθειαν διαγεγραμμένων ὑπάρχειν, εἰς δὲ τοὺς διαλεκτικοὺς συλλογισμοὺς ἐκ τῶν κατὰ δόξαν προτάσεων. Αἱ δ᾿ ἀρχαὶ τῶν συλλογισμῶν καθόλου μὲν εἴρηνται, ὃν τρόπον τ᾿ ἔχουσι καὶ ὃν τρόπον δεῖ θηρεύειν αὐτάς, ὅπως μὴ βλέπωμεν εἰς ἅπαντα τὰ λεγόμενα, μηδ᾿ εἰς ταὐτὰ κατασκευάζοντες καὶ ἀνασκευάζοντες, μηδὲ κατασκευάζοντές τε κατὰ παντὸς ἢ τινὸς καὶ ἀνασκευάζοντες ἀπὸ πάντων ἢ τινῶν, ἀλλ᾿ εἰς ἐλάττω καὶ ὡρισμένα, καθ᾿ ἕκαστον δὲ ἐκλέγειν τῶν ὄντων, οἷον περὶ ἀγαθοῦ ἢ ἐπιστήμης. Ἰδίᾳ δὲ καθ᾿ ἑκάστην εἰσὶν αἱ πλεῖσται. Διὸ τὰς μὲν ἀρχὰς τὰς περὶ ἕκαστον ἐμπειρίας ἐστὶ παραδοῦναι. Λέγω δ᾿ οἷον τὴν ἀστρολογικὴν μὲν ἐμπειρίαν τῆς ἀστρολογικῆς ἐπιστήμης· ληφθέντων γὰρ ἱκανῶς τῶν φαινομένων οὕτως εὑρέθησαν αἱ ἀστρολογικαὶ ἀποδείξεις. Ὁμοίως δὲ καὶ περὶ ἄλλην

118
ὁποιανοῦν ἔχει τέχνην τε καὶ ἐπιστήμην. Ὤστ᾿ ἐὰν ληφθῇ τὰ ὑπάρχοντα περὶ ἕκαστον, ἡμέτερον ἤδη τὰς ἀποδείξεις ἑτοίμως ἐμφανίζειν. Εἰ γὰρ μηδὲν κατὰ τὴν ἱστορίαν παραλειφθείη τῶν ἀληθῶς ὑπαρχόντων τοῖς πράγμασιν, ἕξομεν περὶ ἅπαντος οὗ μὲν ἔστιν ἀπόδειξις, ταύτην εὑρεῖν καὶ ἀποδεικνύναι, οὗ δὲ μὴ πέφυκεν ἀπόδειξις, τοῦτο ποιεῖν φανερόν.

Καθόλου μὲν οὖν, ὃν δεῖ τρόπον τὰς προτάσεις ἐκλέγειν, εἴρηται σχεδόν· δι᾿ ἀκριβείας δὲ διεληλύθαμεν ἐν τῇ πραγματείᾳ τῇ περὶ τὴν διαλεκτικήν.

Ὅτι δ᾿ ἡ διὰ τῶν γενῶν διαίρεσις μικρόν τι μόριόν ἐστι τῆς εἰρημένης μεθόδου, ῥᾴδιον ἰδεῖν· ἔστι γὰρ ἡ διαίρεσις οἷον ἀσθενὴς συλλογισμός· ὃ μὲν γὰρ δεῖ δεῖξαι αἰτεῖται, συλλογίζεται δ᾿ ἀεί τι τῶν ἄνωθεν. Πρῶτον δ᾿ αὐτὸ τοῦτο ἐλελήθει τοὺς χρωμένους αὐτῇ πάντας, καὶ πείθειν ἐπεχείρουν ὡς ὄντος δυνατοῦ περὶ οὐσίας ἀπόδειξιν γίνεσθαι καὶ τοῦ τί ἐστιν. Ὤστ᾿ οὔτε ὅ τι ἐνδέχεται συλλογίσασθαι διαιρούμενοι ξυνίεσαν, οὔτε ὅτι οὕτως ἐνεδέχετο ὥσπερ εἰρήκαμεν. Ἒν μὲν οὖν ταῖς ἀποδείξεσιν, ὅταν δέῃ τι συλλογίσασθαι ὑπάρχειν, δεῖ τὸ μέσον, δι᾿ οὗ γίνεται ὁ συλλογισμός, καὶ ἧττον ἀεὶ εἶναι καὶ μὴ καθόλου τοῦ πρώτου τῶν ἄκρων· ἡ δὲ διαίρεσις τοὐναντίον βούλεται· τὸ γὰρ καθόλου λαμβάνει μέσον. Ἔστω γὰρ ζῷον μὲν ἐφ᾿ οὗ Α, τὸ δὲ θνητὸν ἐφ᾿ οὗ Β, καὶ ἀθάνατον ἐφ᾿ οὗ Γ, ὁ δ᾿ ἄνθρωπος, οὗ τὸν λόγον δεῖ λαβεῖν, ἐφ᾿ οὗ τὸ Δ. Ἅπαν δὴ ζῷον λαμβάνει ἢ θνητὸν ἢ ἀθάνατον· τοῦτο δ᾿ ἐστίν, ὃ ἂν ᾖ A, ἅπαν εἶναι ἢ Β ἢ Γ. Πάλιν τὸν ἄνθρωπον ἀεὶ διαιρούμενος τίθεται ζῷον εἶναι, ὥστε κατὰ τοῦ Δ τὸ Α λαμβάνει ὑπάρχειν. Ὁ μὲν οὖν συλλογισμός ἐστιν ὅτι τὸ Δ ἢ Β ἢ Γ ἅπαν ἔσται, ὥστε τὸν ἄνθρωπον ἢ θνητὸν μὲν ἢ ἀθάνατον ἀναγκαῖον εἶναι, ζῷον θνητὸν δὲ οὐκ ἀναγκαῖον, ἀλλ᾿ αἰτεῖται· τοῦτο δ᾿ ἦν ὃ ἔδει συλλογίσασθαι. Καὶ πάλιν θέμενος τὸ μὲν Α ζῷον θνητόν, ἐφ᾿ οὗ τὸ Β ὑπόπουν, ἐφ᾿ οὗ δὲ τὸ Γ ἄπουν, τὸν

119
δ᾿ ἄνθρωπον τὸ Δ, ὡσαύτως λαμβάνει τὸ μὲν Α ἤτοι ἐν τῷ Β ἢ ἐν τῷ Γ εἶναι (ἅπαν γὰρ ζῷον θνητὸν ἢ ὑπόπουν ἢ ἄπουν ἐστί), κατὰ δὲ τοῦ Δ τὸ Α (τὸν γὰρ ἄνθρωπον ζῷον θνητὸν εἶναι ἔλαβεν)· ὥστ᾿ ὑπόπουν μὲν ἢ ἄπουν εἶναι ζῷον ἀνάγκη τὸν ἄνθρωπον, ὑπόπουν δ᾿ οὐκ ἀνάγκη, ἀλλὰ λαμβάνει· τοῦτο δ᾿ ἦν ὃ ἔδει πάλιν δεῖξαι. Καὶ τοῦτον δὴ τὸν τρόπον ἀεὶ διαιρουμένοις τὸ μὲν καθόλου συμβαίνει αὐτοῖς μέσον λαμβάνειν, καθ᾿ οὗ δ᾿ ἔδει δεῖξαι καὶ τὰς διαφορὰς ἄκρα. Τέλος δέ, ὅτι τοῦτ᾿ ἔστιν ἄνθρωπος ἢ ὅ τι ποτ᾿ ἂν ᾖ τὸ ζητούμενον, οὐδὲν λέγουσι σαφές, ὥστ᾿ ἀναγκαῖον εἶναι· καὶ γὰρ τὴν ἄλλην ὁδὸν ποιοῦνται πᾶσαν, οὐδὲ τὰς ἐνδεχομένας εὐπορίας ὑπολαμβάνοντες ὑπάρχειν. Φανερὸν δ᾿ ὅτι οὔτ᾿ ἀνασκευάσαι ταύτῃ τῇ μεθόδῳ ἔστιν, οὔτε περὶ συμβεβηκότος ἢ ἰδίου συλλογίσασθαι, οὔτε περὶ γένους, οὔτ᾿ ἐν οἷς ἀγνοεῖται τὸ πότερον ὧδε ἢ ὧδε ἔχει, οἷον ἆρ᾿ ἡ διάμετρος ἀσύμμετρος. Ἐὰν γὰρ λάβῃ ὅτι ἅπαν μῆκος ἢ σύμμετρον ἢ ἀσύμμετρον, ἡ δὲ διάμετρος μῆκος, συλλελόγισται ὅτι ἀσύμμετρος ἢ σύμμετρος ἡ διάμετρος. Εἰ δὲ λήψεται ἀσύμμετρον, ὃ ἔδει συλλογίσασθαι, λήψεται. Οὐκ ἄρα ἔστι δεῖξαι· ἡ μὲν γὰρ ὁδὸς αὕτη, διὰ ταύτης δ᾿ οὐκ ἔστιν. Τὸ ἀσύμμετρον ἢ σύμμετρον ἐφ᾿ οὗ Α, μῆκος Β, διάμετρος Γ. Φανερὸν οὖν ὅτι οὔτε πρὸς πᾶσαν σκέψιν ἁρμόζει τῆς ζητήσεως ὁ τρόπος, οὔτ᾿ ἐν οἷς μάλιστα δοκεῖ πρέπειν, ἐν τούτοις ἐστὶ χρήσιμος.

Ἐκ τίνων μὲν οὖν αἱ ἀποδείξεις γίνονται καὶ πῶς, καὶ εἰς ὁποῖα βλεπτέον καθ᾿ ἕκαστον πρόβλημα, φανερὸν ἐκ τῶν εἰρημένων·

πῶς δ᾿ ἀνάξομεν τοὺς συλλογισμοὺς εἰς τὰ προειρημένα σχήματα, λεκτέον ἂν εἴη μετὰ ταῦτα· λοιπὸν γὰρ ἔτι τοῦτο τῆς σκέψεως. Εἰ γὰρ τήν τε γένεσιν τῶν συλλογισμῶν θεωροῖμεν καὶ τοῦ εὑρίσκειν ἔχοιμεν δύναμιν, ἔτι

120
δὲ τοὺς γεγενημένους ἀναλύοιμεν εἰς τὰ προειρημένα σχήματα, τέλος ἂν ἔχοι ἡ ἐξ ἀρχῆς πρόθεσις. Συμβήσεται δ᾿ ἅμα καὶ τὰ πρότερον εἰρημένα ἐπιβεβαιοῦσθαι καὶ φανερώτερα εἶναι, ὅτι οὕτως ἔχει, διὰ τῶν νῦν λεχθησομένων· δεῖ γὰρ πᾶν τὸ ἀληθὲς αὐτὸ ἑαυτῷ ὁμολογούμενον εἶναι πάντῃ.

Πρῶτον μὲν οὖν δεῖ πειρᾶσθαι τὰς δύο προτάσεις ἐκλαμβάνειν τοῦ συλλογισμοῦ (ῥᾷον γὰρ εἰς τὰ μείζω διελεῖν ἢ τὰ ἐλάττω, μείζω δὲ τὰ συγκείμενα ἢ ἐξ ὧν), εἶτα σκοπεῖν ποτέρα ἐν ὅλῳ καὶ ποτέρα ἐν μέρει, καὶ εἰ μὴ ἄμφω εἰλημμέναι εἶεν, αὐτὸν τιθέντα τὴν ἑτέραν. Ἐνίοτε γὰρ τὴν καθόλου προτείναντες τὴν ἐν ταύτῃ οὐ λαμβάνουσιν, οὔτε γράφοντες οὔτ᾿ ἐρωτῶντες· ἢ ταύτας μὲν προτείνουσι, δι᾿ ὧν δ᾿ αὗται περαίνονται, παραλείπουσιν, ἄλλα δὲ μάτην ἐρωτῶσιν. Σκεπτέον οὖν εἴ τι περίεργον εἴληπται καί τι τῶν ἀναγκαίων παραλέλειπται, καὶ τὸ μὲν θετέον τὸ δ᾿ ἀφαιρετέον, ἕως ἂν ἔλθῃ τις εἰς τὰς δύο προτάσεις· ἄνευ γὰρ τούτων οὐκ ἔστιν ἀγαγεῖν τοὺς οὕτως ἠρωτημένους λόγους. Ἐνίων μὲν οὖν ῥᾴδιον ἰδεῖν τὸ ἐνδεές, ἔνιοι δὲ λανθάνουσι καὶ δοκοῦσι συλλογίζεσθαι διὰ τὸ ἀναγκαῖόν τι συμβαίνειν ἐκ τῶν κειμένων, οἷον εἰ ληφθείη μὴ οὐσίας ἀναιρουμένης μὴ ἀναιρεῖσθαι οὐσίαν, ἐξ ὧν δ᾿ ἐστὶν ἀναιρουμένων, καὶ τὸ ἐκ τούτων φθείρεσθαι· τούτων γὰρ τεθέντων ἀναγκαῖον μὲν τὸ οὐσίας μέρος εἶναι οὐσίαν, οὐ μὴν συλλελόγισται διὰ τῶν εἰλημμένων, ἀλλ᾿ ἐλλείπουσι προτάσεις. Πάλιν εἰ ἀνθρώπου ὄντος ἀνάγκη ζῷον εἶναι καὶ ζῴου οὐσίαν, ἀνθρώπου ὄντος ἀνάγκη οὐσίαν εἶναι· ἀλλ᾿ οὔπω συλλελόγισται· οὐ γὰρ ἔχουσιν αἱ προτάσεις ὡς εἴπομεν. Ἀπατώμεθα δ᾿ ἐν τοῖς τοιούτοις διὰ τὸ ἀναγκαῖόν τι συμβαίνειν ἐκ τῶν κειμένων, ὅτι καὶ ὁ συλλογισμὸς ἀναγκαῖόν ἐστιν. Ἐπὶ πλέον δὲ τὸ ἀναγκαῖον ἢ ὁ συλλογισμός· ὁ μὲν γὰρ συλλογισμὸς πᾶς ἀναγκαῖον, τὸ δ᾿ ἀναγκαῖον οὐ πᾶν συλλογισμός. Ὤστ᾿

121
οὐκ εἴ τι συμβαίνει τεθέντων τινῶν, πειρατέον ἀνάγειν εὐθύς, ἀλλὰ πρῶτον ληπτέον τὰς δύο προτάσεις, εἶθ᾿ οὕτω διαιρετέον εἰς τοὺς ὅρους, μέσον δὲ θετέον τῶν ὅρων τὸν ἐν ἀμφοτέραις ταῖς προτάσεσι λεγόμενον· ἀνάγκη γὰρ τὸ μέσον ἐν ἀμφοτέραις ὑπάρχειν ἐν ἅπασι τοῖς σχήμασιν. Ἐὰν μὲν οὖν κατηγορῇ καὶ κατηγορῆται τὸ μέσον, ἢ αὐτὸ μὲν κατηγορῇ, ἄλλο δ᾿ ἐκείνου ἀπαρνῆται, τὸ πρῶτον ἔσται σχῆμα· ἐὰν δὲ καὶ κατηγορῇ καὶ ἀπαρνῆται ἀπό τινος, τὸ μέσον· ἐὰν δ᾿ ἄλλα ἐκείνου κατηγορῆται, ἢ τὸ μὲν ἀπαρνῆται τὸ δὲ κατηγορῆται, τὸ ἔσχατον. Οὕτω γὰρ εἶχεν ἐν ἑκάστῳ σχήματι τὸ μέσον. Ὁμοίως δὲ καὶ ἐὰν μὴ καθόλου ὦσιν αἱ προτάσεις· ὁ γὰρ αὐτὸς διορισμὸς τοῦ μέσου. Φανερὸν οὖν ὡς ἐν ᾧ λόγῳ μὴ λέγεται ταὐτὸ πλεονάκις, ὅτι οὐ γίνεται συλλογισμός· οὐ γὰρ εἴληπται μέσον. Ἐπεὶ δ᾿ ἔχομεν ποῖον ἐν ἑκάστῳ σχήματι περαίνεται τῶν προβλημάτων, καὶ ἐν τίνι τὸ καθόλου καὶ ἐν ποίῳ τὸ ἐν μέρει, φανερὸν ὡς οὐκ εἰς ἅπαντα τὰ σχήματα βλεπτέον, ἀλλ᾿ ἑκάστου προβλήματος εἰς τὸ οἰκεῖον. Ὅσα δ᾿ ἐν πλείοσι περαίνεται, τῇ τοῦ μέσου θέσει γνωριοῦμεν τὸ σχῆμα.

Πολλάκις μὲν οὖν ἀπατᾶσθαι συμβαίνει περὶ τοὺς συλλογισμοὺς διὰ τὸ ἀναγκαῖον, ὥσπερ εἴρηται πρότερον, ἐνίοτε δὲ παρὰ τὴν ὁμοιότητα τῆς τῶν ὅρων θέσεως· ὅπερ οὐ χρὴ λανθάνειν ἡμᾶς. Οἷον εἰ τὸ Α κατὰ τοῦ Β λέγεται καὶ τὸ Β κατὰ τοῦ Γ· δόξειε γὰρ ἂν οὕτως ἐχόντων τῶν ὅρων εἶναι συλλογισμός, οὐ γίνεται δ᾿ οὔτ᾿ ἀναγκαῖον οὐδὲν οὔτε συλλογισμός. Ἔστω γὰρ ἐφ᾿ ᾧ Α τὸ ἀεὶ εἶναι, ἐφ᾿ ᾧ δὲ Β διανοητὸς Ἀριστομένης, τὸ δ᾿ ἐφ᾿ ᾧ Γ Ἀριστομένης. Ἀληθὲς δὴ τὸ Α τῷ Β ὑπάρχειν· ἀεὶ γάρ ἐστι διανοητὸς Ἀριστομένης. Ἀλλὰ καὶ τὸ Β τῷ Γ· ὁ γὰρ Ἀριστομένης ἐστὶ διανοητὸς Ἀριστομένης. Τὸ δ᾿ Α τῷ Γ οὐχ ὑπάρχει· φθαρτὸς γάρ ἐστιν ὁ Ἀριστομένης. Οὐκ ἄρα ἐγίνετο

122
συλλογισμὸς οὕτως ἐχόντων τῶν ὅρων, ἀλλ᾿ ἔδει καθόλου τὴν Α Β ληφθῆναι πρότασιν. Τοῦτο δὲ ψεῦδος, τὸ ἀξιοῦν πάντα τὸν διανοητὸν Ἀριστομένην ἀεὶ εἶναι, φθαρτοῦ ὄντος Ἀριστομένους. Πάλιν ἔστω τὸ μὲν ἐφ᾿ ᾧ Γ Μίκκαλος, τὸ δ᾿ ἐφ᾿ ᾧ Β μουσικὸς Μίκκαλος, ἐφ᾿ ᾧ δὲ τὸ Α τὸ φθείρεσθαι αὔριον. Ἀληθὲς δὴ τὸ Β τοῦ Γ κατηγορεῖν· ὁ γὰρ Μίκκαλός ἐστι μουσικὸς Μίκκαλος. Ἀλλὰ καὶ τὸ Α τοῦ Β· φθείροιτο γὰρ ἂν αὔριον μουσικὸς Μίκκαλος. Τὸ δέ γε Α τοῦ Γ ψεῦδος. Τοῦτο δὴ ταὐτόν ἐστι τῷ πρότερον· οὐ γὰρ ἀληθὲς καθόλου, Μίκκαλος μουσικὸς ὅτι φθείρεται αὔριον· τούτου δὲ μὴ ληφθέντος οὐκ ἦν συλλογισμός.

Αὕτη μὲν οὖν ἡ ἀπάτη γίνεται ἐν τῷ παρὰ μικρόν· ὡς γὰρ οὐδὲν διαφέρον εἰπεῖν τόδε τῷδε ὑπάρχειν ἢ τόδε τῷδε παντὶ ὑπάρχειν, συγχωροῦμεν.

Πολλάκις δὲ διαψεύδεσθαι συμπεσεῖται παρὰ τὸ μὴ καλῶς ἐκτίθεσθαι τοὺς κατὰ τὴν πρότασιν ὅρους, οἷον εἰ τὸ μὲν Α εἴη ὑγίεια, τὸ δ᾿ ἐφ᾿ ᾧ Β νόσος, ἐφ᾿ ᾧ δὲ Γ ἄνθρωπος. Ἀληθὲς γὰρ εἰπεῖν ὅτι τὸ Α οὐδενὶ τῷ Β ἐνδέχεται ὑπάρχειν (οὐδεμιᾷ γὰρ νόσῳ ὑγίεια ὑπάρχει), καὶ πάλιν ὅτι τὸ Β παντὶ τῷ Γ ὑπάρχει (πᾶς γὰρ ἄνθρωπος δεκτικὸς νόσου). Δόξειεν ἂν οὖν συμβαίνειν μηδενὶ ἀνθρώπῳ ἐνδέχεσθαι ὑγίειαν ὑπάρχειν. Τούτου δ᾿ αἴτιον τὸ μὴ καλῶς ἐκκεῖσθαι τοὺς ὅρους κατὰ τὴν λέξιν, ἐπεὶ μεταληφθέντων τῶν κατὰ τὰς ἕξεις οὐκ ἔσται συλλογισμός, οἷον ἀντὶ μὲν τῆς ὑγιείας εἰ τεθείη τὸ ὑγιαῖνον, ἀντὶ δὲ τῆς νόσου τὸ νοσοῦν. Οὐ γὰρ ἀληθὲς εἰπεῖν ὡς οὐκ ἐνδέχεται τῷ νοσοῦντι τὸ ὑγιαίνειν ὑπάρξαι. Τούτου δὲ μὴ ληφθέντος οὐ γίνεται συλλογισμός, εἰ μὴ τοῦ ἐνδέχεσθαι· τοῦτο δ᾿ οὐκ ἀδύνατον· ἐνδέχεται γὰρ μηδενὶ ἀνθρώπῳ ὑπάρχειν ὑγίειαν. Πάλιν ἐπὶ τοῦ μέσου σχήματος ὁμοίως ἔσται τὸ ψεῦδος· τὴν γὰρ ὑγίειαν νόσῳ μὲν οὐδεμιᾷ ἀνθρώπῳ δὲ παντὶ ἐνδέχεται ὑπάρχειν, ὥστ᾿ οὐδενὶ ἀνθρώπῳ νόσον. Ἐν δὲ τῷ τρίτῳ σχήματι κατὰ τὸ ἐνδέχεσθαι συμβαίνει τὸ ψεῦδος.

123
Καὶ γὰρ ὑγίειαν καὶ νόσον καὶ ἐπιστήμην καὶ ἄγνοιαν καὶ ὅλως τὰ ἐναντία τῷ αὐτῷ ἐνδέχεται ὑπάρχειν, ἀλλήλοις δ᾿ ἀδύνατον. Τοῦτο δ᾿ ἀνομολογούμενον τοῖς προειρημένοις· ὅτε γὰρ τῷ αὐτῷ πλείω ἐνεδέχετο ὑπάρχειν, ἐνεδέχετο καὶ ἀλλήλοις.

Φανερὸν οὖν ὅτι ἐν ἅπασι τούτοις ἡ ἀπάτη γίνεται παρὰ τὴν τῶν ὅρων ἔκθεσιν· μεταληφθέντων γὰρ τῶν κατὰ τὰς ἕξεις οὐδὲν γίνεται ψεῦδος. Δῆλον οὖν ὅτι κατὰ τὰς τοιαύτας προτάσεις ἀεὶ τὸ κατὰ τὴν ἕξιν ἀντὶ τῆς ἕξεως μεταληπτέον καὶ θετέον ὅρον.

Οὐ δεῖ δὲ τοὺς ὅρους ἀεὶ ζητεῖν ὀνόματι ἐκτίθεσθαι· πολλάκις γὰρ ἔσονται λόγοι οἷς οὐ κεῖται ὄνομα. Διὸ χαλεπὸν ἀνάγειν τοὺς τοιούτους συλλογισμούς. Ἐνίοτε δὲ καὶ ἀπατᾶσθαι συμβήσεται διὰ τὴν τοιαύτην ζήτησιν, οἷον ὅτι τῶν ἀμέσων ἐστὶ συλλογισμός. Ἔστω τὸ Α δύο ὀρθαί, τὸ ἐφ᾿ ᾧ Β τρίγωνον, ἐφ᾿ ᾧ δὲ Γ ἰσοσκελές. Τῷ μὲν οὖν Γ ὑπάρχει τὸ Α διὰ τὸ Β, τῷ δὲ Β οὐκέτι δι᾿ ἄλλο· καθ᾿ αὑτὸ γὰρ τὸ τρίγωνον ἔχει δύο ὀρθάς, ὥστ᾿ οὐκ ἔσται μέσον τοῦ Α Β ἀποδεικτοῦ ὄντος. Φανερὸν γὰρ ὅτι τὸ μέσον οὐχ οὕτως ἀεὶ ληπτέον ὡς τόδε τι, ἀλλ᾿ ἐνίοτε λόγον, ὅπερ συμβαίνει κἀπὶ τοῦ λεχθέντος.

Τὸ δὲ ὑπάρχειν τὸ πρῶτον τῷ μέσῳ καὶ τοῦτο τῷ ἄκρῳ οὐ δεῖ λαμβάνειν ὡς ἀεὶ κατηγορηθησομένων ἀλλήλων ἢ ὁμοίως τό τε πρῶτον τοῦ μέσου καὶ τοῦτο τοῦ ἐσχάτου. Καὶ ἐπὶ τοῦ μὴ ὑπάρχειν δ᾿ ὡσαύτως. Ἀλλ᾿ ὁσαχῶς τὸ εἶναι λέγεται καὶ τὸ ἀληθὲς εἰπεῖν αὐτὸ τοῦτο, τοσαυταχῶς οἴεσθαι χρὴ σημαίνειν καὶ τὸ ὑπάρχειν. Οἷον ὅτι τῶν ἐναντίων ἐστὶ μία ἐπιστήμη. Ἔστω γὰρ τὸ Α τὸ μίαν εἶναι ἐπιστήμην, τὰ ἐναντία ἀλλήλοις ἐφ᾿ οὗ Β. Τὸ δὴ Α τῷ Β ὑπάρχει οὐχ ὡς τὰ ἐναντία, τὸ μίαν εἶναι αὐτῶν ἐπιστήμην, ἀλλ᾿ ὅτι ἀληθὲς εἰπεῖν κατ᾿ αὐτῶν μίαν εἶναι αὐτῶν ἐπιστήμην.

124

Συμβαίνει δ᾿ ὁτὲ μὲν ἐπὶ τοῦ μέσου τὸ πρῶτον λέγεσθαι, τὸ δὲ μέσον ἐπὶ τοῦ τρίτου μὴ λέγεσθαι, οἷον εἰ ἡ σοφία ἐστὶν ἐπιστήμη, τοῦ δ᾿ ἀγαθοῦ ἐστὶν ἡ σοφία, συμπέρασμα ὅτι τοῦ ἀγαθοῦ ἐστὶν ἐπιστήμη· τὸ μὲν δὴ ἀγαθὸν οὐκ ἔστιν ἐπιστήμη, ἡ δὲ σοφία ἐστὶν ἐπιστήμη. Ὁτὲ δὲ τὸ μὲν μέσον ἐπὶ τοῦ τρίτου λέγεται, τὸ δὲ πρῶτον ἐπὶ τοῦ μέσου οὐ λέγεται, οἷον εἰ τοῦ ποιοῦ παντός ἐστιν ἐπιστήμη ἢ ἐναντίου, τὸ δ᾿ ἀγαθὸν καὶ ἐναντίον καὶ ποιόν, συμπέρασμα μὲν ὅτι τοῦ ἀγαθοῦ ἐστὶν ἐπιστήμη, οὐκ ἔστι δὲ τὸ ἀγαθὸν ἐπιστήμη οὐδὲ τὸ ποιὸν οὐδὲ τὸ ἐναντίον, ἀλλὰ τὸ ἀγαθὸν ταῦτα. Ἔστι δὲ ὅτε μήτε τὸ πρῶτον κατὰ τοῦ μέσου μήτε τοῦτο κατὰ τοῦ τρίτου, τοῦ πρώτου κατὰ τοῦ τρίτου ὁτὲ μὲν λεγομένου ὁτὲ δὲ μὴ λεγομένου. Οἷον εἰ οὗ ἐπιστήμη ἐστίν, ἔστι τούτου γένος, τοῦ δ᾿ ἀγαθοῦ ἐστὶν ἐπιστήμη, συμπέρασμα ὅτι τοῦ ἀγαθοῦ ἐστὶ γένος. Κατηγορεῖται δ᾿ οὐδὲν κατ᾿ οὐδενός. Εἰ δ᾿ οὗ ἐστὶν ἐπιστήμη, γένος ἐστὶ τοῦτο, τοῦ δ᾿ ἀγαθοῦ ἐστὶν ἐπιστήμη, συμπέρασμα ὅτι τἀγαθόν ἐστι γένος. Κατὰ μὲν δὴ τοῦ ἄκρου κατηγορεῖται τὸ πρῶτον, κατ᾿ ἀλλήλων δ᾿ οὐ λέγεται. Τὸν αὐτὸν δὴ τρόπον καὶ ἐπὶ τοῦ μὴ ὑπάρχειν ληπτέον. Οὐ γὰρ ἀεὶ σημαίνει τὸ μὴ ὑπάρχειν τόδε τῷδε μὴ εἶναι τόδε τόδε, ἀλλ᾿ ἐνίοτε τὸ μὴ εἶναι τόδε τοῦδε ἢ τόδε τῷδε, οἷον ὅτι οὐκ ἔστι κινήσεως κίνησις ἢ γενέσεως γένεσις, ἡδονῆς δ᾿ ἔστιν· οὐκ ἄρα ἡ ἡδονὴ γένεσις. Ἢ πάλιν ὅτι γέλωτος μὲν ἔστι σημεῖον, σημεῖου δ᾿ οὐκ ἔστι σημεῖον, ὥστ᾿ οὐ σημεῖον ὁ γέλως. Ὁμοίως δὲ κἀν τοῖς ἄλλοις, ἐν ὅσοις ἀναιρεῖται τὸ πρόβλημα τῷ λέγεσθαί πως πρὸς αὐτὸ τὸ γένος. Πάλιν ὅτι ὁ καιρὸς οὐκ ἔστι χρόνος δέων· θεῷ γὰρ καιρὸς μὲν ἔστι, χρόνος δ᾿ οὐκ ἔστι δέων διὰ τὸ μηδὲν εἶναι θεῷ ὠφέλιμον. Ὅρους μὲν γὰρ θετέον καιρὸν καὶ χρόνον δέοντα καὶ θεόν, τὴν δὲ πρότασιν ληπτέον κατὰ τὴν τοῦ ὀνόματος πτῶσιν. Ἁπλῶς γὰρ τοῦτο λέγομεν κατὰ πάντων, ὅτι τοὺς μὲν

125
ὅρους ἀεὶ θετέον κατὰ τὰς κλήσεις τῶν ὀνομάτων, οἷον ἄνθρωπος ἢ ἀγαθόν ἢ ἐναντία, οὐκ ἀνθρώπου ἢ ἀγαθοῦ ἢ ἐναντίων, τὰς δὲ προτάσεις ληπτέον κατὰ τὰς ἑκάστου πτώσεις· ἢ γὰρ ὅτι τούτῳ, οἷον τὸ ἴσον, ἢ ὅτι τούτου, οἷον τὸ διπλάσιον, ἢ ὅτι τοῦτο, οἷον τὸ τύπτον ἢ ὁρῶν, ἢ ὅτι οὗτος, οἷον ὁ ἄνθρωπος ζῷον, ἢ εἴ πως ἄλλως πίπτει τοὔνομα κατὰ τὴν πρότασιν.

Τὸ δ᾿ ὑπάρχειν τόδε τῷδε καὶ τὸ ἀληθεύεσθαι τόδε κατὰ τοῦδε τοσαυταχῶς ληπτέον ὁσαχῶς αἱ κατηγορίαι διῄρηνται, καὶ ταύτας ἢ πῇ ἢ ἁπλῶς, ἔτι ἁπλᾶς ἢ συμπεπλεγμένας· ὁμοίως δὲ καὶ τὸ μὴ ὑπάρχειν. Ἐπισκεπτέον δὲ ταῦτα καὶ διοριστέον βέλτιον.

Τὸ δ᾿ ἐπαναδιπλούμενον ἐν ταῖς προτάσεσι πρὸς τῷ πρώτῳ ἄκρῳ θετέον, οὐ πρὸς τῷ μέσῳ. Λέγω δ᾿ οἷον εἰ γένοιτο συλλογισμὸς ὅτι τῆς δικαιοσύνης ἐστὶν ἐπιστήμη ὅτι ἀγαθόν, τὸ ὅτι ἀγαθόν ἢ ᾗ ἀγαθόν πρὸς τῷ πρώτῳ θετέον. Ἔστω γὰρ τὸ Α ἐπιστήμη ὅτι ἀγαθόν, ἐφ᾿ ᾧ δὲ Β ἀγαθόν, ἐφ᾿ ᾧ δὲ Γ δικαιοσύνη. Τὸ δὴ Α ἀληθὲς τοῦ Β κατηγορῆσαι· τοῦ γὰρ ἀγαθοῦ ἐστὶν ἐπιστήμη ὅτι ἀγαθόν. Ἀλλὰ καὶ τὸ Β τοῦ Γ· ἡ γὰρ δικαιοσύνη ὅπερ ἀγαθόν. Οὕτω μὲν οὖν γίνεται ἀνάλυσις. Εἰ δὲ πρὸς τῷ Β τεθείη τὸ ὅτι ἀγαθόν, οὐκ ἔσται· τὸ μὲν γὰρ Α κατὰ τοῦ Β ἀληθὲς ἔσται, τὸ δὲ Β κατὰ τοῦ Γ οὐκ ἀληθὲς ἔσται· τὸ γὰρ ἀγαθὸν ὅτι ἀγαθὸν κατηγορεῖν τῆς δικαιοσύνης ψεῦδος καὶ οὐ συνετόν. Ὁμοίως δὲ καὶ εἰ τὸ ὑγιεινὸν δειχθείη ὅτι ἔστιν ἐπιστητὸν ᾗ ἀγαθόν, ἢ τραγέλαφος δοξαστὸν ᾗ μὴ ὄν, ἢ ὁ ἄνθρωπος φθαρτὸν ᾗ αἰσθητόν· ἐν ἅπασι γὰρ τοῖς ἐπικατηγορουμένοις πρὸς τῷ ἄκρῳ τὴν ἐπαναδίπλωσιν θετέον.

Οὐχ ἡ αὐτὴ δὲ θέσις τῶν ὅρων, ὅταν ἁπλῶς τι συλλογισθῇ καὶ ὅταν τόδε τι ἢ πῇ ἢ πῶς, λέγω δ᾿ οἷον ὅταν τἀγαθὸν ἐπιστητὸν δειχθῇ καὶ ὅταν ἐπιστητόν τι ὅτι ἀγαθόν· ἀλλ᾿ εἰ μὲν ἁπλῶς ἐπιστητὸν δέδεικται, μέσον θετέον τὸ ὄν,

126
εἰ δ᾿ ὅτι ἀγαθόν, τὸ τὶ ὄν. Ἔστω γὰρ τὸ μὲν Α ἐπιστήμη ὅτι τὶ ὄν, ἐφ᾿ ᾧ δὲ Β ὄν τι, τὸ δ᾿ ἐφ᾿ ᾧ Γ ἀγαθόν. Ἀληθὲς δὴ τὸ Α τοῦ Β κατηγορεῖν· ἦν γὰρ ἐπιστήμη τοῦ τινὸς ὄντος ὅτι τὶ ὄν. Ἀλλὰ καὶ τὸ Β τοῦ Γ· τὸ γὰρ ἐφ᾿ ᾧ Γ ὄν τι. Ὥστε καὶ τὸ Α τοῦ Γ· ἔσται ἄρα ἐπιστήμη τἀγαθοῦ ὅτι ἀγαθόν· ἦν γὰρ τὸ τὶ ὂν τῆς ἰδίου σημεῖον οὐσίας. Εἰ δὲ τὸ ὂν μέσον ἐτέθη καὶ πρὸς τῷ ἄκρῳ τὸ ὂν ἁπλῶς καὶ μὴ τὸ τὶ ὂν ἐλέχθη, οὐκ ἂν ἦν συλλογισμὸς ὅτι ἔστιν ἐπιστήμη τἀγαθοῦ ὅτι ἀγαθόν, ἀλλ᾿ ὅτι ὄν, οἷον ἐφ᾿ ᾧ τὸ Α ἐπιστήμη ὅτι ὄν, ἐφ᾿ ᾧ Β ὄν, ἐφ᾿ ᾧ Γ ἀγαθόν. Φανερὸν οὖν ὅτι ἐν τοῖς ἐν μέρει συλλογισμοῖς οὕτως ληπτέον τοὺς ὅρους.

Δεῖ δὲ καὶ μεταλαμβάνειν ἃ τὸ αὐτὸ δύναται, ὀνόματα ἀντ᾿ ὀνομάτων καὶ λόγους ἀντὶ λόγων καὶ ὄνομα καὶ λόγον, καὶ ἀεὶ ἀντὶ τοῦ λόγου τοὔνομα λαμβάνειν· ῥᾴων γὰρ ἡ τῶν ὅρων ἔκθεσις. Οἷον εἰ μηδὲν διαφέρει εἰπεῖν τὸ ὑποληπτὸν τοῦ δοξαστοῦ μὴ εἶναι γένος ἢ μὴ εἶναι ὅπερ ὑποληπτόν τι τὸ δοξαστόν (ταὐτὸν γὰρ τὸ σημαινόμενον), ἀντὶ τοῦ λόγου τοῦ λεχθέντος τὸ ὑποληπτὸν καὶ τὸ δοξαστὸν ὅρους θετέον.

Ἐπεὶ δ᾿ οὐ ταὐτόν ἐστι τὸ εἶναι τὴν ἡδονὴν ἀγαθὸν καὶ τὸ εἶναι τὴν ἡδονὴν τὸ ἀγαθόν, οὐχ ὁμοίως θετέον τοὺς ὅρους, ἀλλ᾿ εἰ μέν ἐστιν ὁ συλλογισμὸς ὅτι ἡ ἡδονὴ τἀγαθόν, τἀγαθόν, εἰ δ᾿ ὅτι ἀγαθόν, ἀγαθόν. Οὕτως κἀπὶ τῶν ἄλλων.