2019年12月31日火曜日

「象も(が・は)鼻は長い」の「述語論理」。

(01)
(ⅰ)
1  (1)  ∀x{象x→ ∃y(鼻yx&長y)&~[∃y(鼻yx&長y)→象x]}  A
1  (2)     象a→ ∃y(鼻ya&長y)&~[∃y(鼻ya&長y)→象a]   1UE
1  (3)     象a→ ∃y(鼻ya&長y)                    2&E
 4 (4)     象a&~∃y(鼻ya&長y)                    A
 4 (5)     象a                                4&E
14 (6)         ∃y(鼻ya&長y)                    35MPP
 4 (7)        ~∃y(鼻ya&長y)                    4&E
14 (8)     ∃y(鼻ya&長y)&~∃y(鼻ya&長y)            67&I
1  (9)   ~[象a&~∃y(鼻ya&長y)]                   48RAA      
1  (ア)                    ~[∃y(鼻ya&長y)→象a]   2&E
  イ(イ)                     ~∃y(鼻ya&長y)∨象a    A
  イ(ウ)                      ∃y(鼻ya&長y)→象a    イ含意の定義
1 イ(エ)                    ~[∃y(鼻ya&長y)→象a]&
                           [∃y(鼻ya&長y)→象a]   アウ&I
1  (オ)                   ~[~∃y(鼻ya&長y)∨象a]   イエRAA
1  (カ)                     ∃y(鼻ya&長y)&~象a    オ、ド・モルガンの法則
1  (キ)                      ~象a&∃y(鼻ya&長y)   カ交換法則
1  (ク)   ~[象a&~∃y(鼻ya&長y)]&[~象a&∃y(鼻ya&長y)]  9キ&I
1  (ケ)∀x{~[象x&~∃y(鼻yx&長y)]&[~象x&∃y(鼻yx&長y)]} クUI
(ⅱ)
1   (1)∀x{~[象x&~∃y(鼻yx&長y)]&[~象a&∃y(鼻ya&長y)]} カUI
1   (2)   ~[象a&~∃y(鼻ya&長y)]&[~象a&∃y(鼻ya&長y)]  1UE
1   (3)   ~[象a&~∃y(鼻ya&長y)]                   2&E
 4  (4)     象a                                A
  5 (5)        ~∃y(鼻ya&長y)                    A
 45 (6)     象a&~∃y(鼻ya&長y)                    45&I
145 (7)   ~[象a&~∃y(鼻ya&長y)]&[象a&~∃y(鼻ya&長y)]  36&I
14  (8)       ~~∃y(鼻ya&長y)                    57RAA
14  (9)         ∃y(鼻ya&長y)                    8DN
1   (ア)     象a→ ∃y(鼻ya&長y)                    49CP
1   (イ)                     [~象a&∃y(鼻ya&長y)]  2&E
1   (ウ)                      ∃y(鼻ya&長y)&~象a   イ交換法則
   エ(エ)                      ∃y(鼻ya&長y)→ 象a   A
1   (オ)                      ∃y(鼻ya&長y)       ウ&E
1  エ(カ)                                  象a   エオ&I
1   (キ)                                 ~象a   ウ&E
1  エ(ク)                              象a&~象a   カキ&I
1   (ケ)                     ~[∃y(鼻ya&長y)→象a]  エクRAA
1   (コ)      象a→ ∃y(鼻ya&長y)&~[∃y(鼻ya&長y)→象a]  アケ&I
1   (サ)   ∀x{象x→ ∃y(鼻yx&長y)&~[∃y(鼻yx&長y)→象x]} コUI
従って、
(01)により、
(02)
①     ∀x{象x→  ∃y(鼻yx&長y)  &~[∃y(鼻yx&長y)→象x]}             
② ∀x{~[象x&~∃y(鼻yx&長y)]&[~象x&∃y(鼻yx&長y)]}
に於いて、すなはち、
① すべてのxについて、xが象であるならば、あるyは、xの鼻であって、長い、ものの、あるyがxの鼻であって、長いならば、xは象である、といふわけではない。
② すべてのxについて、xが象であって、あるyがxの鼻であって、yが長くない、といふことはないが、xが象でなくとも、yがxの鼻であって、長い、といふことはある。
に於いて、
①=② である。
然るに、
(03)
① すべてのxについて、xが象であるならば、あるyは、xの鼻であって、長い、ものの、あるyがxの鼻であって、長いならば、xは象である、といふわけではない。
② すべてのxについて、xが象であって、あるyがxの鼻であって、yが長くない、といふことはないが、xが象でなくとも、yがxの鼻であって、長い、といふことはある。
といふことは、要するに、
① 象の鼻は長いが、象以外の鼻長い。
② 象の鼻は長いが、象以外の鼻長い。
といふ、ことである。
然るに、
(04)
① 象の鼻は長いが、象以外の鼻も長い
といふことは、
① 象、鼻は長い。
といふ、ことである。
従って、
(01)~(04)により、
(05)
① 象鼻は長い。⇔
① 象の鼻は長いが、象以外の鼻長い。⇔
① ∀x{象x→∃y(鼻yx&長y)&~[∃y(鼻yx&長y)→象x]}⇔
① すべてのxについて、xが象であるならば、あるyは、xの鼻であって、長い、ものの、あるyがxの鼻であって、長いならば、xは象である、といふわけではない。
といふ「等式」が、成立する。
然るに、
(05)により、
(06)
① 象の鼻は長いが、象以外の鼻長い。⇔
① ∀x{象x→∃y(鼻yx&長y)&~[∃y(鼻yx&長y)→象x]}。
であるため、
① 象以外の鼻長い。⇔
① ~[∃y(鼻yx&長y)→象x]。
である。
従って、
(06)により、
(07)
① 象以外の鼻長い。⇔
① ~[∃y(鼻yx&長y)→象x]。
であるため、
① 象以外の鼻は長くない。⇔
~[∃y(鼻yx&長y)→象x]。
である。
従って、
(07)により、
(08)
二重否定(DN)」により、
① 象以外の鼻は長くない。⇔
~~[∃y(鼻yx&長y)→象x]⇔
①   [∃y(鼻yx&長y)→象x]。
である。
従って、
(08)により、
(09)
対偶(Contraposition)」により、
① 象以外の鼻は長くない。⇔
①[∃y(鼻yx&長y)→象x]⇔
①[象x→∃y(鼻yx&長y)]。
である。
従って、
(06)(09)により、
(10)
① 象の鼻は長いが、象以外の鼻も長い。⇔
① ∀x{象x→∃y(鼻yx&長y)&~[∃y(鼻yx&長y)→象x]}。
に対して、
② 象の鼻は長いが、象以外の鼻は長くない。⇔
② ∀x{象x→∃y(鼻yx&長y)&[象x→∃y(鼻yx&長y)]}。
である。
然るに、
(11)
② 象の鼻は長いが、象以外の鼻は長くない
といふことは、
② 象鼻は長い。
といふ、ことである。
従って、
(10)(11)により、
(12)
② 象鼻は長い。⇔
② 象の鼻は長いが、象以外の鼻は長くない。⇔
② ∀x{象x→∃y(鼻yx&長y)&[~象x→~∃y(鼻yx&長y)]}⇔
② すべてのxについて、xが象であるならば、あるyは、xの鼻であって、長い、ものの、xが象でないならば、あるyがxの鼻であって、長い、といふことはない。
といふ「等式」が、成立する。
従って、
(05)(12)により、
(13)
① 象鼻は長い。⇔ ∀x{象x→∃y(鼻yx&長y)&~[∃y(鼻yx&長y)→象x]}。
② 象鼻は長い。⇔ ∀x{象x→∃y(鼻yx&長y)&[~象x→~∃y(鼻yx&長y)]}。
といふ「等式」が、成立する。
然るに、
(14)
① 象も鼻は長い。
② 象が鼻は長い。
に対して、
③ 象鼻は長い。
の場合は、
③「象の鼻以外」については、「何も述べてゐない」。
然るに、
(15)
① ∀x{象x→∃y(鼻yx&長y)&~[∃y(鼻yx&長y)→象x]}。
② ∀x{象x→∃y(鼻yx&長y)&[~象x→~∃y(鼻yx&長y)]}。
に対して、
③ ∀x{象x→∃y(鼻yx&長y)}
の場合は、
③「象の鼻以外」については、「何も述べてゐない」。
従って、
(13)(14)(15)により、
(16)
「番号」を付け直すと、
① 象鼻は長い。⇔ ∀x{象x→∃y(鼻yx&長y)}。
② 象鼻は長い。⇔ ∀x{象x→∃y(鼻yx&長y)&~[∃y(鼻yx&長y)→象x]}。
③ 象鼻は長い。⇔ ∀x{象x→∃y(鼻yx&長y)&[~象x→~∃y(鼻yx&長y)]}。
といふ「等式」が、成立する。
従って、
(17)
① 象鼻は長い。
② 象鼻は長い。
③ 象鼻は長い。
といふ「日本語」は、「述語論理(predicate logic)」に「翻訳」する限り、「3つ」とも、
① ∀x(象x→P)≡すべてのxについて、xが象であるならば、Pである。
② ∀x(象x→P)≡すべてのxについて、xが象であるならば、Pである。
③ ∀x(象x→P)≡すべてのxについて、xが象であるならば、Pである。
といふ「文型」をしてゐる。
従って、
(17)により、
(18)
① 象
② 象
③ 象
は、「3つ」とも、
① ∀x(象x→ )≡すべてのxについて、xが象であるならば、
② ∀x(象x→ )≡すべてのxについて、xが象であるならば、
③ ∀x(象x→ )≡すべてのxについて、xが象であるならば、
といふ、「意味」である。
然るに、
(19)
日本語で典型な文(センテンス)は「Ⅹは」で始まる題述関係の文です。公式で一括して
 Ⅹハ本ウンヌン
 題目   述部
と書くことできます。題目の提示「Ⅹは」は、だいたい「Ⅹニツイテ言エバ」の心持ちです。上の「Ⅹニツイテ」は中味の予告です。下の「言エバ」は話し手の態度の宣言であり、これが述部の言いきり(文末)と呼応します。
後者、すなわち文末と呼応して一文を完成する仕事が「ハ」の本務です。前者、すなわち中味への関与の仕方は「ハ」の兼務です。「Ⅹハ」には。本務と兼務の両面があることを知り、始終それを念頭に置くことが大切です(三上章、象は鼻が長い、1992年第21版、8頁)。
従って、
(18)(19)により、
(20)
「述語論理的」には、
① 象(は)
② 象(も)
③ 象(が)
は、「3つ」とも、「題目」である。
然るに、
(21)
じつは、主述関係という色ネガネほど日本文法の研究を阻害しているものはありません。主述関係の片方を占める主語も同罪です。わたしはすでに二十年近く、主語という用語の使用を拒みつづけています(三上章、象は鼻が長い、1992年第21版、178頁)。
然るに、
(22)
私にとっての「主語」と言ふのは、例へば、荻野先生が、次(23)のやうに述べてゐる際の、「それ」に等しい。
(23)
主語や目的語や補語、これだけは自分で考えるクセを付けて下さい。学校の先生がこれまた、考えなくとも、どんどん入れて訳してくれるんです。古文はよく、省かれているんですね。誰が、誰を、誰に、みたいなものが、日本語はよく省略されているんですけど、先生がどんどん補って下さる。で、皆さんは何でその主語になるのかよくわかんないまま、またノートに、訳のところに、一生懸命、書いて覚えて、テストを受けてる。さっきも言いました。自力です。「自力で補足するです。」入試のときそばで誰も助けてくれないからですね。で実は、これが皆さんを古文嫌いにさせている、つまり、せっかく、訳ができた。単語を覚えて、Aさんがしてることを、Bさんがしたと勘違いして、変え~んな、文章にしちゃったことないですかあ。ワタシは模擬試験の時にですねえ、よく、ストーリーは、ある程度わかったのに、「やったひととやられた人を勘違い」して、もう途中で「大混乱」してですね。七行目ぐらいまで頑張って読んだのに、もう「まんなか辺」で、プチッと切れて、もうええいいや、ワケわかんなくなっちゃたといって、「放り出す」ことがよくありますけども、これ(主語・目的語・補語)を自分で意識すると、「こうやって考えながらやるんだな」って意識すると、かなり読みやすくなるんです(東進ハイスクール 荻野文子先生 - YouTube)。
従って、
(24)
「日本語には主語がない。」と言はれてしまふと、「古文や漢文が読めなくなってしまふ」ため、私としては、「それでは困る。」と、言はざるを得ない。
令和元年12月31日、毛利太。

2019年12月30日月曜日

「象が鼻が長い」の「述語論理」。

(01)
①{象、机}
に於いて、
①{象動物である。}は、「本当」である。
(02)
②{象、兎}
に於いて、
②{象動物である。}は、「ウソ」である。
従って、
(01)(02)により、
(03)
①{象、□}
に於いて、
① □動物でない。ならば、そのときに限って、
①{象動物である。}は、「本当」である。
従って、
(03)により、
(04)
① 象動物である。⇔
① 象は動物であり、象以外は動物ではない
といふ「等式」が、成立する。
従って、
(04)により、
(05)
① 鼻長い。⇔
① 鼻は長く、鼻以外は長くない
といふ「等式」が、成立する。
従って、
(05)により、
(06)
① 象は鼻長い。⇔
① 象は鼻は長く、鼻以外は長くない
といふ「等式」が、成立する。
従って、
(06)により、
(07)
① 象長い。⇔
① 象は鼻は長く、鼻以外は長くなく、象以外は、さうではない
といふ「等式」が、成立する。
然るに、
(08)
① 象は鼻長い。⇔
① 象は鼻は長く、鼻以外は長くない
であれば、
① ∀x{象x→∃y(鼻yx&長y)&∀z(~鼻zx→~長z)}⇔
① すべてのxについて{xが象であるならば、あるyは、xの鼻であって、長く、すべてのzについて、zがxの鼻でないならば、zは長くない}。
といふ風に、書くことが出来る。
従って、
(06)(07)(08)により、
(09)
① 象長い。⇔
① 象は鼻は長く、鼻以外は長くなく、象以外は、さうではない
であれば、
① ∀x{象x⇔∃y(鼻yx&長y)&∀z(~鼻zx→~長z)}⇔
① ∀x{象x→∃y(鼻yx&長y)&∀z(~鼻zx→~長z)&~象x→~[∃y(鼻yx&長y)&∀z(~鼻zx→~長z)]}⇔
① すべてのxについて{xが象であるならば、そのときに限って、あるyは、xの鼻であって、長く、すべてのzについて、zがxの鼻でないならば、zは長くない}。
といふ風に、書くことが出来る。
然るに、
(10)
(ⅰ)
1      (1)∀x{象x⇔∃y(鼻yx&長y)&∀z(~鼻zx→~長z)}  A
1      (2)∀x{象x→∃y(鼻yx&長y)&∀z(~鼻zx→~長z)&
          ~象x→~[∃y(鼻yx&長y)&∀z(~鼻zx→~長z)]} 1Df.⇔
1      (3)   象a→∃y(鼻ya&長y)&∀z(~鼻za→~長z)&
          ~象a→~[∃y(鼻ya&長y)&∀z(~鼻za→~長z)]  2UE
1      (4)   象a→∃y(鼻ya&長y)&∀z(~鼻za→~長z)   3&E
1      (5)~象a→~[∃y(鼻ya&長y)&∀z(~鼻za→~長z)]  3&E
 6     (6)~象a                             A
16     (7)    ~[∃y(鼻ya&長y)&∀z(~鼻za→~長z)]  56MPP
16     (8)    ~∃y(鼻ya&長y)∨~∀z(~鼻za→~長z)   7ド・モルガンの法則
  9    (9)                ~∀z(~鼻za→~長z)   A
  9    (ア)                ∃z~(~鼻za→~長z)   9量化子の関係
   イ   (イ)                  ~(~鼻ba→~長b)   A
    ウ  (ウ)                     鼻ba∨~長b    A
    ウ  (エ)                    ~鼻ba→~長b    ウ含意の定義
   イウ  (オ)                  ~(~鼻ba→~長b)&   
                             (~鼻ba→~長b)   イエ&I
   イ   (カ)                   ~(鼻ba∨~長b)   ウオRAA
   イ   (キ)                    ~鼻ba& 長b    カ、ド・モルガンの法則
   イ   (ク)                 ∃z(~鼻za& 長z)   キEI
  9    (ケ)                 ∃z(~鼻za& 長z)   アイクEE
  9    (コ)     ~∃y(鼻ya&長y)∨∃z(~鼻za& 長z)   ケ∨I
     サ (サ)     ~∃y(鼻ya&長y)                A
     サ (シ)     ~∃y(鼻ya&長y)∨∃z(~鼻za& 長z)   サ∨I
16     (ス)     ~∃y(鼻ya&長y)∨∃z(~鼻za& 長z)   89コサシ∨E
16     (セ)      ∃y(鼻ya&長y)→∃z(~鼻za& 長z)   ス含意の定義
1      (ソ)  ~象a→∃y(鼻ya&長y)→∃z(~鼻za& 長z)   6セCP
      タ(タ)  ~象a&∃y(鼻ya&長y)                A
      タ(チ)  ~象a                           タ&E
1     タ(ツ)      ∃y(鼻ya&長y)→∃z(~鼻za& 長z)   ソチMPP
      タ(テ)      ∃y(鼻ya&長y)                タ&E
