Humanitext Reader

アリストテレス · 分析論前書 §1.2.14#2

第二格と第三格での直接証明と帰謬法の変換

66 / 123 箇所 · ギリシア語

要旨

第二格および第三格における直接証明と帰謬法の相互変換の具体例を示し、すべての問題が両方の方法で証明可能であり、それらが相互に密接に関連していることを結論づける。

§1.2.14#2Πάλιν ἐν τῷ μέσῳ σχήματι δεδείχθω τὸ παντὶ τῷ Β ὑπάρχον.
再び、第二格において、[Aが]すべての Bに属することが示されているとしよう。
οὐκοῦν ἡ μὲν ὑπόθεσις ἦν μὴ παντὶ τῷ Β τὸ Α ὑπάρχειν, εἴληπται δὲ τὸ Α παντὶ τῷ Γ καὶ τὸ Γ παντὶ τῷ Β·
そうすると、仮定はAがすべてのBに属するわけではない(一部のBに属さない)ということであり、AがすべてのΓに属し、ΓがすべてのBに属すると取られている。
οὕτω γὰρ ἔσται τὸ ἀδύνατον.
なぜなら、このようにして不可能[な結論]が生じるからである。
τοῦτο δὲ τὸ πρῶτον σχῆμα, τὸ Α παντὶ τῷ Γ καὶ τὸ παντὶ τῷ Β. ὁμοίως δὲ καὶ εἰ τινὶ δέδεικται ὑπάρχον·
そして、これは第一格である。 すなわち、AがすべてのΓに属し、[Γが]すべてのBに属するということである。 また、[Aが]いくつかの[B]に属することが示されている場合も同様である。
ἡ μὲν γὰρ ὑπόθεσις ἦν μηδενὶ τῷ Β τὸ ὑπάρχειν, εἴληπται δὲ τὸ Α παντὶ τῷ Γ καὶ τὸ Γ τινὶ τῷ Β. εἰ δὲ στερητικὸς ὁ συλλογισμός, ἡ μὲν ὑπόθεσις τὸ τινὶ τῷ Β ὑπάρχειν, εἴληπται δὲ τὸ μηδενὶ τῷ Γ καὶ τὸ Γ παντὶ τῷ Β, ὥστε γίνεται τὸ πρῶτον σχῆμα.
なぜなら、仮定は AがどのBにも属さないということであり、AがすべてのΓに属し、ΓがいくつかのBに属すると取られているからである。 もし推論が否定的であるなら、仮定は[Aが]いくつかのBに属するということであり、[Aが]どのΓにも属さず、ΓがすべてのBに属すると取られ、その結果、第一格が生じる。
καὶ εἰ μὴ καθόλου ὁ συλλογισμός, ἀλλὰ τὸ Α τινὶ τῷ Β δέδεικται μὴ ὑπάρχειν, ὡσαύτως.
そして、もし推論が全称的ではなく、 AがいくつかのBに属さないことが示されている場合も同様である。
ὑπόθεσις μὲν γὰρ παντὶ τῷ Β τὸ ὑπάρχειν, εἴληπται δὲ τὸ μηδενὶ τῷ Γ καὶ τὸ Γ τινὶ τῷ Β·
なぜなら、仮定は[Aが]すべてのBに属するということであり、[Aが]どのΓにも属さず、ΓがいくつかのBに属すると取られているからである。
οὕτω γὰρ τὸ πρῶτον σχῆμα.
このようにして第一格が生じるからである。
Πάλιν ἐν τῷ τρίτῳ σχήματι δεδείχθω τὸ Α παντὶ τῷ Β ὑπάρχειν.
再び、第三格において、Aがすべての Bに属することが示されているとしよう。
οὐκοῦν ἡ μὲν ὑπόθεσις ἦν μὴ παντὶ τῷ Β τὸ Α ὑπάρχειν, εἴληπται δὲ τὸ Γ παντὶ τῷ Β καὶ τὸ Α παντὶ τῷ Γ·
そうすると、仮定はAがすべてのBに属するわけではないということであり、ΓがすべてのBに属し、Aがすべての Γに属すると取られている。
οὕτω γὰρ ἔσται τὸ ἀδύνατον.
なぜなら、このようにして不可能[な結論]が生じるからである。
τοῦτο δὲ τὸ πρῶτον σχῆμα.
そして、これは第一格である。
ὡσαύτως δὲ καὶ εἰ ἐπὶ τινὸς ἡ ἀπόδειξις·
また、部分的な証明の場合も同様である。
ἡ μὲν γὰρ ὑπόθεσις μηδενὶ τῷ Β τὸ Α ὑπάρχειν, εἴληπται δὲ τὸ Γ τινὶ τῷ Β καὶ τὸ Α παντὶ τῷ Γ. εἰ δὲ στερητικὸς ὁ συλλογισμός, ὑπόθεσις μὲν τὸ Α τινὶ τῷ Β ὑπάρχειν, εἴληπται δὲ τὸ Γ τῷ μὲν Α μηδενί, τῷ δὲ Β παντί τοῦτο δὲ τὸ μέσον σχῆμα.
なぜなら、仮定はAがどのBにも属さないということであり、ΓがいくつかのBに属し、AがすべてのΓに属すると取られているからである。 もし推論が否定的であるなら、仮定はAがいくつかのBに属するということであり、ΓはどのAにも属さず、すべてのBに属すると取られている。 しかし、これは第二格である。
ὁμοίως δὲ καὶ εἰ μὴ καθόλου ἡ ἀπόδειξις.
また、証明が全称的でない場合も同様である。
ὑπόθεσις μὲν γὰρ ἔσται παντὶ τῷ Β τὸ Α ὑπάρχειν, εἴληπται δὲ τὸ Γ τῷ μὲν Α μηδενί, τῷ δὲ Β τινί·
なぜなら、仮定はAがすべてのBに属するということであり、ΓはどのAにも属さず、いくつかのBに属すると取られているからである。
τοῦτο δὲ τὸ μέσον σχῆμα.
そして、これは第二格である。
Φανερὸν οὖν ὅτι διὰ τῶν αὐτῶν ὅρων καὶ δεικτικῶς ἔστι δεικνύναι τῶν προβλημάτων ἕκαστον.
したがって、同じ名辞を通じて、それぞれの問題を直接的にも示しうることが明らかである。
ὁμοίως δʼ ἔσται καὶ δεικτικῶν ὄντων τῶν συλλογισμῶν εἰς ἀδύνατον ἀπάγειν ἐν τοῖς εἰλημμένοις ὅροις, ὅταν ἡ ἀντικειμένη πρότασις τῷ συμπεράσματι ληφθῇ.
そして、推論が直接的である場合でも、取られた名辞を用いて不可能性へと導くことも同様に可能である。 それは、結論に反対する前提が取られるときである。
γίνονται γὰρ οἱ αὐτοὶ συλλογισμοὶ τοῖς διὰ τῆς ἀντιστροφῆς, ὥστʼ εὐθὺς ἔχομεν καὶ τὰ σχήματα διʼ ὧν ἕκαστον ἔσται.
なぜなら、換位を通じた推論と同じ推論が生じ、その結果、それぞれがどの格を通じて生じるかも直ちに得られるからである。
δῆλον οὖν ὅτι πᾶν πρόβλημα δείκνυται κατʼ ἀμφοτέροος τοὺς τρόπους, διά τε τοῦ ἀδυνάτου καὶ δεικτικῶς, καὶ οὐκ ἐνδέχεται χωρίζεσθαι τὸν ἕτερον.
したがって、あらゆる問題が両方の方法、すなわち不可能性を通じても、直接的にも示されること、そして一方を他方から切り離すことはできないことが明らかである。

語釈・文法注

  1. 63a24τὸ παντὶ τῷ Β ὑπάρχον — 主語となる名辞 Α が省略されている。文脈上、直前の議論と同様に A が B のすべてに属すること(τὸ Α παντὶ τῷ Β ὑπάρχειν)を指している。
  2. 63b13ἐν τοῖς εἰλημμένοις ὅροις — 前置詞句 ἐν τοῖς εἰλημμένοις ὅροις は、不定詞 ἀπάγειν(不可能性へと導く)に係る。新しく名辞を追加することなく、直接証明で用いられたものと同じ名辞の範囲内で帰謬法を構成できることを意味する。
  3. 63b15τοῖς διὰ τῆς ἀντιστροφῆς — 冠詞を伴う与格 τοῖς は、関係形容詞 οἱ αὐτοὶ(〜と同一の)の補語である。ここでの ἀντιστροφή(換位)は、前提の主語と述語を入れ替える通常の換位ではなく、結論の否定を前提に組み込む「対置」または「逆置」のプロセスを指している。

この箇所を引用する

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

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

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