Humanitext Reader

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

固有原理からの証明と共通原理の不十分さ

86 / 123 箇所 · ギリシア語

要旨

各学問の証明はその対象となる固有の類・原理に基づくべきであり、共通の性質による証明(ブリュソンの円積問題など)は真の認識を与えないこと、また従属関係にある学問間での事実(ὅτι)と原因(διότι)の証明の分担、そして固有の第一原理自体の証明の不可能性を論じている。

§2.1.9Ἐπεὶ δὲ φανερὸν ὅτι ἕκαστον ἀποδείξαι οὐκ ἔστιν ἀλλʼ ἢ ἐκ τῶν ἑκάστου ἀρχῶν, ἂν τὸ δεικνύμενον ὑπάρχῃ ἧ ἐκεῖνο, οὐκ ἔστι τὸ ἐπίστασθαι τοῦτο, ἂν ἐξ ἀληθῶν καὶ ἀναποδείκτων δειχθῇ καὶ ἀμέσων.
各々のものをその各々の固有の原理からでなければ証明できないこと、すなわち、証明される事柄が、そのものとして属している場合にのみ証明が可能であることが明らかであるからには、たとえ真であり、証明不可能であり、かつ即非の前提から証明されたとしても、それだけでこれを知る(科学的に認識する)ことにはならない。
ἔστι γὰρ οὕτω δεῖξαι, ὥσπερ Βρύσων τὸν τετραγωνισμόν.
なぜなら、ブリュソンが円の正方形化を証明したように、そのような仕方で証明することは可能だからである。
κατά κοινόν τε γὰρ δεικνύουσιν οἱ τοιοῦτοι λόγοι, ὃ καὶ ἑτέρῳ ὑπάρξει διὸ καὶ ἐπ᾿ ἄλλων ἐφαρμόττουσιν οἱ λόγοι οὐ συγγενῶν.
というのも、そのような議論は共通な性質に基づいて証明を行っており、それは他のものにも属するであろうからである。 それゆえ、その議論は、親縁関係にない他のものに対しても適用できるのである。
οὐκοῦν οὐχ ᾗ ἐκεῖνο ἐπίσταται, ἀλλὰ κατὰ συμβεβηκός·
したがって、人はそれがそれである限りにおいて知っているのではなく、付帯的に知っているにすぎない。
οὐ γὰρ ἂν ἐφήρμοττεν ἡ ἀπόδειξις καὶ ἐπʼ ἄλλο γένος.
そうでなければ、その証明は他の類に対しても適用されることはないはずだからである。
Ἕκαστον δʼ ἐπιστάμεθα μὴ κατὰ συμβεβηκός, ὅταν κατʼ ἐκεῖνο γινώσκωμεν καθʼ ὃ ὑπάρχει, ἐκ τῶν ἀρχῶν τῶν ἐκείνου ᾗ ἐκεῖνο, οἷον τὸ δυσὶν ὀρθαῖς ἴσας ἔχειν, ὧ ὑπάρχει καθʼ αὐτὸ τὸ εἰρημένον, ἐκ τῶν ἀρχῶν τῶν τούτου.
ところで、私たちが個々のものを付帯的にではなく知るのは、それが属している根拠となるまさにそのものに即して、かつそれがそれである限りにおけるそのものの固有の原理に基づいて認識するときである。 例えば、二直角に等しい(内角の和を持つ)という属性が、それ自体として属している対象について、この対象の固有の原理に基づいて認識するときがそうである。
ὥστʼ εἰ καθʼ αὐτὸ κἀκεῖνο ὑπάρχει ᾧ ὑπάρχει, ἀνάγκη τὸ μέσον ἐν τῇ αὐτῇ συγγενείᾳ εἶναι.
したがって、もしその属性が、それが属する対象に対してそれ自体として属するならば、中間項も同じ親縁関係(同じ類)の中に存在することが必然である。
εἰ δὲ μή, ἀλλʼ ὡς τὰ ἁρμονικὰ διʼ ἀριθμητικῆς.
そうでなければ、和声学的な事柄が算術を通じて証明される場合のように[属するのである]。
τὰ δὲ τοιαῦτα δείκνυται μὲν ὡσαύτως, διαφέρει δέ·
このような事柄は、同様の仕方で示されるが、違いがある。
τὸ μὲν γὰρ ὅτι ἑτέρας ἐπιστήμης (τὸ γὰρ ὑποκείμενον γένος ἕτερον), τὸ δὲ διότι τῆς ἄνω, ἧς καθʼ αὐτὰ τὰ πάθη ἐστίν.
すなわち、事象が事実そうであること(事実)は別の科学(下位の学問)に属し(なぜなら基底となる類が異なるからである)、事象がなぜそうであるかという原因(原因)は上位の科学に属するのであり、その上位の科学にこそ、それらの性質がそれ自体として属しているのである。
ὥστε καὶ ἐκ τούτων φανερὸν ὅτι οὐκ ἔστιν ἀποδεῖξαι ἕκαστον ἀπλῶς ἄλλʼ ἢ ἐκ τῶν ἑκάστου ἀρχῶν.
したがって、これらのことからも、各々のものを無条件に証明することは、その各々の固有の原理からでなければ不可能であることが明らかである。
ἀλλὰ τούτων αἱ ἀρχαὶ ἔχουσι τὸ κοινόν.
ただし、これら(従属関係にある学問)の原理は、共通なものを持っている。
Εἱ δὲ φανερὸν τοῦτο, φανερὸν καὶ ὅτι οὐκ ἔστι τὰς ἑκάστου ἰδίας ἀρχὰς ἀποδεῖξαι·
これが明らかであるならば、各々の学問の固有の原理を証明することは不可能であることも明らかである。
ἔσονται γὰρ ἐκεῖναι ἀπάντων ἀρχαί, καὶ ἐπιστήμη ἡ ἐκείνων κυρία πάντων.
なぜなら、[もしそれを証明しようとすれば]それらの原理はあらゆるものの原理となってしまい、それらについての学問がすべてを統べる主権的な学問となってしまうだろうからである。
καὶ γὰρ ἐπίσταται μᾶλλον ὁ ἐκ τῶν ἀνώτερον αἰτίων εἰδώς·
というのも、より上位の原因に基づいて知る人こそ、より多く知っているからである。
ἐκ τῶν προτέρων γὰρ οἶδεν, ὅταν ἐκ μὴ αἰτιατῶν εἰδῇ αἰτίων.
なぜなら、その人は、自身がそれ以上の原因を持たない原因(他を原因としない原因)に基づいて知るとき、より先なるものから知っているからである。
ὥστʼ εἰ μᾶλλον οἶδε καὶ μάλιστα, κἂν ἐπιστήμη ἐκείνη εἴη καὶ μᾶλλον καὶ μάλιστα.
したがって、もしその人がより多く、そして最も多く知っているならば、その学問もまた、より多くの、そして最も多くの意味での学問(科学的知識)であろう。
ἡ δʼ ἀπόδειξις οὐκ ἐφαρμόττει ἐπʼ ἄλλο γένος, ἀλλʼ ἢ ὡς εἴρηται αἱ γεωμετρικαὶ ἐπὶ τὰς μηχανικὰς ἢ ὀπτικὰς καὶ αἱ ἀριθμητικαὶ ἐπὶ τὰς ἁρμονικάς.
しかし、証明は他の類に適用されることはない。 ただし、既に述べたように、幾何学的な証明が力学や視覚光学に、算術的な証明が和声学に適用される場合は例外である。
Χαλεπὸν δʼ ἐστὶ τὸ γνῶναι εἰ οἶδεν ἢ μή.
しかし、自分が知っているか否かを知ることは困難である。
χαλεπὸνs γὰρ τὸ γνῶναι εἰ ἐκ τῶν ἑκάστου ἀρχῶν ἴσμεν ἢ μή·
なぜなら、私たちが各々の固有の原理に基づいて知っているのか、そうでないのかを知ることは困難だからである。
ὅπερ ἐστὶ τὸ εἰδέναι.
これこそがまさに「知る」ということなのだが。
οἰόμεθα δʼ, ἂν ἔχωμεν ἐξ ἀληθινῶν τινῶν συλλογισμὸν καὶ πρώτων, ἐπίστασθαι.
しかし私たちは、何か真であり第一のもの(原理)である前提からなる推論を手に入れさえすれば、知っているのだと思い込んでしまう。
τὸ δʼ οὐκ ἔστιν, ἀλλὰ συγγενῆ δεῖ εἶναι τοῖς πρώτοις.
だが実際はそうではなく、[推論の構成要素は]第一のものと同族(同類)でなければならないのである。

