Humanitext Reader

アリストテレス · 分析論前書 §1.2.3#1

第二格において偽の前提から真の結論を導く推論

51 / 123 箇所 · ギリシア語

要旨

第二図形(中間の図形)の三段論法において、偽の前提から真の結論が導かれる様々なケースについて、前提の真偽の組み合わせ(両方または一方が全体的あるいは部分的に偽である場合など)とその具体例を用いて論じる。

§1.2.3#1Ἐν δὲ τῷ μέσῳ σχήματι πάντως ἐγχωρεῖ διὰ ψευδῶν ἀληθὲς συλλογίσασθαι, καὶ ἁμφοτέρων τῶν προτάσεων ὅλων ψευδῶν λαμβανομένων καὶ ἐπί τι ἑκατέρας, καὶ τῆς μὲν ἀληθοῦς τῆς δὲ ψευδοῦς οὔσης ὁποτερασοῦν ψευδοῦς τιθεμένης, καὶ ἐν τοῖς καθόλου καὶ ἐπὶ τῶν ἐν μέρει συλλογισμῶν.
中間の図形においては、偽の前提を通じて真なる結論を推論することが全面的に可能であり、それは両方の前提が全体として偽として取られる場合にも、それぞれが部分的に[偽として取られる]場合にも、また一方が真で他方が偽であってそのどちらが偽と置かれる場合であっても、さらに全称の推論においても特称の推論においても同様である。
εἰ γὰρ τὸ Α τῷ μὲν Β μηδενὶ ὑπάρχει τῷ δὲ Γ παντί, οἷον ζῷον λίθῳ μὲν οὐδενὶ ἵππῳ δὲ παντί, ἐὰν ἐναντίως τεθῶσιν αἰ προτάσεις καὶ ληφθῇ τὸ Α τῷ μὲν Β παντὶ τῷ δὲ Γ μηδενί, ἐκ ψευδῶν ὅλων τῶν προτάσεων ἀληθές ἔσται τὸ συμπέρασμα.
なぜなら、もしAがどのBにも属さず、すべてのCに属するならば(たとえば、動物はどの石にも属さず、すべての馬に属する)、もし前提が反対に置かれ、AがすべてのBに属し、どのCにも属さないと仮定されるならば、全体として偽である前提から、結論は真になるであろう。
ὁμοίως δὲ καὶ εἰ τῷ μὲν Β παντὶ τῷ δὲ Γ μηδενὶ ὑπάρχει τὸ Α·
また、AがすべてのBに属し、どのCにも属さない場合も同様である。
ὁ γὰρ αὐτὸς ἔσται συλλογισμός.
なぜなら、同じ推論になるからである。
Πάλιν εἰ ἡ μὲν ἑτέρα ὅλη ψευδὴς ἡ δʼ ἑτέρα ὅλη ἀληθής·
次に、もし一方が全体として偽で、他方が全体として真であるならば[結論は真になるであろう]。
οὐδὲν γὰρ κωλύει τὸ Α καὶ τῷ β καὶ τῷ Γ παντὶ ὑπάρχειν, τὸ μέντοι Β μηδενὶ τῷ Γ, οἷον τὸ γένος τοῖς μὴ ὑπʼ ἄλληλα εἴδεσιν.
なぜなら、AがBとCの全体に属する一方で、BはどのCにも属さないことを、何ものも妨げないからである。 たとえば、類が互いに他方に従属しない種に対する場合のように。
τὸ γὰρ ζῷον καὶ ἵππῳ παντὶ καὶ ἀνθρώπῳ, καὶ οὐδεὶς ἄνθρωπος ἵππος.
なぜなら、動物はすべての馬とすべての人間に属するが、人間は誰も馬ではないからである。
ἐὰν οὖν ληφθῇ τῷ μὲν παντὶ τῷ δὲ μηδενὶ ὑπάρχειν, ἡ μὲν ὅλη ψευδὴς ἔσται ἡ δʼ ὅλη ἀληθής, καὶ τὸ συμπέρασμα ἀληθὲς πρὸς ὁποτερῳοῦν τεθέντος τοῦ στερητικοῦ.
したがって、もし一方にすべて属し、他方にまったく属さないと仮定されるならば、一方は全体として偽、他方は全体として真になり、否定[前提]がどちらに置かれるにせよ、結論は真になるであろう。
καὶ εἰ ἡ ἑτέρα ἐπί τι ψευδής, ἡ δʼ ἑτέρα ὅλη ἀληθής.
また、もし一方が部分的に偽で、他方が全体として真であるならば[結論は真になるであろう]。
ἐγχωρεῖ γὰρ τὸ Α τῷ μὲν Β τινὶ ὑπάρχειν τῷ δὲ Γ παντί, τὸ μέντοι Β μηδενὶ τῷ Γ, οἷον ζῷον λευκῷ μὲν τινὶ κόρακι δὲ παντί, καὶ τὸ λευκὸν οὐδενὶ κόρακι.
なぜなら、AがBの一部に属し、Cの全体に属する一方で、BはどのCにも属さないことがありうるからである。 たとえば、動物は一部の白いものに属し、すべての烏に属するが、白いものはどの烏にも属さないように。
ἐὰν οὖν ληφθῇ τὸ Α τῷ μὲν Β μηδενὶ τῷ δὲ Γ ὅλῳ ὑπάρχειν, ἡ μὲν Β πρότασις ἐπί τι ψευδής, ἡ δʼ Α Γ ὅλη ἀληθής, καὶ τὸ συμπέρασμα ἀληθές.
したがって、もしAがどのBにも属さず、すべてのCに属すると仮定されるならば、Bの前提(AB)は部分的に偽、ACは全体として真になり、結論は真になるであろう。
καὶ μετατιθεμένου δὲ τοῦ στερητικοῦ ὡσαύτως·
否定[前提]が入れ替えられる場合も同様である。
διὰ γὰρ τῶν αὐτῶν ὅρων ἡ ἀπόδειξις.
なぜなら、同じ項によって証明されるからである。
καὶ εἰ ἡ καταφατικὴ πρότασις ἐπί τι ψευδής, ἡ δὲ στερητικὴ ὅλη ἀληθής.
また、もし肯定前提が部分的に偽で、否定前提が全体として真であるならば[結論は真になるであろう]。
οὐδὲν γὰρ κωλύει τὸ τῷ μὲν Β τινὶ ὑπάρχειν τῷ δὲ Γ ὅλῳ μὴ ὑπάρχειν, καὶ τὸ Β μηδενὶ τῷ Γ, οἷον τὸ ζῷον λευκῷ μὲν τινὶ πίττῃ δʼ οὐδεμιᾷ, καὶ τὸ λευκὸν οὐδεμιᾷ πίττῃ.
なぜなら、[Aが]Bの一部に属し、Cの全体に属さない一方で、BはどのCにも属さないことを、何ものも妨げないからである。 たとえば、動物は一部の白いものに属するが、どのピッチにも属さず、白いものはどのピッチにも属さないように。
ὥστʼ ἐὰν ληφθῇ τὸ ὅλῳ τῷ Β ὑπάρχειν τῷ δὲ Γ μηδενί, ἡ μὲν Β ἐπί τι ψευδής, ἡ δʼ Γ ὅλη ἀληθής, καὶ τὸ συμπέρασμα ἀληθές.
したがって、もし[Aが]すべてのBに属し、どのCにも属さないと仮定されるならば、前提B(AB)は部分的に偽、前提C(AC)は全体として真になり、結論は真になるであろう。
καὶ εἰ ἀμφότεραι αἱ προτάσεις ἐπί τι ψευδεῖς, ἔσται τὸ συμπέρασμα ἀληθές.
また、もし両方の前提が部分的に偽であるならば、結論は真になるであろう。
ἐγχωρεῖ γὰρ τὸ Α καὶ τῷ β καὶ τῷ Γ τινὶ ὑπάρχειν, τὸ δὲ Β μηδενὶ τῷ Γ, οἷον ζῷον καὶ λευκῷ τινὶ καὶ μέλανί τινι, τὸ δὲ λευκὸν οὐδενὶ μέλανι.
なぜなら、AがBとCのそれぞれの一部に属する一方で、BはどのCにも属さないことがありうるからである。 たとえば、動物は一部の白いものと一部の黒いもののそれぞれに属するが、白いものはどの黒いものにも属さないように。
ἐὰν οὖν ληφθῇ τὸ Α τῷ μὲν Β παντὶ τῷ δὲ Γ μηδενί, ἄμφω μὲν αἱ προτάσεις ἐπί τι ψευδεῖς, τὸ δὲ συμπέρασμα ἀληθές.
したがって、もし AがすべてのBに属し、どのCにも属さないと仮定されるならば、両方の前提は部分的に偽であるが、結論は真になるであろう。
ὁμοίως δὲ καὶ μετατεθείσης τῆς στερητικῆς διὰ τῶν αὐτῶν ὅρων.
否定[前提]が入れ替えられた場合も、同じ項によって同様である。

語釈・文法注

  1. 5ὁποτερασοῦν ψευδοῦς τιθεμένης — 属格絶対(独立分詞句)。接続詞 καί によって繋がれた前提の真偽パターンの一つを示しており、「どちらの一方が偽と置かれる場合であっても」という譲歩あるいは条件の意味を表す。
  2. p.77τοῖς μὴ ὑπʼ ἄλληλα εἴδεσιν — 「互いに他方の下にない(従属しない)種に対して」の意。一方が他方を包摂せず、かつ共通の類に属する二つの独立した種(例えば、動物という類における馬と人間)を指す。
  3. p.77ἡ μὲν Β πρότασις — 直訳すれば「B前提」であるが、これは「B」という項を含む前提、すなわち中間の図形における前提ABを指す。同様に、36行目の「ἡ δʼ Γ」は「C」という項を含む前提(前提AC)を指している。

この箇所を引用する

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

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

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