In Aristotelis analytica priora [Sp.]

Τὸν αὐτὸν δὲ τρόπον ἕως τέλους τῶν τριῶν σχημάτων. Μετὰ τοὺς ὑπάρχοντας συλλογισμοὺς τοὺς ἀναγκαίους παραδίδωσιν, ἐπειδὴ πολλὴ συγγένεια τῷ ὑπάρχοντι πρὸς τὸ ἀναγκαῖον· καὶ γὰρ τὸ ὑπάρχον, ἔστ’ ἂν ὑπάρχῃ, ἀναγκαῖόν ἐστιν· καὶ αἱ ἀντιστοφαὶ ἐπὶ τοῦ ὑπάρχοντος καὶ ἀναγκαίου ὁμοίως ἔχουσι. καὶ διὰ τοῦτο καὶ οἱ συλλογισμοὶ σχεδὸν ὁμοίως ἔχουσιν ἐπὶ ὑπάρχοντος καὶ ἀναγκαίου. τὸ δὲ σχεδὸν διὰ τὸν τέταρτον τρόπον τοῦ δευτέρου σχήματος καὶ τὸν πέμπτον τοῦ τρίτου· οὗτοι γὰρ ἐπὶ ὑπάρχοντος δι’ ἀντιστροφῆς μὲν οὐκ ἐδείκνυντο, δι’ ἀδυνάτου δὲ καὶ δι’ ἐκθέσεως, καὶ ἡ δι’ ἀδυνάτου καὶ δι’ ἐκθέσεως πίστις ἐπὶ τῶν ἄλλων περιουσιαστικὴ οὖσα ἐπὶ τούτων ἀναγκαία ἐγίνετο· ἐπὶ δὲ τοῦ ἀναγκαίου δι’ ἀδυνάτου οὐ δείκνυνται, ἐπειδὴ ἐν τῷ ἀναγκαίῳ καὶ ἐνδεχομένῳ αἱ ἀντιφάσεις λαμβάνονται ἀντιτιθέντων ἡμῶν τρόπον τρόπῳ, ποσὸν ποσῷ, ποιὸν ποιῷ· καὶ διὰ τοῦτο εἰς μῖξιν ἐμπίπτομεν ἐνδεχομένου καὶ ἀναγκαίου, ἣν οὔπω ἴσμεν τί συνάγει. δι’ ἐκθέσεως δὲ μόνης δείκνυνται, καὶ ἡ δι’ ἐκθέσεως πίστις ἐπὶ τοῦ ὑπάρχοντος κατὰ τοὺς εἰρημένους τρόπους περιουσιαστικὴ οὖσα ἐπὶ τοῦ ἀναγκαίου ἀναγκαία γίνεται. δείκνυνται δὲ δι’ ἐκθέσεως τὸν τρόπον τοῦτον. ἔστω γὰρ ὁ τέταρτος τρόπος τοῦ δευτέρου σχήματος· τὸ Α τῷ μὲν Β ἐξ ἀνάγκης παντί, τῷ δὲ ἐξ ἀνάγκης οὐ παντί· λέγω ὅτι τὸ Β τῷ Γ ἐξ ἀνάγκης οὐ παντί. ἐπεὶ γὰρ τὸ Α τῷ Γ ἐξ ἀνάγκης οὐ παντί, ἔστω τὸ Δ ὑπὸ τὸ Γ, ᾧ οὐδενὶ τὸ Α ὑπάρχει·

ἐπεὶ οὖν τὸ Α τῷ μὲν Β παντὶ ἐξ ἀνάγκης, τῷ δὲ Α ἐξ ἀνάγκης οὐδενί, διὰ τὸν δεύτερον ἄρα τρόπον τοῦ δευτέρου σχήματος τὸ Β τῷ Δ ἐξ ἀνάγκης οὐδενί· τὸ δὲ Δ τι Γ ἐστίν· τὸ Β ἄρα ἐξ ἀνάγκης οὐ παντὶ τῷ Γ· ὅπερ ἔδει δεῖξαι. ἀλλὰ δὴ ἔστω ὁ πέμπτος τρόπος τοῦ τρίτου σχήματος, καὶ τὸ μὲν Α ἐξ ἀνάγκης τῷ Γ οὐ παντί, τὸ δὲ Β τῷ Γ ἐξ ἀνάγκης παντί· λέγω ὅτι τὸ Α τῷ Β ἐξ ἀνάγκης οὐ παντί. ἐπεὶ γὰρ τὸ Α τῷ Γ ἐξ ἀνάγκης οὐ παντί, τὸ Α τινὶ τῶν ὑπὸ τὸ Γ, οἷον τὸ Δ, οὐδενὶ ὑπάρξει ἐξ ἀνάγκης· ἐπεὶ οὖν τὸ μὲν Α τῷ Δ ἐξ ἀνάγκης οὐδενί, τὸ δὲ Β τῷ Δ ἐξ ἀνάγκης παντί, διὰ τὸν δεύτερον ἄρα τρόπον τοῦ τρίτου σχήματος τὸ Α τῷ Β ἐξ ἀνάγκης οὐ παντί.

