（01）
よく知られているように、「私が理事長です」は語順を変え、
理事長は、私です。
と直して初めて主辞賓辞が適用されのである。また、かりに大倉氏が、
タゴール記念会は、私が理事です。
と言ったとすれば、これは主辞「タゴール記念館」を品評するという心持ちの文である。
（三上章、日本語の論理、1963年、４０・４１頁）
従って、
（01）により、
（02）
① 私が理事長です。
② 理事長は私です。
に於いて、
①＝② である。
然るに、
（03）
② 理事長は私です。 ⇔ 私以外は理事長ではない。
② 理事長ならば私である。⇔ 私でなければ理事長ではない。
は、「対偶（Contraposition）」である。
従って、
（03）により、
（04）
② 理事長は私です。
③ 私以外は理事長ではない。
に於いて、
②＝③ である。
従って、
（02）（03）（04）により、
（05）
① 私が理事長です。
② 理事長は私です。
③ 私以外は理事長ではない。
に於いて、
①＝②＝③ である。
従って、
（05）により、
（06）
① タゴール記念会は、私が理事長です。
② タゴール記念会は、理事長は私です。
③ タゴール記念会は、私以外は理事長ではない。
に於いて、
①＝②＝③ である。
従って、
（06）により、
（07）
① 象は、鼻が長い。
② 象は、長いのは鼻である。
③ 象は、鼻以外は長くない。
に於いて、
①＝②＝③ である。
然るに、
（08）
③ 象は、鼻以外は長くない。⇔
③ 象は鼻は長く、鼻以外は長くない。⇔
③ ∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）｝⇔
③ すべてのｘについて、ｘが象であるならば、あるｙはｘの鼻であって長く、すべてのｚについて、ｚがｘの鼻でないならば、ｚは長くない。
従って、
（07）（08）により、
（09）
① 象は鼻が長い。⇔
① 象は、鼻以外は長くない。⇔
① 象は鼻は長く、鼻以外は長くない。⇔
① ∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）｝⇔
① すべてのｘについて、ｘが象であるならば、あるｙはｘの鼻であって長く、すべてのｚについて、ｚがｘの鼻でないならば、ｚは長くない。
といふ「等式」が、成立する。
然るに、
（10）
（ⅰ）
１ （１）∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆ ∀ｚ（～鼻ｚｘ→～長ｚ）｝ Ａ
１ （２） 象ａ→∃ｙ（鼻ｙａ＆長ｙ）＆ ∀ｚ（～鼻ｚａ→～長ｚ） １ＵＥ
１ （３） 象ａ→∃ｙ（鼻ｙａ＆長ｙ） ２＆Ｅ
１ （４） ∀ｚ（～鼻ｚａ→～長ｚ） ２＆Ｅ
１ （５） ～鼻ｃａ→～長ｃ ４ＵＥ
６ （６） ～鼻ｃａ＆ 長ｃ Ａ
６ （７） ～鼻ｃａ ６＆Ｅ
１６ （８） ～長ｃ ５７ＭＰＰ
６ （９） 長ｃ ６＆Ｅ
１６ （ア） ～長ｃ＆長ｃ ８９＆Ｉ
１ （イ） ～（～鼻ｃａ＆ 長ｃ） ６アＲＡＡ
１ （ウ） ∀ｚ～（～鼻ｚａ＆ 長ｚ） イＵＩ
１ （エ） ～∃ｚ（～鼻ｚａ＆ 長ｚ） ウ量化子の関係
１ （オ） 象ａ→∃ｙ（鼻ｙａ＆長ｙ）＆～∃ｚ（～鼻ｚａ＆ 長ｚ） ３エ＆Ｉ
１ （カ）∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆～∃ｚ（～鼻ｚｘ＆ 長ｚ）｝ オＵＩ
（ⅱ）
１ （１）∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆～∃ｚ（～鼻ｚｘ＆ 長ｚ）｝ Ａ
１ （２） 象ａ→∃ｙ（鼻ｙａ＆長ｙ）＆～∃ｚ（～鼻ｚａ＆ 長ｚ） １ＵＥ
１ （３） 象ａ→∃ｙ（鼻ｙａ＆長ｙ） ２＆Ｅ
１ （４） ～∃ｚ（～鼻ｚａ＆ 長ｚ） ２＆Ｅ
１ （５） ∀ｚ～（～鼻ｚａ＆ 長ｚ） ４量化子の関係
１ （６） ～（～鼻ｃａ＆ 長ｃ） ５ＵＥ
７ （７） ～鼻ｃａ Ａ
８（８） 長ｃ Ａ
７８（９） ～鼻ｃａ＆ 長ｃ ７８＆Ｉ
１７８（ア） ～（～鼻ｃａ＆ 長ｃ）＆
（～鼻ｃａ＆ 長ｃ） ８９＆Ｉ
１７ （イ） ～長ｃ ８アＲＡＡ
１ （ウ） ～鼻ｃａ→～長ｃ ７イＣＰ
１ （エ） ∀ｚ（～鼻ｃａ→～長ｃ） ウＵＩ
１ （オ） 象ａ→∃ｙ（鼻ｙａ＆長ｙ）＆ ∀ｚ（～鼻ｃａ→～長ｃ） ３エ＆Ｉ
１ （カ）∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆ ∀ｚ（～鼻ｚｘ→～長ｚ）｝ オＵＩ
従って、
（10）により、
（11）
① ∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆ ∀ｚ（～鼻ｚｘ→～長ｚ）｝
② ∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆～∃ｚ（～鼻ｚｘ＆ 長ｚ）｝
に於いて、
①＝② である。
従って、
（12）
③ ∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆ ～∀ｚ（～鼻ｚｘ→～長ｚ）｝
④ ∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆～～∃ｚ（～鼻ｚｘ＆ 長ｚ）｝
に於いて、
③＝④ である。
然るに、
（13）
「二重否定」により、
④ ～～∃ｚ（～鼻ｚｘ＆ 長ｚ） は、
④ ∃ｚ（～鼻ｚｘ＆ 長ｚ） に、「等しい」。
従って、
（12）（13）により、
（14）
③ ∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆～∀ｚ（～鼻ｚｘ→～長ｚ）｝
④ ∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆ ∃ｚ（～鼻ｚｘ＆ 長ｚ）｝
に於いて、
③＝④ である。
従って、
（11）（14）により、
（15）
① ∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆ ∀ｚ（～鼻ｚｘ→～長ｚ）｝
② ∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆～∃ｚ（～鼻ｚｘ＆ 長ｚ）｝
③ ∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆～∀ｚ（～鼻ｚｘ→～長ｚ）｝
④ ∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆ ∃ｚ（～鼻ｚｘ＆ 長ｚ）｝
に於いて、
①＝② であって、
③＝④ である。
然るに、
（16）
① ∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆ ∀ｚ（～鼻ｚｘ→～長ｚ）｝
③ ∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆～∀ｚ（～鼻ｚｘ→～長ｚ）｝
に於いて、
①と③ は、「矛盾」する。
従って、
（15）（16）により、
（17）
① ∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）｝
④ ∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∃ｚ（～鼻ｚｘ＆ 長ｚ）｝
に於いて、
①と④ は、「矛盾」する。
従って、
（09）（17）により、
（18）
① ∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）｝
④ ∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∃ｚ（～鼻ｚｘ＆ 長ｚ）｝
に於いて、すなはち、
① すべてのｘについて、ｘが象であるならば、あるｙはｘの鼻であって長く、すべてのｚについて、ｚがｘの鼻でないならば、ｚは長くない。
④ すべてのｘについて、ｘが象であるならば、あるｙはｘの鼻であって長く、あるｚはｘの鼻ではないが、ｚは長い。
に於いて、
①と④ は、「矛盾」する。
然るに、
（19）
④ すべてのｘについて、ｘが象であるならば、あるｙはｘの鼻であって長く、あるｚはｘの鼻ではないが、ｚは長い。
といふことは、
④ 象は鼻は長く、鼻以外も長い。
といふ、ことである。
然るに、
（20）
④ 象は鼻は長く、鼻以外も長い。
といふことは、
④ 象は鼻も長い。
といふ、ことである。
従って、
（09）（18）（20）により、
（21）
① 象は鼻が長い＝∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）｝。
④ 象は鼻も長い＝∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∃ｚ（～鼻ｚｘ＆ 長ｚ）｝。
に於いて、
①と④ は、「矛盾」する。
従って、
（22）
「番号」を付け直すと、
① 象は鼻＿長い＝∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）｝。
② 象は鼻が長い＝∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）｝。
③ 象は鼻も長い＝∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∃ｚ（～鼻ｚｘ＆ 長ｚ）｝。
に於いて、
②と③ は、「矛盾」する。
然るに、
（23）
（ⅱ）
１（１）∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）｝ Ａ
１（２） 象ａ→∃ｙ（鼻ｙａ＆長ｙ）＆∀ｚ（～鼻ｚａ→～長ｚ） １ＵＥ
１（３） 象ａ→∃ｙ（鼻ｙａ＆長ｙ） ２＆Ｅ
１（４）∀ｘ｛象ａ→∃ｙ（鼻ｙａ＆長ｙ）｝ ３ＵＩ
（ⅲ）
１（１）∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∃ｚ（～鼻ｚｘ＆ 長ｚ）｝ Ａ
１（２） 象ａ→∃ｙ（鼻ｙｘ＆長ｙ）＆∃ｚ（～鼻ｚｘ＆ 長ｚ） １ＵＥ
１（３） 象ａ→∃ｙ（鼻ｙｘ＆長ｙ） ２＆Ｅ
１（４）∀ｘ｛象ａ→∃ｙ（鼻ｙａ＆長ｙ）｝ ３ＵＩ
従って、
（23）により、
（24）
① 象は鼻＿長い＝∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）｝。
② 象は鼻が長い＝∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）｝。
③ 象は鼻も長い＝∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∃ｚ（～鼻ｚｘ＆ 長ｚ）｝。
に於いて、
② ならば、① であって、
③ ならば、① である。
従って、
（24）により、
（25）
① 象は鼻＿長い＝∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）｝。
② 象は鼻が長い＝∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）｝。
③ 象は鼻も長い＝∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∃ｚ（～鼻ｚｘ＆ 長ｚ）｝。
に於いて、
①と② は、「矛盾」せず、
①と③ も、「矛盾」しない。
然るに、
（26）
① 鼻は長い。
といふのであれば、
② 鼻以外については、「何も、言ってゐない。」
従って、
（27）
① 象は鼻は長い。
といふのであれば、
③ 象の鼻以外については、「何も、言ってゐない。」
従って、
（26）（27）により、
（28）
① 象は鼻は長い。
② 象は鼻が長い。
③ 象は鼻も長い。
に於いて、
①と② は、「矛盾」せず、
①と③ も、「矛盾」しない。
従って、
（25）（28）により、
（29）
① 象は鼻は長い。
② 象は鼻が長い。
③ 象は鼻も長い。
といふ「日本語」は、
① ∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）｝
② ∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）｝
③ ∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∃ｚ（～鼻ｚｘ＆ 長ｚ）｝
といふ「述語論理式」に、すなはち、
① すべてのｘについて、ｘが象であるならば、あるｙはｘの鼻であって長い。
② すべてのｘについて、ｘが象であるならば、あるｙはｘの鼻であって長く、すべてのｚについて、ｚがｘの鼻でないならば、ｚは長くない。
③ すべてのｘについて、ｘが象であるならば、あるｙはｘの鼻であって長く、あるｚはｘの鼻ではないが、ｚは長い。
といふ「意味」である所の、「述語論理式」に、相当する。
従って、
（29）により、
（30）
「普通の日本語」で言へば、
① 象は鼻は長い＝象は鼻は長い。
② 象は鼻が長い＝象は鼻は長く、鼻以外は長くない。
③ 象は鼻も長い＝象は鼻は長く、鼻以外も長い。
といふ、ことになる。
（01）
①｛象の体の、各部分｝を「変域（ドメイン）」とすると、
①「象の鼻は長く、象の鼻以外は長くない。」
従って、
（01）により、
（02）
① 象は鼻が長い。⇔
① 象は鼻は長く、鼻以外は長くない。⇔
① ∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）｝⇔
① すべてのｘについて、ｘが象であるならば、あるｙはｘの鼻であって長く、すべてのｚについて、ｚがｘの鼻でないならば、ｚは長くない。
（03）
②｛象、兎、馬、キリン｝を「変域（ドメイン）」とすると、
②「鼻は象が長く、耳は兎が長く、顔は馬が長く、首はキリンが長い。」
従って、
（03）により、
（04）
② 鼻は象が長い。⇔
② 鼻は象は長く、象以外（兎、馬、キリン）は長くない。⇔
② ∀ｘ∀ｙ｛（鼻ｘｙ＆象ｙ）→長ｘ＆（鼻ｘｙ＆～象ｙ）→～長ｘ｝⇔
② すべてのｘとｙについて、ｘがｙの鼻であって、ｙが象であるならば、ｘは長く、ｘがｙの鼻であって、ｙが象でないならば、ｘは長くない。
然るに、
（05）
（ⅰ）
１ （１）象は鼻が長い。 Ａ
１ （〃）∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）｝ Ａ
２ （２）兎の耳は長く、兎の耳は鼻ではない。 Ａ
２ （〃）∀ｘ｛兎ｘ→∃ｙ（耳ｙｘ＆長ｙ）＆∀ｚ（耳ｚｘ→～鼻ｚｘ）｝ Ａ
３ （３）有る兎は象である。 Ａ
３ （〃）∃ｘ（兎ｘ＆象ｘ） Ａ
３ （〃）あるｘは兎であって象である。 Ａ
１ （４） 象ａ→∃ｙ（鼻ｙａ＆長ｙ）＆∀ｚ（～鼻ｚａ→～長ｚ） １ＵＥ
２ （５） 兎ａ→∃ｙ（耳ｙａ＆長ｙ）＆∀ｚ（耳ｚａ→～鼻ｚａ） １ＵＥ
６ （６） 兎ａ＆象ａ Ａ
６ （７） 兎ａ ６＆Ｅ
６ （８） 象ａ ６＆Ｅ
１ ６ （９） ∃ｙ（鼻ｙａ＆長ｙ）＆∀ｚ（～鼻ｚａ→～長ｚ） ４８ＭＰＰ
２ ６ （ア） ∃ｙ（耳ｙａ＆長ｙ）＆∀ｚ（耳ｚａ→～鼻ｚａ） ５７ＭＰＰ
１ ６ （イ） ∃ｙ（鼻ｙａ＆長ｙ） ９＆Ｅ
２ ６ （ウ） ∃ｙ（耳ｙａ＆長ｙ） ア＆Ｅ
エ （エ） 鼻ｂａ＆長ｂ Ａ
オ（オ） 耳ｂａ＆長ｂ Ａ
１ ６ （カ） ∀ｚ（～鼻ｚａ→～長ｚ） ９＆Ｅ
１ ６ （キ） ～鼻ｂａ→～長ｂ カＵＥ
２ ６ （ク） ∀ｚ（耳ｚａ→～鼻ｚａ） ア＆Ｅ
２ ６ （ケ） 耳ｂａ→～鼻ｂａ クＵＥ
オ （コ） 耳ｂａ オ＆Ｅ
２ ６オ （サ） ～鼻ｂａ ケコＭＰＰ
１２ ６オ （シ） ～長ｂ キサコＭＰＰ
オ （ス） 長ｂ オ＆Ｅ
１２ ６オ （セ） 長ｂ＆～長ｂ シス＆Ｉ
１２ ６ （ソ） 長ｂ＆～長ｂ ウオセＥＥ
１２３ （タ） 長ｂ＆～長ｂ ３６ソＥＥ
１２ （チ）～∃ｘ（兎ｘ＆象ｘ） ３タＲＡＡ
１２ （ツ）∀ｘ～（兎ｘ＆象ｘ） チ量化子の関係
１２ （テ） ～（兎ａ＆象ａ） ツＵＥ
１２ （ト） ～兎ａ∨～象ａ テ、ド・モルガンの法則
１２ （ナ） 兎ａ→～象ａ ト含意の定義
１２ （ニ）∀ｘ（兎ｘ→～象ｘ） ナＵＩ
１２ （〃）すべてのｘについて、ｘが兎であるならば、ｘは象ではない。 ナＵＩ
１２ （〃）兎は象ではない。 ナＵＩ
（ⅱ）
１ （１）鼻は象が長い。 Ａ
１ （〃）∀ｘ∀ｙ｛（鼻ｘｙ＆象ｙ）→長ｘ＆（鼻ｘｙ＆～象ｙ）→～長ｘ｝ Ａ
２ （２）兎は象ではないが、兎には鼻がある。 Ａ
２ （〃）∃ｙ∃ｘ（兎ｙ＆～象ｙ＆鼻ｘｙ） Ａ
１ （３） ∀ｙ｛（鼻ａｙ＆象ｙ）→長ａ＆（鼻ａｙ＆～象ｙ）→～長ａ｝ １ＵＥ
１ （４） （鼻ａｂ＆象ｂ）→長ａ＆（鼻ａｂ＆～象ｂ）→～長ａ ３ＵＥ
１ （５） （鼻ａｂ＆～象ｂ）→～長ａ ４＆Ｅ
６ （６） ∃ｘ（兎ｂ＆～象ｂ＆鼻ｘｂ） Ａ
７（７） 兎ｂ＆～象ｂ＆鼻ａｂ Ａ
７（８） 兎ｂ ８＆Ｅ
７（９） ～象ｂ ８＆Ｅ
７（ア） 鼻ａｂ ８＆Ｅ
７（イ） 鼻ａｂ＆～象ｂ アイ＆Ｉ
１ ７（ウ） ～長ａ ４ウＭＰＰ
１ ７（エ） 兎ｂ＆鼻ａｂ ９ア＆Ｉ
１ ７（オ） 兎ｂ＆鼻ａｂ＆～長ａ ウエ＆Ｉ
１ ７（カ） ∃ｘ（兎ｂ＆鼻ｘｂ＆～長ｘ） オＥＩ
１ ６ （キ） ∃ｘ（兎ｂ＆鼻ｘｂ＆～長ｘ） ６７カＥＥ
１ ６ （ク）∃ｙ∃ｘ（兎ｙ＆鼻ｘｙ＆～長ｘ） キＥＩ
１２ （ケ）∃ｙ∃ｘ（兎ｙ＆鼻ｘｙ＆～長ｘ） ２６クＥＥ
１２ （〃）あるｙは兎であって、あるｘはｙの鼻であって、ｘは長くない。 ２６クＥＥ
１２ （〃）鼻が短い兎がゐる。 ２６クＥＥ
って、
（01）～（05）により、
（06）
それぞれ、
① 象は鼻が長い＝∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）｝。
② 鼻は象が長い＝∀ｘ∀ｙ｛（鼻ｘｙ＆象ｙ）→長ｘ＆（鼻ｘｙ＆～象ｙ）→～長ｘ｝。
といふ「等式」が、成立する。
然るに、
（07）
② 鼻は象が長い＝∀ｘ∀ｙ｛（鼻ｘｙ＆象ｙ）→長ｘ＆（鼻ｘｙ＆～象ｙ）→～長ｘ｝。
であるならば、
③ 象は鼻が長い＝∀ｘ∀ｙ｛（象ｘ＆鼻ｙｘ）→長ｙ＆（～象ｘ＆鼻ｙｘ）→～長ｙ｝。
であっても、良いのではと、思はれるかも、知れない。
然るに、
（08）
③ 象は鼻が長い＝∀ｘ∀ｙ｛（象ｘ＆鼻ｙｘ）→長ｙ＆（～象ｘ＆鼻ｙｘ）→～長ｙ｝。
に於いて、「左辺」である、
③ 象は鼻が長い。
といふ「日本語」は、
③｛象以外の動物｝に関しては、「何も、述べてはゐない」。
然るに、
（09）
③ 象は鼻が長い＝∀ｘ∀ｙ｛（象ｘ＆鼻ｙｘ）→長ｙ＆（～象ｘ＆鼻ｙｘ）→～長ｙ｝。
に於ける、「右辺」である、
③ ∀ｘ∀ｙ｛（象ｘ＆鼻ｙｘ）→長ｙ＆（～象ｘ＆鼻ｙｘ）→～長ｙ｝。
の場合は、
③ （～象ｘ＆鼻ｙｘ）→～長ｙ＝象以外の動物の鼻は長くない。
に於いて、
③｛象以外の動物｝に、「言及してゐる」。
従って、
（08）（09）により、
（10）
③ 象は鼻が長い＝∀ｘ∀ｙ｛（象ｘ＆鼻ｙｘ）→長ｙ＆（～象ｘ＆鼻ｙｘ）→～長ｙ｝。
の場合は、
③「左辺」≠「右辺」 であって、
③「左辺」＝「右辺」 ではない。
従って、
（06）～（10）により、
（11）
① 象は鼻が長い＝∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）｝。
② 鼻は象が長い＝∀ｘ∀ｙ｛（鼻ｘｙ＆象ｙ）→長ｘ＆（鼻ｘｙ＆～象ｙ）→～長ｘ｝。
③ 象は鼻が長い＝∀ｘ∀ｙ｛（象ｘ＆鼻ｙｘ）→長ｙ＆（～象ｘ＆鼻ｙｘ）→～長ｙ｝。
に於いて、
① は、「正しく」、
② も、「正しく」、
③ は、「正しくはない」。
従って、
（12）
① 象は鼻が長い。
② 鼻は象が長い。
といふ「日本語」の「論理構造」は、
① ∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）｝。
② ∀ｘ∀ｙ｛（鼻ｘｙ＆象ｙ）→長ｘ＆（鼻ｘｙ＆～象ｙ）→～長ｘ｝。
といふ風に、「同じ」ではない。
然るに、
（13）
① 象は鼻が長い。
② 鼻は象が長い。
に於いて、
①「述語」は「長い」であって、
②「述語」は「長い」である。
然るに、
（14）
① 象は鼻が長い。
② 鼻は象が長い。
に於いて、
①「長い」のは、「象は」ではなく、「鼻が」であって、
②「長い」のは、「象が」ではなく、「鼻は」である。
然るに、
（15）
学校文法は単純な英語文法からの輸入で、主語・述語関係を単純に当てはめたものだ。そのため、「象は、鼻が長い」という単純な文でさえ、どれが主語だか指摘できず、複数主語だとか、主語の入れ子だとか、奇矯な技を使う。これに対して三上は、日本語には主語はない、とする。「象は」は、テーマを提示する主題であり、これから象についてのことを述べますよというメンタルスペースのセットアップであり、そのメンタルスペースのスコープを形成する働きをもつと主張する（この場合は「長い」までをスコープとする）。また、「鼻が」は主格の補語にすぎなく、数ある補語と同じ格であるとする。基本文は述語である「長い」だけだ（三上文法！ : wrong, rogue and log）。
従って、
（14）（15）により、
（16）
① 象は鼻が長い。
に於いて、
①「鼻が」が、「長い」に対する「主格の補語」であるならば、
②「鼻は」は、「長い」に対する「主格の補語」でなければ、ならない。
従って、
（15）（16）により、
（17）
三上章先生が言ふやうに、単純に、
「～は」は「主題は」であって、
「～が」は「主格は」である。といふことには、ならない。
（18）
Ａｎｔｏｎｉｕｓ（主格） ａｍａｂａｔ（動詞） Ｃｌｅｏｐａｔｒａｍ＝アントニウス（主語）は、クレオパトラを愛してゐた。
Ａｎｔｏｎｉｕｍ ａｍａｂａｔ（動詞） Ｃｌｅｏｐａｔｒａ（主格） ＝アントニウスを、クレオパトラ（主語）は愛してゐた。
従って、
（18）により、
（19）
「ラテン語」等に於いて、「一番簡単な、主格の定義」は、
「述語動詞の主語」を「指定」するのが「主格」である。といふことになる。
従って、
（18）（19）により、
（20）
Ａｎｔｏｎｉｕｓ（主格） ａｍａｂａｔ（動詞） Ｃｌｅｏｐａｔｒａｍ＝アントニウス（主語）は、クレオパトラを愛してゐた。
Ａｎｔｏｎｉｕｍ ａｍａｂａｔ（動詞） Ｃｌｅｏｐａｔｒａ（主格） ＝アントニウスを、クレオパトラ（主語）は愛してゐた。
の場合は、「主語とは、すなはち、主格である。」
従って、
（21）
「主語」と「主格」が「別のもの」である。といふ「前提」が、私には良く分からない。
（01）
｛象、兎、馬、キリン｝を「変域（ドメイン）」とすると、
「鼻は象が長く、耳は兎が長く、顔は馬が長く、首はキリンが長い。」
従って、
（01）により、
（02）
① 鼻は、象が長い。⇔
① 鼻は、象は長く、象以外（兎、馬、キリン）は長くない。⇔
① ∀ｘ∀ｙ｛（鼻ｘｙ＆象ｙ）→長ｘ＆（鼻ｘｙ＆～象ｙ）→～長ｘ｝⇔
① すべてのｘとｙについて、ｘがｙの鼻であって、ｙが象であるならば、ｘは長く、ｘがｙの鼻であって、ｙが象でないならば、ｘは長くない。
然るに、
（03）
（ⅰ）
１ （１）∀ｘ∀ｙ｛（鼻ｘｙ＆象ｙ）→長ｘ＆（鼻ｘｙ＆～象ｙ）→～長ｘ｝ Ａ
１ （２） ∀ｙ｛（鼻ａｙ＆象ｙ）→長ａ＆（鼻ａｙ＆～象ｙ）→～長ａ｝ １ＵＥ
１ （３） （鼻ａｂ＆象ｂ）→長ａ＆（鼻ａｂ＆～象ｂ）→～長ａ ２ＵＥ
１ （４） （鼻ａｂ＆象ｂ）→長ａ ３＆Ｅ
１ （５） （鼻ａｂ＆～象ｂ）→～長ａ ４＆Ｅ
６ （６） 長ａ Ａ
６ （７） ～～長ａ ６ＤＮ
１６ （８） ～（鼻ａｂ＆～象ｂ） ５６ＭＴＴ
１６ （９） ～鼻ａｂ∨ 象ｂ ８ド・モルガンの法則
１６ （ア） 鼻ａｂ→ 象ｂ ９含意の定義
１ （イ） 長ａ→（鼻ａｂ→ 象ｂ） ６アＣＰ
ウ （ウ） 長ａ＆ 鼻ａｂ Ａ
ウ （エ） 長ａ ウ＆Ｅ
１ ウ （オ） 鼻ａｂ→ 象ｂ イエＭＰＰ
ウ （カ） 鼻ａｂ ウ＆Ｅ
１ ウ （キ） 象ｂ カキＭＰＰ
１ （ク） （長ａ＆ 鼻ａｂ）→象ｂ ウキＣＰ
ケ （ケ） ～象ｂ Ａ
１ ケ （コ） ～（長ａ＆ 鼻ａｂ） クケＭＴＴ
１ ケ （サ） ～長ａ∨～鼻ａｂ コ、ド・モルガンの法則
１ ケ （シ） 長ａ→～鼻ａｂ サ含意の定義
１ （ス） ～象ｂ→（長ａ→～鼻ａｂ） ケシＣＰ
セ（セ） ～象ｂ＆ 長ａ Ａ
１ セ（ソ） ～象ｂ セ＆Ｅ
１ セ（タ） 長ａ→～鼻ａｂ スゾＭＰＰ
セ（チ） 長ａ セ＆Ｅ
１ セ（ツ） ～鼻ａｂ タチＭＰＰ
１ （テ） （～象ｂ＆長ａ）→～鼻ａｂ セツ
１ （ト） （鼻ａｂ＆象ｂ）→長ａ＆（～象ｂ＆長ａ）→～鼻ａｂ ４テ
１ （ナ） ∀ｙ｛（鼻ａｙ＆象ｙ）→長ａ＆（～象ｙ＆長ａ）→～鼻ａｙ｝ トＵＩ
１ （ニ）∀ｘ∀ｙ｛（鼻ｘｙ＆象ｙ）→長ｘ＆（～象ｙ＆長ｘ）→～鼻ｘｙ｝ ナＵＩ
（ⅱ）
１ （１）∀ｘ∀ｙ｛（鼻ｘｙ＆象ｙ）→長ｘ＆（～象ｙ＆長ｘ）→～鼻ｘｙ｝ Ａ
１ （２） ∀ｙ｛（鼻ａｙ＆象ｙ）→長ａ＆（～象ｙ＆長ａ）→～鼻ａｙ｝ １ＵＥ
１ （３） （鼻ａｂ＆象ｂ）→長ａ＆（～象ｂ＆長ａ）→～鼻ａｂ ２ＵＥ
１ （４） （鼻ａｂ＆象ｂ）→長ａ ３＆Ｅ
１ （５） （～象ｂ＆長ａ）→～鼻ａｂ ３＆Ｅ
６ （６） 鼻ａｂ Ａ
６ （７） ～～鼻ａｂ ６ＤＮ
１６ （８） ～（～象ｂ＆長ａ） ６７ＭＴＴ
１６ （９） 象ｂ∨～長ａ ８ド・モルガンの法則
１６ （ア） ～～象ｂ∨～長ａ ９ＤＮ
１６ （イ） ～象ｂ→～長ａ ア含意の定義
１ （ウ） 鼻ａｂ→（～象ｂ→～長ａ） ６ウＣＰ
エ （エ） 鼻ａｂ＆ ～象ｂ Ａ
エ （オ） 鼻ａｂ エ＆Ｅ
１ エ （カ） ～象ｂ→～長ａ ウオＭＰＰ
エ （キ） ～象ｂ エ＆Ｅ
１ エ （ク） ～長ａ カキＭＰＰ
１ （ケ） （鼻ａｂ＆～象ｂ）→～長ａ エクＣＰ
１ （コ） （鼻ａｂ＆象ｂ）→長ａ＆（鼻ａｂ＆～象ｂ）→～長ａ ４ケ＆Ｉ
１ （サ） ∀ｙ｛（鼻ａｙ＆象ｙ）→長ａ＆（鼻ａｙ＆～象ｙ）→～長ａ｝ コＵＩ
１ （シ）∀ｘ∀ｙ｛（鼻ｘｙ＆象ｙ）→長ｘ＆（鼻ｘｙ＆～象ｙ）→～長ｘ｝ サＵＩ
従って、
（03）により、
（04）
① ∀ｘ∀ｙ｛（鼻ｘｙ＆象ｙ）→長ｘ＆（鼻ｘｙ＆～象ｙ）→～長ｘ｝
② ∀ｘ∀ｙ｛（鼻ｘｙ＆象ｙ）→長ｘ＆（～象ｙ＆長ｘ）→～鼻ｘｙ｝
に於いて、
①＝② である。
然るに、
（01）により、
（05）
② ｙが兎であって、 ｘが長いならば、ｘは、ｙの鼻ではなく耳であり、
② ｙが馬であって、 ｘが長いならば、ｘは、ｙの鼻ではなく顔であり、
② ｙがキリンであって、ｘが長いならば、ｘは、ｙの鼻ではなく首であり、
それ故に、
① ｘがｙの鼻であって、ｙが象以外（兎、馬、キリン）であるならば、ｘは長くない。
従って、
（01）～（05）により、
（06）
① 鼻は、象が長い。⇔
① 鼻は、象が長く、象以外（兎、馬、キリン）は長くない。⇔
① ∀ｘ∀ｙ｛（鼻ｘｙ＆象ｙ）→長ｘ＆（鼻ｘｙ＆～象ｙ）→～長ｘ｝⇔
① すべてのｘとｙについて、ｘがｙの鼻であって、ｙが象であるならば、ｘは長く、ｘがｙの鼻であって、ｙが象でないならば、ｘは長くない。
② 鼻は、象が長い。⇔
② 鼻は、象が長く、象以外（兎、馬、キリン）で長いとすれば、鼻ではない。⇔
② ∀ｘ∀ｙ｛（鼻ｘｙ＆象ｙ）→長ｘ＆（～象ｙ＆長ｘ）→～鼻ｘｙ｝⇔
② すべてのｘとｙについて、ｘがｙの鼻であって、ｙが象であるならば、ｘは長く、ｙが象ではなくて、ｘが長いならば、ｘはｙの鼻ではない。
に於いて、
①＝② である。
然るに、
（06）により、
（07）
② 鼻は、象が長い。
に於いて、
②「長い」のは、「鼻（ｘ）」であって、
②「長い」のは、「象（ｙ）」ではない。
従って、
然るに、
（08）
「象は」は、テーマを提示する主題であり、これから象についてのことを述べますよというメンタルスペースのセットアップであり、そのメンタルスペースのスコープを形成する働きをもつと主張する（この場合は「長い」までをスコープとする）。また、「鼻が」は主格の補語にすぎなく、数ある補語と同じ格であるとする。基本文は述語である「長い」だけだ（三上文法！ : wrong, rogue and log）。
従って、
（07）（08）により、
（09）
② 鼻は、象が長い。
③ 象は、鼻が長い。
に於いて、
②「長い（述語）」の「主格の補語」は、「象は」であって、
②「長い（述語）」の「主格の補語」は、「象が」である。
従って、
（09）により、
（10）
② 鼻は、象が長い。
に於いて、
②「長い（述語）」の「主格の補語」は、「象は」であって、「象が」ではない。
（01）
① 象は鼻が長い。⇔
① ∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）｝⇔
① すべてのｘについて、ｘが象であるならば、あるｙはｘの鼻であって、ｙは長く、すべてのｚについて、ｚがｘの鼻でないならば、ｚは長くない。
従って、
（01）により、
（02）
② 象は鼻が長い。といふわけではない。⇔
② ～∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）｝⇔
② すべてのｘについて、ｘが象であるならば、あるｙはｘの鼻であって、ｙは長く、すべてのｚについて、ｚがｘの鼻でないならば、ｚは長くない。といふわけではない。
然るに、
（03）
（ⅰ）
１ （１）～∀ｘ｛ 象ｘ→ ∃ｙ（鼻ｙｘ＆長ｙ）＆ ∀ｚ（～鼻ｚｘ→～長ｚ）｝ Ａ
１ （２）∃ｘ～｛ 象ｘ→ ∃ｙ（鼻ｙｘ＆長ｙ）＆ ∀ｚ（～鼻ｚｘ→～長ｚ）｝ １量化子の関係
３ （３） ～｛ 象ａ→ ∃ｙ（鼻ｙａ＆長ｙ）＆ ∀ｚ（～鼻ｚａ→～長ｚ）｝ Ａ
３ （４） ～｛～象ａ∨ ∃ｙ（鼻ｙａ＆長ｙ）＆ ∀ｚ（～鼻ｚａ→～長ｚ）｝ ３含意の定義
３ （５） 象ａ＆～∃ｙ（鼻ｙａ＆長ｙ）＆ ∀ｚ（～鼻ｚａ→～長ｚ） ４ド・モルガンの法則
３ （６） 象ａ ５＆Ｅ
３ （７） ～∃ｙ（鼻ｙａ＆長ｙ）＆ ∀ｚ（～鼻ｚａ→～長ｚ） ５＆Ｅ
３ （８） ～∃ｙ（鼻ｙａ＆長ｙ）∨～∀ｚ（～鼻ｚａ→～長ｚ） ７ド・モルガンの法則
３ （９） ∃ｙ（鼻ｙａ＆長ｙ）→～∀ｚ（～鼻ｚａ→～長ｚ） ８含意の定義
ア （ア） ∃ｙ（鼻ｙａ＆長ｙ） Ａ
３ア （イ） ～∀ｚ（～鼻ｚａ→～長ｚ） ９アＭＰＰ
３ア （ウ） ∃ｚ～（～鼻ｚａ→～長ｚ） イ量化子の関係
エ（エ） ～（～鼻ｃａ→～長ｃ） Ａ
エ（オ） ～（ 鼻ｃａ∨～長ｃ） エ含意の定義
エ（カ） （～鼻ｃａ＆ 長ｃ） オ、ド・モルガンの法則
エ（キ） ∃ｚ（～鼻ｚａ＆ 長ｚ） カＥＩ
３ア （ク） ∃ｚ（～鼻ｚａ＆ 長ｚ） ウエキＥＥ
３ （ケ） ∃ｙ（鼻ｙａ＆長ｙ）→ ∃ｚ（～鼻ｚａ＆ 長ｚ） アクＣＰ
３ （コ） 象ａ＆ ∃ｙ（鼻ｙａ＆長ｙ）→ ∃ｚ（～鼻ｚａ＆ 長ｚ） ６ケ＆Ｉ
３ （サ） ∃ｘ｛象ｘ＆ ∃ｙ（鼻ｙｘ＆長ｙ）→ ∃ｚ（～鼻ｚｘ＆ 長ｚ）｝ コＥＩ
１ （シ） ∃ｘ｛象ｘ＆ ∃ｙ（鼻ｙｘ＆長ｙ）→ ∃ｚ（～鼻ｚｘ＆ 長ｚ）｝ ２３サＥＥ
（ⅱ）
１ （１）～∃ｘ｛象ｘ＆ ∃ｙ（鼻ｙｘ＆長ｙ）→ ∃ｚ（～鼻ｚｘ＆ 長ｚ）｝ Ａ
１ （２）∀ｘ～｛象ｘ＆ ∃ｙ（鼻ｙｘ＆長ｙ）→ ∃ｚ（～鼻ｚｘ＆ 長ｚ）｝ １量化子の関係
１ （３） ～｛象ａ＆ ∃ｙ（鼻ｙａ＆長ｙ）→ ∃ｚ（～鼻ｚａ＆ 長ｚ）｝ ２ＵＥ
１ （４） ～象ａ∨～｛∃ｙ（鼻ｙａ＆長ｙ）→ ∃ｚ（～鼻ｚａ＆ 長ｚ）｝ ３ド・モルガンの法則
１ （５） 象ａ→～｛∃ｙ（鼻ｙａ＆長ｙ）→ ∃ｚ（～鼻ｚａ＆ 長ｚ）｝ ４含意の定義
６ （７） 象ａ Ａ
１６ （８） ～｛ ∃ｙ（鼻ｙａ＆長ｙ）→ ∃ｚ（～鼻ｚａ＆ 長ｚ）｝ ５７ＭＰＰ
１６ （９） ～｛～∃ｙ（鼻ｙａ＆長ｙ）∨ ∃ｚ（～鼻ｚａ＆ 長ｚ）｝ ８含意の定義
１６ （ア） ∃ｙ（鼻ｙａ＆長ｙ）＆～∃ｚ（～鼻ｚａ＆ 長ｚ） ９ド・モルガンの法則
１６ （イ） ∃ｙ（鼻ｙａ＆長ｙ） ア＆Ｅ
１６ （ウ） ～∃ｚ（～鼻ｚａ＆ 長ｚ） ア＆Ｅ
１６ （エ） ∀ｚ～（～鼻ｚａ＆ 長ｚ） ウ含意の定義
１６ （オ） ～（～鼻ｃａ＆ 長ｃ） エＵＥ
１６ （カ） ～～鼻ｃａ∨～長ｃ オ、ド・モルガンの法則
１６ （キ） ～鼻ｃａ→～長ｃ カ、含意の定義
１６ （ク） ∀ｚ（～鼻ｚａ→～長ｚ） キＵＩ
１６ （ケ） ∃ｙ（鼻ｙａ＆長ｙ）＆ ∀ｚ（～鼻ｚａ→～長ｚ） イク＆Ｉ
１ （コ） 象ａ→∃ｙ（鼻ｙａ＆長ｙ）＆ ∀ｚ（～鼻ｚａ→～長ｚ） ６ケＣＰ
１ （サ） ∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆ ∀ｚ（～鼻ｚｘ→～長ｚ）｝ コＵＩ
従って、
（01）（02）（03）により、
（04）
① ∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）｝
② ∃ｘ｛象ｘ＆∃ｙ（鼻ｙｘ＆長ｙ）→∃ｚ（～鼻ｚｘ＆ 長ｚ）｝
③ ∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）｝
に於いて、
① を「否定」すると、
② になり、
② を「否定」すると、「二重否定」により、
① になる（戻る）。
従って、
（01）～（04）により、
（05）
① 象は鼻が長い。⇔
① ∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）｝⇔
① すべてのｘについて、ｘが象であるならば、あるｙはｘの鼻であって、ｙは長く、すべてのｚについて、ｚがｘの鼻でないならば、ｚは長くない。
の「否定」は、
② ある象は、鼻が長いならならば、鼻以外も長い。⇔
② ∃ｘ｛象ｘ＆∃ｙ（鼻ｙｘ＆長ｙ）→∃ｚ（～鼻ｚｘ＆ 長ｚ）｝⇔
② あるｘは象であり、あるｙがｘの鼻であって長いならば、あるｚはｘの鼻ではないが、長い。
である。
従って、
（05）により、
（06）
① すべての象は鼻が長い＝∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）｝。
② ある象は鼻以外も長い＝∃ｘ｛象ｘ＆∃ｙ（鼻ｙｘ＆長ｙ）→∃ｚ（～鼻ｚｘ＆ 長ｚ）｝。
に於いて、
① の「否定」は、② であり、
② の「否定」は、① である。
然るに、
（07）
② ある象は鼻以外も長い ＝ ∃ｘ｛象ｘ＆∃ｙ（鼻ｙｘ＆長ｙ）→∃ｚ（～鼻ｚｘ＆長ｚ）｝。
③ 鼻以外も長い象はゐない＝～∃ｘ｛象ｘ＆∃ｙ（鼻ｙｘ＆長ｙ）→∃ｚ（～鼻ｚｘ＆長ｚ）｝。
に於いて、
② の「否定」は、③ であり、
③ の「否定」は、② である。
従って、
（06）（07）により、
（08）
① すべての象は鼻が長い ＝ ∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）｝。
③ 鼻以外も長い象はゐない＝～∃ｘ｛象ｘ＆∃ｙ（鼻ｙｘ＆長ｙ）→∃ｚ（～鼻ｚｘ＆ 長ｚ）｝。
に於いて、
①＝③ である。
然るに、
（09）
③ 鼻以外も長い象はゐない。
といふのであれば、そのときに限って、
③ すべての象は、鼻以外は長くない。
従って、
（08）（09）により、
（10）
① すべての象は鼻が長い。
③ すべての象は鼻以外は長くない。
に於いて、
①＝③ である。
従って、
（10）により、
（11）
① 鼻が長い。
③ 鼻以外は長くない。
に於いて、
①＝③ である。
従って、
（11）により、
（12）
① 私が理事長です。
③ 私以外は理事長ではない。
に於いても、
①＝③ である。
然るに、
（13）
③ 私以外は理事長ではない。
の「対偶（Contraposition）」は、
② 理事長は私です。
である。
従って、
（12）（13））により、
（14）
① 私が理事長です。
② 理事長は私です。
③ 私以外は理事長ではない。
に於いて、
①＝②＝③ である。
然るに、
（15）
よく知られているように、「私が理事長です」は語順を変え、
理事長は、私です。
と直して初めて主辞賓辞が適用されのである。また、かりに大倉氏が、
タゴール記念会は、私が理事です。
と言ったとすれば、これは主辞「タゴール記念館」を品評するという心持ちの文である。
（三上章、日本語の論理、1963年、４０・４１頁）。
従って、
（14）（15）により、
（16）
① タゴール記念会は私が理事長です。
② タゴール記念会は理事長は私です。
③ タゴール記念会は私以外は理事長ではない。
に於いて、
①＝②＝③ である。
従って、
（16）により、
（17）
① 象は鼻が長い。
② 象は長いのは鼻である。
③ 象は鼻以外は長くない。
に於いても、
①＝②＝③ である。
従って、
（17）により、
（18）
① 象は鼻が長い。
② 象は鼻以外は長くない。
に於いても、
①＝② である。
然るに、
（19）
「象は」は、テーマを提示する主題であり、これから象についてのことを述べますよというメンタルスペースのセットアップであり、そのメンタルスペースのスコープを形成する働きをもつと主張する（この場合は「長い」までをスコープとする）。また、「鼻が」は主格の補語にすぎなく、数ある補語と同じ格であるとする。基本文は述語である「長い」だけだ（三上文法！ : wrong, rogue and log）。
然るに、
（20）
② 鼻が長い。
に於いて、
②「鼻が」が、「長い」の「主格の補語」であるならば、
② 象は鼻が長い。
に於いて、
②「象は」も、「鼻が長い」の「主格の補語」であるに、違ひない。
従って、
（21）
「象は」は、「主題」であり、
「鼻が」は、「主格」である。
といふ「説明」が、私には、良く分からない。
（01）
この漢語文法の基礎となっている文法的な関係として、次の四つの関係をあげることができる。
（一）主述関係 主語 ― 述語
（二）修飾関係 修飾語―被修飾語
（三）補足関係 叙述語― 補語
（四）並列関係 並列語― 並列語
（鈴木直治、中国語と漢文、1975年、２８１・２８２頁改）
然るに、
（02）
① 不読文。
② 不常読漢文。
といふ「漢文」に於いて、
① に有るのは、「（三）補足関係」だけであり、
② に有るのは、「（二）修飾関係・（三）補足関係」である。
然るに、
（03）
「（二）修飾関係」は、「国語（訓読）の語順」と「同じ」であるが、
「（三）補足関係」は、「国語（訓読）の語順」と「同じ」ではない。
従って、
（02）（03）により、
（04）
「国語（訓読）の語順」だけを考へるのであれば、
① 不読文。
② 不常読漢文。
といふ「漢文」に於いて、
① に有るのは、「（三）補足関係」だけであり、
② に有るのも、「（三）補足関係」だけである。
然るに、
（05）
① 不〔読（文）〕。
に於いて、
① 不〔 〕⇒〔 〕不
① 読（ ）⇒（ ）読
といふ「移動」を行ふと、
① 不〔読（文）〕⇒
① 〔（文）読〕不＝
① 〔（文を）読ま〕ず。
といふ「漢文訓読」が、成立する。
（06）
② 不〔常読（漢文）〕。
に於いて、
② 不〔 〕⇒〔 〕不
② 読（ ）⇒（ ）読
といふ「移動」を行ふと、
② 不〔常読（漢文）〕⇒
② 〔常（漢文）読〕不＝
② 〔常には（漢文を）読ま〕ず。
といふ「漢文訓読」が、成立する。
然るに、
（07）
漢語における語順は、国語と大きく違っているところがある。すなわち、その補足構造における語順は、国語とは全く反対である。しかし、訓読は、国語の語順に置きかえて読むことが、その大きな原則となっている。それでその補足構造によっている文も、返り点によって、国語としての語順が示されている（鈴木直治、中国語と漢文、1975年、２９６頁）。
従って、
（03）～（07）により、
（08）
① 不〔読（文）〕。
② 不〔常読（漢文）〕。
に於ける、
①〔 （ ） 〕
②〔 （ ） 〕
といふ「括弧」は、
① 不読文。
② 不常読漢文。
といふ「漢文」の、「補足構造」と、「訓読の語順」の、両方を、表してゐる。
従って、
（09）
① 不読文。
② 不常読漢文。
といふ「漢文の補足構造」は、両方とも、
①〔 （ ） 〕
②〔 （ ） 〕
である。
従って、
（09）により、
（10）
① 不読文。
② 不常読漢文。
といふ「漢文の補足構造」は、「等しい」。
然るに、
（11）
① 不レ 読レ 文。
② 不三 常読二 漢文一。
従って、
（11）により、
（12）
① 不読文（文を読まず）。
② 不常読漢文（常には漢文を読まず）。
に付く「返り点」は、
① レ レ
② 三 二 一
である。
従って、
（09）（12）により、
（13）
① 不読文。
② 不常読漢文。
といふ「漢文の補足構造」は、両方とも、
①〔 （ ） 〕
②〔 （ ） 〕
であるが、「返り点」は、
① レ レ
② 三 二 一
といふ風に、「同一」ではない。
従って、
（09）～（13）により、
（14）
① 不読文。
② 不常読漢文。
に付く「返り点」である、
① レ レ
② 三 二 一
の内、「少なくとも一方」は、「漢文の補足構造」を、表してはゐないし、「結論」だけを言へば、
① レ レ
② 三 二 一
は、「両方とも」、「漢文の補足構造」を、表してはゐない。
従って、
（08）（14）により、
（15）
①〔 （ ） 〕
②〔 （ ） 〕
といふ「 括弧 」は、「漢文の補足構造」と「漢文の語順」を表してゐるものの、
① レ レ
② 三 二 一
といふ「返り点」は、「漢文の語順」だけを表してゐる。
然るに、
（16）
① 不レ 読レ 文。
② 不三 常読二 漢文一。
といふ「返り点」が分かれば、
① 文を読まず。
② 常には漢文を読まず。
といふ「訓読」が分かる。
然るに、
（08）により、
（17）
① 文を読まず。
② 常には漢文を読まず。
といふ「訓読」が分かれば、
① 不〔読（文）〕。
② 不〔常読（漢文）〕。
といふ「括弧」が分かる。
然るに、
（08）により、
（18）
① 不〔読（文）〕。
② 不〔常読（漢文）〕。
に於ける、
①〔 （ ） 〕
②〔 （ ） 〕
といふ「括弧」は、
① 不読文。
② 不常読漢文。
といふ「漢文」の、「補足構造」を、表してゐる。
従って、
（16）（17）（18）により、
（19）
「任意の漢文」の、
「返り点」が分かれば、
「 括弧 」が分かり、
「 括弧 」が分かれば、
「その漢文の、補足構造」が、分かる。
従って、
（19）により、
（20）
「 括弧 」は、「直接」、「漢文の補足構造」を、表してゐて、
「返り点」は、「括弧」を通じて、「間接的」に、「漢文の補足構造」を、表してゐる。
然るに、
（21）
然るに、
（22）
① 不〔 読（ 文） 〕⇒〔 （ 文を）読ま〕ず。
② 不〔 読（漢文） 〕⇒〔 （漢文を）読ま〕ず。
③ 不〔常読（ 文） 〕⇒〔常には（ 文を）読ま〕ず。
④ 不〔常読（漢文） 〕⇒〔常には（漢文を）読ま〕ず。
⑤ 非〔 読（文）者 〕⇒〔 （ 文を）読む者に〕非ず。
⑥ 非〔 読（漢文）者〕⇒〔 （漢文を）読む者に〕非ず。
⑦ 非〔常読（ 文）者〕⇒〔常には（ 文を）読む者に〕非ず。
⑧ 非〔常読（漢文）者〕⇒〔常には（漢文を）読む者に〕非ず。
従って、
（05）（06）（08）（21）（22）により、
（23）
① 不読文。
② 不読漢文。
③ 不常読文。
④ 不常読漢文。
⑤ 非読文者。
⑥ 非読漢文者。
⑦ 非常読文者。
⑧ 非常読漢文者。
といふ「漢文の補足構造」は、
① 不〔読（文）〕。
② 不〔読（漢文）〕。
③ 不〔常読（文）〕。
④ 不〔常読（漢文）〕。
⑤ 非〔読（文）者〕。
⑥ 非〔読（漢文）者〕。
⑦ 非〔常読（文）者〕。
⑧ 非〔常読（漢文）者〕。
に於ける、
①〔 （ ） 〕
②〔 （ ） 〕
③〔 （ ） 〕
④〔 （ ） 〕
⑤〔 （ ） 〕
⑥〔 （ ） 〕
⑦〔 （ ） 〕
⑧〔 （ ） 〕
である。
従って、
（08）（09）（10）（23）により、
（24）
① 不読文。
② 不読漢文。
③ 不常読文。
④ 不常読漢文。
⑤ 非読文者。
⑥ 非読漢文者。
⑦ 非常読文者。
⑧ 非常読漢文者。
といふ「漢文の補足構造」は、「８つとも、全て、等しい」。
然るに、
（25）
① 不読文。
② 不読漢＋文。
③ 不常＋読文。
④ 不常＋読漢＋文。
⑤ 非読文＋者。
⑥ 非読漢＋文＋者。
⑦ 非常＋読文＋者。
⑧ 非常＋読漢＋文＋者。
といふ風に、書けば、
①
② ＋
③ ＋
④ ＋ ＋
⑤ ＋
⑥ ＋ ＋
⑦ ＋ ＋
⑧ ＋ ＋ ＋
といふ「＋」は、「（二）修飾関係」を、表してゐる。
従って、
（25）により、
（26）
① 不読文。
② 不読漢文。
③ 不常読文。
④ 不常読漢文。
⑤ 非読文者。
⑥ 非読漢文者。
⑦ 非常読文者。
⑧ 非常読漢文者。
といふ「漢文の修飾構造」は、「８つとも、全て、同じではない」。
（01）
① 楚人有鬻盾與矛者。誉之曰、盾之堅、莫能陥也。又誉其矛曰、矛之利、於物無不陥也。或曰、以子之矛、陥子之盾、何如。其人弗能応也＝
② 楚人有［鬻〔盾與（矛）〕者］。誉（之）曰、盾之堅、莫（能陥）也。又誉（其矛）曰、矛之利、於（物）無〔不（陥）〕也。或曰、以（子之矛）、陥（子之盾）、何如。其人弗〔能（応）〕也⇒
③ 楚人［〔盾（矛）與〕鬻者］有。（之）誉曰、盾之堅、（能陥）莫也。又（其矛）誉曰、矛之利、（物）於〔（陥）不〕無也。或曰、（子之矛）以、（子之盾）陥、何如。其人〔（応）能〕弗也＝
④ 楚人に［〔盾と（矛）與を〕鬻ぐ者］有り。（之を）誉めて曰く、吾が盾の堅きこと、（能く陥す）莫きなり。又た（其の矛を誉めて）曰く、吾が矛の利なること、（物に）於いて〔（陥さ）弗る〕無きなり。或ひと曰く、（子の矛を）以て、（子の盾を）陥さば、何如ん。其の人〔（応ふる）能は〕ざる也＝
⑤ 楚の国の人で盾と矛とを売る者がゐた。自分の盾を誉めて言った。 私の盾を突き通すことができるものはない。 又其の矛を誉めて言った。 私の矛の鋭いことには、どんな物でも突き通すことができないものはない。或るひとが言った。 あなたの矛で、あなたの盾を突いたらどうなるのか。 其の（盾と矛を売る）人は、答へることが、出来なかった。
然るに、
（02）
② 楚人有［鬻〔盾與（矛）〕者］。誉（之）曰、盾之堅、莫（能陥）也。又誉（其矛）曰、矛之利、於（物）無〔不（陥）〕也。或曰、以（子之矛）、陥（子之盾）、何如。其人弗〔能（応）〕也。
に於いて、
② 有［ ］→［ ］有
② 鬻〔 〕→〔 〕鬻
② 與（ ）→（ ）與
② 誉（ ）→（ ）誉
② 莫（ ）→（ ）莫
② 誉（ ）→（ ）誉
② 於（ ）→（ ）於
② 無（ ）→（ ）無
② 不（ ）→（ ）不
② 以（ ）→（ ）以
② 陥（ ）→（ ）陥
② 弗（ ）→（ ）弗
② 能（ ）→（ ）能
といふ「（左から右への）移動」を行ふと、
③ 楚人［〔盾（矛）與〕鬻者］有。（之）誉曰、盾之堅、（能陥）莫也。又（其矛）誉曰、矛之利、（物）於〔（陥）不〕無也。或曰、（子之矛）以、（子之盾）陥、何如。其人〔（応）能〕弗也。
といふ「語順」になり、
（03）
③ 楚人［〔盾（矛）與〕鬻者］有。（之）誉曰、盾之堅、（能陥）莫也。又（其矛）誉曰、矛之利、（物）於〔（陥）不〕無也。或曰、（子之矛）以、（子之盾）陥、何如。其人〔（応）能〕弗也。
に於いて、
③ 有［ ］←［ ］有
③ 鬻〔 〕←〔 〕鬻
③ 與（ ）←（ ）與
③ 誉（ ）←（ ）誉
③ 莫（ ）←（ ）莫
③ 誉（ ）←（ ）誉
③ 於（ ）←（ ）於
③ 無（ ）←（ ）無
③ 不（ ）←（ ）不
③ 以（ ）←（ ）以
③ 陥（ ）←（ ）陥
③ 弗（ ）←（ ）弗
③ 能（ ）←（ ）能
といふ「（右から左への）移動」を行ふと、
② 楚人有［鬻〔盾與（矛）〕者］。誉（之）曰、盾之堅、莫（能陥）也。又誉（其矛）曰、矛之利、於（物）無〔不（陥）〕也。或曰、以（子之矛）、陥（子之盾）、何如。其人弗〔能（応）〕也。
といふ「語順」に戻る。
然るに、
（04）
③ 楚人［〔盾（矛）與〕鬻者］有。（之）誉曰、盾之堅、（能陥）莫也。又（其矛）誉曰、矛之利、（物）於〔（陥）不〕無也。或曰、（子之矛）以、（子之盾）陥、何如。其人〔（応）能〕弗也。
に対して、「平仮名を補ふ」と、
④ 楚人に［〔盾と（矛）與を〕鬻ぐ者］有り。（之を）誉めて曰く、吾が盾の堅きこと、（能く陥す）莫きなり。又た（其の矛を誉めて）曰く、吾が矛の利なること、（物に）於いて〔（陥さ）弗る〕無きなり。或ひと曰く、（子の矛を）以て、（子の盾を）陥さば、何如ん。其の人〔（応ふる）能は〕ざる也。
といふ「訓読」が、成立する。
ｃｆ.
與（前置詞）＝と（格助詞・後置詞）。
然るに、
（05）
漢語における語順は、国語と大きく違っているところがある。すなわち、その補足構造における語順は、国語とは全く反対である。しかし、訓読は、国語の語順に置きかえて読むことが、その大きな原則となっている。それでその補足構造によっている文も、返り点によって、国語としての語順が示されている（鈴木直治、中国語と漢文、1975年、２９６頁）。
従って、
（01）～（05）により、
（06）
例へば、
② 楚人有［鬻〔盾與（矛）〕者］。誉（之）曰、盾之堅、莫（能陥）也。又誉（其矛）曰、矛之利、於（物）無〔不（陥）〕也。或曰、以（子之矛）、陥（子之盾）、何如。其人弗〔能（応）〕也。
③ 楚人［〔盾（矛）與〕鬻者］有。（之）誉曰、盾之堅、（能陥）莫也。又（其矛）誉曰、矛之利、（物）於〔（陥）不〕無也。或曰、（子之矛）以、（子之盾）陥、何如。其人〔（応）能〕弗也。
に於ける、
②［ 〔 （ ）〕 ］（ ）（ ）（ ）（ ）〔 （ ） 〕（ ）（ ）〔 （ ） 〕
③［ 〔 （ ）〕 ］（ ）（ ）（ ）（ ）〔 （ ） 〕（ ）（ ）〔 （ ） 〕
といふ「括弧」は、それぞれ、
②「漢文の補足構造」と、
③「国語の補足構造」を、表してゐて、尚且つ、
③ に関しては、
④ 楚人に［〔盾と（矛）與を〕鬻ぐ者］有り。（之を）誉めて曰く、吾が盾の堅きこと、（能く陥す）莫きなり。又た（其の矛を誉めて）曰く、吾が矛の利なること、（物に）於いて〔（陥さ）弗る〕無きなり。或ひと曰く、（子の矛を）以て、（子の盾を）陥さば、何如ん。其の人〔（応ふる）能は〕ざる也。
といふ「訓読の語順」を、表してゐる。
従って、
（02）（06）により、
（07）
例へば、
② 楚人有［鬻〔盾與（矛）〕者］。
であれば、
② 有［ ］→［ ］有
② 鬻〔 〕→〔 〕鬻
② 與（ ）→（ ）與
といふ風に、
②「括弧の左にある一語」は、「訓読」では、
③「括弧の右にあるもの」と見做して、「その順番」で読むならば、
④ 楚人に［〔盾と（矛）與を〕鬻ぐ者］有り。
といふ「訓読の語順」を、得ることになる。
然るに、
（08）
② １２８［６〔３５（４）〕７］。
に於いて、
② ８［ ］→［ ］８
② ６〔 〕→〔 〕６
② ５（ ）→（ ）５
といふ「（左から右への）移動」を行ふと、
② １２８［６〔３５（４）〕７］→
③ １２［〔３（４）５〕６７］８＝
③ １ ２ ３ ４ ５ ６ ７ ８。
といふ「順番」になる。
従って、
（07）（08）により、
（09）
② 楚人有［鬻〔盾與（矛）〕者］。
に於ける、
②［ 〔 （ ） 〕 ］
といふ「括弧」は、「訓読」に於ける、
② １２８ ６ ３５ ４ ７ 。
といふ「順番」を表してゐる。
然るに、
（10）
② 楚人有鬻盾與矛者。
に付く「返り点」は、
② 楚人有下 鬻二 盾與一レ 矛者上。
すなはち、
② 下 二 一レ 上
である。
従って、
（09）（10）により、
（11）
②［ 〔 （ ） 〕 ］
といふ「括弧」は、例へば、
② 下 二 一レ 上
といふ「返り点」に相当する。
然るに、
（12）
②［ 〔 （ ） 〕 ］
といふ「括弧」は、その他にも、少なくとも、
② レ レ レ
② レ 二 一レ
② レ レ 二 一
② レ 三 二 一
② レ 二 レ 一
② 四 三 二 一
② 乙 下 二 一 上 甲
といふ「返り点」に相当する。
従って、
（12）により、
（13）
「（レ点を含む）返り点」は、「括弧」よりも、「複雑」である。
（14）
例へば、
② 非［不〔 読（ 書）〕］→［ 〔（書を ）読ま〕不るに］非ず。
② 非［不〔常読（漢文）〕］→［〔常には（漢文を）読ま〕不るに］非ず。
に於いて、「両者の補足構造」は、「等しい」ものの、
② レ レ レ
② レ 三 二 一
といふ風に、「返り点」は、「同じ」にならない。
従って、
（14）により、
（15）
「返り点」は、直接には、「漢文の補足構造」を、表してはゐない。
従って、
（13）（15）により、
（16）
「（レ点を含む）返り点」は、「括弧」よりも、「複雑」であって、尚且つ、「括弧」とは異なり、「返り点」は、直接には、「漢文の補足構造」を表してはゐない。
（01）
― 矛盾・韓非子 ―
楚人有鬻盾与矛者。誉之曰、盾之堅、莫能陥也。又誉其矛曰、矛之利、於物無不陥也。或曰、以子之矛、陥子之盾、何如。其人弗能応也＝
楚人有［鬻〔盾与（矛）〕者］。誉（之）曰、盾之堅、莫（能陥）也。又誉（其矛）曰、矛之利、於（物）無〔不（陥）〕也。或曰、以（子之矛）、陥（子之盾）、何如。其人弗〔能（応）〕也⇒
楚人に［〔盾と（矛）とを〕鬻ぐ者］有り。（之を）誉めて曰く、吾が盾の堅きこと、（能く陥す）莫きなり。又た（其の矛を誉めて）曰く、吾が矛の利なること、（物に）於いて〔（陥さ）不る〕無きなり。或ひと曰く、（子の矛を）以て、（子の盾を）陥さば、何如ん。其の人〔（応ふる）能は〕ざるなり＝
楚の国の人で盾と矛とを売る者がゐた。自分の盾を誉めて言った。 私の盾を突き通すことができるものはない。 又其の矛を誉めて言った。 私の矛の鋭いことには、どんな物でも突き通すことができないものはない。或るひとが言った。 あなたの矛で、あなたの盾を突いたらどうなるのか。 其の（盾と矛を売る）人は、答へることが、出来なかった。
然るに、
（02）
１ （１）∃ｘ（盾ｘ）＆∃ｙ（矛ｙ） Ａ
１ （２）∃ｘ（盾ｘ） １＆Ｅ
３ （３） 盾ａ Ａ
１ （４） ∃ｙ（矛ｙ） １＆Ｅ
５ （５） 矛ｂ Ａ
６ （６）∀ｙ｛矛ｙ→∃ｘ（盾ｘ＆～陥ｙｘ）｝ Ａ
６ （７） 矛ｂ→∃ｘ（盾ｘ＆～陥ｂｘ） ６ＵＥ
５６ （８） ∃ｘ（盾ｘ＆～陥ｂｘ） ５７ＭＰＰ
９ （９） 盾ａ＆～陥ｂａ Ａ
９ （ア） ～陥ｂａ ９＆Ｅ
イ （イ）∀ｘ｛盾ｘ→∃ｙ（矛ｙ＆ 陥ｙｘ）｝ Ａ
イ （ウ） 盾ａ→∃ｙ（矛ｙ＆ 陥ｙａ） イＵＥ
３ イ （エ） ∃ｙ（矛ｙ＆ 陥ｙａ） ３ウＭＰＰ
オ （オ） 矛ｂ＆ 陥ｂａ Ａ
オ （カ） 陥ｂａ オ＆Ｅ
９ オ （キ） ～陥ｂａ＆陥ｂａ アカ＆Ｉ
５６ オ （ク） ～陥ｂａ＆陥ｂａ ８９キＥＥ
３５６ イ （ケ） ～陥ｂａ＆陥ｂａ エオクＥＥ
１ ５６ イ （コ） ～陥ｂａ＆陥ｂａ ２３ケＥＥ
１ ６ イ （サ） ～陥ｂａ＆陥ｂａ ４５コＥＥ
６ イ （シ）～｛∃ｘ（盾ｘ）＆ ∃ｙ（矛ｙ）｝ １サＲＡＡ
６ イ （ス） ～∃ｘ（盾ｘ）∨～∃ｙ（矛ｙ） シ、ド・モルガンの法則
６ イ （セ） ∃ｘ（盾ｘ）→～∃ｙ（矛ｙ） ス含意の定義
ソ （ソ） ∃ｙ（矛ｙ） Ａ
ソ （タ） ～～∃ｙ（矛ｙ） ソＤＮ
６ イソ （チ） ～∃ｘ（盾ｘ） セタＭＴＴ
６ イ （ツ） ∃ｙ（矛ｙ）→～∃ｘ（盾ｘ） ソチＣＰ
６ イ （テ） ∃ｘ（盾ｘ）→～∃ｙ（矛ｙ）＆
∃ｙ（矛ｙ）→～∃ｘ（盾ｘ） セツ＆Ｉ
（03）
（ⅰ）
１ （１） ∃ｘ（盾ｘ）→～∃ｙ（矛ｙ） Ａ
２ （２） ∃ｘ（盾ｘ）＆ ∃ｙ（矛ｙ） Ａ
２ （３） ∃ｘ（盾ｘ） ２＆Ｅ
２ （４） ∃ｙ（矛ｙ） ２＆Ｅ
１２ （５） ～∃ｙ（矛ｙ） １３ＭＰＰ
１２ （６） ∃ｙ（矛ｙ）＆～∃ｙ（矛ｙ） ４５＆Ｉ
１ （７）～｛∃ｘ（盾ｘ）＆ ∃ｙ（矛ｙ）｝ ２６ＲＡＡ
（ⅱ）
１ （１）～｛∃ｘ（盾ｘ）＆ ∃ｙ（矛ｙ）｝ ２６ＲＡＡ
２ （２） ∃ｘ（盾ｘ） Ａ
３ （３） ∃ｙ（矛ｙ） Ａ
２３ （４） ∃ｘ（盾ｘ）＆ ∃ｙ（矛ｙ） ２３＆Ｉ
１２３ （５）～｛∃ｘ（盾ｘ）＆ ∃ｙ（矛ｙ）｝
＆（∃ｘ（盾ｘ）＆ ∃ｙ（矛ｙ）｝ １４＆Ｉ
１２ （６） ～∃ｙ（矛ｙ） ３５ＲＡＡ
１ （７） ∃ｘ（盾ｘ）→～∃ｙ（矛ｙ） ２６ＣＰ
従って、
（03）により、
（04）
① ∃ｘ（盾ｘ）→～∃ｙ（矛ｙ）
② ～｛∃ｘ（盾ｘ）＆ ∃ｙ（矛ｙ）｝
に於いて、
①＝② である。
従って、
（04）により、
（05）
③ ∃ｘ（矛ｘ）→～∃ｙ（盾ｙ）
④ ～｛∃ｘ（矛ｘ）＆ ∃ｙ（盾ｙ）｝
に於いて、
③＝④ である。
従って、
（02）～（05）により、
（06）
１ （１）∃ｘ（盾ｘ）＆∃ｙ（矛ｙ） Ａ
１ （２）∃ｘ（盾ｘ） １＆Ｅ
３ （３） 盾ａ Ａ
１ （４） ∃ｙ（矛ｙ） １＆Ｅ
５ （５） 矛ｂ Ａ
６ （６）∀ｙ｛矛ｙ→∃ｘ（盾ｘ＆～陥ｙｘ）｝ Ａ
６ （７） 矛ｂ→∃ｘ（盾ｘ＆～陥ｂｘ） ６ＵＥ
５６ （８） ∃ｘ（盾ｘ＆～陥ｂｘ） ５７ＭＰＰ
９ （９） 盾ａ＆～陥ｂａ Ａ
９ （ア） ～陥ｂａ ９＆Ｅ
イ （イ）∀ｘ｛盾ｘ→∃ｙ（矛ｙ＆ 陥ｙｘ）｝ Ａ
イ （ウ） 盾ａ→∃ｙ（矛ｙ＆ 陥ｙａ） イＵＥ
３ イ （エ） ∃ｙ（矛ｙ＆ 陥ｙａ） ３ウＭＰＰ
オ （オ） 矛ｂ＆ 陥ｂａ Ａ
オ （カ） 陥ｂａ オ＆Ｅ
９ オ （キ） ～陥ｂａ＆陥ｂａ アカ＆Ｉ
５６ オ （ク） ～陥ｂａ＆陥ｂａ ８９キＥＥ
３５６ イ （ケ） ～陥ｂａ＆陥ｂａ エオクＥＥ
１ ５６ イ （コ） ～陥ｂａ＆陥ｂａ ２３ケＥＥ
１ ６ イ （サ） ～陥ｂａ＆陥ｂａ ４５コＥＥ
６ イ （シ）～｛∃ｘ（盾ｘ）＆ ∃ｙ（矛ｙ）｝ １サＲＡＡ
６ イ （ス） ～∃ｘ（盾ｘ）∨～∃ｙ（矛ｙ） シ、ド・モルガンの法則
６ イ （セ） ∃ｘ（盾ｘ）→～∃ｙ（矛ｙ） ス含意の定義
ソ （ソ） ∃ｙ（矛ｙ） Ａ
ソ （タ） ～～∃ｙ（矛ｙ） ソＤＮ
６ イソ （チ） ～∃ｘ（盾ｘ） セタＭＴＴ
６ イ （ツ） ∃ｙ（矛ｙ）→～∃ｘ（盾ｘ） ソチＣＰ
６ イ （テ） ∃ｘ（盾ｘ）→～∃ｙ（矛ｙ）＆
∃ｙ（矛ｙ）→～∃ｘ（盾ｘ） セツ＆Ｉ
６ イ （ト）～｛∃ｘ（盾ｘ）＆ ∃ｙ（矛ｙ）｝＆
～｛∃ｘ（矛ｘ）＆ ∃ｙ（盾ｙ）｝ テ含意の定義
従って、
（06）により、
（07）
（１）ある盾ｘが存在し、ある矛ｙが存在する。 と「仮定」して、
（６）すべてのｙについて、ｙが矛ならば、あるｘは盾であって、ｙはｘを陥さない。と「仮定」して、
（イ）すべてのｘについて、ｘが盾ならば、あるｙは矛であって、ｙはｘを陥す。 と「仮定」すると、
（テ）ある盾ｘが存在するならば、ある矛ｙは存在せず、
ある矛ｙが存在するならば、ある盾ｘは存在しない。が故に、
（ト）盾ｘと矛ｙが、「同時に、存在する」といふことはない。
然るに、
（08）
夫不可陷之盾与無不陷之矛、不可同世而立。今堯舜之不可両譽、矛盾之説也＝
夫不〔可（陷）〕之楯與［無〔不（陷）〕之矛］、不［可〔同（世）而立〕］。今堯舜之不〔可（両譽）〕、矛楯之説也⇒
夫れ〔（陷す）可がら〕不るの楯と［〔（陷さ）不る〕無きの矛］とは、［〔（世を）同じくして立つ〕可から］不。今堯舜の〔（両つながら譽む）可から〕不るは、矛楯の説なり＝
いかなる矛であっても、突き通すことが出来ない「盾」と、いかなる盾であってあっても、突き通さないことが無い「矛」とは、同時に存在することはできない。堯と舜とを同時に誉めたたへることが出来ないのは、この「盾と矛の例へ」と同じである。
ｃｆ.
儒教思想を批判した韓非は、儒者が堯・舜を、万人を感化した聖人であるとして賞賛するのを反対して、堯が万人を感化したなら、もはや舜はその後をうけて人民を感化する必要はないし、舜が堯にかわって万人を感化する必要があったとするならば、堯は聖人として不十分であったという証拠になる。という。したがって堯・舜ふたりとも聖人であるというのは矛盾であるとして、この話を引用したのである。
（旺文社、漢文の基礎、1973年、３４頁）
従って、
（06）（07）（08）により、
（09）
この場合の「韓非子の説」は、「漢文」としても、「日本語」としても、「述語論理」としても、「正しい」。
（01）
（ⅰ）
１ （１）∃ｘ∃ｙ｛我ｘ＆汝ｙ＆∀ｚ（欲踊ｘｚ→ｚ＝ｙ｝ Ａ
２ （２） ∃ｙ｛我ａ＆汝ｙ＆∀ｚ（欲踊ａｚ→ｚ＝ｙ｝ Ａ
３ （３） 我ａ＆汝ｂ＆∀ｚ（欲踊ａｚ→ｚ＝ｂ） Ａ
３ （４） 我ａ＆汝ｂ ３＆Ｅ
３ （５） ∀ｚ（欲踊ａｃ→ｃ＝ｂ） ３＆Ｅ
３ （６） 欲踊ａｃ→ｃ＝ｂ ５ＵＥ
７（７） ｃ≠ｂ Ａ
３７（８） ～欲踊ａｃ ６７ＭＴＴ
３ （９） ｃ≠ｂ→～欲踊ａｃ ７８ＣＰ
３ （ア） ∀ｚ（ｚ≠ｂ→～欲踊ａｚ） ９ＵＩ
３ （イ） 我ａ＆汝ｂ＆∀ｚ（ｚ≠ｂ→～欲踊ａｚ） ４ア＆Ｉ
３ （ウ） ∃ｙ｛我ａ＆汝ｙ＆∀ｚ（ｚ≠ｙ→～欲踊ａｚ）｝ イＥＩ
２ （エ） ∃ｙ｛我ａ＆汝ｙ＆∀ｚ（ｚ≠ｙ→～欲踊ａｚ）｝ ２３ウＥＥ
２ （オ）∃ｘ∃ｙ｛我ｘ＆汝ｙ＆∀ｚ（ｚ≠ｙ→～欲踊ｘｚ）｝ エＥＩ
１ （カ）∃ｘ∃ｙ｛我ｘ＆汝ｙ＆∀ｚ（ｚ≠ｙ→～欲踊ｘｚ）｝ １２オＥＥ
（ⅱ）
１ （１）∃ｘ∃ｙ｛我ｘ＆汝ｙ＆∀ｚ（ｚ≠ｙ→～欲踊ｘｚ）｝ １
２ （２） ∃ｙ｛我ａ＆汝ｙ＆∀ｚ（ｚ≠ｙ→～欲踊ａｚ）｝ Ａ
３ （３） 我ａ＆汝ｂ＆∀ｚ（ｚ≠ｙ→～欲踊ａｚ） Ａ
３ （４） 我ａ＆汝ｂ ３＆Ｅ
３ （５） ∀ｚ（ｚ≠ｙ→～欲踊ａｚ） ３＆Ｅ
３ （６） ｃ≠ｙ→～欲踊ａｃ ５ＵＥ
７（７） 欲踊ａｃ Ａ
７（８） ～～欲踊ａｃ ７ＤＮ
３７（９） ～（ｃ≠ｙ） ６８ＭＴＴ
３７（ア） ｃ＝ｙ ６ＤＮ
３ （イ） 欲踊ａｃ→ｃ＝ｙ ７アＣＰ
３ （ウ） ∀ｚ（欲踊ａｚ→ｚ＝ｂ） イＵＩ
３ （エ） 我ａ＆汝ｂ＆∀ｚ（欲踊ａｚ→ｚ＝ｂ） ４ウ＆Ｉ
３ （オ） ∃ｙ｛我ａ＆汝ｙ＆∀ｚ（欲踊ａｚ→ｚ＝ｙ｝ エＥＩ
２ （カ） ∃ｙ｛我ａ＆汝ｙ＆∀ｚ（欲踊ａｚ→ｚ＝ｙ｝ ２３オＥＥ
２ （キ）∃ｘ∃ｙ｛我ｘ＆汝ｙ＆∀ｚ（欲踊ｘｚ→ｚ＝ｙ｝ カＥＩ
１ （ケ）∃ｘ∃ｙ｛我ｘ＆汝ｙ＆∀ｚ（欲踊ｘｚ→ｚ＝ｙ｝ １２キＥＥ
従って、
（01）により、
（02）
① ∃ｘ∃ｙ｛我ｘ＆汝ｙ＆∀ｚ（ 欲踊ｘｚ→ｚ＝ｙ）｝
② ∃ｘ∃ｙ｛我ｘ＆汝ｙ＆∀ｚ（ｚ≠ｙ→～欲踊ｘｚ）｝
に於いて、
①＝② である。
然るに、
（03）
（ⅱ）
１ （１） ∃ｘ∃ｙ｛我ｘ＆汝ｙ＆∀ｚ（ｚ≠ｙ→～欲踊ｘｚ｝ Ａ
２ （２） ∃ｙ｛我ａ＆汝ｙ＆∀ｚ（ｚ≠ｙ→～欲踊ａｚ｝ Ａ
３ （３） 我ａ＆汝ｂ＆∀ｚ（ｚ≠ｂ→～欲踊ａｚ） Ａ
３ （４） 我ａ＆汝ｂ ３＆Ｅ
３ （５） ∀ｚ（ｚ≠ｂ→～欲踊ａｚ） ３＆Ｅ
３ （６） ｃ≠ｂ→～欲踊ａｃ ５ＵＥ
３ （７） ～ｃ≠ｂ∨～欲踊ａｃ ６含意の
３ （８） ～（ｃ≠ｂ＆ 欲踊ａｃ） ７ド・モルガンの法則
３ （９） ∀ｚ～（ｚ≠ｂ＆ 欲踊ａｚ） ８ＵＩ
３ （ア） ～∃ｚ（ｚ≠ｂ＆ 欲踊ａｚ） ９量化子の関係
３ （イ） ～～（我ａ＆汝ｂ） ４ＤＮ
３ （ウ） ～～（我ａ＆汝ｂ）＆～∃ｚ（ｚ≠ｂ＆ 欲踊ａｚ） ９イ＆Ｉ
３ （エ）～｛～（我ａ＆汝ｂ）∨ ∃ｚ（ｚ≠ｂ＆ 欲踊ａｚ）｝ ウ、ド・モルガンの法則
３ （オ）～｛ 我ａ＆汝ｂ → ∃ｚ（ｚ≠ｂ＆ 欲踊ａｚ）｝ エ含意の定義
３ （カ） ∃ｙ～｛我ａ＆汝ｙ→∃ｚ（ｚ≠ｙ＆ 欲踊ａｚ）｝ オＥＩ
２ （キ） ∃ｙ～｛我ａ＆汝ｙ→∃ｚ（ｚ≠ｙ＆ 欲踊ａｚ）｝ ２３カＥＥ
２ （ク）∃ｘ∃ｙ～｛我ｘ＆汝ｙ→∃ｚ（ｚ≠ｙ＆ 欲踊ｘｚ）｝ キＥＩ
１ （ケ）∃ｘ∃ｙ～｛我ｘ＆汝ｙ→∃ｚ（ｚ≠ｙ＆ 欲踊ｘｚ）｝ １２クＥＥ
１ （コ）∃ｘ～∀ｙ｛我ｘ＆汝ｙ→∃ｚ（ｚ≠ｙ＆ 欲踊ｘｚ）｝ ケ量化子の関係
１ （サ）～∀ｘ∀ｙ｛我ｘ＆汝ｙ→∃ｚ（ｚ≠ｙ＆ 欲踊ｘｚ）｝ コ量化子の関係
（ⅲ）
１ （１）～∀ｘ∀ｙ｛我ｘ＆汝ｙ →∃ｚ（ｚ≠ｙ＆欲踊ｘｚ）｝ Ａ
１ （２）∃ｘ～∀ｙ｛我ｘ＆汝ｙ →∃ｚ（ｚ≠ｙ＆欲踊ｘｚ）｝ １量化子の関係
１ （３）∃ｘ∃ｙ～｛我ｘ＆汝ｙ →∃ｚ（ｚ≠ｙ＆欲踊ｘｚ）｝ ２量化子の関係
４ （４） ∃ｙ～｛我ａ＆汝ｙ →∃ｚ（ｚ≠ｙ＆欲踊ａｚ）｝ Ａ
５ （５） ～｛我ａ＆汝ｂ →∃ｚ（ｚ≠ｂ＆欲踊ａｚ）｝ Ａ
５ （６） ～｛～（我ａ＆汝ｂ）∨∃ｚ（ｚ≠ｂ＆欲踊ａｚ）｝ ５含意の定義
５ （７） ～～（我ａ＆汝ｂ）＆～∃ｚ（ｚ≠ｂ＆欲踊ａｚ） ６ド・モルガンの法則
５ （８） （我ａ＆汝ｂ）＆～∃ｚ（ｚ≠ｂ＆欲踊ａｚ） ７ＤＮ
５ （９） （我ａ＆汝ｂ） ８＆Ｅ
５ （ア） ～∃ｚ（ｚ≠ｂ＆欲踊ａｚ） ８＆Ｅ
５ （イ） ∀ｚ～（ｚ≠ｂ＆欲踊ａｚ） ア量化子の関係
５ （ウ） ～（ｃ≠ｂ＆欲踊ａｃ） ５ＵＥ
５ （エ） ～ｃ≠ｂ∨～欲踊ａｃ ウ、ド・モルガンの法則
５ （オ） ｃ≠ｂ→～欲踊ａｃ エ含意の定義
５ （カ） ∀ｚ｛ｚ≠ｂ→～欲踊ａｚ） オＵＩ
５ （キ） 我ａ＆汝ｂ＆∀ｚ｛ｚ≠ｂ→～欲踊ａｚ） ９カ＆Ｉ
５ （ク） ∃ｙ｛我ａ＆汝ｙ＆∀ｚ｛ｚ≠ｙ→～欲踊ａｚ）｝ キＥＩ
４ （ケ） ∃ｙ｛我ａ＆汝ｙ＆∀ｚ｛ｚ≠ｙ→～欲踊ａｚ）｝ ４５クＥＥ
４ （コ） ∃ｘ∃ｙ｛我ｘ＆汝ｙ＆∀ｚ（ｚ≠ｙ→～欲踊ｘｚ）｝ ケＥＩ
１ （サ） ∃ｘ∃ｙ｛我ｘ＆汝ｙ＆∀ｚ（ｚ≠ｙ→～欲踊ｘｚ）｝ ３４コＥＥ
従って、
（03）により、
（04）
② ∃ｘ∃ｙ｛我ｘ＆汝ｙ＆∀ｚ（ｚ≠ｙ→～欲踊ｘｚ）｝
③ ～∀ｘ∀ｙ｛我ｘ＆汝ｙ→∃ｚ（ｚ≠ｙ＆欲踊ｘｚ）｝
に於いて、
②＝③ である。
従って、
（02）（04）により、
（05）
① ∃ｘ∃ｙ｛我ｘ＆汝ｙ＆∀ｚ（ 欲踊ｘｚ→ｚ＝ｙ）｝
② ∃ｘ∃ｙ｛我ｘ＆汝ｙ＆∀ｚ（ｚ≠ｙ→～欲踊ｘｚ）｝
③ ～∀ｘ∀ｙ｛我ｘ＆汝ｙ→∃ｚ（ｚ≠ｙ＆欲踊ｘｚ）｝
に於いて、
①＝②＝③ である。
従って、
（05）により、
（06）
① あるｘは私であり、あるｙは汝であり、すべてのｚについて、ｘ（私）がｚに踊って欲しいのであれば、そのｚはｙ（汝）である。
② あるｘは私であり、あるｙは汝であり、すべてのｚについて、ｚが、ｙ（汝）でないならば、ｘ（私）はｚに踊って欲しくはない。
③ すべてのｘとｙについて、ｘが私であり、ｙが汝であるならば、あるｚがｙ（汝）でなくて、ｘ（私）がそのｚに対して、踊って欲しい、といふことはない。
に於いて、
①＝②＝③ である。
然るに、
（07）
② あるｘは私であり、あるｙは汝であり、すべてのｚについて、ｚが、ｙ（汝）でないならば、ｘ（私）はｚに踊って欲しくはない。
といふことは、
② 私は、あなた以外に、踊って欲しいとは思はない。
といふ、ことである。
従って、
（05）（06）（07）により、
（08）
① ∃ｘ∃ｙ｛我ｘ＆汝ｙ＆∀ｚ（ 欲踊ｘｚ→ｚ＝ｙ）｝
② ∃ｘ∃ｙ｛我ｘ＆汝ｙ＆∀ｚ（ｚ≠ｙ→～欲踊ｘｚ）｝
③ ～∀ｘ∀ｙ｛我ｘ＆汝ｙ→∃ｚ（ｚ≠ｙ＆欲踊ｘｚ）｝
といふ「論理式」は、三つとも、
② 私は、あなた以外に、踊って欲しくない。
といふ、「意味」である。
然るに、
（09）
② 私は、あなた以外に、踊って欲しくない。
といふだけでは、
② 私は、あなたに、踊って欲しい。
といふことには、ならない。
然るに、
（10）
② 私は、あなたに、踊って欲しく、あなた以外に踊って欲しくない。⇔
② ∃ｘ∃ｙ｛我ｘ＆汝ｙ＆欲踊ｘｙ＆∀ｚ（ｚ≠ｙ→～欲踊ｘｚ）｝⇔
② あるｘは私であり、あるｙは汝であり、ｘ（私）はｙ（汝）に踊って欲しく、すべてのｚについて、ｚが、ｙ（汝）でないならば、ｘ（私）はｚに踊って欲しくはない。
従って、
（10）により、
（11）
② 私は、あなたに、踊って欲しく、あなた以外に踊って欲しくない。
といふ「日本語」は、
② ∃ｘ∃ｙ｛我ｘ＆汝ｙ＆欲踊ｘｙ＆∀ｚ（ｚ≠ｙ→～欲踊ｘｚ）｝
といふ「論理式」に、相当する。
然るに、
（12）
① 私は、あなたに、踊って欲しい。
といふ「日本語」に於いて、
① 「あなたに」
を、殊更、「強く発音」するならば、
② 私は、あなたに、踊って欲しく、あなた以外に踊って欲しくない。
② ∃ｘ∃ｙ｛我ｘ＆汝ｙ＆欲踊ｘｙ＆∀ｚ（ｚ≠ｙ→～欲踊ｘｚ）｝
といふ「意味」になる。
然るに、
（13）
② 私は、あなたに、踊って欲しく、あなた以外に踊って欲しくない。
といふことは、すなはち、
② 私は、あなたに、踊って欲しいのであって、あなた以外に踊って欲しくはない。
といふことは、
② 私は、他ならぬ、あなたに、踊って欲しい。
といふ、ことである。
従って、
（12）（13）により、
（14）
① 私は、あなたに、踊って欲しい。
といふ「日本語」に於いて、
① 「あなたに」
を、殊更、「強く発音」するならば、
② 私は、他ならぬ、あなたに、踊って欲しい。
といふ「意味」になる。
従って、
（14）により、
（15）
① 私は、あなたに、踊って欲しい。
といふ「日本語」に於いて、
① 「あなたに」
を、「強調」するならば、
② 私は、他ならぬ、あなたに、踊って欲しい。
といふ「意味」になる。
然るに、
（16）
Ｂ：Ｔｅ ｂｅｎｅ ｓａｌｔａｒｅ ａｕｄｉｖｉ．Ｓａｌｔａ， ｏｂｓｅｃｒｏ．
Ａ：Ａｌｉｕｍ ｒｏｇａ．
Ｂ：Ｔｅ ｉｐｓｕｍ ｓａｌｔａｒｅ ｖｉｄｅｒｅ ｖｏｌｏ．
（白水社、ＣＤエクスプレスラテン語、2004年、６６頁）
然るに、
（17）
Ｂ：君は踊りがうまいと聞いたことがあるぞ、お願いだ、踊ってくれ。
Ａ：ほかの人に頼めよ。
Ｂ：君自身が踊るのを見たいんだよ。
（白水社、ＣＤエクスプレスラテン語、2004年、６７頁）
然るに、
（18）
Ａ：ほかの人に頼めよ。
Ｂ：君自身が踊るのを見たいんだよ。
といふことは、
Ａ：他の人に頼めよ。
Ｂ：私は、他ならぬ、あなたに、踊って欲しい。
といふ、ことである。
従って、
（16）（17）（18）により、
（19）
Ｂ：Ｔｅ ｉｐｓｕｍ ｓａｌｔａｒｅ ｖｉｄｅｒｅ ｖｏｌｏ．
といふ「ラテン語」は、
Ｂ：私は、他ならぬ、あなたに、踊って欲しい（意訳）。
といふ「日本語」に、訳すことが出来る。
然るに、
（20）
Ｂ：Ｔｅ ｉｐｓｕｍ の、
ｉｐｓｕｍ は、ｉｐｓｅ の「対格」であって、
ｉｐｓｅ は「強意代名詞」である。
然るに、
（21）
上述の指示代名詞のほかに、「～自身、自体」「他ならぬ～」を意味する強意代名詞の ｉｐｓｅ も、三人称代名詞になります（大西英文、はじめてのラテン語、1997年、１７４頁改）。
従って、
（19）（20）（21）により、
（22）
① Ｔｅ ｓａｌｔａｒｅ ｖｉｄｅｒｅ ｖｏｌｏ．
② Ｔｅ ｉｐｓｕｍ ｓａｌｔａｒｅ ｖｉｄｅｒｅ ｖｏｌｏ．
といふ「ラテン語」は、
① 私は、 あなたに、踊って欲しい。
② 私は、他ならぬ、あなたに、踊って欲しい。
といふ「日本語」に、相当する。
従って、
（15）（20）（21）（22）により、
（23）
① 私は、あなたに、踊って欲しい。
① Ｔｅ ｓａｌｔａｒｅ ｖｉｄｅｒｅ ｖｏｌｏ．
に於いて、
① あなたに、 を「強調」し、
① Ｔｅ（ｙｏｕ） を「強調」すると、
② 私は、他ならぬ、あなたに、踊って欲しい。
② 私は、他ならぬ、あなたに、踊って欲しい。
といふ「意味」になる。