（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）
初めての家を訪問した場合に、いきなり、
③ 私が大野です（私以外は大野でない）＝∃ｘ｛私ｘ＆大野ｘ＆∀ｙ（ｘ≠ｙ→～大野ｙ）｝
② 私も大野です（私以外も大野である）＝∃ｘ｛私ｘ＆大野ｘ＆∃ｙ（ｘ≠ｙ＆ 大野ｙ）｝
といふのであれば、「対応に出た人が怪訝な顔をするの」は、「当然」である。