§2.1.24#2Ἔτι εἰ ἡ ἀπόδειξις μέν ἐστι συλλογισμὸς δεικτικὸς αἰτίας καὶ τοῦ διὰ τί, τὸ καθόλου δʼ αἰτιώτερον (ᾧ γὰρ καθʼ αὑτὸ ὑπάρχει τι, τοῦτο αὐτὸ αὑτῷ αἴτιον·
さらに、もし証明が原因と「なぜ（理由）」を示す推論であるならば、そして普遍的なものの方がより原因としての性質を帯びているならば（なぜなら、ある性質がそれ自体において属しているところの対象、これ自体がその性質が属することの原因であり、そして普遍的なものが第一のものであるから。
τὸ δὲ καθόλου πρῶτον· αἴτιον ἄρα τὸ καθόλου)·
したがって普遍的なものが原因である）。
ὥστε καὶ ἡ ἀπόδειξις βελτίων·
ゆえに、普遍的な証明の方がより優れている。
μᾶλλον γὰρ τοῦ αἰτίου καὶ τοῦ διὰ τί ἐστιν.
なぜなら、それはより多く原因と「なぜ」にかかわるからである。
Ἔτι μέχρι τούτου ζητοῦμεν τὸ διὰ τί, καὶ τότε οἰόμεθα εἰδέναι, ὅταν μὴ ὅτι τι ἄλλο τοῦτο ἢ γινόμενον ἢ ὄν·
さらに、私たちは次の段階にいたるまで「なぜ」を求めるのであり、このことが、何か他のものが生じるから、あるいは存在するから、ではないとき、そのとき初めて私たちは知っていると考えるのである。
τέλος γὰρ καὶ πέρας τὸ ἔσχατον ἤδη οὕτως ἐστίν.
なぜなら、そのようにして得られる最後の段階こそが、すでに目的であり限界だからである。
οἷον τίνος ἕνεκα ἦλθεν;
たとえば、彼は何のために来たのか。
ὅπως λάβῃ τἀργύριον, τοῦτο δʼ ὅπως ἀποδῷ ὃ ὤφειλε, τοῦτο δʼ ὅπως μὴ ἀδικήσῃ·
お金を受け取るためであり、それは自分が借りていたものを返すためであり、それは不正を行わないためである。
καὶ οὕτως ἰόντες, ὅταν μηκέτι διʼ ἄλλο μηδʼ ἄλλου ἕνεκα, διὰ τοῦτο ὡς τέλος φαμὲν ἐλθεῖν καὶ εἶναι καὶ γίνεσθαι, καὶ τότε εἰδέναι μάλιστα διὰ τί ἦλθεν.
このように進んでいって、もはや他の何かのためでもなく、他のものの目的のためでもなくなったとき、私たちはこの原因のために、目的として彼が来、存在し、生じたのだと言い、そしてそのとき、なぜ彼が来たのかを最もよく知っているのである。
εἰ δὴ ὁμοίως ἔχει ἐπὶ πασῶν τῶν αἰτιῶν καὶ τῶν διὰ τί, ἐπὶ δὲ τῶν ὅσα αἴτια οὕτως ὡς οὗ ἕνεκα οὕτως ἴσμεν μάλιστα, καὶ ἐπὶ τῶν ἄλλων ἄρα τότε μάλιστα ἴσμεν, ὅταν μηκέτι ὑπάρχῃ τοῦτο ὅτι ἄλλο.
もし実際、すべての原因と「なぜ」についても同様であり、目的（そのもののために）としての原因についてはそのようにして最もよく知るのであるならば、他の原因についても、それが他のもののために属するのでなくなったときに、私たちは最もよく知るのである。
ὅταν μὲν οὖν γινώσκωμεν ὅτι τέτταρσιν αἱ ἔξω ἴσαι ὅτι ἰσοσκελές, ἔτι λείπεται διὰ τί τὸ ἰσοσκελές—ὅτι τρίγωνον, καὶ τοῦτο, ὅτι σχῆμα εὐθύγραμμον.
それゆえ、私たちが外角の和が四直角に等しいのは二等辺三角形だからであると知るときには、二等辺三角形がなぜそうなのかという問いがまだ残されている。 それは三角形だからであり、そしてこれは、直線に囲まれた図形だからである。
εἰ δὲ τοῦτο μηκέτι διότι ἄλλο, τότε μάλιστα ἴσμεν.
そして、もしこれがもはや他のもののためにそうなのでないならば、そのとき私たちは最もよく知っているのである。
καὶ καθόλου δὲ τότε·
そして、そのとき普遍的に知っているのである。
ἡ καθόλου ἄρα βελτίων.
したがって普遍的な証明の方がより優れている。
Ἔτι ὅσῳ ἂν μᾶλλον κατὰ μέρος ᾖ, εἰς τὰ ἄπειρα ἐμπίπτει, ἡ δὲ καθόλου εἰς τὸ ἀπλοῦν καὶ τὸ πέρας.
さらに、個別的であればあるほど、それは無限の中に陥るが、普遍的なものは単純なものと限界へと向かう。
ἔστι δʼ, μὲν ἄπειρα, οὐκ ἐπιστητά, ᾗ δὲ πεπέρανται, ἐπιστητά.
そして、無限である限りにおいては知られえず、限定されている限りにおいて知られうる。
ᾗ ἄρα καθόλου, μᾶλλον ἐπιστητὰ ἢ ᾗ κατὰ μέρος.
したがって、普遍的である限りにおいて、個別的である限りにおけるよりも、より多く知られうる。
ἀποδεικτὰ ἄρα μᾶλλον τὰ καθόλου.
それゆえ、普遍的なものの方がより多く証明されうる。
τῶν δʼ ἀποδεικτῶν μᾶλλον μᾶλλονἀπόδειξις·
そして、より多く証明されうるものについては、より多くの証明が存在する。
ἅμα γὰρ μᾶλλον τὰ πρός τι.
なぜなら、相関関係にあるものは同時に度合いを増すからである。
βελτίων ἄρα ἡ καθόλου, ἐπείπερ καὶ μᾶλλον ἀπόδειξις.
したがって普遍的な証明の方が優れている。
Ἔτι εἰ αἱρετωτέρα καθʼ ἣν τοῦτο καὶ ἄλλο ἢ καθʼ ἣν τοῦτο μόνον οἶδεν·
なぜなら、それはより多く証明だからである。
ὁ δὲ τὴν καθόλου ἔχων οἶδε καὶ τὸ κατά μέρος, οὗτος δὲ τὴν καθόλου οὐκ οἶδεν· ὥστε κἂν οὕτως αἱρετωτέρα εἴη.
さらに、それによってこれをも他のものをも知るような証明の方が、それによってこれだけを知るような証明よりも好ましいのであるなら、そして、普遍的な証明を持つ者は個別的なものをも知るが、個別的な証明を持つ者は普遍的なものを知らないのであるなら、この点からも普遍的な証明の方がより好ましいだろう。
Ἔτι δὲ ὧδε.
さらに次のようにも言える。
τὸ γὰρ καθόλου μᾶλλον δεικνύναι ἐστὶ τὸ διὰ μέσου δεικνύναι ἐγγυτέρω ὄντος τῆς ἀρχῆς.
すなわち、より普遍的に示すということは、原理により近い中間概念を通じて示すということである。
ἐγγυτάτω δὲ τὸ ἄμεσον· τοῦτο δʼ ἀρχή.
そして、仲介のないもの（直接的なもの）が最も近く、これが原理である。
εἰ οὖν ἡ ἐξ ἀρχῆς τῆς μὴ ἐξ ἀρχῆς. ἡ μᾶλλον ἐξ ἀρχῆς τῆς ἧττον ἀκριβεστέρα ἀπόδειξις.
したがって、もし原理から出発する証明が、原理から出発しない証明よりも[優れている]ならば、より原理から出発する証明は、より少なく出発する証明よりも厳密な証明である。
ἔστι δὲ τοιαύτη ἡ καθόλου μᾶλλον·
そして、普遍的な証明こそがよりそのようなものである。
κρείττων ἄῤ ἂν εἴη ἡ καθόλου.
ゆえに、普遍的な証明の方がより優れているだろう。
οἷον εἰ ἔδει ἀποδεῖξαι τὸ Α κατὰ τοῦ Δ· μέσα τὰ ἐφʼ ὧν Β Γ·
たとえば、もしＡをＤについて証明しなければならないとし、中間概念がＢとＣであるとする。
ἀνωτέρω δὴ τὸ Β, ὥστε ἡ διὰ τούτου καθόλου μᾶλλον.
このときＢの方がより上にあり、したがってこれを通じる証明の方がより普遍的である。
Ἀλλὰ τῶν μὲν εἰρημένων ἔνια λογικά ἐστι·
しかし、これまでに述べられたことのいくつかは論理的な議論である。
μάλιστα δὲ δῆλον ὅτι ἡ καθόλου κυριωτέρα, ὅτι τῶν τπροτάσεων τὴν μὲν προτέραν ἔχοντες ἴσμεν πως καὶ τὴν ὑστέραν καὶ ἔχομεν δυνάμει, οἷον εἴ τις οἶδεν ὅτι πᾶν τρίγωνον δυσὶν ὀρθαῖς, οἶδέ πως καὶ τὸ ἰσοσκελὲς ὅτι δύο ὀρθαῖς, δυνάμει, καὶ εἰ μὴ οἶδε τὸ ἰσοσκελὲς ὅτι τρίγωνον·
普遍的な証明の方がより主導的であることは、次のことから最も明らかである。 すなわち、前提のうちの、より先なる前提を持っているとき、私たちはある意味でより後なる前提をも知っており、それを潜在的に持っている。 たとえば、もし「すべての三角形は二直角を持つ」ということを知っているならば、たとえ二等辺三角形が三角形であることを知らなくとも、ある意味で二等辺三角形が二直角を持つということもまた、潜在的に知っている。
ὁ δὲ. ταύτην ἔχων τὴν πρότασιν τὸ καθόλου οὐδαμῶς οἶδεν, οὔτε δυνάμει οὐτʼ ἐνεργείᾳ.
しかし、この後者の前提を持っている者は、普遍的なものを、潜在的にも現実的にも決して知ってはいない。
καὶ ἡ μὲν καθόλου νοητή, ἡ δὲ κατὰ μέρος εἰς αἴσθησιν τελευτῇ.
そして、普遍的なものは知性によって把握され、個別的なものは感覚へと行き着くのである。