alexander-philosophy.in-aristotelis-analyticorum-priorum-librum-i-commentarium 44b25
Φανερὸν δέ , ὅτι καὶ αἱ ἄλλαι σκέψεις τῶν κατὰ τὰς ἐκλογὰς ἀχρεῖοι πρὸς τὸ ποιεῖν συλλογισμόν . Δείξας , ὅτι , εἰ τὰ ἀμφοτέροις ἑπόμενα ταὐτὰ ληφθείη εἶναι , οὐδεὶς ἔσται συλλογισμός , φησίν , ὅτι οὐδ’ ἄν ἄλλα τινὰ τῶν ἐκλελεγμένων ἡμῖν ταὐτὰ ἀλλήλοις λάβωμεν , παρ’ ἃ προειρήκαμεν , οὐδ’ οὕτως ἔσται συλλογισμός . πρῶτον μὲν οὖν εἶπεν , ὅτι μὴ δεῖ ἐκλέγειν τὰ πᾶσιν ἑπόμενα . νῦν δέ φησιν , ὅτι ἀλλ’ οὐδὲ τῶν ἐκλελεγμένων , ἃ ἐδόκει ἀλλήλων διαφέρειν , ληπτέον τινὰ τῶν ἀμφοτέροις ἑπομένων ὡς ἕνα ποιήσοντας ὅρον ἐξ αὐτῶν · καὶ γὰρ οὕτως γίνεται τὸ δεύτερον σχῆμα ἔχον τὰς δύο καταφατικάς . ἀλλ’ οὐδὲ τῶν Γ τι λαβόντας τούτοις γὰρ ἕπεται τὸ A ) συγκριτέον τῶν Θ τινί , ἃ οὐχ ὑπῆρχε τῷ · ἔσται γὰρ οὕτως τὸ πρῶτον σχῆμα τὴν ἐλάττονα πρότασιν ἀποφατικὴν ἔχον · ἔσται γὰρ τὸ μὲν Α παντὶ τῷ Γ , ὃ ἦν τὸ Θ , τὸ δὲ Θ , ὃ ἦν τὸ Γ , οὐδενὶ τῷ E . ἄν γὰρ ἀντιστρέψαντες ἀμφοτέρας λάβωμεν , τὸ E τῷ Θ οὐδενί , τοῦτ’ ἔστι τῷ Γ , τὸ δὲ Γ τινὶ τῷ Α , συναχθήσεται μὲν | τὸ E τινὶ τῷ Α μὴ ὑπάρχειν , ἀλλ’ οὐ τὸ προκείμενον ἔτι τῷ μὴ ἀντιστρέφειν τὸ ἐπὶ μέρους ἀποφατικόν . κἄν ἐν τρίτῳ δὲ σχήματι τὴν συμπλοκὴν ποιήσῃ , καὶ οὕτως ἀσυλλόγιστος ἡ συμπλοκή · γίνεται γὰρ ἐν αὐτῇ ἡ ἐλάττων ἀποφατική · τὸ μὲν γὰρ Α κατὰ παντὸς τοῦ Θ , εἴ γε καὶ κατὰ παντὸς τοῦ Γ , ᾧ ταὐτόν ἐστι τὸ Θ , τὸ δὲ · E κατ’ οὐδενὸς τοῦ Θ . ἀλλ’ οὐδὲ τῶν ἑκατέροις μὴ ὑπαρχόντων τινὰ ταὐτὰ ἀλλήλοις ληπτέον , οἷον τῶν Δ τι καὶ τῶν Θ · ἀμφότεραι γὰρ ἔσονται αἱ προτάσεις ἀποφατικαί , ἢ ἐν τῷ πρώτῳ σχήματι , εἰ ἀντιστρέψαιμεν τὴν Δ Α . ἥ ἐστιν ἴση τῇ Θ Α , ἵνα ληφθῇ τὸ Α μηδενὶ τῷ Θ , τὸ δὲ Θ μηδενὶ τῷ E , ἢ ἐν τῷ μέσῳ σχήματι , εἰ εἴη τὸ Δ , ὅ ἐστι ταὐτὸν τῷ Θ , μήτε τῷ Α μήτε τῷ E ὑπάρχον .
Lemmas: φανερός δέ , ὅτι καί ὁ ἄλλος σκέψις ὁ κατά ὁ ἐκλογή ἀχρεῖος πρός ὁ ποιέω συλλογισμός . δείκνυμι , ὅτι , εἰμί ὁ ἀμφότερος ἕπομαι αὐτός λαμβάνω εἰμί , οὐδείς εἰμί συλλογισμός , φημί , ὅτι οὐδέ ἄν ἄλλος τις ὁ ἐκλέγω ἐγώ αὐτός ἀλλήλων λαμβάνω , παρά ὁ προαγορεύω , οὐδέ οὕτως εἰμί συλλογισμός . πρῶτος μέν οὖν εἶπον , ὅτι μή δεῖ ἐκλέγω ὁ πᾶς ἕπομαι . νῦν δέ φημί , ὅτι ἀλλά οὐδέ ὁ ἐκλέγω , ὁ δοκέω ἀλλήλων διαφέρω , ληπτέος τις ὁ ἀμφότερος ἕπομαι ὡς εἷς ποιέω ὅρος ἐκ αὐτός · καί γάρ οὕτως γίγνομαι ὁ δύο σχῆμα ἔχω ὁ δύο καταφατικός . ἀλλά οὐδέ ὁ Γ τίς λαμβάνω οὗτος γάρ ἕπω ὁ A ) συγκριτέον ὁ Θ τις , ὁ οὐ ὑπάρχω ὁ · εἰμί γάρ οὕτως ὁ πρῶτος σχῆμα ὁ μικρός πρότασις ἀποφατικός ἔχω · εἰμί γάρ ὁ μέν Α πᾶς ὁ Γ , ὅς εἰμί ὁ Θ , ὁ δέ Θ , ὅς εἰμί ὁ Γ , οὐδείς ὁ E . ἄν γάρ ἀντιστρέφω ἀμφότερος λαμβάνω , ὁ E ὁ Θ οὐδείς , οὗτος εἰμί ὁ Γ , ὁ δέ Γ τις ὁ Α , συνάγω μέν | ὁ E τις ὁ Α μή ὑπάρχω , ἀλλά οὖον ὁ πρόκειμαι ἔτι ὁ μή ἀντιστρέφω ὁ ἐπί μέρος ἀποφατικός . ἄν ἐν τρίτος δέ σχῆμα ὁ συμπλοκή ποιέω , καί οὕτως ἀσυλλόγιστος ὁ συμπλοκή · γίγνομαι γάρ ἐν αὐτός ὁ μικρός ἀποφατικός · ὁ μέν γάρ Α κατά πᾶς ὁ Θ , εἰμί γε καί κατά πᾶς ὁ Γ , ὅς αὐτός εἰμί ὁ Θ , ὁ δέ · E κατά οὐδείς ὁ Θ . ἀλλά οὐδέ ὁ ἑκάτερος μή ὑπάρχω τις αὐτός ἀλλήλων ληπτέος , οἷος ὁ δ τίς καί ὁ Θ · ἀμφότερος γάρ εἰμί ὁ πρότασις ἀποφατικός , ἢ ἐν ὁ πρῶτος σχῆμα , εἰμί ἀντιστρέφω ὁ δ Α . ὅς εἰμί ἴσος ὁ Θ Α , ἵνα λαμβάνω ὁ Α μηδείς ὁ Θ , ὁ δέ Θ μηδείς ὁ E , ἢ ἐν ὁ μέσος σχῆμα , εἰμί εἰμί ὁ δ , ὅς εἰμί αὐτός ὁ Θ , μήτε ὁ Α μήτε ὁ E ὑπάρχω .