p. 29b29 Ὅτι ἕτερον τὸ ὑπάρχον καὶ τὸ ἀναγκαῖον καὶ τὸ ἐνδεχόμενον. τὸ γὰρ ἐνδεχόμενον οὔτε ὑπάρχει οὔτε ἀναγκαῖόν ἐστιν, μέλλει δὲ ὑπάρχειν· καὶ τὸ ὑπάρχον ἐκβὰν ἐνδεχόμενόν ἐστιν καὶ ταύτῃ διαφέρει τοῦ ἐνδεχομένου καὶ τοῦ ἀναγκαίου.

p. 29b32 Ὅτι ἕτεροι καὶ οἱ συλλογισμοὶ τῶν τριῶν τῷ τὰς προτάσεις καὶ τὰ συμπεράσματα ποτὲ μὲν τοῦ ὑπάρχοντος εἶναι ποτὲ δὲ τοῦ ἀναγκαίου ποτὲ δὲ τοῦ ἐνδεχομένου. p. 30a2 Τό τε γὰρ στερητικὸν ὡσαύτως ἀντιστρέφει. ἀλλὰ καὶ τὸ κατηγορικόν· καὶ πλέον τὸ κατηγορικόν· τοῦτο γὰρ ὁμοίως ἐπὶ τῶν τριῶν ἀντιστρέφει· τὸ δὲ στερητικὸν ἐπὶ ὑπάρχοντος καὶ ἀναγκαίου μόνον ὁμοίως ἀντιστρέφει, ἄλλως δ’ ἐπὶ ἐνδεχομένου. καὶ διὰ τοῦτο μόνου τοῦ κατεπείγοντος ἐμνημόνευσεν.

p. 30a13 Ἐν τῷ οἰκείῳ σχήματι, εἰ καὶ μὴ ἐν τῷ οἰκείῳ τρόπῳ.

Ὅτι ἐπὶ ὑπάρχοντος καὶ ἀναγκαίου ἡ δι’ ἀδυνάτου δεῖξις περιουσιαστικὴ οὖσα ἐν δευτέρῳ σχήματι πλὴν τοῦ τετάρτου τρόπου καὶ ἐν τρίτῳ πλὴν τοῦ πέμπτου τρόπου ἀναγκαία γέγονεν ἐν τῷ τετάρτῳ τοῦ δευτέρου καὶ τῷ πέμπτῳ τοῦ τρίτου. ὅτι ἡ δι’ ἐκθέσεως ἀπόδειξις ἐπὶ ὑπάρχοντος περιουσιαστικὴ οὖσα ἐν τῷ τετάρτῳ τοῦ δευτέρου καὶ τῷ πέμπτῳ τοῦ τρίτου ἐπὶ τοῦ ἀναγκαίου ἀναγκαία γέγονεν ἐν τῷ τετάρτῳ τοῦ δευτέρου καὶ τῷ πέμπτῳ τοῦ τρίτου.

Πῶς ἐπὶ τοῦ ὑπάρχοντος ἔδειξεν τὸν τέταρτον τρόπον τοῦ δευτέρου καὶ τὸν πέμπτον τοῦ τρίτου δι’ ἀδυνάτου μὴ ἀντιθεὶς τρόπον τρόπῳ, ποσὸν ποσῷ, ποιόν ποιῷ,

