（305）大野晋先生の言う「が・は」は、「既知・未知」とは「関係」が無い。

（01）
「含意の定義」により、
① ∀ｘ｛　大野ｘ→∃ｙ（私ｙ＆ｘ＝ｙ）｝
② ∀ｘ｛～大野ｘ∨∃ｙ（私ｙ＆ｘ＝ｙ）｝
に於いて、
①＝② である。
然るに、
（02）
② ∀ｘ｛～大野ｘ∨∃ｙ（私ｙ＆ｘ＝ｙ）｝
であれば、仮に、
②「大野なる人物」が、「存在」しないとしても、「本当（真）」である。
然るに、
（03）
① ∀ｘ｛大野ｘ→∃ｙ（私ｙ＆ｘ＝ｙ）｝
ではなく、
② ∃ｘ｛私ｘ＆∀ｙ（大野ｙ→ｘ＝ｙ）｝
であるならば、
②「大野なる人物」が、「存在」しなければ、「ウソ（偽）」である。
従って、
（01）（02）（03）により、
（04）
① すべてのｘについて、ｘが大野であるならば、あるｙは私であって、ｘはｙに等しい。
② あるｘは私であり、　すべてのｙについて、ｙが大野であるならば、ｘはｙに等しい。
に於いて、
① の場合は、「大野なる人物」が「存在」しないとしても、「本当（真）」であり、
② の場合は、「大野なる人物」が「存在」しなければ、　　「ウソ（偽）」である。
従って、
（03）（04）により、
（05）
① ∀ｘ｛大野ｘ→∃ｙ（私ｙ＆ｘ＝ｙ）｝
② ∃ｘ｛私ｘ＆∀ｙ（大野ｙ→ｘ＝ｙ）｝
に於いて、「どちらでも良い」やうに、思へるものの、厳密に言へば、
② が、「正しい」。
然るに、
（06）
（ⅱ）
１　　　　（１）∃ｘ｛私ｘ＆　∀ｙ（大野ｙ→ｘ＝ｙ）｝　Ａ
　２　　　（２）　　　私ａ＆　∀ｙ（大野ｙ→ａ＝ｙ）　　Ａ
　２　　　（３）　　　私ａ　　　　　　　　　　　　　　　２＆Ｅ
　２　　　（４）　　　　　　　∀ｙ（大野ｙ→ａ＝ｙ）　　２＆Ｅ
　２　　　（５）　　　　　　　　 　 大野ｂ→ａ＝ｂ　　　４ＵＥ
　２　　　（６）　　　　　　　　　～大野ｂ∨ａ＝ｂ　　　５含意の定義
　　７　　（７）　　　　　　　　　　大野ｂ＆ａ≠ｂ　　　Ａ
　　　８　（８）　　　　　　　　　～大野ｂ　　　　　　　Ａ
　　７　　（９）　　　　　　　　　　大野ｂ　　　　　　　７＆Ｅ
　　７８　（ア）　　　　　　　　　～大野ｂ＆大野ｂ　　　８９＆Ｉ
　 　 ８　（イ）　　　　　　　　～（大野ｂ＆ａ≠ｂ）　　７アＲＡＡ
　　　　ウ（ウ）　　　　　　　　　　　　　　ａ＝ｂ　　　Ａ
　　７　　（エ）　　　　　　　　　　　　　　ａ≠ｂ　　　７＆Ｉ
　　７　ウ（オ）　　　　　　　　　　ａ＝ｂ＆ａ≠ｂ　　　ウエ＆Ｉ
　　　　ウ（カ）　　　　　　　　～（大野ｂ＆ａ≠ｂ）　　７オＲＡＡ
　２　　　（キ）　　　　　　　　～（大野ｂ＆ａ≠ｂ）　　２８イウカ∨Ｅ
　２　　　（ク）　　　　　　∀ｙ～（大野ｙ＆ａ≠ｙ）　　キＵＩ
　２　　　（ケ）　　　　　　～∃ｙ（大野ｙ＆ａ≠ｙ）　　ク含意の定義
　２　　　（コ）　　　私ａ＆～∃ｙ（大野ｙ＆ａ≠ｙ）　　３ケ＆Ｉ
　２　　　（サ）∃ｘ｛私ｘ＆～∃ｙ（大野ｙ＆ｘ≠ｙ）｝　コＥＩ
１　　　　（シ）∃ｘ｛私ｘ＆～∃ｙ（大野ｙ＆ｘ≠ｙ）｝　１２サＥＥ
（ⅲ）
１　　　　（１）∃ｘ｛私ｘ＆～∃ｙ（大野ｙ＆ｘ≠ｙ）｝　Ａ
　２　　　（２）　　　私ａ＆～∃ｙ（大野ｙ＆ａ≠ｙ）　　Ａ
　２　　　（３）　　　私ａ　　　　　　　　　　　　　　　２＆Ｅ
　２　　　（４）　　　　　　～∃ｙ（大野ｙ＆ａ≠ｙ）　　２＆Ｅ
　２　　　（５）　　　　　　∀ｙ～（大野ｙ＆ａ≠ｙ）　　４含意の定義
　２　　　（６）　　　　　　　　～（大野ｂ＆ａ≠ｂ）　　５ＵＥ
　２　　　（７）　　　　　　　～大野ｂ∨～（ａ≠ｂ）　　６ド・モルガンの法則
　２　　　（８）　　　　　　　　　～大野ｂ∨ａ＝ｂ　　　７ＤＮ
　２　　　（９）　　　　　　　　　　大野ｂ→ａ＝ｂ　　　８含意の定義
　２　　　（ア）　　　　　　　∀ｙ（大野ｙ→ａ＝ｙ）　　９ＵＩ
　２　　　（イ）　　　私ａ＆　∀ｙ（大野ｙ→ａ＝ｙ）　　３ア＆Ｉ
　２　　　（ウ）∃ｘ｛私ｘ＆　∀ｙ（Ｆｙ→ｘ＝ｙ）｝　　イＥＩ
１　　　　（エ）∃ｘ｛私ｘ＆　∀ｙ（Ｆｙ→ｘ＝ｙ）｝　　１２ウＥＥ＆
従って、
（06）により、
（07）
② ∃ｘ｛私ｘ＆　∀ｙ（大野ｙ→ｘ＝ｙ）｝
③ ∃ｘ｛私ｘ＆～∃ｙ（大野ｙ＆ｘ≠ｙ）｝
に於いて、
②＝③ である。
従って、
（07）により、
（08）
② あるｘは私であり、すべてのｙについて、ｙが大野であるならば、ｘはｙに等しい。
③ あるｘは私であり、あるｙが大野であって、そのｙがｘと等しくない。といふことはない。
に於いて、
②＝③ である。
然るに、
（09）
② あるｘは私であり、すべてのｙについて、ｙが大野であるならば、ｙ（大野）はｘ（私）に等しい。
③ あるｘは私であり、あるｙが大野であって、そのｙ（大野）がｘ（私）と等しくない。といふことはない。
といふことは、要するに、
② 大野は私である。
③ 私以外は大野ではない。
といふ、ことである。
然るに、
（10）
② 大野は私である。
③ 私以外は大野ではない。
といふことは、
② 大野ならば私である。
③ 私でないならば大野ではない。
といふことに、他ならない。
然るに、
（11）
命題「ＡならばＢ」の真偽とその対偶「ＢでないならＡでない」の真偽とは必ず一致する(すなわち真理値が等しい）。
（ウィキペディア）
従って、
（06）～（11）により、
（12）
② 大野は私である（大野ならば私である）。
③ 私以外は大野ではない（私でないならば大野ではない）。
は、「対偶（Contraposition）」であるため、「必然的」に、「等しい」。
然るに、
（13）
（３）　未知と既知
この組み合わせは次のような場合に現われる。
　私が大野です。
これは、「大野さんはどちらですか」というような問いに対する答えとして使われる。つまり文脈において、「大野」なる人物はすでに登場していて既知である。ところが、それが実際にどの人物なのか、その帰属する先が未知である。その未知の対象を「私」と表現して、それをガで承けた。それゆえこの形は、
　大野は私です。
に置きかえてもほぼ同じ意味を表わすといえる（大野晋、日本語の文法を考える、1978年、３４頁）。
従って、
（12）（13）により、
（14）
① 私が大野です。
② 大野は私です。
③ 私以外は大野ではない。
に於いて、
①＝②＝③ である。
従って、
（14）により、
（15）
③ 私以外は大野ではない。
といふことを、言ひたければ、その場合は、
① 私が大野です（大野は私です）。
と、言へば良い。
従って、
（16）
③ 私以外は大野ではない。
といふことを、言ひたくなければ、その場合は、
④ 私は大野です。
と、言へば良い。
然るに、
（17）
⑤ 大野さんはどちらですか。
といふのであれば、
⑤ 大野さんはどちらですか。
といふ「質問」をする人物は、自分の目の前に、
⑤ 「大野といふ人物」と、「大野以外の人物」がゐる。
といふ風に、「想定」してゐる。
といふ、ことになる。
従って、
（15）～（17）により、
（18）
③ 私以外は大野ではない。
といふことが、「本当」である際に、
⑤ 大野さんはどちらですか。
といふ「質問」に対して、
① 私が大野です（私以外は大野ではない）。
といふ風に、答へることは、「自然」である。
従って、
（18）により、
（19）
逆に言へば、
⑤ 大野さんはどちらですか。
といふ「質問」がされてゐる、わけでは無いにも、拘らず、いきなり、
① 私が大野です（私以外は大野ではない）。
と、言ふのであれば、「自然」はなく、そのため、相手の側が、怪訝な顔するのは、「当然」である。
従って、
（18）（19）により、
（20）
たとえば、初めての家を訪問した場合に、「私は大野というものですが、御主人は御在宅でしょうか。」という。その場合、「私が大野ですが・・・・・」といえば、対応に出た人は怪訝な顔をする（大野晋、日本語の文法を考える、1978年、２５頁）。
といふことは、「当然」である。
（21）
だから文はその二つの要素の組み合せによって、成り立ち、そこには四つの型がつくられる。
　（１）既知（扱い）と未知（扱い）
　（２）既知（扱い）と既知（扱い）
　（３）未知（扱い）と既知（扱い）
　（４）未知（扱い）と未知（扱い）
はじめに既知がくる（１）と（２）では、既知（あるいは既知扱い）の下にハという助詞を使う。また（３）と（４）では未知（あるいは未知扱い）の下にガという助詞を使う。
（大野晋、日本語の文法を考える、1978年、２５頁）。
然るに、
（22）
「既知と未知」ではない、「既知（扱い）と未知（扱い）」といふ「言ひ方」が、「良く分からない（曖昧である）」。
（23）
（１）　既知と未知
　私は大野です。
という文は、檀の上に立って私なるものが聴衆に見えている。それで、私なる存在については相手もこれをみて知っている、すると、それを既知扱いにして「私は大野です」という。この「大野です」という部分は実は未知の部分にあたり、「私は（ダレカトイウト）大野です」の意味である。
（大野晋、日本語の文法を考える、1978年、２４・２５頁）
従って、
（23）により、
（24）
① 私（既知）は大野（未知）です。
である。
然るに、
（24）により、
（25）
① 私（既知）は大野（未知）です。
といふのであれば、
② 大野（未知）＝私の名前（未知）
でなければ、ならない。
従って、
（24）（25）により、
（26）
① 　　　私（既知）は大野（未知）です。
② 私の名前（未知）は大野（未知）です。
に於いて、
①＝② である。
ｃｆ.
① I am 大野。
② My name is 大野。
従って、
（24）（25）（26）により、
（27）
② 大野（未知・未知扱い）＝私の名前（未知・未知扱い）
ではない。
といふことが、「証明」されなければ、ならない。
従って、
（23）～（27）
（28）
② 私の名前（未知・未知扱い）＝大野（未知・未知扱い）
ではない。
といふことを、「証明」できないのであれば、
　（１）既知（扱い）と未知（扱い）
　（２）既知（扱い）と既知（扱い）
　（３）未知（扱い）と既知（扱い）
　（４）未知（扱い）と未知（扱い）
はじめに既知がくる（１）と（２）では、既知（あるいは既知扱い）の下にハという助詞を使う。
といふ、大野晋先生の「説明」は、「最初の説明」に於いて、「破綻」してゐる。