「Ｐは（が・も）Ｑである。」と「既知は」と「未知が」。

― 長い間、「返り点」に関する「記事」を書いてゐません。「返り点と括弧」に関しては、
（α）「返り点」と「括弧」に付いて。　：（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）
① ＰはＱである＝（Ｐ→Ｑ）　　　　　　　　　＝ＰならばＱである。
② ＰがＱである＝（Ｐ→Ｑ＆　　～Ｐ→～Ｑ）　＝ＰならばＱであり、　ＰでないならばＱでない。
③ ＰもＱである＝｛Ｐ→Ｑ＆～（～Ｐ→～Ｑ）｝＝ＰならばＱであるが、ＰでないならばＱでない、といふわけではない。
であって、尚且つ、
① ＰはＱである＝（Ｐ→Ｑ）　　　　　　　　　＝ＰはＱである。
② ＰがＱである＝（Ｐ→Ｑ＆　　　Ｑ→　Ｐ）　＝ＰはＱであり、　ＱはＰである。
③ ＰもＱである＝｛Ｐ→Ｑ＆　（～Ｐ＆　Ｑ）｝＝ＰはＱであるが、ＰでなくともＱである。
といふ、ことになる。
従って、
（03）により、
（04）
② ＰはＱであり、ＱはＰである。
ならば、そのときに限って、
② ＰがＱである。
然るに、
（03）により、
（05）
② ＰがＱである＝（Ｐ→Ｑ＆～Ｐ→～Ｑ）　＝ＰはＱであり、Ｐ以外はＱでない。
② ＰがＱである＝（Ｐ→Ｑ＆　Ｑ→　Ｐ）　＝ＰはＱであり、ＱはＰである。
従って、
（05）により、
（06）
② ＰがＱである＝ＰはＱであり、ＱはＰである。
といふことは、
② ＰがＱである＝Ｐ以外はＱでない。
といふことに、他ならない。
従って、
（04）（05）（06）により、
（07）
① ＰがＱである。
② ＰはＱであり、ＱはＰである。
③ ＰはＱであり、Ｐ以外はＱでない。
に於いて、
①＝②＝③ である。
従って、
（07）により、
（08）
① 私が大野です。
② 私は大野であり、大野は私です。
③ 私は大野であり、私以外は大野でない。
に於いて、
①＝②＝③ である。
従って、
（08）により、
（09）
③ 私以外は大野でない。
といふ風に、言ひたいのであれば、その場合は、
① 私が大野です。
② 大野は私です。
といふ風に、言ふことになる。
然るに、
（10）
③ Nobody except me is 大野.
を、「グーグル翻訳」に掛けると、
③ 私以外の誰も大野ではありません。
といふ「日本語」が、出力される。
然るに、
（11）
単なる「自己紹介」であれば、
④ I am 大野．
④ My name is 大野．
であって、
③ Nobody except me is 大野。
とは、言はない。
従って、
（09）（10）（11）により、
（12）
① 私が大野です。
② 大野は私です。
と言ふのであれば、その場合は、単なる「自己紹介」ではなく、
③ 私以外は大野ではない（Nobody except me is 大野）。
といふ風に、言ふことが、「ふさわしい（適当）な場合」である。
然るに、
（13）
③ Ａさんは、大野さんに用があり、
③ Ａさんは、大野さんに会いたがってゐる。
としたら、
① 私が大野です。
② 大野は私です。
③ 私以外は大野ではない（Nobody except me is 大野）。
といふ風に、言ふことは、「さのやうに言ふことが、ふさわしい（適当）な場面で、さのやうに言ってゐる。」といふ、ことになる。
従って、
（13）により、
（14）
① 私が大野です。
② 大野は私です。
③ 私以外は大野ではない（Nobody except me is 大野）。
といふ風に、言ふ場合とは、例へば、
③ Ａさんは、大野さんに用があり、
③ Ａさんは、大野さんに会いたがってゐる。
といふ場合である。
然るに、
（15）
（３）　未知と既知
この組み合わせは次のような場合に現われる。
　私が大野です。
これは、「大野さんはどちらですか」というような問いに対する答えとして使われる。つまり文脈において、「大野」なる人物はすでに登場していて既知である。ところが、それが実際にどの人物なのか、その帰属する先が未知である。その未知の対象を「私」と表現して、それをガで承けた。それゆえこの形は、
　大野は私です。
に置きかえてもほぼ同じ意味を表わすといえる（大野晋、日本語の文法を考える、1978年、３４頁）。
従って、
（08）（14）（15）により、
（16）
① 私が大野です。
② 私は大野であり、大野は私です。
③ 私は大野であり、私以外は大野でない。
に於いて、
①＝②＝③ である。
といふ、ことからすれば、
（３）　未知と既知
この組み合わせは次のような場合に現われる。
　私が大野です。
これは、「大野さんはどちらですか」というような問いに対する答えとして使われる。
といふことは、「単なる偶然」に過ぎない。
然るに、
（17）
（１）　既知と未知
　私は大野です。
という文は、檀の上に立って私なるものが聴衆に見えている。それで、私なる存在については相手もこれをみて知っている、すると、それを既知扱いにして「私は大野です」という。この「大野です」という部分は実は未知の部分にあたり、「私は（ダレカトイウト）大野です」の意味である。
（大野晋、日本語の文法を考える、1978年、２４・２５頁）
然るに、
（18）
① 　　　私は大野です（I am 大野）。
② 私の名前は大野です（My name is 大野）。
であれば、
② 私の名前＝大野
従って、
（17）（18）により、
（19）
① 　　　私（既知）は大野（未知）です。
② 私の名前（未知）は大野（未知）です。
であれば、
① 　　　私（既知）は
② 私の名前（未知）は
であるため、
① 既知＋は
② 未知＋は
である。
従って、
（17）（18）（19）により、
（20）
（１）　既知と未知
　私は大野です。
という文は、檀の上に立って私なるものが聴衆に見えている。それで、私なる存在については相手もこれをみて知っている、すると、それを既知扱いにして「私は大野です」という。
といふことに、ならない。
令和元年０６月２４日、毛利太。