「コンニャクは（提示語）」と「述語論理」について。

（01）
　　第１７節　大主語・提示語・副詞的修飾語
主語・述語の順序で並べられた文章で、述語の上に置かれる語が一つの主語ではなく、主語が重なっている場合がある。
また何かについて述べようとしてその語をまず先に掲げておいて、その次にそれについて具体的に説明する場合がある。
そのほか行為や事件のあった時や所を何の媒介する語もなしで述語より前に置くことがある。
（西田太一郎、漢文の語法、1980年、１２０頁）
従って、
（01）により、
（02）
① 　天皇は、万世一系にして、日本国を統治す。
② 日本国は、万世一系の天皇、これを、統治す。
に於いて、
①　「天皇は」は、「主語」　であり、
②「日本国は」は、「提示語」であるとする。
従って、
（02）により、
（03）
① 寒天は、美味である。
② 寒天は、我、これを食さず。
に於いて、
①「寒天は」は、「主語」　であり、
②「寒天は」は、「提示語」である。
従って、
（03）により、
（04）
① 寒天は、食べません。
② 寒天は、我、これを食さず。
に於いて、
①「寒天は」は、「提示語」であり、
②「寒天は」も、「提示語」である。
然るに、
（05）
② 寒天我不食之＝
② 寒天我不〔食（之）〕⇒
② 寒天我〔（之）食〕不＝
② 寒天は、我、これを食さず。
といふ「（漢文由来の）日本語」は、「語順」から言っても、
② ∀ｘ｛蒟蒻ｘ→∃ｙ（我ｙ＆～食ｙｘ）｝⇔
② すべてのｘについて｛ｘが蒟蒻であるならば、あるｙは（我であって、ｙはｘを食べない）｝。
といふ「述語論理式」に「等しい」。
従って、
（04）（05）により、
（06）
① 寒天は、食べません。
② 寒天は、我、これを食さず。
といふ「日本語」が、「非（述語）論理的」であるといふことはない。
従って、
（06）により、
（07）
① 寒天は、食べません。
② 寒天は、我、これを食さず。
といふ「日本語」に「相当」する『文型』が、「英語」には無いからと言って、
① 寒天は、食べません。
② 寒天は、我、これを食さず。
といふ「日本語」自体が、「非（述語）論理的な言い方」であるといふことには、ならない。
ｃｆ.
先日、数人の大学の先生と話をしているときに、ある先生が「うちの学生が、英語ができるようになったら、数学ができるようになった」と言った。これは、暗に、英語ができるようになった、だから数学ができるようになったと言いたいのである。言い換えれば、日本語では論理的に考えられないから、数学ができない、と言いたいのである。私は「またか」と思った。日本人は、この大学の先生のように、日本語は非論理的であり、論理的思考に向いていないと思い込んでいる人が多い。
（月本洋、日本語は論理的である、2009年、２頁）
然るに、
（08）
（ⅱ）
１　　　（１）～∀ｘ｛蒟蒻ｘ→∃ｙ（人ｙ＆食ｙｘ＆～太ｙ）｝　Ａ
１　　　（２）∃ｘ～｛蒟蒻ｘ→∃ｙ（人ｙ＆食ｙｘ＆～太ｙ）｝　１量化子の関係
　３　　（３）　　～｛蒟蒻ａ→∃ｙ（人ｙ＆食ｙａ＆～太ｙ）｝　Ａ
　３　　（４）　～｛～蒟蒻ａ∨∃ｙ（人ｙ＆食ｙａ＆～太ｙ）｝　３含意の定義
　３　　（５）　　　蒟蒻ａ＆～∃ｙ（人ｙ＆食ｙａ＆～太ｙ）　　４ド・モルガンの法則
　３　　（６）　　　蒟蒻ａ　　　　　　　　　　　　　　　　　　５＆Ｅ
　３　　（７）　　　　　　　～∃ｙ（人ｙ＆食ｙａ＆～太ｙ）　　５＆Ｅ
　３　　（８）　　　　　　　∀ｙ～（人ｙ＆食ｙａ＆～太ｙ）　　７量化子の関係
　３　　（９）　　　　　　　　　～（人ｂ＆食ｂａ＆～太ｂ）　　８ＵＥ
　３　　（ア）　　　　　　　　　～人ｂ∨～食ｂａ∨　太ｂ　　　９ド・モルガンの法則
　３　　（イ）　　　　　　　　（～人ｂ∨～食ｂａ）∨太ｂ　　　ア結合法則
　　ウ　（ウ）　　　　　　　　（～人ｂ∨～食ｂａ）　　　　　　Ａ
　　ウ　（エ）　　　　　　　　　～（人ｂ＆食ｂａ）　　　　　　ウ、ド・モルガンの法則
　　ウ　（オ）　　　　　　　　　～（人ｂ＆食ｂａ）∨太ｂ　　　エ∨Ｉ
　　　カ（カ）　　　　　　　　　　　　　　　　　　　太ｂ　　　Ａ
　　　カ（キ）　　　　　　　　　～（人ｂ＆食ｂａ）∨太ｂ　　　カ∨Ｉ
　３　　（ク）　　　　　　　　　～（人ｂ＆食ｂａ）∨太ｂ　　　イウオカキ∨Ｅ
　３　　（ケ）　　　　　　　　　　（人ｂ＆食ｂａ→太ｂ）　　　ク含意の定義
　３　　（コ）　　　　　　　　∀ｙ（人ｙ＆食ｙａ→太ｙ）　　　ケＵＩ
　３　　（サ）　　　　蒟蒻ａ＆∀ｙ（人ｙ＆食ｙａ→太ｙ）　　　６コ＆Ｉ
　３　　（シ）　∃ｘ｛蒟蒻ｘ＆∀ｙ（人ｙ＆食ｙｘ→太ｙ）｝　　サＥＩ
１　　　（ス）　∃ｘ｛蒟蒻ｘ＆∀ｙ（人ｙ＆食ｙｘ→太ｙ）｝　　１３シＥＥ
（ⅲ）
１　　　（１）　∃ｘ｛蒟蒻ｘ＆∀ｙ（人ｙ＆食ｙｘ→太ｙ）｝　　Ａ
　２　　（２）　　　　蒟蒻ａ＆∀ｙ（人ｙ＆食ｙａ→太ｙ）　　　Ａ
　２　　（３）　　　　蒟蒻ａ　　　　　　　　　　　　　　　　　２＆Ｅ
　２　　（４）　　　　　　　　∀ｙ（人ｙ＆食ｙａ→太ｙ）　　　２＆Ｅ
　２　　（５）　　　　　　　　　　（人ｂ＆食ｂａ→太ｂ）　　　４ＵＥ
　２　　（６）　　　　　　　　　～（人ｂ＆食ｂａ）∨太ｂ　　　５含意の定義
　　７　（７）　　　　　　　　　～（人ｂ＆食ｂａ）　　　　　　Ａ
　　７　（８）　　　　　　　　（～人ｂ∨～食ｂａ）　　　　　　７ド・モルガンの法則
　　７　（９）　　　　　　　　（～人ｂ∨～食ｂａ）∨太ｂ　　　８∨Ｉ
　　　ア（ア）　　　　　　　　　　　　　　　　　　　太ｂ　　　Ａ
　　　ア（イ）　　　　　　　　（～人ｂ∨～食ｂａ）∨太ｂ　　　ア∨Ｉ
　２　　（ウ）　　　　　　　　（～人ｂ∨～食ｂａ）∨太ｂ　　　２７９アイ∨Ｅ
　２　　（エ）　　　　　　　　　～人ｂ∨～食ｂａ∨　太ｂ　　　ウ結合法則
　２　　（オ）　　　　　　　　　～（人ｂ＆食ｂａ＆～太ｂ）　　エ、ド・モルガンの法則
　２　　（カ）　　　　　　　∀ｙ～（人ｙ＆食ｙａ＆～太ｙ）　　オＵＩ
　２　　（キ）　　　　　　　～∃ｙ（人ｙ＆食ｙａ＆～太ｙ）　　カ量化子の関係
　２　　（ク）　　　蒟蒻ａ＆～∃ｙ（人ｙ＆食ｙａ＆～太ｙ）　　３キ＆Ｉ
　２　　（ケ）　～｛～蒟蒻ａ∨∃ｙ（人ｙ＆食ｙａ＆～太ｙ）｝　ク、ド・モルガンの法則
　２　　（コ）　　～｛蒟蒻ａ→∃ｙ（人ｙ＆食ｙａ＆～太ｙ）｝　ケ含意の定義
　２　　（サ）∃ｘ～｛蒟蒻ａ→∃ｙ（人ｙ＆食ｙａ＆～太ｙ）｝　コＥＩ
１　　　（シ）∃ｘ～｛蒟蒻ａ→∃ｙ（人ｙ＆食ｙａ＆～太ｙ）｝　１２サＥＥ
１　　　（ス）～∀ｘ｛蒟蒻ｘ→∃ｙ（人ｙ＆食ｙｘ＆～太ｙ）｝　サ量化子の関係
従って、
（08）により、
（09）
② ～∀ｘ｛蒟蒻ｘ→∃ｙ（人ｙ＆食ｙｘ＆～太ｙ）｝
③ 　∃ｘ｛蒟蒻ｘ＆∀ｙ（人ｙ＆食ｙｘ→　太ｙ）｝
に於いて、
②＝③ であるため、「両辺」を「否定」すると、「二重否定」により、
② 　∀ｘ｛蒟蒻ｘ→∃ｙ（人ｙ＆食ｙｘ＆～太ｙ）｝
③ ～∃ｘ｛蒟蒻ｘ＆∀ｙ（人ｙ＆食ｙｘ→　太ｙ）｝
に於いて、
②＝③ である。
従って、
（05）（07）（09）により、
（10）
① 蒟蒻は、太らない。⇔
② 　∀ｘ｛蒟蒻ｘ→∃ｙ（人ｙ＆食ｙｘ＆～太ｙ）｝⇔
③ ～∃ｘ｛蒟蒻ｘ＆∀ｙ（人ｙ＆食ｙｘ→　太ｙ）｝⇔
④ 食べた人が太る所の「コンニャク」は存在しない。
といふ「日本語」に「相当」する『文型』が、「英語」には無いからと言って、
① 蒟蒻は、太らない。
④ 蒟蒻は、人、これを食して、太ること無し。
といふ「日本語」自体が、「非（述語）論理的な言い方」であるといふことには、ならない。
然るに、
（11）
日本語の文構造がどういうものなのかを説明するときに、問題になる例文がいくつかあります。たとえば「こんにゃく文」と呼ばれるものです。「こんにゃくは太りません」という例文には主語があるでしょうか。主語があるとしたら何であるかが問題になります。
（my コンテンツ工房｜業務コンサルタント 丸山有彦）
然るに、
（03）（10）（11）により、
（12）
① 蒟蒻は、美味である。
② 蒟蒻は、太らない。
に於ける、
①「蒟蒻は」は、「主語」　であり、
②「蒟蒻は」は、「提示語」である。
然るに、
（13）
② 蒟蒻は、太らない。
③ 蒟蒻は、人、これを食して、太ること無し。
に於いて、
②＝③ である。
といふことは、
③ 蒟蒻は、「提示語」であると「同時」に、「目的語」である。
といふことになる。
従って、
（13）により、
（14）
② 蒟蒻は、太らない。⇔
③ 蒟蒻は、人、これを食して、太ること無し。
に於ける、
②「蒟蒻は（提示語）」は、「主語」のやうであり、実質的には、「目的語」である。
令和５年６月８日、毛利太。