εἰ καὶ τὸ ὑπάρχον τρόπος ἐστίν; δηλοῖ γὰρ τὸ ἐκβὰν ἐνδεχόμενον· οὐ γάρ, εἰ ψεῦδος τὸ ὑπάρχειν μὴ παντί, ἀληθὲς τὸ ὑπάρχειν παντί, ἐπειδὴ ἐπὶ τῶν μετὰ τρόπου κατὰ τοὺς τρόπους αἱ ἀποφάσεις γίνονται. ἢ ἐχρήσατο τότε τῷ ὑπάρχειν ἀντὶ τοῦ ἔστιν· πρὸ μὲν γὰρ τῶν μίξεων τὸ ὑπάρχον ἰσοδυναμεῖ τῷ ἔστιν· ἐν δὲ ταῖς μίξεσιν τρόπος ἐστὶν τὴν ἔκβασιν τοῦ ἐνδεχομένου δηλῶν. καὶ τὸ μὲν πρῶτον δείξεις ἐκ τοῦ λέγεσθαι πᾶσαν πρότασιν ἢ τοῦ ὑπάρχειν εἶναι ἢ τοῦ ἐξ ἀνάγκης ὑπάρχειν ἢ τοῦ ἐνδέχεσθαι ὑπάρχειν· εἰ γὰρ καὶ τὸ ὑπάρχειν τρόπος, ποῦ αἱ ἄνευ τρόπου προτάσεις; τὸ δὲ δεύτερον ἐκ τοῦ τρόπων εἶναι τὰς μίξεις· τὸ γὰρ ἔστιν παντὶ τρόπῳ ἀεὶ συνέζευκται καὶ οὐ ποιεῖ μῖξιν ἀεί. τὸ ὑπάρχον οὐ τρόπος, εἰ πᾶσα πρότασις ἢ τοῦ ὑπάρχειν ἢ τοῦ ἐξ ἀνάγκης ὑπάρχειν ἢ τοῦ ἐνδέχεσθαι ὑπάρχειν· ποῦ γὰρ αἱ ἄνευ τρόπου, εἰ καὶ τὸ ὑπάρχον τρόπος; ἢ ἐπὶ τοῦ ὑπάρχοντος τὸν τέταρτον τοῦ δευτέρου καὶ τὸν πέμπτον τοῦ τρίτου δι’ ἀδυνάτου δεικνὺς ἀντίφασιν ἔλαβεν τοῦ ὑπάρχειν παντὶ τὸ ὑπάρχειν οὐ παντί, οὐ τὸ μὴ ὑπάρχειν παντί· κατὰ γὰρ τοὺς τρόπους αἱ ἀποφάσεις γίνονται τῶν μετὰ τρόπου καταφάσεων. ὅτι τὸ ὑπάρχον τρόπος, εἰ μίγνυσιν αὐτὸ ἀναγκαίῳ καὶ ἐνδεχομένῳ· τρόπων γὰρ αἱ μίξεις· οὐ γὰρ λέγεται μῖξις τοῦ κατὰ τὸ ἔστιν ὑπάρχοντος πρὸς τὸ ἀναγκαῖον καὶ τὸ ἐνδεχόμενον ἀεὶ συνόντος αὐτοῖς.

ΕΙΣ ΤΑΣ ΜΙΞΕΙΣ

p. 30a15 Συμβαίνει δέ ποτε. Μετὰ τοὺς συλλογισμοὺς τοῦ ὑπάρχοντος καὶ τοῦ ἀναγκαίου παραδίδωσιν ὁ Ἀριστοτέλης τοὺς συλλογισμοὺς τοῦ ἐνδεχομένου. ἀλλὰ μίγνυσι πρότερον τὸ ὑπάρχον τῷ ἀναγκαίῳ διὰ δύο αἰτίας· ἢ γὰρ ὅτι ποικίλος ὁ περὶ τῶν ἐνδεχομένων συλλογισμῶν λόγος, ἢ ἵνα συμπληρώσῃ τὸν περὶ τοῦ ὑπάρχοντος καὶ ἀναγκαίου λόγον καὶ τῶν ἁπλῶν ἐγνωσμένων καὶ τοῦ συνθέτου. ὑπάρχον δὲ λαμβάνει νῦν οὐχ ὡς ἐν τοῖς τρισὶ σχήμασι τὸ κατὰ τὸ ἔστιν ἀλλὰ κατὰ τὸ ἐκβὰν ἐνδεχόμενον· εἴτε γὰρ τὸ ἐν τοῖς τρισὶ σχήμασιν ὑπάρχον τρόπος εἴη, παραλελειμμέναι ἔσονται αἱ ἄνευ τρόπου προτάσεις

(ἔφη γὰρ ἐκεῖσε ἐπεὶ δὲ πᾶσα πρότασις ἢ τοῦ ὑπάρχειν ἢ τοῦ ἐξ ἀνάγκης ὑπάρχειν ἢ τοῦ ἐνδέχεσθαι ὑπάρχειν), εἴτε τὸ νῦν ὑπάρχον μὴ εἴη τρόπος, οὐκ ἔστιν μῖξις· τῷ γὰρ ψιλῷ ἔστιν πᾶς τρόπος συνέζευκται. ζητοῦμεν δὲ ἐν ταῖς μίξεσιν οὐχὶ 〈εἰ〉 καθόλου ἢ μερικὸν συνάγεται, οὐδ’ εἰ καταφατικὸν ἢ ἀποφατικόν (οὐδεμία γὰρ περὶ ταῦτα γίνεται ἐξαλλαγὴ παρὰ τὰ εἰρημένα, ἐπειδὴ καὶ τὸ καθόλου ὑπάρχον τότε ἐλαμβάνετο φερόμενον καὶ κατὰ τῶν τρόπων), ἀλλ’ εἰ ὑπάρχον ἢ ἀναγκαῖον ἢ ἐνδεχόμενον τὸ συμπέρασμα. μίξεως τοίνυν γινομένης ὑπάρχοντος καὶ ἀναγκαίου ἐν πρώτῳ σχήματι ὁ μὲν Ἀριστοτέλης τῇ μείζονι ἕπεσθαι βούλεται τὸ συμπέρασμα, εἰ δὲ ἐν δευτέρῳ, τῇ ἀντιστρεφομένῃ, εἰ δὲ ἐν τρίτῳ, τῇ μὴ ἀντιστρεφομένῃ· αὗται γὰρ μείζονες γίνονται ἐν τῇ εἰς τὸ πρῶτον σχῆμα ἀναγωγῇ· ἐπὶ δὲ τοῦ τετάρτου τρόπου τοῦ δευτέρου σχήματος καὶ τοῦ πέμπτου τοῦ τρίτου τῶν μὴ ἀναγομένων δι’ ἀντιστροφῆς εἰς τὸ πρῶτον σχῆμα τῇ χείρονι ἕπεσθαι τὸ συμπέρασμα. οἱ δ’ ἑταῖροι αὐτοῦ, Θεόφραστος καὶ Εὔδημος, καὶ οἱ ἀπὸ Πλάτωνος καθόλου καὶ νῦν τῇ χείρονι ἕπεσθαι τὸ συμπέρασμά φασιν ὥσπερ καὶ ἐν ποσῷ καὶ ἐν ποιῷ. τῶν δὲ νεωτέρων ἠκολούθησαν

