推論の妥当性とクリュシッポスの五つの基本論式｜『ギリシア哲学者列伝』§7.1.77-7.1.81（ディオゲネス・ラエルティオス）ギリシア語原文・日本語訳

Λογότροπος δέ ἐστι τὸ ἐξ ἀμφοτέρων σύνθετον, οἷον εἰ ζῇ Πλάτων, ἀναπνεῖ Πλάτων· ἀλλὰ μὴν τὸ πρῶτον· τὸ ἄρα δεύτερον. παρεισήχθη δὲ ὁ λογότροπος ὑπὲρ τοῦ ἐν ταῖς μακροτέραις συντάξεσι τῶν λόγων μηκέτι τὴν πρόσληψιν μακρὰν οὖσαν καὶ τὴν ἐπιφορὰν λέγειν¹, ἀλλὰ συντόμως ἐπενεγκεῖν, τὸ δὲ πρῶτον· τὸ ἄρα δεύτερον. Τῶν δὲ λόγων οἱ μέν εἰσιν ἀπέραντοι, οἱ δὲ περαντικοί. ἀπέραντοι μὲν ὧν τὸ ἀντικείμενον τῆς ἐπιφορᾶς οὐ μάχεται τῇ διὰ τῶν λημμάτων συμπλοκῇ, οἷον οἱ τοιοῦτοι, εἰ ἡμέρα ἐστί, φῶς ἐστι· ἡμέρα δέ ἐστι· περιπατεῖ ἄρα Δίων.

ロゴトロポス（命題論式混合形）とは、両者から合成されたものであり、たとえば「もしプラトンが生きているなら、プラトンは息をしている。しかるに第一のものである。ゆえに第二のものである」である。ロゴトロポスが導入されたのは、長大な命題構成の議論において、もはや長大な小前提や結論を述べることなく、手短に、「ところで第一のものである。ゆえに第二のものである」と結論へと導くためである。また、論証（推論）のうち、あるものは非結論的であり、あるものは結論的である。非結論的とは、結論の対立命題（否定）が、前提群の連言と矛盾しないものであり、たとえば次のようなものである。「もし昼であるならば、光がある。ところで昼である。ゆえにディオンは歩いている。」

Τῶν δὲ περαντικῶν λόγων οἱ μὲν ὁμωνύμως τῷ γένει λέγονται περαντικοί²· οἱ δὲ συλλογιστικοί. συλλογιστικοὶ μὲν οὖν εἰσιν οἱ ἤτοι ἀναπόδεικτοι ὄντες ἢ ἀναγόμενοι ἐπὶ τοὺς ἀναποδείκτους κατά τι τῶν θεμάτων ἤ τινα, οἷον οἱ τοιοῦτοι εἰ περιπατεῖ Δίων, 〈κινεῖται Δίων· ἀλλὰ μὴν περιπατεῖ Δίων〉· κινεῖται ἄρα Δίων. περαντικοὶ δέ εἰσιν εἰδικῶς οἱ συνάγοντες μὴ συλλογιστικῶς, οἷον οἱ τοιοῦτοι, ψεῦδός ἐστι τὸ ἡμέρα ἐστὶ καὶ νύξ ἐστι· ἡμέρα δέ ἐστιν· οὐκ ἄρα νύξ ἐστιν. ἀσυλλόγιστοι δʼ εἰσὶν οἱ παρακείμενοι μὲν πιθανῶς τοῖς συλλογιστικοῖς, οὐ συνάγοντες δέ, οἷον εἰ ἵππος ἐστὶ Δίων, ζῷόν ἐστι Δίων· 〈ἀλλὰ μὴν ἵππος οὐκ ἔστι Δίων〉· οὐκ ἄρα ζῷόν ἐστι Δίων.

結論的な論証のうち、あるものはその類と同じ名で「結論的」と呼ばれ、あるものは「推論的（三段論法的）」と呼ばれる。したがって推論的な論証とは、証明不要推論であるか、あるいは何らかの定理（テマ）に従って証明不要推論へと還元されるものであり、たとえば次のようなものである。「もしディオンが歩いているなら、ディオンは動いている。しかるにディオンは歩いている。ゆえにディオンは動いている。」これに対して特殊な意味での結論的な論証とは、推論の形式によらずに結論を導くものであり、たとえば次のようなものである。「『昼でありかつ夜である』ということは偽である。ところで昼である。ゆえに夜ではない。」他方、非推論的な論証（誤謬推理）とは、推論的な論証に説得的に類似してはいるものの、結論を導いてはいないものであり、たとえば「もしディオンが馬であるなら、ディオンは動物である。しかるにディオンは馬ではない。ゆえにディオンは動物ではない」である。

