日本語の「は」と「が」について。

象は鼻が長い=∀x{象x→∃y(鼻yx&長y)&∀z(~鼻zx→~長z)}。
とりあえず「三上文法」を「批判」します。

(886)「森と原が犯人でないならば、林が犯人である。」の「述語論理」。

2021-05-11 22:08:24 | 論理

(01)
(ⅰ)
1       (1)∀x(犯人x→森x∨原x)      A
1       (2)   犯人a→森a∨原a       1UE
 3      (3)   犯人a             A
13      (4)       森a∨ 原a      23MPP
  5     (5)      ~森a&~原a      A
   6    (6)       森a          A
  5     (7)      ~森a          5&E
  56    (8)       森a&~森a      67&I
   6    (9)    ~(~森a&~原a)     58RAA
    ア   (ア)           原a      A
  5     (イ)          ~原a      5&E
  5 ア   (ウ)       原a&~原a      アイ&I
    ア   (エ)    ~(~森a&~原a)     5ウRAA
13      (オ)    ~(~森a&~原a)     469アエ∨E
     カ  (カ)      ~森a          A
      キ (キ)          ~原a      A
     カキ (ク)      ~森a&~原ア      カキ&I
13   カキ (ケ)    ~(~森a&~原a)&
                (~森a&~原a)     オク&I
13   カ  (コ)         ~~原a      キケRAA
13   カ  (サ)           原a      コDN
13      (シ)       ~森a→原a      カサCP
1       (ス)  犯人a→(~森a→原a)     3シCP
       セ(セ)  犯人a& ~森a         A
       セ(ソ)  犯人a              セ&E
       セ(タ)       ~森a         セ&E
1      セ(チ)       ~森a→原a      スソMPP
1      セ(ツ)           原a      タチMPP
1      セ(テ)           原a&犯人a  ソツ&I
1       (ト)   犯人a&~森a→原a&犯人a  セテCP
1       (ナ)∀x(犯人x&~森x→原x&犯人x) トUI
(ⅱ)
1       (1)∀x(犯人x&~森x→原x&犯人x) A
1       (2)   犯人a&~森a→原a&犯人a  1UE
 3      (3)   犯人a             A
  4     (4)       ~森a         A
 34     (5)   犯人a&~森a         34&I
134     (6)           原a&犯人a  25MPP
134     (7)           原a      6&E
13      (8)       ~森a→原a      47CP
13      (9)        森a∨原a      8含意の定義
1       (ア)    犯人a→森a∨原a)     39CP
1       (イ) ∀x(犯人x→森x∨原x)     アUI
(ⅲ)
1             (1)      ∀x(犯人x→森x∨原x∨林x)     A
1             (2)         犯人a→森a∨原a∨林a      1UE
 3            (3)         犯人a               A
13            (4)             森a∨原a∨林a      23MPP
13            (5)            森a∨(原a∨林a)     4結合法則
  6           (6)          ~森a&~(原a∨林a)     A
   7          (7)            森a             A
  6           (8)          ~森a              6&E
  67          (9)            森a&~森a         78&I
   7          (ア)        ~{~森a&~(原a∨林a)}    69RAA
    イ         (イ)               (原a∨林a)     A
  6           (ウ)              ~(原a∨林a)     6&E
  6 イ         (エ)      (原a∨林a)&~(原a∨林a)     イウ&I
    イ         (オ)        ~{~森a&~(原a∨林a)}    6エRAA
13            (カ)        ~{~森a&~(原a∨林a)}    57アイオ∨E
     キ        (キ)          ~森a              A
      ク       (ク)              ~(原a∨林a)     A
     キク       (ケ)          ~森a&~(原a∨林a)     キク&I
13   キク       (コ)        ~{~森a&~(原a∨林a)}&
                          {~森a&~(原a∨林a)}    カケ&I
13   キ        (サ)             ~~(原a∨林a)     クコRAA
13   キ        (シ)               (原a∨林a)     ケDN
13            (ス)           ~森a→(原a∨林a)     キコCP
1             (セ)      犯人a→{~森a→(原a∨林a)}    3サCP
       ソ      (ソ)      犯人a& ~森a             A
       ソ      (タ)      犯人a                  ソ&E
       ソ      (チ)           ~森a             ソ&E
