In Aristotelis Analyticorum Priorum Librum I Commentarium

Ὅταν δὲ τὸ μὴ ὑπάρχειν τινὶ λαμβάνῃ

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