συνηγορῶν τῷ Ἀριστοτέλει καὶ δι’ ἀδυνάτου δείκνυσιν ἀναγκαῖον τὸ συμπέρασμα τὸν τρόπον τοῦτον· εἰ γὰρ μὴ τὸ Α τῷ Γ ἐξ ἀνάγκης παντί, ἐνδέχεται μὴ παντί· ἀλλὰ μὴν καὶ τὸ Β τῷ Γ ὑπαρχόντως παντί· διὰ τὸν πέμπτον ἄρα τρόπον τοῦ τρίτου σχήματος, ἐφ’ οὗ καὶ κατὰ Ἀριστοτέλη τῇ χείρονι ἕπεται τὸ συμπέρασμα, τὸ Α τῷ Β ἐνδέχεται μὴ παντί· ἀλλὰ καὶ ἐξ ἀνάγκης παντί· ὅπερ ἀδύνατον· ἀντίφασις γὰρ ταῦτα. ἀλλὰ πρῶτον μὲν διάλληλός ἐστιν ἡ δεῖξις· καὶ γὰρ τὴν μνημονευθεῖσαν δεῖξιν τοῦ τρίτου σχήματος διὰ τῆς νῦν μίξεως ἑξῆς ὁ Ἀριστοτέλης δείξει. δεύτερον δὲ διὰ τῶν αὐτῶν λόγων καὶ ὑπάρχον συνάγεται καὶ ἐνδεχόμενον καὶ ἀδύνατον· εἰ γὰρ τὸ Α τῷ Γ μὴ παντὶ ὡς ἂν ἐθέλῃς, ἐπειδὴ τὸ Β τῷ Γ παντί, τὸ Α τῷ Β οὐ παντί, καὶ οὐ λέγω ἁπλῶς· ὅπερ ἀδύνατον· ὑπόκειται γὰρ τὸ Α τῷ Β ἐξ ἀνάγκης παντί· ὥστε ἢ τὰ τρία οὐ συνάγεται ἢ οὐδὲ τὸ ἀναγκαῖον. αἴτιον δὲ τοῦ ἄτοπον ἐπακολουθεῖν καὶ ἀναγκαίου ὑποτεθέντος τοῦ συμπεράσματος καὶ ἐνδεχομένου καὶ ὑπάρχοντος οὐχ ὁ τρόπος τοῦ συμπεράσματος, ἀλλὰ τὸ συνάγεσθαι μὲν κατ’ ἀλήθειαν παντί (ἀεὶ γὰρ ἐκ δύο καθόλου καταφατικῶν καθόλου καταφατικὸν συνάγεται ἐν πρώτῳ), ὑποκεῖσθαι δὲ οὐ παντί. Σωσιγένης δὲ ὁ τοῦ Ἀλεξάνδρου διδάσκαλος ἀναγκαῖον ἔφη συνάγεσθαι τὸ κατὰ τὸν διορισμόν· ἔστ’ ἂν γὰρ ὁ μέσος τῷ ἐσχάτῳ ὑπάρχῃ. ἀνάγκη καὶ τὸν μείζονα τῷ ἐλάττονι ὑπάρχειν. ἀλλ’ ὅσον ἐπὶ τούτῳ καὶ τῆς μείζονος ὑπαρχούσης 〈οὔσης〉 ἀναγκαῖόν ἐστιν τὸ συμπέρασμα· ἀνάγκη γὰρ πάλιν τὸν μείζονα τῷ ἐσχάτῳ ὑπάρχειν, ἔστ’ ἂν ὁ μείζων τῷ μέσῳ ὑπάρχῃ· καὶ πᾶς συλλογισμὸς τὸ ἐξ ὑποθέσεως ἀναγκαῖον συνάγει διὰ τὸν ὃρον τοῦ συλλογισμοῦ· καὶ ἐν τῷ δευτέρῳ σχήματι δείκνυσιν ὁ Ἀριστοτέλης συζυγίαν μὴ συνάγουσαν τὸ ἀναγκαῖον διὰ τὸ τὸ μετὰ διορισμοῦ ἀναγκαῖον συνάγειν. Ἑρμῖνος δ’ ἔλεγεν ἀναγκαῖον γίνεσθαι τὸ συμπέρασμα οὐκ ἀεί ποτε, ἀλλ’ ἐπί τινος ὕλης· εἰ μὲν γὰρ λάβωμεν

