Aristotle: Analytica Priora (Prior Analytics)

μὴ ὑπάρχειν· μηδενὶ δὲ ὑπάρχοντος οὐκ ἦν συλλογισμός. Φανερὸν οὖν ὅτι οὐκ ἔσται συλλογισμός. Ἐὰν δ᾿ ὁ στερητικὸς ᾖ καθόλου τῶν ὅρων, ὅταν μὲν ὁ μείζων ᾖ στερητικὸς ὁ δὲ ἐλάττων κατηγορικός, ἔσται συλλογισμός. Εἰ γὰρ τὸ Π μηδενὶ τῷ Σ, τὸ δὲ Ρ τινὶ ὑπάρχει τῷ Σ, τὸ Π τινὶ τῷ Ρ οὐχ ὑπάρξει· πάλιν γὰρ ἔσται τὸ πρῶτον σχῆμα τῆς Ρ Σ προτάσεως ἀντιστραφείσης. Ὅταν δὲ ὁ ἐλάττων ᾖ στερητικός, οὐκ ἔσται συλλογισμός. Ὅροι τοῦ ὑπάρχειν ζῷον—ἄνθρωπος—ἄγριον, τοῦ μὴ ὑπάρχειν ζῷον—ἐπιστήμη—ἄγριον· μέσον ἀμφοῖν τὸ ἄγριον. Οὐδ᾿ ὅταν ἀμφότεροι στερητικοὶ τεθῶσιν, ᾖ δ᾿ ὁ μὲν καθόλου ὁ δ᾿ ἐν μέρει. Ὅροι ὅταν ὁ ἐλάττων ᾖ καθόλου πρὸς τὸ μέσον, ζῷον—ἐπιστήμη—ἄγριον, ζῷον—ἄνθρωπος—ἄγριον. ὅταν δ᾿ ὁ μείζων, τοῦ μὲν μὴ ὑπάρχειν κόραξ—χιών—λευκόν. Τοῦ δ᾿ ὑπάρχειν οὐκ ἔστι λαβεῖν, εἰ τὸ Ρ τινὶ μὲν ὑπάρχει τῷ Σ, τινὶ δὲ μὴ ὑπάρχει. Εἰ γὰρ τὸ Π παντὶ τῷ Ρ, τὸ δὲ Ρ τινὶ τῷ Σ, καὶ τὸ Π τινὶ τῷ Σ· ὑπέκειτο δὲ μηδενί. Ἀλλ᾿ ἐκ τοῦ ἀδιορίστου δεικτέον. Οὐδ᾿ ἂν ἑκάτερος τινὶ τῷ μέσῳ ὑπάρχῃ ἢ μὴ ὑπάρχῃ, ἢ ὁ μὲν ὑπάρχῃ ὁ δὲ μὴ ὑπάρχῃ, ἢ ὁ μὲν τινὶ ὁ δὲ μὴ παντί, ἢ ἀδιορίστως, οὐκ ἔσται συλλογισμὸς οὐδαμῶς. Ὅροι δὲ κοινοὶ πάντων ζῷον—ἄνθρωπος—λευκόν, ζῷον—ἄψυχον—λευκόν.

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