Aristotle: Analytica Priora (Prior Analytics)

ἀνῄρηται τὸ ἐξ ἀρχῆς· ἐνδέχεται γὰρ τινὶ ὑπάρχειν καὶ μὴ ὑπάρχειν. Πάλιν εἰ τὸ Β τινὶ τῷ Γ καὶ τὸ Α τινὶ τῷ Γ, οὐκ ἔσται συλλογισμός· οὐδέτερον γὰρ καθόλου τῶν εἰλημμένων. Ὤστ᾿ οὐκ ἀναιρεῖται τὸ Α Β. Ἐὰν δ᾿ ἀντικειμένως ἀντιστρέφηται, ἀναιροῦνται ἀμφότεραι. Εἰ γὰρ τὸ Β παντὶ τῷ Γ, τὸ δὲ Α μηδενὶ τῷ Β, οὐδενὶ τῷ Γ τὸ Α· ἦν δὲ τινί. Πάλιν εἰ τὸ Β παντὶ τῷ Γ, τὸ δὲ Α τινὶ τῷ Γ, τινὶ τῷ Β τὸ Α. Ἡ αὐτὴ δ᾿ ἀπόδειξις καὶ εἰ τὸ καθόλου κατηγορικόν.

Ἐπὶ δὲ τοῦ τρίτου σχήματος ὅταν μὲν ἐναντίως ἀντιστρέφηται τὸ συμπέρασμα, οὐδετέρα τῶν προτάσεων ἀναιρεῖται κατ᾿ οὐδένα τῶν συλλογισμῶν, ὅταν δ᾿ ἀντικειμένως, ἀμφότεραι καὶ ἐν ἅπασιν. Δεδείχθω γὰρ τὸ Α τινὶ τῷ Β ὑπάρχον, μέσον δ᾿ εἰλήφθω τὸ Γ, ἔστωσαν δὲ καθόλου αἱ προτάσεις. Οὐκοῦν ἐὰν ληφθῇ τὸ Α τινὶ τῷ Β μὴ ὑπάρχειν, τὸ δὲ Β παντὶ τῷ Γ, οὐ γίνεται συλλογισμὸς τοῦ Α καὶ τοῦ Γ. Οὐδ᾿ εἰ τὸ Α τῷ μὲν Β τινὶ μὴ ὑπάρχει, τῷ δὲ Γ παντί, οὐκ ἔσται τοῦ Β καὶ τοῦ Γ συλλογισμός. Ὁμοίως δὲ δειχθήσεται καὶ εἰ μὴ καθόλου αἱ προτάσεις. Ἢ γὰρ ἀμφοτέρας ἀνάγκη κατὰ μέρος εἶναι διὰ τῆς ἀντιστροφῆς, ἢ τὸ καθόλου πρὸς τῷ ἐλάττονι ἄκρῳ γίνεσθαι· οὕτω δ᾿ οὐκ ἦν συλλογισμὸς οὔτ᾿ ἐν τῷ πρώτῳ σχήματι οὔτ᾿ ἐν τῷ μέσῳ. Ἐὰν δ᾿ ἀντικειμένως ἀντιστρέφωνται αἱ προτάσεις, ἀναιροῦνται ἀμφότεραι. Εἰ γὰρ τὸ Α μηδενὶ τῷ Β, τὸ δὲ Β παντὶ τῷ Γ, τὸ Α οὐδενὶ τῷ Γ· πάλιν εἰ τὸ Α τῷ μὲν Β μηδενί, τῷ δὲ Γ παντί, τὸ Β οὐδενὶ τῷ Γ. Καὶ εἰ ἡ ἑτέρα μὴ καθόλου, ὡσαύτως. Εἰ γὰρ τὸ Α μηδενὶ τῷ Β, τὸ δὲ Β τινὶ τῷ Γ, τὸ Α τινὶ τῷ Γ οὐχ ὑπάρξει· εἰ δὲ τὸ Α τῷ μὲν Β μηδενί, τῷ δὲ Γ παντί, οὐδενὶ τῷ Γ τὸ Β. Ὁμοίως δὲ καὶ εἰ στερητικὸς ὁ συλλογισμός. Δεδείχθω γὰρ τὸ Α τινὶ τῷ Β μὴ ὑπάρχον, ἔστω δὲ κατηγορικὸν μὲν τὸ Β Γ, ἀποφατικὸν δὲ τὸ Α Γ· οὕτω γὰρ ἐγίνετο ὁ συλλογισμός. Ὅταν μὲν οὖν