alexander-philosophy.in-aristotelis-analyticorum-priorum-librum-i-commentarium 32a9
’Ev ἀμφοτέροις δὲ καὶ καταφατικῶν καὶ στερητικῶν ὄντων . Εἰπὼν ἐν ἀμφοτέροις , τίσιν ἀμφοτέροις λέγει , ἐδήλωσε διὰ τοὐ καὶ καταφατικῶν καὶ ἀποφατικῶν ὄντων . <ἢ> ἐν λέγει περὶ τῶν προειρημένων , τοῦ τε ἀναγκαίου καὶ τοῦ ὑπάρχοντος , ὡς δι’ ὧν ἐπιφέρει δηλοῖ · ἐν γὰρ τούτοις ἄν τε καταφατικὸν συμπέρασμα ᾖ ἄν τε ἀποφατικόν , ἐν ἑκατέρῳ αὐτῶν ἀνάγκη τὴν ἑτέραν πρότασιν ὁμοίαν εἶναι τῷ συμπεράσματι ἐν πᾶσι τοῖς σχήμασιν . καθ᾿ ὃ δὲ δεῖ ὁμοίαν εἶναι καὶ τὴν ἑτέραν τῶν κειμένων προτάσεων τῷ συμπεράσματι , λέγει καὶ προστίθησιν , ἐπεὶ ἐγχωρεῖ γε καὶ ἀμφοτέρας ὁμοίας εἶναι τῷ συμπεράσματι . ἢ ἐπὶ τῶν μίξεων , περὶ ὧν νῦν λέγει , οὐχ οἷόν τε τοῦτο . πῶς οὖν ὅμοιον ἐν ταῖς προειρημέναις μίξεσι , λέγει · εἰ μὲν γὰρ ὑπάρχον , φησίν , ὑπάρχουσαν , εἰ δ’ ἀναγκαῖον , ἀναγκαίαν . οὐκέτι γάρ , εἰ ἐπὶ μέρους τὸ συμπέρασμα , καὶ τῶν προτάσεων δεῖ τὴν ἑτέραν ἐπὶ μέρους εἶναι πάντως διὰ τὸ ἐν τῷ τρίτῳ σχήματι καὶ τῶν δύο καθόλου οὐσῶν ἐπὶ μέρους γίνεσθαι τὸ συμπέρασμα . ἢ καὶ τότε δυνάμει ἐπὶ μέρους εἴληπται · δηλοῖ δὲ ἡ εἰς τὸ πρῶτον σχῆμα ἀναγωγὴ τῆς συζυγίας δι’ ἀντιστροφῆς γινομένη , δι’ ἧς ἡ ἑτέρα τῶν καθόλου ἐπὶ μέρους γίνεται . δύναιτο δ’ ἄν τὸ ἐν ἀμφοτέροις τῆς μίξεως εἶναι δηλωτικόν · ὅταν γὰρ ἐν ταῖς συζυγίαις ἀμφότερα ᾖ , καὶ τὸ ὑπάρχον καὶ τὸ ἀναγκαῖον , δεῖν φησι τὴν ἑτέραν πρότασιν ὁμοίαν εἶναι τῷ συμπεράσματι κατὰ τὸν τρόπον . δῆλον δὲ καὶ ὅτι ἀποφατικοῦ τοῦ συμπεράσματος ὄντος ἀποφατικὴν δεῖ πρότασιν κεῖσθαι , ὃ οὐδὲ αὐτὸ πρόσκειται διὰ τὸ περὶ τοῦ ἀναγκαίου καὶ ὑπάρχοντος μόνων αὐτὸν λέγειν νῦν , ἐπεὶ χρήσιμον ἔσται τοῦτο αὐτῷ τετηρημένον πρὸς τὰ μέλλοντα . ὅτι δὲ τὸ πρὸ ὀλίγου ῥηθὲν ἐπὶ τῆς ἐν τρίτῳ σχήματι ἐκ δύο καθόλου καταφατικῶν συζυγίας εἶπε τὸ μὴ ἔσεσθαι τοῦ ὑπάρχειν συλλογισμόν , ἄν μὴ ὦσιν αἱ προτάσεις ἀμφότεραι ἐν τῷ ὑπάρχειν , νῦν ἐδήλωσε · λέγων εἰ ] γὰρ καθόλου νῦν εἶπεν ἀνάγκη τὴν ἑτέραν πρότασιν ὁμοίαν εἶναι τῷ συμπεράσματι , εἰ μὲν ὑπάρχον , ὑπάρχουσαν , ὡς δυναμένου καὶ ἐκ μιᾶς ὑπαρχούσης τοῦ ὑπάρχειν συμπεράσματος γίνεσθαι .
Lemmas: ’Ev ἀμφότερος δέ καί καταφατικός καί στερητικός εἰμί . εἶπον ἐν ἀμφότερος , τίσις ἀμφότερος λέγω , δηλόω διά ὁ καί καταφατικός καί ἀποφατικός εἰμί . ἤ ἐν λέγω περί ὁ προερέω , ὁ τε ἀναγκαῖος καί ὁ ὑπάρχω , ὡς διά ὅς ἐπιφέρω δηλόω · ἐν γάρ οὗτος ἄν τε καταφατικός συμπέρασμα εἰμί ἄν τε ἀποφατικός , ἐν ἑκάτερος αὐτός ἀνάγκη ὁ ἕτερος πρότασις ὅμοιος εἰμί ὁ συμπέρασμα ἐν πᾶς ὁ σχῆμα . κατά ὅς δέ δεῖ ὅμοιος εἰμί καί ὁ ἕτερος ὁ κεῖμαι πρότασις ὁ συμπέρασμα , λέγω καί προστίθημι , ἐπεί ἐγχωρέω γε καί ἀμφότερος ὅμοιος εἰμί ὁ συμπέρασμα . ἢ ἐπί ὁ μίξις , περί ὅς νῦν λέγω , οὐ οἷος τε οὗτος . πῶς οὖν ὅμοιος ἐν ὁ προερέω μίξις , λέγω · εἰμί μέν γάρ ὑπάρχω , φημί , ὑπάρχω , εἰμί δέ ἀναγκαῖος , ἀναγκαῖος . οὐκέτι γάρ , εἰμί ἐπί μέρος ὁ συμπέρασμα , καί ὁ πρότασις δεῖ ὁ ἕτερος ἐπί μέρος εἰμί πάντως διά ὁ ἐν ὁ τρίτος σχῆμα καί ὁ δύο καθόλου εἰμί ἐπί μέρος γίγνομαι ὁ συμπέρασμα . ἢ καί τότε δύναμις ἐπί μέρος λαμβάνω · δηλόω δέ ὁ εἰς ὁ πρῶτος σχῆμα ἀναγωγή ὁ συζυγία διά ἀντιστροφή γίγνομαι , διά ὅς ὁ ἕτερος ὁ καθόλου ἐπί μέρος γίγνομαι . δύναμαι δέ ἄν ὁ ἐν ἀμφότερος ὁ μίξις εἰμί δηλωτικός · ὅταν γάρ ἐν ὁ συζυγία ἀμφότερος εἰμί , καί ὁ ὑπάρχω καί ὁ ἀναγκαῖος , δήω φημί ὁ ἕτερος πρότασις ὅμοιος εἰμί ὁ συμπέρασμα κατά ὁ τρόπος . δῆλος δέ καί ὅτι ἀποφατικός ὁ συμπέρασμα εἰμί ἀποφατικός δεῖ πρότασις κεῖμαι , ὅς οὐδέ αὐτός πρόσκειμαι διά ὁ περί ὁ ἀναγκαῖος καί ὑπάρχω μόνος αὐτός λέγω νῦν , ἐπεί χρήσιμος εἰμί οὗτος αὐτός τηρέω πρός ὁ μέλλω . ὅτι δέ ὁ πρό ὀλίγος ἐρώ ἐπί ὁ ἐν τρίτος σχῆμα ἐκ δύο καθόλου καταφατικός συζυγία εἶπον ὁ μή εἰμί ὁ ὑπάρχω συλλογισμός , ἄν μή εἰμί ὁ πρότασις ἀμφότερος ἐν ὁ ὑπάρχω , νῦν δηλόω · λέγω εἰμί ] γάρ καθόλου νῦν εἶπον ἀνάγκη ὁ ἕτερος πρότασις ὅμοιος εἰμί ὁ συμπέρασμα , εἰμί μέν ὑπάρχω , ὑπάρχω , ὡς δύναμαι καί ἐκ εἷς ὑπάρχω ὁ ὑπάρχω συμπέρασμα γίγνομαι .