1     タ(ト)                 ∃z(~鼻za& 長z)   ツテMPP
1      (ナ)  ~象a&∃y(鼻ya&長y)→∃z(~鼻za& 長z)   タトCP
1      (ニ)   象a→∃y(鼻ya&長y)&∀z(~鼻za→~長z)&
            ~象a&∃y(鼻ya&長y)→∃z(~鼻za& 長z)   4ナ&I
1      (ヌ)∀x{象x→∃y(鼻yx&長y)&∀z(~鼻zx→~長z)&
            ~象x&∃y(鼻yx&長y)→∃z(~鼻zx& 長z)}  ニUI
(ⅱ)
1       (1)∀x{象x→∃y(鼻yx&長y)&∀z(~鼻zx→~長z)&
             ~象x&∃y(鼻yx&長y)→∃z(~鼻zx& 長z)}  A
1       (2)   象a→∃y(鼻ya&長y)&∀z(~鼻za→~長z)&
             ~象a&∃y(鼻ya&長y)→∃z(~鼻za& 長z)   1UE
1       (3)   象a→∃y(鼻ya&長y)&∀z(~鼻za→~長z)   2&E
1       (4)  ~象a&∃y(鼻ya&長y)→∃z(~鼻za& 長z)   2&E
 5      (5)  ~象a                           A
  6     (6)      ∃y(鼻ya&長y)                A
 56     (7)  ~象a&∃y(鼻ya&長y)                56&I
156     (8)                 ∃z(~鼻za& 長z)   47MPP
15      (9)      ∃y(鼻ya&長y)→∃z(~鼻za& 長z)   68CP
1       (ア)  ~象a→∃y(鼻ya&長y)→∃z(~鼻za& 長z)   59CP
   イ    (イ)  ~象a                           A
1  イ    (ウ)      ∃y(鼻ya&長y)→∃z(~鼻za& 長z)   アイMPP
1  イ    (エ)     ~∃y(鼻ya&長y)∨∃z(~鼻za& 長z)   ウ含意の定義
    オ   (オ)                 ∃z(~鼻za& 長z)   A
     カ  (カ)                    ~鼻ba& 長b    A
      キ (キ)                    ~鼻ba→~長b    A
     カ  (ク)                    ~鼻ba        カ&E
     カキ (ケ)                         ~長b    キクMPP
     カ  (コ)                          長b    カ&E
     カキ (サ)                      ~長b&長b    ケコ&I
     カ  (シ)                  ~(~鼻ba→~長b)   キサRAA
     カ  (ス)                ∃z~(~鼻za→~長z)   シEI
    オ   (セ)                ∃z~(~鼻za→~長z)   オカスEE
    オ   (ソ)                ~∀z(~鼻za→~長z)   セ量化子の関係
    オ   (タ)    ~∃y(鼻ya&長y)∨~∀z(~鼻za→~長z)   ソ∨I
       チ(チ)    ~∃y(鼻ya&長y)                 A
       チ(ツ)    ~∃y(鼻ya&長y)∨~∀z(~鼻za→~長z)   タ∨I
1  イ    (テ)    ~∃y(鼻ya&長y)∨~∀z(~鼻za→~長z)   エオタチツ∨E
1  イ    (ト)    ~[∃y(鼻ya&長y)&∀z(~鼻za→~長z)]  テ、ド・モルガンの法則
1       (ナ)~象a→~[∃y(鼻ya&長y)&∀z(~鼻za→~長z)]  イトCP
1       (ニ)   象a→∃y(鼻ya&長y)&∀z(~鼻za→~長z)&
           ~象a→~[∃y(鼻ya&長y)&∀z(~鼻za→~長z)]  3ナ&I
1       (ヌ)   象a⇔∃y(鼻yx&長y)&∀z(~鼻zx→~長z)}  ニDf.⇔
1       (ネ)∀x{象x⇔∃y(鼻yx&長y)&∀z(~鼻zx→~長z)}  ヌUI
従って、
(10)により、
(11)
① ∀x{象x⇔∃y(鼻yx&長y)&∀z(~鼻zx→~長z)}
② ∀x{象x→∃y(鼻yx&長y)&∀z(~鼻zx→~長z)&~象x&∃y(鼻yx&長y)→∃z(~鼻zx&長z)}
に於いて、
①=② である。
従って、
(09)(10)(11)により、
(12)
② 象長い。⇔
② 象は鼻は長く、鼻以外は長くなく、象以外は、さうではない。⇔
② ∀x{象x⇔∃y(鼻yx&長y)&∀z(~鼻zx→~長z)}⇔
② ∀x{象x→∃y(鼻yx&長y)&∀z(~鼻zx→~長z)&~象x&∃y(鼻yx&長y)→∃z(~鼻zx&長z)}⇔
② すべてのxについて{xが象であるならば、あるyは、xの鼻であって、長く、すべてのzについて、zがxの鼻でないならば、zは長くなく、xが象でなくて、あるyがxの鼻であって長いならば、あるzはxの鼻ではないが、zは長い}。
といふ「等式」が、成立する。
然るに、
(13)
② すべてのxについて{xが象であるならば、あるyは、xの鼻であって、長く、すべてのzについて、zがxの鼻でないならば、zは長くなく、xが象でなくて、あるyがxの鼻であって長いならば、あるzはxの鼻ではないが、zは長い}。
といふことは、
② 象は鼻は長く、鼻以外は長くないものの、象以外に、鼻が長い動物がゐるのであれば、その動物は、鼻以外も長い。
といふ「意味」である。
然るに、
(14)
② 象は鼻は長く、鼻以外は長くないものの、象以外に、鼻が長い動物がゐるのであれば、その動物は、鼻以外長い
といふことは、
② 鼻が長く、鼻以外は長くない動物は、象だけである。
といふ「意味」である。
従って、
(12)(13)(14)により、
(15)
② 象長い。
といふ「日本語」は、
② 鼻が長く、鼻以外は長くない動物は、象だけである。
といふ「意味」である。
従って、
(08)(12)(15)により、
(16)
① 象は鼻長い。
② 象長い。
といふ「日本語」は、
① 象は鼻は長く、鼻以外は長くない
② 鼻が長く、鼻以外は長くない動物は、象だけである。
といふ「意味」であって、
① 象は鼻は長く、鼻以外は長くない
② 鼻が長く、鼻以外は長くない動物は、象だけである。
といふ「日本語」は、
① ∀x{象x→∃y(鼻yx&長y)&∀z(~鼻zx→~長z)}。
② ∀x{象x→∃y(鼻yx&長y)&∀z(~鼻zx→~長z)&~象x&∃y(鼻yx&長y)→∃z(~鼻zx&長z)}。
といふ「述語論理」に、相当する。
然るに、
(17)
③ 象は動物である。
といふ「日本語」は、
③ ∀x(象x→動物x)。
といふ「述語論理」に、相当する。
従って、
(16)(17)により、
(18)
「番号」を付け直すと、
① 象は動物である。
② 象は鼻長い。
③ 象長い。
といふ「日本語」は、
① ∀x(象x→動物x)。
② ∀x{象x→∃y(鼻yx&長y)&∀z(~鼻zx→~長z)}。
③ ∀x{象x→∃y(鼻yx&長y)&∀z(~鼻zx→~長z)&~象x&∃y(鼻yx&長y)→∃z(~鼻zx&長z)}。
といふ「述語論理」に、相当する。
然るに、
(19)
① ∀x(象x→動物x)。
② ∀x{象x→∃y(鼻yx&長y)&∀z(~鼻zx→~長z)}。
③ ∀x{象x→∃y(鼻yx&長y)&∀z(~鼻zx→~長z)&~象x&∃y(鼻yx&長y)→∃z(~鼻zx&長z)}。
といふ「述語論理」は、「大枠」としては、三つとも、
① ∀x(象x→P)。
② ∀x(象x→P)。
③ ∀x(象x→P)。
といふ「文型」をしてゐる。
従って、
(18)(19)により、
(20)
少なくとも、「述語論理」的には、
① 象は動物である。
② 象は鼻長い。
③ 象長い。
といふ「日本語」に於ける、
① 象は が、「主語」であるならば、
② 象は も、「主語」であり、
③ 象 も、「主語」である。
としても、「何らの不都合」も、生じない
令和元年12月30日、毛利太。

「象の鼻は長い・鼻は象が長い」の「述語論理」。

(01)
① 象の鼻は長い。   然るに、
② 兎の鼻は長くない。従って、
③ 象の鼻は兎の鼻ではない。
といふ「推論」は「妥当」である。
然るに、
(02)
1  (1)∀x∀y(象x&鼻yx→ 長y)     A
 2 (2)∀x∀y(兎x&鼻yx→~長y)     A
1  (3)  ∀y(象a&鼻ya→ 長y)     1UE
1  (4)     象a&鼻ba→ 長b      3UE
 2 (5)  ∀y(兎a&鼻ya→~長b)     2UE
 2 (6)     兎a&鼻ba→~長b      5UE
  7(7)     象a&鼻ba          A
1 7(8)             長b      47MPP
1 7(9)           ~~長b      8DN
127(ア)   ~(兎a&鼻ba)         69MTT
127(イ)    ~兎a∨~鼻ba         ア、ド・モルガンの法則
127(ウ)    ~鼻ba∨~兎a         イ交換法則
127(エ)     鼻ba→~兎a         ウ含意の定義
  7(オ)     鼻ba             7&E
127(カ)         ~兎a         エオMPP
127(キ)    ~兎a&鼻ba          オカ&I
12 (ク)     象a&鼻ba→~兎a&鼻ba  7キCP
12 (ケ)     象a&鼻ba→~兎a&鼻ba  7クCP
12 (コ)  ∀y(象a&鼻ya→~兎a&鼻ya) ケUI
12 (サ)∀x∀y(象x&鼻yx→~兎x&鼻yx) コUI
従って、
(02)により、
(03)
① ∀x∀y(象x&鼻yx→ 長y)。然るに、
② ∀x∀y(兎x&鼻yx→~長y)。従って、
③ ∀x∀y(象x&鼻yx→~兎x&鼻yx)。
といふ「推論」、すなはち、
① すべてのxとyについて、xが象であって、yがxの鼻であるならば、yは長い。   然るに、
② すべてのxとyについて、xが兎であって、yがxの鼻であるならば、yは長くない。 従って、
③ すべてのxとyについて、xが象であって、yがxの鼻であるならば、xは兎ではなく、yはxの鼻である。
といふ「推論」は「妥当」である。
然るに、
(04)
① すべてのxとyについて、xが象であって、yがxの鼻であるならば、yは長い。   然るに、
② すべてのxとyについて、xが兎であって、yがxの鼻であるならば、yは長くない。 従って、
③ すべてのxとyについて、xが象であって、yがxの鼻であるならば、xは兎ではなく、yはxの鼻である。
といふことは、
① 象の鼻は長い。   然るに、
② 兎の鼻は長くない。従って、
③ 象の鼻は兎の鼻ではない。
といふ、ことである。
従って、
(01)~(04)により、
(05)
① 象の鼻は長い。
といふ「日本語」は、
① ∀x∀y(象x&鼻yx→長y)。
といふ「述語論理」に、相当する。
然るに、
(06)
① 鼻は象長い。
② 鼻は兎は長くない。
③ 兎の鼻は象の鼻ではない。
といふ「推論」は「妥当」である。
然るに、
(07)
1  (1)∀x∀y(鼻xy&象y⇔ 長y)     A
 2 (2)∀x∀y(鼻xy&兎y→~長y)     A
1  (3)  ∀y(鼻ay&象y⇔ 長y)     1UE
1  (4)     鼻ab&象b⇔ 長b      3UE
1  (5)    (鼻ab&象b→ 長b)&
          (長b→鼻ab& 象b)     4Df.⇔
1  (6)     鼻ab&象b→ 長b      5&E
 2 (7)  ∀y(鼻ay&兎y→~長y)     2UE
 2 (8)     鼻ab&兎b→~長b      7UE
  9(9)     兎b&鼻ab          A
  9(ア)     鼻ab&兎b          9交換法則
 29(イ)            ~長b      89MPP
129(ウ)   ~(鼻ab&象b)         6アMTT
129(エ)    ~鼻ab∨~象b         イ、ド・モルガンの法則
129(オ)     鼻ab→~象b         ウ含意の定義
  9(カ)     鼻ab             9&E
129(キ)         ~象b         エオMPP
129(ク)    ~象b&鼻ab          オカ&I
12 (ケ)     兎b&鼻ab→~象b&鼻ab  9クCP
12   (コ)  ∀x(兎b&鼻xb→~象b&鼻xb) ケUI
12 (サ)∀y∀x(兎y&鼻xy→~象y&鼻xy) コUI
cf.
∀x∀y(Fxy)と、
∀y∀x(Fxy)は、「等しい」。
従って、
(07)により、
(08)
① ∀x∀y(鼻xy&象y⇔ 長y)。然るに、
② ∀x∀y(鼻xy&兎y→~長y)。従って、
③ ∀y∀x(兎y&鼻xy→~象y&鼻xy)。
といふ「推論」、すなはち、
① すべてのxとyについて、xがyの鼻であって、yが象であるならば、そのときに限って、yは長い。   然るに、
② すべてのxとyについて、xがyの鼻であって、yが象であるならば、         yは長くない。 従って、
③ すべてのyとxについて、yが兎であって、xがyの鼻であるならば、yは象ではなく、 xはyの鼻である。
といふ「推論」は「妥当」である。
然るに、
(09)
① すべてのxとyについて、xがyの鼻であって、yが象であるならば、そのときに限って、yは長い。   然るに、
② すべてのxとyについて、xがyの鼻であって、yが象であるならば、         yは長くない。 従って、
③ すべてのyとxについて、yが兎であって、xがyの鼻であるならば、yは象ではなく、 xはyの鼻である。
といふことは、
① 鼻は象長い。
② 鼻は兎は長くない。
③ 兎の鼻は象の鼻ではない。
といふ、ことである。
従って、
(06)~(09)により、
(10)
① 鼻は象長い。
といふ「日本語」は、
① ∀x∀y(鼻xy&象y⇔長y)。
といふ「述語論理」に、相当する。
従って、
(05)(10)により、
(11)
① 象の鼻は長い。
② 鼻は象長い。
といふ「日本語」は、
① ∀x∀y(象x&鼻yx→長y)。
② ∀x∀y(鼻xy&象y⇔長y)。
といふ「述語論理」に、相当する。
令和元年12月30日、毛利太。

2019年12月29日日曜日

「三上章、象は鼻が長い。」

(01)
①{象、机}
に於いて、
①{象動物である。}は、「本当」である。
cf.
Which is an animal?
(02)
②{象、兎}
に於いて、
②{象動物である。}は、「ウソ」である。
従って、
(01)(02)により、
(03)
①{象、□}
に於いて、
① □動物でない。ならば、そのときに限って、
①{象動物である。}は、「本当」である。
従って、
(03)により、
(04)
① 象動物である。⇔
① 象は動物であり、象以外は動物ではない
といふ「等式」が、成立する。
従って、
(04)により、
(05)
① 鼻長い。⇔
① 鼻は長く、鼻以外は長くない
といふ「等式」が、成立する。
従って、
(05)により、
(06)
① 象は鼻長い。⇔
① 象は鼻は長く、鼻以外は長くない
といふ「等式」が、成立する。
然るに、
(07)
1     (1)∀x{象x→∃y(鼻yx&長y)&∀z(~鼻zx→~長z)}          A
 2    (2)∀x{兎x→∃y(耳yx&長y)&∀z(~耳zx→~長z&耳zx→~鼻zx)} A
  3   (3)∃x(象x&兎x)                               A
1     (4)   象a→∃y(鼻ya&長y)&∀z(~鼻za→~長z)           1UE
 2    (5)   兎a→∃y(耳ya&長y)&∀z(~耳za→~長z&耳za→~鼻za)  2UE
   6  (6)   象a&兎a                                A
   6  (7)   兎a                                   6&E
   6  (8)      兎a                                6&E
1  6  (9)      ∃y(鼻ya&長y)&∀z(~鼻za→~長z)           47MPP
 2 6  (ア)      ∃y(耳ya&長y)&∀z(~耳za→~長z&耳za→~鼻za)  58MPP
1  6  (イ)      ∃y(鼻ya&長y)                        9&E
    ウ (ウ)         鼻ba&長b                         A
1  6  (エ)                 ∀z(~鼻za→~長z)           9&E
1  6  (オ)                    ~鼻ba→~長b            エUE
 2 6  (カ)      ∃y(耳ya&長y)                        ア&E
     キ(キ)         耳ba&長b                         A
 2 6  (ク)                 ∀z(~耳za→~長z&耳za→~鼻za)  ア&E
 2 6  (ケ)                    ~耳ba→~長b&耳ba→~鼻ba   クUE
 2 6  (コ)                             耳ba→~鼻ba   ケ&E
     キ(サ)         耳ba                            キ&E
 2 6 キ(シ)                                 ~鼻ba   コサMPP
12 6 キ(ス)                         ~長b            オシMPP
    ウ (セ)             長b                         ウ&E