1      ソ      (ト)           ~森a→(原a∨林a)     セタMPP
1      ソ      (ナ)                原a∨林a      チトMPP
        ニ     (ニ)              ~原a&~林a      A
         ヌ    (ヌ)                原a         A
        ニ     (ネ)              ~原a          ニ&E
        ニヌ    (ノ)               原a&~原a      ヌネ&I
         ヌ    (ハ)            ~(~原a&~林a)     ニノRAA
          ヒ   (ヒ)               林a          A
        ニ     (フ)              ~林a          ニ&E
        ニ ヒ   (ヘ)               林a&~林a      ヒフ&I
          ヒ   (ホ)            ~(~原a&~林a)     ニヘRAA
1      ソ      (マ)            ~(~原a&~林a)     ナヌハヒホ∨E
           ミ  (ミ)              ~原a          A
            ム (ム)                  ~林a      A
           ミム (メ)              ~原a&~林a      ミム&I
1      ソ   ミム (モ)            ~(~原a&~林a)&
                              (~原a&~林a)     マメ&I
1      ソ   ミ  (ヤ)                 ~~林a      ムモRAA
1      ソ   ミ  (ユ)                   林a      ヤDN
1      ソ      (ヨ)              ~原a→ 林a      ミユCP
1             (ラ)      犯人a&~森a→~原a→ 林a      ソヨCP
             リ(リ)      犯人a&~森a&犯人a&~原a      A
             リ(ル)      犯人a                  リ&E
             リ(レ)          ~森a              リ&E
             リ(ロ)                  ~原a      リ&E
             リ(ワ)      犯人a&~森a              リレ&I
1            リ(ヰ)              ~原a→ 林a      ラワMPP
1            リ(ヱ)                   林a      ロヰMPP
1            リ(ヲ)                   犯人a&林a  ルヱ&I
1             (あ)   犯人a&~森a&犯人a&~原a→犯人a&林a  リヲCP
1             (い)∀x(犯人x&~森x&犯人x&~原x→犯人x&林x) あUI
(ⅳ)
1             (1)∀x(犯人x&~森x&犯人x&~原x→犯人x&林x) A
1             (2)   犯人a&~森a&犯人a&~原a→犯人a&林a  1UE
 3            (3)   犯人a                     A
  4           (4)       ~森a                 A
   5          (5)               ~原a         A
 34           (6)   犯人a&~森a                 34&I
 34           (7)   犯人a&~森a&犯人a             36&I
 345          (8)   犯人a&~森a&犯人a&~原a         57&I
1345          (9)                   犯人a&林a  28MPP
1345          (ア)                       林a  9&E
134           (イ)               ~原a→林a      5アCP
134           (ウ)                原a∨林a      イ含意の定義
13            (エ)            ~森a→原a∨林a      4CP
13            (オ)             森a∨原a∨林a      エ含意の定義
1             (カ)         犯人a→森a∨原a∨林a      3オCP
1             (キ)      ∀x(犯人x→森x∨原x∨林x)     カUI
従って、
(01)により、
(02)
① ∀x(犯人x→森x∨原x)
② ∀x(犯人x&~森x→原x&犯人x)
③ ∀x(犯人x→森x∨原x∨林x)
④ ∀x(犯人x&~森x&犯人x&~原x→犯人x&林x)
に於いて、すなはち、
① すべてのxについて(xが犯人であるならば、xは森であるか、xは原である)。
② すべてのxについて(xが犯人であって、xが森でないならば、xは原であって、xは犯人である)。
③ すべてのxについて(xが犯人であるならば、xは森であるか、xは原であるか、xは林である)。
④ すべてのxについて(xが犯人であって、xが森ではなく、xが原でもないならば、xは林であって、xは犯人である)。
に於いて、
①=② であって、
③=④ である。
従って、
(02)により、
(03)
(ⅰ)犯人は、森か原である。従って、犯人が森でないならば、犯人は原である。
(ⅱ)犯人は、森か原か林である。従って、犯人が森ではなく、原でもないならば、犯人は林である。
といふ「推論」は、「一階述語論理」としても、「妥当」である。
然るに、
(04)
1 一階述語論理の完全性
トートロジーは証明可能である。これが、一階述語論理の完全性定理とよばれる有名な定理です。
ゲーデルによって証明されましたので、ゲーデルの完全性定理ともよばれています(1 一階述語論理の完全性)。
従って、
(01)~(04)により、
(05)
我々が、
(ⅰ)犯人は、森か原である。従って、犯人が森でないならば、犯人は原である。
(ⅱ)犯人は、森か原か林である。従って、犯人が森ではなく、原でもないならば、犯人は林である。
といふ「推論」を行ふ際には、実際に、我々は、「頭の中」で、
(ⅰ)
1       (1)∀x(犯人x→森x∨原x)      A
1       (2)   犯人a→森a∨原a       1UE
 3      (3)   犯人a             A