Ἔτι τῶν λόγων οἱ μὲν ἀληθεῖς εἰσιν, οἱ δὲ ψευδεῖς. ἀληθεῖς μὲν οὖν εἰσι λόγοι οἱ διʼ ἀληθῶν συνάγοντες, οἷον εἰ ἡ ἀρετὴ ὠφελεῖ, ἡ κακία βλάπτει· 〈ἀλλὰ μὴν ὠφελεῖ ἡ ἀρετή· ἡ κακία ἄρα βλάπτει〉. ψευδεῖς δέ εἰσιν οἱ τῶν λημμάτων ἔχοντές τι ψεῦδος ἢ ἀπέραντοι ὄντες, οἷον εἰ ἡμέρα ἐστί, φῶς ἐστιν· ἡμέρα δέ ἐστι· ζῇ ἄρα Δίων. καὶ δυνατοὶ δʼ εἰσὶ λόγοι καὶ ἀδύνατοι καὶ ἀναγκαῖοι καὶ οὐκ ἀναγκαῖοι· εἰσὶ δὲ καὶ ἀναπόδεικτοί τινες, τῷ μὴ χρῄζειν ἀποδείξεως, ἄλλοι μὲν παρʼ ἄλλοις, παρὰ δὲ τῷ Χρυσίππῳ πέντε, διʼ ὧν πᾶς λόγος πλέκεται· οἵτινες λαμβάνονται ἐπὶ τῶν περαντικῶν καὶ ἐπὶ τῶν συλλογισμῶν καὶ ἐπὶ τῶν τροπικῶν.

さらに、論証のうちあるものは真であり、あるものは偽である。真なる論証とは、真なる前提群を通じて結論を導くものであり、たとえば「もし徳が有益であるなら、悪徳は有害である。しかるに徳は有益である。ゆえに悪徳は有害である」である。偽なる論証とは、前提群のうちに何らかの偽を含むか、あるいは非結論的であるものであり、たとえば「もし昼であるならば、光がある。ところで昼である。ゆえにディオンは生きている」である。また、論証には可能なもの、不可能なもの、必然的なもの、非必然的なものもある。さらに、証明を必要としないことゆえに「証明不要」と呼ばれる論証もある。これらは論者によって異なるが、クリュシッポスのもとでは五つあり、あらゆる論証はそれらを通じて織り上げられる。それらは、結論的な論証においても、推論（三段論法）においても、論式的な推論においても用いられる。

πρῶτος δέ ἐστιν ἀναπόδεικτος ἐν ᾧ πᾶς λόγος συντάσσεται ἐκ συνημμένου καὶ τοῦ ἡγουμένου, ἀφʼ οὗ ἄρχεται τὸ συνημμένον καὶ τὸ λῆγον ἐπιφέρει³, οἷον εἰ τὸ πρῶτον, τὸ δεύτερον· ἀλλὰ μὴν τὸ πρῶτον· τὸ ἄρα δεύτερον. δεύτερος δʼ ἐστὶν ἀναπόδεικτος ὁ διὰ συνημμένου καὶ τοῦ ἀντικειμένου τοῦ λήγοντος τὸ ἀντικείμενον τοῦ ἡγουμένου ἔχων συμπέρασμα, οἷον εἰ ἡμέρα ἐστί, φῶς ἐστιν· ἀλλὰ μὴν νύξ ἐστιν· οὐκ ἄρα ἡμέρα ἐστίν. ἡ γὰρ πρόσληψις γίνεται ἐκ τοῦ ἀντικειμένου τῷ λήγοντι καὶ ἡ ἐπιφορὰ ἐκ τοῦ ἀντικειμένου τῷ ἡγουμένῳ. τρίτος δέ ἐστιν ἀναπόδεικτος ὁ διʼ ἀποφατικῆς συμπλοκῆς καὶ ἑνὸς τῶν ἐν τῇ συμπλοκῇ ἐπιφέρων τὸ ἀντικείμενον τοῦ λοιποῦ, οἷον οὐχὶ τέθνηκε Πλάτων καὶ ζῇ Πλάτων· ἀλλὰ μὴν τέθνηκε Πλάτων· οὐκ ἄρα ζῇ Πλάτων.

第一の証明不要推論は、すべての論証が条件命題と、その条件命題が始まりとする前件とから構成され、後件を結論として導くものであり、たとえば「もし第一のものならば、第二のものである。しかるに第一のものである。ゆえに第二のものである」である。第二の証明不要推論は、条件命題と後件の対立命題（否定）を通じて、前件の対立命題（否定）を結論として持つものであり、たとえば「もし昼であるならば、光がある。しかるに夜である（光はない）。ゆえに昼ではない」である。なぜなら、小前提は後件に対する対立命題から成り、結論は前件に対する対立命題から成るからである。第三の証明不要推論は、否定の連言命題と、その連言命題の中の一方の命題を通じて、残りの命題の対立命題（否定）を結論として導くものであり、たとえば「『プラトンは死んでおり、かつプラトンは生きている』ということはない。しかるにプラトンは死んでいる。ゆえにプラトンは生きていない」である。

