複合命題の種類と真偽および様相と論証の構造｜『ギリシア哲学者列伝』§7.1.72-7.1.76（ディオゲネス・ラエルティオス）ギリシア語原文・日本語訳

συμπεπλεγμένον δέ ἐστιν ἀξίωμα ὃ ὑπό τινων συμπλεκτικῶν συνδέσμων συμπέπλεκται, οἷον καὶ ἡμέρα ἐστὶ καὶ φῶς ἐστι. διεζευγμένον δέ ἐστιν ὃ ὑπὸ τοῦ ἤτοι διαζευκτικοῦ συνδέσμου διέζευκται, οἷον ἤτοι ἡμέρα ἐστὶν ἢ νύξ ἐστιν. ἐπαγγέλλεται δʼ ὁ σύνδεσμος οὗτος τὸ ἕτερον τῶν ἀξιωμάτων ψεῦδος εἶναι. αἰτιῶδες δέ ἐστιν ἀξίωμα τὸ συντασσόμενον διὰ τοῦ διότι, οἷον διότι ἡμέρα ἐστί, φῶς ἐστιν· οἱονεὶ γὰρ αἴτιόν ἐστι τὸ πρῶτον τοῦ δευτέρου. διασαφοῦν δὲ τὸ μᾶλλον ἀξίωμά ἐστι τὸ συνταττόμενον ὑπὸ τοῦ διασαφοῦντος τὸ μᾶλλον συνδέσμου καὶ τοῦ 〈ἢ〉 μέσου τῶν ἀξιωμάτων τασσομένου, οἷον μᾶλλον ἡμέρα ἐστὶν ἢ νύξ ἐστι.

連言命題とは、ある種の連言接続詞によって結び合わされた命題であり、たとえば「昼でもあり、光もある」である。選言命題とは、選言接続詞「あるいは…あるいは」によって選言されたものであり、たとえば「昼であるか、あるいは夜である」である。この接続詞は、命題のいずれか一方が偽であることを告知する。原因命題とは、「なぜなら」によって構成される命題であり、たとえば「昼であるゆえに、光がある」である。なぜなら、前件はいわば後件の原因だからである。より大なることを明示する命題とは、より大なることを明示する接続詞と、諸命題の中間に配置される「〜より」によって構成される命題であり、たとえば「夜であるよりはむしろ昼である」である。

διασαφοῦν δὲ τὸ ἧττον ἀξίωμά ἐστι τὸ ἐναντίον τῷ προκειμένῳ, οἷον ἧττον νύξ ἐστιν ἢ ἡμέρα ἐστίν. ἔτι τῶν ἀξιωμάτων κατά τʼ ἀλήθειαν καὶ ψεῦδος ἀντικείμενα ἀλλήλοις ἐστίν, ὧν τὸ ἕτερον τοῦ ἑτέρου ἐστὶν ἀποφατικόν, οἷον τὸ ἡμέρα ἐστί καὶ τὸ οὐχ ἡμέρα ἐστί. συνημμένον οὖν ἀληθές ἐστιν οὗ τὸ ἀντικείμενον τοῦ λήγοντος μάχεται τῷ ἡγουμένῳ¹, οἷον εἰ ἡμέρα ἐστί, φῶς ἐστι. τοῦτʼ ἀληθές ἐστι· τὸ γὰρ οὐχὶ φῶς, ἀντικείμενον τῷ λήγοντι, μάχεται τῷ ἡμέρα ἐστί. συνημμένον δὲ ψεῦδός ἐστιν οὗ τὸ ἀντικείμενον τοῦ λήγοντος οὐ μάχεται τῷ ἡγουμένῳ, οἷον εἰ ἡμέρα ἐστί, Δίων περιπατεῖ· τὸ γὰρ οὐχὶ Δίων περιπατεῖ οὐ μάχεται τῷ ἡμέρα ἐστί.

より小なることを明示する命題とは、前述のものと反対のものであり、たとえば「昼であるほどには夜ではない」である。さらに命題のうちには、真と偽において互いに対立するものがあり、それらのうち一方が他方の否定命題であるようなもので、たとえば「昼である」と「昼ではない」である。したがって、真なる条件命題とは、後件の対立命題（否定）が前件と矛盾するものであり、たとえば「もし昼であるならば、光がある」である。これは真である。なぜなら、後件に対立する「光はない」は、「昼である」と矛盾するからである。これに対して偽なる条件命題とは、後件の対立命題が前件と矛盾しないものであり、たとえば「もし昼であるならば、ディオンは歩いている」である。なぜなら、「ディオンは歩いていない」は、「昼である」と矛盾しないからである。

