（118）「こんにゃく文」と「述語論理」。

（01）
① こんにゃくは太らない。
もちろん、この文が問題となるのは、「太らない」のが「こんにゃく」ではなく、それを食べる人間様の場合である。
（金谷武洋、日本語文法の謎を解く、2003年、８４頁改）
従って、
（01）により、
（02）
① こんにゃくは太らない。といふのであれば、
① こんにゃくが存在するならば、ある人が存在して、その人はこんにゃくを食べ、その人は太らない。
然るに、
（03）
１　　（１）∀ｘ｛蒟蒻ｘ→　∃ｙ（人ｙ＆食ｙｘ＆～太ｙ）｝　Ａ
１　　（２）　　　蒟蒻ａ→　∃ｙ（人ｙ＆食ｙｘ＆～太ｙ）｝　１ＵＥ
　３　（３）∃ｘ（蒟蒻ｘ）　　　　　　　　　　　　　　　　　Ａ
　　４（４）　　　蒟蒻ａ　　　　　　　　　　　　　　　　　　Ａ
１　４（５）　　　　　　　　∃ｙ（人ｙ＆食ｙｘ＆～太ｙ）　　２４ＭＰＰ
１３　（６）　　　　　　　　∃ｙ（人ｙ＆食ｙｘ＆～太ｙ）　　３４５ＥＥ
１　　（７）∃ｘ（蒟蒻ｘ）→∃ｙ（人ｙ＆食ｙｘ＆～太ｙ）　　３６ＣＰ
１　　（〃）あるｘが蒟蒻であるならば、あるｙは人であって、ｙはｘ（蒟蒻）を食べ、ｙは太らない。　３６ＣＰ
１　　（〃）こんにゃくが存在するならば、ある人が存在して、その人は蒟蒻を食べ、その人は太らない。　３６ＣＰ
といふ「述語計算」は、「正しい」。
然るに、
（04）
① 蒟蒻が存在するならば、ある人が存在して、その人はこんにゃくを食べ、その人は太らない。
といふことは、要するに、
① 蒟蒻は太らない。
といふことである。
従って、
（03）（04）により、
（05）
① 蒟蒻は太らない＝∀ｘ｛蒟蒻ｘ→∃ｙ（人ｙ＆食ｙｘ＆～太ｙ）｝。
といふ「等式」が、成立する。
然るに、
（06）
１　　（１）∀ｘ｛～蒟蒻ｘ→　∃ｙ（人ｙ＆食ｙｘ＆太ｙ）｝　　　　Ａ
１　　（２）　　　～蒟蒻ａ→　∃ｙ（人ｙ＆食ｙｘ＆太ｙ）｝　　　　１ＵＥ
　３　（３）∃ｘ（～蒟蒻ｘ＆食物ｘ）　　　　　　　　　　　　　　　Ａ
　　４（４）　　　～蒟蒻ａ＆食物ａ　　　　　　　　　　　　　　　　Ａ
　　４（５）　　　～蒟蒻ａ　　　　　　　　　　　　　　　　　　　　４＆Ｅ
１　４（６）　　　　　　　　　∃ｙ（人ｙ＆食ｙｘ＆太ｙ）　　　　　２５ＭＰＰ
１３　（７）　　　　　　　　　∃ｙ（人ｙ＆食ｙｘ＆太ｙ）　　　　　３４ＥＥ
１　　（８）∃ｘ（～蒟蒻ｘ＆食物ｘ）→∃ｙ（人ｙ＆食ｙｘ＆太ｙ）　３７ＣＰ
１　　（〃）あるｘが蒟蒻でない食べ物であるならば、あるｙは人であって、ｙはｘ（蒟蒻でない食べ物）を食べ、ｙは太る。　３６ＣＰ
１　　（〃）蒟蒻でない食べ物が存在するならば、ある人が存在して、その人は蒟蒻でない食べ物を食べて、その人は太る。　３ＣＰ
然るに、
（07）
② 蒟蒻でない食べ物が存在するならば、ある人が存在して、その人は蒟蒻でない食べ物を食べて、その人は太る。
といふことは、要するに、
② 蒟蒻以外は太る。
といふことである。
然るに、
（08）
②｛蒟蒻、饅頭、御飯、お好み焼き、ラーメン｝といふ「変域」を想定して、
② 蒟蒻以外は太る。
といふことは、
② 蒟蒻が太らない。
といふことである。
従って、
（05）～（08）により、
（09）
① 蒟蒻は太らない＝∀ｘ｛　蒟蒻ｘ→∃ｙ（人ｙ＆食ｙｘ＆～太ｙ）｝。
② 蒟蒻が太らない＝∀ｘ｛～蒟蒻ｘ→∃ｙ（人ｙ＆食ｙｘ＆　太ｙ）｝。
といふ「等式」が、成立する。
然るに、
（10）
１　　（１）∀ｘ｛～蒟蒻ｘ→　∃ｙ（人ｙ＆食ｙｘ＆～太ｙ）｝　　　　Ａ
１　　（２）　　　～蒟蒻ａ→　∃ｙ（人ｙ＆食ｙｘ＆～太ｙ）｝　　　　１ＵＥ
　３　（３）∃ｘ（～蒟蒻ｘ＆食物ｘ）　　　　　　　　　　　　　　　　Ａ
　　４（４）　　　～蒟蒻ａ＆食物ａ　　　　　　　　　　　　　　　　　Ａ
　　４（５）　　　～蒟蒻ａ　　　　　　　　　　　　　　　　　　　　　４＆Ｅ
１　４（６）　　　　　　　　　∃ｙ（人ｙ＆食ｙｘ＆～太ｙ）　　　　　２５ＭＰＰ
１３　（７）　　　　　　　　　∃ｙ（人ｙ＆食ｙｘ＆～太ｙ）　　　　　３４ＥＥ
１　　（８）∃ｘ（～蒟蒻ｘ＆食物ｘ）→∃ｙ（人ｙ＆食ｙｘ＆～太ｙ）　３７ＣＰ
１　　（〃）あるｘが蒟蒻でない食べ物であるならば、あるｙは人であって、ｙはｘ（蒟蒻でない食べ物）を食べ、ｙは太らない。　３６ＣＰ
１　　（〃）蒟蒻でない食べ物が存在するならば、ある人が存在して、その人は蒟蒻でない食べ物を食べて、その人は太らない。　３ＣＰ
然るに、
（11）
③ 蒟蒻でない食べ物が存在するならば、ある人が存在して、その人は蒟蒻でない食べ物を食べて、その人は太らない。
といふことは、要するに、
③ 蒟蒻以外も太らない。
といふことである。
然るに、
（12）
① 蒟蒻は太らない。
といふ「前提」のもとで、
③ 蒟蒻以外も太らない。
といふのであれば、
③ 蒟蒻も太らない。
といふことになる。
然るに、
（09）～（12）により、
（13）
① 蒟蒻は太らない＝∀ｘ｛　蒟蒻ｘ→∃ｙ（人ｙ＆食ｙｘ＆～太ｙ）｝。
② 蒟蒻が太らない＝∀ｘ｛～蒟蒻ｘ→∃ｙ（人ｙ＆食ｙｘ＆　太ｙ）｝。
③ 蒟蒻も太らない＝∀ｘ｛～蒟蒻ｘ→∃ｙ（人ｙ＆食ｙｘ＆～太ｙ）｝。
といふ「等式」が、成立する（はずである）。
然るに、
いづれにせよ、
（14）
① 蒟蒻は太らない＝∀ｘ｛蒟蒻ｘ→∃ｙ（人ｙ＆食ｙｘ＆～太ｙ）｝。
① 蒟蒻は太らない＝すべてのｘについて｛ｘが蒟蒻であるならば、あるｙは人であって、ｙはｘを食べ、ｙは太らない｝。
といふ「等式」は、「正しい」。
然るに、
（15）
１　　（１）大Ａ帝国は、女王陛下、之を統治す。
１　　（〃）　　∀ｘ｛大Ａ帝国ｘ→∃ｙ（女王陛下ｙ＆統治ｙｘ）｝　Ａ
１　　（〃）すべてのｘについて｛ｘが大Ａ帝国であるならば、あるｙは女王陛下であって、ｙはｘを統治する｝。　Ａ
１　　（２）　　　　　大Ａ帝国ａ→∃ｙ（女王陛下ｙ＆統治ｙａ）　　１ＵＥ
　３　（３）　　　　　大Ａ帝国ａ　　　　　　　　　　　　　　　　　Ａ
　　４（４）　　　　　　　　　　～∃ｙ（女王陛下ｙ＆統治ｙａ）　　Ａ
１３　（５）　　　　　　　　　　　∃ｙ（女王陛下ｙ＆統治ｙａ）　　２３ＭＰＰ
１３４（６）　　　　　　　　　　～∃ｙ（女王陛下ｙ＆統治ｙａ）＆
　　　　　　　　　　　　　　　　　∃ｙ（女王陛下ｙ＆統治ｙａ）　　４５＆Ｉ
１　４（７）　　　　～大Ａ帝国ａ　　　　　　　　　　　　　　　　　３６ＲＡＡ
１　　（８）　　　～∃ｙ（女王陛下ｙ＆統治ｙａ）→～大Ａ帝国ａ　　４７ＣＰ
１　　（９）∀ｘ｛～∃ｙ（女王陛下ｙ＆統治ｙｘ）→～大Ａ帝国ｘ｝　８ＵＩ
１　　（〃）すべてのｘについて｛あるｙが女王陛下であって、そのｙがｘを統治しないのであれば、ｘは大Ａ帝国ではない｝。　８ＵＩ
１　　（〃）女王陛下が統治しない国は大Ａ帝国ではない。
従って、
（15）により、
（16）
④ 大Ａ帝国は、女王陛下、之を統治す＝∀ｘ｛大Ａ帝国ｘ→∃ｙ（女王陛下ｙ＆統治ｙｘ）｝。　Ａ
④ 大Ａ帝国は、女王陛下、之を統治す＝すべてのｘについて｛ｘが大Ａ帝国であるならば、あるｙは女王陛下であって、ｙはｘを統治する｝。
然るに、
（17）
１　　（１）象は長い鼻を持つ。
１　　（〃）Elephants have long noses.
１　　（〃）　∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）｝　　Ａ
１　　（〃）　すべてのｘについて｛ｘが象であるならば、あるｙはｘの鼻であって、ｙは長い｝。　Ａ
１　　（２）　　　　象ａ→∃ｙ（鼻ｙａ＆長ｙ）　　　１ＵＥ
　３　（３）　　　　象ａ　　　　　　　　　　　　　　Ａ
　　４（４）　　　　　　～∃ｙ（鼻ｙａ＆長ｙ）　　　Ａ
１３　（５）　　　　　　　∃ｙ（鼻ｙａ＆長ｙ）　　　２３ＭＰＰ
１３４（６）　　　　　　～∃ｙ（鼻ｙａ＆長ｙ）＆
　　　　　　　　　　　　　∃ｙ（鼻ｙａ＆長ｙ）　　　４５＆Ｉ
１　４（７）　　　～象ａ　　　　　　　　　　　　　　３６ＲＡＡ
１　　（８）　　　～∃ｙ（鼻ｙａ＆長ｙ）→～鼻ａ　　４７ＣＰ
１　　（９）∀ｘ｛～∃ｙ（鼻ｙａ＆長ｙ）→～鼻ａ｝　４ＵＩ
従って、
（18）
⑤ 象は長い鼻を持つ＝∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）｝。
⑤ 象は長い鼻を持つ＝すべてのｘについて｛ｘが象であるならば、あるｙはｘの鼻であって、ｙは長い｝。
従って、
（14）（16）（18）により、
（19）
① 蒟蒻は太らない。
④ 大Ａ帝国は、女王陛下、之を統治す。
⑤ 象は長い鼻を持つ。
といふ「日本語」は、「述語論理的」には、三つとも、
① 　　蒟蒻は、　　　　　　太らない＝∀ｘ｛　　蒟蒻ｘ→∃ｙ（・・・・・）｝。
④ 大Ａ帝国は、女王陛下、之を統治す＝∀ｘ｛大Ａ帝国ｘ→∃ｙ（・・・・・）｝。
⑤ 　　　象は　　　　　長い鼻を持つ＝∀ｘ｛　　　象ｘ→∃ｙ（・・・・・）｝。
といふ風に、「同型」である。
従って、
（20）
「こんにゃく文」といふ「用語」を作り、
① 蒟蒻は太らない。
といふ「日本語」だけを、
④ 大Ａ帝国は、女王陛下、之を統治す。
⑤ 象は長い鼻を持つ。
といふ「日本語」と、「区別」することは、「述語論理的」には、ヲカシイ。
（20）
④ 大Ａ帝国は、女王陛下、之を統治す。
といふ「日本語」は、
④ ∀ｘ｛大Ａ帝国ｘ→∃ｙ（女王陛下ｙ＆統治ｙｘ）｝。
すべてのｘについて｛ｘが大Ａ帝国であるならば、あるｙは女王陛下であって、ｙはｘを統治する｝。
と「等しい」のであれば
④ 女王陛下は、大Ａ帝国を統治する。
といふ「意味」であって、
④ ∀ｘ｛大Ａ帝国ｘ→∃ｙ（女王陛下ｙ＆統治ｙｘ）＆∀ｚ（ｚ≠ｙ→～統治ｚｘ）｝。
④ すべてのｘについて｛ｘが大Ａ帝国であるならば、あるｙは女王陛下であって、ｙはｘを統治し、すべてのｚについて、ｚがｙでないならば、ｚはｘを統治しない｝。
と「等しい」のであれば
④ 女王陛下が、大Ａ帝国を統治する。
といふ「意味」である。
従って、
（20）により、
（21）
④ 大Ａ帝国は、女王陛下、之を統治す。
といふ「日本語」は、
④ 女王陛下は（が）、大Ａ帝国を統治する。
といふ「意味」である。
従って、
（22）
④ 大Ａ帝国は、女王陛下、之を統治す。
といふ「日本語」は、
④ 大Ａ帝国は（が）、女王陛下を統治す。
といふ「意味」ではない。
同様に、
（23）
① 蒟蒻は太らない。
といふ「日本語」は、
① 蒟蒻は（が）、太らない。
といふ「意味」ではない。
従って、
（24）
① 蒟蒻は太らない。
といふ「日本語」は、
① 蒟蒻は（が）、太らない。
といふ「意味」ではない。
といふことが、ヲカシイとするならば、
④ 大Ａ帝国は、女王陛下、之を統治す。
といふ「日本語」も、ヲカシイと、すべきである。