alexander-philosophy.in-aristotelis-analyticorum-priorum-librum-i-commentarium 51a34
Καὶ οἱ ἐκ τρίτου δὲ σχήματος ἀναλυθήσονται εἰς τὸ μέσον , ὅταν ᾖ καθόλου τὸ στερητικόν . Τριῶν ὄντων ἐν τρίτῳ σχήματι τῶν τὸ ἐπὶ μέρους ἀποφατικὸν συναγόντων , δύο μέν , οἳ ἐκ καθόλου ἀποφατικῆς τῆς μείζονος καὶ ἐκ καθόλου καταφατικῆς τῆς ἐλάττονος ἢ ἐπὶ μέρους , ἑνὸς δέ , ὃς ἦν ἐκ καθόλου μὲν καταφατικῆς τῆς ἐλάττονος ἐπὶ μέρους δὲ ἀποφατικῆς τῆς μείζονος , τῶν δὴ τριῶν τούτων τοὺς μὲν δύο φησὶν εἰς τὸ μέσον ἀναλύεσθαι σχῆμα τοὺς ἔχοντας τὸ καθόλου ἀποφατικὸν ἀντιστραφεισῶν ἀμφοτέρων τῶν προτάσεων . ἄν γὰρ ᾖ κείμενον τὸ Α τῷ Γ οὐδενί , τὸ Β τῷ Γ ἢ παντὶ ἢ τινί , ἀντιστραφεισῶν ἀμφοτέρων γίνεται ‘τὸ Γ τῷ Α οὐδενί , τὸ Γ τῷ Β τινί᾿ ἐν δευτέρῳ σχήματι συζυγία ἐπὶ μέρους ἀποφατικὸν συνάγουσα . τὸν δὲ τρίτον τὸν τὴν ἐπὶ μέρους ἀποφατικὴν ἔχοντα φησὶν οὐδ’ αὐτὸν ἀναχθήσεσθαι εἰς τὸ δεύτερον , ὥσπερ οὐδὲ ὁ ἐν δευτέρῳ ἐκ τῆς ἐπὶ μέρους ἀποφατικῆς εἰς τὸ τρίτον ἀνήγετο . καὶ ἡ αὐτὴ αἰτία · δεῖ μὲν γὰρ ἀμφοτέρας ἀντιστραφῆναι , φῆναι , τούτων δὲ ἡ μὲν οὐδ’ ὅλως ἀντιστρέφει , ἡ δὲ ἀντιστραφεῖσα ἐπὶ μέρους γίνεται · μὴ οὔσης δὲ καθόλου προτάσεως ἀδύνατον συλλογισμὸν γενέσθαι . ἀμφότερα δὲ ἔδειξέ σοι , ὅτι οὗτοι οἱ συλλογισμοὶ οἱ τὴν ἐπὶ μέρους ἀποφατικὴν ἔχοντες οὐκ ἀναλύονται εἰς ἄλλο σχῆμα , ἐπὶ μὲν τοῦ ἐν δευτέρῳ σχήματι αἰτιασάμενος τὸ τὴν καθόλου καταφατικήν , εἰ ἀντιστραφείη , 0 ἐπὶ μέρους γίνεσθαι , ἧς ἐπὶ μέρους γενομένης καὶ ἀντιστρεφομένης τῆς ἑτέρας καὶ μὴ ἀντιστρεφομένης ἀσυλλόγιστος ἡ συζυγία τῷ ἀμφοτέρας ἐπὶ μέρους γίνεσθαι , ἐπὶ δὲ τοῦ ἐν τρίτῳ , ὅτι μὴ οἷόν τε τὴν ἐπὶ μέρους ἀποφατικὴν ἀντιστρέψαι , ἃ ἀμφότερα αἴτια καθ’ ἑκάτερον τῶν συλλογισμῶν ἐστι τοῦ μὴ δύνασθαι αὐτοὺς εἰς θάτερον ἀναχθῆναι σχῆμα . ὅτι δὲ οὐδ’ εἰς τὸ πρῶτον ἀνάγονται σχῆμα οὗτοι , ἔδειξέ τε ἔμπροσθεν , καὶ νῦν ὑπέμνησε δὲ ἡμᾶς , καὶ ὅτι τῶν ἄλλων , καὶ τῶν ἐν δευτέρῳ σχήματι καὶ τῶν ἐν τρίτῳ , συλλογισμῶν ἀναλυομένων εἰς τὸ πρῶτον σχῆμα δι’ ἀντιστροφῶν καὶ τὴν πίστιν τοῦ συνάγειν παρ’ ἐκείνου λαμβανόντων οὗτοι μόνοι οἱ δύο διὰ μὲν ἀντιστροφῶν οὐκ ἀνήγοντο εἰς τὸ πρῶτον σχῆμα , ἐδείκνυντο δὲ συνάγοντες διὰ μόνης τῆς εἰς ἀδύνατον ἀπαγωγῆς .
Lemmas: καί ὁ ἐκ τρίτος δέ σχῆμα ἀναλύω εἰς ὁ μέσος , ὅταν εἰμί καθόλου ὁ στερητικός . τρεῖς εἰμί ἐν τρίτος σχῆμα ὁ ὁ ἐπί μέρος ἀποφατικός συνάγω , δύο μέν , ἕ ἐκ καθόλου ἀποφατικός ὁ μείζων καί ἐκ καθόλου καταφατικός ὁ μικρός ἢ ἐπί μέρος , εἷς δέ , ὅς εἰμί ἐκ καθόλου μέν καταφατικός ὁ μικρός ἐπί μέρος δέ ἀποφατικός ὁ μείζων , ὁ δή τρεῖς οὗτος ὁ μέν δύο φημί εἰς ὁ μέσος ἀναλύω σχῆμα ὁ ἔχω ὁ καθόλου ἀποφατικός ἀντιστρέφω ἀμφότερος ὁ πρότασις . ἄν γάρ εἰμί κεῖμαι ὁ Α ὁ Γ οὐδείς , ὁ Β ὁ Γ ἢ πᾶς ἢ τις , ἀντιστρέφω ἀμφότερος γίγνομαι τότος Γ ὁ Α οὐδείς , ὁ Γ ὁ Β Τίνια ἐν δύο σχῆμα συζυγία ἐπί μέρος ἀποφατικός συνάγω . ὁ δέ τρίτος ὁ ὁ ἐπί μέρος ἀποφατικός ἔχω φημί οὐδέ αὐτός ἀνάγω εἰς ὁ δύο , ὥσπερ οὐδέ ὁ ἐν δύο ἐκ ὁ ἐπί μέρος ἀποφατικός εἰς ὁ τρίτος ἀνάγω . καί ὁ αὐτός αἰτία · δεῖ μέν γάρ ἀμφότερος ἀντιστρέφω , φαίνω , οὗτος δέ ὁ μέν οὐδέ ὅλως ἀντιστρέφω , ὁ δέ ἀντιστρέφω ἐπί μέρος γίγνομαι · μή εἰμί δέ καθόλου πρότασις ἀδύνατος συλλογισμός γίγνομαι . ἀμφότερος δέ δείκνυμι σύ , ὅτι οὗτος ὁ συλλογισμός ὁ ὁ ἐπί μέρος ἀποφατικός ἔχω οὐ ἀναλύω εἰς ἄλλος σχῆμα , ἐπί μέν ὁ ἐν δύο σχῆμα αἰτιάομαι ὁ ὁ καθόλου καταφατικός , εἰμί ἀντιστρέφω , 0 ἐπί μέρος γίγνομαι , ὅς ἐπί μέρος γίγνομαι καί ἀντιστρέφω ὁ ἕτερος καί μή ἀντιστρέφω ἀσυλλόγιστος ὁ συζυγία ὁ ἀμφότερος ἐπί μέρος γίγνομαι , ἐπί δέ ὁ ἐν τρίτος , ὅτι μή οἷος τε ὁ ἐπί μέρος ἀποφατικός ἀντιστρέφω , ὁ ἀμφότερος αἴτιος κατά ἑκάτερος ὁ συλλογισμός εἰμί ὁ μή δύναμαι αὐτός εἰς ἕτερος ἀνάγω σχῆμα . ὅτι δέ οὐδέ εἰς ὁ πρῶτος ἀνάγω σχῆμα οὗτος , δείκνυμι τε ἔμπροσθεν , καί νῦν ὑπομιμνῄσκω δέ ἐγώ , καί ὅτι ὁ ἄλλος , καί ὁ ἐν δύο σχῆμα καί ὁ ἐν τρίτος , συλλογισμός ἀναλύω εἰς ὁ πρῶτος σχῆμα διά ἀντιστροφή καί ὁ πίστις ὁ συνάγω παρά ἐκεῖνος λαμβάνω οὗτος μόνος ὁ δύο διά μέν ἀντιστροφή οὐ ἀνάγω εἰς ὁ πρῶτος σχῆμα , δείκνυμι δέ συνάγω διά μόνος ὁ εἰς ἀδύνατος ἀπαγωγή .