§1.2.9Ἐν δὲ τῷ δευτέρῳ σχήματι τὴν μὲν πρὸς τῷ μείζονι ἄκρῳ πρότασιν οὐκ ἔστιν ἀνελεῖν ἐναντίως, ὁποτερωσοῦν τῆς ἀντιστροφῆς γινομένης·
제2격에서는 환위가 어느 쪽 방식으로 일어나든, 대단 명사를 포함하는 전제를 반대대립적으로 부정할 수는 없다.
ἀεὶ γὰρ ἔσται τὸ συμπέρασμα ἐν τῷ τρίτῳ σχήματι, καθόλου δʼ οὐκ ἦν ἐν τούτῳ συλλογισμός.
왜냐하면 삼단논법은 항상 제3격에서 성립할 것인데, 이 격에서는 전칭 삼단논법이 성립하지 않았기 때문이다.
τὴν δʼ ἑτέραν ὁμοίως ἀναιρήσομεν τῇ ἀντιστροφῇ.
그러나 다른 쪽 전제는 환위와 유사한 방식으로 부정할 것이다.
λέγω δὲ τὸ ὁμοίως, εἰ μὲν ἐναντίως ἀντιστρέφεται, ἐναντίως, εἰ δʼ ἀντικειμένως, ἀντικειμένως.
내가 '유사한 방식으로'라고 말하는 것은, 만약 반대대립적으로 환위된다면 반대대립적으로, 모순대립적으로 환위된다면 모순대립적으로라는 뜻이다.
ὑπαρχέτω γὰρ τὸ Α παντὶ τῷ Β, τῷ δὲ Γ μηδενί·
왜냐하면 A가 모든 B에 속하고, 아무런 C에도 속하지 않는다고 하자.
συμπέρασμα Γ. ἐὰν οὖν ληφθῇ τὸ Β παντὶ τῷ Γ ὑπάρχειν καὶ τὸ.
결론은 [B가 아무런] C[에도 속하지 않는다는 것이다].
Α Β μένῃ, τὸ Α παντὶ τῷ Γ ὑπάρξει·
그러므로 만약 B가 모든 C에 속한다고 취해지고 [전제] AB가 남는다면, A는 모든 C에 속할 것이다.
γίνεται γὰρ τὸ πρῶτον σχῆμα.
왜냐하면 제1격이 생기기 때문이다.
εἰ δὲ τὸ Β παντὶ τῷ Γ, τὸ δὲ Α μηδενὶ τῷ Γ, τὸ οὐ παντὶ τῷ Β·
그러나 만약 B가 모든 C에 속하고 A가 아무런 C에도 속하지 않는다면, [A는] 모든 B에 속하지는 않는다.
σχῆμα τὸ ἔσχατον.
[이는] 마지막 격이다.
ἐὰν δʼ ἀντικειμένως ἀντιστραφῇ τὸ Β Γ, ἡ μὲν Β ὁμοίως δειχθήσεται, ἡ δὲ Γ ἀντικειμένως.
그러나 만약 [결론인] BC가 모순대립적으로 환위된다면, B를 [포함하는 전제]는 마찬가지로 증명될 것이고, C를 [포함하는 전제]는 모순대립적으로 증명될 것이다.
εἰ γὰρ τὸ Β τινὶ τῷ Γ, τὸ δὲ μηδενὶ τῷ Γ, τὸ τινὶ τῷ Β οὐχ ὑπάρξει.
왜냐하면 만약 B가 어떤 C에 속하고, [A가] 아무런 C에도 속하지 않는다면, [A는] 어떤 B에는 속하지 않을 것이기 때문이다.
πάλιν εἰ τὸ Β τινὶ τῷ Γ, τὸ δὲ Α παντὶ τῷ Β, τὸ Α τινὶ τῷ Γ, ὥστʼ ἀντικείμενος γίνεται ὁ συλλογίσμός.
다시 만약 B가 어떤 C에 속하고 A가 모든 B에 속한다면, A는 어떤 C에 속하며, 따라서 모순대립적인 삼단논법이 생긴다.
ὁμοίως δὲ δειχθήσεται καὶ εἰ ἀνάπαλιν ἔχοιεν αἱ προτάσεις.
또한 전제들이 반대의 관계에 있는 경우에도 마찬가지로 증명될 것이다.
εἰ δʼ ἐστὶν ἐπὶ μέρους ὁ συλλογισμός, ἐναντίως μὲν ἀντιστρεφομένου τοῦ συμπεράσματος οὐδετέρα τῶν προτάσεων ἀναιρεῖται, καθάπερ οὐδʼ ἐν τῷ πρώτῳ σχήματι, ἀντικειμένως δʼ ἀμφότεραι.
그러나 만약 삼단논법이 특칭적인 것이라면, 결론이 반대대립적으로 환위될 때에는 제1격에서와 마찬가지로 전제들 중 어느 쪽도 부정되지 않지만, 모순대립적으로 환위될 때에는 둘 다 부정된다.
κείσθω γὰρ τὸ Α τῷ μὲν Β μηδενὶ ὑπάρχειν, τῷ δὲ Γ τινί συμπέρασμα Β Γ. ἐὰν οὖν τεθῇ τὸ Β τινὶ τῷ Γ ὑπάρχειν καὶ τὸ Β μένῃ, συμπέρασμα ἔσται ὅτι τὸ Α τινὶ τῷ Γ οὐχ ὑπάρχει, ἀλλʼ οὐκ ἀνήρηται τὸ ἐξ ἀρχῆς·
왜냐하면 A가 아무런 B에도 속하지 않고 어떤 C에 속한다고 가정하자. 결론은 BC이다. 그러므로 만약 B가 어떤 C에 속한다고 가정되고 [전제] B가 남는다면, 결론은 A가 어떤 C에는 속하지 않는다는 것이 될 것이나, 처음의 [전제]가 부정된 것은 아니다.
ἐνδέχεται γὰρ τινὶ ὑπάρχειν καὶ μὴ ὑπάρχειν.
왜냐하면 어떤 것에 속하면서 속하지 않는 것이 가능하기 때문이다.
πάλιν εἰ τὸ Β τινὶ τῷ Γ καὶ τὸ τινὶ τῷ Γ, οὐκ ἔσται συλλογισμός·
다시 만약 B가 어떤 C에 속하고 [A가] 어떤 C에 속한다면, 삼단논법은 성립하지 않을 것이다.
οὐδέτερον γὰρ καθόλου τῶν εἰλημμένων ὥστ᾿ οὐκ ἀναιρεῖται τὸ Β. ἐὰν δʼ ἀντικειμένως ἀντιστρέφηται, ἀναιροῦνται ἀμφότεραι.
왜냐하면 취해진 전제들 중 어느 것도 전칭이 아니기 때문이며, 따라서 [전제] B는 부정되지 않는다. 그러나 만약 모순대립적으로 환위된다면, 둘 다 부정된다.
εἰ γὰρ τὸ Β παντὶ τῷ Γ, τὸ δὲ Α μηδενὶ τῷ Β, οὐδενὶ τῷ Γ τὸ Α·
왜냐하면 만약 B가 모든 C에 속하고 A가 아무런 B에도 속하지 않는다면, A는 아무런 C에도 속하지 않을 것이기 때문이다.
ἦν δὲ τινί.
그러나 [원래는] 어떤 것에 속해 있었다.
πάλιν εἰ τὸ Β παντὶ τῷ Γ. τὸ δὲ Α τινὶ τῷ Γ, τινὶ τῷ Β τὸ Α. ἡ αὐτὴ δʼ ἀπόδειξις καὶ εἰ τὸ καθόλου κατηγορικόν.
다시 만약 B가 모든 C에 속하고 A가 어떤 C에 속한다면, A는 어떤 B에 속할 것이다. 또한 전칭 전제가 긍정적인 경우에도 증명은 동일하다.