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