「私が大野です（大野は私です）。」は「既知・未知」とは関係がない。

― 長い間、「返り点」に関する「記事」を書いてゐません。「返り点と括弧」に関しては、
（α）「返り点」と「括弧」に付いて。　：（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）
１　　　（１）∀ｘ｛大野ｘ→　∃ｙ（私ｙ＆ｘ＝ｙ）｝　Ａ
１　　　（２）　　　大野ａ→　∃ｙ（私ｂ＆ａ＝ｙ）　　１ＵＩ
　３　　（３）　　　　　　　　∀ｙ（私ｙ→ａ≠ｙ）　　Ａ
　３　　（４）　　　　　　　　　　　私ｂ→ａ≠ｂ　　　３ＵＥ
　３　　（５）　　　　　　　　　　～私ｂ∨ａ≠ｂ　　　４含意の定義
　３　　（６）　　　　　　　　　～（私ｂ＆ａ＝ｂ）　　５ド・モルガンの法則
　３　　（７）　　　　　　　∀ｙ～（私ｙ＆ａ＝ｙ）　　６ＵＩ
　３　　（８）　　　　　　　～∃ｙ（私ｙ＆ａ＝ｙ）　　７量化子の関係
１３　　（９）　　～大野ａ　　　　　　　　　　　　　　２８ＭＴＴ
１　　　（ア）　　∀ｙ（私ｙ→ａ≠ｙ）→～大野ａ　　　３９ＣＰ
　　イ　（イ）　　　　　私ｂ→ａ≠ｂ　　　　　　　　　Ａ
　　イ　（ウ）　　∀ｙ（私ｙ→ａ≠ｙ）　　　　　　　　イＵＩ
１　イ　（エ）　　　　　　　　　　　　　～大野ａ　　　アウＭＰＰ
１　　　（オ）　　　　　私ｂ→ａ≠ｂ　→～大野ａ　　　イエＣＰ　　
　　　カ（カ）　　　　　私ｂ＆ａ≠ｂ　　　　　　　　　Ａ
　　　カ（キ）　　　　　私ｂ　　　　　　　　　　　　　カ＆Ｅ
１　　カ（ク）　　　　　　　　ａ≠ｂ　→～大野ａ　　　オキＭＰＰ
　　　カ（カ）　　　　　　　　ａ≠ｂ　　　　　　　　　カ＆Ｅ
１　　カ（ケ）　　　　　　　　　　　　　～大野ａ　　　クカＭＰＰ
１　　　（コ）　　　　　私ｂ＆ａ≠ｂ　→～大野ａ　　　カケＣＰ
１　　　（サ）　　∀ｙ（私ｙ＆ａ≠ｙ　→～大野ａ）　　コＵＩ
１　　　（シ）∀ｘ∀ｙ（私ｙ＆ｘ≠ｙ　→～大野ｘ）　　サＵＩ
（02）
１　　（１）～∀ｘ∀ｙ（私ｙ＆ｘ≠ｙ　→～大野ｘ）　Ａ
１　　（２）∃ｘ～∃ｙ（私ｙ＆ｘ≠ｙ　→～大野ｘ）　量化子の関係
１　　（３）∃ｘ∃ｙ～（私ｙ＆ｘ≠ｙ　→～大野ｘ）　量化子の関係
　４　（４）　　∃ｙ～（私ｙ＆ａ≠ｙ　→～大野ａ）　Ａ
　　５（５）　　　　～（私ｂ＆ａ≠ｂ　→～大野ａ）　Ａ
　　５（６）　　～［～（私ｂ＆ａ≠ｂ）∨～大野ａ］　５含意の定義
　　５（７）　　　～～（私ｂ＆ａ≠ｂ＆～～大野ａ）　６ド・モルガンの法則
　　５（８）　　　　　（私ｂ＆ａ≠ｂ＆　　大野ａ）　７ＤＮ
　　５（９）　　　∃ｙ（私ｙ＆ａ≠ｙ＆　　大野ａ）　８ＥＩ
　４　（ア）　　　∃ｙ（私ｙ＆ａ≠ｙ＆　　大野ａ）　４５９ＥＥ
　４　（イ）　∃ｘ∃ｙ（私ｙ＆ｘ≠ｙ＆　　大野ｘ）　アＥＩ
１　　（ウ）　∃ｘ∃ｙ（私ｙ＆ｘ≠ｙ＆　　大野ｘ）　１４イＥＥ
従って、
（01）（02）により、
（03）
② ∀ｘ｛大野ｘ→∃ｙ（私ｙ＆ｘ＝ｙ）｝
③ ∀ｘ∀ｙ（私ｙ＆ｘ≠ｙ→～大野ｘ）
④ ∃ｘ∃ｙ（私ｙ＆ｘ≠ｙ＆  大野ｘ）
に於いて、
②と③は「対偶（Contraposition）」であり、
④は③の「否定」、すなはち、②の「否定」である。
従って、
（03）により、
（04）
② すべてのｘについて、ｘが大野であるならば、あるｙは私であって、ｘはｙに等しい。
③ すべてのｘと、すべてのｙについて、ｙが私であり、ｘとｙが等しくなければ、ｘは大野ではない。
④ あるｘとあるｙについて、ｙは私であり、ｘとｙは等しくはなく、ｙは大野である。
に於いて、
②と③は「対偶（Contraposition）」であり、
④は③の「否定」、すなはち、②の「否定」である。
従って、
（04）により、
（05）
② 大野は私です。
③ 私以外は大野ではない。
④ 私も大野です。
に於いて、
②と③は「対偶（Contraposition）」であり、
④は③の「否定」、すなはち、②の「否定」である。
然るに、
（06）
命題「AならばB」の真偽とその対偶「BでないならAでない」の真偽とは必ず一致する(すなわち真理値が等しい）。
（ウィキペディア）
従って、
（05）（06）により、
（07）
② 大野は私です（大野ならば私です）＝∀ｘ｛大野ｘ→∃ｙ（私ｙ＆ｘ＝ｙ）｝。
③ 私以外は大野ではない（私でなければ大野ではない）＝∀ｘ∀ｙ（私ｙ＆ｘ≠ｙ→～大野ｘ）。
といふ「対偶（Contraposition）」は、「必然的に、等しい」。
然るに、
（08）
（３）　未知と既知
この組み合わせは次のような場合に現われる。
　私が大野です。
これは、「大野さんはどちらですか」というような問いに対する答えとして使われる。つまり文脈において、「大野」なる人物はすでに登場していて既知である。ところが、それが実際にどの人物なのか、その帰属する先が未知である。その未知の対象を「私」と表現して、それをガで承けた。それゆえこの形は、
　大野は私です。
に置きかえてもほぼ同じ意味を表わすといえる（大野晋、日本語の文法を考える、1978年、３４頁）。
従って、
（07）（08）により、
（09）
① 私が大野です。
② 大野は私です。
③ 私以外は大野ではない。
に於いて、
①＝②＝③
といふ「等式」が、成立する。
従って、
（07）（08）（09）により、
（10）
（ⅰ）私以外は大野ではない。
（ⅱ）私以外も大野である。
と言ふ「必要」がある場合には、それぞれ、
（ⅰ）私が大野です（大野は私です）。
（ⅱ）私も大野です。
と言ひ、さうではない場合には、
（ⅲ）私は大野です。
と言ふ、ことになる。
然るに、
（11）
（１）　既知と未知
　私は大野です。
という文は、檀の上に立って私なるものが聴衆に見えている。それで、私なる存在については相手もこれをみて知っている、すると、それを既知扱いにして「私は大野です」という。この「大野です」という部分は実は未知の部分にあたり、「私は（ダレカトイウト）大野です」の意味である。
（大野晋、日本語の文法を考える、1978年、２４・２５頁）
従って、
（11）により、
（12）
① 私（既知）は大野（未知）です。
である。
然るに、
（13）
① 私（既知）は大野（未知）です。
であるならば、
① 大野（未知）＝私の名前（未知）
である。
従って、
（12）（13）により、
（14）
② 私の名前（未知）は大野（未知）です。
③ あなたの名前（は未知だから）は何（未知）ですか（と質問する）。
である。
ｃｆ.
③ What（未知） is your name（未知でなければ質問しない）?
従って、
（12）（13）（14）により、
（15）
① 　　　　　私（既知）は大野（未知）です。
② 　　私の名前（未知）は大野（未知）です。
③ あなたの名前（未知）は　何（未知）ですか。
である。
従って、
（15）により、
（16）
（１）Ａ（既知）はＢ（未知）である。
といふことには、ならない。
令和元年０７月２１日、毛利太。