ζῷον, ἄνθρωπον, περιπατοῦν, ἀναγκαῖον συνάγεται· εἰ δὲ ζῷον, ἄνθρωπον, κινούμενον, [ψεύδεται ἡ] ἐνδεχόμενον. δι’ ὃ καὶ ὁ Ἀριστοτέλης ἔφη συμβαίνει δέ ποτε. ἀλλὰ διώρισεν τοῦτο ὁ Ἀριστοτέλης ἐπαγαγὼν πλὴν οὐχ ὁποτέρας ἔτυχεν, ἀλλὰ τῆς

ἀναγκαίου ἔχον τὸ παρεῖναι, τοῦ δ’ ἐνδεχομένου τὸ δύνασθαι μεταβάλλειν εἰς τὸ μὴ εἶναι. καὶ διὰ τοῦτο πλάτος ἐστὶν τοῦ ὑπάρχοντος, καὶ δύναται ἡ ὑπάρχουσα πρότασις καὶ πρὸς τῷ ἀναγκαίῳ εἶναι μᾶλλον καὶ πρὸς τῷ ἐνδεχομένῳ. καὶ ὅτε πρὸς τῷ ἀναγκαίῳ ἐστίν, ἀναγκαῖον συνάγεται· οἷον γὰρ ἐκ δύο ἀναγκαίων ἀναγκαῖον συνάγεται· ὅτε δὲ πρὸς τῷ ἐνδεχομένῳ, ὑπάρχον συνάγεται, ὡς ἐπὶ τῶν εἰρημένων ὅρων. † ὅτε καὶ ὁ Ἀριστοτέλης ἐκ τῆς μείζονος ἀναγκαίας τῆς δ’ ἐλάττονος ὑπαρχούσης ἀναγκαῖόν φησιν συνάγεσθαι τὴν ἐλάττονα πρὸς τῷ ἀναγκαίῳ λαμβάνων· ὅτε δ’ ἐκ τῆς μείζονος ὑπαρχούσης τῆς δ’ ἐλάττονος ἀναγκαίας ὑπάρχον, τὴν ἐλάττονα λαμβάνει πρὸς τῷ ὑπάρχοντι· διὰ γὰρ τοῦτο, ὅτε ἡ μείζων ὑπάρχουσά ἐστιν ἡ δ’ ἐλάττων ἀναγκαία, τὴν μείζονα οὐκ ἀναγκαίαν καλεῖ ἐξορίζων αὐτὴν ἀπὸ τοῦ ἀναγκαίου καὶ ἐπιρρεπῆ ὁρῶν πρὸς τὸ ἐνδεχόμενον· ὅτε δὲ ἡ μείζων ἀναγκαία ἡ δ’ ἐλάττων ὑπάρχουσα, τὴν ἐλάττονα ὑπάρχουσαν καλεῖ, οὐχὶ δὲ 〈οὐκ〉 ἀναγκαίαν ὡς ἐπιρρεπῶς ἔχουσαν πρὸς τὸ ἀναγκαῖον. ἀλλὰ κἂν εἴπωμεν, φασί, λογικὸν παντὶ ἀνθρώπῳ ἐξ ἀνάγκης, ἄνθρωπος παντὶ περιπατοῦντι ὑπαρχόντως, καίπερ τῆς ἐλάττονος πρὸς τῷ ἀναγκαίῳ οὔσης ὑπάρχον συνάγεται· κἂν κίνησις πάσῃ βαδίσει ἀναγκαίως, βάδισις παντὶ ἀνθρώπῳ ὑπαρχόντως, καίπερ τῆς ἐλάττονος ὑπαρχούσης οὔσης πρὸς τῷ ἀναγκαίῳ ὑπάρχον συνάγεται.

Ὅτι ἄπορος ἡ μῖξις ὑπάρχοντος καὶ ἀναγκαίου· οὔτε γὰρ ἀεὶ ὑπάρχον συνάγεται, ὡς οἱ Πλατωνικοὶ καὶ Θεόφραστος, διὰ τοὺς ὅρους τούτους·

γίνεται ἀντιτιθέντων ἡμῶν τρόπον τρόπῳ, ποσὸν ποσῷ, ποιὸν ποιῷ· ψεῦδος γὰρ καὶ τὸ ἐνδέχεται τινὰ ἄνθρωπον ζῷον καὶ τὸ ἀνάγκη μηδένα ἄνθρωπον ζῷον.

p. 30a19 Τὸ δὲ Β τῷ Γ ὑπαρχέτω μόνον. ἰδοὺ τῆς μείζονος ἀναγκαίας οὔσης τὴν ἐλάττονα οὐ καλεῖ μὴ ἀναγκαίαν ἀλλ’ ὑπάρχουσαν ὡς πρὸς τῷ ἀναγκαίῳ οὖσαν, καίτοι, ὅτε ἡ ἐλάττων ἀναγκαία ἐστίν, τὴν μείζονα μὴ ἀναγκαίαν καλῶν.

