alexander-philosophy.in-aristotelis-analyticorum-priorum-librum-i-commentarium 45a4
οἷον εἰ τὸ Β καὶ τὸ Z ἢ ἐναντία ἢ μὴ ἐνδέχεται τῷ αὐτῷ ὑπάρχειν . Δείκνυσιν , ὅτι καὶ ὅταν ἐναντία λαβόντες τινὰ ἀλλήλοις εἶναι τῶν περὶ ἑκατέρου τῶν ἄκρων ἐκλελεγμένων ἢ ὅλως ἀντικείμενα δεικνύωμέν τι καὶ συλ - λογιζώμεθα , ὅτι καὶ τότε οὐ διὰ τὸ τὰ ἐναντία ἡ ἀντικείμενα εἰλῆφθαι ὁ συλ - λογισμὸς ἀλλὰ διὰ τὸ τινά , ὧν προειρήκαμεν ἡμεῖς ἐκλογῶν , ἀληθῆ εἶναι . εἰ γάρ τις λαβὼν τὸ Β τοῦτο δ’ ἦν ἑπόμενον τῷ Α ) ἐναντίον εἶναι τῷ Ζ , ὃ ἦν τῷ E ἑπόμενον , δεικνύοι , ὅτι μηδενὶ τῷ E τὸ Α ὑπάρχει , οὐ δι’ ἄλλο τι τοῦτο δείξει συναγόμενον ἢ δι’ ὃν ἡμεῖς εἰρήκαμεν τρόπον . εἰ γὰρ τὸ Z καὶ τὸ Β εἴη ἐναντία , ἀμφοτέροις , τῷ τε E καὶ τῷ Α , ἑπόμενα , ἀδύνατα ἄν εἴη ἀμφότερα τῷ αὐτῷ , ἢ τῷ Α ἢ τῷ E , ὑπάρχειν · δῆλον γὰρ ὡς τὸ Β τῷ μὲν Α παντὶ ὑπάρξει , τῷ δὲ E οὐκ ἄν ἐνδέχοιτο αὐτὸ ὑπάρχειν ἐναντίον γε ὂν τοῖς ἑπομένοις αὐτῷ · ταῦτα δ’ ἦν τὰ Ζ · ἀλλὰ μὴν τὰ μὴ ὑπάρχοντα τῷ E τὰ Θ ἦν · τὸ ἄρα Β τινὶ τῶν Θ ἔσται ταὐτόν . οὕτως γὰρ παντὶ μὲν τῷ Α τὸ Β τῷ Θ ὂν ταὐτόν , τῷ δὲ E οὐδενὶ τὸ Θ ὑπάρξει · οὗτος δέ ἐστιν εἷς τῆς ἐκλογῆς τῶν προειρημένων ὑφ’ ἡμῶν τρόπος . ἐπεὶ ἄν γε ληφθῇ τὸ μὲν Β παντὶ τῷ Α τὸ δὲ Ζ παντὶ τῷ E , ἐναντίον δὲ ᾖ τὸ Β τῷ Z , ἐκ τούτων οὐδὲν οἷόν τε προσεχῶς συναχθῆναι · οὐδὲ γὰρ μέσος τις ὅρος ἐν ταῖς προτάσεσιν εἴληπται . εἰ γὰρ τὸ μὲν λευκὸν χιόνι τὸ δὲ μέλαν ἐναντίον ὂν τῷ λευκῷ πίττῃ , χιὼν μὲν οὐδεμιᾷ πίττῃ , οὐ μὴν · ἐκ τῶν κειμένων , ἐπειδὴ μὴ εἴληπταί τι κοινόν , ἀλλὰ τῷ τὸ Β τὸ ἑπόμενον τῷ Α ταὐτὸν εἶναι τῷ Θ , ὃ οὐχ οἷόν τε ὑπάρχειν τῷ E , ἢ πάλιν τὸ Z , ὃ ἦν ἑπόμενον τῷ E , ταὐτὸν εἶναι τῷ Δ , ὃ μὴ ἐνδέχεται τῷ Α . οὕτω γὰρ τὸ αὐτὸ τῷ μὲν ἑτέρῳ αὐτῶν ὑπάρξει παντὶ τῷ δὲ ἑτέρῳ οὐδενί , καὶ ἔσται συλλογισμός , καθ’ ὃν τρόπον εἰρήκαμεν , ἐν δευτέρῳ σχήματι · δεῖ γὰρ τὸ λευκὸν ταὐτόν τινι εἶναι τῶν μὴ ἐνδεχομένων πίττῃ ὑπάρχειν , ἵν’ οὕτως ᾖ συλλογισμός , ἀλλ’ οὐχ ἁπλῶς ὡς ] ἐναντίον τῷ μέλανι , ὃ ὑπάρχει τῇ πίττῃ .
Lemmas: οἷος εἰμί ὁ Β καί ὁ Z ἢ ἐναντίος ἢ μή ἐνδέχομαι ὁ αὐτός ὑπάρχω . δείκνυμι , ὅτι καί ὅταν ἐναντίος λαμβάνω τις ἀλλήλων εἰμί ὁ περί ἑκάτερος ὁ ἄκρος ἐκλέγω ἢ ὅλως ἀντίκειμαι δείκνυμι τίς καί συλ - λογίζομαι , ὅτι καί τότε οὖον διά ὁ ὁ ἐναντίος ὁ ἀντίκειμαι λαμβάνω ὁ συλ - λογισμός ἀλλά διά ὁ τις , ὅς προαγορεύω ἐγώ ἐκλογή , ἀληθής εἰμί . εἰμί γάρ τις λαμβάνω ὁ Β οὗτος δέ εἰμί ἕπω ὁ Α ) ἐναντίος εἰμί ὁ Ζ , ὅς εἰμί ὁ E ἕπω , δείκνυμι , ὅτι μηδείς ὁ E ὁ Α ὑπάρχω , οὖον διά ἄλλος τίς οὗτος δείκνυμι συνάγω ἢ διά ὅς ἐγώ εἴρω τρόπος . εἰμί γάρ ὁ Z καί ὁ Β εἰμί ἐναντίος , ἀμφότερος , ὁ τε E καί ὁ Α , ἕπομαι , ἀδύνατος ἄν εἰμί ἀμφότερος ὁ αὐτός , ἢ ὁ Α ἢ ὁ E , ὑπάρχω · δῆλος γάρ ὡς ὁ Β ὁ μέν Α πᾶς ὑπάρχω , ὁ δέ E οὐ ἄν ἐνδέχομαι αὐτός ὑπάρχω ἐναντίος γε εἰμί ὁ ἕπομαι αὐτός · οὗτος δέ εἰμί ὁ Ζ · ἀλλά μήv ὁ μή ὑπάρχω ὁ E ὁ Θ εἰμί · ὁ ἄρα Β τις ὁ Θ εἰμί αὐτός . οὕτως γάρ πᾶς μέν ὁ Α ὁ Β ὁ Θ εἰμί αὐτός , ὁ δέ E οὐδείς ὁ Θ ὑπάρχω · οὗτος δέ εἰμί εἷς ὁ ἐκλογή ὁ προερέω ὑπό ἐγώ τρόπος . ἐπεί ἄν γε λαμβάνω ὁ μέν Β πᾶς ὁ Α ὁ δέ Ζ πᾶς ὁ E , ἐναντίος δέ εἰμί ὁ Β ὁ Z , ἐκ οὗτος οὐδείς οἷος τε προσεχῶς συνάγω · οὐδέ γάρ μέσος τις ὅρος ἐν ὁ πρότασις λαμβάνω . εἰμί γάρ ὁ μέν λευκός χιών ὁ δέ μέλας ἐναντίος εἰμί ὁ λευκός πίσσα , χιών μέν οὐδείς πίσσα , οὖον μήv · ἐκ ὁ κεῖμαι , ἐπεί μή λαμβάνω τίς κοινός , ἀλλά ὁ ὁ Β ὁ ἕπω ὁ Α αὐτός εἰμί ὁ Θ , ὅς οὐ οἷος τε ὑπάρχω ὁ E , ἢ πάλιν ὁ Z , ὅς εἰμί ἕπω ὁ E , αὐτός εἰμί ὁ δ , ὅς μή ἐνδέχομαι ὁ Α . οὗτος γάρ ὁ αὐτός ὁ μέν ἕτερος αὐτός ὑπάρχω πᾶς ὁ δέ ἕτερος οὐδείς , καί εἰμί συλλογισμός , κατά ὅς τρόπος εἴρω , ἐν δύο σχῆμα · δεῖ γάρ ὁ λευκός αὐτός τις εἰμί ὁ μή ἐνδέχομαι πίσσα ὑπάρχω , ἵνα οὕτως εἰμί συλλογισμός , ἀλλά οὐ ἁπλόος ὡς ] ἐναντίος ὁ μέλας , ὅς ὑπάρχω ὁ πίσσα .