（001）
③ Ａ is Ｂ．
に於いて、
③ Ａ を、「強く発音」すると、
④ Ａ以外はＢでない。
といふ「意味」になる。
従って、
（002）
「逆」に言ふと、
④ Ａ以外はＢでない。
といふことを、「主張」したい場合は、
③ Ａ is Ｂ．
に於いて、
③ Ａ を、「大きな声で、発音」する。
従って、
（003）
① ＡはＢである。
③ ＡがＢである。
に於いて、
① Ａは〔清音〕 の「（心理的な）音量」よりも、
③ Ａが〔濁音〕 の「（心理的な）音量」の方が、「大きい」のであれば、
その場合は、
③ ＡがＢである。
④ Ａ以外はＢでない。
に於いて、
③＝④ でなければ、ならない。
然るに、
（004）
清音の方は、小さくきれいで速い感じで、コロコロと言うと、ハスの上を水玉がころがるような時の形容である。ゴロゴロと言うと、大きく荒い感じで、力士が土俵でころがる感じである（金田一春彦、日本語（上）、1988年、１３１頁）。
（005）
もし濁音を発音するときの物理的・身体的な口腔の膨張によって「濁音＝大きい」とイメージがつくられているのだとしたら、面白いですね。この仮説が正しいとすると、なぜ英語話者や中国語話者も濁音に対して「大きい」というイメージを持っているか説明がつきます（川原繁人、音とことばの不思議な世界、2015年、１３頁）。
従って、
（004）（005）により、
（006）
① Ａは〔清音〕 の「（心理的な）音量」よりも、
③ Ａが〔濁音〕 の「（心理的な）音量」の方が、「大きい」。
従って、
（003）（006）により、
（007）
③ ＡがＢである。
④ Ａ以外はＢでない。
に於いて、
③＝④ である。
然るに、
（008）
② ＢはＡである。
④ Ａ以外はＢでない。
といふことは、
③ ＢならばＡである。
④ ＡでないならばＢでない。
といふことに、他ならない。
然るに、
（009）
③ ＢならばＡである。
④ ＡでないならばＢでない。
を、「記号」で書くと、
③ Ｂ→ Ａ
④ ～Ａ→～Ｂ
である。
然るに、
（010）
（ａ）
１ （１） Ｂ→ Ａ 仮定
２ （２） ～Ａ 仮定
３（３） Ｂ 仮定
１ ３（４） Ａ １３前件肯定
１２３（５） Ａ＆～Ａ ４２＆導入
１２ （６）～Ｂ ３５背理法
１ （７）～Ａ→～Ｂ ２６条件法
（ｂ）
１ （１） ～Ａ→～Ｂ 仮定
２ （２） Ｂ 仮定
３（３） ～Ａ 仮定
１ ３（４） ～Ｂ １３前件肯定
１２３（５） Ｂ＆～Ｂ ２４＆導入
１２ （６）～～Ａ ３５背理法
１２ （７） Ａ ６二重否定
１ （８） Ｂ→ Ａ ２７条件法
従って、
（008）（009）（010）により、
（011）
② ＢはＡである。
④ Ａ以外はＢでない。
の場合は、「対偶（Contraposition）」であって、それ故に、
②＝④ である。
従って、
（007）（011）により、
（012）
③ ＡがＢである。
④ Ａ以外はＢでない。
に於いて、
③＝④ であって、
② ＢはＡである。
④ Ａ以外はＢでない。
に於いて、
②＝④ である。
従って、
（012）により、
（013）
② ＢはＡである。
③ ＡがＢである。
④ Ａ以外はＢでない。
に於いて、
②＝③＝④ である。
然るに、
（014）
逆には、（１）真でないときと、（２）真であるときがあります。そこで（１）と（２）をひっくるめて、「逆は必ずしも真ならず」といいます（山下正男、論理的に考えること、1985年、１３・１４頁）。
従って、
（013）（014）により、
（015）
① ＡはＢである。
② ＢはＡである。
③ ＡがＢである。
④ Ａ以外はＢでない。
に於いて、必ずしも、
①＝② ではないが、必ず、
②＝③＝④ である。
（証明終了）
然るに、
（016）
① 中野区は東京都である。
② 東京都は中野区である。
③ 中野区が東京都である。
④ 中野区以外は東京都ではない。
に於いて、
① は、「本当」である。
② は、「ウソ」である。
③ も、「ウソ」である。
④ も、「ウソ」である。
（017）
① 東京都は日本の首都である。
② 日本の首都は東京都である。
③ 東京都が日本の首都である。
④ 東京都以外は日本の首都ではない。
に於いて、
① は、「本当」である。
② も、「本当」である。
③ も、「本当」である。
④ も、「本当」である。
従って、
（015）（016）（017）により、
（018）
① ＡはＢである。
② ＢはＡである。
③ ＡがＢである。
④ Ａ以外はＢでない。
に於いて、必ずしも、
①＝② ではないが、必ず、
②＝③＝④ である。
といふことは、実際に、さうである。
然るに、
（019）
③ 東京都が日本の首都である。
ならば、言ふまでもなく、
① 東京都は日本の首都である。
従って、
（020）
③ ＡがＢである。
ならば、言ふまでもなく、
① ＡはＢである。
従って、
（020）により、
（021）
③ ＡがＢである＝
③ ＡはＢであって（Ａ以外はＢでない）。
といふ「等式」が、成立する。
然るに、
（022）
Definition of exclusive proposition
: a proposition in logic whose predicate is asserted to apply to its subject and no other “none but the brave deserves the fair” is a simple exclusive proposition（merriam-webster）.
従って、
（021）（022）により、
（023）
③ ＡがＢである＝ＡはＢであって（Ａ以外はＢでない）。
といふ「それ」を、「排他的命題（exclusive proposition）」と呼ぶことにする。
然るに、
（024）
② 藤井総太（ ）指原莉乃と婚約！
であれば、「週刊誌の見出し」は、
② 藤井総太（が）指原莉乃と婚約！
であって、
② 藤井総太（は）指原莉乃と婚約！
ではあり得ない。
然るに、
（025）
マリリンモンローがディマジオと結婚！
のような見出しが女性週刊誌を賑わすのは、ガによってその上の体言を未知扱いにし、まったく驚いた、新しい情報だぞ！ と読者に迫る手法である。
あのチャップリンが大往生。
のような場合、「あの」がついている以上、未知とはいえないという議論も有りうるが、むしろ既知のものを未知扱いすることによって、驚異を表す表現なのである。
（大野晋、日本語の文法を考える、1978年、４１頁）
然るに、
（26）
「未知とはいえないという議論も有りうるが、むしろ既知のものを未知扱いすることによって、驚異を表す表現なのである。」といふのは、「詭弁」に過ぎない。
従って、
（025）（026）により、
（027）
② 藤井総太（が）指原莉乃と婚約！
であれば、「週刊誌の見出し」は、
②（誰でも知ってゐる、他ならぬ、あの）藤井総太（が）指原莉乃と婚約！
といふ「意味」になる。
然るに、
（028）
②（他ならぬ）Ａが
といふことは、
②（Ａ以外ではない所の）Ａが
といふ、ことである。
従って、
（028）により、
（029）
② ＡがＢである＝
②（他ならぬ）ＡがＢである＝
②（Ａ以外ではない所の）ＡがＢである。
といふ、ことになる。
従って、
（023）（029）により、
（030）
① ＡがＢである＝ＡはＢであって（Ａ以外はＢでない）。
② ＡがＢである＝（Ａ以外ではない所の）ＡがＢである。
といふ「二通り」が、成立する。
然るに、
（031）
①（Ａ以外はＢでない）。は、「終止形」であって、
②（Ａ以外ではない所の）は、「連体修飾語」である。
従って、
（030）（031）により、
（032）
① ＡがＢである＝ＡはＢであって（Ａ以外はＢでない）。
② ＡがＢである＝（Ａ以外ではない所の）ＡがＢである。
に於いて、
① は、「終止形としての排他的命題」であって、
② は、「連体形としての排他的命題」であるとする。
然るに、
（033）
３７講 格助詞「が・の」の働き
助詞は助動詞ほど現代語と離れていませんので、解釈面をしっかり押さえることがポイントです。初めに格助詞「が・の」です。両者は非常によく似ています。
（武藤元昭、０からわかる古文、1997年、１００頁）
すなはち、
（034）
① 君の家、私の国、君の行く道、博士の愛した数式。
に対して、
① 君が世、我が国、君が行く道、博士が愛した数式。
であるため、「が」と「の」は、非常によく似てゐる。
然るに、
（035）
① ＡがＢである＝ＡはＢであって（Ａ以外はＢでない）。
② ＡがＢである＝（Ａ以外ではない所の）ＡがＢである。
③ ＡがＢする（連体形）Ｃ（体言）。
に於いて、
① Ａが（係助詞）
② Ａが（係助詞）
③ Ａが（格助詞）
であるため、
③ Ａが（格助詞）Ｂする（連体形）Ｃ（体言）。
の場合は、ここでは、取りあげない。
然るに、
（036）
③ ＡならばＢである（Ａ→Ｂ）。
といふ「命題」を、「仮言命題」といふ。
然るに、
（037）
（ａ）
１ （１） Ａ→ Ｂ 仮定
２（２） Ａ＆～Ｂ 仮定
２（３） Ａ ２
１２（４） Ｂ １３前件肯定
１２（５） ～Ｂ ２＆除去
１２（６） Ｂ＆～Ｂ ４５＆導入
１ （７）～（Ａ＆～Ｂ） １６背理法
（ｂ）
１ （１）～（Ａ＆～Ｂ） 仮定
２ （２） Ａ 仮定
３（３） ～Ｂ 仮定
２３（４） Ａ＆～Ｂ ２３＆導入
１２３（５）～（Ａ＆～Ｂ）＆（Ａ＆～Ｂ）１２＆導入
１２ （６） ～～Ｂ ３５背理法
１２ （７） Ｂ ６二重否定
１ （８） Ａ→ Ｂ ２７条件法
従って、
（036）（037）により、
（038）
③ Ａ→ Ｂ ＝ＡならばＢである。
④ ～（Ａ＆～Ｂ）＝ＡであってＢでない、といふことはない。
に於いて、
③＝④ である。
然るに、
（039）
④ ＡであってＢでない、といふことはない。
といふのであれば、
④ ＡであってＢでない。
ならば、そのときにだけ、「ウソ」である。
従って、
（038）（039）により、
（040）
③ Ａならば、Ｂである＝
④ ＡであってＢでない、といふことはない。
といふ「仮言命題」は、
③ ＡであってＢでない。
ならば、そのときにだけ、「ウソ」である。
然るに、
（041）
③ ＡならばＢである＝
③ 日曜日が晴れならば、私は釣りに行く。
であるとする。
然るに、
（040）（041）により、
（042）
③ 日曜日が晴れならば、私は釣りに行く。
といふのであれば、
⑤ 月曜日が晴れたのに、私は釣りに行かない。
⑤ 火曜日が晴れたのに、私は釣りに行かない。
⑤ 水曜日が晴れたのに、私は釣りに行かない。
⑤ 木曜日が晴れたのに、私は釣りに行かない。
⑤ 金曜日が晴れたのに、私は釣りに行かない。
⑤ 土曜日が晴れたのに、私は釣りに行かない。
としても、
③ 日曜日が晴れならば、私は釣りに行く。
とふ「仮言命題」は、「ウソ」にはならず、
⑤ 日曜日が晴れたのに、私は釣りに行かない。
のであれば、
③ 日曜日が晴れならば、私は釣りに行く。
とふ「仮言命題」は、「ウソ」になる。
従って、
（042）により、
（043）
⑤（日曜日以外でない所の）土曜日が晴れたのに、私は釣りに行かない（としてもウソではない）。
④（日曜日以外でない所の）日曜日が晴れたのに、私は釣りに行かない（としたらウソである）。
然るに、
（044）
④ 私はウソを言はない。
従って、
（043）（044）により、
（045）
⑤（日曜日以外でない所の）土曜日が晴れたのに、私は釣りに行かない（といふことはアル）。
④（日曜日以外でない所の）日曜日が晴れたのに、私は釣りに行かない（といふことはナイ）。
然るに、
（045）により、
（046）
④ ＡであってＢでない、といふことはない。
③ ＡならばＢである。
に於いて、
③＝④ である。
従って、
（045）（046）により、
（047）
③（日曜日以外でない所の）日曜日が晴れならば、私は釣りに行く。
④（日曜日以外でない所の）日曜日が晴れたのに、私は釣りに行かない（といふことはナイ）。
に於いて、
③＝④ である。
然るに、
（048）
③（日曜日以外でない所の）日曜日が晴れならば、私は釣りに行く。
といふことは、
③（他ならぬ）日曜日が晴れならば、私は釣りに行く。
といふことに、他ならない。
従って、
（036）～（048）により、
（049）
③ 日曜日が晴れならば、私は釣りに行く＝（他ならぬ）日曜日が晴れならば、私は釣りに行く。
でなければ、ならない。
従って、
（027）（032）（049）により、
（050）
② 藤井総太が婚約 ＝（他ならぬ）藤井総太が婚約。
③ 日曜日が晴れならば、私は釣りに行く＝（他ならぬ） 日曜日が晴れならば、私は釣りに行く。
に於いて、
② は、「連体形としての排他的命題」であって、
③ も、「連体形としての排他的命題」である。
従って、
（050）により、
（051）
② 藤井総太（ ）指原莉乃と婚約！
③ 日曜日（ ）晴れならば、私は釣りに行く。
に於ける、
② （ ）には、「が」が入り、
③ （ ）にも、「が」が入る「理由」は、
② 藤井総太（が）指原莉乃と婚約！
③ 日曜日（が）晴れならば、私は釣りに行く。
に於いて、それぞれが、
②「連体形としての排他的命題」であって、
③「連体形としての排他的命題」であるからである。
（証明終了）
従って、
（051）により、
（052）
② ｘ（ ）象ならば、ｙはｘの鼻である。
③ 日曜日（ ）晴れならば、私は釣りに行く。
に於ける、
② （ ）には、「が」が入り、
③ （ ）にも、「が」が入る「理由」は、
② ｘ（ ）ならば、ｙはｘの鼻である。
③ 日曜日（ ）晴れならば、私は釣りに行く。
に於いて、それぞれが、
②「連体形としての排他的命題」であるからである。
従って、
（036）（052）により、
（053）
② ｘが象ならば、
のやうな、「仮言命題の前件」としての、
② が は、
②「連体形としての排他的命題」に於ける「が」である。
然るに、
（054）
そこでたとえば「象は鼻が長い」というような表現は、象が主語なのか鼻が主語なのかはっきりしないから、このままではその論理構造が明示されていなから、いわば非論理的な文である、という人もある。しかしこの文の論理構造をはっきり文章にあらわして
「すべてのｘについて、もしｘが象であるならば、ｙなるものが存在し、そのｙは鼻であり、ｘはｙを所有しており、ｙは長い」といえばいいかもしれない。しかし日常の言語によるコミニュケーションでは、たとえば動物園で象をはじめて見た小学生が、父親にむかってこのような文章で話しかけたとすれば、その子供は論理的であるといって感心されるまえに社会人としての常識をうたがわれるにきまっている（沢田允茂、現代論理学入門、1962年、２９頁）。
然るに、
（055）
しょゆうかく－いう－［2］【所有格】〔possessive case〕
英文法などで，主格・目的格と並ぶ格の一つ。所有・所属の関係を表すもの。my, your, its などの類（Weblio辞書）。
従って、
（055）により、
（056）
① ｙは鼻であって、ｘはｙを所有してゐる。
といふことは、
① ｙは、ｘの鼻である。
といふ「意味」である。
従って、
（055）（056）により、
（057）
① すべてのｘについて、もしｘが象であるならば、ｙなるものが存在し、そのｙは鼻であり、ｘはｙを所有しており、ｙは長い。
といふことは、
① すべてのｘについて、ｘが象ならば、あるｙはｘの鼻であって、ｙは長い。
といふことである。
然るに、
（029）（032）により、
（058）
① 鼻が長い＝鼻は長く（鼻以外は長くない）。
② 鼻が長い＝（他ならぬ）鼻が長い。
といふ「二通り」が有る。
（059）
② 鼻が長い＝（他ならぬ）鼻が長い。
といふのであれば、
② 鼻が長い。
といふ「それ」であっても、
② 藤井総太が婚約！⇒ビックリした。大変だ。
といふやうな「意味合ひ」が、「いくらか」は、無ければならない。
然るに、
（060）
三上章先生がいふ所の、
① 象は鼻が長い。
に於いて、
① 鼻が長い。
といふことに、
② 藤井総太が婚約！⇒ビックリした。大変だ。
といふやうな、『特別な意味』が有るとは、思へない。
従って、
（057）（060）により、
（061）
① 象は鼻が長い。
といふ「日本語」は、
① 象は鼻が長い＝
① 全ての象は鼻が長く、鼻以外は長くない＝
① ∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）｝＝
① 全てのｘについて、ｘが象ならば、あるｙはｘの鼻であって、ｙは長く、全てのｚについて、ｚがｘの鼻でないならば、ｚは長くない。
といふ「述語論理」に、「翻訳」される。
然るに、
（062）
① 全ての象は鼻が長く、鼻以外は長くない。
と言ふのであれば、
① 象が存在するならば、鼻の長い象が存在する。
然るに、
（063）
１ （１）∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）｝ Ａ
１ （２） 象ａ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ） １ＵＥ
３ （３）∃ｘ（象ｘ） Ａ
４ （４） 象ａ Ａ
１ ４ （５） ∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ） ２４ＭＰＰ
１ ４ （６） ∃ｙ（鼻ｙｘ＆長ｙ） ５＆Ｅ
１３ （７） ∃ｙ（鼻ｙｘ＆長ｙ） ３４６ＥＥ
１ ４ （８） ∀ｚ（～鼻ｚｘ→～長ｚ） ５＆Ｅ
１３ （９） ∀ｚ（～鼻ｚｘ→～長ｚ） ３４８ＥＥ
１３ （ア） ～鼻ｂｘ→～長ｂ ９ＵＥ
イ （イ） 長ｂ Ａ
ウ（ウ） ～鼻ｂｘ Ａ
１３ ウ（エ） ～長ｂ アウＭＰＰ
１３ イウ（オ） ～長ｂ＆長ｂ イエ＆Ｉ
１３ イ （カ） ～～鼻ｂｘ ウオＲＡＡ
１３ イ （キ） 鼻ｂｘ カＤＮ
１３ （ク） 長ｂ→鼻ｂｘ イキＣＰ
１３ （ケ） ∃ｚ（長ｚ→鼻ｚｘ） クＥＩ
１３ （コ） ∃ｙ（鼻ｙｘ＆長ｙ）＆ ∃ｚ（長ｚ→鼻ｚｘ） ７ケ＆Ｉ
１３ （サ）∃ｘ（象ｘ）＆∃ｙ（鼻ｙｘ＆長ｙ）＆∃ｚ（長ｚ→鼻ｚｘ） ３コ＆Ｉ
１ （シ）∃ｘ（象ｘ）ならば、あるｘは象であって、あるｙはｘの鼻であって、ｙは長く、あるｚが長いならば、ｚはｘの鼻である。
１ （ス）象が存在するならば、ある象は象であって、あるｙは象の鼻であって、ｙは長く、あるｚが長いならば、ｚは象の鼻である。
といふ「述語計算」は、「正しい」。
然るに、
（064）
① 全ての象は鼻が長く、鼻以外は長くない＝
① ∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）｝。
といふことは、
① 全ての象の鼻は長い。そして、全ての象の鼻以外は長くない＝
① ∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）｝＆∀ｘ｛象ｘ→∀ｚ（～鼻ｚｘ→～長ｚ）｝。
といふことに、他ならない。
然るに、
（065）
（ａ）
１ （１）∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）｝ Ａ
１ （２） 象ａ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ） １ＵＥ
３（３） 象ａ Ａ
１３（４） ∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ） ２３ＭＰＰ
１３（５） ∃ｙ（鼻ｙｘ＆長ｙ） ４＆Ｅ
１ （６） 象ａ→∃ｙ（鼻ｙｘ＆長ｙ） ３５ＣＰ
１ （７）∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）｝ ６ＵＩ
１３（８） ∀ｚ（～鼻ｚｘ→～長ｚ） ４＆Ｅ
１ （９） 象ａ→∀ｚ（～鼻ｚｘ→～長ｚ） ３８ＣＰ
１ （ア）∀ｘ｛象ｘ→∀ｚ（～鼻ｚｘ→～長ｚ）｝ ９ＵＩ
１ （イ）∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）｝＆
∀ｘ｛象ｘ→∀ｚ（～鼻ｚｘ→～長ｚ）｝ ７ア＆Ｉ
（ｂ）
１ （１）∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）｝＆
∀ｘ｛象ｘ→∀ｚ（～鼻ｚｘ→～長ｚ）｝ Ａ
１ （２）∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）｝ １＆Ｅ
１ （３） 象ａ→∃ｙ（鼻ｙｘ＆長ｙ） ２ＵＥ
１ （４）∀ｘ｛象ｘ→∀ｚ（～鼻ｚｘ→～長ｚ）｝ １＆Ｅ
１ （５） 象ａ→∀ｚ（～鼻ｚｘ→～長ｚ） ４ＵＥ
６（６） 象ａ Ａ
１６（７） ∃ｙ（鼻ｙｘ＆長ｙ） ６３ＣＰ
１６（８） ∀ｚ（～鼻ｚｘ→～長ｚ） ６５ＣＰ
１６（９） ∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ） ７８＆Ｉ
１ （ア） 象ａ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ） ６９ＣＰ
１ （イ）∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）｝ アＵＩ
従って、
（065）により、
（066）
① ∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）｝。
であるとき、そのときに限って、
① ∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）｝＆∀ｘ｛象ｘ→∀ｚ（～鼻ｚｘ→～長ｚ）｝。
である。
従って、
（054）～（066）により、
（067）
① 象は鼻が長い。
といふ「日本語」に対する、
① 象は鼻が長い＝
① 全ての象は鼻が長く、鼻以外は長くない＝
① ∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）｝＝
① 全てのｘについて、ｘが象ならば、あるｙはｘの鼻であって、ｙは長く、全てのｚについて、ｚがｘの鼻でないならば、ｚは長くない。
といふ「翻訳」は、「正しい」。
然るに、
（068）
② ソクラテスは人間である。
といふ「日本語」は、
② ソクラテスといふ人間がゐる＝
② ∃ｘ（ソクラテスｘ＆人間ｘ）＝
② あるｘはソクラテスであって、そのｘは人間である。
といふ「述語論」に、「翻訳」される。
然るに、
（069）
そこで私たちは主語を示す変項ｘ、ｙを文字通りに解釈して、「或るもの」（英語で表現するならば something）とか、「他の或るもの」というような不定代名詞にあたるものを最も基本的な主語とする。そこで「ソクラテスは人間である」といふ一つの文は、
（ｘはソクラテスである）（ｘは人間である）
という、もっとも基本的な 主語－述語 からなる二つの文の特定の組み合わせと考えることができる。すなわち、
ＳはＰである。
という一般的な 主語－述語文は、
Ｆｘ Ｇｘ
という二つの文で構成されていると考える。そしてこの場合、Ｆｘ はもとの文の主語に対応し、Ｇｘ は述語に対応していることがわかる。
（沢田充茂、現代論理学入門、1962年、１１９頁）
従って、
（068）（069）により、
（070）
② ソクラテスは人間である＝
② ∃ｘ（ソクラテスｘ＆人間ｘ）＝
② あるｘはソクラテスであって、そのｘは人間である。
といふ「述語論理」には、
② ソクラテスｘ＝ソクラテスといふｘ
② 人間ｘ＝人間であるｘ
といふ、「二つの主語」が、有ることになる。
然るに、
（071）
⑦ すべての哲学者は独身である。
といふ「日本語」は、
⑦ ∀ｘ（哲学者ｘ→独身ｘ）＝
⑦ 全てのｘについて、ｘが哲学者ならば、ｘは独身である。
といふ「述語論」に、「翻訳」される。
然るに、
（072）
ところで先にも述べたが、「すべての哲学者は独身だ」における「すべての哲学者」は、文法でいうような主語ではない。述語論理では「哲学者」は述語であり、「すべてのものは哲学者である」あるいは「哲学者であるすべてのものは」と読みかえられる（飯田賢一・中才敏郎・中谷隆雄、論理学の基礎、1994年、１２１・１２２頁）。
といふ、ことになる。
従って、
（071）（072）により、
（073）
⑦ すべての哲学者は独身である＝
⑦ ∀ｘ（哲学者ｘ→独身ｘ） ＝
⑦ 全てのｘについて、ｘが哲学者ならば、ｘは独身である。
といふ「述語論理」には、
⑦ 哲学者ｘ＝哲学者であるｘ
⑦ 独身ｘ＝独身であるｘ
といふ、「二つの主語」が、有ることになる。
従って、
（067）（070）（073）により、
（074）
① 象は鼻が長い＝
① 全ての象は鼻が長く、鼻以外は長くない＝
① ∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）｝＝
① 全てのｘについて、ｘが象ならば、あるｙはｘの鼻であって、ｙは長く、全てのｚについて、ｚがｘの鼻でないならば、ｚは長くない。
といふ「述語論理」には、少なくとも。
① 象ｘ ＝象であるｘ
① 鼻ｙｘ＝象であるｘの鼻であるｙ
といふ、「二つの主語」が、有ることになる。
然るに、
（075）
括弧は、論理演算子のスコープ（ｓｃｏｐｅ）を明示する働きを持つ。スコープは、論理演算子の働きが及ぶ範囲のことをいう（産業図書、数理言語学辞典、2013年、四七頁：命題論理、今仁生美）。
従って、
（074）（075）により、
（076）
① ∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）｝。
に於いて、
① ∀ｘ といふ「演算子の働き」は、
① ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）｝
といふ「全体」に及んでゐて、
① ∃ｙ（鼻ｙｘ＆長ｙ）
に於いて、
① ∃ｘ といふ「演算子の働き」は、
① （鼻ｙｘ＆長ｙ）
といふ「部分」に及んでゐる。
従って、
（074）（075）（076）により、
（077）
① 象は鼻が長い＝
① 全ての象は鼻が長く、鼻以外は長くない＝
① ∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）｝＝
① 全てのｘについて、ｘが象ならば、あるｙはｘの鼻であって、ｙは長く、全てのｚについて、ｚがｘの鼻でないならば、ｚは長くない。
といふ「述語論理」には、
① 象ｘ＝象であるｘ
といふ「主語」は、
① ∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）｝。
といふ「全体」に対する「主語」であって、
① 鼻ｙｘ＝象であるｘの鼻であるｙ
といふ「主語」は、
① ∃ｙ（鼻ｙｘ＆長ｙ）
といふ「部分」に対する「主語」である。
然るに、
（078）
日本語「象は鼻が長い」のようないわゆる「総主文」が存在する。このような日本語表現を二重の主語と解釈するかどうかは議論があるが、中国語においてはこのような表現は「主謂謂語句」、すなわち「主語＋謂語（述語）」の組み合わせが副文として述語になっていると解釈する（ウィキペディア）。
従って、
（077）（078）により、
（079）
① 象は鼻が長い。
といふ「日本語」に、
① ∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）｝。
といふ「論理構造」が有る。
といふことを、認めるならば、
① 象は鼻が長い。
といふ「日本語」には、
① 象ｘ
① 鼻ｙｘ
といふ「二つの主語」が有って、尚且つ、
① 象ｘ
は「総主」である。
然るに、
（080）
① An elephant has a long nose and no other part of it is not long.
といふ「英語」は、
① 象＝Elephant
① 鼻＝Nose
① 長＝long
であるとして、
① ∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）｝＝
① As for all x, if x is an elephant then there is y such that y is a nose of x, and y is long. and as for all ｚ, if ｚ is not a nose of x then ｚ is not long.
といふ「述語論理」に、「翻訳」される。
然るに、
（081）
① An elephant has a long nose and any other part of it is not long.
といふ「英語」だけを見て、
① nose
が「主語」であると、思ふ人は、一人もゐないはずである。
従って、
（082）
「総主（二重主語）」といふ「発想」は、
① 象は鼻が長い。
といふ「國語」に特有なのであって、
「総主（二重主語）」といふ「発想」は、
① An elephant has a long nose and any other part of it is not long.
といふ「英語」には、有り得ない。
然るに、
（083）
然ルニ國語ノ法則トシテ日本ノ文法ニ之ヲ編入スル者ナキハ何故ゾ。西洋ノ言語ニ類似ノ語法ナク、西洋ノ文典ニ類似ノ記載ナキガ故ニ非ザルカ（草野清淸、國語ノ特有セル語法―總主、明治三十二年）。
従って、
（082）（083）により、
（084）
「総主（二重主語）」といふ「発想」は、
① 象は鼻が長い。
といふ「國語」に「特有セル語法」なのであって、「西洋ノ言語ニ類似ノ語法ナク、西洋ノ文典ニ類似ノ記載ナシ」である。
然るに、
（085）
大辞林 第三版の解説
しゅじ【主辞】
「主語」に同じ。［形式論理学と文法］
そもそも主語･述語とは，形式論理学における命題〈AはBである〉のA（それについて語るところのもの）およびB（Aについて語る事がら）に当たるものを，アリストテレスがそれぞれギリシア語でhypokeimenon,katēgoroumenonと表現したことにさかのぼるという。これが，その後ラテン語でそれぞれsubjectum,praedictumと表現され，論理学および文法の用語としてしだいに定着，今日のヨーロッパ諸言語でも継承され（たとえば英語subject,predicate），また他の言語でも用いられるようになり，日本でも主語･述語と訳してきたものである（形式論理学では主辞･賓辞とも，文法では主部･述部とも訳す）。当初のヨーロッパでは論理学と文法は密接な（元来は未分化ともいえる）関係にあり，共通の用語となったのだが，しかし，両者は目標も対象も異なる学問である（文法は今日では言語学の一部として位置づけられている）。
従って、
（084）（085）により、
（086）
ある人が、
① 象は鼻が長い。
と言ふ「日本語」は、
① 象は
だけが「主語（主辞）」であって、
① 鼻が
は「主語（主辞）」でない。
とするならば、その人こそが、「西洋文法に巻かれていることを語る以外の何物でもない」。
然るに、
（087）
「象は鼻が長い」はどれが主辞がわからないから、このままでは非論理的な構造の文である、と言う人がもしあった（沢田『入門』二九ペ）とすれば、その人は旧『論理学』を知らない人であろう、これはこのままで、
象は 鼻が長い。
主辞 賓辞
とはっきりしている。速水式に簡単明リョウである。意味も、主辞賓辞の関係も小学生にもわかるはずの文である。これに文句をつけたり、それを取り次いだりするのは、人々が西洋文法に巻かれていることを語る以外の何物でもない。このまま定理扱いしてもよろしい。そしてこの定理の逆は真でないとして、鼻の長いもの例に、鞍馬山の天狗だの、池の尾の禅珍内供だのを上げるのも一興だろう。それでおしまいである。
（三上章、日本語の論理、1963年、１３・１４頁）。
従って、
（086）（087）により、
（088）
草野清淸先生は、沢田充茂先生ではなく、三上章先生の方こそが、「西洋文法に巻かれていることを語る以外の何物でもない」。
加へて、
（089）
① 象ならば鼻が長い（順）。
② 鼻が長いならば象である（逆）。
③ 天狗は鼻が長いが象ではない（反例）。
といふことと、
象は 鼻が長い。
主辞 賓辞
とはっきりしている。速水式に簡単明リョウである。意味も、主辞賓辞の関係も小学生にもわかるはずの文である。
といふことが、「どうして結びつくのか」が「不明」である。
（090）
伝統論理学を速水滉『論理学』（016）で代表させよう。わたしのもっているのが四十三年の第十九冊一万部中の一冊で、なお引続き刊行だろうから、前後かなり多くの読者をもつ論理学書と考えられる。新興の記号論理学の方は、沢田充茂『現代論理学入門』（062）を参照することとする（三上章、日本語の論理、1963年、４頁）。
然るに、
（091）
The best to way to find out what logic is to do some（E.J.Lemmon,Beginning Logic).
論理学とは何であるかを知る最善の方法は、実際に幾らかやってみることである（E.J.レモン、竹尾治一郎・浅野楢英訳、論理学初歩、1973年、３頁）。
然るに、
（092）
沢田充茂『現代論理学入門』は、「解説書（岩波新書）」なので、「沢田充茂、現代論理学入門、1962年」を読んだだけでは、「論理学を、実際に幾らかやってみた」ことには、ならない。
然るに、
（093）
捨てる神があれば、拾う神がある。
「ｘノ」消去もある。ｘは、しっぽをもつ任意の動物。
頭が西を向けば、尾が東を向く。
ただし、これは「雨の降る日は、天気が悪い」に似て笑いを誘うためだから、その効果のために犬を代入して、
犬が西向きゃ、尾が東向く。
「何々の」というものを重視したいものである。
すべての馬が動物であれば、馬の頭はすべて動物の頭である。（ド・モルガンの例）
というようなものに備えて、「何々の」に対しても敏感であることが望ましい。以上のように、条件文で道理を表わすことわざで了解事項となるものは、ガノニヲの範囲である。
（三上章、日本語の論理、1963年、３７・３８頁）。
然るに、
（094）
「何々の」というものを重視したいものである。かどうかは、ともかく、
１ （１） ∀ｘ（馬ｘ→動物ｘ） Ａ
１ （２） 馬ｂ→動物ｂ １ＵＥ
３ （３） ∃ｙ（馬ｙ＆頭ａｙ） Ａ
４（４） 馬ｂ＆頭ａｂ Ａ
４（５） 馬ｂ ４＆Ｅ
４（６） 頭ａｂ ４＆Ｅ
１ ４（７） 動物ｂ ２６ＭＰＰ
１ ４（８） 動物ｂ＆頭ａｂ ５６＆Ｉ
１ ４（９） ∃ｙ（動物ｙ＆頭ａｙ） ８ＥＩ
１３ （ア） ∃ｙ（動物ｙ＆頭ａｙ） ３４９ＥＥ
１ （イ） ∃ｙ（馬ｙ ＆頭ａｙ）→∃ｙ（動物ｙ＆頭ａｙ） ３アＣＰ
１ （ウ）∀ｘ｛∃ｙ（馬ｙ ＆頭ｘｙ）→∃ｙ（動物ｙ＆頭ｘｙ）｝ イＵＩ
（エ）「全てのｘについてｘが馬ならば、ｘは動物である。」ならば「全てのｘについて、或るｙが馬であって、ｘがその馬ｙの頭であるならば、或るｙは動物であって、ｘはその動物ｙの頭である。」
といふことであるならば、私にも、「理解」出来る。
然るに、
（095）
日本文法界でかつて流行した見解、げんに流行しているらしい見解は次のものです。どちらもわれわれにはもはや用のないものです。
象ハ 鼻ガ 長イ。
総主語 主語
私ハ 腹ガ 痛イ。
主語 対象語
（三上章、象は鼻が長い、1982年、第１３版、６６頁）
然るに、
（032）により、
（096）
① 腹は痛い＝腹は痛い。
② 腹が痛い＝腹は痛く（腹以外は痛くない）。
従って、
（096）により、
（097）
② 腹が痛い＝腹は痛く（腹以外は痛くない）。
と、言はずに、
① 腹は痛い＝腹は痛い。
と、言ふのであれば、
① 腹以外（例へば、頭）も、痛いのか？
といふ風に、「尋きたく」なる。
従って、
（096）（097）により、
（098）
② あなたが好きです。
と、言はずに、
① あなたは好きです。
と、言ふのであれば、
① 他にも、好きな人がゐるのか。
といふ風に、「尋きたく」なる。
従って、
（097）（098）により、
（099）
② 腹以外は痛くない。
② あなた以外は好きではない。
と、言ひたいのであれば、
② 腹が痛い。
② あなたが好きです。
といふ風に、言ふべきである。
然るに、
（100）
主語と述語
何がなんだ。
何がどんなだ。
何がどうした。
この「何が」にあたる所を主語といい、「なんだ」「どんなだ」「どうした」にあたる所を述語という。
これは私の記憶にまちがいがなければ、私が中学１年のときにならった国文法の第１課の最初に書いてあった文章です。
（竹内外史、集合とはなにか、2001年、１３・１４頁）
然るに、
（101）
日本語などの東アジアの言語には必要のない「主語」は、明治維新以降は「脱亜入欧」の掛け声のもと、英文法を真似て導入されたものだった。大野晋も『日本語の世界』付録の丸谷才一との対談、その事情をあっさり認めてゐる。 明治以降、要するに英文法をもとにして、大槻博士が日本語の文法を組み立てた。その時に、ヨーロッパでは文を作る時に必ず主語を立てる。そこで『文には主語が必要』と決めた。そこで日本語では主語を示すのに『は』を使う、と考えたのです。ヨーロッパにあるものは日本にもなくては具合が悪いというわけで、無理にいろんなものを当てはめた（金谷武洋、英語にも主語はなかった、2004年、１１頁）。
（102）
多くの印欧語において、主語は客観的に観察できる構文的概念である。以下に重要と思われるものを四つほど列挙しよう。マルチネにとっては（あ）が唯一の「主語の条件」であるが、特に英仏語の様子を勘案しながら、さらに３点を加えてみる。
（あ）基本文に不可欠な要素である。
（い）語順的にはほとんどの場合、文頭に現れる。
（う）動詞に人称変化（つまり）活用を起こさせる。
（え）一定の格（主格）を持って現れる。
ここで重要なのは、（い）から（え）までの３点を加えるのは（あ）の結論をさらに強めるためだという点である。
（金谷武洋、日本語に主語はいらない、2002年、６２頁）
然るに、
（103）
２ 主語を補うテクニック
古文が読みにくい原因の一つは、主体（主語）、客体（目的語・補語）が省略されている文が多いことです。主語がわかれば文はずいぶんと読みやすくなります。
（荻野文子、古文マドンナ解法、1993年、１１頁）
従って、
（102）（103）により、
（104）
（Ⅰ）「主語」は、基本文に不可欠な要素である。
（Ⅱ）古文が読みにくい原因の一つは、主体（主語）、客体（目的語・補語）が省略されている文が多いことです。
従って、
（104）により、
（105）
（Ⅰ）「主語」は、「省略できない」。
とするならば、それだけで、
（Ⅱ）「日本語」に「主語」はない。
（106）
主語や目的語や補語、これだけは自分で考えるクセを付けて下さい。学校の先生がこれまた、考えなくとも、どんどん入れて訳してくれるんです。古文はよく、省かれているんですね。誰が、誰を、誰に、みたいなものが、日本語はよく省略されているんですけど、先生がどんどん補って下さる。で皆さんは何でその主語になるのかよくわかんないまま、またノートに、訳のところに、一生懸命、書いて覚えて、テストを受けてる。さっきも言いました。自力です。自力で補足するんです。
（東進ハイスクール 荻野文子先生 - YouTube）
従って、
（105）（106）により、
（107）
（Ⅰ）「主語」は、「省略できない」。
とするならば、 荻野文子先生の「教授法」は、成立しない。
（108）
「日本語」には、「英語」のやうな「主語」はない。といふのであれば、確かに、その通りである。
（109）
② こんにゃくは太らない。
もちろん、この文が問題となるのは、「太らない」のが「こんにゃく」ではなく、それを食べる人間様の場合である
（金谷武洋、日本語文法の謎を解く、2003年、８４頁改）。
従って、
（109）により、
（110）
② こんにゃくは太らない。
といふのであれば、
② こんにゃくが存在するならば、ある人が存在して、その人はこんにゃくを食べ、その人は太らない。
然るに、
（111）
１ （１）∀ｘ｛蒟蒻ｘ→ ∃ｙ（人ｙ＆食ｙｘ＆～太ｙ）｝ Ａ
１ （２） 蒟蒻ａ→ ∃ｙ（人ｙ＆食ｙｘ＆～太ｙ）｝ １ＵＥ
３ （３）∃ｘ（蒟蒻ｘ） Ａ
４（４） 蒟蒻ａ Ａ
１ ４（５） ∃ｙ（人ｙ＆食ｙｘ＆～太ｙ） ２４ＭＰＰ
１３ （６） ∃ｙ（人ｙ＆食ｙｘ＆～太ｙ） ３４５ＥＥ
１ （７）∃ｘ（蒟蒻ｘ）→∃ｙ（人ｙ＆食ｙｘ＆～太ｙ） ３６ＣＰ
１ （８）あるｘが蒟蒻であるならば、あるｙは人であって、ｙはｘを食べ、ｙは太らない。
１ （９）こんにゃくが存在するならば、ある人が存在して、その人はこんにゃくを食べ、その人は太らない。
といふ「述語計算」は、「正しい」。
従って、
（110）（111）により、
（112）
② こんにゃくは太らない。
といふ「日本語」は、
② こんにゃくは太らない＝
② ∀ｘ｛蒟蒻ｘ→∃ｙ（人ｙ＆食ｙｘ＆～太ｙ）｝＝
② 全てのｘについて、ｘがこんにゃくであるならば、あるｙは人であって、ｙはｘを食べ、ｙは太らない。
といふ「述語論理」に、「翻訳」される。
従って、
（061）（112）により、
（113）
① 象は鼻が長い。
② こんにゃくは太らない。
といふ「日本語」は、
① 全てのｘについて、ｘが象ならば、あるｙはｘの鼻であって、ｙは長く、全てのｚについて、ｚがｘの鼻でないならば、ｚは長くない。
② 全てのｘについて、ｘがこんにゃくであるならば、あるｙは人であって、ｙはｘを食べ、ｙは太らない。
といふ「述語論理」に、「翻訳」される。
然るに、
（114）
① 全てのｘについて、ｘが象ならば、
② 全てのｘについて、ｘがこんにゃくであるならば、
といふことから、すれば、
① 象は鼻が長い。
② こんにゃくは太らない。
といふ「日本語」は、「確実に」、
①「象」を「話題」にし、
②「こんにゃく」を「話題」にしてゐる。
従って、
（079）（114）により、
（115）
① 象は鼻が長い＝
① 全ての象は鼻が長く、鼻以外は長くない＝
① ∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）｝＝
① 全てのｘについて、ｘが象ならば、あるｙはｘの鼻であって、ｙは長く、全てのｚについて、ｚがｘの鼻でないならば、ｚは長くない。
といふ「日本語・述語論理」に於いて、
①「象は」＝「∀ｘ｛象ｘ→」
は「総主」であって、「話題」である。
平成３０年０３月２１日、毛利太。