p. 30a23 Εἰ δὲ τὸ μὲν ΑΒ μή ἐστιν ἀναγκαῖον. τὸ Α τῷ Β ὑπάρχει παντί, τὸ Β τῷ Γ ἐξ ἀνάγκης παντί· ὅτι οὐ συνάγεται τὸ Α τῷ Γ ἐξ ἀνάγκης παντί· εἰ γὰρ τὸ Α τῷ Γ ἐξ ἀνάγκης παντί, ἐπειδὴ καὶ τὸ Γ τῷ Β ἐξ ἀνάγκης τινὶ διὰ τὴν ἀντιστροφήν, τὸ Α τῷ Β ἐξ ἀνάγκης τινί· ἀλλὰ καὶ ὑπάρχει παντί· ὅπερ ἀδύνατον· ἐνδέχεται γὰρ τὸ ὑπάρχον παντὶ καὶ μηδενὶ ὑπάρχειν. ἢ καὶ οὕτως ἐν τρίτῳ σχήματι· εἰ τὸ Α τῷ Γ ἐξ ἀνάγκης παντί, ἐπειδὴ καὶ τὸ Β τῷ Γ ἐξ ἀνάγκης παντί, τὸ Α τῷ Β ἐξ ἀνάγκης τινί· ὑπόκειται δὲ καὶ παντὶ ὑπάρχειν· ὅπερ ἀδύνατον.

p. 30a28 Ἔτι δὲ καὶ ἐκ τῶν ὅρων φανερόν. νῦν μόνον ἔχεις ὅρους, φασίν, Ἀριστότελες· διὰ τί γὰρ μὴ καὶ πρότερον, ὅτε ἀναγκαῖον συνῆγες παραλογιζόμενος;

p. 30a31 Κινεῖται δὲ τὸ ζῷον οὐκ ἐξ ἀνάγκης, οὐδ’ ὁ ἄνθρωπος. καὶ ἐπὶ τῶν παραδειγμάτων τὴν ὑπάρχουσαν τὴν πρὸς τῷ ἐνδεχομένῳ οὐκ ἀναγκαίαν καλεῖ. ἡ γὰρ αὐτὴ ἀπόδειξις, δι’ ἀδυνάτου καὶ δι’ ὅρων.

p. 30a33 Ἐπὶ δὲ τῶν ἐν μέρει συλλογισμῶν. ὅτι καὶ ἐπὶ τῶν μερικῶν συλλογισμῶν τῆς μείζονος ἀναγκαίας οὔσης καὶ τὸ συμπέρασμα ἀναγκαῖον γίνεται· εἰ γὰρ τὸ Α παντὶ τῷ Β ἐξ ἀνάγκης, παντὶ μέρει αὐτοῦ ἐξ ἀνάγκης ὑπάρχει· τὶ δὲ τῶν Γ μέρος ἐστὶν τοῦ Β· ἐκείνῳ ἄρα τῷ μέρει ἀναγκαίως τὸ Α ὑπάρχει, ἀλλ’ οὐ παντὶ μέρει τοῦ Β ἀναγκαίως τὸ Α ὑπάρχει, ἀλλὰ μόνοις τοῖς ἀναγκαίοις μέρεσι τοῦ Β. τὰ δ’ αὐτὰ καὶ ἐπὶ τοῦ στερητικοῦ. εἰ δὲ ἡ μείζων ὑπάρχουσα ᾖ, καὶ τὸ συμπέρασμά ἔστιν ὑπάρχον καὶ οὐκ ἀναγκαῖον· ὅτι μὲν γὰρ ὑπάρχον συνάγεται, ἔστιν δεῖξαι δι’ ἀδυνάτου· ὅτι δὲ ἀναγκαῖον συνάγεται, οὐκ ἔστιν δεῖξαι δι’ ἀδυνάτου. τὸ γὰρ Α παντὶ τῷ Β ὑπαρχόντως,

