§1.1.28#1Κατασκευάζειν μὲν οὖν βουλομένοις κατά τινος ὅλου τοῦ μὲν κατασκευαζομένου βλεπτέον εἰς τὰ ὑποκείμενα καθʼ ὧν αὐτὸ τυγχάνει λεγόμενον, οὗ δὲ δεῖ κατηγορεῖσθαι, ὅσα τούτῳ ἕπεται·
그러므로 어떤 것 전체에 대하여 긍정적으로 입증하고자 하는 사람들은, 입증되는 대상에 대해서는 그것이 실제로 일컬어지는 주어들을 보아야 하고, 그것이 술어화되어야 하는 대상에 대해서는 이것에 따르는 모든 것을 보아야 한다.
ἂν γάρ τι τούτων ᾖ ταὐτόν, ἀνάγκη θάτερον θατέρῳ ὑπάρχειν.
왜냐하면 만일 이것들 중 어떤 것이 동일하다면, 한쪽이 다른 쪽에 속하는 것이 필연적이기 때문이다.
ἢν δὲ μὴ ὅτι παντὶ ἀλλʼ ὅτι τινί, οἷς ἕπεται ἑκάτερον·
그러나 전체가 아니라 일부에 대해서라면, 각각이 따르는 것들을 보아야 한다.
εἰ γάρ τι τούτων ταὐτόν, ἀνάγκη τινὶ ὕπάρχειν.
왜냐하면 만일 이것들 중 어떤 것이 동일하다면, [한쪽이 다른 쪽의] 일부에 속하는 것이 필연적이기 때문이다.
ὅταν δὲ μηδενὶ δέῃ ὑπάρχειν, ᾧ μὲν οὐ δεῖ ὑπάρχειν, εἰς τὰ ἑπόμενα, ὃ δὲ δεῖ μὴ ὑπάρχειν, εἰς ἃ μὴ ἐνδέχεται αὐτῷ παρεῖναι·
반면에 아무것에도 속하지 않아야 할 때에는, 속하지 않아야 할 대상에 대해서는 [여기에] 따르는 것들을, 속하지 않는 쪽의 대상에 대해서는 그것에 존재할 수 없는 것들을 보아야 한다.
ἢ ἀνάπαλιν, ᾧ μὲν δεῖ μὴ ὑπάρχειν, εἰς ἃ μὴ ἐνδέχεται αὐτῷ παρεῖναι, ὃ δὲ μὴ ὑπάρχειν, εἰς τὰ ἑπόμενα.
혹은 그 반대로, 속하지 않아야 할 대상에 대해서는 그것에 존재할 수 없는 것들을, 속하지 않는 쪽의 대상에 대해서는 [여기에] 따르는 것들을 보아야 한다.
τούτων γὰρ ὄντων τῶν αὐτῶν ὁποτερωνοῦν, οὐδενὶ ἐνδέχεται θατέρῳ θάτερον ὑπάρχειν·
왜냐하면 이것들 중 어느 쪽이든 동일하다면, 한쪽이 다른 쪽에 속하는 것은 불가능하기 때문이다.
γίνεται γὰρ ὁτὲ μὲν ὁ ἐν τῷ πρώτῳ σχήματι συλλογισμός, ὁτὲ δʼ ὁ ἐν τῷ μέσῳ.
실제로 어떤 때에는 제1격의 삼단논법이 성립하고, 다른 때에는 중간격(제2격)의 삼단논법이 성립한다.
ἐὰν δὲ τινὶ μὴ ὑπάρχειν, ᾧ μὲν δεῖ μὴ ὑπάρχειν, οἷς ἕπεται, ὃ δὲ μὴ ὑπάρχειν, ἃ μὴ δυνατὸν αὐτῷ ὑπάρχειν·
또한 일부에 속하지 않아야 할 때에는, 속하지 않아야 할 대상에 대해서는 그것이 따르는 것들을, 속하지 않는 쪽의 대상에 대해서는 그것에 속할 수 없는 것들을 보아야 한다.
εἰ γάρ τι τούτων εἴη ταὐτόν, ἀνάγκη τινὶ μὴ ὑπάρχειν.
왜냐하면 만일 이것들 중 어떤 것이 동일하다면, 일부에 속하지 않는 것이 필연적이기 때문이다.
Μᾶλλον δʼ ἴσως ὧδ᾿ ἔσται τῶν λεγομένων ἕκαστον φανερόν.
그러나 아마도 일컬어진 것 각각은 다음과 같이 하면 더 분명해질 것이다.
ἔστω γὰρ τὰ μὲν ἑπόμενα τῷ ἐφʼ ὧν Β, οἷς δʼ αὐτὸ ἕπεται, ἐφʼ ᾧν Γ, ἃ δὲ μὴ ἐνδέχεται αὐτῷ ὑπάρχειν, ἐφʼ ὧν Δ·
실제로 [A로 표시되는 것]에 따르는 것들을 B라 하고, 그것 자체가 따르는 것들을 Γ라 하며, 그것에 속할 수 없는 것들을 Δ라 하자.
πάλιν δὲ τῷ Ε τὰ μὲν ὑπάρχοντα, ἐφʼ οἷς Ζ, οἷς δʼ αὐτὸ ἕπεται, ἐφʼ οἷς Η, ἃ δὲ μὴ ἐνδέχεται αὐτῷ ὑπάρχειν, ἐφʼ οἷς Θ. εἰ μὲν οὖν ταὐτό τί ἐστι τῶν Γ τινὶ τῶν Ζ, ἀνάγκη τὸ παντὶ τῷ Ε ὑπάρχειν·
또한 E에 대해서는, [그것에] 속하는 것들을 Z라 하고, 그것 자체가 따르는 것들을 H라 하며, 그것에 속할 수 없는 것들을 Θ라 하자. 그렇다면 만일 Γ 중의 어떤 것이 Z 중의 어떤 것과 동일하다면, A가 모든 E에 속하는 것이 필연적이다.
τὸ μὲν γὰρ Ζ παντὶ τῷ Ε, τῷ δὲ Γ παντὶ τὸ Α, ὥστε παντὶ τῷ Ε τὸ Α. εἰ δὲ τὸ Γ καὶ τὸ Η ταὐτόν, ἀνάγκη τινὶ τῷ τὸ Α ὑπάρχειν·
왜냐하면 Z는 모든 E에 속하고, 모든 Γ에는 A가 속하므로, 결과적으로 모든 E에 A가 속하기 때문이다. 그러나 만일 Γ와 H가 동일하다면, A가 어떤 E에 속하는 것이 필연적이다.
τῷ μὲν γὰρ Γ τὸ Α, τῷ δὲ Η τὸ παντὶ ἀκολουθεῖ.
왜냐하면 Γ에는 A가 따르고, 모든 H에는 E가 따르기 때문이다.
εἰ δὲ τὸ Ζ καὶ τὸ Δ ταὐτόν, οὐδενὶ τῶν Ε τὸ Α ὑπάρξει ἐκ προσυλλογισμοῦ·
또한 만일 Z와 Δ가 동일하다면, 예비 삼단논법에 의해 A는 E의 아무것에도 속하지 않을 것이다.
ἐπεὶ γὰρ ἀντιστρέφει τὸ στερητικὸν καὶ τὸ Ζ τῷ Δ ταὐτόν, οὐδενὶ τῶν Ζ ὑπάρξει τὸ Α, τὸ δὲ Ζ παντὶ τῷ Ε. πάλιν εἰ τὸ Β καὶ τὸ Θ ταὐτόν, οὐδενὶ τῶν Ε τὸ Α ὑπάρξει·
왜냐하면 부정 명제는 환위 가능하고 Z는 Δ와 동일하므로, A는 Z의 아무것에도 속하지 않으며, Z는 모든 E에 속하기 때문이다. 다시 만일 B와 Θ가 동일하다면, A는 E의 아무것에도 속하지 않을 것이다.
τὸ γὰρ Β τῷ μὲν Α παντί, τῷ δʼ ἐφʼ ᾧ τὸ Ε οὐδενὶ ὑπάρξει·
왜냐하면 B는 모든 A에 속하지만, E가 표시하는 것의 아무것에도 속하지 않을 것이기 때문이다.
ταὐτὸ γὰρ ἦν τῷ Θ, τὸ δὲ Θ οὐδενὶ τῶν Ε ὑπῆρχεν.
왜냐하면 B는 Θ와 동일하고, Θ는 E의 아무것에도 속하지 않았기 때문이다.
εἰ δὲ τὸ Δ καὶ τὸ ταὐτόν, τὸ τινὶ τῷ Ε οὐχ ὑπάρξει·
그러나 만일 Δ와 H가 동일하다면, A는 어떤 E에 속하지 않을 것이다.
τῷ γὰρ Η οὐχ ὑπάρξει, ὅτι οὐδὲ τῷ Δ·
왜냐하면 H에는 속하지 않을 것인데, 왜냐하면 Δ에도 속하지 않기 때문이다.
τὸ δὲ Η ἐστὶν ὑπὸ τὸ Ε, ὥστε τινὶ τῶν οὐχ ὑπάρξει.
그리고 H는 E의 아래에 포함되어 있으므로, 결과적으로 어떤 E에는 속하지 않을 것이다.
εἰ δὲ τῷ Η τὸ Β ταὐτόν, ἀντεστραμμένος ἔσται συλλογισμός·
또한 만일 B가 H와 동일하다면, 환위된 삼단논법이 성립할 것이다.
τὸ μὲν γὰρ Ε τῷ Α ὑπάρξει παντί–τὸ γὰρ Β τῷ Α, τὸ δὲ Ε τῷ Β (ταὐτὸ γὰρ ἦν τῷ Η)—τὸ δὲ τῷ Ε παντὶ μὲν οὐκ ἀνάγκη ὑπάρχειν, τινὶ δʼ ἀνάγκη διὰ τὸ ἀντιστρέφειν τὴν καθόλου κατηγορίαν τῇ κατὰ μέρος.
실제로 E는 모든 A에 속하게 될 것이다. 왜냐하면 B는 A에 속하고, E는 B에 속하기(B는 H와 동일했으므로) 때문이다. 그러나 다른 한편으로 A가 모든 E에 속하는 것은 필연적이지 않지만, 어떤 E에 속하는 것은 필연적이다. 보편 긍정은 특칭 긍정과 환위 가능하기 때문이다.
Φανερὸν οὖν ὅτι εἰς τὰ προειρημένα βλεπτέον ἑκατέρου καθʼ ἕκαστον πρόβλημα·
그러므로 각각의 과제에 대하여 양자 각각에 관해 상술한 것들을 보아야 한다는 점은 명백하다.
διὰ τούτων γὰρ ἅπαντες οἱ συλλογισμοί.
왜냐하면 모든 삼단논법은 이것들을 통해 성립하기 때문이다.
δεῖ δὲ καὶ τῶν ἑπομένων, καὶ οἷς ἕπεται ἕκαστον, εἰς τὰ πρῶτα καὶ τὰ καθόλου μάλιστα βλέπειν, οἷον τοῦ μὲν Ε μᾶλλον εἰς τὸ Κ Ζ ἢ εἰς τὸ Ζ μόνον, τοῦ δὲ Α εἰς τὸ Κ Γ ἢ εἰς τὸ Γ μόνον.
그러나 따르는 것들에 대해서도, 각각이 따르는 것들에 대해서도, 가장 첫째가는 것들과 가장 보편적인 것들을 보아야 한다. 예컨대 E에 대해서는 Z 단독보다는 오히려 K와 Z를, A에 대해서는 Γ 단독보다는 오히려 K와 Γ를 보아야 한다.
εἰ μὲν γὰρ τῷ Ζ ὑπάρχει τὸ Α, καὶ τῷ Ζ καὶ τῷ Ε ὑπάρχει·
왜냐하면 만일 Z에 A가 속한다면, 그것은 Z에도 E에도 속하기 때문이다.
εἰ δὲ τούτῳ μὴ ἕπεται, ἐγχωρεῖ τῷ Ζ ἕπεσθαι.
그러나 만일 이것(더 보편적인 것)에 따르지 않는다 하더라도, Z에는 따를 수 있기 때문이다.
ὁμοίως δὲ καὶ ἐφʼ ὧν αὐτὸ ἀκολουθεῖ σκεπτέον·
마찬가지로 그것 자체가 따르는 것들에 대해서도 검토해야 한다.
εἰ μὲν γὰρ τοῖς πρώτοις, καὶ τοῖς ὑπʼ ἐκεῖνα ἕπεται, εἰ δὲ μὴ τούτοις, ἀλλὰ τοῖς ὑπὸ ταῦτα ἐγχωρεῖ.
왜냐하면 만일 첫째가는 것들에 따른다면, 그것들 아래에 있는 것들에도 따르지만, 만일 이것들에 따르지 않는다 하더라도, 그것들 아래에 있는 것들에는 따를 수 있기 때문이다.