alexander-philosophy.in-aristotelis-analyticorum-priorum-librum-i-commentarium 31a18
’Ev δὲ τῷ τελευταίῳ σχήματι καθόλου μὲν ὄντων ὅρων πρὸς τὸ μέσον καὶ κατηγορικῶν ἀμφοτέρων . Μεταβέβηκεν ἐπὶ τὸ τρίτον σχῆμα καὶ δείκνυσι καὶ ἐν τούτῳ , πότε μὲν ἀναγκαῖον γίνεται τὸ συμπέρασμα τῆς μὲν ἑτέρας ἀναγκαίας οὔσης προτάσεως τῆς δ’ ἑτέρας ὑπαρχούσης , πότε δὲ ὑπάρχον . καὶ ἐν τούτῳ δὴ κατὰ τὴν ἐπὶ τὸ πρῶτον σχῆμα ἀναγωγὴν διὰ τῆς ἀντιστροφῆς τό τε ἀναγκαῖον καὶ ὑπάρχον δείκνυται συμπέρασμα · ἄν μὲν γὰρ ᾖ κειμένη ἀναγκαία ἐν τῷ τρίτῳ σχήματι αὕτη , ἥτις ἀναχθείσης τῆς συζυγίας διὰ τῆς ἀντιστροφῆς εἰς τὸ πρῶτον σχῆμα μείζων ἐστὶν ἐν ἐκείνῳ , ἔσται ἀναγκαῖον τὸ συμπέρασμα , ἄν δὲ ἐλάττων , ὑπάρχον . καταφατικῶν μὲν οὖν ἀμφοτέρων οὐσῶν καθόλου , ὁποτέρα ἀναγκαία ἄν ληφθῇ , ἀναγκαῖον ἔσται τὸ συμπέρασμα . τηρήσαντες γὰρ τὴν καθόλου καταφατικὴν ἀναγκαίαν καὶ ἀντιστρέψαντες τὴν ἑτέραν τὴν ὑπάρχουσαν καὶ ποιήσαντες ἐπὶ μέρους ὑπάρχουσαν ἐν πρώτῳ σχήματι ἕξομεν τὴν μείζονα καθόλου καταφατικὴν ἀναγκαίαν τὴν δὲ ἐλάττονα ἐπὶ μέρους καταφατικὴν ὑπάρχουσαν · οὔσης δὲ τοιαύτης συζυγίας ἀναγκαῖον τὸ συμπέρασμα . εἰ γὰρ εἴη τὸ μὲν Α παντὶ τῷ Γ ἐξ ἀνάγκης ὑπάρχον , τὸ δὲ Β παντὶ τῷ Γ ὑπαρχόντως , ἄν ἀντιστρέψωμεν τὴν Β Γ , ἔσται τὸ Γ τινὶ τῷ Β ὑπάρχον · κεῖται δὲ καὶ τὸ A παντὶ τῷ Γ ἐξ ἀνάγκης · ἐξ ὧν συναχθήσεται τὸ τὸ Α τινὶ τῷ Β ἐξ ἀνάγκης . τὸ δὲ τὸ γὰρ Β ὑπὸ τὸ Γ ἐστὶ δεικτικὸν προσέθηκε τοῦ τὸ πρῶτον γίνεσθαι σχῆμα καὶ ἐλάττονα εἶναι ἐν αὐτῷ τὴν Γ Β διὰ τὸ παντὶ τῷ Γ ἐξ ἀνάγκης τὸ Α ὑπάρχον ὑπάρξειν καὶ τῷ Β . ἀλλὰ κἀν ἀνάπαλιν τὸ μὲν Β ληφθῇ παντὶ τῷ Γ ἐξ ἀνάγκης , τὸ δὲ Α παντὶ τῷ Γ ὑπάρχῃ , ἀναγκαῖον ἔσται τὸ συμπέρασμα . ἀντιστρέψομεν γὰρ τὴν Α Γ τὴν ὑπάρχουσαν , καὶ ἔσται τὸ Γ τινὶ τῷ Α ὑπάρχον · ἔκειτο δὲ καὶ τὸ Β παντὶ τῷ Γ ἐξ ἀνάγκης · ἐξ ὧν συναχθήσεται τὸ Β τινὶ τῷ Α ἐξ ἀνάγκης . καὶ ἐπεὶ ἀντιστρέφει τὸ ἐπὶ μέρους καταφατικὸν ἀναγκαῖον , καὶ τὸ Α τινὶ τῷ Β ἐξ ἀνάγκης ὑπάρξει · ἔδει γὰρ τοῦτον εἶναι κατηγορούμενον ἐν τῷ συμπεράσματι , ἐπεὶ ἔκειτο αὐτὸς ὁ μείζων εἶναι · διὸ ἐδεήθημεν ἐπὶ τῆς συμπλοκῆς τῆς τοιαύτης ἀντιστρέψαι καὶ τὸ συμπέρασμα . αὐτὸς μέντοι τὸ ἀντιστρέψαι τὸ συμπέρασμα παρέλιπεν ἴσως ὡς ὂν σαφές · μόνον δὲ ἔδειξεν , ὅτι τὸ B καὶ τῷ Α τινὶ ἐξ ἀνάγκης ὑπάρξει , ἐπεὶ παντὶ τῷ Γ ἔκειτο ἐξ ἀνάγκης ὑπάρχειν . δεῖ δὲ πάλιν , ὡς εἶπον , καὶ τὸ Β Α ἀντιστρέψαι , ἵνα ἡ δεῖξις μὴ ἄλλου τινὸς ἀλλὰ τοῦ προκειμένου ᾖ · τὸ γὰρ Α μείζων ὅρος κεῖται · τοῦτον οὖν ἐν τῷ συμπεράσματι δεῖ κατηγορούμενον εἶναι .
Lemmas: ’Ev δέ ὁ τελευταῖος σχῆμα καθόλου μέν εἰμί ὁράω πρός ὁ μέσος καί κατηγορικός ἀμφότερος . μεταβαίνω ἐπί ὁ τρίτος σχῆμα καί δείκνυμι καί ἐν οὗτος , πότε μέν ἀναγκαῖος γίγνομαι ὁ συμπέρασμα ὁ μέν ἕτερος ἀναγκαῖος εἰμί πρότασις ὁ δέ ἕτερος ὑπάρχω , πότε δέ ὑπάρχω . καί ἐν οὗτος δή κατά ὁ ἐπί ὁ πρῶτος σχῆμα ἀναγωγή διά ὁ ἀντιστροφή ὁ τε ἀναγκαῖος καί ὑπάρχω δείκνυμι συμπέρασμα · ἄν μέν γάρ εἰμί κεῖμαι ἀναγκαῖος ἐν ὁ τρίτος σχῆμα οὗτος , ὅστις ἀνάγω ὁ συζυγία διά ὁ ἀντιστροφή εἰς ὁ πρῶτος σχῆμα μείζων εἰμί ἐν ἐκεῖνος , εἰμί ἀναγκαῖος ὁ συμπέρασμα , ἄν δέ μικρός , ὑπάρχω . καταφατικός μέν οὖν ἀμφότερος εἰμί καθόλου , ὁπότερος ἀναγκαῖος ἄν λαμβάνω , ἀναγκαῖος εἰμί ὁ συμπέρασμα . τηρέω γάρ ὁ καθόλου καταφατικός ἀναγκαῖος καί ἀντιστρέφω ὁ ἕτερος ὁ ὑπάρχω καί ποιέω ἐπί μέρος ὑπάρχω ἐν πρῶτος σχῆμα ἔχω ὁ μείζων καθόλου καταφατικός ἀναγκαῖος ὁ δέ μικρός ἐπί μέρος καταφατικός ὑπάρχω · εἰμί δέ τοιοῦτος συζυγία ἀναγκαῖος ὁ συμπέρασμα . εἰμί γάρ εἰμί ὁ μέν Α πᾶς ὁ Γ ἐκ ἀνάγκη ὑπάρχω , ὁ δέ Β πᾶς ὁ Γ ὑπάρχω , ἄν ἀντιστρέφω ὁ Β Γ , εἰμί ὁ Γ τις ὁ Β ὑπάρχω · κεῖμαι δέ καί ὁ A πᾶς ὁ Γ ἐκ ἀνάγκη · ἐκ ὅς συνάγω ὁ ὁ Α τις ὁ Β ἐκ ἀνάγκη . ὁ δέ ὁ γάρ Β ὑπό ὁ Γ εἰμί δεικτικός προστίθημι ὁ ὁ πρῶτος γίγνομαι σχῆμα καί μικρός εἰμί ἐν αὐτός ὁ Γ Β διά ὁ πᾶς ὁ Γ ἐκ ἀνάγκη ὁ Α ὑπάρχω ὑπάρχω καί ὁ Β . ἀλλά ἐν ἀνάπαλιν ὁ μέν Β λαμβάνω πᾶς ὁ Γ ἐκ ἀνάγκη , ὁ δέ Α πᾶς ὁ Γ ὑπάρχω , ἀναγκαῖος εἰμί ὁ συμπέρασμα . αντιστρέφω γάρ ὁ Α Γ ὁ ὑπάρχω , καί εἰμί ὁ Γ τις ὁ Α ὑπάρχω · κεῖμαι δέ καί ὁ Β πᾶς ὁ Γ ἐκ ἀνάγκη · ἐκ ὅς συνάγω ὁ Β τις ὁ Α ἐκ ἀνάγκη . καί ἐπεί ἀντιστρέφω ὁ ἐπί μέρος καταφατικός ἀναγκαῖος , καί ὁ Α τις ὁ Β ἐκ ἀνάγκη ὑπάρχω · ἐσθίω γάρ οὗτος εἰμί κατηγορέω ἐν ὁ συμπέρασμα , ἐπεί κεῖμαι αὐτός ὁ μείζων εἰμί · διό δήω ἐπί ὁ συμπλοκή ὁ τοιοῦτος ἀντιστρέφω καί ὁ συμπέρασμα . αὐτός μέντοι ὁ ἀντιστρέφω ὁ συμπέρασμα παραλείπω ἴσως ὡς εἰμί σαφής · μόνος δέ δείκνυμι , ὅτι ὁ B καί ὁ Α τις ἐκ ἀνάγκη ὑπάρχω , ἐπεί πᾶς ὁ Γ κεῖμαι ἐκ ἀνάγκη ὑπάρχω . δεῖ δέ πάλιν , ὡς εἶπον , καί ὁ Β Α ἀντιστρέφω , ἵνα ὁ δεῖξις μή ἄλλος τις ἀλλά ὁ πρόκειμαι εἰμί · ὁ γάρ Α μείζων ὅρος κεῖμαι · οὗτος οὖν ἐν ὁ συμπέρασμα δεῖ κατηγορέω εἰμί .