Aristotle: Analytica Priora (Prior Analytics)

οὐκ ἔσται. Ὅταν δ᾿ ὁ μὲν ᾖ στερητικὸς ὁ δὲ καταφατικός, ἐὰν μὲν ὁ μείζων γένηται στερητικὸς ἅτερος δὲ καταφατικός, ἔσται συλλογισμὸς ὅτι τινὶ οὐχ ὑπάρχει τὸ ἄκρον τῷ ἄκρῳ, ἐὰν δ᾿ ἀνάπαλιν, οὐκ ἔσται.

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