alexander-philosophy.in-aristotelis-analyticorum-priorum-librum-i-commentarium 44a12
Ἔστω γὰρ τὰ ἑπόμενα τῷ Α , ἐφ’ ὧν Β . ᾿ Επὶ στοιχείων , ἃ προειρήκαμεν , δείκνυσι σαφηνείας χάριν . λαμβάνει δὲ ὅρους μὲν τοὺς ἐν τῷ προβλήματι , περὶ ὧν δεῖ τὰς ἐκλογὰς ποιήσασθαι , τὸ Α καὶ τὸ E , ὡς ἡμεῖς ἐλάβομεν τὸ ἀγαθὸν καὶ τὴν ἡδονήν , καὶ τίθησι τὰ μὲν τῷ Α ὅρῳ ἑπόμενα , ἐφ’ ὧν Β , οἷς δ᾿ αὐτὸς ἕπεται , τὸ Α , ἐφ’ ὧν Γ , ἃ δὲ μὴ ἐνδέχεται αὐτῷ ὑπάρχειν , ἐφ’ ὧν Δ , ὥσπερ καὶ ἡμεῖς ἐλάβομεν , τῷ δὲ E τὰ μὲν ἑπόμενα καὶ ὑπάρχοντα , ἐφ’ ὧν Z , οἷς δ’ αὐτὸ ἕπεται , ἐφ’ ὧν Η , ἃ δὲ μὴ ἐνδέχεται αὐτῷ ὑπάρχειν , ἐφ’ ὧν θ , ἃ καὶ ἡμεῖς παραπλησίως πεποιήκαμεν . θεὶς δὲ οὕτως λέγει , ὅτι , ὅταν μὲν τῶν Γ τι , οἷς εἵπετο τὸ Α , ταὐτόν τινι εὑρεθῇ τε καὶ ληφθῇ τῶν Z , ἃ εἵπετο τῷ E , τὸ Α παντὶ τῷ E ὑπάρξει . τὸ μὲν γὰρ Α παντὶ τῷ Γ ( εἵπετο γὰρ τῷ Γ τὸ Α ) , τὸ δὲ Z , ὃ ἴσον ἐστὶ τῷ Γ , παντὶ πάλιν τῷ E ( εἵπετο γὰρ τὸ Z τῷ Ε ) · καὶ τὸ Α ἄρα παντὶ τῷ E . εἰ δὲ ταὐτὰ πάλιν ληφθείη τῶν τε Γ , οἷς εἵπετο τὸ Α , καὶ τῶν Η , οἷς εἵπετο τὸ E , τινὶ τῷ E ὑπάρξει τὸ Α · κατὰ γὰρ τοῦ Γ καὶ Η τό τε Α καὶ τὸ E κατὰ παντός · ἄμφω γὰρ ταῦτα ἕν τε καὶ ταὐτόν . εἰ δὲ τῶν Z τι , ἅπερ ἦν τὰ ἑπόμενα τῷ E , ταὐτὸν ληφθείη τινὶ τῶν Δ , ἃ οὐδενὶ τῶν Α ὑπῆρχε , ἔσται τὸ Α οὐδενὶ τῶν E . φησὶ δὲ τοῦτο δειχθήσεσθαι τὸ συμπέρασμα οὕτως ἔχον διὰ προσυλλογισμοῦ · ἐπεὶ γὰρ ἀντιστρέφει τὸ στερητικὸν καὶ τὸ Ζ τῷ Δ ταὐτόν , οὐδενὶ τῷ Z ὑπάρχει τὸ Α διὰ τοῦ Δ , τὸ δὲ Z παντὶ τῷ E . διὰ γὰρ τούτων δείκνυται ὁ προσυλλογισμός · ἐπεὶ γὰρ ἀντιστρέφει τὸ στερητικόν , κεῖται δὲ τὸ Δ κατ’ οὐδενὸς τοῦ Α , καὶ τὸ Α κατ’ οὐδενὸς τοῦ Δ · διότι δὲ τὸ Δ ταὐτόν ἐστι τῷ Z , παντὶ αὐτῷ ὑπάρξει · ἐξ ὧν συνάγεται τὸ Α μηδενὶ τῶν Ζ καὶ ὁ μὲν προσυλλογισμὸς οὗτος · ἐπεὶ δὲ τὸ Z παντὶ τῷ E , ἔσται καὶ τὸ Α μηδενὶ τῷ E . τὸ αὐτὸ δείκνυσι συναγόμενον , κἂν ἐναλλάξαντες λάβωμεν τῶν τῷ E μὴ ὑπαρχόντων τι ( ταῦτα δ’ ἦν τὰ Θ ) ταὐτόν τινι τῶν ἑπομένων τῷ ταῦτα δ’ ἦν τὸ Β . τοῦτο γὰρ τὸ ληφθὲν οὐδενὶ μὲν τῷ E ὑπάρξει , παντὶ δὲ τῷ Α · οὕτως δὲ ἐχουσῶν τῶν προτάσεων ἐν τῷ δευτέρῳ σχήματι οὐδενὶ τὸ Α τῶ Ε .
Lemmas: ἔστω γάρ ὁ ἕπομαι ὁ Α , ἐπί ὅς Β . ᾿ επὶ στοιχεῖον , ὁ προαγορεύω , δείκνυμι σαφήνεια χάρις . λαμβάνω δέ ὅρος μέν ὁ ἐν ὁ πρόβλημα , περί ὅς δεῖ ὁ ἐκλογή ποιέω , ὁ Α καί ὁ E , ὡς ἐγώ λαμβάνω ὁ ἀγαθός καί ὁ ἡδονή , καί τίθημι ὁ μέν ὁ Α ὅρος ἕπομαι , ἐπί ὅς Β , ὅς δέ αὐτός ἕπω , ὁ Α , ἐπί ὅς Γ , ὁ δέ μή ἐνδέχομαι αὐτός ὑπάρχω , ἐπί ὅς δ , ὥσπερ καί ἐγώ λαμβάνω , ὁ δέ E ὁ μέν ἕπομαι καί ὑπάρχω , ἐπί ὅς Z , ὅς δέ αὐτός ἕπω , ἐπί ὅς ὁ , ὁ δέ μή ἐνδέχομαι αὐτός ὑπάρχω , ἐπί ὅς θ , ὁ καί ἐγώ παραπλήσιος ποιέω . τίθημι δέ οὕτως λέγω , ὅτι , ὅταν μέν ὁ Γ τίς , ὅς ἕπω ὁ Α , αὐτός τις εὑρίσκω τε καί λαμβάνω ὁ Z , ὁ ἕπω ὁ E , ὁ Α πᾶς ὁ E ὑπάρχω . ὁ μέν γάρ Α πᾶς ὁ Γ ( ἕπω γάρ ὁ Γ ὁ Α ) , ὁ δέ Z , ὅς ἴσος εἰμί ὁ Γ , πᾶς πάλιν ὁ E ( ἕπω γάρ ὁ Z ὁ Ε ) · καί ὁ Α ἄρα πᾶς ὁ E . εἰμί δέ αὐτός πάλιν λαμβάνω ὁ τε Γ , ὅς ἕπω ὁ Α , καί ὁ ὁ , ὅς ἕπω ὁ E , τις ὁ E ὑπάρχω ὁ Α · κατά γάρ ὁ Γ καί ὁ ὁ τε Α καί ὁ E κατά πᾶς · ἄμφω γάρ οὗτος εἷς τε καί αὐτός . εἰμί δέ ὁ Z τίς , ὅσπερ εἰμί ὁ ἕπομαι ὁ E , αὐτός λαμβάνω τις ὁ δ , ὁ οὐδείς ὁ Α ὑπάρχω , εἰμί ὁ Α οὐδείς ὁ E . φημί δέ οὗτος δείκνυμι ὁ συμπέρασμα οὕτως ἔχω διά προσυλλογισμός · ἐπεί γάρ ἀντιστρέφω ὁ στερητικός καί ὁ Ζ ὁ δ αὐτός , οὐδείς ὁ Z ὑπάρχω ὁ Α διά ὁ δ , ὁ δέ Z πᾶς ὁ E . διά γάρ οὗτος δείκνυμι ὁ προσυλλογισμός · ἐπεί γάρ ἀντιστρέφω ὁ στερητικός , κεῖμαι δέ ὁ δ κατά οὐδείς ὁ Α , καί ὁ Α κατά οὐδείς ὁ δ · διότι δέ ὁ δ αὐτός εἰμί ὁ Z , πᾶς αὐτός ὑπάρχω · ἐκ ὅς συνάγω ὁ Α μηδείς ὁ Ζ καί ὁ μέν προσυλλογισμός οὗτος · ἐπεί δέ ὁ Z πᾶς ὁ E , εἰμί καί ὁ Α μηδείς ὁ E . ὁ αὐτός δείκνυμι συνάγω , κἀν ἐναλλάσσω λαμβάνω ὁ ὁ E μή ὑπάρχω τίς ( οὗτος δέ εἰμί ὁ Θ ) αὐτός τις ὁ ἕπομαι ὁ οὗτος δέ εἰμί ὁ Β . οὗτος γάρ ὁ λαμβάνω οὐδείς μέν ὁ E ὑπάρχω , πᾶς δέ ὁ Α · οὕτως δέ ἔχω ὁ πρότασις ἐν ὁ δύο σχῆμα οὐδείς ὁ Α ὁ Ε .