13      (4)       森a∨ 原a      23MPP
  5     (5)      ~森a&~原a      A
   6    (6)       森a          A
  5     (7)      ~森a          5&E
  56    (8)       森a&~森a      67&I
   6    (9)    ~(~森a&~原a)     58RAA
    ア   (ア)           原a      A
  5     (イ)          ~原a      5&E
  5 ア   (ウ)       原a&~原a      アイ&I
    ア   (エ)    ~(~森a&~原a)     5ウRAA
13      (オ)    ~(~森a&~原a)     469アエ∨E
     カ  (カ)      ~森a          A
      キ (キ)          ~原a      A
     カキ (ク)      ~森a&~原ア      カキ&I
13   カキ (ケ)    ~(~森a&~原a)&
                (~森a&~原a)     オク&I
13   カ  (コ)         ~~原a      キケRAA
13   カ  (サ)           原a      コDN
13      (シ)       ~森a→原a      カサCP
1       (ス)  犯人a→(~森a→原a)     3シCP
       セ(セ)  犯人a& ~森a         A
       セ(ソ)  犯人a              セ&E
       セ(タ)       ~森a         セ&E
1      セ(チ)       ~森a→原a      スソMPP
1      セ(ツ)           原a      タチMPP
1      セ(テ)           原a&犯人a  ソツ&I
1       (ト)   犯人a&~森a→原a&犯人a  セテCP
1       (ナ)∀x(犯人x&~森x→原x&犯人x) トUI
(ⅱ)
1       (1)∀x(犯人x&~森x→原x&犯人x) A
1       (2)   犯人a&~森a→原a&犯人a  1UE
 3      (3)   犯人a             A
  4     (4)       ~森a         A
 34     (5)   犯人a&~森a         34&I
134     (6)           原a&犯人a  25MPP
134     (7)           原a      6&E
13      (8)       ~森a→原a      47CP
13      (9)        森a∨原a      8含意の定義
1       (ア)    犯人a→森a∨原a)     39CP
1       (イ) ∀x(犯人x→森x∨原x)     アUI
といふ「述語計算(Predicate Calculus)」を、「実行してゐる」。
といふこと、そのやうなことは、「本当」なのだらうか(?)。


(885)「強調形」と「Wh移動(疑問詞の前置)」と「排他的命題」。

2021-05-11 18:17:56 | 「は」と「が」

