Aristotle: Analytica Priora (Prior Analytics)

στερητικὰ ληφθῇ, καθόλου δὲ τὸ μὴ ὑπάρχειν, ἐξ αὐτῶν μὲν τῶν προτάσεων οὐκ ἔσται τὸ ἀναγκαῖον, ἀντιστραφέντος δὲ τοῦ ἐνδέχεσθαι, καθάπερ ἐν τοῖς πρότερον, ἔσται συλλογισμός. Ἐὰν δὲ ὑπάρχον μὲν ᾖ τὸ στερητικόν, ἐν μέρει δὲ ληφθῇ, οὐκ ἔσται συλλογισμός, οὔτε καταφατικῆς οὔτε στερητικῆς οὔσης τῆς ἑτέρας προτάσεως. Οὐδ᾿ ὅταν ἀμφότεραι ληφθῶσιν ἀδιόριστοι ἢ καταφατικαὶ ἢ ἀποφατικαὶ ἢ κατὰ μέρος. Ἀπόδειξις δ᾿ ἡ αὐτὴ καὶ διὰ τῶν αὐτῶν ὅρων.

Ἐὰν δ᾿ ἡ μὲν ἐξ ἀνάγκης ἡ δ᾿ ἐνδέχεσθαι σημαίνῃ τῶν προτάσεων, τῆς μὲν στερητικῆς ἀναγκαίας οὔσης ἔσται συλλογισμός, οὐ μόνον ὅτι ἐνδέχεται μὴ ὑπάρχειν, ἀλλὰ καὶ ὅτι οὐχ ὑπάρχει, τῆς δὲ καταφατικῆς οὐκ ἔσται. Κείσθω γὰρ τὸ Α τῷ μὲν Β ἐξ ἀνάγκης μηδενὶ ὑπάρχειν, τῷ δὲ Γ παντὶ ἐνδέχεσθαι. Ἀντιστραφείσης οὖν τῆς στερητικῆς οὐδὲ τὸ Β τῷ Α οὐδενὶ ὑπάρξει· τὸ δὲ Α παντὶ τῷ Γ ἐνεδέχετο· γίνεται δὴ πάλιν διὰ τοῦ πρώτου σχήματος ὁ συλλογισμὸς ὅτι τὸ Β τῷ Γ ἐνδέχεται μηδενὶ ὑπάρχειν. Ἅμα δὲ δῆλον ὅτι οὐδ᾿ ὑπάρξει τὸ Β οὐδενὶ τῶν Γ. Κείσθω γὰρ ὑπάρχειν· οὐκοῦν εἰ τὸ Α τῷ Β μηδενὶ ἐνδέχεται, τὸ δὲ Β ὑπάρχει τινὶ τῶν Γ, τὸ Α τῶν Γ τινὶ οὐκ ἐνδέχεται· ἀλλὰ παντὶ ὑπέκειτο ἐνδέχεσθαι. Τὸν αὐτὸν δὲ τρόπον δειχθήσεται καὶ εἰ πρὸς τῷ Γ τεθείη τὸ στερητικόν. Πάλιν ἔστω τὸ κατηγορικὸν ἀναγκαῖον, θάτερον δ᾿ ἐνδεχόμενον, καὶ τὸ Α τῷ μὲν Β ἐνδεχέσθω μηδενί, τῷ δὲ Γ παντὶ ὑπαρχέτω ἐξ ἀνάγκης. Οὕτως οὖν ἐχόντων τῶν ὅρων οὐδεὶς ἔσται συλλογισμός· συμβαίνει γὰρ τὸ Β τῷ Γ ἐξ ἀνάγκης μὴ ὑπάρχειν. Ἔστω γὰρ τὸ μὲν Α λευκόν, ἐφ᾿ ᾧ δὲ τὸ Β ἄνθρωπος, ἐφ᾿ ᾧ δὲ τὸ Γ κύκνος. Τὸ δὴ λευκὸν κύκνῳ μὲν ἐξ ἀνάγκης ὑπάρχει, ἀνθρώπῳ δ᾿ ἐνδέχεται μηδενί· καὶ ἄνθρωπος οὐδενὶ κύκνῳ ἐξ ἀνάγκης. Ὅτι μὲν οὖν τοῦ ἐνδέχεσθαι οὔκ ἔστι συλλογισμός, φανερόν· τὸ γὰρ ἐξ ἀνάγκης οὐκ ἦν ἐνδεχόμενον. Ἀλλὰ μὴν οὐδὲ τοῦ ἀναγκαίου· τὸ γὰρ ἀναγκαῖον ἢ ἐξ ἀμφοτέρων