alexander-philosophy.in-aristotelis-analyticorum-priorum-librum-i-commentarium 35b8
Ὅταν δὲ τὸ μὴ ὑπάρχειν τινὶ λαμβάνῃ Ὅταν δὲ ἡ ἐλάττων πρότασις , οὖσα ἐν μέρει ἀποφατική , ὑπάρχουσα ληφθῇ , οὔ φησιν ἔσεσθαι συλλογισμόν · εἰκότως · καὶ γὰρ οὔσης ἀποφατικῆς τῆς ἐλάττονος ἐν πρώτῳ σχήματι οὐδεὶς ἐγίνετο συλλογισμός . μένει γὰρ ἡ ὑπάρχουσα ἀποφατική · οὐ γὰρ ὡς ἡ ἐνδεχομένη εἰς τὴν καταφατικὴν μεταληφθῆναι δύναται . δείξας δὲ διὰ τῶν ὅρων καὶ τοῦ παντὶ καὶ τοῦ μηδενὶ γινόμενον τὸ συμπέρασμα προσέθηκε τὸ διὰ γὰρ τοῦ ἀορίστου ληπτέον τὴν ἀπόδειξιν . τοῦτο δὲ εἶπεν , ἐπεὶ ἔλαβεν ἐπὶ τῶν ὅρων τὴν ἐλάττονα ἐπὶ μέρους ἀποφατικὴν ὑπάρχουσαν τοιαύτην εἶναι ὡς καὶ καθόλου εἶναι ἀληθῆ , οὐκ ἐν μέρει μόνον · τὸ γὰρ ζῷον οὐδεμιᾷ χιόνι καὶ οὐδεμιᾷ πίττῃ · ἔκειτο δὲ τινὶ μή . ἐπεὶ οὖν τὸ τινὶ μὴ ἀληθεύεται , καὶ ὅταν μηδενί , καὶ ὅταν τινὶ μὲν μὴ ὑπάρχῃ , τινὶ δὲ ὑπάρχῃ , τῷ ἀορίστῳ τῆς ἐπὶ μέρους ἀποφατικῆς προσχρωμένους φησὶ καὶ λαμβάνοντας ἀντ’ αὐτῆς τὴν καθόλου ἀποφατικήν , ἐπεὶ κἀκείνης οὔσης ἀληθοῦς καὶ αὕτη ἀληθής ἐστι , χρὴ δεικνύναι τὴν τοιαύτην συζυγίαν ἀσυλλόγιστον , ὡς καὶ πρότερον ἐπὶ πλειόνων ἐδείχθη . τοῖς γὰρ αὐτοῖς ὅροις καὶ πρὸ ὀλίγου κέχρηται , ὅτε ἐδείκνυεν ἀσυλλόγιστον συζυγίαν οὖσαν τὴν ἐκ τῆς μείζονος καθόλου καταφατικῆς 35 ἐνδεχομένης καὶ τῆς ἐλάττονος καθόλου ἀποφατικῆς ὑπαρχούσης . τοῦτο δὲ οὕτως εἶπε δεῖν δείκνυσθαι , ἐπεὶ οὔσης τῆς ἐλάττονος ἐπὶ μέρους ἀποφατικῆς ἀληθοῦς καθ’ αὑτὴν καὶ μὴ διὰ τὴν καθόλου ἐγίνετο τὸ Β τινὶ τῷ Γ ὑπάρχον , οὔσης δὲ τοιαύτης τῆς ἐπὶ μέρους καταφατικῆς ὑπαρχούσης τῆς δὲ μείζονος ἐνδεχομένης καθόλου ἢ καταφατικῆς ἢ ἀποφατικῆς τέλειοι ἐγίνοντο συλλογισμοί , ὁ μὲν τοῦ ‘ἐνδέχεται τὸ Α τινὶ τῷ Γ ὑπάρχειν᾿ ὁ δὲ τοῦ ‘ἐνδέχεται τινὶ μὴ ὑπάρχειν᾿ · ὧν δεικνυμένων συλλογιστικῶς ἀδύνατον ἦν λαβεῖν ὅρους ἐπὶ τῆς τοιαύτης ὕλης τοῦ παντὶ ἐξ ἀνάγκης καὶ τοῦ μηδενί .
Lemmas: ὅταν δέ ὁ μή ὑπάρχω τις λαμβάνω ὅταν δέ ὁ μικρός πρότασις , εἰμί ἐν μέρος ἀποφατικός , ὑπάρχω λαμβάνω , οὖον φημί εἰμί συλλογισμός · εἰκότως · καί γάρ εἰμί ἀποφατικός ὁ μικρός ἐν πρῶτος σχῆμα οὐδείς γίγνομαι συλλογισμός . μένω γάρ ὁ ὑπάρχω ἀποφατικός · οὖον γάρ ὡς ὁ ἐνδέχομαι εἰς ὁ καταφατικός μεταλαμβάνω δύναμαι . δείκνυμι δέ διά ὁ ὁράω καί ὁ πᾶς καί ὁ μηδείς γίγνομαι ὁ συμπέρασμα προστίθημι ὁ διά γάρ ὁ ἀόριστος ληπτέος ὁ ἀπόδειξις . οὗτος δέ εἶπον , ἐπεί λαμβάνω ἐπί ὁ ὁράω ὁ μικρός ἐπί μέρος ἀποφατικός ὑπάρχω τοιοῦτος εἰμί ὡς καί καθόλου εἰμί ἀληθής , οὐ ἐν μέρος μόνος · ὁ γάρ ζῷον οὐδείς χιών καί οὐδείς πίσσα · κεῖμαι δέ τις μή . ἐπεί οὖν ὁ τις μή ἀληθεύω , καί ὅταν μηδείς , καί ὅταν τις μέν μή ὑπάρχω , τις δέ ὑπάρχω , ὁ ἀόριστος ὁ ἐπί μέρος ἀποφατικός προσχράομαι φημί καί λαμβάνω ἀντί αὐτός ὁ καθόλου ἀποφατικός , ἐπεί κά̓κες εἰμί ἀληθής καί οὗτος ἀληθής εἰμί , χρή δείκνυμι ὁ τοιοῦτος συζυγία ἀσυλλόγιστος , ὡς καί πρότερος ἐπί πλείων δείκνυμι . ὁ γάρ αὐτός ὅρος καί πρό ὀλίγος χράομαι , ὅτε δείκνυμι ἀσυλλόγιστος συζυγία εἰμί ὁ ἐκ ὁ μείζων καθόλου καταφατικός 35 ἐνδέχομαι καί ὁ μικρός καθόλου ἀποφατικός ὑπάρχω . οὗτος δέ οὕτως εἶπον δήω δείκνυμι , ἐπεί εἰμί ὁ μικρός ἐπί μέρος ἀποφατικός ἀληθής κατά ἑαυτοῦ καί μή διά ὁ καθόλου γίγνομαι ὁ Β τις ὁ Γ ὑπάρχω , εἰμί δέ τοιοῦτος ὁ ἐπί μέρος καταφατικός ὑπάρχω ὁ δέ μείζων ἐνδέχομαι καθόλου ἢ καταφατικός ἢ ἀποφατικός τέλειος γίγνομαι συλλογισμός , ὁ μέν ὁ ἐνδέχομαι ὁ Α τις ὁ Γ ὑπάρχω ὁ δέ ὁ ἐνδέχομαι τις μή ὑπάρχω · ὅς δείκνυμι συλλογιστικός ἀδύνατος εἰμί λαμβάνω ὅρος ἐπί ὁ τοιοῦτος ὕλη ὁ πᾶς ἐκ ἀνάγκη καί ὁ μηδείς .