12 6ウキ(ソ)             長b&~長b                     シス&I 
12 6ウ (タ)             長b&~長b                     カキソEE 
12 6  (チ)             長b&~長b                     イウタEE
123   (ツ)             長b&~長b                     36チEE
12    (テ)~∃x(象x&兎x)                              3ツRAA
12    (ト)∀x~(象x&兎x)                              テ量化子の関係
12    (ナ)  ~(象a&兎a)                              トUE
12    (ニ)  ~象a∨~兎a                               ナ、ド・モルガンの法則
12    (ヌ)  ~兎a∨~象a                               ニ交換法則
12    (ネ)   兎a→~象a                               ヌ含意の定義
12    (ノ)∀x(兎x→~象x)                              ネUI
12    (〃)すべてのxについて、xが兎であるならば、xは象ではない。            ネUI
12    (〃)兎は象ではない(Rabbits can not be elephants)。                ネUI
従って、
(07)により、
(08)
1     (1)∀x{象x→∃y(鼻yx&長y)&∀z(~鼻zx→~長z)}          A
 2    (2)∀x{兎x→∃y(耳yx&長y)&∀z(~耳zx→~長z&耳zx→~鼻zx)} A
12    (ノ)∀x(兎x→~象x)                              ネUI
といふ「推論」、すなはち、
      (1)象は鼻長い。然るに、
      (2)兎は耳が長いが、兎の耳は鼻ではない。従って、
      (3)兎は象ではない(Rabbits can not be elephants)。 
といふ「推論」は、「妥当」である。
従って、
(06)(07)(08)により、
(09)
① 象は鼻長い。⇔
① 象は鼻は長く、鼻以外は長くない。⇔
① ∀x{象x→∃y(鼻yx&長y)&∀z(~鼻zx→~長z)}⇔
① すべてのxについて、xが象であるならば、あるyは、xの鼻であって、長く、すべてのzについて、zがxの鼻でないならば、zは長くない。
といふ「等式」が、成立する。
然るに、
(10)
①  ∀x{象x→∃y(鼻yx&長y)&∀z(~鼻zx→~長z)}の「否定」、すなはち、
∀x{象x→∃y(鼻yx&長y)&∀z(~鼻zx→~長z)}を「計算」すると、次(11)の通りである。
(11)
(ⅱ)
1    (1)~∀x{象x→∃y(鼻yx&長y)&∀z(~鼻zx→~長z)}  A
1    (2)∃x~{象x→∃y(鼻yx&長y)&∀z(~鼻zx→~長z)}  1量化子の関係
 3   (3)  ~{象a→∃y(鼻ya&長y)&∀z(~鼻za→~長z)}  A
  4  (4)  ~象a∨{∃y(鼻ya&長y)&∀z(~鼻za→~長z)}  A
  4  (5)    象a→∃y(鼻ya&長y)&∀z(~鼻za→~長z)   4含意の定義
 34  (6)  ~{象a→∃y(鼻ya&長y)&∀z(~鼻za→~長z)}&
           {象a→∃y(鼻ya&長y)&∀z(~鼻za→~長z)}  35&I
 3   (7)~[~象a∨{∃y(鼻ya&長y)&∀z(~鼻za→~長z)}] 46RAA
 3   (8)  象a&~{∃y(鼻ya&長y)&∀z(~鼻za→~長z)}  4ド・モルガンの法則
 3   (9)  象a                             8&E
 3   (ア)     ~{∃y(鼻ya&長y)&∀z(~鼻za→~長z)}  8&E
 3   (イ)     ~∃y(鼻ya&長y)∨~∀z(~鼻za→~長z)   ア、ド・モルガンの法則
  9  (ウ)                 ~∀z(~鼻za→~長z)   A
  9  (エ)                 ∃z~(~鼻za→~長z)   イ量化子の関係
   イ (オ)                   ~(~鼻ba→~長b)   A
   イ (カ)                    ~(鼻ba∨~長b)   オ含意の定義
   イ (キ)                      ~鼻ba&長b    カ、ド・モルガンの法則
   イ (ク)                   ∃z(~鼻za&長z)   キ、EI
  9  (ケ)                   ∃z(~鼻za&長z)   エオキEE
  9  (コ)       ~∃y(鼻ya&長y)∨∃z(~鼻za&長z)   ケ∨I
    サ(サ)       ~∃y(鼻ya&長y)               A
    サ(シ)       ~∃y(鼻ya&長y)∨∃z(~鼻za&長z)   サ∨I
 3   (ス)       ~∃y(鼻ya&長y)∨∃z(~鼻za&長z)   イウコサシ∨E
 3   (セ)        ∃y(鼻ya&長y)→∃z(~鼻za&長z)   ス含意の定義
 3   (ソ)     象a&∃y(鼻ya&長y)→∃z(~鼻za&長z)   9セ&I
 3   (タ)  ∃x{象x&∃y(鼻yx&長y)→∃z(~鼻zx&長z)}  ソEI
1    (チ)  ∃x{象x&∃y(鼻yx&長y)→∃z(~鼻zx&長z)}  23タEE
(ⅲ)
1    (1)  ∃x{象x&∃y(鼻yx&長y)→∃z(~鼻zx&長z)} A
 2   (2)     象a&∃y(鼻ya&長y)→∃z(~鼻za&長z)  A
 2   (3)     象a                         2&E
  4  (4)        ∃y(鼻ya&長y)              A
 24  (5)     象a&∃y(鼻ya&長y)              34&I
 24  (6)                   ∃z(~鼻za&長z)  25MPP
   7 (7)                      ~鼻ba&長b   A
   7 (8)                    ~(鼻ba∨~長b)  7ド・モルガンの法則
   7 (9)                   ~(~象ba→~長b)  8含意の定義
   7 (ア)                 ∃z~(~象za→~長z)  9EI
 24  (イ)                 ∃z~(~象za→~長z)  67アEE
 24  (ウ)                 ~∀z(~象za→~長z)  イ量化子の関係
 2   (エ)      ∃y(鼻ya&長y)→~∀z(~象za→~長z)  4ウCP
 2   (オ)     ~∃y(鼻ya&長y)∨~∀z(~鼻za→~長z)  エ含意の定義
 2   (カ)     ~{∃y(鼻ya&長y)&∀z(~鼻za→~長z)} オ、ド・モルガンの法則
 2   (キ)  象a&~{∃y(鼻ya&長y)&∀z(~鼻za→~長z)} 2カ&I
 2   (ク) ~{~象a∨∃y(鼻ya&長y)&∀z(~鼻za→~長z)} キ、ド・モルガンの法則
 2   (ケ)  ~{象x→∃y(鼻yx&長y)&∀z(~鼻zx→~長z)} ク、含意の定義
 2   (コ)∃x~{象x→∃y(鼻yx&長y)&∀z(~鼻zx→~長z)} ケEI
1    (サ)∃x~{象x→∃y(鼻yx&長y)&∀z(~鼻zx→~長z)} 12コEE
1    (シ)~∀x{象x→∃y(鼻yx&長y)&∀z(~鼻zx→~長z)} サ量化子の関係
従って、
(11)により、
(12)
② ~∀x{象x→∃y(鼻yx&長y)&∀z(~鼻zx→~長z)}
③   ∃x{象x&∃y(鼻yx&長y)→∃z(~鼻zx&  長z)}
に於いて、
②=③ である。
従って、
(10)(12)により、
(13)
二重否定律(DN)」により、
①   ∀x{象x→∃y(鼻yx&長y)&∀z(~鼻zx→~長z)}
~~∀x{象x→∃y(鼻yx&長y)&∀z(~鼻zx→~長z)}
③  ~∃x{象x&∃y(鼻yx&長y)→∃z(~鼻zx&  長z)}
に於いて、
①=②=③ である。
従って、
(13)により、
(14)
①  ∀x{象x→∃y(鼻yx&長y)&∀z(~鼻zx→~長z)}
② ~∃x{象x&∃y(鼻yx&長y)→∃z(~鼻zx&  長z)}
に於いて、すなはち、
① すべてのxについて、xが象であるならば、あるyは、xの鼻であって、長く、すべてのzについて、zがxの鼻でないならば、zは長くない。
② あるxが象であって、あるyがxの鼻であって、yが長いならば、あるzが、xの鼻以外で、長い。といふことはない。
に於いて、
①=② である。
然るに、
(15)
① すべてのxについて、xが象であるならば、あるyは、xの鼻であって、長く、すべてのzについて、zがxの鼻でないならば、zは長くない
② あるxが象であって、あるyがxの鼻であって、yが長いならば、あるzが、xの鼻以外で、長い。といふことはない
といふことは、要するに、
① 象は鼻は長く、鼻以外は長くない
② 象は鼻は長く、鼻以外は長くない
といふ、ことである。
従って、
(09)(15)により、
(16)
① 象は鼻長い。
といふ「日本語」は、
① 象は鼻は長く、鼻以外は長くない
といふ「意味」であって、
② 象は鼻は長く、鼻以外は長くない
といふ「日本語」は、「述語論理」で書くならば、
①  ∀x{象x→∃y(鼻yx&長y)&∀z(~鼻zx→~長z)}。
② ~∃x{象x&∃y(鼻yx&長y)→∃z(~鼻zx&  長z)}。
といふ「意味」である。
然るに、
(17)
日本語で典型な文(センテンス)は「Ⅹは」で始まる題述関係の文です。公式で一括して
 Ⅹハ本ウンヌン
 題目   述部
と書くことできます。題目の提示「Ⅹは」は、だいたい「Ⅹニツイテ言エバ」の心持ちです。上の「Ⅹニツイテ」は中味の予告です。下の「言エバ」は話し手の態度の宣言であり、これが述部の言いきり(文末)と呼応します。
後者、すなわち文末と呼応して一文を完成する仕事が「ハ」の本務です。前者、すなわち中味への関与の仕方は「ハ」の兼務です。「Ⅹハ」には。本務と兼務の両面があることを知り、始終それを念頭に置くことが大切です(三上章、象は鼻が長い、1992年第21版、8頁)。
然るに、
(18)
① ∀x{象x→・・・・・。
① すべてのxについて、xが象であるならば、・・・・・。
といふことは、
① すべての象について、象をxとするならば、・・・・・。
といふことである。
(19)
① すべての象について、象をxとするならば、・・・・・。
といふことは、
象ニツイテ言エバ、・・・・・。
といふ、ことである。
従って、
(17)(18)(19)により、
(20)
題目の提示「Ⅹ」は、だいたい「Ⅹニツイテ言エバ」の心持ちです。
といふ「言ひ方」は、私にも、分からない、わけではない。
然るに、
(21)
題目の提示「Ⅹは」は、だいたい「Ⅹニツイテ言エバ」の心持ちです。上の「Ⅹニツイテ」は中味の予告です。下の「言エバ」は話し手の態度の宣言であり、これが述部の言いきり(文末)と呼応します。後者、すなわち文末と呼応して一文を完成する仕事が「ハ」の本務です。前者、すなわち中味への関与の仕方は「ハ」の兼務です。「Ⅹハ」には。本務と兼務の両面があることを知り、始終それを念頭に置くことが大切です。
といふ場合の、「本務兼務」といふ「言ひ方」は、結局の所、私には、「難しすぎて」、全く理解できない。
(22)
「象」は主語であり、「鼻ながい」全体述語をなしていると、みなすわけにはいかないだろうか。そうだとすれば、「鼻ながい」が連語をなしていて、それを主語と述語にわける必要はない。「述語節」というみ方にも根拠はあるわけである。形態論的にみたら、主格がふたつあっても、文論的には、主語ひとつしかないのである(三上章、象は鼻が長い、1992年第21版、227頁:増補―批判と反批判)。
然るに、
(23)
① 象は動物である=∀x{象x→動物x}。
といふ「命題」に於ける、
① 動物x
に対して、
① 動物x=∃y(鼻yx&長y)&∀z(~鼻zx→~長z)。
といふ「代入(Substitution)」を行へば、
② 象は鼻長い=∀x{象x→∃y(鼻yx&長y)&∀z(~鼻zx→~長z)}。
といふ「命題」になる。
従って、
(23)により、
(24)
① 象は動物である=∀x{象x→動物x}。
② 象は鼻が長い =∀x{象x→∃y(鼻yx&長y)&∀z(~鼻zx→~長z)}。
に於ける、
① 動物である=動物x
② 鼻が長い =∃y(鼻yx&長y)&∀z(~鼻zx→~長z)
に於いて、
① は「述語」であるが、
② は「述語」ではない
といふ風には、「述語論理的」には、言へない
従って、
(22)(23)(24)により、
(25)
「象」は主語であり、「鼻ながい」全体が述語をなしている。
といふ「理解」は、「述語論理的」には、「正しい」。
従って、
(24)(25)により、
(26)
① 象は動物である=∀x{象x→動物x}。
② 象は鼻が長い =∀x{象x→∃y(鼻yx&長y)&∀z(~鼻zx→~長z)}。
に於いて、
① 象 は、「主語」であり、
② 象 も、「主語」である。
といふ主張は、少なくとも、「述語論理的」には、「正しい」。
(27)
① 象は動物である=∀x{象x→動物x}。
② 象は鼻が長い =∀x{象x→∃y(鼻yx&長y)&∀z(~鼻zx→~長z)}。
といふ「日本語」は、「述語論理」としては、両方とも、
③ ∀x(象x→)。
といふ「文型」であって、
③ 象x は「主語」であり、
  は「述語」である。
令和元年12月29日、毛利太。

2019年12月28日土曜日

「レ点」は「不要」である。

(01)
⑤ 使{籍誠不[以〔畜( 子)憂( 寒)〕乱( 心)]有( 財)以済( 薬)}。
⑥ 使{籍誠不[以〔畜(妻子)憂(飢寒)〕乱(良心)]有(銭財)以済(医薬)}。
に於いて、
 使{ }⇒{ }使
 不[ ]⇒[ ]不
 以〔 〕⇒〔 〕以
 畜( )⇒( )畜
 憂( )⇒( )憂
 乱( )⇒( )乱
 有( )⇒( )有
 済( )⇒( )済
といふ「移動」を行ひ、「平仮名」を加へると、
⑤{籍をして誠に[〔( 子を)畜ひ(寒さを)憂ふるを〕以て( 心を)乱さ]不( 財)有りて以て( 薬を)済さ}使む。
⑥{籍をして誠に[〔(妻子を)畜ひ(飢寒を)憂ふるを〕以て(良心を)乱さ]不(銭財)有りて以て(医薬を)済さ}使む。
然るに、
(02)
漢語における語順は、国語と大きく違っているところがある。すなわち、その補足構造における語順は、国語とは全く反対である。しかし、訓読は、国語の語順に置きかえて読むことが、その大きな原則となっている。それでその補足構造によっている文も、返り点によって、国語としての語順が示されている(鈴木直治、中国語と漢文、1975年、296頁)。
従って、
(01)(02)により、
(03)
⑤ 使{籍誠不[以〔畜( 子)憂( 寒)〕乱( 心)]有( 財)以済( 薬)}。
⑥ 使{籍誠不[以〔畜(妻子)憂(飢寒)〕乱(良心)]有(銭財)以済(医薬)}。
に於ける、
⑤{ [ 〔 ( )( ) 〕(  ) ]( )( ) }
⑥{ [ 〔 ( )( ) 〕(  ) ]( )( ) }
といふ「括弧」は、
⑤ 使籍誠不以畜_子憂_寒乱_心有_財以済_薬。
⑥ 使籍誠不以畜妻子憂飢寒乱良心有銭財以済医薬。
といふ「漢文の補足構造」と、
⑤ 籍をして誠に 子を養ひ、寒さを憂ふるを以て 心を乱さず、 財有りて以て 薬を済さ使む。
⑥ 籍をして誠に妻子を養ひ、飢寒を憂ふるを以て良心を乱さず、銭財有りて以て医薬を済さ使む。
といふ「訓読の語順」を、表してゐる。
然るに、
(04)


に於いて、
籍誠 
籍誠      
籍誠 
籍誠      
には、「返り点」が付いてゐない
従って、
(04)により、
(05)
① 籍をして誠に子を養ひ、寒さを憂ふるを以て心を乱さず、財有りて以て薬を済さ使む。
② 籍をして誠に妻を養ひ、、飢えを憂へずを以て、寒い、良を乱さず、、銭有りて、、以て医を済さしむ
③ 籍をして誠に子を養ひ、寒さを憂ふるを以て心を乱さず、財有りて以て薬を済さ使む。
④ 籍をして誠に妻子を養ひ、飢寒を憂ふるを以て良心を乱さず、銭財有りて以て医薬を済さ使む。
といふ風に、「読む」ことになる。
然るに、
(06)
④ 籍をして誠に妻子を養ひ、飢寒を憂ふるを以て良心を乱さず、銭財有りて以て医薬を済さ使む。
といふ「訓読」に対して、
② 籍をして誠に妻を養ひ、、飢えを憂へずを以て、寒い、良を乱さず、、銭有りて、、以て医を済さしむ
といふ「訓読」は、「有り得ない」。
従って、
(03)~(06)により、
(07)
① 使 籍誠不 子 憂一レ 寒 乱上レ 心 有 財 以済甲レ 薬。
③ 使 籍誠不 以済
④ 使 籍誠不 妻子 飢寒 良心 銭財 以済 医薬
⑤ 使{籍誠不[以〔畜( 子)憂( 寒)〕乱( 心)]有( 財)以済( 薬)}。
⑥ 使{籍誠不[以〔畜(妻子)憂(飢寒)〕乱(良心)]有(銭財)以済(医薬)}。
に於いて、
①   は、「訓読の語順」を、表してゐる。
③と④ は、「漢文の補足構造」と「訓読の語順」を、表してゐる。
⑤と⑥ は、「漢文の補足構造」と「訓読の語順」を、表してゐる。
令和元年12月28日、毛利太。

2019年12月26日木曜日

「鏡の中の、上下左右」。

(01)
「チコちゃんに叱られる!(令和元年12月21日、再放送)」でも取り上げられた、「鏡は左右にするが、上下を逆にしないのはなぜか(Why do mirrors reverse left and right, but not top and bottom?)」という疑問は、英語圏に於いても、「FAQ(Frequently Asked Questions)」の「典型」である。
(02)
「コピー用紙」等に、「(油性)ペン」で「AE」と書くと、当然、

といふ風に、見える。
然るに、
(03)
① チコちゃんが言ふやうに、「左右にする」といふのであれば、「AEの文字」は、「鏡の中」では、

といふ風に、見える。
然るに、
(04)
②「コピー用紙」は、「十分に薄い」ため、「明るい方向」に向ければ、
②「表に書かれた文字」を、「裏側から、透かして見る」ことが出来る。
然るに、
(05)
②「AEの文字」を、「裏側から、透かして見る」と、この場合も、

といふ風に、見える。
従って、
(03)(04)(05)により、
(06)
①「鏡」に映ってゐる「∃A」といふ「形(輪郭)」は、
②「AE」と書いた「紙」を、「裏側から、透かして見る」際の「形」に「等しい」。
然るに、
(07)
①「人間」は、「AEといふ文字」が書かれた「Tシャツ」を、着ることが出来る
従って、
(06)(07)により、
(08)
①「鏡」に映ってゐる「文字」だけでなく、
①「鏡」に映ってゐる「人間」の場合も、「形(輪郭)」に関しては、
②「背中裏側)」を見せてゐるときの、「形(輪郭)」に「等しい」。
従って、
(08)により、
(09)
①「鏡の中の文字」と、
①「鏡の中の人間」は、「両方」とも、
①「表面」は、「こちら」を向いてゐて、
②「輪郭」は、「あちら」を向いてゐる。
従って、
(09)により、
(10)
①「鏡の中の人間」は、
①「表面」に関しては、「回れ右」をして、 「こちらを向いてゐる」にも拘らず、
②「輪郭」に関しては、「回れ右」をせずに、「あちらを向いてゐる」。
従って、
(09)(10)により、
(11)
①「鏡のの人間」と、
②「鏡のの人間」を、「混同」すると、
①「鏡は左右を逆にするが、上下を逆にしないのはなぜか」という疑問が、生じることになる。
然るに、
(12)
「紙の面やTシャツの表」は、「次元」であるが、
「人間」は「次元(上下・左右・前後)」である。
然るに、
(02)~(11)により、
(13)
「以上の説明」と、「次元・次元の話」は、「関係」が無い
従って、
(13)により、
(14)
「鏡を正面から見たときに手前逆転し、左右や上下はそのまま映す。」といふ「説明」を、されたとしても、
「鏡は左右を逆にするが、上下を逆にしないのはなぜか」という疑問が、無くなるわけではない。
令和元年12月26日、毛利太。

