Humanitext Reader

アリストテレス · 分析論前書 §1.2.6

第二格における円環的証明と否定的前提の論証

57 / 123 箇所 · ギリシア語

要旨

第二格における巡回証明の適用可能性について論じ、肯定的な前提は証明できないが、否定的な前提は証明可能であることを示す。また、特称三段論法において各前提が証明される条件についても説明する。

§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)はいくつかのものに属するというように仮定されるならば、同じように証明されるだろう。

語釈・文法注

  1. 15διὰ τὸ μὴ ἀμφοτέρας εἶναι τὰς προτάσεις καταφατικάς — 肯定的な前提(τὸ κατηγορικόν)を証明するためには、巡回証明の過程で得られる新たな三段論法の前提が両方とも肯定(καταφατική)でなければならないが、元の第二格の結論が否定であるため、それが不可能であることを示している。
  2. 25ὥστʼ οὐδενὶ τῷ τὸ Β — 定冠詞 τῷ の後に名辞 Α が省略されている。文脈から、第一格 Celarent の結論「BはどのAにも属さない(τὸ Β οὐδενὶ τῷ Α ὑπάρχειν)」を指していることは明らかである。
  3. 30συμπέρασμα Β Γ — 主語 B と述語 C からなる特称否定結論「BはいくつかのCに属さない(またはCのすべてには属さない)」を極めて簡潔に示した表記。
  4. 30τὸ Α τινὶ τῷ οὐχ ὑπάρξει — 定冠詞 τῷ の後に名辞 Γ が省略されている。これは「AはいくつかのCに属さない」という意味になり、第二格 Baroco の前提の一方を巡回的に導いている。

この箇所を引用する

アリストテレス, 分析論前書 §1.2.6. Humanitext Reader, https://reader.humanitext.ai/text/urn:cts:greekLit:tlg0086.tlg001.humanitext-grc2:1.2.6

AIによる草稿訳である旨と閲覧日を添えてください。

訳文・注・要旨はAIによる草稿で、読者の指摘により改訂されています。