Παρασυνημμένον δʼ ἀληθὲς μέν ἐστιν ὃ ἀρχόμενον ἀπʼ ἀληθοῦς εἰς ἀκόλουθον λήγει, οἷον ἐπεὶ ἡμέρα ἐστίν, ἥλιός ἐστιν ὑπὲρ γῆς. ψεῦδος δʼ 〈ὃ〉 ἢ ἀπὸ ψεύδους ἄρχεται ἢ μὴ εἰς ἀκόλουθον λήγει, οἷον ἐπεὶ νύξ ἐστι, Δίων περιπατεῖ, ἂν ἡμέρας οὔσης λέγηται. αἰτιῶδες δʼ ἀληθὲς μέν ἐστιν ὃ ἀρχόμενον ἀπʼ ἀληθοῦς εἰς ἀκόλουθον λήγει, οὐ μὴν ἔχει τῷ λήγοντι τὸ ἀρχόμενον ἀκόλουθον², οἷον διότι ἡμέρα ἐστί, φῶς ἐστι· τῷ μὲν γὰρ ἡμέρα ἐστίν ἀκολουθεῖ τὸ φῶς ἐστι, τῷ δὲ φῶς ἐστιν οὐχ ἕπεται τὸ ἡμέρα ἐστίν. αἰτιῶδες δὲ ψεῦδός ἐστιν ὃ ἤτοι ἀπὸ ψεύδους ἄρχεται ἢ μὴ εἰς ἀκόλουθον λήγει ἢ ἔχει τῷ λήγοντι τὸ ἀρχόμενον ἀνακόλουθον, οἷον διότι νύξ ἐστι, Δίων περιπατεῖ.

副条件命題において真なるものとは、真なる命題から始まって帰結へと終わるものであり、たとえば「昼であるゆえに、太陽は地上にある」である。偽なるものとは、偽なる命題から始まるか、あるいは帰結へと終わらないものであり、たとえば「夜であるゆえに、ディオンは歩いている」であって、昼であるときに言われる場合がこれにあたる。原因命題において真なるものとは、真なる命題から始まって帰結へと終わるものの、開始する命題（前件）を終了する命題（後件）に対する帰結としては持たないものであり、たとえば「昼であるゆえに、光がある」である。なぜなら、「昼である」には「光がある」が帰結するが、「光がある」には「昼である」が従うわけではないからである。偽なる原因命題とは、偽なる命題から始まるか、帰結へと終わらないか、あるいは開始する命題を終了する命題に対する非帰結（矛盾）として持つものであり、たとえば「夜であるゆえに、ディオンは歩いている」である。

πιθανὸν δέ ἐστιν ἀξίωμα τὸ ἄγον εἰς συγκατάθεσιν, οἷον εἴ τίς τι ἔτεκεν, ἐκείνη ἐκείνου μήτηρ ἐστί. ψεῦδος δὲ τοῦτο· οὐ γὰρ ἡ ὄρνις ᾠοῦ ἐστι μήτηρ. Ἔτι τε τὰ μέν ἐστι δυνατά, τὰ δʼ ἀδύνατα· καὶ τὰ μὲν ἀναγκαῖα, τὰ δʼ οὐκ ἀναγκαῖα. δυνατὸν μὲν τὸ ἐπιδεκτικὸν τοῦ ἀληθὲς εἶναι, τῶν ἐκτὸς μὴ ἐναντιουμένων πρὸς τὸ ἀληθὲς εἶναι³, οἷον ζῇ Διοκλῆσ· ἀδύνατον δὲ ὃ μή ἐστιν ἐπιδεκτικὸν τοῦ ἀληθὲς εἶναι, οἷον ἡ γῆ ἵπταται. ἀναγκαῖον δέ ἐστιν ὅπερ ἀληθὲς ὂν οὐκ ἔστιν ἐπιδεκτικὸν τοῦ ψεῦδος εἶναι, ἢ ἐπιδεκτικὸν μέν ἐστι, τὰ δʼ ἐκτὸς αὐτῷ ἐναντιοῦται πρὸς τὸ ψεῦδος εἶναι, οἷον ἡ ἀρετὴ ὠφελεῖ. οὐκ ἀναγκαῖον δέ ἐστιν ὃ καὶ ἀληθές ἐστιν καὶ ψεῦδος οἷόν τε εἶναι, τῶν ἐκτὸς μηδὲν ἐναντιουμένων, οἷον τὸ περιπατεῖ Δίων.

