Aristotle: Analytica Priora (Prior Analytics)

ἐν μέρει ἀναγκαῖον πρὸς τῷ μείζονι ἄκρῳ, οὐκ ἔσται συλλογισμός. Ὅροι δὲ τοῦ μὲν ὑπάρχειν ἐξ ἀνάγκης ζῷον—λευκόν—ἄνθρωπος, τοῦ δὲ μὴ ἐνδέχεσθαι ζῷον—λευκόν—ἱμάτιον. Ὅταν δ᾿ ἀναγκαῖον ᾖ τὸ καθόλου, τὸ δ᾿ ἐν μέρει ἐνδεχόμενον, στερητικοῦ μὲν ὄντος τοῦ καθόλου τοῦ μὲν ὑπάρχειν ὅροι ζῷον—λευκόν—κόραξ, τοῦ δὲ μὴ ὑπάρχειν ζῷον—λευκόν—πίττα, καταφατικοῦ δὲ τοῦ μὲν ὑπάρχειν ζῷον—λευκόν—κύκνος, τοῦ δὲ μὴ ἐνδέχεσθαι ζῷον—λευκόν —χιών. Οὐδ᾿ ὅταν ἀδιόριστοι ληφθῶσιν αἱ προτάσεις ἢ ἀμφότεραι κατὰ μέρος, οὐδ᾿ οὕτως ἔσται συλλογισμός. Ὅροι δὲ κοινοὶ τοῦ μὲν ὑπάρχειν ζῷον—λευκόν—ἄνθρωπος, τοῦ δὲ μὴ ὑπάρχειν ζῷον—λευκόν—ἄψυχον. Καὶ γὰρ τὸ ζῷον τινὶ λευκῷ καὶ τὸ λευκὸν ἀψύχῳ τινὶ καὶ ἀναγκαῖον ὑπάρχειν καὶ οὐκ ἐνδέχεται ὑπάρχειν. Κἀπὶ τοῦ ἐνδέχεσθαι ὁμοίως, ὥστε πρὸς ἅπαντα χρήσιμοι οἱ ὅροι.

Φανερὸν οὖν ἐκ τῶν εἰρημένων ὅτι ὁμοίως ἐχόντων τῶν ὅρων ἔν τε τῷ ὑπάρχειν καὶ ἐν τοῖς ἀναγκαίοις γίνεταί τε καὶ οὐ γίνεται συλλογισμός, πλὴν κατὰ μὲν τὸ ὑπάρχειν τιθεμένης τῆς στερητικῆς προτάσεως τοῦ ἐνδέχεσθαι ἦν ὁ συλλογισμός, κατὰ δὲ τὸ ἀναγκαῖον τῆς στερητικῆς καὶ τοῦ ἐνδέχεσθαι καὶ τοῦ μὴ ὑπάρχειν. Δῆλον δὲ καὶ ὅτι πάντες ἀτελεῖς οἱ συλλογισμοὶ καὶ ὅτι τελειοῦνται διὰ τῶν προειρημένων σχημάτων.

Ἐν δὲ τῷ δευτέρῳ σχήματι ὅταν μὲν ἐνδέχεσθαι λαμβάνωσιν ἀμφότεραι αἱ προτάσεις, οὐδεὶς ἔσται συλλογισμός, οὔτε κατηγορικῶν οὔτε στερητικῶν τιθεμένων, οὔτε καθόλου οὔτε κατὰ μέρος· ὅταν δὲ ἡ μὲν ὑπάρχειν ἡ δ᾿ ἐνδέχεσθαι σημαίνῃ, τῆς μὲν καταφατικῆς ὑπάρχειν σημαινούσης οὐδέποτ᾿ ἔσται, τῆς δὲ στερητικῆς τῆς καθόλου ἀεί. Τὸν αὐτὸν δὲ τρόπον καὶ ὅταν ἡ μὲν ἐξ ἀνάγκης ἡ δ᾿ ἐνδέχεσθαι λαμβάνηται τῶν προτάσεων. Δεῖ δὲ καὶ ἐν τούτοις λαμβάνειν