alexander-philosophy.in-aristotelis-analyticorum-priorum-librum-i-commentarium 32b38
Ὅταν οὖν τὸ Α παντὶ τῷ Β ἐνδέχηται καὶ τὸ Β παντὶ τῷ Γ . Δῆλον ὅτι ‘ἐνδέχηται᾿ · τοῦτο γὰρ προείρηκε . φησὶ δὲ οὕτως ληφθεισῶν τῶν προτάσεων καθόλου καταφατικῶν ἐνδεχομένων ἐν πρώτῳ σχήματι ( περὶ γὰρ τούτου τοῦ σχήματος καὶ τῶν ἐν τούτῳ συζυγιῶν πρῶτον ἀνάγκη λέγειν , ὅτι καὶ οἱ ἐν τοῖς ἄλλοις διὰ τούτων δείκνυνται ) , φησὶ δὴ καθόλου καταφατικὸν ἔσεσθαι ἐνδεχόμενον τὸ συμπέρασμα . τὸ δὲ τοῦτο δὲ φανερὸν ἐκ τοῦ ὁρισμοῦ δηλωτικόν ἐστιν , ὅτι τὸ συνάγεσθαι ἐν τῇ προκειμένῃ συζυγίᾳ καθόλου ἐνδεχόμενον καταφατικὸν συμπέρασμα δῆλόν ἐστιν ἐκ τοῦ ὁρισμοῦ τοῦ κατὰ παντός · ἦν γὰρ κτὰ παντός , “ ἐν ᾧ μηδὲν ἦν λαβεῖν , καθ’ οὗ θάτερον οὐ ῥηθήσεται ” . ὅταν δὴ τὸ Α κατὰ παντὸς τοῦ Β ληφθῇ ἐνδεχομένως , οὐδὲν ἔσται τοῦ Β , καθ’ οὗ τὸ Α οὐκ ἐνδέξεται · τὸ δὲ Γ ὑπὸ τὸ Β ἐστίν , ὥστε καὶ κατὰ τούτου τὸ Α παντὸς ἐνδέχεται . ἡ αὐτὴ δεῖξις , κἄν τὸ μὲν Α ἐνδέχηται μηδενὶ τῷ Β , τὸ δὲ Β παντὶ ἐνδέχηται τῷ Γ · συνάγεται γὰρ πάλιν τὸ Α ἐνδεχομένως μηδενὶ τῷ Γ . καὶ τοῦτο δῆλον πάλιν διὰ τοῦ ὁρισμοῦ τοῦ κατὰ μηδενός · οὐδὲν γὰρ ἔστι τοῦ Β λαβεῖν , ᾧ τὸ Α οὐκ ἐνδέχεται μὴ ὑπάρχειν . αἱ γὰρ ἐν τῷ πρώτῳ σχήματι συναγωγαὶ διὰ τούτων γίνονται . εἰπὼν δὲ ἐπὶ τῆς ἐκ δύο καθόλου καταφατικῶν ἐνδεχομένων συζυγίας ἐν τῷ πρώτῳ σχήματι φανερὸν τὸ συναγόμενον εἷναι ἐκ τοῦ ὁρισμοῦ ( τὸ γὰρ ἐνδέχεσθαι παντὶ ὑπάρχειν οὕτως πρῶτον ἔθηκε τὴν ἐφεξῆς συζυγίαν τὴν ἔχουσαν τὴν μείζονα καθόλου ἀποφατικὴν ἐνδεχομένην τὴν δὲ ἐλάττονα καθόλου καταφατικὴν ἐνδεχομένην , εἶθ’ οὕτως τὸν ὁρισμὸν ἀποδέδωκε τοῦ κατὰ παντός , δι’ οὗ ἔφη δῆλον εἶναι τὸ συναγόμενον ἐν τῇ πρὸ ταύτης συζυγίᾳ . διὸ καὶ ἀσαφέστερον ἡ λέξις ἔχειν δοκεῖ . ἢ προσεξακούειν δεῖ , ὅτι καὶ τὸ κατὰ μηδενὸς ὁμοίως · εἰ γὰρ τὸ Α τῷ Β ἐνδέχεται μηδενί , οὐδὲν ἔσται λαβεῖν τοῦ Β , ᾧ τὸ Α οὐκ ἐνδέχεται μὴ ὑπάρχειν . δύναται καὶ ἀμφοτέρων ἐμνημονευκέναι , τοῦ τε καταφατικοῦ καὶ τοῦ ἀποφατικοῦ , διὰ τοῦ τὸ γὰρ καθ’ οὗ τὸ Β ἐνδέχεται , τὸ Α ἐνδέχεσθαι ὑπάρχειν , καὶ δεῖ προσυπακούειν ‘ἢ ἐνδέχεσθαι μὴ ὑπάρχειν᾿ .
Lemmas: ὅταν οὖν ὁ Α πᾶς ὁ Β ἐνδέχομαι καί ὁ Β πᾶς ὁ Γ . Δῆλος ὅτι ἐνδέχομαι · οὗτος γάρ προαγορεύω . φημί δέ οὕτως λαμβάνω ὁ πρότασις καθόλου καταφατικός ἐνδέχομαι ἐν πρῶτος σχῆμα ( περί γάρ οὗτος ὁ σχῆμα καί ὁ ἐν οὗτος συζυγία πρῶτος ἀνάγκη λέγω , ὅτι καί ὁ ἐν ὁ ἄλλος διά οὗτος δείκνυμι ) , φημί δή καθόλου καταφατικός εἰμί ἐνδέχομαι ὁ συμπέρασμα . ὁ δέ οὗτος δέ φανερός ἐκ ὁ ὁρισμός δηλωτικός εἰμί , ὅτι ὁ συνάγω ἐν ὁ πρόκειμαι συζυγία καθόλου ἐνδέχομαι καταφατικός συμπέρασμα δῆλος εἰμί ἐκ ὁ ὁρισμός ὁ κατά πᾶς · εἰμί γάρ κτάομαι πᾶς , “ ἐν ὅς μηδείς εἰμί λαμβάνω , κατά ὅς ἕτερος οὖον εἴρω ” . ὅταν δή ὁ Α κατά πᾶς ὁ Β λαμβάνω ἐνδεχομένως , οὐδείς εἰμί ὁ Β , κατά ὅς ὁ Α οὐ ἐνδέχομαι · ὁ δέ Γ ὑπό ὁ Β εἰμί , ὥστε καί κατά οὗτος ὁ Α πᾶς ἐνδέχομαι . ὁ αὐτός δεῖξις , ἄν ὁ μέν Α ἐνδέχομαι μηδείς ὁ Β , ὁ δέ Β πᾶς ἐνδέχομαι ὁ Γ · συνάγω γάρ πάλιν ὁ Α ἐνδεχομένως μηδείς ὁ Γ . καί οὗτος δῆλος πάλιν διά ὁ ὁρισμός ὁ κατά μηδείς · οὐδείς γάρ εἰμί ὁ Β λαμβάνω , ὅς ὁ Α οὐ ἐνδέχομαι μή ὑπάρχω . ὁ γάρ ἐν ὁ πρῶτος σχῆμα συναγωγή διά οὗτος γίγνομαι . εἶπον δέ ἐπί ὁ ἐκ δύο καθόλου καταφατικός ἐνδέχομαι συζυγία ἐν ὁ πρῶτος σχῆμα φανερός ὁ συνάγω ἵημι ἐκ ὁ ὁρισμός ( ὁ γάρ ἐνδέχομαι πᾶς ὑπάρχω οὕτως πρῶτος τίθημι ὁ ἐφεξῆς συζυγία ὁ ἔχω ὁ μείζων καθόλου ἀποφατικός ἐνδέχομαι ὁ δέ μικρός καθόλου καταφατικός ἐνδέχομαι , εἶτα οὕτως ὁ ὁρισμός ἀποδίδωμι ὁ κατά πᾶς , διά ὅς φημί δῆλος εἰμί ὁ συνάγω ἐν ὁ πρό οὗτος συζυγία . διό καί ἀσαφής ὁ λέξις ἔχω δοκέω . ἢ προσεξακούω δεῖ , ὅτι καί ὁ κατά μηδείς ὁμοίως · εἰμί γάρ ὁ Α ὁ Β ἐνδέχομαι μηδείς , οὐδείς εἰμί λαμβάνω ὁ Β , ὅς ὁ Α οὐ ἐνδέχομαι μή ὑπάρχω . δύναμαι καί ἀμφότερος μνημονεύω , ὁ τε καταφατικός καί ὁ ἀποφατικός , διά ὁ ὁ γάρ κατά ὅς ὁ Β ἐνδέχομαι , ὁ Α ἐνδέχομαι ὑπάρχω , καί δεῖ προσυπακούω ἤ ἐνδέχομαι μή ὑπάρχω .