alexander-philosophy.in-aristotelis-analyticorum-priorum-librum-i-commentarium 51a1
Τῶν δ’ ἐν τῷ τελευταίῳ σχήματι εἷς μόνος οὐκ ἀνάγεται . Δείξας τοὺς ἐν τῷ πρώτῳ τοὺς τὸ ἐπὶ μέρους συνάγοντας δύο συλλογισμοὺς ἀναγομένους εἰς τὸ τρίτον σχῆμα λέγει πάλιν περὶ τῶν ἐν τῷ τρίτῳ σχήματι , καὶ τοὺς μὲν πέντε τῶν ἐν τούτῳ τῷ σχήματι φησί τε καὶ δείκνυσιν εἰς τὸ πρῶτον ἀναγομένους σχῆμα καὶ γὰρ καὶ ἐδείχθησαν ὄντες συλλογιστικοὶ τοῦτον τὸν τρόπον ) , τὸν δὲ ἕκτον μηκέτι , δι’ ἣν εἰρήκαμεν αἰτίαν . πρῶτον δὲ ἀνάγει τὸν ἐκ δύο καθόλου καταφατικῶν . ἐπεὶ γὰρ αἱ καταφατικαὶ αἱ καθόλου ἀντιστρέφουσι πρὸς τὰς ἐπὶ μέρους , κατηγορουμένων τοῦ τε Α καὶ τοῦ Β κατὰ παντὸς τοῦ Γ <ἂν> ἀντιστρέφωμεν τὴν Β Γ , τὸ Γ τινὶ τῷ Β · ἔκειτο δὲ καὶ τὸ Α παντὶ τῷ Γ · γίνεται ἐν πρώτῳ σχήματι τὸ Α τινὶ τῷ Β , ὃ ἦν δεικνύμενον καὶ διὰ τῆς ἐκκειμένης συζυγίας τῆς ἐν τρίτῳ σχήματι . τὸ δὲ οὐκοῦν ἐπεὶ ἀντιστρέφει τὸ Γ πρὸς ἑκάτερον ἴσον ἐστὶ τῷ ‘ἐπεὶ ἀμφότεραι αἱ προτάσεις οὖσαι καθόλου καταφατικαὶ ἀντιστρέφουσι , δυνησόμεθα , ἣν ἄν θελήσωμεν αὐτῶν ἀντιστρέφαι , ἀναγαγεῖν τὸν συλλογισμὸν · ἐπὶ τὸ πρῶτον σχῆμα᾿ . εἶτα ἑξῆς ἀνάγει τὸν ἐκ καθόλου καταφατικῆς τῆς μείζονος καὶ ἐπὶ μέρους καταφατικῆς τῆς ἐλάττονος ἐν τρίτῳ σχήματι ἀντιστρέψας πάλιν τὴν ἐπὶ μέρους καταφατικήν . τρίτον ἀνάγει τὸν ἐκ καθόλου καταφατικῆς τῆς ἐλάττονος καὶ ἐπὶ μέρους καταφατικῆς τῆς μείζονος , δι’ ἀντιστροφῆς μὲν καὶ τοῦτον τῆς ἐπὶ μέρους καταφατικῆς προτάσεως , ἐπειδὴ δὲ ἦν οὗτος διὰ δύο ἀντιστροφῶν δεικνύμενος καὶ γὰρ τὸ συμπέρασμα ἀντεστρέφετο αὐτοῦ πρὸς τῇ ἐπὶ μέρους προτάσει · οὕτως γὰρ ἐδείκνυτο τὸ προκείμενον ) , φησίν , ὅτι πρῶτον καὶ μείζονα ὅρον ληπτέον τὸν Β . ἐπεὶ γὰρ ἡ Β Γ πρότασίς ἐστι καθόλου , δεῖ δὲ ἐν πρώτῳ σχήματι τὴν μείζονα καθόλου εἶναι , φησὶ δεῖν ταύτην τὴν ] μείζονα ποιεῖν πρότασιν καὶ τὴν Α Γ ἐπὶ μέρους οὖσαν καταφατικὴν τικὴν ἐλάττονα · ἧς ἀντιστραφείσης ἔσται τὸ Β παντὶ τῷ Γ , τὸ Γ τινὶ τῷ Α , καὶ συναχθήσεται τὸ Β τινὶ τῷ Α συμ·πέρασμα , ὃ ἀντιστρέψαντες οὕτως ἕξομεν τὸ προκείμενον δεδειγμένον συμπέρασμα , ὃ ἦν καὶ διὰ τῆς προκειμένης τοῦ τρίτου σχήματος συζυγίας δεδειγμένον . ἐπὶ τούτοις τέταρτον ἀναλύει στερητικὸν ἐπὶ μέρους συνάγοντα τὸν ἐκ καθόλου ἀποφατικῆς τῆς μείζονος τῆς Α Γ καὶ καθόλου καταφατικῆς τῆς ἐλάττονος τῆς Β Γ · ἀντιστραφείσηςξ γὰρ τῆς καταφατικῆς τὸ πρῶτον γίνεται σχῆμα καὶ ταὐτὸν συμπέρασμα . πέμπτον ἀναλύει τὸν ἐκ καθόλου ἀποφατικῆς τῆς μείζονος τῆς Α Γ καὶ ἐπὶ μέρους καταφατικῆς τῆς ἐλάττονος τῆς Β Γ , ὁμοίως καὶ τοῦτον τῇ τῆς καταφατικῆς ἀντιστροφῇ .
Lemmas: ὁ δέ ἐν ὁ τελευταῖος σχῆμα εἷς μόνος οὐ ἀνάγω . δείκνυμι ὁ ἐν ὁ πρῶτος ὁ ὁ ἐπί μέρος συνάγω δύο συλλογισμός ἀνάγω εἰς ὁ τρίτος σχῆμα λέγω πάλιν περί ὁ ἐν ὁ τρίτος σχῆμα , καί ὁ μέν πέντε ὁ ἐν οὗτος ὁ σχῆμα φημί τε καί δείκνυμι εἰς ὁ πρῶτος ἀνάγω σχῆμα καί γάρ καί δείκνυμι εἰμί συλλογιστικός οὗτος ὁ τρόπος ) , ὁ δέ ἕκτος μηκέτι , διά ὅς εἴρω αἴτιος . πρῶτος δέ ἀνάγω ὁ ἐκ δύο καθόλου καταφατικός . ἐπεί γάρ ὁ καταφατικός ὁ καθόλου ἀντιστρέφω πρός ὁ ἐπί μέρος , κατηγορέω ὁ τε Α καί ὁ Β κατά πᾶς ὁ Γ ὅς ἀντιστρέφω ὁ Β Γ , ὁ Γ τις ὁ Β · κεῖμαι δέ καί ὁ Α πᾶς ὁ Γ · γίγνομαι ἐν πρῶτος σχῆμα ὁ Α τις ὁ Β , ὅς εἰμί δείκνυμι καί διά ὁ ἔκκειμαι συζυγία ὁ ἐν τρίτος σχῆμα . ὁ δέ οὐκοῦν ἐπεί ἀντιστρέφω ὁ Γ πρός ἑκάτερος ἴσος εἰμί ὁ ἐπεί ἀμφότερος ὁ πρότασις εἰμί καθόλου καταφατικός ἀντιστρέφω , δύναμαι , ὅς ἄν ἐθέλω αὐτός ἀντιστρέφω , ἀνάγω ὁ συλλογισμός · ἐπί ὁ πρῶτος σχῆμα . εἶτα ἑξῆς ἀνάγω ὁ ἐκ καθόλου καταφατικός ὁ μείζων καί ἐπί μέρος καταφατικός ὁ μικρός ἐν τρίτος σχῆμα ἀντιστρέφω πάλιν ὁ ἐπί μέρος καταφατικός . τρίτος ἀνάγω ὁ ἐκ καθόλου καταφατικός ὁ μικρός καί ἐπί μέρος καταφατικός ὁ μείζων , διά ἀντιστροφή μέν καί οὗτος ὁ ἐπί μέρος καταφατικός πρότασις , ἐπεί δέ εἰμί οὗτος διά δύο ἀντιστροφή δείκνυμι καί γάρ ὁ συμπέρασμα ἀντιστρέφω αὐτός πρός ὁ ἐπί μέρος πρότασις · οὕτως γάρ δείκνυμι ὁ πρόκειμαι ) , φημί , ὅτι πρῶτος καί μείζων ὅρος ληπτέος ὁ Β . ἐπεί γάρ ὁ Β Γ πρότασις εἰμί καθόλου , δεῖ δέ ἐν πρῶτος σχῆμα ὁ μείζων καθόλου εἰμί , φημί δήω οὗτος ὁ ] μείζων ποιέω πρότασις καί ὁ Α Γ ἐπί μέρος εἰμί καταφατικός τική μικρός · ὅς ἀντιστρέφω εἰμί ὁ Β πᾶς ὁ Γ , ὁ Γ τις ὁ Α , καί συνάγω ὁ Β τις ὁ Α συμπέρασμα , ὅς ἀντιστρέφω οὕτως ἔχω ὁ πρόκειμαι δείκνυμι συμπέρασμα , ὅς εἰμί καί διά ὁ πρόκειμαι ὁ τρίτος σχῆμα συζυγία δείκνυμι . ἐπί οὗτος τέταρτος ἀναλύω στερητικός ἐπί μέρος συνάγω ὁ ἐκ καθόλου ἀποφατικός ὁ μείζων ὁ Α Γ καί καθόλου καταφατικός ὁ μικρός ὁ Β Γ · ἀντιστρέφω γάρ ὁ καταφατικός ὁ πρῶτος γίγνομαι σχῆμα καί αὐτός συμπέρασμα . πέμπτος ἀναλύω ὁ ἐκ καθόλου ἀποφατικός ὁ μείζων ὁ Α Γ καί ἐπί μέρος καταφατικός ὁ μικρός ὁ Β Γ , ὁμοίως καί οὗτος ὁ ὁ καταφατικός ἀντιστροφή .