（01）
（ⅰ）太陽系は、地球が第三惑星である。然るに、
（ⅱ） 火星は、地球ではない。 従って、
（ⅲ）太陽系は、地球は第三惑星であって、火星は第三惑星ではない。
といふ「推論」は「妥当」である。
然るに、
（02）
① 第一惑星は、一つしかないし、
② 第二惑星も、一つしかないし、
③ 第三惑星も、一つしかないし、
④ 第四惑星も、一つしかないし、
⑤ 第五惑星は、一つしかないし、
⑥ 第六惑星も、一つしかないし、
⑦ 第七惑星も、一つしかないし、
⑧ 第八惑星も、一つしかない。
従って、
（02）により、
（03）
③ 第三惑星は、一つしかない。
といふ「理由」により、
（ⅰ）太陽系は、地球が第三惑星である。
といふ「日本語」を、
（ⅰ）太陽系 地球 第三惑星。
といふ『漢文』に「翻訳」したとしても、
（ⅰ）太陽系は、地球が、（唯一の）第三惑星である。
といふ「意味」になる。
ｃｆ.
主語・述語の順で並べられた文章で、述語の上に置かれる語が一つの主語だけでなく、
漢 兵 盛。
に於ける、
漢 兵
のやうに、（二つの）主語が重なっている場合がある。
（西田太一郎、漢文の語法、1980年、１２０頁改）
然るに、
（04）
１ （１）∀ｘ｛太陽系ｘ→∃ｙ［地球ｙ＆惑星ｙｘ＆～∃ｚ（ｚ≠ｙ＆惑星ｚｘ）］｝ Ａ
１ （２） 太陽系ａ→∃ｙ［地球ｙ＆惑星ｙａ＆～∃ｚ（ｚ≠ｙ＆惑星ｚａ）］ １ＵＥ
３ （３） 太陽系ａ Ａ
１３ （４） ∃ｙ［地球ｙ＆惑星ｙａ＆～∃ｚ（ｚ≠ｙ＆惑星ｚａ）］ ２３ＭＰＰ
５ （５） 地球ｂ＆惑星ｂａ＆～∃ｚ（ｚ≠ｂ＆惑星ｚａ） Ａ
５ （６） 地球ｂ＆惑星ｂａ ５＆Ｅ
５ （７） 地球ｂ ６＆Ｅ
５ （８） 惑星ｂａ ６＆Ｅ
５ （９） ～∃ｚ（ｚ≠ｂ＆惑星ｚａ） ５＆Ｅ
５ （ア） ∀ｚ～（ｚ≠ｂ＆惑星ｚａ） ９量化子の関係
５ （イ） ～（ｃ≠ｂ＆惑星ｃａ） アＵＥ
５ （ウ） ～ｃ≠ｂ∨～惑星ｃａ イ、ド・モルガンの法則
５ （エ） ｃ≠ｂ→～惑星ｃａ ウ含意の定義
オ （オ） ∃ｚ（火星ｚ＆～地球ｚ） Ａ
カ （カ） 火星ｃ＆～地球ｃ オＵＥ
カ （キ） 火星ｃ カ＆Ｅ
カ （ク） ～地球ｃ キ＆Ｅ
５ カ （ケ） 地球ｂ＆～地球ｃ ７ク＆Ｉ
コ（コ） ｃ＝ｂ Ａ
５ カコ（サ） 地球ｂ＆～地球ｂ ケコ＝Ｅ
５ カ （シ） ｃ≠ｂ コサＲＡＡ
５ カ （ス） ～惑星ｃａ エシＭＰＰ
５ カ （セ） 火星ｃ＆～惑星ｃａ キス＆Ｉ
５ カ （ソ） ∃ｚ（火星ｚ＆～惑星ｚａ） セＥＩ
５オ （タ） ∃ｚ（火星ｚ＆～惑星ｚａ） オカソＥＥ
５ （チ） ∃ｙ（地球ｙ＆惑星ｙａ） ６ＥＩ
５オ （ツ） ∃ｙ（地球ｙ＆惑星ｙａ）＆∃ｚ（火星ｚ＆～惑星ｚａ） タチ＆Ｉ
１３ オ （テ） ∃ｙ（地球ｙ＆惑星ｙａ）＆∃ｚ（火星ｚ＆～惑星ｚａ） ４５ツＥＥ
１ オ （ト） 太陽系ａ→∃ｙ（地球ｙ＆惑星ｙｘ）＆∃ｚ（火星ｚ＆～惑星ｚｘ） ３テＣＰ
１ オ （ナ）∀ｘ｛太陽系ｘ→∃ｙ（地球ｙ＆惑星ｙｘ）＆∃ｚ（火星ｚ＆～惑星ｚｘ）｝ トＵＩ
従って、
（04）により、
（05）
（ⅰ）∀ｘ｛太陽系ｘ→∃ｙ［地球ｙ＆惑星ｙｘ＆～∃ｚ（ｚ≠ｙ＆惑星ｚｘ）］｝。然るに、
（ⅱ）∃ｚ（火星ｚ＆～地球ｚ）。従って、
（ⅲ）∀ｘ｛太陽系ｘ→∃ｙ（地球ｙ＆惑星ｙｘ）＆∃ｚ（火星ｚ＆～惑星ｚｘ）｝。
といふ「推論」、すなはち、
（ⅰ）すべてのｘについて｛ｘが太陽系であるならば、あるｙは［地球であって、ｘの惑星であって、あるｚが（ｙ以外であって、ｘの惑星である）といふことはない］｝。
（ⅱ）あるｚ（火星であって、地球ではない）。従って、
（ⅲ）すべてのｘについて｛ｘが太陽系であるならば、あるｙは（地球であって、ｘの惑星であって）、あるｚは（火星であって、ｘの惑星でない）｝。
といふ「推論（の形式）」は、「妥当」である。
従って、
（01）～（05）により、
（06）
（ⅰ）太陽系 地球 惑星。
といふ『漢文』に「相当」する、
（ⅰ）太陽系は、地球が惑星である。
といふ「日本語」が、
（ⅰ）∀ｘ｛太陽系ｘ→∃ｙ［地球ｙ＆惑星ｙｘ＆～∃ｚ（ｚ≠ｙ＆惑星ｚｘ）］｝。
（〃）すべてのｘについて｛ｘが太陽系であるならば、あるｙは［地球であって、ｘの惑星であって、あるｚが（ｙ以外であって、ｘの惑星である）といふことはない］｝。
といふ「意味」であるならば、
（ⅰ）太陽系は、地球が惑星である。
といふ「日本語」は、
（ⅰ）太陽系は、地球以外は惑星でない。
といふ、「意味」になる。
然るに、
（07）
（ⅰ）太陽系 地球 惑星。
に於ける、「地球」を、「殊更に、大きな声」で「発音」したとすれば、
（ⅰ）太陽系 地球 惑星。
といふ「漢文」は、
（ⅰ）太陽系は、地球以外は惑星ではない。
といふ「意味」になったに、「違ひない」。
然るに、
（08）
① 地球は（清音）
② 地球が（濁音）
である。
然るに、
（09）
清音の方は、小さくきれいで速い感じで、コロコロと言うと、ハスの上を水玉がころがるような時の形容である。ゴロゴロと言うと、大きく荒い感じで、力士が土俵でころがる感じである（金田一春彦、日本語（上）、1988年、１３１頁）。もし濁音を発音するときの物理的・身体的な口腔の膨張によって「濁音＝大きい」とイメージがつくられているのだとしたら、面白いですね。この仮説が正しいとすると、なぜ英語話者や中国語話者も濁音に対して「大きい」というイメージを持っているか説明がつきます（川原繁人、音とことばの不思議な世界、2015年、１３頁）。
従って、
（08）（09）により、
（10）
① 地球は（清音）
② 地球が（濁音）
であれば、
② の方が、「心理的な音量」が、「大きい」。
従って、
（07）（10）により、
（11）
「我々の先人」が、例へば、
（ⅰ）太陽系 地球 第三惑星。
といふ『漢文』を、
（ⅰ）太陽系は、地球以外は第三惑星でない。
（〃）∀ｘ｛太陽系ｘ→∃ｙ［地球ｙ＆第三惑星ｙｘ＆～∃ｚ（ｚ≠ｙ＆第三惑星ｚｘ）］｝。
といふ風に「訳したかった」のであれば、その場合は、
（ⅰ）太陽系は 地球は 第三惑星である。
とはせずに、
（ⅰ）太陽系は 地球が 第三惑星である。
といふ風に、「訳した」はずであり、次第に、「そうした訳」が、「定着」していった。
といふに、「推測」出来る。
（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）
② 蒟蒻は、太らない。⇔
③ 蒟蒻は、人、これを食して、太ること無し。
に於ける、
②「蒟蒻は（提示語）」は、「主語」のやうであり、実質的には、「目的語」である。