語釈・文法注

  1. 75b37οὐκ ἔστι τὸ ἐπίστασθαι τοῦτο, ἂν ἐξ ἀληθῶν καὶ ἀναποδείκτων δειχθῇ καὶ ἀμέσων. — 主節の `οὐκ ἔστι τὸ ἐπίστασθαι τοῦτο` は「これを知る(科学的に認識する)ことにはならない」の意。一般的に真・即非・直接(証明不可能)な前提からの証明は科学的知識(episteme)の要件とされるが、それらが「被証明対象の固有の原理」からでない場合は真の知識とは言えないという限定を示している。
  2. 75b40κατά κοινόν — 「共通なもの(共通の性質)に基づいて」の意。特定の類(幾何学など)の固有の原理からではなく、他領域とも共通する超学問的な原理(例えば事物一般の共通属性など)を用いて証明を行うことを指し、ブリュソンの円積問題の論証がこれに該当すると批判されている。
  3. 76a6ᾧ ὑπάρχει — 関係代名詞 `ᾧ` の先行詞は、直前の `τὸ δυσὶν ὀρθαῖς ἴσας ἔχειν`(二直角に等しいこと)が「それ自体として属する(`ὑπάρχει καθʼ αὐτὸ`)対象」(すなわち三角形)である。全体として「二直角に等しいという属性がそれ自体として属する対象(=三角形)について、その対象の固有の原理から[認識するとき]」と解釈される。
  4. 76a11τὸ μὲν γὰρ ὅτι ἑτέρας ἐπιστήμης... τὸ δὲ διότι τῆς ἄνω — アリストテレスにおける「事実(`ὅτι`)」と「原因(`διότι`)」の学問的分担を示す。従属関係にある学問(例えば和声学と算術)において、ある現象が事実として成り立つこと(`ὅτι`)を観察・証明するのは下位の学問であり、その現象が「なぜ」成り立つかという本質的な原因(`διότι`)を与えるのは、その上位にある学問(数学など)である。

この箇所を引用する

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

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

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