2019年12月25日水曜日

「吸収律(law of absorption)」の「意味」。

(01)
(ⅰ)
1  (1) P&(Q∨R)    A
1  (2) P          1&E
1  (3)    Q∨R     1&E
 4 (4)    Q       A
14 (5) P&Q        24&I
14 (6)(P&Q)∨(P&R) 5∨I
  7(7)      R     A
1 7(8)       P&R  27&I
1 7(9)(P&Q)∨(P&R) 8∨I
1  (ア)(P&Q)∨(P&R) 34679∨E
(ⅱ)
1  (1)(P&Q)∨(P&R) A
 2 (2)(P&Q)       A
 2 (3) P          2&E
 2 (4)   Q        2&E
 2 (5)    Q∨R     4∨I
 2 (6) P&(Q∨R)    35&I
  7(7)      (P&R) A
  7(8)       P    7&E
  7(9)         R  7&E
  7(ア)       Q∨R  9∨I
  7(イ) P&(Q∨R)    8ア&I
1  (ウ) P&(Q∨R)    1267イVE
従って、
(01)により、
(02)
① P&(R∨Q)
②(P& R)∨(P&Q)
に於いて、
①=② である。
cf.
分配の法則(Law of distribution)」といふ。
従って、
(02)により、
(03)
① P&(R∨Q)
②(P& R)∨(P&Q)
に於いて、
R=P
といふ「代入」を行ふと、
① P&(P∨Q)
②(P& P)∨(P&Q)
に於いて、
①=② である。
然るに、
(04)
②(P&P)は、Pに、等しい。
cf.
冪等律(idempotent law)」といふ。
従って、
(03)(04)により、
(05)
① P&(P∨Q)
② P∨(P&Q)
に於いて、
①=② である。
然るに、
(06)
(ⅱ)
1  (1)P∨(P&Q) A
 2 (2)P       A
  3(3)   P&Q  A
  3(4)   P    3&E
1  (5)P       12234∨E
(ⅲ)
1  (1)P       A
1  (2)P∨(P&Q) 1∨I
従って、
(06)により、
(07)
② P∨(P&Q)
③ P
に於いて、
②=③ である。
従って、
(05)(06)(07)により、
(08)
① P&(P∨Q)
② P∨(P&Q)
③ P
に於いて、
①=②=③ である。
従って、
(08)により、
(09)
① P⇔P&(P∨Q)
② P⇔P∨(P&Q)
である。
cf.
吸収律吸収法則(law of absorption)」といふ。
然るに、
(10)
① P⇔P&(P∨Q)
② P⇔P∨(P&Q)
に於いて、
① 真⇔真&(真∨Q)
② 真⇔真∨(真&Q)
であるならば、「⇔の働き」により、「Qの真偽に拘らず
① 真⇔真&(真∨Q)
② 真⇔真∨(真&Q)
は、「真」である。
従って、
(10)により、
(11)
① P⇔P&(P∨Q)
② P⇔P∨(P&Q)
といふことは、
① Pであるならば、Qであらうとなからうと、いづれにせよ、Pである
② Pであるならば、Qであらうとなからうと、いづれにせよ、Pである
といふ、「意味」である。
然るに、
(12)
① P⇔P&(P∨Q)
② P⇔P∨(P&Q)
に於いて、
① 偽⇔偽&(偽∨Q)
② 偽⇔偽∨(偽&Q)
であるならば、「⇔の働き」により、「Qの真偽」に拘らず
① 偽⇔偽&(偽∨Q)
② 偽⇔偽∨(偽&Q)
は、「真」である。
従って、
(12)により、
(13)
① P⇔P&(P∨Q)
② P⇔P∨(P&Q)
といふことは、
① Pでないならば、Qであらうとなからうと、いづれにせよ、Pでない
② Pでないならば、Qであらうとなからうと、いづれにせよ、Pでない
といふ、「意味」である。
従って、
(11)(13)により、
(14)
① P⇔P&(P∨Q)
② P⇔P∨(P&Q)
といふ「吸収法則」とは、両方とも、
① Pであるならば、Qであらうとなからうと、いづれにせよ、Pである
② Pでないならば、Qであらうとなからうと、いづれにせよ、Pでない
といふ、「極めて当然な、主張」である。
然るに、
(15)
ブリタニカ国際大百科事典 小項目事典の解説
吸収法則
きゅうしゅうほうそく
law of absorption
吸収律ともいう。集合の演算 ∪ (結び) および ∩ (交わり) について,次の法則が成り立つ。
A=A∪(A∩B),A=A∩(A∪B)
これを吸収法則という。一般に,∪ ,∩ を束演算とするとき,この法則が成り立つ。集合演算の場合は,その特別の場合で,集合束がブール束になっている。
従って、
(14)(15)により、
(16)
① A=A∩(A∪B)
② A=A∪(A∩B)
は、「集合」の「吸収律」であっても、
① Aであるならば、Bであらうとなからうと、いづれにせよ、Aである。
② Aでないならば、Bであらうとなからうと、いづれにせよ、Aでない。
といふ、「極めて当然な、主張」である。
と、思はれるものの、私には、その返のところが、分からない。
令和元年12月25日、毛利太。

2019年12月24日火曜日

「吸収律」と「選言導入の規則」。

