In Aristotelis Analyticorum Priorum Librum I Commentarium

Ὅταν δ’ ὁ μείζων.

Πειρᾶται ἐλέγξαι ἀσυλλόγιστον οὖσαν συζυγίαν, καὶ ἐν ᾗ ἡ μὲν μείζων καθόλου ἐστὶν ἀποφατικὴ ἡ δ’ ἐλάττων ἐπὶ μέρους ἀποφατική. τοῦ μὲν οὖν μηδενὶ ὑπάρχειν τὸ Π τῷ P ὅρους παρατίθεται κόρακα, χιόνα, λευκόν· ὁ γὰρ κόραξ οὐδενὶ λευκῷ, χιὼν τινὶ λευκῷ οὐχ ὑπάρχει, κόραξ οὐδεμιᾷ χιόνι. τοῦ δὲ παντὶ ὑπάρχειν τὸ Π τῷ P πάλιν οὕ φησι δύνασθαι ὅρους ληφθῆναι, ὅτε τὸ P τῷ Σ τινὶ οὐχ ὑπάρχει ὡς καὶ τινὶ ὑπάρχειν, ὡς εἶχεν, ἐφ’ ὧν παρέθετο ὅρων, χιόνος καὶ λευκοῦ. τὸ δ’ αἴτιον, ὅτι γίνεται πάλιν συλλογιστικὴ συζυγία ἡ ἔχουσα τὴν μὲν μείζονα καθόλου ἀποφατικὴν τὴν δὲ ἐλάττονα ἐπὶ μέρους καταφατικὴν συνάγουσα ἐπὶ μέρους ἀποφατικόν, ὡς ἐδείξαμεν, οὗ τὸ ἀντικείμενον ἀδύνατον γίνεται. ἄν δὴ τοῦ P τῷ Σ τινὶ μὴ ὑπάρχοντος οὕτως ὡς καὶ τινὶ ὑπάρχειν ὑποθώμεθα τὸ Π παντὶ τῷ P ὑπάρχειν, ἀδύνατος ἡμῶν ἡ ὑπόθεσις ἔσται· ἀναιρεθήσεται γὰρ συλλογιστικῶς | δειχθέντος τοῦ ὅτι τὸ Π τινὶ τῷ P οὐχ ὑπάρχει. ἀλλ’ ἐπεὶ ἀδιόριστον τὸ τῶν ἐπὶ μέρους ἀληθές, ἄν λάβωμεν τὴν ἐπὶ μέρους ἀποφατικὴν ἀληθῆ τῷ εἶναι τὴν καθόλου ἀποφατικὴν ἀληθῆ, εὐπορήσομεν ὅρων τότε καὶ τοῦ παντὶ καὶ ἀσυλλόγιστον δείξομεν τὴν συζυγίαν· γίνεται γὰρ δυνάμει ἡ αὐτὴ ἡ ἐκ δύο καθόλου ἀποφατικῶν. ὅτι δὲ μὴ οἷόν τ’ εὐπορῆσαι τοῦ παντὶ τὸ Π τῷ P ὅρων τῆς Ρ Σ προτάσεως ἐπὶ μέρους ἀποφατικῆς οὕσης ἀληθοῦς καθ’ αὑτήν, διὰ τῆς εἰς ἀδύνατον ἀπαγωγῆς ἔδειξεν. εἰ γὰρ εἴη ὐποκείμενον τὸ Π τῷ Ρ παντὶ ὑπάρχειν, εἴη δὲ καὶ τὸ P τινὶ τῷ Σ ὑπάρχον, ἔσται καὶ τὸ Π τινὶ τῶν Σ ὑπάρχον συλλογιστικῶς, ὅ ἐστιν ἀδύνατον· ὑπόκειται γὰρ μηδενὶ ὑπάρχειν τὸ Π τῷ Σ.