(01)
清家:Becauseの位置、最初に置くか、最後に置くか、これって、何か、違いがあるの、ネイティブ的には、
光岡:いい、クエスションです。それはねぇ。違いはあります。めっちゃ。
清家:あるんだ。
光岡:後半にもって来るほうが、ナチュラル。
清家:へえ~、そうなんや。
清家:じゃ、I will play soccer because I like it.のほうがいいんだ。
光岡:because I like it.そう。
清家:へえ~、なるほどね。
光岡:文頭にもって来ると、何が起こるかって、言うと、『強調』されます。めっちゃ理由が、
(StudyInネイティブ英会話)
従って、
(01)により、
(02)
「後置」が「原則」である際に、「敢へて、前置」をすると、「強調」が「発生」する。
然るに、
(03)
前置による強調
動詞についての目的語は、その動詞の後に置かれるのが、漢語における基本構造としての単語の配列のしかたである。また、漢語における介詞は、ほとんど、動詞から発達したものであって、その目的語も、その介詞の後に置かれるのが、通則であるということができる。しかし、古代漢語においては、それらの目的語が疑問詞である場合には、いずれも、その動詞・介詞の前におかれている。このように、漢語としての通常の語順を変えて、目的語疑問詞前置することは、疑問文において、その疑問の中心になっている疑問詞を、特に強調したものにちがいない。
(鈴木直治、中国語と漢文、1975年、334・5頁)
従って、
(02)(03)により、
(04)
「後置」が「原則」である「目的語」に対して、
前置」をすることによって、「(目的語としての)漢文の疑問詞」は、「強調」される。
然るに、
(05)
「英語」の「語順」も、「漢文」と同じく、「主語+動詞+目的語」であるため、例へば、
「Do you want what?」に対する、「What do you want?」の「What」も、「強調」されてゐる(た)。
といふ風に、解することが、可能である。
cf.
Wh移動(生成文法)。
従って、
(04)(05)により、
(06)
「何欲しいですか。」に於ける、「何What)」も、あるいは、「強調」されてゐる。
然るに、
(07)
① 何欲しいですか。
② 何は欲しいですか。
に於いて、
① は、「日本語」であるが、
② は、「日本語」ではない。
同様に、
(08)
① 誰犯人か。
② 誰は犯人か。
に於いて、
① は、「日本語」であるが、
② は、「日本語」ではない。
然るに、
(09)
①「誰」の「」は、「音」であって、
②「誰は」の「は」は、「清音」である。
然るに、
(10)
清音の方は、小さくきれいで速い感じで、コロコロと言うと、ハスの上を水玉がころがるような時の形容である。ロと言うと、大きく荒い感じで、力士が土俵でころがる感じである(金田一春彦、日本語(上)、1988年、131頁)。もし濁音を発音するときの物理的・身体的な口腔の膨張によって「音=大きい」とイメージがつくられているのだとしたら、面白いですね。この仮説が正しいとすると、なぜ英語話者や中国語話者も濁音に対して「大きい」というイメージを持っているか説明がつきます(川原繁人、音とことばの不思議な世界、2015年、13頁)。
(11)
音」の方が、「清音」よりも、「心理的な音量」が「大きい」。
従って、
(09)(10)(11)により、
(12)
①「誰音)」は、
②「誰は(清音)」に対する、「強調形」である。
然るに、
(13)
(ⅰ)
1       (1)∀x(犯人x→森x∨原x)      A
1       (2)   犯人a→森a∨原a       1UE
 3      (3)   犯人a             A
13      (4)       森a∨ 原a      23MPP
  5     (5)      ~森a&~原a      A
   6    (6)       森a          A
  5     (7)      ~森a          5&E
  56    (8)       森a&~森a      67&I
   6    (9)    ~(~森a&~原a)     58RAA
    ア   (ア)           原a      A
  5     (イ)          ~原a      5&E
  5 ア   (ウ)       原a&~原a      アイ&I
    ア   (エ)    ~(~森a&~原a)     5ウRAA
13      (オ)    ~(~森a&~原a)     469アエ∨E
     カ  (カ)      ~森a          A
      キ (キ)          ~原a      A
     カキ (ク)      ~森a&~原ア      カキ&I
13   カキ (ケ)    ~(~森a&~原a)&
                (~森a&~原a)     オク&I
13   カ  (コ)         ~~原a      キケRAA
13   カ  (サ)           原a      コDN
13      (シ)       ~森a→原a      カサCP
1       (ス)  犯人a→(~森a→原a)     3シCP
       セ(セ)  犯人a& ~森a         A
       セ(ソ)  犯人a              セ&E
       セ(タ)       ~森a         セ&E
1      セ(チ)       ~森a→原a      スソMPP
1      セ(ツ)           原a      タチMPP
1      セ(テ)           原a&犯人a  ソツ&I
1       (ト)   犯人a&~森a→原a&犯人a  セテCP
1       (ナ)∀x(犯人x&~森x→原x&犯人x) トUI
(ⅱ)
1       (1)∀x(犯人x&~森x→原x&犯人x) A
1       (2)   犯人a&~森a→原a&犯人a  1UE
 3      (3)   犯人a             A
  4     (4)       ~森a         A
 34     (5)   犯人a&~森a         34&I