τὸ δὲ Β τινὶ τῷ Γ ἀναγκαίως· λέγω ὅτι τὸ Α τινὶ τῷ Γ ὑπαρχόντως. εἰ δὲ ψεῦδος τὸ ὑπάρχειν τινί, ἀληθὲς τὸ ἀνάγκη μηδενί, οὐχὶ δὲ τὸ ἐνδέχεται μηδενί· τῷ γὰρ ὑπάρχοντι οὐκ ἀντίκειται τὸ ἐνδεχόμενον, ἐπειδὴ τὸ νῦν ὑπάρχον ἐνδέχεται εἰς ὕστερον μὴ ὑπάρχειν καὶ τὸ νῦν ὑπάρχον ἐνδεχόμενόν ἐστιν, οὗ μὴ ὄντος μὲν τεθέντος δὲ ὑπάρχειν οὐδὲν ἀδύνατον συμβαίνει. καὶ διὰ τοῦτο ἐν ταῖς εἰς ἀδύνατον ἀπαγωγαῖς οὐ ληπτέον ἀντικείμενον τῷ ὑπάρχειν τὸ ἐνδεχόμενον· οὐ γὰρ ἀντίκειται κατὰ τὸ ἀναγκαῖον καὶ ἀδύνατον ἀλλὰ κατὰ τὸ ἀληθὲς καὶ τὸ ψεῦδος. εἰ οὖν ψεῦδος τὸ Α τῷ Γ ὑπάρχειν τινί, ἀληθὲς τὸ Α τῷ Γ ἀνάγκη μηδενί· τὸ δὲ Γ τῷ Β ἀνάγκη τινί· τὸ Α ἄρα τῷ Β ἀνάγκη οὐ παντί· ὅπερ ἀδύνατον· ὑπάρχει γὰρ παντί· ἀντίφασις δὲ ἀνάγκη οὐ παντί, ὑπάρχει παντί οὐ μὴν ἔστιν δεῖξαι δι’ ἀδυνάτου καὶ ἀναγκαῖον συναγόμενον. οἷον λέγω ὅτι τὸ Α τῷ Γ ἐξ ἀνάγκης τινί· εἰ γὰρ

Ποῦ λέγει ὁ Πλάτων ἐν τῇ μίξει ἀναγκαίου καὶ ἐνδεχομένου τῇ χείρονι ἕπεσθαι τὸ συμπέρασμα; ἢ ἐν τῷ πρώτῳ τῆς Πολιτείας ἐν τῷ συμπεράσματι

τῶν πρὸς Πολέμαρχον λόγων ἐπὶ παραδειγμάτων τοιούτων·

Ἐπὶ μὲν τῶν καθόλου συζυγιῶν τοῦ πρώτου σχήματος τῆς ἐλάττονος προτάσεως ἀναγκαίας οὔσης, ἐὰν τὸ συμπέρασμα ἀναγκαῖον ὑποτεθῇ, ψεῦδος ἕπεται διὰ τῆς εἰς ἀδύνατον, ἤτοι εἰς ψεῦδος, ἀπαγωγῆς. ἐπὶ δὲ τοῦ ἐν μέρει οὐ δυνάμεθα διὰ τῆς εἰς ἀνύνατον ἀπαγωγῆς ἀναγκαίου τεθέντος τοῦ συμπεράσματος ψεῦδος συναγαγεῖν· ἀσυλλόγιστος γὰρ ἡ συμπλοκὴ γίνεται, οἵαν [δ’] ἂν πρότασιν προσλάβωμεν τῷ συμπεράσματι μερικῷ ὄντι· εἴτε γὰρ τὴν μερικὴν προσλάβωμεν, ἐκ δύο μερικῶν ἐστι καὶ ἀσυλλόγιστον, εἴτε τὴν καθόλου, γίνεται δεύτερον σχῆμα ἐκ δύο ὁμοιοσχημόνων προτάσεων καὶ οὕτως ἀσυλλόγιστον· ἀλλὰ δείκνυται ὑπάρχον τὸ συμπέρασμα διὰ τῶν ὅρων· κίνησις, ζῷον, λευκόν.

ΜΙΞΙΣ ΕΝ Β ΣΧΗΜΑΤΙ ΥΠΑΡΧΟΝΤΟΣ ΚΑΙ ΑΝΑΓΚΑΙΟΥ.

p. 30b7 Ἐπὶ δὲ τοῦ δευτέρου σχήματος. Ὅτι ἐν δευτέρῳ σχήματι μίξεως γινομένης, εἰ μὲν ἡ καθόλου ἀποφατικὴ πρότασις, ὡς ἐπὶ τῶν πρώτων τριῶν τρόπων, τῇ καθόλου ἀποφάσει ἕπεται τὸ συμπέρασμα· αὕτη γὰρ

μείζων γίνεται τοῦ πρώτου σχήματος ἐν τῇ εἰς ἄτοπον ἀπαγωγῇ· τῇ δὲ μείζονι τοῦ πρώτου σχήματος δέδεικται τὸ συμπέρασμα ἑπόμενον· εἰ δὲ μὴ ἢ καθόλου ἀποφατικὴ πρότασις, ὡς ἐν τῷ τετάρτῳ τρόπῳ, τῇ χείρονι ἕπεται τὸ συμπέρασμα. καὶ τὰς μὲν συναγούσας ἀναγκαῖον διὰ μόνου τοῦ κατὰ παντὸς καὶ κατὰ μηδενὸς δείκνυσιν, τὰς δ’ ὑπάρχον καὶ ἐπ’ εὐθείας καὶ δι’ ἀδυνάτου καὶ δι’ ὅρων.

