§1.2.6Ἐν δὲ τῷ δευτέρῳ σχήματι τὸ μὲν καταφατικὸν οὐκ ἔστι δεῖξαι διὰ τούτου τοῦ τρόπου, τὸ δὲ στερητικὸν ἔστιν.
第二格においては、肯定的な前提をこの方法によって証明することはできないが、否定的な前提は証明できる。
τὸ μὲν οὖν κατηγορικόν οὐ δείκνυται διὰ τὸ μὴ ἀμφοτέρας εἶναι τὰς προτάσεις καταφατικάς·
肯定的な前提が証明されないのは、両方の前提が肯定的にはならないからである。
τό γὰρ συμπέρασμα στερητικόν ἐστι, τὸ δὲ κατηγορικὸν ἐξ ἀμφοτέρων ἐδείκνυτο καταφατικῶν.
なぜなら、結論は否定的であり、肯定的な前提は両方が肯定的であることから証明されていたからである。
τὸ δὲ στερητικὸν ὧδε δείκνυται.
これに対して、否定的な前提は次のように証明される。
ὑπαρχέτω τὸ Α παντὶ τῷ Β, τῷ δὲ Γ μηδενί·
AがすべてのBに属し、どのCにも属さないとしよう。
συμπέρασμα τὸ Β οὐδενὶ τῷ Γ. ἐὰν οὖν ληφθῇ τὸ Β παντὶ τῷ Α ὑπάρχον, ἀνάγκη τὸ Α μηδενὶ τῷ Γ ὑπάρχειν·
結論は、Bがどの Cにも属さないということである。 そこで、もしBがすべてのAに属すると仮定されるならば、AがどのCにも属さないことは必然である。
γίνεται γὰρ τὸ δεύτερον σχῆμα· μέσον τὸ Β. εἰ δὲ τὸ Β στερητικὸν ἐλήφθη, θάτερον δὲ κατηγορικόν, τὸ πρῶτον ἔσται σχῆμα.
なぜなら、第二格が成立し、Bが中間名辞となるからである。 しかし、もしBが否定的に取られ、他方が肯定的に取られるならば、第一格が成立するだろう。
τὸ μὲν γὰρ Γ παντὶ τῷ Α, τὸ δὲ Β οὐδενὶ τῷ Γ, ὥστʼ οὐδενὶ τῷ τὸ Β· οὐδʼ ἄρα τὸ Α τῷ Β. διὰ μὲν οὖν τοῦ συμπεράσματος καὶ τῆς μιᾶς προτάσεως οὐ γίνεται συλλογισμός, προσληφθείσης δʼ ἑτέρας ἔσται.
なぜなら、CはすべてのAに、BはどのCにも属さず、したがってBはどの Aにも属さないからであり、それゆえAもBに属さないからである。 したがって、結論と一方の前提だけからは三段論法は成立しないが、もう一つの前提が付け加えられるならば成立するだろう。
εἰ δὲ μὴ καθόλου ὁ συλλογισμός, ἡ μὲν ἐν ὅλῳ πρότασις οὐ δείκνυται διὰ τὴν αὐτὴν αἰτίαν ἥνπερ εἴπομεν καὶ πρότερον, ἡ δʼ ἐν μέρει δείκνυται, ὅταν ᾖ τὸ καθόλου κατηγορικόν·
しかし、もし三段論法が全称でない場合、全称の前提は、以前に述べたのと同じ理由によって証明されないが、特称の前提は、全称の前提が肯定的なものであるときに証明される。
ὑπαργέτω γὰρ τὸ Α παντὶ τῷ Β, τῷ δὲ Γ μὴ παντί·
なぜなら、AがすべてのBに属し、Cにはすべてには属さないとしよう。
συμπέρασμα Β Γ ἐὰν οὖν ληφθῇ τὸ Β παντὶ τῷ Α, τῷ δὲ Γ οὐ παντί, τὸ Α τινὶ τῷ οὐχ ὑπάρξει·
結論はBとCについてのものである(すなわち、BがCのすべてには属さないということ)。 そこで、もしBがすべてのAに属し、Cにはすべてには属さないと仮定されるならば、AはいくつかのCに属さないことになる。
μέσον Β. εἰ δʼ ἐστὶν ἡ καθόλου στερητική, οὐ δειχθήσεται ἡ Α Γ πρότασις ἀντιστραφέντος τοῦ Α Β·
中間名辞はBである。 しかし、もし全称の前提が否定的なものであるなら、AB前提が逆転されたとしても、AC前提は証明されないだろう。
συμβαίνει γὰρ ἢ ἀμφοτέρας ἢ τὴν ἑτέραν πρότασιν γίνεσθαι ἀποφατικήν, ὥστ᾿ οὐκ ἔσται συλλογισμός.
なぜなら、両方または一方の前提が否定的なものになってしまい、その結果、三段論法が成立しなくなるからである。
ἀλλʼ ὁμοίως δειχθήσεται ὡς καὶ ἐπὶ τῶν καθόλου, ἐὰν ληφθῇ, ὧ τὸ Β τινὶ μὴ ὑπάρχει, τὸ τινὶ ὑπάρχειν.
しかし、全称の場合と同様に、Bがいくつかのものに属さないとき、それ(A)はいくつかのものに属するというように仮定されるならば、同じように証明されるだろう。