Book priora, Part 2

Ἐν δὲ τῷ δευτέρῳ σχήματι τὴν μὲν πρὸς τῷ μείζονι ἄκρῳ πρότασιν οὐκ ἔστιν ἀνελεῖν ἐναντίως, ὁποτερωσοῦν τῆς ἀντιστροφῆς γινομένης· ἀεὶ γὰρ ἔσται τὸ συμπέρασμα ἐν τῷ τρίτῳ σχήματι, καθόλου δ᾿ οὐκ ἦν ἐν τούτῳ συλλογισμός. Τὴν δ᾿ ἑτέραν ὁμοίως ἀναιρήσομεν τῇ ἀντιστροφῇ. Λέγω δὲ τὸ ὁμοίως, εἰ μὲν ἐναντίως ἀντιστρέφεται, ἐναντίως, εἰ δ᾿ ἀντικειμένως, ἀντικειμένως. Ὑπαρχέτω γὰρ τὸ Α παντὶ τῷ Β, τῷ δὲ Γ μηδενί· συμπέρασμα Β Γ. Ἐὰν οὖν ληφθῇ τὸ Β παντὶ τῷ Γ ὑπάρχειν καὶ τὸ Α Β μένῃ, τὸ Α παντὶ τῷ Γ ὑπάρξει· γίνεται γὰρ τὸ πρῶτον σχῆμα. Εἰ δὲ τὸ Β παντὶ τῷ Γ, τὸ δὲ Α μηδενὶ τῷ Γ, τὸ Α οὐ παντὶ τῷ Β· σχῆμα τὸ ἔσχατον. Ἐὰν δ᾿ ἀντικειμένως ἀντιστραφῇ τὸ Β Γ, ἡ μὲν Α Β ὁμοίως δειχθήσεται, ἡ δὲ Α Γ ἀντικειμένως. Εἰ γὰρ τὸ Β τινὶ τῷ Γ, τὸ δὲ Α μηδενὶ τῷ Γ, τὸ Α τινὶ τῷ Β οὐχ ὑπάρξει. Πάλιν εἰ τὸ Β τινὶ τῷ Γ, τὸ δὲ Α παντὶ τῷ Β, τὸ Α τινὶ τῷ Γ, ὥστ᾿ ἀντικειμένως γίνεται ὁ συλλογισμός. Ὁμοίως δὲ δειχθήσεται καὶ εἰ ἀνάπαλιν ἔχοιεν αἱ προτάσεις. Εἰ δ᾿ ἔστιν ἐπὶ μέρους ὁ συλλογισμός, ἐναντίως μὲν ἀντιστρεφομένου τοῦ συμπεράσματος οὐδετέρα τῶν προτάσεων ἀναιρεῖται, καθάπερ οὐδ᾿ ἐν τῷ πρώτῳ σχήματι, ἀντικειμένως δ᾿ ἀμφότεραι. Κείσθω γὰρ τὸ Α τῷ μὲν Β μηδενὶ ὑπάρχειν, τῷ δὲ Γ τινί· συμπέρασμα Β Γ. Ἐὰν οὖν τεθῇ τὸ Β τινὶ τῷ Γ ὑπάρχειν καὶ τὸ Α Β μένῃ, συμπέρασμα ἔσται ὅτι τὸ Α τινὶ τῷ Γ οὐχ ὑπάρχει. Ἀλλ᾿ οὐκ ἀνῄρηται τὸ ἐξ ἀρχῆς· ἐνδέχεται γὰρ τινὶ ὑπάρχειν καὶ μὴ ὑπάρχειν. Πάλιν εἰ τὸ Β τινὶ τῷ Γ καὶ τὸ Α τινὶ τῷ Γ, οὐκ ἔσται συλλογισμός· οὐδέτερον γὰρ καθόλου τῶν εἰλημμένων. Ὤστ᾿ οὐκ ἀναιρεῖται τὸ Α Β. Ἐὰν δ᾿ ἀντικειμένως ἀντιστρέφηται, ἀναιροῦνται ἀμφότεραι. Εἰ γὰρ τὸ Β παντὶ τῷ Γ, τὸ δὲ Α μηδενὶ τῷ Β, οὐδενὶ τῷ Γ τὸ Α· ἦν δὲ τινί. Πάλιν εἰ τὸ Β παντὶ τῷ Γ, τὸ δὲ Α τινὶ τῷ Γ, τινὶ τῷ Β τὸ Α. Ἡ αὐτὴ δ᾿ ἀπόδειξις καὶ εἰ τὸ καθόλου κατηγορικόν.