Analytica priora

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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