alexander-philosophy.in-aristotelis-analyticorum-priorum-librum-i-commentarium 30b7
Ἐπὶ δὲ δευτέρου σχήματος , εἰ μὲν ἡ στερητικὴ πρότασίς ἐστιν ἀναγκαία , καὶ τὸ συμπέρασμα ἔσται ἀναγκαῖον , εἰ δ’ ἡ κατηγορική , οὐκ ἀναγκαῖον . Δεῖ μὲν τῷ εἰ μὲν ἡ στερητικὴ πρότασις <τὸ> ‘καθόλου’ προσυπακούειν · περὶ γὰρ πρώτων λέγει τῶν ἐκ καθόλου προτάσεων · ἐν ᾗ γὰρ συμπλοκῇ ἡ ἐπὶ μέρους ἐστὶ στερητική ἔστι δὲ ἐν τῇ τετάρτῃ συζυγίᾳ τὸ ἀποφατικὸν τοιοῦτον ) , ὅταν ᾖ ἀναγκαία , οὐ γίνεται ἀναγκαῖον τὸ συμπέρασμα . τὸ οὖν εἰ μὲν ἡ στερητικὴ πρότασίς ἐστιν ἀναγκαία ἐν τοῖς καθόλου συλλογισμοῖς ἀκουστέον · περὶ γὰρ τούτων πρώτως ποιεῖται τὸν λόγον · προελθὼν γοῦν λέγει “ ὁμοίως δὲ ἕξει καὶ ἐπὶ τῶν ἐν μέρει συλλογισμῶν ” . ἀκόλουθα δέ ἐστιν , ἃ ἐπὶ τοῦ δευτέρου σχήματος λέγει , τοῖς ἐπὶ τοῦ πρώτου δεδειγμένοις αὐτῷ . ἐπεὶ γὰρ ἐν ἐκείνῳ τῆς μείζονος προτάσεως ἀναγκαίας οὔσης ἐν ταῖς μίξεσιν ἀναγκαῖον ἐγίνετο τὸ συμπέρασμα , τὸ δὲ δεύτερον σχῆμα τήν τε γένεσιν ἔχει ἀπὸ τοῦ πρώτου τῆς γὰρ ἐν ἐκείνῳ μείζονος ἀντιστραφείσης προτάσεως γέγονε τοῦτο ) , καὶ δι’ ἀντιστροφῆς οἱ πλεῖστοι τῶν ἐν τούτῳ συλλογισμῶν εἰς τὸ πρῶτον ἀνάγονται σχῆμα ἀντιστραφεῖσα γὰρ ἡ στερητικὴ καθόλου ἐν τῷ δευτέρῳ σχήματι γίνεται μείζων ἐν τῷ πρώτῳ ) , ὅταν δὴ αὕτη ἀναγκαία ᾖ , ἀναγκαῖον ἔσται καὶ τὸ συμπέρασμα . ἐπεὶ γὰρ δεῖ μὲν ἐν τῷ πρώτῳ σχήματι τὴν μείζονα εἶναι καθόλου , εἰ συλλογισμὸς γίνοιτο , δεῖ δὲ ἀντιστραφείσης τινὸς ἐκ τοῦ δευτέρου σχήματος γίνεσθαι τὴν μείζονα , ἐπειδὴ οὕτως ἐγίνετο τὸ δεύτερον σχῆμα , αὕτη ἔσται πρότασις ἀντιστρεφομένη , ἥτις καθόλου τέ ἐστι καὶ ἀντιστραφεῖσα καθόλου μένει · τοιαύτη δέ ἐστι μόνη ἡ καθόλου ἀποφατική . ταύτης ἄρα ἀντιστρεφομένης ἡ εἰς τὸ πρῶτον σχῆμα τοῦ δευτέρου ἀναγωγή . ὅταν δὴ αὕτη ᾖ ἀναγκαία , ἀναγκαῖον ἔσται τὸ συμπέρασμα , ἐπεὶ καὶ ἀντιστραφεῖσα ἀναγκαία μένει καὶ γίνεται ἡ μείζων ἐν πρώτῳ σχήματι . οὐκέτι μέντοι γε τῆς κατηγορικῆς προτάσεως ἀναγκαίας γενομένης ἐν δευτέρῳ σχήματι ἀναγκαῖον τὸ συμπέρασμα · αὕτη γάρ ἐστιν ἡ γινομένη ἐλάττων ἐν τῇ εἰς τὸ πρῶτον σχῆμα ἀναγωγῇ τῶν τοῦ δευτέρου σχήματος συζυγιῶν · οὔσης δὲ τῆς ἐλάττονος ἐν αὐτῷ ἀναγκαίας ὑπάρχον ἐγίνετο τὸ συμπέρασμα .
Lemmas: ἐπί δέ δύο σχῆμα , εἰμί μέν ὁ στερητικός πρότασις εἰμί ἀναγκαῖος , καί ὁ συμπέρασμα εἰμί ἀναγκαῖος , εἰμί δέ ὁ κατηγορικός , οὐ ἀναγκαῖος . Δεύς μέν ὁ εἰμί μέν ὁ στερητικός πρότασις ὅς καθόλος προσυπακούω · περί γάρ πρῶτος λέγω ὁ ἐκ καθόλου πρότασις · ἐν ὅς γάρ συμπλοκή ὁ ἐπί μέρος εἰμί στερητικός εἰμί δέ ἐν ὁ τέταρτος συζυγία ὁ ἀποφατικός τοιοῦτος ) , ὅταν εἰμί ἀναγκαῖος , οὖον γίγνομαι ἀναγκαῖος ὁ συμπέρασμα . ὁ οὖν εἰμί μέν ὁ στερητικός πρότασις εἰμί ἀναγκαῖος ἐν ὁ καθόλου συλλογισμός ἀκούω · περί γάρ οὗτος πρῶτος ποιέω ὁ λόγος · προέρχομαι γοῦν λέγω “ ὁμοίως δέ ἔχω καί ἐπί ὁ ἐν μέρος συλλογισμός ” . ἀκόλουθος δέ εἰμί , ὁ ἐπί ὁ δύο σχῆμα λέγω , ὁ ἐπί ὁ πρῶτος δείκνυμι αὐτός . ἐπεί γάρ ἐν ἐκεῖνος ὁ μείζων πρότασις ἀναγκαῖος εἰμί ἐν ὁ μίξις ἀναγκαῖος γίγνομαι ὁ συμπέρασμα , ὁ δέ δύο σχῆμα ὁ τε γένεσις ἔχω ἀπό ὁ πρῶτος ὁ γάρ ἐν ἐκεῖνος μείζων ἀντιστρέφω πρότασις γίγνομαι οὗτος ) , καί διά ἀντιστροφή ὁ πλεῖστος ὁ ἐν οὗτος συλλογισμός εἰς ὁ πρῶτος ἀνάγω σχῆμα ἀντιστρέφω γάρ ὁ στερητικός καθόλου ἐν ὁ δύο σχῆμα γίγνομαι μείζων ἐν ὁ πρῶτος ) , ὅταν δή οὗτος ἀναγκαῖος εἰμί , ἀναγκαῖος εἰμί καί ὁ συμπέρασμα . ἐπεί γάρ δεῖ μέν ἐν ὁ πρῶτος σχῆμα ὁ μείζων εἰμί καθόλου , εἰμί συλλογισμός γίγνομαι , δεῖ δέ ἀντιστρέφω τις ἐκ ὁ δύο σχῆμα γίγνομαι ὁ μείζων , ἐπεί οὕτως γίγνομαι ὁ δύο σχῆμα , οὗτος εἰμί πρότασις ἀντιστρέφω , ὅστις καθόλου τε εἰμί καί ἀντιστρέφω καθόλου μένω · τοιοῦτος δέ εἰμί μόνος ὁ καθόλου ἀποφατικός . οὗτος ἄρα ἀντιστρέφω ὁ εἰς ὁ πρῶτος σχῆμα ὁ δύο ἀναγωγή . ὅταν δή οὗτος εἰμί ἀναγκαῖος , ἀναγκαῖος εἰμί ὁ συμπέρασμα , ἐπεί καί ἀντιστρέφω ἀναγκαῖος μένω καί γίγνομαι ὁ μείζων ἐν πρῶτος σχῆμα . οὐκέτι μέντοι γε ὁ κατηγορικός πρότασις ἀναγκαῖος γίγνομαι ἐν δύο σχῆμα ἀναγκαῖος ὁ συμπέρασμα · οὗτος γάρ εἰμί ὁ γίγνομαι μικρός ἐν ὁ εἰς ὁ πρῶτος σχῆμα ἀναγωγή ὁ ὁ δύο σχῆμα συζυγία · εἰμί δέ ὁ μικρός ἐν αὐτός ἀναγκαῖος ὑπάρχω γίγνομαι ὁ συμπέρασμα .