(01)
(ⅰ)
1(1)P       A
1(2)P∨Q     1∨I
1(3)P&(P∨Q) 12&I
(ⅱ)
1(1)P&(P∨Q) A
1(2)P       1&E
従って、
(01)により、
(02)
① P
② P&(P∨Q)
に於いて、
①=② である。
cf.
「消去律・吸収律・簡約律」といふ。
従って、
(01)(02)により、
(03)
① P
② P&(P∨
③ P&(P∨
に於いて、
①=②=③ である。
従って、
(01)(02)(03)により、
(04)
(ⅰ)
1(1)P   A
1(2)P∨Q 1∨I
といふ「計算」に於いて、
1(1)Pは、必ず「」であるが、
1(2)  Qは、「真」である「必要」はなく、
1(〃)  Qは、「」であっても、かまわない
然るに、
(05)
1(2)  Qは、「真」である「必要」はなく、
1(〃)  Qは、「」であっても、かまわない
といふことは、
1(2)  Qの「真偽」は、分からない
といふ、ことである。
従って、
(01)(05)により、
(06)
1(1)P   A
1(2)P∨Q 1∨I
といふ「計算」は、
(1)Pである。 従って、
(2)Pであるが、Qであるかどうかは、分からない
といふ「意味」になる。
従って、
(07)
1(1)P   A
1(2)P∨Q 1∨I
といふ「計算」は、
(1)Pである。 従って、
(2)Pであるか、または、Qである。
といふ「意味」ではない
従って、
(06)(07)により、
(08)
1(1)P   A
1(2)P∨Q 1∨I
に於いて、
P=彼女は背が高い。
Q=彼女は美人である。
であるならば、
(2)彼女は背が高いが、美人であるかどうかは、分からない
といふ「意味」ではあって、
(2)彼女は背が高いか、または、美人である。
といふ「意味」ではない
然るに、
(09)
この規則は、推論の中で意識されることがおおよそないといえます。「彼女は背が高い」という主張をPとしましょう。すると、このPから「彼女は背が高い または 彼女は美人だ」が導けます。この場合、主張Qは「彼女は美人だ」に対応しています。しかし、「彼女は背が高い」がわかっているのに、わざわざ、「彼女は背が高い または 彼女は美人だ」とつなげる場面は普通の会話ではあまりないでしょう。数学の証明でも、これが使われる場面はほとんど見かけないような気がします(小島寛之、証明と論理に強くなる、2017年、156頁)。
従って、
(08)(09)により、
(10)
 この規則(選言導入)を、
「彼女は背が高い または 彼女は美人だ」と理解するのは、「マチガイ」であって、
「彼女は背が高い しかし 美人かどうかは、分からない」とするのが、「正しい」。
然るに、
(11)
1(1)P   A
1(2)P∨Q 1∨I
ではなく
1(1)P∨Q A
に於いて、
P=彼女は背が高い。
Q=彼女は美人である。
であるならば、当然、
「彼女は背が高い または 彼女は美人だ」とするのが、「正しく」、
「彼女は背が高い しかし 美人かどうかは、分からない」とするのは、「マチガイ」である。
従って、
(10)(11)により、
(12)
1(2)P∨Q 1∨I(選言導入
1(1)P∨Q A(仮定)
といふ「二種類の、P∨Q」を、「混同」してはならないものの、寡聞にして、「そのやうに書いてある、教科書」を、私は知らない。
令和元年12月24日、毛利太。

2019年12月23日月曜日

「鏡の中の、上下左右」。

(01)

(マイクロソフト、ワード2019のアイコン)
を見ると、
①「父子」は、「を向いてゐる」のかも知れないし、
②「母子」は、「を向けてゐる」のかもしれない。
然るに、
(02)
①「父子」が、「を向いてゐる」のであれば、「子供」は「父親の側にゐる」し、
②「母子」が、「を向いてゐる」のであれば、「子供」は「母親の側にゐる」。
然るに、
(03)
①「鏡に正対」してゐるとき、「鏡の中」の「自分の姿」は、「表面」に関しては、
①「を向いてゐる」際の、「それ」に「等しい」。
然るに、
(04)
②「鏡に正対」してゐるとき、「鏡の中」の「自分の姿」は、「シルエット」に関しては、
②「鏡の外」で、「背中の側)」を見てゐる際の、「シルエット」に「等しい」。
従って、
(01)~(04)により、
(05)
①「鏡の中」の「自分の姿」は、「(表面は)を向きつつ」も、同時に
②「鏡の中」の「自分の姿」は、「(シルエットは)を向いてゐる」。
従って、
(05)により、
(06)
「このこと」を、「理解」してゐないのであれば、その場合は、
③「鏡は左右を逆にするが、上下を逆にしないのはなぜか(Why do mirrors reverse left and right, but not top and bottom?)。」
といふ「疑問」が、生じることになる。
然るに、
(07)
②「コピー用紙」は、「十分に薄い」ため、
②「コピー用紙」は、「明るい方向」に向ければ、「に書かれた文字」を、「裏側から、透かして見る」ことが出来る。
然るに、
(08)
①「コピー用紙」は、「鏡に映る」ため、
①「コピー用紙」は、「」に向けると、「に書かれた文字」を、「裏返しのままで、見る」ことが出来る。
然るに、
(09)
②「A」と書かれた「コピー用紙」を、「裏側から、透かして見る」と、「A」に見える。
①「A」と書かれた「コピー用紙」を、「鏡に映して、見る」と、   「A」に見える。
従って、
(07)(08)(09)により、
(10)
①「に映ってゐる、文字の形」は、
②「裏側から透かして見てゐる、文字の形」に、「等しい」。
従って、
(10)により、
(11)
①「に映ってゐる、人の形」も、「シルエット」に関しては、
②「裏側(背中)を向けてゐる、人の形」に、「等しい」。
従って、
(11)により、
(12)


であっても、
①「鏡ので、こちらを向いてゐる、人の形(シルエット)」は、
②「鏡ので、裏側(背中)を向けてゐる、人の形(シルエット)」に、「等しい」。
令和元年12月23日、毛利太。

2019年12月22日日曜日

「鏡の中の上下左右」。

(01)
昨日の「チコちゃんに叱られる!(平成30年10月20、令和元年12月21日)」で取り上げられた、「鏡は左右を逆にするが、上下を逆にしないのはなぜか(Why do mirrors reverse left and right, but not top and bottom?)」という疑問は、英語圏に於いても、「FAQ(Frequently Asked Questions)」の「典型」です。
(02)
①「AE」と描かれた「Tシャツ」を着た「ある人物」が、あなたに対して、「背中」を向けてゐて、
①「その人物」が、あなたの方を、「振り向いた」とします。
然るに、
(03)
①「その人物」が、あなたの方に、「振り向いた」のであれば、「その人物」は、
①「回れ右」をして、「振り向いた」か、
②「逆立ち」をして、「振り向いた」かの、どちらかです。
然るに、
(04)
①「回れ右」をして、「振り向いた」のであれば、「Tシャツ」の「AE」は、[AE]に見えます。
②「逆立ち」をして、「振り向いた」のであれば、「Tシャツ」の「AE」は、[]に見えます。
然るに、
(05)
③ あなた自身が、「AE」と描かれた「Tシャツ」を着て、「鏡の前」に立つならば、「鏡の中」で、「AE」は、[]に見えます。
従って、
(02)~(05)により、
(06)
①[]:鏡の外で、「回れ右」で、振り向く。
②[]:鏡の外で、「逆立ち」で、振り向く。
③[]:鏡の中。
に於いて、
①と③ であれば、「左右が逆で、上下が等しい」。
②と③ であれば、「上下が逆で、左右が等しい」。
従って、
(06)により、
(07)
①「鏡は左右を逆にするが、上下を逆にしないのはなぜか(Why do mirrors reverse left and right, but not top and bottom?)」
といふ「疑問」は、飽く迄も、
①[AE]:鏡の外で、「回れ右」をする、ならば、さうである。
といふことに、過ぎない。
従って、
(06)(07)により、
(08)
①[]:鏡の外では、「回れ右」で、振り向く、ことはなく、
②[]:鏡の外では、「逆立ち」で、振り向く、とするならば、
②「鏡は上下を逆にするが、左右を逆にしないのはなぜか(Why do mirrors reverse top and bottom, but not left and right?)」
といふ「疑問」が、生じることになる。
従って、
(07)(08)により、
(09)
①「鏡は左右を逆にするが、上下を逆にしないのはなぜか(Why do mirrors reverse left and right, but not top and bottom?)」
といふ「疑問」が生じる「所以」は、ただ単に、
①[AE]:鏡の外では、「回れ右」をするが、
②[]:鏡の外では、「逆立ち」はしない
といふ風に、「決め付けてゐる」からである。
令和元年12月22日、毛利太。

2019年12月21日土曜日

「鏡は左右を逆にするが、上下を逆にしないのはなぜか(チコちゃんに叱られる!)」

(01)
 NHK 総合テレビで土曜日午前 8 時 15 分から 45 分間放映されている番組『チコちゃんに叱られる!』が、2018年10月20 日の放映(2019年12月21日、再放送)で、チコちゃんの質問の一つに、人類が悩み続けてきた難問「鏡の謎」を取り上げた。「鏡は左右を逆にするが、上下を逆にしないのはなぜか」という疑問である。答えは「分からない」だった(Ted's Coffeehouse 2)。
(02)
「クリアホルダー」に「油性ペン」で、「AE」と書いてみる。
(03)
「クリアホルダー」や「油性ペン」がなければ、
「コピー用紙」のやうな「薄い紙」に、「鉛筆」で、「AE」と書いてみる。
然るに、
(04)
①「AE」と書かれた「面」を、「裏返し」にするには、「人間」で譬へると、
②「回れ右」による「裏返し」と、
③「逆立ち」による「裏返し」による、「2種類」がある。
然るに、
(05)
①「コピー用紙」は、「裏返し」の状態であっても、「明るい方向」に向ければ、「表の側が、透けて見える」ため、
②「回れ右」による「裏返し」をすれば、「AE」は、[∃A(左右が逆)]に見える。
然るに、
(06)
①「コピー用紙」は、「鏡に映る」ため、
②「回れ右」による「裏返し」をした上で、「鏡に向ける」と、「AE」は、[∃A(左右が逆)]に見える。
従って、
(05)(06)により、
(07)
②「鏡の中」の[∃A(AEとは、左右が逆)]は、「形」としては、「コピー用紙」を、「裏側から、透かして見てゐる状態」に「等しい」。
従って、
(07)により、
(08)
①「鏡に正対」してゐるとき、「鏡の中」の「自分の姿」は、「シルエット」に関しては、
②「裏側(背中の側)」から見てゐる際の、「シルエット」に「等しい」。
従って、
(09)
「鏡の中の自分」は、「こちらを向いてゐる」にも拘らず、「シルエット」に関しては、
背中の側(裏側)」を向けてゐる。といふ、ことになる。
然るに、
(10)
①「背中」を向けてゐる人物が、「こちらを向く」際は、
②「回れ右」をして「こちらを向く」場合が、「ほとんど100%」である。
従って、
(11)
①「背中」を向けてゐる人物が、「こちらを向く」際には、
③「逆立ち」をして「こちらを向く」場合は、「ほとんど、有り得ない」。
従って、
(09)(10)(11)により、
(12)
①「鏡の中の自分」は、
②「回れ右」をして「こちらを向いた」にも拘らず、
③「背中の側」を向けてゐる。
然るに、
(13)
③「背中の側を向けてゐる
といふことは、
②「回れ右をしてゐない
といふことに、他ならない。
従って、
(12)(13)により、
(14)
①「鏡の中の自分」は、
②「回れ右」をして「こちらを向い」た、にも拘らず、
③「回れ右」をしてゐない
といふことになり、それ故、「鏡は左右を逆にするが、上下を逆にしないのはなぜか(チコちゃんに叱られる!)」
といふ、「疑問」が生まれることになる。
然るに、
(15)
①「背中」を向けてゐる人物が、「こちらを向く」際に、逆に、
②「回れ右」をして「こちらを向く」場合が、「  0%」であって、
③「逆立ち」をして「こちらを向く」場合が、「100%」である。とする。
然るに、
(16)
③「AE」と書かれた「Tシャツ」を着た人物が、
③「逆立ち」をして「こちらを向く」のであれば、その際の、
③「AE」は、[]に、「見えなければならない」。
然るに、
(17)
①「A
②[
③[∃
に於いて、
①と② であれば、「左右が逆で、上下が等しい」。
③と② であれば、「上下が逆で、左右が等しい」。
従って、
(15)(16)(17)により、
(18)
①「背中」を向けてゐる人物が、「こちらを向く」際に、
③「逆立ち」をして「こちらを向く」場合が、「100%」である。とするならば、
①「鏡の中の自分」は、
③「逆立ち」をして「こちらを向い」た、にも拘らず、
③「逆立ち」をしてゐない
といふことになり、それ故、「鏡は上下を逆にするが、左右を逆にしないのはなぜか(チコちゃんに叱られない!)」
といふ、「疑問」が生まれることになる。
従って、
(01)~(18)により、
(19)
「鏡は左右を逆にするが、上下を逆にしないのはなぜか」 といふ「疑問」に対して、
「鏡は上下を逆にするが、左右を逆にしないのはなぜか」といふ「疑問」が生じない。のは「何故か」といふと、
①「背中」を向けてゐる人物が、「こちらを向く」際は、
②「回れ右」をして「こちらを向く」場合が、「ほとんど100%」だからである。
といふ、ことになる。
令和元年12月21日、毛利太。

2019年12月20日金曜日

「排中律」は「正しく」はない!?

(01)
1(1)P     A
1(2)P∨Q   1∨I(選言導入)
 (3)P→P∨Q 12CP
然るに、
(02)
1(1)P     A
 (3)P→P∨Q 12CP
に於いて、「(1)の仮定の数」は「1個」であって、
     「(3)の仮定の数」は「0個」である。
(03)
1 (1)  ~P         A
1 (2)  ~P∨~Q      1∨I(選言導入)
  (3)  ~P→~P∨~Q   12CP
  4(4) ~~P&~~Q     A
 4(5)~(~P∨~Q)     4ド・モルガンの法則
 4(6) ~~P         35MTT
  (7) ~~P&~~Q→~~P 46CP
  (8)   P&  Q→  P 7DN
然るに、
(04)
1 (1)~P     A
  (8) P&Q→P 7DN
に於いて、「(1)の仮定の数」は「1個」であって、
     「(8)の仮定の数」は「0個」である。
(05)
1 (1) ~(P∨~P)  A
 2(2)   P      A
 2(3)   P∨~P   2∨I(選言導入)
12(4) ~(P∨~P)&
       (P∨~P)  23&I
1 (5)  ~P      A
1 (6)   P∨~P   5∨
1 (7) ~(P∨~P)&
       (P∨~P)  16&I
  (8)~~(P∨~P)  17RAA
  (9)   P∨~P   8DN
然るに、
(06)
1 (1) ~(P∨~P)  A
  (9)   P∨~P   8DN
に於いて、「(1)の仮定の数」は「1個」であって、
     「(9)の仮定の数」は「0個」である。
然るに、
(07)
定理(theorem)とは、仮定(assumptions)の数がゼロ個の証明可能な連式の結論である。
(E.J.レモン、竹尾治一郎・浅野楢英 訳、論理学入門、65頁改)
従って、
(01)~(07)により、
(08)
① P→P∨Q≡Pであるならば、PかQである。 
② P&Q→P≡PであってQであるならば、Pである。
③ P∨~P ≡Pであるか、Pでない。
といふ「論理式」、すなはち、
① 付加律
② 単純化律
排中律
は、三つとも、「定理(theorem)」である。
然るに、
(09)
① 付加律
すなはち、
① P→P∨Q≡Pであるならば、PかQである。 
は、「ヒルベルト・アッカーマンの、公理2」である。
従って、
(08)(09)により、
(10)
① P→P∨Q≡Pであるならば、PかQである。 
② P&Q→P≡PであってQであるならば、Pである。
③ P∨~P ≡Pであるか、Pでない。
といふ「論理式」は、3つとも、「公理(axiom)」であるとしても、「不自然」ではない。
然るに、
(11)
(1)Pならば、PかQである。 然るに、
(2)Pである。        従って、
(3)      PかQである。
といふ「推論」は、明らかに、「妥当」である。
然るに、
(12)
(2)Pである。        従って、
(3)      PかQである。
といふのであれば、いづれにせよ
(2)Pである
従って、
(12)により、
(13)
(2)Pである。        従って、
(3)      PかQである。
といふのであれば、「正しく」は、
(2)Pであるが、
(3)Qであるどうかは、分からない
といふ。ことになる。
従って、
(01)~(13)により、
(14)
1(1)P   A
1(2)P∨Q 1∨I(選言導入)
といふ「計算」は、
(1)Pであるが、
(2)Qであるどうかは、分からない
といふ、ことであり、
1(1)~P    A
1(2)~P∨~Q 1∨I(選言導入)
といふ「計算」は、
(1)Pでないが、
(2)Qでないかどうかは、分からない
といふ、ことであり、
2(2)P    A
2(3)P∨~P 2∨I(選言導入)
といふ「計算」は、
(2)Pであるが、
(3)Pでないどうかは、分からない
といふ、ことである。
然るに、
(15)
Pであるが、Qであるかどうかは、分からない
Pでないが、Qでないかどうかは、分からない
であれば、二つとも、「正常」であるが、
Pであるが、Pでないかどうかは、分からない
の場合は、
Pである。と「断定」してゐながら、そのことを「否定」してゐる。
といふ点に於いて、明らかに、「異常」である。
従って、
(01)(03)(05)(14)(15)により、
(16)
① P→P∨Q≡Pであるならば、PかQである。 
② P&Q→P≡PであってQであるならば、Pである。
③ P∨~P ≡Pであるか、Pでない。
といふ「定理」の「証明」に於いて、
① には「問題」はなく、
② にも「問題」はないものの、
③ には「問題」がある
従って、
(10)(16)により、
(17)
① P→P∨Q≡Pであるならば、PかQである。 
② P&Q→P≡PであってQであるならば、Pである。
③ P∨~P ≡Pであるか、Pでない。
といふ「論理式」は、すなはち、
① 付加律
② 単純化律
排中律
といふ「法則」は、3つとも、「公理(axiom)」であるとしても、「不自然」ではない。
とは言ふものの、実際には、
③ に関しては、「計算の過程」で、
Pであるが、Pでないかどうかは、分からない
としているため、あるいは、「公理(axiom)」であるとしては、ならないのかも、知れない
然るに、
(18)
④ ~(~P&P)≡~~P∨~P≡P∨~P
は、「ド・モルガンの法則」であって、
④ ~(~P&P)
は、「矛盾律」である。
従って、
(19)
③       P∨~P ≡Pであるか、Pでない。
④ ~(~P&  P)≡Pでなくて、Pである。といふことはない。
に於いて、
③「矛盾律」を「否定」することは、
④ Pではないが、Pである。といふこともある
といふことを、「肯定」することに、「等しい」。
従って、
(20)
④ Pではないが、Pである。といふこともある
といふことは、ない
とするならば、
③ Pであるか、Pでない。
といふ「排中律も、認めざるを、得ない
令和元年12月20日、毛利太。

2019年12月19日木曜日

「選言導入の推論規則」。

(01)
Pが真である場合には「PQ」は必ず真になり、Qが真である場合には「QP」は必ず真になります。これは「選言導入」と呼ばれる推論規則です(WIIS)。
然るに、
(02)
① Pならば、PQである。 然るに、
② Pである。        従って、
③      PQである。
といふ「推論」は、明らかに、「妥当」である。
然るに、
(03)
② Pである。        従って、
③      PかQである。
といふのであれば、いづれにせよ、
Pである
従って、
(04)
② Pである。        従って、
③      PかQである。
といふのであれば、「正しく」は、
Pであるが
③ Qであるかどうかは、分からない
といふ。ことになる。
従って、
(05)
② 彼女は背が高い。従って、
③ 彼女は背が高い、美人である。
といふ「言ひ方」は、「正しく」は、
③ 彼女は背は高いが、美人であるかどうかは、分からない
といふ、ことになる。
然るに、
(06)
この規則は、推論の中で意識されることがおおよそないといえます。「彼女は背が高い」という主張をPとしましょう。すると、このPから「彼女は背が高い または 彼女は美人だ」が導けます。この場合、主張Qは「彼女は美人だ」に対応しています。しかし、「彼女は背が高い」がわかっているのに、わざわざ、「彼女は背が高い または 彼女は美人だ」とつなげる場面は普通の会話ではあまりないでしょう。数学の証明でも、これが使われる場面はほとんど見かけないような気がします(小島寛之、証明と論理に強くなる、2017年、156頁)。
従って、
(01)(05)(06)により、
(07)
 この規則(選言導入)を、
「彼女は背が高い または 彼女は美人だ」と理解するのは、「マチガイ」であって、
「彼女は背が高い しかし 美人かどうかは、分からない」とするのが、「正しい」。
従って、
(08)
1(1)P     A
1(2)P∨Q   1∨I(選言導入
 (3)P→P∨Q       12CP
 (〃)Pならば、PかQである。12CP
といふ、「公理(axiom)」に於ける、
1(2)P∨Q   1∨I(選言導入
といふ「それ」は、
1により(2)Pであるが、Qかどうか分からない。 1選言導入
といふ「意味」である。
令和元年12月19日、毛利太。

2019年12月18日水曜日

「括弧」と「返り点」。

(01)
(02)
① 告げざる可からず。
② 我、鳥の樹に啼くを聞く。
③ 鳥獣は、我、之(これ)と与(とも)に群れを同じくする可からず。
④ 外人の為に道(い)ふに足らざるなり。
⑤ 耕す者、以て益々、急ならざる可からず。
⑥ 己に如かざる者を友とする無かれ。
⑦ 当世の士大夫、劉老人有るを知らざる者無し。
⑧ 聖人の知れざる所、未だ必ずしも、愚人の知る所と為さずんばあらざるなり。
⑨ 曽子の母、子の人を殺さざるを知らざるに非ざるなり。
⑩ 籍をして誠に子を養ひ、寒さを憂ふるを以て心を乱さず、財有りて以て薬を済さ使む。
⑪ 之を取らんと欲す。
⑫ 之を取‐捨せんと欲す。
cf.

  」が塗られた「漢字」には、「返り点」が付いてゐない
⑦「上 中 下」ではあるが、「上 」であって、「上 」ではない。
⑧「未=未だ・・・・・ず。」は、「再読文字」である。
⑩ 使籍誠不以畜 子憂 寒乱心有 財以済 薬。の場合は、
⑩ 使籍誠不以蓄妻子憂饑寒亂心有錢財以濟醫藥(韓愈)。が「原文」である。
⑫ 「取‐捨」は、「一語(熟語)」である。
従って、
(01)(02)により、
(03)
① レ レ レ
② 二 一レ
③ レ 二 レ 一レ
④ レ 下 二 一 上
⑤ レ 三 二 一
⑥ レ 二 レ レ 一
⑦ 下 レ レ 二 一レ 上
⑧ レ レ 二 一レ 二 一レ
⑨ レ レ 二 一レ レ
⑩ 乙 下 二 レ 一レ 上レ レ 甲レ
⑪ レ レ
⑫ レ 二- 一
といふ「返り点」が表す「訓読の順番」は、
① 四 三 二 一
② 三 二 一
③ 丁 丙 二 一 乙 甲
④ 下 中 二 一 上
⑤ 四 三 二 一
⑥ 下 中 三 二 一 上
⑦ 下 四 三 二 一 上
⑧ 三 二 一 五 四 三 二 一
⑨ 六 五 四 三 二 一
⑩ 人 丙 下 二 一 中 上 乙 甲 二 一 地 天
⑪ 三 二 一
⑫ 三 二- 一
といふ「返り点」が表す「訓読の順番」に「等しい」。
然るに、
(04)
① 四[三〔二(一)〕]
② 三〔二(一)〕
③ 丁[丙〔二(一)乙(甲)〕]
④ 下[中〔二(一)上〕]
⑤ 四[三〔二(一)〕]
⑥ 下{中[三〔二(一)〕上]}
⑦ 下{四[三〔二(一)〕]上}
⑧ 三〔二(一)〕五{四[三〔二(一)〕]}
⑨ 六〈五{四[三〔二(一)〕]}〉
⑩ 人{丙[下〔二(一)中(上)〕乙(甲)]二(一)地(天)}
⑪ 三〔二(一)〕
⑫ 三〔二-(一)〕
に於いて、
□( )⇒( )□
□〔 〕⇒〔 〕□
□[ ]⇒[ ]□
□{ }⇒( )□
といふ「移動」を行ふと、
① [〔(一)二〕三]四
② 〔(一)二〕三
③ [〔(一)二(甲)乙〕丙]丁
④ [〔(一)二上〕中]下
⑤ [〔(一)二〕三]四
⑥ {[〔(一)二〕三上]中}下
⑦ {[〔(一)二〕三]四上}下
⑧ 〔(一)二〕三{[〔(一)二〕三]四}五
⑨ 〈{[〔(一)二〕三]四}五〉六
⑩ {[〔(一)二(上)中〕下(甲)乙]丙(一)二(天)地}人
⑪ 〔(一)二〕三
⑫ 〔(一)二-〕三
従って、
(01)(02)(04)により、
(05)
① 不[可〔不(告)〕]。
② 我聞〔鳥啼(樹)〕。
③ 鳥獣吾不[可〔与(之)同(群)〕]。
④ 不[足〔為(外人)道〕]也。
⑤ 耕者不[可〔以不(益急)〕]矣。
⑥ 無{友[不〔如(己)〕者]}。
⑦ 当世士大夫無{不[知〔有(劉老人)〕]者}。
⑧ 聖人所〔不(知)〕、未{必不[為〔愚人所(知)〕]}也。
⑨ 曽子之母非〈不{知[子不〔殺(人)〕]}〉也。
⑩ 使{籍誠不[以〔畜(子)憂(寒)〕乱(心)]有(財)以済(薬)}。
⑪ 欲〔取(之)〕。
⑫ 欲取‐捨之。
に於いて、
□( )⇒( )□
□〔 〕⇒〔 〕□
□[ ]⇒[ ]□
□{ }⇒( )□
□〈 〉⇒〈 〉□
といふ「移動」を行ひ、「平仮名」を加へると、
①[〔(告げ)不る〕可から]不。
② 我〔鳥の(樹に)啼くを〕聞く。
③ 鳥獣は吾[〔(之と)与に(群を)同じうする〕可から]不。
④[〔(外人の)為に道ふに〕足ら]不る也。
⑤ 耕す者[〔以て(益々急なら)不る〕可から]不矣。
⑥{[〔(己に)如か〕不る者を]友とする}無かれ。
⑦ 当世士大夫[〔(劉老人)有るを〕知ら]不る者}無し。
⑧ 聖人の〔(知ら)不る〕所、未だ{必ずしも[〔愚人の(知る)所と〕為さ]不んば}あら不る也。
⑨ 曽子の母〈{[子の〔(人を)殺さ〕不るを]知ら}不るに〉非ざる也。
⑩{籍をして誠に[〔(子を)畜ひ(寒さを)憂ふるを〕以て(心を)乱さ]不(財)有りて以て(薬を)済さ}使む。
⑪〔(之を)取らんと〕欲す。
⑫〔(之を)取‐捨せんと〕欲す。
といふ「漢文訓読」が、成立する。
従って、
(01)~(05)により、
(06)
「(レ点を含む)返り点」は、
「(レ点を除いた)返り点」を介して、
〈{[〔( )]}〉に、「置き換へ」ことが出来る。
従って、
(06)により、
(07)
〈{[〔( )]}〉も、「一種の返り点」であり、そのため、ネット上にある『返り点が付いてゐない、横書きの、白文』に対して、「返り点」を加へる際には、〈{[〔( )]}〉を用ひれば、「十分」である。
然るに、
(08)
現行の返り点」は、飽く迄も、
(Ⅰ)レ
(Ⅱ)一レ 上レ 甲レ 天レ
(Ⅲ)一 二 三 四 五 六 七 八 九 十 ・・・・・・・
(Ⅳ)上 中 下
(Ⅴ)甲 乙 丙 丁 戊 己 庚 辛 壬 癸
(Ⅵ)天 地 人
であって、〈{[〔( )]}〉ではないため、特に、受験を控へた中高生は、「(レ点を含む、現行の)返り点」を、無視するわけには行かない。
然るに、
(09)
「(レ点を含む)返り点」ではなく、
「(レ点を除いた)返り点」で言へば、

であれば、ただ単に、
(Ⅲ)一 二 三 四 五 六 七 八 九 十 ・・・・・・・
に従って、「下から上へ、返ってゐる」だけである。
(10)
「(レ点を含む)返り点」ではなく、
「(レ点を除いた)返り点」で言へば、

であるため、
(Ⅲ)一 二 三 四 五 六 七 八 九 十 ・・・・・・・
(Ⅳ)上 中 下
(Ⅴ)甲 乙 丙 丁 戊 己 庚 辛 壬 癸
(Ⅵ)天 地 人
に於いて、
(Ⅳ)上 中 下
(Ⅴ)甲 乙 丙 丁 戊 己 庚 辛 壬 癸
に関しては、
(Ⅳ)上 中 下 □ の、
(〃)      □ が、不足する場合は、「順番」を変へて
(Ⅴ)甲 乙 丙 丁 戊 己 庚 辛 壬 癸
(Ⅳ)上 中 下
といふ「順番」になることになる。⇒
然るに、
(11)
(Ⅳ)上 中 下 □ の、
(〃)      □ が、不足する場合は、「極めてまれ」であり、そのため、
(Ⅲ)一 二 三 四 五 六 七 八 九 十 ・・・・・・・
(Ⅳ)上 中 下
(Ⅴ)甲 乙 丙 丁 戊 己 庚 辛 壬 癸
(Ⅵ)天 地 人
に於いては、実質的に、
(Ⅲ)「一二点」を挟んで、「下から上へ、返る」場合には、
(Ⅳ)「上下点」を用ひ、
(Ⅳ)「上下点」を挟んで、「下から上へ、返る」場合には、
(Ⅴ)「甲乙点」を用ひ、
(Ⅴ)「甲乙点」を挟んで、「下から上へ、返る」場合には、
(Ⅵ)「天地点」を用ひる。
といふ、「極めて、単純なルール」しかない。
従って、
(08)~(11)により、
(12)
(Ⅰ)レ
(Ⅱ)一レ 上レ 甲レ 天レ
が無ければ、「極めて、単純なルール」しかないものの、実際には、
(Ⅰ)レ
(Ⅱ)一レ 上レ 甲レ 天レ
が有るために、

といった、『複雑で、読みにくい(レ点を含む、現行の)返り点』が、成立する。
(13)
(Ⅰ)レ
に関して言へば、
(α)「レ点」は、「他の漢字」を飛び越へずに、「一字下の漢字」から、「一字上の漢字」へ返る際に用ひる。
(β)「レ点」は、
(Ⅲ)「一二点」の間に、置かれる。
(Ⅳ)「上下点」の間に、置かれる。
(Ⅴ)「甲乙点」の間に、置かれる。
(Ⅵ)「天地天」の間に、置かれる。
(γ)「レ点」は、
(Ⅲ)「二点」よりも大きい、「一二点」が付いてゐる、「一字」の上に、置かれる。⇒ ③⑤⑥⑨
(Ⅳ)「上点」よりも大きい、「上下点」が付いてゐる、「一字」の上に、置かれる。⇒
(Ⅴ)「甲点」よりも大きい、「甲乙点」が付いてゐる、「一字」の上に、置かれる。
(Ⅵ)「天点」よりも大きい、「天地点」が付いてゐる、「一字」の上に、置かれる。
(γ)「レ点」は、
(Ⅱ)「一レ」であれば、「一点」が付いてゐる「下の一字」から、「一点」が付いてゐる「一字」へ返る。
(Ⅱ)「上レ」であれば、「上点」が付いてゐる「下の一字」から、「上点」が付いてゐる「一字」へ返る。 
(Ⅱ)「甲レ」であれば、「甲点」が付いてゐる「下の一字」から、「甲点」が付いてゐる「一字」へ返る。  
(Ⅱ)「天レ」であれば、「天点」が付いてゐる「下の一字」から、「天点」が付いてゐる「一字」へ返る。
(δ)「レ点」は、
 例へば、
⑧ 二 一レ□二 一レ
に於いて、 □ が、「一字の漢字」であるときには、
⑧ 五 四 三 二 一
と、「同じ」ことである。
従って、
(13)により、
(14)
「レ点の用法」を、「文章(言葉)」で説明するのは、大変であるし、(13)でも、説明は、まだ足りない。
そのため、
(15)
『(レ点を含む、現行の)返り点』の「付け方・読み方」の「基本」を知りたいのであれば、
① 不可不告
② 我聞鳥啼樹。
③ 鳥獣吾不可与之同群。
④ 不足為外人道也。
⑤ 耕者不可以不益急矣。
⑥ 無友不如己者。
⑦ 当世士大夫無不知有劉老人者。
⑧ 聖人所不知、未必不為愚人所知也。
⑨ 曽子之母非不五知子不殺人也。
⑩ 使籍誠不以畜子憂寒乱心有財以済薬。
⑪ 欲取之。
⑫ 欲取‐捨之。
といふ「漢文」は、
① 告げざる可からず。
② 我、鳥の樹に啼くを聞く。
③ 鳥獣は、我、之(これ)と与(とも)に群れを同じくする可からず。
④ 外人の為に道(い)ふに足らざるなり。
⑤ 耕す者、以て益々、急ならざる可からず。
⑥ 己に如かざる者を友とする無かれ。
⑦ 当世の士大夫、劉老人有るを知らざる者無し。
⑧ 聖人の知れざる所、未だ必ずしも、愚人の知る所と為さずんばあらざるなり。
⑨ 曽子の母、子の人を殺さざるを知らざるに非ざるなり。
⑩ 籍をして誠に子を養ひ、寒さを憂ふるを以て心を乱さず、財有りて以て薬を済さ使む。
⑪ 之を取らんと欲す。
⑫ 之を取‐捨せんと欲す。
といふ風に「訓読」する。といふことを、「確認」した上で、

といふ「返り点(右側が、現行のそれ)」同士を、「十分に、比較」することを、勧めたい。
(16)
① レ レ レ
② 二 一レ
③ レ 二 レ 一レ
④ レ 下 二 一 上
⑤ レ 三 二 一
⑥ レ 二 レ レ 一
⑦ 下 レ レ 二 一レ 上
⑧ レ レ 二 一レ 二 一レ
⑨ レ レ 二 一レ レ
⑩ 乙 下 二 レ 一レ 上レ レ 甲レ
⑪ レ レ
⑫ レ 二- 一
といふ「返り点(右側が、現行のそれ)」が、結局は
① 四 三 二 一
② 三 二 一
③ 丁 丙 二 一 乙 甲
④ 下 中 二 一 上
⑤ 四 三 二 一
⑥ 下 中 三 二 一 上
⑦ 下 四 三 二 一 上
⑧ 三 二 一 五 四 三 二 一
⑨ 六 五 四 三 二 一
⑩ 人 丙 下 二 一 中 上 乙 甲 二 一 地 天
⑪ 三 二 一
⑫ 三 二- 一
と「同じ順番」になる。
といふことを、「理解」出来たとすれば、その人は、『現行の返り点』を、ほぼ100%、理解できた。
といふ、ことになる。
令和元年12月18日、毛利太。

Aなので(Bでなくとも、Aである)。

(01)
ルカジェビィッツによる公理
(1) P→(Q→P)
(2)[P→(Q→R)]→[(P→Q)→(Q→R)]
(3)(~P→~Q)→(Q→P)
(沢田允茂、現代論理学入門、1962年、173頁)
従って、
(01)により、
(02)
(1)Pならば(QならばPである)。
は、「ルカジェビィッツによる公理(1)」である。
(03)
1     (1)  P      A
1     (2)  P∨~Q   1∨I
1     (3) ~Q∨ P   1交換法則
 4    (4)  Q&~P   A
  5   (5) ~Q      A
 4    (6)  Q      4&E
 45   (7) ~Q& Q   56&I
  5   (8)~(Q&~P)  47RAA
   9  (9)     P   A
 4    (ア)    ~P   4&E
 4 9  (イ)  P&~P   9ア&I
   9  (ウ)~(Q&~P)  4イRAA
1     (エ)~(Q&~P)  3589ウ∨E
    オ (オ)  Q      A
     カ(カ)    ~P   A
    オカ(キ)  Q&~P   オカ&I
1   オカ(ク)~(Q&~P)&
          (Q&~P)  エキ&I
1   オ (ケ)   ~~P   カクRAA
1   オ (コ)     P   ケDN
1     (サ)   Q→P   オコCP
      (ス)P→(Q→P)  1サCP
然るに、
(04)
1     (1)  P      A
      (ス)P→(Q→P)  1サCP
に於いて、「(1)の仮定の数」は「1個」であって、
     「(ス)の仮定の数」は「0個」である。
然るに、
(05)
定理(theorem)とは、仮定(assumptions)の数がゼロ個の証明可能な連式の結論である。
(E.J.レモン、竹尾治一郎・浅野楢英 訳、論理学入門、65頁改)
従って、
(01)~(05)により、
(06)
(1)Pならば(QならばPである)≡P→(Q→P)。
(ス)Pならば(QならばPである)≡P→(Q→P)。
は、「ルカジェビィッツによる公理(axiom)」であって、「E.J.レモンの言ふ定理(theorem)」である。
然るに、
(03)により、
(07)
(03)に於いて、Qに、~Qを「代入」すると、
1     (1)   P       A
1     (2)   P∨~~Q   1∨I
1     (3) ~~Q∨  P   1交換法則
 4    (4)  ~Q& ~P   A
  5   (5) ~~Q       A
 4    (6)  ~Q       4&E
 45   (7) ~~Q& ~Q   56&I
  5   (8)~(~Q& ~P)  47RAA
   9  (9)       P   A
 4    (ア)      ~P   4&E
 4 9  (イ)    P&~P   9ア&I
   9  (ウ)~(~Q& ~P)  4イRAA
1     (エ)~(~Q& ~P)  3589ウ∨E
    オ (オ)  ~Q       A
     カ(カ)      ~P   A
    オカ(キ)  ~Q& ~P   オカ&I
1   オカ(ク)~(~Q& ~P)&
          (~Q& ~P)  エキ&I
1   オ (ケ)     ~~P   カクRAA
1   オ (コ)       P   ケDN
1     (サ)   ~Q→ P   オコCP
      (ス) P→(~Q→P)  1サCP
従って、
(03)(06)(07)により、
(08)
(1)Pならば(QでないならばPである)≡P→(~Q→P)。
(ス)Pならば(QでないならばPである)≡P→(~Q→P)。
は、「ルカジェビィッツによる公理(axiom)」であって、「E.J.レモンの言ふ定理(theorem)」である。
従って、
(06)(08)により、
(09)
(1)Pならば(Qであらうと、Qでなからうと、Pである)≡P→(Q∨~Q→P)。
(ス)Pならば(Qであらうと、Qでなからうと、Pである)≡P→(Q∨~Q→P)。
は、「ルカジェビィッツによる公理(axiom)」であって、「E.J.レモンの言ふ定理(theorem)」である。
然るに、
(10)
「明日が晴れならば、明日が土曜ならば、明日は晴れである。」は、「変な言ひ方」であるが、
「明日が晴れならば、明日が土曜であろうと、明日が土曜でなかろうと、明日は晴れである。」は、「普通の言ひ方」である。
従って、
(11)
「Pならば(QならばPである)。」は、「変な言ひ方」であるが、
「Pならば(Qであらうと、Qでなからうと、Pである)。」は、「普通」である。
従って、
(02)(11)により、
(12)
(1)P→(Q→P)
といふ、「ルカジェビィッツによる公理(1)」は、
(1)Pならば(QならばPである)。
といふ「日本語」に訳す限りは、固より、「変な言ひ方」である。
従って、
(06)(13)により
(14)
(1)P→(Q→P)
といふ、「ルカジェビィッツによる公理(1)」は、
(1)Pならば(QならばPである)。
といふ「日本語」に訳す限りは、「変な言ひ方」であるが、「命題論理」としては、「恒に真(トートロジー)」である。
といふ、ことになる。
令和元年12月18日、毛利太。

2019年12月16日月曜日

「返り点」と「括弧」。

(01)
『概略』で言ふと、「返り点」は、
(Ⅰ)レ点 :「下の字」から、 「一字上の字」へ返る。
(Ⅱ)一二点:「レ点」 を挟んで「二字以上、上の字」へ返る。
(Ⅲ)上下点:「一二点」を挟んで「二字以上、上の字」へ返る。
(Ⅳ)甲乙点:「上下点」を挟んで「二字以上、上の字」へ返る。
(Ⅴ)天地天:「甲乙点」を挟んで「二字以上、上の字」へ返る。
そのため、
(02)
(Ⅰ)レ点:「下の字」から、「一字上の字」へ返る。
があることによって、例へば、
① 読(書) ⇒(書を)読む。
② 読(漢文)⇒(漢文を)読む。
の「返り点」は、
① レ
② 二 一
といふ具合に、「同じ」には、ならない。
(03)
(Ⅰ)レ点:「下の字」から、「一字上の字」へ返る。
があることによって、例へば、
③  不〔読(書)〕⇒〔(書を)読ま〕不。
④ 不〔常読(書)〕⇒〔常には(書を)読ま〕不。
の「返り点」は、
③ レ レ
④ 二 一レ
といふ具合に、「同じ」には、ならない。
(04)
(Ⅰ)レ点:「下の字」から、「一字上の字」へ返る。
がなければ、
⑤ 不{恐[衆狙之不〔馴(於己)〕]}⇒
⑤ {[衆狙の〔(己に)馴れ〕不るを]恐れ}不。
の「返り点」は、
⑤ 五 四 三 二 一
であるが、「レ点」があるため、
⑥ レ 二 一レ 二 一
が、「正しい」。
cf.

従って、
(01)~(04)により、
(05)
(Ⅰ)レ点 :「下の字」から、 「一字上の字」へ返る。
(Ⅱ)一二点:「レ点」 を挟んで「二字以上、上の字」へ返る。
(Ⅲ)上下点:「一二点」を挟んで「二字以上、上の字」へ返る。
(Ⅳ)甲乙点:「上下点」を挟んで「二字以上、上の字」へ返る。
(Ⅴ)天地天:「甲乙点」を挟んで「二字以上、上の字」へ返る。
の中に、
(Ⅰ)レ点:「下の字」から、「一字上の字」へ返る。
といふ「ルール」があるために、「返り点」は、「複雑」になってゐる。
然るに、
(06)

従って、
(06)により、
(07)
① 何不 人謂 韓公叔 秦之敢絶 周而伐 韓者、信 東周 也、公何不 周地 質使 楚、秦必疑 楚、不 周、是韓不 伐也、又謂 秦、曰 韓彊与 周地 、将 以疑 周於秦 也、周不 敢不 受。
② 何不 人謂 韓公叔 秦之敢絶而伐者、信 東周 也、公何不 周地 質使、秦必疑、不、是韓不也、又謂、曰 韓彊与 周地 、将 以疑 周於秦 也、周不 敢不
であるため、
 丁 二 一 乙 レ レ 二 一 下 二 一 二 一 上 レ レ レ 甲レ レ 丙 二 一 三 二 一 乙 甲
② 己 戊 二 一 丙 二 一 二 一 二 一 下 二 一 二 一 中 上 二 一 三 二 一 乙 甲 二 一 丁 二 一 三 二 一 丙 乙 甲
に於いて、
① が表す「訓読の語順」は、
② が表す「訓読の語順」に、「等しい」。
従って、
(05)(07)により、
(08)
(Ⅰ)点:「下の字」から、「一字上の字」へ返る。
は、「ほとんど、不要」であるだけなく、
(Ⅰ)点:「下の字」から、「一字上の字」へ返る。
があるために、「返り点」は、「複雑」になってゐる。
然るに、
(09)
③ 何不〈令{人謂(韓公叔)曰[秦之敢絶(周)而伐(韓)者信(東周)也公何不〔与(周地)発(質使)之(楚)〕秦必疑(楚)不〔信(周)〕是韓不(伐)也]又謂(秦)曰[韓彊与(周地)将〔以疑(周於秦)〕也周不〔敢不(受)〕]}〉。
に於いて。
 □〈 〉⇒〈 〉□
 □{ }⇒{ }□
 □[ ]⇒[ ]□
 □〔 〕⇒〔 〕□
 □( )⇒( )□
といふ「移動」を行ひ、「平仮名」を加へると、
③ 何ぞ〈{人をして(韓の公叔に)謂ひて[秦之敢へて(周を)絶つ而(韓を)伐んとする者、(東周を)信ずれば也、公何ぞ〔(周に地を)与へ(質使を)発して(楚に)之かしめ〕不る、秦必ず(楚を)疑ひ、〔(周を)信ぜ〕不らん、是れ韓(伐たれ)不らん也と]曰ひ、又(秦に)謂ひて、[韓彊ひて(周に地を)与ふるは、将に〔以て(周を秦於)疑はしめんとする〕也、周〔敢へて(受け)不んば〕不ずと]曰は}令め〉不る。
といふ「訓読」になる。
従って、
(09)により、
(10)
① レ 丁 二 一 乙 レ レ 二 一 下 二 一 二 一 上レ レ レ レ 甲レ レ 丙 二 一 三 二 一 乙 甲レ
② 己 戊 二 一 丙 二 一 二 一 二 一 下 二 一 二 一 中 上 二 一 三 二 一 乙 甲 二 一 丁 二 一 三 二 一 丙 乙 甲
といふ「返り点」は、
③〈{( )[( )( )( )〔( )( )( )〕( )〔( )〕( )]( )[( )〔( )〕〔( )〕]}〉
といふ「括弧」に「置き換へ」ることが、出来る。
然るに、
(11)
漢語における語順は、国語と大きく違っているところがある。すなわち、その補足構造における語順は、国語とは全く反対である。しかし、訓読は、国語の語順に置きかえて読むことが、その大きな原則となっている。それでその補足構造によっている文も、返り点によって、国語としての語順が示されている(鈴木直治、中国語と漢文、1975年、296頁)。
従って、
(10)(11)により、
(12)
③ 何不〈令{人謂(韓公叔)曰[秦之敢絶(周)而伐(韓)者信(東周)也公何不〔与(周地)発(質使)之(楚)〕秦必疑(楚)不〔信(周)〕是韓不(伐)也]又謂(秦)曰[韓彊与(周地)将〔以疑(周於秦)〕也周不〔敢不(受)〕]}〉。
に於ける、
③〈{( )[( )( )( )〔( )( )( )〕( )〔( )〕( )]( )[( )〔( )〕〔( )〕]}〉
といふ「括弧」は、「訓読の語順」を表してゐると同時に、
② 何不令人謂韓公叔曰秦之敢絶周而伐韓者信東周也公何不与周地発質使之楚秦必疑楚不信周是韓不伐也又謂秦曰韓彊与周地将以疑周於秦也周不敢不受。
といふ「漢文の補足構造」と、
② 何ぞ人をして韓の公叔に謂ひて秦之敢へて周を絶つ而韓を伐んとする者、東周を信ずれば也、公何ぞ周に地を与へ質使を発して楚に之かしめ不る、秦必ず楚を疑ひ、周を信ぜ不らん、是れ韓伐たれ不らん也と曰ひ、又秦に謂ひて、韓彊ひて周に地を与ふるは、将に以て周を秦於疑はしめんとする也、周敢へて受け不んば不ずと曰は令め不る。
といふ「日本語の補足構造」を表してゐる。
(13)
〈 { [ 〔 ( ) 〕 ] } 〉 といふ「括弧」 の下に、
間 地 乙 下 二 一 上 甲 天 人 といふ「返り点」を書くことが、出来る。
従って、
(14)
③ 何不〈令{人謂(韓公叔)曰[秦之敢絶(周)而伐(韓)者信(東周)也公何不〔与(周地)発(質使)之(楚)〕秦必疑(楚)不〔信(周)〕是韓不(伐)也]又謂(秦)曰[韓彊与(周地)将〔以疑(周於秦)〕也周不〔敢不(受)〕]}〉。
といふ「括弧が付いた、漢文」は、
③ 何不 人謂 韓公叔 秦之敢絶 而伐 者信 東周 也公何不 周地 質使 秦必疑 是韓不 又謂 韓彊与 周地 以疑 周於秦 也周不 敢不
といふ「返り点(?)が付いた、漢文」である。といふ風に、見做すことも、可能である。
従って、
(15)
(Ⅰ)レ 一レ 上レ 甲レ 天レ
(Ⅱ)一 二 三 四 五 六 七 八 九 十 ・・・・・・・
(Ⅲ)上 中(下) 下
(Ⅳ)甲 乙 丙 丁 戊 己 庚 辛 壬 癸
(Ⅴ)天 地 人
からなる「通常の、返り点」に対して、例へば、
(Ⅰ)二 一
(Ⅱ)下 上
(Ⅲ)乙 甲
(Ⅳ)地 天
(Ⅴ)間 人
からなら「返り点」が、「括弧」であるといふ風に、見做すことが出来る。
令和元年12月16日、毛利太。

2019年12月15日日曜日

「私が理事長です」の「述語論理」。

― しばらく、「返り点」に関する「記事」を書いてゐません。「返り点と括弧」に関しては、
(α)「返り点」と「括弧」に付いて。 :(https://kannbunn.blogspot.com/2017/12/blog-post_11.html
(β)「返り点」と「括弧」の条件。  :(https://kannbunn.blogspot.com/2017/12/blog-post_15.html
(γ)「返り点」と「括弧」の条件(Ⅱ):(https://kannbunn.blogspot.com/2017/12/blog-post_16.html
(δ)「返り点」は、下には戻らない。 :(https://kannbunn.blogspot.com/2017/12/blog-post_20.html
(ε)「下中上点」等が必要な「理由」。:(https://kannbunn.blogspot.com/2017/12/blog-post_22.html
(ζ)「返り点・モドキ」について。  :(https://kannbunn.blogspot.com/2017/12/blog-post_24.html)⇒
 Web上には存在しますが、何故か、アクセス出来ません。
(η)「一二点・上下点」に付いて。  :(https://kannbunn.blogspot.com/2017/12/blog-post_26.html
(θ)「括弧」の「順番」。      :(https://kannbunn.blogspot.com/2018/01/blog-post.html
(ι)「返り点」と「括弧」の関係   :(https://kannbunn.blogspot.com/2019/01/blog-post_21.html
等々、「その他」を、お読み下さい。―

(01)
よく知られているように、「私理事長です」は語順を変え、
 理事長は、私です。
と直して初めて主辞賓辞が適用されのである。また、かりに大倉氏が、
 タゴール記念会は、私が理事です。
と言ったとすれば、これは主辞「タゴール記念会」を品評するという心持ちの文である。
(三上章、日本語の論理、1963年、40・41頁)
然るに、
(02)
① 私は、タゴール記念会の理事長であるが、
② タゴール記念会の理事長は、「一人だけである。然るに、
③ 倉田氏は私ではない。従って、
④ タゴール記念会ならば、倉田氏は理事長ではない。
といふ「推論」は、「妥当」である。
然るに、
(03)
① ∀x{T会の会員x→∃y[私y&理事長yx]}
② ∀x{T会の会員x→∃y[理事長yx&∀z(理事長zx→y=z)]}
③ ∃z(倉田z&~私z)
④ ∀x{T会の会員x→∃z(倉田z&~理事長zx)}
といふ「述語論理」は、すなはち、
① すべてのxについて、xがタゴール記念会の会員であるならば、あるyは私であって、私はxの理事長である。
② すべてのxについて、xがタゴール記念会の会員であるならば、あるyはxの理事長であって、すべてのzについて、zがxの理事長であるならば、yはzと「同一」である。
③ あるzは倉田といふが、zは私ではない。
④ すべてのxについて、xがタゴール記念会の会員であるならば、あるzは倉田であって、zはxの理事長ではない。
といふ「述語論理」に、相当する。
然るに、
(04)
1       (1)∀x{T会の会員x→∃y[私y&理事長yx]}                       A
 2      (2)∀x{T会の会員x→∃y[理事長yx&∀z(理事長zx→y=z)]} A
1       (3)   T会の会員a→∃y[私y&理事長ya]             1UE
 2      (4)   T会の会員a→∃y[理事長ya&∀z(理事長za→y=z)]  2UE
  5     (5)   T会の会員a                           A
1 5     (6)          ∃y[私y&理事長ya]             35MPP
   7    (7)             私b&理事長ba              A
   7    (8)             私b                    7&E
 25     (9)          ∃y[理事長ya&∀z(理事長za→y=z)]  45MPP
    ア   (ア)             理事長ba&∀z(理事長za→b=z)   A
    ア   (イ)                   ∀z(理事長za→b=z)   ア&E
    ア   (ウ)                      理事長ca→b=c    ウUE        
     エ  (エ)       ∃z(倉田z&~私z)                   A
      オ (オ)          倉田c&~私c                    A
      オ (カ)          倉田c                        カ&E
      オ (キ)              ~私c                    カ&E
       ク(ク)                b=c                  A
      オク(ケ)              ~私b                    キク=E
   7  オク(コ)            ~私b&私b                 8ケ&I
   7  オ (サ)              b≠c                  クコRAA
   7ア オ (シ)                     ~理事長ca        ウサMTT
   7ア オ (ス)        倉田c&~理事長ca                 カシ&I
   7ア オ (セ)     ∃z(倉田c&~理事長ca)                スEI
   7アエ  (ソ)     ∃z(倉田c&~理事長ca)                エオセEE
 257 エ  (タ)     ∃z(倉田c&~理事長ca)                9アソEE
125  エ  (チ)     ∃z(倉田c&~理事長ca)                67タEE
12   エ  (ツ)   T会の会員a→∃z(倉田c&~理事長ca)           5チCP
12   エ  (テ)∀x{T会の会員x→∃z(倉田z&~理事長zx)}          ツUI
従って、
(02)(03)(04)により、
(05)
① 私は、タゴール記念会の理事長であるが、
② タゴール記念会の理事長は、「一人だけである。然るに、
③ 倉田氏は私ではない。従って、
④ タゴール記念会ならば、倉田氏は理事長ではない。
といふ「推論」は、「日本語」として、「妥当」であり、
① ∀x{T会の会員x→∃y[私y&理事長yx]}
② ∀x{T会の会員x→∃y[理事長yx&∀z(理事長zx→y=z)]}
③ ∃z(倉田z&~私z)∴
④ ∀x{T会の会員x→∃z(倉田z&~理事長zx)}
といふ「推論」は、「述語論理」として、「妥当」である。
然るに、
(06)
② ∀x{T会の会員x→∃y[理事長yx&∀z(理事長zx→y=z)]}
といふ「1行」を除いた
① ∀x{T会の会員x→∃y[私y&理事長yx]}
③ ∃z(倉田z&~私z)∴
④ ∀x{T会の会員x→∃z(倉田z&~理事長zx)}
といふ「論証(Argument)」は、「述語論理」としては、固より、「証明不能」である。
従って、
(05)(06)により、
(07)
① 私は、タゴール記念会の理事長であるが、
③ 倉田氏は私ではない。従って、
④ タゴール記念会ならば、倉田氏は理事長ではない。
といふ「論証(Argument)」が、「日本語」として、「妥当」であるならば、その場合は、
② タゴール記念会の理事長は、「一人だけである。
といふことが、「暗黙の前提」になってゐる。
従って、
(06)(07)により、
(08)
① タゴール記念会は、私理事です。然るに、
③ 倉田氏は私ではない。従って、
④ タゴール記念会ならば、倉田氏は理事長ではない。
といふ「推論」が、「日本語」として、「妥当」であるならば、その場合は、
② タゴール記念会の理事長は、「一人だけである。⇔
② ∀x{T会の会員x→∃y[理事長yx&∀z(理事長zx→y=z)]}⇔
② すべてのxについて、xがタゴール記念会の会員であるならば、あるyはxの理事長であって、すべてのzについて、zがxの理事長であるならば、yはzと「同一」である。
といふことが、「暗黙の前提」になってゐる。
従って、
(08)により、
(09)
① タゴール記念会は、私理事です。
といふ「日本語」は、
① タゴール記念会は、一人、私だけ理事です。
といふ、「意味」になる。
従って、
(01)(09)により、
(10)
① タゴール記念会は、私理事です。
① タゴール記念会の理事長は私です。
といふ「日本語」は、
① ∀x{T会の会員x→∃y[私y&理事長yx&∀z(理事長zx→y=z)]}⇔
① すべてのxについて、xがタゴール記念会の会員であるならば、あるyは私であって、yはxの理事長であって、すべてのzについて、zがxの理事長であるならば、yはzと「同一」である。
といふ、「意味」になる。
従って、
(10)により、
(11)
① 私理事です。
理事長は私です。
といふ「日本語」は、
① 私は理事長であり、私以外は理事長ではない
といふ、「意味」になる。
従って、
(12)
三上章先生は、まず最初に、
① 私は理事長であり、私以外は理事長ではない
といふ「意味」である所の、
① 私理事です。
理事長は私です。
といふ「日本語の文法」を論じるべきである。
然るに、
(13)
「三上章、象は鼻が長い、1960年」、「三上章、日本語の論理、1963年」等を読む限り、三上章先生は、
AはBである=AはBである。
Bである=AはBであり、A以外はBではない
といふことには、気付いてゐないし、仮に、気付いてゐたとしても、重視は、してゐない。
(14)
助詞「は」の代行の性質とは、たとえば、「大根葉を捨てます」(料理番組)の場合、この「は」は「大根の葉」の「の」の代わり(代行)であるという考え方です。これによって、「象は鼻が長い」も「象の鼻が長いこと」の意味であり、「この本は父が買ってくれた」も「この本を父が買ってくれた」の意味であるという、簡単な説明ができるようになるのです。そして、なぜ代行するのかといいうと、それは、文の《題目》を示すためであるというふうに話が進行し、日本語には主語がなく、《題目》を中核とした言語であるという著者の主張が展開されていきます。日本語の「は」の性格を初めて明確化した著書として、この本は現在の学界でも広く知られています(象は鼻長い - 青山学院大学 文学部)。
(15)
1    (1)∀x{大根x→∃y(葉yx)&∃z(あなたz&捨zy)} A
 2   (2)∃z(あなたz&~捨zy)                A
1    (3)   大根a→∃y(葉ya)&∃z(あなたz&捨zy)  1UE
  4  (4)   大根a                       A
1 4  (5)       ∃y(葉ya)&∃z(あなたz&捨zy)  34MPP
1 4  (6)               ∃z(あなたz&捨zy)  5&E
   7 (7)                  あなたc&捨cy   A
   7 (8)                       捨cy   7&E
    9(9)   あなたc&~捨cy                 A
    9(ア)        ~捨cy                 9&E
   79(イ)        ~捨cy&捨cy             8ア&I
 2 7 (ウ)        ~捨cy&捨cy             29イEE
124  (エ)        ~捨cy&捨cy             67ウEE
12   (オ)  ~大根a                       4エRAA
12   (カ)∃x~大根x                       オEI
12   (〃)あるxは大根でない。                   オEI
従って、
(15)により、
(16)
(1)あなたは、大根の葉を捨てます。 然るに、
(2)あなたは、その葉を、捨てない。 従って、
(カ)あるxは、大根ではない。
といふ「推論」は、「妥当」である。
従って、
(14)(15)(16)により、
(17)
① 大根は葉を捨てます。⇔
① ∀x{大根x→∃y(葉yx)&∃z(あなたz&捨zy)}⇔
① すべてのxについて、xが大根であるならば、あるyはxの葉であって、あるzはあなたであって、zはyを捨てます。
といふ「意味」である。
といふことこそが、「大事」なのであって、『この「は」は「大根の葉」の「の」の代わり(代行)であるという考え方です。』といふことは、どうでも良いと、考へます。
令和元年12月15日、毛利太。

「象が鼻は長い」の「述語論理」。

― しばらく、「返り点」に関する「記事」を書いてゐません。「返り点と括弧」に関しては、
(α)「返り点」と「括弧」に付いて。 :(https://kannbunn.blogspot.com/2017/12/blog-post_11.html
(β)「返り点」と「括弧」の条件。  :(https://kannbunn.blogspot.com/2017/12/blog-post_15.html
(γ)「返り点」と「括弧」の条件(Ⅱ):(https://kannbunn.blogspot.com/2017/12/blog-post_16.html
(δ)「返り点」は、下には戻らない。 :(https://kannbunn.blogspot.com/2017/12/blog-post_20.html
(ε)「下中上点」等が必要な「理由」。:(https://kannbunn.blogspot.com/2017/12/blog-post_22.html
(ζ)「返り点・モドキ」について。  :(https://kannbunn.blogspot.com/2017/12/blog-post_24.html)⇒
 Web上には存在しますが、何故か、アクセス出来ません。
(η)「一二点・上下点」に付いて。  :(https://kannbunn.blogspot.com/2017/12/blog-post_26.html
(θ)「括弧」の「順番」。      :(https://kannbunn.blogspot.com/2018/01/blog-post.html
(ι)「返り点」と「括弧」の関係   :(https://kannbunn.blogspot.com/2019/01/blog-post_21.html
等々、「その他」を、お読み下さい。―

(01)
① 象は鼻は長い。
② 兎は耳は長い。
といふのであれば、
①「象の鼻以外」については、何も言ってはゐない
②「兎の耳以外」については、何も言ってはゐない
従って、
(01)により、
(02)
① 象は鼻は長い。
② 兎は耳は長い。
といふのであれば、
① 象は、鼻だけでなく、耳も長い。のかも知れないし、
② 兎は、耳だけでなく、鼻も長い。のかも知れない。
然るに、
(03)
① 象は、鼻だけでなく、耳も長い。のかも知れないし、
② 兎は、耳だけでなく、鼻も長い。のかも知れない。
といふのであれば、
① 象は、鼻と耳が長い。のかも知れないし、
② 象も、鼻と耳が長い。のかも知れない。
然るに、
(04)
① 象は、鼻と耳が長い。のかも知れないし、
② 象も、鼻と耳が長い。のかも知れない。
といふのであれば、
① 象は鼻は長い(が、耳も長い?)。然るに、
② 兎は耳は長い(が、鼻も長い?)。故に、
③ 兎は象ではない(Rabbits can not be elephants)。
といふ「推論」は、「妥当」ではない
然るに、
(05)
① 象は鼻は長い。然るに、
② 兎は耳は長い。故に、
③ 兎は象ではない(Rabbits can not be elephants)。
といふ「推論」ではなく、
① 象は鼻長い。然るに、
② 兎は耳長い。故に、
③ 兎は象ではない(Rabbits can not be elephants)。
といふ「推論」は、「妥当」である。
従って、
(01)~(05)により、
(06)
① 象は鼻長い。
② 兎は耳長い。
といふのであれば、
①「象の鼻以外は、長くない。」と言ってゐて、
②「兎の耳以外は、長くない。」と言ってゐる。
従って、
(06)により、
(07)
① 象は鼻長い。
② 兎は耳長い。
ではなく、
① 象鼻は長い。
② 兎耳は長い。
といふのであれば、
①「象以外は、鼻は長くない。」と言ってゐて、
②「兎以外は、耳は長くない。」と言ってゐる。
従って、
(07)により、
(08)
① 象鼻は長い。
② 兎耳は長い。
といふのであれば、
①「象は、鼻は長く、象以外は、鼻は長くない」と言ってゐて、
②「兎は、耳は長く、兎以外は、耳は長くない」と言ってゐる。
然るに、
(09)
① 象以外は、鼻は長くない。⇔
① ∀x{~象x→~∃y(鼻yx&長y)}⇔
① すべてのxについて、xが象でないならば、あるyがxの鼻であって、yが長い、といふことはない
然るに、
(10)
対偶(Contraposition)」は「等しい」が故に、
① 象以外は、鼻は長くない。⇔
① ∀x{~象x→~∃y(鼻yx&長y)}⇔
① すべてのxについて、xが象でないならば、あるyがxの鼻であって、yが長い、といふことはない。
といふ「命題」は、
② 鼻長いならば、象である。⇔
② ∀x{∃y(鼻yx&長y)→象x}⇔
② すべてのxについて、あるyがxの鼻であって、yが長いならば、xは象である。
といふ「命題」に「等しい」。
然るに、
(11)
③ 象は鼻は長い。⇔
③ ∀x{象x→∃y(鼻yx&長y)}⇔
③ すべてのxについて、xが象でないならば、あるyはxの鼻であって、yは長い。
従って、
(10)(11)により、
(12)
① 象は鼻は長く、象以外は、鼻は長くない
② 象は鼻は長く、鼻が長いならば象である。
に於いて、すなはち、
① ∀x{象x→∃y(鼻yx&長y)&~象x→~∃y(鼻yx&長y)}
② ∀x{象x→∃y(鼻yx&長y)&∃y(鼻yx&長y)→象x}
に於いて、
①=② である。
然るに、
(13)
② ∀x{象x→∃y(鼻yx&長y)&∃y(鼻yx&長y)→象x}
といふ「論理式」は、「省略記号(Abbreviation)」を用ひて、
③ ∀x{象x⇔∃y(鼻yx&長y)}⇔
③ すべてのxについて、xが象でないならば、そのときに限って、あるyはxの鼻であって、yは長い。
といふ風に、書くことが、出来る。
従って、
(12)(13)により、
(14)
「番号」を付け直すと、
① ∀x{象x⇔∃y(鼻yx&長y)}
② ∀x{象x→∃y(鼻yx&長y)&∃y(鼻yx&長y)→象x}
③ ∀x{象x→∃y(鼻yx&長y)&~象x→~∃y(鼻yx&長y)}
に於いて、すなはち、
① すべてのxについて、xが象であるならば、そのときに限って、あるyはxの鼻であって、yは長い。
② すべてのxについて、xが象であるならば、あるyはxの鼻であって、yは長く、あるyがxの鼻であって、yが長いならば、xは象である。
③ すべてのxについて、xが象であるならば、あるyはxの鼻であって、xは象でないならば、あるyがxの鼻であって、yが長い、といふことはない。
に於いて、
①=②=③ である。
然るに、
(15)
③ ∀x{象x→∃y(鼻yx&長y)&~象x→~∃y(鼻yx&長y)}。
③ すべてのxについて、xが象であるならば、あるyはxの鼻であって、xは象でないならば、あるyがxの鼻であって、yが長い、といふことはない。
といふことは、
① 象は、鼻は長く、象以外は、鼻は長くない
といふ、ことである。
従って、
(08)(14)(15)により、
(16)
① 象鼻は長い。⇔
① 象は、鼻は長く、象以外は、鼻は長くない。⇔
① ∀x{象x⇔∃y(鼻yx&長y)}   ⇔
① ∀x{象x→∃y(鼻yx&長y)&~象x→~∃y(鼻yx&長y)}
① すべてのxについて、xが象でないならば、そのときに限って、あるyはxの鼻であって、yは長い。⇔
① すべてのxについて、xが象でないならば、あるyはxの鼻であって、yは長く、あるyがxの鼻であって、yが長いならば、xは象である。
といふ「等式」が、成立する。
然るに、
(17)
① すべてのxがFである。といふことはない。
といふことは、
あるxはFでない(Fでないxが存在する)。
といふ、ことである。
cf.
(ⅱ)
1  (1)  ~∀xFx       A
 2 (2) ~∃x~Fx       A
  3(3)    ~Fa       A
  3(4)  ∃x~Fx       3EI
 23(5) ~∃x~Fx&∃x~Fx 24&I
 2 (6)   ~~Fa       35RAA
 2 (7)     Fa       6DN
 2 (8)   ∀xFx       6UI
12 (9) ~∀xFx&∀xFx   17&I
1  (ア)~~∃x~Fx       29RAA
1  (イ)  ∃x~Fx       アDN
すべてのxがFであるわけではない。├ あるxはFでない。
(ⅱ)
1  (1) ∃x~Fx A
 2 (2)   ~Fa A
  3(3)  ∀xFx A
  3(4)    Fa 3UE
 23(5)~Fa&Fa 24&I
 2 (6) ~∀xFx 35RAA
1  (7) ~∀xFx 126EE
あるxはFでない。├ すべてのxがFであるわけではない。
従って、
(16)(17)により、
(18)
「量化子の関係」により、
①  ∀x{象x→∃y(鼻yx&長y)&~象x→~∃y(鼻yx&長y)}
② ∃x~{象x→∃y(鼻yx&長y)&~象x→~∃y(鼻yx&長y)}
に於いて、
① の「否定」は、② であり、
② の「否定」は、① である。
然るに、
(19)
(ⅱ)
1    (1)∃x~{象x→∃y(鼻yx&長y)& ~象x→~∃y(鼻yx&長y)}  A
 2   (2)  ~{象a→∃y(鼻ya&長y)& ~象a→~∃y(鼻ya&長y)}  A
 2   (3)~[象a→∃y(鼻ya&長y)]∨~[~象a→~∃y(鼻ya&長y)]  2ド・モルガンの法則
 2   (4) [象a→∃y(鼻ya&長y)]→~[~象a→~∃y(鼻ya&長y)]  3含意の定義
  5  (5) {象a→∃y(鼻ya&長y)}                     A
 25  (6)                 ~[~象a→~∃y(鼻ya&長y)]  45MPP
   7 (7)                    象a∨~∃y(鼻ya&長y)   A
   7 (8)                   ~象a→~∃y(鼻ya&長y)   7含意の定義
 257 (9)                 ~[~象a→~∃y(鼻ya&長y)]&
                          [~象a→~∃y(鼻ya&長y)]  68&I
 25  (ア)                  ~[象a∨~∃y(鼻ya&長y)]  79RAA
 25  (イ)                   ~象a& ∃y(鼻ya&長y)   アド・モルガンの法則
 2   (ウ) {象a→∃y(鼻ya&長y)}→  ~象a& ∃y(鼻ya&長y)   5イCP
    エ(エ)  象a&∃y(鼻ya&長y)                      A
    エ(オ)  象a                                 エ&E
 2  エ(カ)     ∃y(鼻ya&長y) →  ~象a& ∃y(鼻ya&長y)   ウオMPP
    エ(キ)     ∃y(鼻ya&長y)                      エ&E
 2  エ(ク)                   ~象a& ∃y(鼻ya&長y)   カキMPP
 2   (ケ)    象a&∃y(鼻ya&長y)→ ~象a& ∃y(鼻ya&長y)   エクCP
 2   (コ) ∃x{象x&∃y(鼻yx&長y)→ ~象x& ∃y(鼻yx&長y)}  ケEI
1    (サ) ∃x{象x&∃y(鼻yx&長y)→ ~象x& ∃y(鼻yx&長y)}  12コEE
(ⅲ)
1     (1)  ∃x{象x&∃y(鼻yx&長y)→  ~象x& ∃y(鼻yx&長y)}  A
 2    (2)     象a&∃y(鼻ya&長y)→  ~象a& ∃y(鼻ya&長y)   A
  3   (3)     象a                                A
   4  (4)        ∃y(鼻ya&長y)                     A
  34  (5)     象a&∃y(鼻ya&長y)                     34&I
 234  (6)                     ~象a& ∃y(鼻ya&長y)   25MPP
 23   (7)        ∃y(鼻ya&長y)→  ~象a& ∃y(鼻ya&長y)   46CP
 2    (8)     象a→∃y(鼻ya&長y)→  ~象a& ∃y(鼻ya&長y)   37CP
    9 (9)     象a→∃y(鼻ya&長y)                     A
 2  9 (ア)                     ~象a& ∃y(鼻ya&長y)   8アMPP
 2  9 (イ)                    ~[象a∨~∃y(鼻ya&長y)]  イ、ド・モルガンの法則
     ウ(ウ)                     ~象a→~∃y(鼻ya&長y)   A
     ウ(エ)                      象a∨~∃y(鼻ya&長y)   ウオ含意の定義
 2  9ウ(オ)                    ~[象a∨~∃y(鼻ya&長y)]&
                              [象a∨~∃y(鼻ya&長y)]  イエ&I
 2  9 (カ)                   ~[~象a→~∃y(鼻ya&長y)]  ウオRAA
 2    (キ)    象a→∃y(鼻ya&長y)→ ~[~象a→~∃y(鼻ya&長y)]  9カCP
 2    (ク)  ~[象a→∃y(鼻ya&長y)]∨~[~象a→~∃y(鼻ya&長y)]  キ含意の定義
 2    (ケ)  ~{象a→∃y(鼻ya&長y) &  ~象a→~∃y(鼻ya&長y)}  ク、ド・モルガンの法則
 2    (コ)∃x~{象x→∃y(鼻yx&長y) &  ~象x→~∃y(鼻yx&長y)}  ケEI
1     (サ)∃x~{象x→∃y(鼻yx&長y) &  ~象x→~∃y(鼻yx&長y)}  12コEE
従って、
(19)により、
(20)
② ∃x~{象x→∃y(鼻yx&長y)&~象x→~∃y(鼻yx&長y)}
③   ∃x{象x&∃y(鼻yx&長y)→~象x& ∃y(鼻yx&長y)}
に於いて、
②=③ である。
従って、
(18)(19)(20)により、
(21)
「量化子の関係」により、
①  ∀x{象x→∃y(鼻yx&長y)&~象x→~∃y(鼻yx&長y)}
② ∃x~{象x→∃y(鼻yx&長y)&~象x→~∃y(鼻yx&長y)}
③   ∃x{象x&∃y(鼻yx&長y)→~象x& ∃y(鼻yx&長y)}
に於いて、
① の「否定」は、② であり、
② の「否定」は、① であり、
②=③ である。
従って、
(21)により、
(22)
①  ∀x{象x→∃y(鼻yx&長y)&~象x→~∃y(鼻yx&長y)}
③   ∃x{象x&∃y(鼻yx&長y)→~象x& ∃y(鼻yx&長y)}
に於いて、
① の「否定」は、③ であり、
③ の「否定」は、① である。
従って、
(23)
①  ∀x{象x→∃y(鼻yx&長y)&~象x→~∃y(鼻yx&長y)}
③   ∃x{象x&∃y(鼻yx&長y)→~象x& ∃y(鼻yx&長y)}
に於いて、
① の「否定」は、③ に「等しく」、
③ の「否定」は、① に「等しい」。
従って、
(23)により、
(24)
①  ∀x{象x→∃y(鼻yx&長y)&~象x→~∃y(鼻yx&長y)}
③ ~∃x{象x&∃y(鼻yx&長y)→~象x& ∃y(鼻yx&長y)}
に於いて、すなはち、
① すべてのxについて、xが象であるならば、あるyはxの鼻であるが、xが象でないならば、あるyがxの鼻であって、yが長い、といふことはない。
③ xが象であって、あるyがxの鼻であって、長いならば、xが象でなくて、あるyがxの鼻であって、長い。といふ、そのやうなxは存在しない。
に於いて、
①=③ である。
然るに、
(25)
① すべてのxについて、xが象であるならば、あるyはxの鼻であるが、xが象でないならば、あるyがxの鼻であって、yが長い、といふことはない。
③ xが象であって、あるyがxの鼻であって、長いならば、xが象でなくて、あるyがxの鼻であって、長い。といふ、そのやうなxは存在しない。
といふことは、
① 象は鼻は長く、象以外は、鼻は長くない
③ 象は鼻は長く、兎の鼻は、長くない
といふ、ことである。
従って、
(16)(25)により、
(26)
① 象鼻は長い。⇔
① 象は、鼻は長く、象以外は、鼻は長くない
といふ「日本語」は、
①  ∀x{象x→∃y(鼻yx&長y)&~象x→~∃y(鼻yx&長y)}。
③ ~∃x{象x&∃y(鼻yx&長y)→~象x& ∃y(鼻yx&長y)}。
といふ「述語論理」に、相当する。
然るに、
(27)
1  (1)∀x{象x→∃y(鼻yx&長y)&~象x→~∃y(鼻yx&長y)} A
 2 (2)∀x(兎x→~象x)                        A
1  (3)   象a→∃y(鼻ya&長y)&~象a→~∃y(鼻ya&長y)  1UE
 2 (4)   兎a→~象a                         2UE
1  (5)                 ~象a→~∃y(鼻ya&長y)  4&E
  6(6)   兎a                             A
 26(7)      ~象a                         46MPP
126(8)                      ~∃y(鼻ya&長y)  57MPP
126(9)                     ∀y~(鼻ya&長y)  8量化子の関係
126(ア)                       ~(鼻ba&長b)  9UE
126(イ)                       ~鼻ba∨~長b   ア、ド・モルガンの法則
126(ウ)                        鼻ba→~長b   イ含意の定義
126(エ)                     ∀y(鼻ya→~長y)  ウUI
12 (オ)    兎a→∀y(鼻ya→~長y)                 6エCP
12 (カ)∀x{兎x→∀y(鼻yx→~長y)}                オUI          
従って、
(27)により、
(28)
(1)∀x{象x→∃y(鼻yx&長y)&~象x→~∃y(鼻yx&長y)}。
(2)∀x(兎x→~象x)。 
(カ)∀x{兎x→∀y(鼻yx→~長y)}。
といふ「推論」、すなはち、
(1)象は、鼻は長く、象以外は、鼻は長くない。 然るに、
(2)兎は象ではない。 従って、
(カ)兎は、鼻は長くない
といふ「推論」は、「妥当」である。
(29)
伝統的論理学を速水滉『論理学』(16)で代表させよう。わたしのもっているのが四十三年の第十九刷一万部中の一冊で、なお引続き刊行だろうから、前後かなり多く読者を持つ論理学書と考えられる。新興の記号論理学の方は、沢田充茂の『現代論理学入門』(62)を参照することにする(三上章、日本語の論理、1963年、4頁)。
然るに、
(30)
三上章先は、「象長い」や、「象」や、「鼻長い」や、「象長い。」といった「日本語」を、自分自身で、「現代論理学の言葉(述語論理)」に訳されてゐるわけではない。
(31)
三上章先生は、「三上章、日本語の論理、1963年」の中で、「英語」と「日本語」を比較されることはあっても、「現代論理学の言葉(述語論理)」と比較して、「日本語」を、論じてゐるわけではない。
令和元年12月15日、毛利太。