alexander-philosophy.in-aristotelis-analyticorum-priorum-librum-i-commentarium 32a21
Ὅτι δὲ τοῦτ᾿ ἔστι τὸ ἐνδεχόμενον , φανερὸν ἔκ τε τῶν καταφάσεων καὶ τῶν ἀποφάσεων τῶν ἀντικειμένων . Ὅτι τὸ ἐνδεχόμενον τοιοῦτόν ἐστιν , ὁποῖον αὐτὸς ὡρίσατο , δείκνυσι . γνωριμώτερον δ’ ἔσται τὸ λεγόμενον , ἄν τὸ ὑπ’ αὐτοῦ μετ’ ὀλίγον λεγόμενόν τε καὶ δεικνύμενον προλάβωμεν ἤδη · φανερώτερον γὰρ ἡμῖν τὸ λεγόμενον ἔσται δι’ αὐτοῦ . ἔστι δέ , ὃ δείξει , τοῦτο · ὧν ἀντιφάσεων τὰ ἕτερα μόρια ἀλλήλοις ἕπεται , τούτων τῶν ἀντιφάσεων καὶ τὰ λοιπὰ μόρια ἀνάγκη ἕπεσθαι ἀλλήλοις , ἐπεὶ κατὰ παντὸς τὸ ἕτερον μόριον τῆς ἀντιφάσεως , ὡς καὶ ἐνταῦθα προσέθηκεν . ἔστωσαν γὰρ λόγου χάριν δύο τινὲς καταφάσεις , ἥ τε Α καὶ ἡ Β , κἂ ἔστωσαν ἀντιφατικαὶ ἀποφάσεις αὐτῶν τῆς μὲν Α ἡ Γ τῆς δὲ Β ἡ Δ , καὶ ἑπέσθω τῇ Α καταφάσει ἡ Β κατάφασις ἅμα οὖσα αὐτῇ ἀληθής · ἀκολουθήσει δὴ καὶ τῇ Γ ἀποφάσει ἡ Δ ἀπόφασις καὶ ἅμα αὐτῇ ἀληθὴς ἔσται . εἰλήφθω γάρ τι , ἐφ’ οὗ ἀληθής ἐστι ἡ Γ ἀπόφασις · ἔστω τοῦτο τὸ Ε · λέγω , ὅτι ἐπὶ τούτου ἀληθής ἐστι καὶ ἡ Δ ἀπόφασις . εἰ γὰρ μὴ εἴη αὐτή , ἡ κατάφασις αὐτῆς ἀληθὴς ἔσται ἡ Β · εἰ δὲ αὕτη , καὶ ἡ Α κατάφασις · ἔκειντο γὰρ ἀκολουθεῖν ἀλλήλαις καὶ ἅμα εἶναι ἀληθεῖς . ἐφ’ οὗ ἄρα ἡ Γ ἀπόφασις ἀληθής , ἔσται ἐπὶ τούτου καὶ ἡ κατάφασις αὐτῆς ἡ Α ἀληθής · καὶ ἅμα ἄρα ἐπὶ τοῦ αὐτοῦ ἡ ἀντίφασις ἀληθής , ὅπερ ἀδύνατον . ἀκολουθήσει ἄρα τῷ E ἡ Δ ἀπόφασις · ἠκολούθει δὲ καὶ ἡ Γ ἀπόφασις . καθόλου ἄρα ὑγιὲς τὸ ὧν ἀντιφάσεων θάτερα μέρη συναληθεύεται ἀλλήλοις , τὸ ] τούτων καὶ τὰ ἕτερα πάλιν ἀλλήλοις συναληθεύε - σθαί τε καὶ ἀκολουθεῖν . τούτου δεικνυμένου γνώριμον τὸ λεγόμενον ὑπ’ αὐτοῦ · εἰ γὰρ τὸ οὐκ ἐνδέχεται ὑπάρχειν καὶ ἀδύνατον ὑπάρχειν καὶ ἀνάγκη μὴ ὑπάρχειν ἤτοι ταὐτά ἐστιν ἢ ἀκολουθεῖ ἀλλήλοις , ὡς πάντες ἄν φαῖεν καὶ ἐν τῷ Περὶ ἑρμηνείας δέδεικται καὶ γὰρ εἰ μὴ ταὐτὰ πάντη , ὅτι τὸ μὲν ἀπόφασις τὰ δὲ καταφάσεις , ἀλλ’ ἐφ’ οὗ τὸ ἓν ἐξ αὐτῶν ἀληθές , καὶ τὰ ὤα ) , δῆλον τοίνυν , ὡς καὶ αἱ τούτων ἀντιφάσεις ἀκολουθοῦσιν ἀλλήλαις . ἔστι δὲ τοῦ μὲν οὐκ ἐνδέχεται ὑπάρχειν ὄντος ἀποφατικοῦ κατάφασις τὸ ἐνδέχεται ὑπάρχειν , τῶνδέ ἀδύνατον ὑπάρχειν καὶ ἀνάγκη μὴ ὑπάρχειν καταφάσεων , αἳ εἵποντο τῇ οὐκ ἐνδέχεται ὑπάρχειν <ἀποφάσεις> τό τε οὐκ ἀδύνατον ὑπάρχειν καὶ οὺκ ἀνάγκη μὴ ὑπάρχειν . ἀκολουθήσουσιν ἄρα καὶ ταῦτα ἀλλήλοις , καὶ ἔσται τὸ ‘ἐνδέχεται εἶναι᾿ καὶ ‘οὐκ ἀδύνατον εἶναι’ καὶ ‘οὐκ ἀνάγκη μὴ εἶναι᾿ ἅμα ἀληθῆ . τὸ | ἄρα ἐνδεχόμενον εἶναι οὐκ ἀδύνατον ἔσται εἶναι οὐδ’ ἀναγκαῖον 51v μὴ εἶναι . οὐκ ὄντι ἄρα αὐτῷ ἀναγκαίῳ , ἀλλὰ μηδὲ ὑπάρχοντι , ὑποτεθέντι δὲ ] ὑπάρχειν , ἐπεὶ οὐκ ἀδύνατόν ἐστιν , οὐδὲν ἀδύνατον ἀκολουθήσει · τοῦτο γὰρ ἀληθές , διότι ἀδυνάτῳ ἀδύνατον ἀκολουθεῖ , ὡς προελθὼν ὀλίγον ἐρεῖ τε καὶ δείξει .
Lemmas: ὅτι2 δέ οὗτος εἰμί ὁ ἐνδέχομαι , φανερός ἐκ τε ὁ κατάφασις καί ὁ ἀπόφασις ὁ ἀντίκειμαι . ὅτι2 ὁ ἐνδέχομαι τοιοῦτος εἰμί , ὁποῖος αὐτός ὁρίζω , δείκνυμι . γνώριμος δέ εἰμί ὁ λέγω , ἄν ὁ ὑπό αὐτός μετά ὀλίγος λέγω τε καί δείκνυμι προλαμβάνω ἤδη · φανερός γάρ ἐγώ ὁ λέγω εἰμί διά αὐτός . εἰμί δέ , ὅς δείκνυμι , οὗτος · ὅς ἀντίφασις ὁ ἕτερος μόριον ἀλλήλων ἕπω , οὗτος ὁ ἀντίφασις καί ὁ λοιπάς μόριον ἀνάγκη ἕπω ἀλλήλων , ἐπεί κατά πᾶς ὁ ἕτερος μόριον ὁ ἀντίφασις , ὡς καί ἐνταῦθα προστίθημι . εἰμί γάρ λόγος χάρις δύο τις κατάφασις , ὅς τε Α καί ὁ Β , καί εἰμί ἀντιφατικός ἀπόφασις αὐτός ὁ μέν Α ὁ Γ ὁ δέ Β ὁ δ , καί ἕπω ὁ Α κατάφασις ὁ Β κατάφασις ἅμα εἰμί αὐτός ἀληθής · ἀκολουθέω δή καί ὁ Γ ἀπόφασις ὁ δ ἀπόφασις καί ἅμα αὐτός ἀληθής εἰμί . λαμβάνω γάρ τίς , ἐπί ὅς ἀληθής εἰμί ὁ Γ ἀπόφασις · ἵστημι οὗτος ὁ Ε · λέγω , ὅτι ἐπί οὗτος ἀληθής εἰμί καί ὁ δ ἀπόφασις . εἰμί γάρ μή εἰμί αὐτός , ὁ κατάφασις αὐτός ἀληθής εἰμί ὁ Β · εἰμί δέ οὗτος , καί ὁ Α κατάφασις · κεῖμαι γάρ ἀκολουθέω ἀλλήλων καί ἅμα εἰμί ἀληθής . ἐπί ὅς ἄρα ὁ Γ ἀπόφασις ἀληθής , εἰμί ἐπί οὗτος καί ὁ κατάφασις αὐτός ὁ Α ἀληθής · καί ἅμα ἄρα ἐπί ὁ αὐτός ὁ ἀντίφασις ἀληθής , ὅσπερ ἀδύνατος . ἀκολουθέω ἄρα ὁ E ὁ δ ἀπόφασις · ἀκολουθέω δέ καί ὁ Γ ἀπόφασις . καθόλου ἄρα ὑγιής ὁ ὅς ἀντίφασις ἕτερος μέρος συναληθεύω ἀλλήλων , ὁ ] οὗτος καί ὁ ἕτερος πάλιν ἀλλήλων συναληθεύω - ἕπομαι τε καί ἀκολουθέω . οὗτος δείκνυμι γνώριμος ὁ λέγω ὑπό αὐτός · εἰμί γάρ ὁ οὐ ἐνδέχομαι ὑπάρχω καί ἀδύνατος ὑπάρχω καί ἀνάγκη μή ὑπάρχω ἤτοι αὐτός εἰμί ἢ ἀκολουθέω ἀλλήλων , ὡς πᾶς ἄν φημί καί ἐν ὁ περι ἑρμηνεία δείκνυμι καί γάρ εἰμί μή αὐτός πάντῃ , ὅτι ὁ μέν ἀπόφασις ὁ δέ κατάφασις , ἀλλά ἐπί ὅς ὁ εἷς ἐκ αὐτός ἀληθής , καί ὁ ὤα ) , δῆλος τοίνυν , ὡς καί ὁ οὗτος ἀντίφασις ἀκολουθέω ἀλλήλων . εἰμί δέ ὁ μέν οὐ ἐνδέχομαι ὑπάρχω εἰμί ἀποφατικός κατάφασις ὁ ἐνδέχομαι ὑπάρχω , ὅδε ἀδύνατος ὑπάρχω καί ἀνάγκη μή ὑπάρχω κατάφασις , ὅς ἕπω ὁ οὐ ἐνδέχομαι ὑπάρχω ἀποφαίνω ὁ τε οὐ ἀδύνατος ὑπάρχω καί οὐ ἀνάγκη μή ὑπάρχω . ἀκολουθέω ἄρα καί οὗτος ἀλλήλων , καί εἰμί ὁ ἐνδέχομαι εἶμι καί οὐ ἀδύνατος εἶμαι καί οὐ ἀνάγκη μή εἶμι ἅμα ἀληθής . ὁ | ἄρα ἐνδέχομαι εἰμί οὐ ἀδύνατος εἰμί εἰμί οὐδέ ἀναγκαῖος 51v μή εἰμί . οὐ εἰμί ἄρα αὐτός ἀναγκαῖος , ἀλλά μηδέ ὑπάρχω , ὑποτίθημι δέ ] ὑπάρχω , ἐπεί οὐ ἀδύνατος εἰμί , οὐδείς ἀδύνατος ἀκολουθέω · οὗτος γάρ ἀληθής , διότι ἀδύνατος ἀδύνατος ἀκολουθέω , ὡς προέρχομαι ὀλίγος εἴρω τε καί δείκνυμι .