Aristotle: Analytica Priora (Prior Analytics)

Ἐὰν δὲ τὸ στερητικὸν τεθῇ πρὸς τὸ ἔλαττον ἄκρον ἐνδέχεσθαι σημαῖνον, ἐξ αὐτῶν μὲν τῶν εἰλημμένων προτάσεων οὐδεὶς ἔσται συλλογισμός, ἀντιστραφείσης δὲ τῆς κατὰ τὸ ἐνδέχεσθαι προτάσεως ἔσται, καθάπερ ἐν τοῖς πρότερον. Ὑπαρχέτω γὰρ τὸ Α παντὶ τῷ Β, τὸ δὲ Β ἐνδεχέσθω μηδενὶ τῷ Γ. Οὕτω μὲν οὖν ἐχόντων τῶν ὅρων οὐδὲν ἔσται ἀναγκαῖον· ἐὰν δ᾿ ἀντιστραφῇ τὸ Β Γ καὶ ληφθῇ τὸ Β παντὶ τῷ Γ ἐνδέχεσθαι, γίνεται συλλογισμὸς ὥσπερ πρότερον· ὁμοίως γὰρ ἔχουσιν οἱ ὅροι τῇ θέσει. Τὸν αὐτὸν δὲ τρόπον καὶ στερητικῶν ὄντων ἀμφοτέρων τῶν διαστημάτων, ἐὰν τὸ μὲν Α Β μὴ ὑπάρχῃ, τὸ δὲ Β Γ μηδενὶ ἐνδέχεσθαι σημαίνῃ· δι᾿ αὐτῶν μὲν γὰρ τῶν εἰλημμένων οὐδαμῶς γίνεται τὸ ἀναγκαῖον, ἀντιστραφείσης δὲ τῆς κατὰ τὸ ἐνδέχεσθαι προτάσεως ἔσται συλλογισμός. Εἰλήφθω γὰρ τὸ μὲν Α μηδενὶ τῷ Β ὑπάρχειν, τὸ δὲ Β ἐνδέχεσθαι μηδενὶ τῷ Γ. Διὰ μὲν οὖν τούτων οὐδὲν ἀναγκαῖον· ἐὰν δὲ ληφθῇ τὸ Β παντὶ τῷ Γ ἐνδέχεσθαι, ὅπερ ἐστὶν ἀληθές, ἡ δὲ Α Β πρότασις ὁμοίως ἔχῃ, πάλιν ὁ αὐτὸς ἔσται συλλογισμός. Ἐὰν δὲ μὴ ὑπάρχειν τεθῇ τὸ Β παντὶ τῷ Γ καὶ μὴ ἐνδέχεσθαι μὴ ὑπάρχειν, οὐκ ἔσται συλλογισμὸς οὐδαμῶς, οὔτε στερητικῆς οὔσης οὔτε καταφατικῆς τῆς Α Β προτάσεως. Ὅροι δὲ κοινοὶ τοῦ μὲν ἐξ ἀνάγκης ὑπάρχειν λευκόν—ζῷον—χιών, τοῦ δὲ μὴ ἐνδέχεσθαι λευκόν—ζῷον—πίττα.

Φανερὸν οὖν ὅτι καθόλου τῶν ὅρων ὄντων, καὶ τῆς μὲν ὑπάρχειν τῆς δ᾿ ἐνδέχεσθαι λαμβανομένης τῶν προτάσεων, ὅταν ἡ πρὸς τὸ ἔλαττον ἄκρον ἐνδέχεσθαι λαμβάνηται πρότασις, ἀεὶ γίνεται συλλογισμός, πλὴν ὁτὲ μὲν ἐξ αὐτῶν ὁτὲ δ᾿ ἀντιστραφείσης τῆς προτάσεως. Πότε δὲ τούτων ἑκάτερος καὶ διὰ τίν᾿ αἰτίαν, εἰρήκαμεν. Ἐὰν δὲ τὸ μὲν καθόλου τὸ δ᾿ ἐν μέρει ληφθῇ τῶν διαστημάτων, ὅταν μὲν τὸ πρὸς τὸ μεῖζον ἄκρον καθόλου τεθῇ καὶ ἐνδεχόμενον, εἴτ᾿ ἀποφατικὸν εἴτε καταφατικόν, τὸ δ᾿ ἐν μέρει καταφατικὸν καὶ