134     (6)           原a&犯人a  25MPP
134     (7)           原a      6&E
13      (8)       ~森a→原a      47CP
13      (9)        森a∨原a      8含意の定義
1       (ア)    犯人a→森a∨原a)     39CP
1       (イ) ∀x(犯人x→森x∨原x)     アUI
従って、
(13)により、
(14)
① ∀x(犯人x→ 森x∨原x)
② ∀x(犯人x&~森x→原x&犯人x)
に於いて、
①=② である。
従って、
(14)により、
(15)
① 犯人は、森か原である。従って、
② 犯人が、森(原以外)でないならば、原が犯人である。
に於いて、
①=② である。
従って、
(15)により、
(16)
① 誰犯人か。原犯人である。
② 原は犯人であって、原以外は犯人ではない
に於いて、
①=② である。
然るに、
(17)
② AはBであり、A以外はBでない
といふ「命題」を、「排他的命題(Exclusive proposition)」といふ。
従って、
(12)(16)(17)により、
(18)
① 誰、犯人か。
② 原犯人である。
に於いて、
① は、「排他的命題」であって、
② も、「排他的命題」であって、
① 誰音) は、「強調形」であって、
② 原音) は、「強調形」である。
然るに、
(19)
理事長です。(理事長は私です)
のように、ガの文がいわばハを内蔵していることがあるから、その説明が必要である。このような「私」を強声的になっていると言うことにする。そこに発音上のストレスを与えたのと似た効果を持っているからである(三上章、日本語の論理、1963年、106頁)。
従って、
(19)により、
(20)
① 私理事長です。
に於ける、
① 私音) が「強調形(強声的)」である。
といふことに関しては、三上章 先生自身が、認めてゐる。
然るに、
(21)
1  (1)理事長であるならば、私である。  仮定
 2 (2)          私でない。  仮定
  3(3)理事長である。          仮定
1 3(4)          私である。  13肯定肯定式
123(5)私でないが、私である。      24連言導入
12 (6)理事長でない。          35背理法
1  (7)私でないならば、理事長ではない。 26条件法
(ⅲ)
1  (1)私でないならば、理事長ではない。 仮定
 2 (2)        理事長である。  仮定
  3(3)私でない。            仮定
1 3(4)        理事長でない。  13肯定肯定式
123(5)理事長であるが、理事長でない。  24連言導入
12 (6)私でない、ではない。       35背理法
12 (7)私である。            6二重否定
1  (8)理事長であるならば、私である。  27条件法
従って、
(21)により、
(22)
② 理事長であるならば、私である。
③ 私でないならば、理事長でない。
に於いて、
②=③ は、「対偶(Contraposition)」である。
従って、
(22)により、
(23)
② 理事長は、私です。
③ 私以外は、理事長でない。
に於いて、
②=③ は、「対偶(Contraposition)」である。
従って、
(19)(23)により、
(24)
① 私理事長です。
理事長は、私です。
③ 私以外は、理事長でない
に於いて、
①=②=③ である。
といふことを、三上章 先生自身が、認めてゐる。
従って、
(17)(20)(24)により、
(25)
① 私理事長です。
に於ける、
① 私音) が「強調形(強声的)」である。
といふこと、並びに、
① 私理事長です。
といふ「日本語」が、「排他的命題」である。
といふことを、三上章 先生自身が、認めてゐる。


(884)「森山が犯人でないならば、中野が犯人である。」の「述語論理」。

2021-05-11 13:06:19 | 論理

(01)
「ソクラテスは人間である」という一つの文は、
(xはソクラテスである)(xは人間である)
という、もっとも基本的な主語―述語からなる二つの文の特定の組み合わせと考えることができる。
(沢田允茂、現代論理学入門、1962年、118頁)
従って、
(01)により、
(02)
① ソクラテスx&人間x
② ソクラテスは、人間である。
に於いて、
①=② である。
従って、
(02)により、
(03)
① 森山x&~犯人x
② 森山は、 犯人ではない。
に於いて、
①=② である。
然るに、
(04)
③ m≠x&犯人x
④ mはxではなく、xは犯人である。
に於いて、
③=④ である。
然るに、
(05)
④ mはxではなく、xは犯人である。
⑤ mは、犯人ではない。
に於いて、
④=⑤ である。
従って、
(04)(05)により、
(06)
③ m≠x&犯人x
④ mは、 犯人ではない。
に於いて、
③=④ である。
然るに、
(07)
第一に、 固有名詞をつぎの符号のひとつとして定義する。
 m、n、・・・・・
第二に、任意の名詞をつぎの符号のひとつとして定義する。
 a、b、c、・・・・・
