Aristotle: Analytica Priora (Prior Analytics)

χιών· τὸ γὰρ ἄψυχον τοῦ μὲν παντὸς κατηγορεῖται, τοῦ δὲ οὐδενός. Ἔτι ἐπεὶ ἀδιόριστον τὸ τινὶ τῷ Γ τὸ Β μὴ ὑπάρχειν, ἀληθεύεται δέ, καὶ εἰ μηδενὶ ὑπάρχει καὶ εἰ μὴ παντί, ὅτι τινὶ οὐχ ὑπάρχει, ληφθέντων δὲ τοιούτων ὅρων ὥστε μηδενὶ ὑπάρχειν οὐ γίνεται συλλογισμός (τοῦτο γὰρ εἴρηται πρότερον), φανερὸν οὖν ὅτι τῷ οὕτως ἔχειν τοὺς ὅρους οὐκ ἔσται συλλογισμός· ἦν γὰρ ἂν καὶ ἐπὶ τούτων. Ὁμοίως δὲ δειχθήσεται καὶ εἰ τὸ καθόλου τεθείη στερητικόν. Οὐδέ γ᾿ ἐὰν ἄμφω τὰ διαστήματα κατὰ μέρος ἢ κατηγορικῶς ἢ στερητικῶς, ἢ τὸ μὲν κατηγορικῶς τὸ δὲ στερητικῶς λέγηται, ἢ τὸ μὲν ἀδιόριστον τὸ δὲ διωρισμένον, ἢ ἄμφω ἀδιόριστα, οὐκ ἔσται συλλογισμὸς οὐδαμῶς. Ὅροι δὲ κοινοὶ πάντων ζῷον—λευκόν—ἵππος, ζῷον—λευκόν—λίθος.

Φανερὸν οὖν ἐκ τῶν εἰρημένων ὡς ἐὰν ᾖ συλλογισμὸς ἐν τούτῳ τῷ σχήματι κατὰ μέρος, ὅτι ἀνάγκη τοὺς ὅρους οὕτως ἔχειν ὡς εἴπομεν· ἄλλως γὰρ ἐχόντων οὐδαμῶς γίνεται. Δῆλον δὲ καὶ ὅτι πάντες οἱ ἐν αὐτῷ συλλογισμοὶ τέλειοί εἰσι· πάντες γὰρ ἐπιτελοῦνται διὰ τῶν ἐξ ἀρχῆς ληφθέντων. Καὶ ὅτι πάντα τὰ προβλήματα δείκνυται διὰ τούτου τοῦ σχήματος· καὶ γὰρ τὸ παντὶ καὶ τὸ μηδενὶ καὶ τὸ τινὶ καὶ τὸ μή τινι ὑπάρχειν. Καλῶ δὲ τὸ τοιοῦτον σχῆμα πρῶτον.

Ὅταν δὲ τὸ αὐτὸ τῷ μὲν παντὶ τῷ δὲ μηδενὶ ὑπάρχῃ, ἢ ἑκατέρῳ παντὶ ἢ μηδενί, τὸ μὲν σχῆμα τὸ τοιοῦτον καλῶ δεύτερον, μέσον δὲ ἐν αὐτῷ λέγω τὸ κατηγορούμενον ἀμφοῖν, ἄκρα δὲ καθ᾿ ὧν λέγεται τοῦτο, μεῖζον δὲ ἄκρον τὸ πρὸς τῷ μέσῳ κείμενον, ἔλαττον δὲ τὸ πορρωτέρω τοῦ μέσου. Τίθεται δὲ τὸ μέσον ἔξω μὲν τῶν ἄκρων, πρῶτον δὲ τῇ θέσει. Τέλειος μὲν οὖν οὐκ ἔσται συλλογισμὸς οὐδαμῶς ἐν τούτῳ τῷ σχήματι, δυνατὸς δ᾿ ἔσται καὶ καθόλου καὶ μὴ καθόλου τῶν ὅρων ὄντων. Καθόλου μὲν οὖν ὄντων ἔσται συλλογισμός,