τέταρτος δέ ἐστιν ἀναπόδεικτος ὁ διὰ διεζευγμένου καὶ ἑνὸς τῶν ἐν τῷ διεζευγμένῳ τὸ ἀντικείμενον τοῦ λοιποῦ ἔχων συμπέρασμα, οἷον ἤτοι τὸ πρῶτον ἢ τὸ δεύτερον· ἀλλὰ μὴν τὸ πρῶτον· οὐκ ἄρα τὸ δεύτερον. πέμπτος δέ ἐστιν ἀναπόδεικτος ἐν ᾧ πᾶς λόγος συντάσσεται ἐκ διεζευγμένου καὶ ἑνὸς τῶν ἐν τῷ διεζευγμένῳ ἀντικειμένων καὶ ἐπιφέρει τὸ λοιπόν, οἷον ἤτοι ἡμέρα ἐστὶν ἢ νύξ ἐστιν· οὐχὶ δὲ νύξ ἐστιν· ἡμέρα ἄρα ἐστίν. Ἐπʼ ἀληθεῖ δʼ ἀληθὲς ἕπεται κατὰ τοὺς Στωικούς, ὡς τῷ ἡμέρα ἐστὶ τὸ φῶς ἐστι· καὶ ψεύδει ψεῦδος, ὡς τῷ νύξ ἐστι ψεύδει τὸ σκότος ἐστί· καὶ ψεύδει ἀληθές, ὡς τῷ ἵπτασθαι τὴν γῆν τὸ εἶναι τὴν γῆν. ἀληθεῖ μέντοι ψεῦδος οὐκ ἀκολουθεῖ· τῷ γὰρ εἶναι τὴν γῆν τὸ πέτεσθαι τὴν γῆν οὐκ ἀκολουθεῖ.

第四の証明不要推論は、選言命題と、その選言命題の中の一方の命題を通じて、残りの命題の対立命題（否定）を結論として持つものであり、たとえば「第一のものか、あるいは第二のものである。しかるに第一のものである。ゆえに第二のものではない」である。第五の証明不要推論は、すべての論証が選言命題と、その選言命題の中の対立する命題群の一方の命題とから構成され、残りの命題を結論として導くものであり、たとえば「昼であるか、あるいは夜である。しかるに夜ではない。ゆえに昼である」である。ストア派によれば、真なるものには真なるものが従い、たとえば「昼である」には「光がある」が従う。また、偽なるものには偽なるものが従い、たとえば偽である「夜である」には偽である「暗闇である」が従う。また、偽なるものには真なるものが従い、たとえば「大地が飛んでいる」には「大地が存在している」が従う。しかしながら、真なるものには偽なるものは従わない。なぜなら、「大地が存在している」には、「大地が飛んでいる」は従わないからである。

構文注3 件

7.1.77ὑπὲρ τοῦ ἐν ταῖς μακροτέραις συντάξεσι τῶν λόγων μηκέτι τὴν πρόσληψιν μακρὰν οὖσαν καὶ τὴν ἐπιφορὰν λέγειν
前置詞 ὑπέρ と冠詞付き属格不定詞（τοῦ ... λέγειν）が結合して目的を表している。否定詞 μηκέτι は不定詞を修飾し、分詞 μακρὰν οὖσαν は τὴν πρόσληψιν の述語位置（「小前提が長い場合に／長いものである小前提を」）として状況的・理由的ニュアンスを担う。全体の構文骨格は「〜を述べないようにするために」である。
7.1.78ὁμωνύμως τῷ γένει λέγονται περαντικοί
与格 τῷ γένει は副詞 ὁμωνύμως（〜と同名で）の補足語。類（genus）としての「結論的論証（περαντικοὶ λόγοι）」と同一の名前が、三段論法的でない狭義の結論的論証（種 species）にも同名異義的に（ὁμωνύμως）用いられていることを表す。
7.1.80ἐν ᾧ πᾶς λόγος συντάσσεται ἐκ συνημμένου καὶ τοῦ ἡγουμένου, ἀφʼ οὗ ἄρχεται τὸ συνημμένον καὶ τὸ λῆγον ἐπιφέρει
関係詞節内の主語 πᾶς λόγος に対し、動詞 συντάσσεται と ἐπιφέρει が並列されている。前置詞句 ἐκ συνημμένου καὶ τοῦ ἡγουμένου は συντάσσεται に係り、関係代名詞句 ἀφʼ οὗ は先行詞 τοῦ ἡγουμένου を受けて「その条件命題が始まりとする（前件）」を修飾する。最後の καὶ τὸ λῆγον ἐπιφέρει は「そして後件を（結論として）導き出す」として全体の推論作用を述べている。

モデル：gemini-3.8-flashurn:cts:greekLit:tlg0004.tlg001.humanitext-grc2:7.1.77-7.1.81