第三に、 個体変数をつぎの符号のひとつとして定義する。
 x、y、z、・・・・・
(論理学初歩、E.J.レモン、竹尾 治一郎・浅野 楢英 訳、1973年、176頁)
従って、
(06)(07)により、
(08)
m(固有名詞)=森山
とするならば、
③ m≠x&犯人x
④ 森山は、犯人ではない。
に於いて、
③=④ である。
従って、
(03)(08)により、
(09)
m(固有名詞)=森山
とするならば、
① 森山x&~犯人x
② 森山は、 犯人ではない。
③ m≠x& 犯人x
④ 森山は、 犯人ではない。
に於いて、
①=② であって、
③=④ である。
従って、
(09)により、
(10)
① 森山は、 犯人ではない。
といふ「日本語」には、
② 森山x&~犯人x
③ m≠x& 犯人x
といふ、「2通り」の「述語論理式」が、「対応」する。
然るに、
(11)
(ⅰ)
1       (1) ∀x(犯人x→m=x∨n=x)    A
1       (2)    犯人a→m=a∨n=a     1UE
 3      (3)    犯人a             A
13      (4)        m=a∨n=a     23MPP
  5     (5)        m≠a&n≠a     A
   6    (6)        m=a         A
  5     (7)        m≠a         5&E
  56    (8)        m=a&m≠a     67&I
   6    (9)      ~(m≠a&n≠a)    58RAA
    ア   (ア)            n=a     A
  5     (イ)            n≠a     5&E
  5 ア   (ウ)        n=a&n=a     アイ&I
    ア   (エ)      ~(m≠a&n≠a)    5ウRAA
13      (オ)      ~(m≠a&n≠a)    469アエ∨E
     カ  (カ)        m≠a         A
      キ (キ)            n≠a     A
     カキ (ク)       (m≠a&n≠a)    カキ&I
13   カキ (ケ)      ~(m≠a&n≠a)&
                  (m≠a&n≠a)    オク&I
13   カ  (コ)          ~(n≠a)    キケRAA
13   カ  (サ)            n=a     コDN
13      (シ)        m≠a→n=a     カサCP
1       (ス)   犯人a→(m≠a→n=a)    3シCP
       セ(セ)   m≠a&犯人a          A
       セ(ソ)       犯人a          セ&E
1      セ(タ)        m≠a→n=a     スソMPP
       セ(チ)   m≠a              セ&E
1      セ(ツ)           n=a      タチMPP
1      セ(テ)           n=a&犯人a  ソツ&I
1       (ト)   m≠a&犯人a→n=a&犯人a  セテCP
1       (ナ)∀x(m≠x&犯人x→n=x&犯人x) トUI
(ⅱ)
1       (1)∀x(m≠x&犯人x→n=x&犯人x) A
1       (2)   m≠a&犯人a→n=a&犯人a  1UE
 3      (3)   m≠a              A
  4     (4)       犯人a          A
 34     (5)   m≠a&犯人a          34&I
134     (6)           n=a&犯人a  25MPP
134     (7)           n=a      6&E
1 4     (8)       m≠a→n=a      37CP
1 4     (9)       m=a∨n=a      8含意の定義
1       (ア)   犯人a→m=a∨n=a      49CP
1       (イ)∀x(犯人x→m=x∨n=x)     アUI
従って、
(11)により、
(12)
① ∀x(犯人x→m=x∨n=x)
② ∀x(m≠x&犯人x→n=x&犯人x)
に於いて、
①=② である。
従って、
(07)(12)により、
(13)
m(固有名詞)=森山
n(固有名詞)=中野
とするならば、
① ∀x(犯人x→森山=x∨中野=x)
② ∀x(森山≠x&犯人x→中野=x&犯人x)
に於いて、
①=② である。
従って、
(13)により、
(14)
① すべてのxについて(犯人がxであるならば、森山がxであるか、中野がxである)。
② すべてのxについて(森山がxでなくて、xが犯人であるならば、中野がxであって、xは犯人である)。
に於いて、
①=② である。
従って、
(14)により、
(15)
① 犯人は、森山か、中野である。従って、
② 森山が、犯人でないならば、中野犯人である。
といふ「推論」は、「述語論理」としても、「妥当」である。