「私は大野です。」の「～は」は「既知・未知」とは関係ない。

（01）
― 長い間、「返り点」に関する「記事」を書いてゐません。「返り点と括弧」に関しては、
（α）「返り点」と「括弧」に付いて。　：（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）⇒
　Ｗｅｂ上には存在しますが、何故か、アクセス出来ません。
（η）「一二点・上下点」に付いて。　　：（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）
（３）　未知と既知
この組み合わせは次のような場合に現われる。
　私が大野です。
これは、「大野さんはどちらですか」というような問いに対する答えとして使われる。つまり文脈において、「大野」なる人物はすでに登場していて既知である。ところが、それが実際にどの人物なのか、その帰属する先が未知である。その未知の対象を「私」と表現して、それをガで承けた。それゆえこの形は、
　大野は私です。
に置きかえてもほぼ同じ意味を表わすといえる（大野晋、日本語の文法を考える、1978年、３４頁）。
従って、
（01）により、
（02）
① 私が大野です。
② 大野は私です。
に於いて、
①＝② である。
然るに、
（03）
② 大野は私です。
といふことは、
② 大野ならば私である。
といふことである。
然るに、
（04）
（ⅱ）
１　　（１）　Ｐ→　Ｑ　Ａ
　２　（２）　Ｐ　　　　Ａ
　　３（３）　　　～Ｑ　Ａ
１２　（４）　　　　Ｑ　１２ＭＰＰ
１２３（５）　～Ｑ＆Ｑ　３４＆Ｉ
１　３（６）～Ｐ　　　　２５ＲＡＡ
１　　（７）～Ｑ→～Ｐ　３６ＣＰ
（ⅱ）
１　　（１）～Ｑ→～Ｐ　Ａ
　２　（２）～Ｑ　　　　Ａ
　　３（３）　　　　Ｐ　Ａ
１２　（４）　　　～Ｐ　１２ＭＰＰ
１２３（５）　Ｐ＆～Ｐ　３４＆Ｉ
１　３（６）　　～～Ｑ　２５ＲＡＡ
１　３（７）　　　　Ｑ　６ＤＮ
１　　（８）　Ｐ→　Ｑ　３７ＣＰ
従って、
（04）により、
（05）
（ⅱ）
１　　（１）ＰならばＱである　　　　Ａ
　２　（２）Ｐである　　　　　　　　Ａ
　　３（３）　　　　Ｑでない　　　　Ａ
１２　（４）　　　　Ｑである　　　　１２ＭＰＰ
１２３（５）ＱでなくてＱである　　　３４＆Ｉ
１　３（６）Ｐでない　　　　　　　　２５ＲＡＡ
１　　（７）ＱでないならばＰでない　３６ＣＰ
（ⅲ）
１　　（１）ＱでないならばＰでない　Ａ
　２　（２）Ｑでない　　　　　　　　Ａ
　　３（３）　　　　　　　Ｐである　Ａ
１２　（４）　　　　　　　Ｐでない　１２ＭＰＰ
１２３（５）ＰであってＰでない　　　３４＆Ｉ
１　３（６）Ｑでないでない　　　　　２５ＲＡＡ
１　３（７）Ｑである　　　　　　　　６ＤＮ
１　　（８）ＰであるならばＱである　３７ＣＰ
従って、
（05）により、
（06）
（ⅱ）
１　　（１）大野ならば私である　　　　Ａ
　２　（２）大野である　　　　　　　　Ａ
　　３（３）　　　　　私でない　　　　Ａ
１２　（４）　　　　　私である　　　　１２ＭＰＰ
１２３（５）私でなくて私である　　　　３４＆Ｉ
１　３（６）大野でない　　　　　　　　２５ＲＡＡ
１　　（７）私でないならば大野でない　３６ＣＰ
（ⅲ）
１　　（１）私でないならば大野でない　Ａ
　２　（２）私でない　　　　　　　　　Ａ
　　３（３）　　　　　　　大野である　Ａ
１２　（４）　　　　　　　大野でない　１２ＭＰＰ
１２３（５）　大野であって大野でない　３４＆Ｉ
１　３（６）私でないでない　　　　　　２５ＲＡＡ
１　３（７）私である　　　　　　　　　６ＤＮ
１　　（８）大野であるならば私である　３７ＣＰ
従って、
（04）（05）（06）により、
（07）
② 大野ならば私である。
③ 私でないならば大野でない。
に於いて、「両者」は、「対偶（Contraposition）」である。
然るに、
（08）
③ 私でないならば大野でない。
といふことは、
③ 私以外は大野ではない。
といふことである。
従って、
（02）（03）（07）（08）により、
（09）
① 私が大野です。
② 大野は私です。
③ 私以外は大野ではない。
に於いて、
①＝②＝③ である。
然るに、
（10）
③ 私以外は大野ではない。
④ 私以外も大野である。
に於いて、
③と④ は「矛盾」する。
然るに、
（11）
（ⅲ）
１　　（１）∃ｘ｛私ｘ＆大野ｘ＆～∀ｙ（ｘ≠ｙ→～大野ｙ）｝　Ａ
　２　（２）　　　私ａ＆大野ａ＆～∀ｙ（ａ≠ｙ→～大野ｙ）　　Ａ
　２　（３）　　　私ａ＆大野ａ　　　　　　　　　　　　　　　　２＆Ｅ
　２　（４）　　　　　　　　　　～∀ｙ（ａ≠ｙ→～大野ｙ）　　２＆Ｅ
　２　（５）　　　　　　　　　　∃ｙ～（ａ≠ｙ→～大野ｙ）　　４量化子の関係
　　６（６）　　　　　　　　　　　　～（ａ≠ｂ→～大野ｂ）　　Ａ
　　６（７）　　　　　　　　　　　　～（ａ＝ｂ∨～大野ｂ）　　６含意の定義
　　６（８）　　　　　　　　　　　　　　ａ≠ｂ＆　大野ｂ　　　７ド・モルガンの法則
　　６（９）　　　　　　　　　　　∃ｙ（ａ≠ｙ＆　大野ｙ）　　８ＥＩ
　２　（ア）　　　　　　　　　　　∃ｙ（ａ≠ｙ＆　大野ｙ）　　５６９ＥＥ
　２　（イ）　　　　私ａ＆大野ａ＆∃ｙ（ａ≠ｙ＆　大野ｙ）　　２９＆Ｉ
　２　（ウ）　∃ｘ｛私ｘ＆大野ｘ＆∃ｙ（ｘ≠ｙ＆　大野ｙ）｝　イＥＩ
１　　（エ）　∃ｘ｛私ｘ＆大野ｘ＆∃ｙ（ｘ≠ｙ＆　大野ｙ）｝　１２ウＥＥ
（ⅳ）
１　　（１）∃ｘ｛私ｘ＆大野ｘ＆～∃ｙ（ｘ≠ｙ＆　大野ｙ）｝　Ａ
　２　（２）　　　私ａ＆大野ａ＆～∃ｙ（ａ≠ｙ＆　大野ｙ）　　Ａ
　２　（３）　　　私ａ＆大野ａ　　　　　　　　　　　　　　　　２＆Ｅ
　２　（４）　　　　　　　　　　～∃ｙ（ａ≠ｙ＆　大野ｙ）　　２＆Ｅ
　２　（５）　　　　　　　　　　∀ｙ～（ａ≠ｙ＆　大野ｙ）　　４量化子の関係
　２　（６）　　　　　　　　　　　　～（ａ≠ｂ＆　大野ｙ）　　５ＵＥ
　２　（７）　　　　　　　　　　　　　～ａ≠ｂ∨～大野ｂ　　　６ド・モルガンの法則
　２　（８）　　　　　　　　　　　　　　ａ≠ｂ→～大野ｂ　　　７含意の定義
　２　（９）　　　　　　　　　　　∀ｙ（ａ≠ｂ→～大野ｂ）　　８ＵＩ
　２　（ア）　　　　私ａ＆大野ａ＆∀ｙ（ａ≠ｂ→～大野ｂ）　　２９＆Ｉ
　２　（イ）　∃ｘ｛私ｘ＆大野ｘ＆∃ｙ（ｘ≠ｙ＆　大野ｙ）｝　アＥＩ
１　　（ウ）　∃ｘ｛私ｘ＆大野ｘ＆∃ｙ（ｘ≠ｙ＆　大野ｙ）｝　１２イＥＥ
従って、
（10）（11）により、
（12）
③ 私以外は大野ではない。
④ 私以外も大野である。
③ ∃ｘ｛私ｘ＆大野ｘ＆∀ｙ（ｘ≠ｙ→～大野ｙ）｝
④ ∃ｘ｛私ｘ＆大野ｘ＆∃ｙ（ｘ≠ｙ＆　大野ｙ）｝
③ あるｘは私であって、大野であって、すべてｙについて、ｙがｘでないならば、ｙは大野ではない。
④ あるｘは私であって、大野であって、あるｙは、ｘではないが、大野である。
に於いて、
③と④ は「矛盾」する。
然るに、
（13）
④ あるｘは私であって、大野であって、あるｙは、ｘではないが、大野である。
といふことは、
④ 私も大野です。
といふことである。
従って、
（14）
① 私が大野です＝∃ｘ｛私ｘ＆大野ｘ＆∀ｙ（ｘ≠ｙ→～大野ｙ）｝
④ 私も大野です＝∃ｘ｛私ｘ＆大野ｘ＆∃ｙ（ｘ≠ｙ＆　大野ｙ）｝
であって、両者は、「矛盾」する。
然るに、
（15）
だから文はその二つの要素の組み合せによって、成り立ち、そこには四つの型がつくられる。
　（１）既知（扱い）と未知（扱い）
　（２）既知（扱い）と既知（扱い）
　（３）未知（扱い）と既知（扱い）
　（４）未知（扱い）と未知（扱い）
はじめに既知がくる（１）と（２）では、既知（あるいは既知扱い）の下にハという助詞を使う。また（３）と（４）では未知（あるいは未知扱い）の下にガという助詞を使う。これが現代日本語の文の基本構造である。まず（１）の文例を示そう。
（１）　既知と未知
　私は大野です。
という文は、檀の上に立って私なるものが聴衆に見えている。それで、私なる存在については相手もこれをみて知っている、すると、それを既知扱いにして「私は大野です」という。この「大野です」という部分は実は未知の部分にあたり、「私は（ダレカトイウト）大野です」の意味である。たとえば、初めての家を訪問した場合に、「私は大野というものですが、御主人は御在宅でしょうか。」という。その場合、「私が大野ですが・・・・・」といえば、対応に出た人は怪訝な顔をする（大野晋、日本語の文法を考える、1978年、２４・２５頁）。
然るに、
（16）
① 初めて、「渡辺さん」の家を訪問した場合に、「私も渡辺という者ですが、御主人は御在宅でしょうか。」
② 初めて、「渡辺さん」の家を訪問した場合に、「私も大野という者ですが、御主人は御在宅でしょうか。」
といふ場合、
① であれば、対応に出た人は怪訝な顔はせずに、
② であれば、対応に出た人は怪訝な顔をする。
然るに、
（17）
② 初めて、「渡辺さん」の家を訪問した場合に、「私も大野という者ですが、御主人（渡辺さん）は御在宅でしょうか。」
③ 初めて、「渡辺さん」の家を訪問した場合に、「私が大野という者ですが、御主人（渡辺さん）は御在宅でしょうか。」
といふ場合、
② であっても、対応に出た人は怪訝な顔はするし、
③ であっても、対応に出た人は怪訝な顔をする。
然るに、
（18）
「～が」に関しては、「私が（未知・未知扱い）」であったとしても。
「～も」に関しては、「私も（未知・未知扱い）」ではないはずである。
従って、
（17）（18）により、
（19）
③ 初めて、「渡辺さん」の家を訪問した場合に、「私が大野という者ですが、御主人（渡辺さん）は御在宅でしょうか。」
といふ場合に、
③「対応に出た人は怪訝な顔をする」際の「理由」が、「既知（扱い）と未知（扱い）」に関連してゐる。といふ「証拠」は無い。
然るに、
（20）
初めての家を訪問した場合に、いきなり、
③ 私が大野です（私以外は大野でない）＝∃ｘ｛私ｘ＆大野ｘ＆∀ｙ（ｘ≠ｙ→～大野ｙ）｝
② 私も大野です（私以外も大野である）＝∃ｘ｛私ｘ＆大野ｘ＆∃ｙ（ｘ≠ｙ＆　大野ｙ）｝
といふのであれば、「対応に出た人が怪訝な顔をするの」は、「当然」である。
令和元年０７月２６日、毛利太。