p. 30b18 Εἰ δ’ ἡ κατηγορικὴ πρότασίς ἐστιν ἀναγκαία, οὐκ ἔστι τὸ συμπέρασμα ἀναγκαῖον. ὅτι ἐπὶ τῶν ἐξ ἀμφοτέρων καθόλου, ἐὰν ἡ καθόλου ἀπόφασις ὑπάρχουσα ᾖ, καὶ τὸ συμπέρασμα ὑπάρχον ἐστί, τριχῶς ἀποδείκνυσι. καὶ

τὸ Β οὐδενὶ τῷ Γ ὑπαρχόντως. ἐπεὶ γὰρ τὸ Γ οὐδενὶ τῷ Α ὑπάρχει διὰ τὴν ἀντιστροφήν, τὸ δὲ Α παντὶ τῷ Β ἐξ ἀνάγκης. γέγονε τὸ πρῶτον σχῆμα τὴν μείζονα ὑπάρχουσαν ἔχον, καὶ διὰ τοῦτο ὑπάρχον συνάγεται· τὸ Γ ἄρα οὐδενὶ τῷ Β ὑπάρχει· ὥστε καὶ τὸ Β οὐδενὶ τῷ Γ ὑπάρχει. δευτέρα δεῖξις· εἰ τὸ Β τῷ Γ οὐδενὶ ἐξ ἀνάγκης, καὶ τὸ Γ τῷ Β οὐδενὶ ἐξ ἀνάγκης· τὸ δὲ Β τῷ Α ἐξ ἀνάγκης τινὶ διὰ τὴν ἀντιστροφήν· τὸ Γ ἄρα τῷ Α οὐ παντὶ ἐξ ἀνάγκης· ἀλλὰ καὶ οὐδενὶ ὑπάρχει διὰ τὴν ἀντιστροφήν· ὅπερ ἀδύνατον. ἢ ὡς ἡ λέξις, τὸ Γ τῷ Α οὐ παντὶ ἐξ ἀνάγκης· ἀλλὰ καὶ παντὶ ὑπάρχει· εἰ γὰρ τὸ Α τῷ Γ οὐδενί ὑπάρχει, καὶ τὸ Γ τῷ Α οὐδενὶ ὑπάρχει· καὶ διὰ τοῦτο δύναται καὶ παντὶ ὑπάρχειν τὸ Γ τῷ Α. τρίτη δεῖξις τοῦ αὐτοῦ διὰ τῶν ὅρων· ζῷον παντὶ ἀνθρώπῳ ἐξ ἀνάγκης· ζῷον οὐδενὶ λευκῷ ὑπαρχόντως· καὶ ἄνθρωπος οὐδενὶ λευκῷ ὑπάρχει, εἰ μὴ ἄρα λέγοι τις, φησίν, ἄνθρωπος οὐδενὶ λευκῷ ἐξ ἀνάγκης, ἔστ’ ἄν, ὡς ἡ πρότασίς φησιν, ζῷον οὐδενὶ λευκῷ ὑπάρχῃ. ἀλλ’ οὕτω πᾶς συλλογισμὸς ἀναγκαῖον συνάγει διὰ τὸν ὅρον τοῦ συλλογισμοῦ. οὐκ ἄρα ληπτέον ἐν τοῖς συμπεράσμασι τό κατά τόν ὁρισμὸν ἀναγκαῖον.

p. 31a3 Ὅταν δ’ ἡ κατηγορικὴ καθόλου τε καὶ ἀναγκαία ᾖ. κατὰ μέρος διχῶς, φησίν, τὸ ὑπάρχον συνάγεται· καὶ γὰρ ἐν τῷ τετάρτῳ τρόπῳ, ὅτε καὶ ἔστιν καθόλου κατηγορική, καὶ ἐν τῷ τρίτῳ τρόπῳ, ὅταν ἡ μερικὴ κατηγορικὴ ἀναγκαία ἢ· τηνικαῦτα γὰρ ἡ λοιπὴ καθόλου ἀποφατικὴ ὑπάρχουσα γίνεται, καὶ διὰ τοῦτο τὸ συμπέρασμα ὑπάρχον. ὥστε διὰ τὸ δεύτερον πρόσκειται τὸ καὶ ἀναγκαία, οὐ διὰ τὸ πρῶτον· ὡς ἂν γὰρ ἔχῃ ἡ καθόλου κατηγορικὴ κατὰ τὸ ὑπάρχον καὶ ἀναγκαῖον, ὑπάρχον συνάγεται.

ΜΙΞΙΣ ΥΠΑΡΧΟΝΤΟΣ ΚΑΙ ΑΝΑΓΚΑΙΟΥ ΕΝ Γ ΣΧΗΜΑΤΙ.

p. 31a18 Ἐν δὲ τῷ τελευταίῳ σχήματι. Μίξεως γινομένης ὑπάρχοντος καὶ ἀναγκαίου ἐν τρίτῳ σχήματι ἐν τῷ πρώτῳ τρόπῳ πάντως ἀναγκαῖόν φησιν συνάγεσθαι ὁ Ἀριστοτέλης. διότι ἐν τούτῳ τῷ σχήματι τῇ μὴ