「象鼻文」と「述語論理」と「京都大学文学部・矢田部俊介・論理学、第一回（YouTube）」。

―「昨日の記事（令和０３年０４月０５日）」を書き直します。―
（01）
京都大学文学部・矢田部俊介先生、曰く、
（１）「歩く」といふ「人間の行為」を「理解」するためには、「歩行が可能な、ロボット」を作ってみればよく、同様に、
（２）「推論」といふ「人間の行為」を「理解」するためには、「推論が可能な、コンピュータのプログラム」を書いてみればよい。然るに、
（３）「推論をシュミレートするコンピュータのプログラム」は、ゲンツェンに由来する所の、「述語計算（自然演繹）」に基づいて、書かれることになる。
（ｃｆ.京都大学文学部・矢田部俊介・論理学、前期第01回授業（YouTube）、開始から約５１分後から６４分後）
然るに、
（02）
命題計算の規則は、本質的にゲンツェン（G.Gentzen）」に由来するものである。― 中略 ―、述語計算の規則もゲンツェンに由来するものである。
（E.J.レモン 著、論理学初歩、竹尾治一郎・浅野 楢英 訳、1973年、序ⅲ改）
然るに、
（03）
次の「述語計算」は、「E.J.レモン 著、論理学初歩、竹尾治一郎・浅野 楢英 訳」を学習した人間（私）によって、書かれてゐる。
１　　　　　（１）∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）｝　Ａ
　２　　　　（２）∀ｘ｛兎ｘ→∃ｙ（長ｙ＆耳ｙｘ）＆∀ｚ（耳ｚｘ→～鼻ｚｘ）｝　Ａ
　　３　　　（３）∃ｘ（兎ｘ＆象ｘ）　　　　　　　　　　　　　　　　　　　　　　Ａ
１　　　　　（４）　　　象ａ→∃ｙ（鼻ｙａ＆長ｙ）＆∀ｚ（～鼻ｚａ→～長ｚ）　　１ＵＥ
　２　　　　（５）　　　兎ａ→∃ｙ（長ｙ＆耳ｙａ）＆∀ｚ（耳ｚａ→～鼻ｚａ）　　２ＵＥ
　　　６　　（６）　　　兎ａ＆象ａ　　　　　　　　　　　　　　　　　　　　　　　Ａ
　　　６　　（７）　　　　　　象ａ　　　　　　　　　　　　　　　　　　　　　　　６＆Ｅ
　　　６　　（８）　　　兎ａ　　　　　　　　　　　　　　　　　　　　　　　　　　６＆Ｅ
１　　６　　（９）　　　　　　∃ｙ（鼻ｙａ＆長ｙ）＆∀ｚ（～鼻ｚａ→～長ｚ）　　４８ＭＰＰ
　２　６　　（ア）　　　　　　∃ｙ（長ｙ＆耳ｙａ）＆∀ｚ（耳ｚａ→～鼻ｚａ）　　５７ＭＰＰ
１　　６　　（イ）　　　　　　∃ｙ（鼻ｙａ＆長ｙ）　　　　　　　　　　　　　　　９＆Ｅ
　　　　ウ　（ウ）　　　　　　　　　鼻ｂａ＆長ｂ　　　　　　　　　　　　　　　　Ａ
　２　６　　（エ）　　　　　　∃ｙ（長ｙ＆耳ｙａ）　　　　　　　　　　　　　　　ア＆Ｅ
　　　　　オ（オ）　　　　　　　　　長ｂ＆耳ｂａ　　　　　　　　　　　　　　　　Ａ
　　　　　オ（カ）　　　　　　　　　　　　耳ｂａ　　　　　　　　　　　　　　　　オ＆Ｅ
　２　６　　（キ）　　　　　　　　　　　　　　　　　∀ｚ（耳ｚａ→～鼻ｚａ）　　ア＆Ｅ
　２　６　　（ク）　　　　　　　　　　　　　　　　　　　　耳ｂａ→～鼻ｂａ　　　キＵＥ
　２　６　オ（ケ）　　　　　　　　　　　　　　　　　　　　　　　　～鼻ｂａ　　　カクＭＰＰ
１　　６　　（コ）　　　　　　　　　　　　　　　　　∀ｚ（～鼻ｚａ→～長ｚ）　　ア＆Ｅ
１　　６　　（サ）　　　　　　　　　　　　　　　　　　　　～鼻ｂａ→～長ｂ　　　コＵＥ
１２　６　オ（シ）　　　　　　　　　　　　　　　　　　　　　　　　　～長ｂ　　　ケサＭＰＰ
　　　　　オ（ス）　　　　　　　　　長ｂ　　　　　　　　　　　　　　　　　　　　オ＆Ｅ
１２　６　オ（セ）　　　　　　　　　長ｂ＆～長ｂ　　　　　　　　　　　　　　　　シス＆Ｉ
１２　６　　（ソ）　　　　　　　　　長ｂ＆～長ｂ　　　　　　　　　　　　　　　　エオセＥＥ
１２３　　　（タ）　　　　　　　　　長ｂ＆～長ｂ　　　　　　　　　　　　　　　　３６ソＥＥ
１２　　　　（チ）～∃ｘ（兎ｘ＆象ｘ）　　　　　　　　　　　　　　　　　　　　　３タＲＡＡ
１２　　　　（ツ）∀ｘ～（兎ｘ＆象ｘ）　　　　　　　　　　　　　　　　　　　　　チ量化子の関係
１２　　　　（テ）　　～（兎ａ＆象ａ）　　　　　　　　　　　　　　　　　　　　　ツＵＥ
１２　　　　（ト）　　～兎ａ∨～象ａ　　　　　　　　　　　　　　　　　　　　　　テ、ド・モルガンの法則
１２　　　　（ナ）　　　兎ａ→～象ａ　　　　　　　　　　　　　　　　　　　　　　ト含意の定義
１２　　　　（ニ）∀ｘ（兎ｘ→～象ｘ）　　　　　　　　　　　　　　　　　　　　　ナＵＩ
従って、
（03）により、
（04）
（ⅰ）∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）｝。然るに、
（ⅱ）∀ｘ｛兎ｘ→∃ｙ（長ｙ＆耳ｙｘ）＆∀ｚ（耳ｚｘ→～鼻ｚｘ）｝。従って、
（ⅲ）∀ｘ（兎ｘ→～象ｘ）。
といふ「推論（三段論法）」、すなはち、
（ⅰ）すべてのｘについて｛ｘが象であるならば、あるｙはｘの鼻であって、長く、すべてのｚについて、ｚがｘの鼻でないならば、ｚは長くない｝。　　　然るに、
（ⅱ）すべてのｘについて｛ｘが兎であるならば、あるｙは長くて、ｘの耳であり、すべてのｚについて、ｚがｘの耳であるならば、ｚはｘの鼻ではない｝。従って、
（ⅲ）すべてのｘについて（ｘが兎であるならば、ｘは象ではない）。
といふ「推論（三段論法）」は、「述語論理」として、「妥当」である。
然るに、
（05）
（ⅰ）象は鼻が長い。然るに、
（ⅱ）兎の耳は長いが、耳は鼻ではない。従って、
（ⅲ）兎は象ではない。
といふ「推論（三段論法）」は、「妥当」である。
従って、
（01）～（05）により、
（06）
（ⅰ）象は鼻が長い。然るに、
（ⅱ）兎の耳は長いが、耳は鼻ではない。従って、
（ⅲ）兎は象ではない。
といふ「推論（三段論法）」は、「妥当」である。と、「人間」が「思ひ」、
（ⅰ）∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）｝。然るに、
（ⅱ）∀ｘ｛兎ｘ→∃ｙ（長ｙ＆耳ｙｘ）＆∀ｚ（耳ｚｘ→～鼻ｚｘ）｝。従って、
（ⅲ）∀ｘ（兎ｘ→～象ｘ）。
といふ「推論（三段論法）」を、「コンピュータ」が「計算」するのであれば、
① 象は鼻が長い。⇔
① 象は鼻は長く、鼻以外は長くない。⇔
① ∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）｝⇔
① すべてのｘについて｛ｘが象であるならば、あるｙはｘの鼻であって、長く、すべてのｚについて、ｚがｘの鼻でないならば、ｚは長くない｝。
といふ「等式」が、成立する。
然るに、
（07）
（ⅰ）∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）｝。
ではなく、
（ⅰ）∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）｝。
とするならば、
（ⅰ）∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）｝。然るに、
（ⅱ）∀ｘ｛兎ｘ→∃ｙ（長ｙ＆耳ｙｘ）＆∀ｚ（耳ｚｘ→～鼻ｚｘ）｝。従って、
（ⅲ）∀ｘ（兎ｘ→～象ｘ）。
といふ「推論」は、成立しない。
然るに、
（08）
次（09）に示す通り、沢田充茂 先生が、所謂、
（ⅰ）象は鼻が長い。
といふ「それ」は、
（ⅰ）∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）｝⇔
（〃）すべてのｘについて｛ｘが象であるならば、あるｙはｘの鼻であって、長い｝。
であって、
（ⅰ）∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）｝⇔
（〃）すべてのｘについて｛ｘが象であるならば、あるｙはｘの鼻であって、長く、すべてのｚについて、ｚがｘの鼻でないならば、ｚは長くない｝。
ではない。
（09）
沢田充茂の『現代論理学入門』（一九六ニ年）には楽しい解説が載っています。
・・・・・・たとえば「象は鼻が長い」というような表現は、象が主語なのか、鼻が主語なのかはっきりしないから、このままではその論理的構造が明示されていない。いわば非論理的な文章である、というひともある。しかしこの文の論理的な構造をはっきりと文章にあらわして「すべてのｘについて、もしそのｘが象であるならば、ｙなるものが存在し、そのｙは鼻であり、ｘはｙを所有しており、このｙは長い」といえば・・・・・・たとえば動物園で象をはじめて見た小学生が、父親にむかってこのような文章で話しかけたとすれば、その子供は論理的であるといって感心されるまえに社会人としての常識をうたがわれるにきまっている。常識（すなはち共通にもっている情報）でわかっているものはいちいち言明の中にいれないで、いわば暗黙の了解事項として、省略し、できるだけ短い記号の組み合せで、できるだけ多くの情報を伝えることが日常言語の合理性の一つである。・・・・・・
（山崎紀美子、日本語基礎講座―三上文法入門、2003年、２１４頁）
従って、
（08）（09）により、
（10）
山崎紀美子 先生も、
① 象は鼻が長い。⇔
① 象は鼻は長く、鼻以外は長くない。⇔
① ∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）｝⇔
① すべてのｘについて｛ｘが象であるならば、あるｙはｘの鼻であって、長く、すべてのｚについて、ｚがｘの鼻でないならば、ｚは長くない｝。
といふ「等式」を、「是認」しない。
然るに、
（11）
つまり沢田氏によれば、「象は鼻が長い」というのは合理的な省略を行った言語表現であり、そこには明確な論理構造がある、ということです。三上はこれを文型として登録すべきであると、主張しています。
象をＡに、鼻をＢに、長いをＣに変え、文型の公式として、
　Ａは、ＢがＣだ。
を作っておきます。すると、この公式に当てはまる文は、たいてい機械的にパラフレーズできます。
　二辺の平方の和が第三辺の平方の和に等しい三角形は、第三辺に対する角が直角である。
（山崎紀美子、日本語基礎講座―三上文法入門、2003年、２１５頁）
然るに、
（12）
② 二辺の平方の和が第三辺の平方の和に等しい三角形は、第三辺に対する角が直角である。
といふことは、
② 二辺の平方の和が第三辺の平方の和に等しい三角形は、第三辺に対する角は直角であり、その角以外の角は、直角ではない。
といふことに、他ならない。
ｃｆ.
「直角三角形に於ける、直角は、一つしか無い。」
従って、
（10）（11）（12）により、
（13）
「象鼻文」の生みの親である、三上章先生 自身も、
① 象は鼻が長い。⇔
① 象は鼻は長く、鼻以外は長くない。⇔
① ∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）｝⇔
① すべてのｘについて｛ｘが象であるならば、あるｙはｘの鼻であって、長く、すべてのｚについて、ｚがｘの鼻でないならば、ｚは長くない｝。
といふ「等式」を、「是認」しない。
従って、
（06）～（13）により、
（14）
（ⅰ）∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）｝。
（ⅱ）∀ｘ｛兎ｘ→∃ｙ（長ｙ＆耳ｙｘ）＆∀ｚ（耳ｚｘ→～鼻ｚｘ）｝。
ではなく、
（ⅰ）∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）｝。
（ⅱ）∀ｘ｛兎ｘ→∃ｙ（長ｙ＆耳ｙｘ）＆∀ｚ（耳ｚｘ→～鼻ｚｘ）｝。
であるならば、
（ⅲ）∀ｘ（兎ｘ→～象ｘ）。
といふ「結論」にはならない、が故に、
「三上章 先生」が所謂、「象は鼻が長い（象鼻文）。」を「是認」する限り、
（ⅰ）象は鼻が長い。然るに、
（ⅱ）兎の耳は長いが、耳は鼻ではない。従って、
（ⅲ）兎は象ではない。
といふ「推論」を、「コンピュータ」で、「シュミレート」することは、出来ない。
従って、
（01）（14）により、
（15）
（１）「歩く」といふ「人間の行為」を「理解」するためには、「歩行が可能な、ロボット」を作ってみればよく、同様に、
（２）「推論」といふ「人間の行為」を「理解」するためには、「推論が可能な、コンピュータのプログラム」を書いてみればよい。
といふ「立場」からすると、「三上文法」の「象鼻文」は、「正しくはない」。
令和０３年０４月０６日、毛利太。