説得的命題とは、同意へと導く命題であり、たとえば「もし誰かが誰かを産んだならば、前者は後者の母である」である。しかしこれは偽である。なぜなら鳥は卵の母ではないからである。さらに、命題のうちあるものは可能であり、あるものは不可能である。またあるものは必然的であり、あるものは非必然的である。可能とは、真であることを受け入れうるものであって、外的な諸事情が真であることに対立・妨害しないものであり、たとえば「ディオクレスは生きている」である。不可能とは、真であることを受け入れえないものであり、たとえば「大地は飛んでいる」である。必然的とは、真でありながら偽であることを受け入れえないもの、あるいは受け入れうるとしても、外的な諸事情がそれが偽であることに対立・妨害するものであり、たとえば「徳は有益である」である。非必然的とは、真でもあり偽でもありうるものであって、外的な諸事情が何ら妨げないものであり、たとえば「ディオンは歩いている」である。

εὔλογον δέ ἐστιν ἀξίωμα τὸ πλείονας ἀφορμὰς ἔχον εἰς τὸ ἀληθὲς εἶναι, οἷον βιώσομαι αὔριον. Καὶ ἄλλαι δέ εἰσι διαφοραὶ ἀξιωμάτων καὶ μεταπτώσεις αὐτῶν ἐξ ἀληθῶν εἰς ψεύδη καὶ ἀντιστροφαί, περὶ ὧν ἐν τῷ πλάτει⁴ λέγομεν. Λόγος δέ ἐστιν, ὡς οἱ περὶ τὸν Κρῖνίν φασι, τὸ συνεστηκὸς ἐκ λήμματος καὶ προσλήψεως καὶ ἐπιφορᾶς, οἷον ὁ τοιοῦτος, εἰ ἡμέρα ἐστί, φῶς ἐστι· ἡμέρα δέ ἐστι· φῶς ἄρα ἐστί. λῆμμα μὲν γάρ ἐστι τὸ εἰ ἡμέρα ἐστι, φῶς ἐστι· πρόσληψις τὸ ἡμέρα δέ ἐστιν· ἐπιφορὰ δὲ τὸ φῶς ἄρα ἐστί. τρόπος δέ ἐστιν οἱονεὶ σχῆμα λόγου, οἷον ὁ τοιοῦτος, εἰ τὸ πρῶτον, τὸ δεύτερον· ἀλλὰ μὴν τὸ πρῶτον· τὸ ἄρα δεύτερον.

妥当な（もっともらしい）命題とは、真であるための動機・根拠をより多く持つ命題であり、たとえば「私は明日生きているだろう」である。命題には他にも様々な相違や、真から偽への変転、換位があるが、これらについては詳論において論じる。クリニスの一派が言うように、推論（論証）とは、大前提、小前提、結論から構成されるものであり、たとえば次のようなものである。「もし昼であるならば、光がある。ところで昼である。ゆえに光がある。」なぜなら、大前提は「もし昼であるならば、光がある」であり、小前提は「ところで昼である」であり、結論は「ゆえに光がある」だからである。そして推論形式（図式）とはいわば推論の形であり、たとえば次のようなものである。「もし第一のものならば、第二のものである。しかるに第一のものである。ゆえに第二のものである。」

構文注4 件

7.1.73οὗ τὸ ἀντικείμενον τοῦ λήγοντος μάχεται τῷ ἡγουμένῳ
関係代名詞属格 οὗ は先行詞 συνημμένον（条件命題）にかかり、関係節内の主語 τὸ ἀντικείμενον τοῦ λήγοντος（後件の対立命題／否定命題）の所属を表す（「それの後件の対立命題が……であるような条件命題」）。この条件文の真理条件（クリュシッポスの帰結説：後件の矛盾が前件と両立しないこと）の骨格を規定している。
7.1.74οὐ μὴν ἔχει τῷ λήγοντι τὸ ἀρχόμενον ἀκόλουθον
構文的には ἔχει の目的語が τὸ ἀρχόμενον（開始する命題＝前件）であり、ἀκόλουθον は述語的対格（「帰結するものとして」）、τῷ λήγοντι はその補足与格。「先行する命題が、帰結する命題（後件）にとっての帰結とはなっていない（すなわち前件から後件は導かれるが、後件から前件は導かれない非可逆的関係）」という原因命題の非対称性を意味する。
7.1.75τῶν ἐκτὸς μὴ ἐναντιουμένων πρὸς τὸ ἀληθὲς εἶναι
属格独立構文（genitive absolute）であり、「外的な事情が、真であることに対立・妨害しない限りにおいて」という条件・付帯状況を表す。ストア派様相論において、命題自体の性質（真を受け入れうる性質）に加えて外的事情の妨害の有無が様相（可能・必然など）の基準として付加されている構文。
7.1.76ἐν τῷ πλάτει
副詞句的表現で、「幅広く、詳細に、敷衍して（論じる）」の意。反対語の ἐν ἐπιτομῇ（要約して）に対する。ここでは本書のような概説的要約を離れて、別の専門的著作や詳論の箇所で論じることを指している。

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