Aristotle: Analytica Priora (Prior Analytics)

οὐδὲν γὰρ κωλύει τὸ Β ὑπερτείνειν τοῦ Α καὶ μὴ κατηγορεῖσθαι ἐπ᾿ ἴσων· ᾧ δ᾿ ὑπερτείνει τὸ Β τοῦ Α, εἰλήφθω τὸ Γ· τούτῳ γὰρ οὔτε παντὶ οὔτε μηδενὶ οὔτε τινὶ οὔτε μή τινι ἐνδέχεται τὸ Α ὑπάρχειν, εἴπερ ἀντιστρέφουσιν αἱ κατὰ τὸ ἐνδέχεσθαι προτάσεις καὶ τὸ Β πλείοσιν ἐνδέχεται ἢ τὸ Α ὑπάρχειν. Ἔτι δὲ καὶ ἐκ τῶν ὅρων φανερόν· οὕτω γὰρ ἐχουσῶν τῶν προτάσεων τὸ πρῶτον τῷ ἐσχάτῳ καὶ οὐδενὶ ἐνδέχεται καὶ παντὶ ὑπάρχειν ἀναγκαῖον. Ὅροι δὲ κοινοὶ πάντων τοῦ μὲν ὑπάρχειν ἐξ ἀνάγκης ζῷον—λευκόν—ἄνθρωπος, τοῦ δὲ μὴ ἐνδέχεσθαι ζῷον—λευκόν—ἱμάτιον. Φανερὸν οὖν τοῦτον τὸν τρόπον ἐχόντων τῶν ὅρων ὅτι οὐδεὶς γίνεται συλλογισμός. Ἢ γὰρ τοῦ ὑπάρχειν ἢ τοῦ ἐξ ἀνάγκης ἢ τοῦ ἐνδέχεσθαι πᾶς ἐστὶ συλλογισμός. Τοῦ μὲν οὖν ὑπάρχειν καὶ τοῦ ἀναγκαίου φανερὸν ὅτι οὐκ ἔστιν· ὁ μὲν γὰρ καταφατικὸς ἀναιρεῖται τῷ στερητικῷ, ὁ δὲ στερητικὸς τῷ καταφατικῷ. Λείπεται δὴ τοῦ ἐνδέχεσθαι εἶναι· τοῦτο δ᾿ ἀδύνατον· δέδεικται γὰρ ὅτι οὕτως ἐχόντων τῶν ὅρων καὶ παντὶ τῷ ἐσχάτῳ τὸ πρῶτον ἀνάγκη καὶ οὐδενὶ ἐνδέχεται ὑπάρχειν. Ὥστ᾿ οὐκ ἂν εἴη τοῦ ἐνδέχεσθαι συλλογισμός· τὸ γὰρ ἀναγκαῖον οὐκ ἦν ἐνδεχόμενον.

Φανερὸν δὲ ὅτι καθόλου τῶν ὅρων ὄντων ἐν ταῖς ἐνδεχομέναις προτάσεσιν ἀεὶ γίνεται συλλογισμὸς ἐν τῷ πρώτῳ σχήματι, καὶ κατηγορικῶν καὶ στερητικῶν ὄντων, πλὴν κατηγορικῶν μὲν τέλειος, στερητικῶν δὲ ἀτελής. Δεῖ δὲ τὸ ἐνδέχεσθαι λαμβάνειν μὴ ἐν τοῖς ἀναγκαίοις, ἀλλὰ κατὰ τὸν εἰρημένον διορισμόν. Ἐνίοτε δὲ λανθάνει τὸ τοιοῦτον.

Ἐὰν δ᾿ ἡ μὲν ὑπάρχειν ἡ δ᾿ ἐνδέχεσθαι λαμβάνηται τῶν προτάσεων, ὅταν μὲν ἡ πρὸς τὸ μεῖζον ἄκρον ἐνδέχεσθαι σημαίνῃ, τέλειοί τ᾿ ἔσονται πάντες οἱ συλλογισμοὶ καὶ τοῦ ἐνδέχεσθαι κατὰ τὸν εἰρημένον διορισμόν, ὅταν δ᾿ ἡ πρὸς τὸ ἔλαττον, ἀτελεῖς τε πάντες, καὶ οἱ στερητικοὶ τῶν συλλογισμῶν οὐ τοῦ κατὰ τὸν διορισμὸν ἐνδεχομένου, ἀλλὰ τοῦ