（159）「三上章 著、象は鼻が長い、1960年」は「名著」ではない。

―「記事（158）」の「続き」を書きます。―
（21）
（ⅰ）象は鼻は長い。
（ⅱ）象は鼻が長い。
（ⅲ）象は鼻も長い。
といふ「日本語」は、それぞれ、
（ⅰ）∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）｝
（ⅱ）∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆　∀ｚ（～鼻ｚｘ→～長ｚ）｝
（ⅲ）∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆～∀ｚ（～鼻ｚｘ→～長ｚ）｝
といふ「述語論理」に「翻訳」される。
従って、
（21）により、
（22）
（ⅳ）タゴール記念会館は私が理事長です。
といふ「日本語」は、
（ⅳ）∀ｘ｛タゴール記念会館ｘ→∃ｙ（私ｙ＆理事長ｙｘ）＆∀ｚ（～私ｚ→～理事長ｚｘ）｝＝
（ⅳ）すべてのｘについて｛ｘがタゴール記念会館であるならば、あるｙは私であって、ｙはｘの理事長であって、すべてのｚについて、ｚが私でないならば、ｚはｘの理事長ではない。｝
といふ「述語論理」に「翻訳」される。
然るに、
（23）
（ａ）
１　　（１）∀ｘ｛タゴール記念会館ｘ→∃ｙ（私ｙ＆理事長ｙｘ）＆∀ｚ（～私ｚ→～理事長ｚｘ）｝　Ａ
１　　（２）　　　タゴール記念会館ａ→∃ｙ（私ｙ＆理事長ｙａ）＆∀ｚ（～私ｚ→～理事長ｚａ）　　１ＵＥ
１　　（３）　　　タゴール記念会館ａ→∃ｙ（私ｙ＆理事長ｙａ）　　　　　　　　　　　　　　　　　２＆Ｅ
１　　（４）　　　　　　　　　　　　　　　　　　　　　　　　　　∀ｚ（～私ｚ→～理事長ｚａ）　　２＆Ｅ
１　　（５）　　　　　　　　　　　　　　　　　　　　　　　　　　　　　～私ｃ→～理事長ｃａ　　　１ＵＥ
　６　（６）　　　　　　　　　　　　　　　　　　　　　　　　　　　　　～私ｃ　　　　　　　　　　Ａ
　　７（７）　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　理事長ｃａ　　　Ａ
１６　（８）　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　～理事長ｃａ　　　５６ＭＰＰ
１６７（９）　　　　　　　　　　　　　　　　　　　　　　　　　　　理事長ｃａ＆～理事長ｃａ　　　７８＆Ｉ
１　７（ア）　　　　　　　　　　　　　　　　　　　　　　　　　　　　～～私ｃ　　　　　　　　　　６９ＲＡＡ
１　７（イ）　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　私ｃ　　　　　　　　　　アＤＮ
１　　（ウ）　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　理事長ｃａ→　私ｃ　　　７イＣＰ
１　　（エ）　　　　　　　　　　　　　　　　　　　　　　　　　　∀ｚ（　理事長ｚａ→　私ｚ）　　ウＵＩ
１　　（オ）　　　タゴール記念会館ａ→∃ｙ（私ｙ＆理事長ｙａ）＆∀ｚ（　理事長ｚａ→　私ｚ）　　３エ＆Ｉ
１　　（カ）∀ｘ｛タゴール記念会館ｘ→∃ｙ（私ｙ＆理事長ｙｘ）＆∀ｚ（　理事長ｚｘ→　私ｚ）｝　オＵＩ
（ｂ）
１　　（１）∀ｘ｛タゴール記念会館ｘ→∃ｙ（私ｙ＆理事長ｙｘ）＆∀ｚ（　理事長ｚｘ→　私ｚ）｝　Ａ
１　　（２）　　　タゴール記念会館ａ→∃ｙ（私ｙ＆理事長ｙａ）＆∀ｚ（　理事長ｚａ→　私ｚ）　　１ＵＥ
１　　（３）　　　タゴール記念会館ａ→∃ｙ（私ｙ＆理事長ｙａ）　　　　　　　　　　　　　　　　　２＆Ｅ
１　　（４）　　　　　　　　　　　　　　　　　　　　　　　　　　∀ｚ（　理事長ｚａ→　私ｚ）　　２＆Ｅ
１　　（５）　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　理事長ｃａ→　私ｃ　　　４ＵＥ
　６　（６）　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　理事長ｃａ　　　　　　　Ａ
　　７（７）　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　～私ｃ　　　Ａ
１６　（８）　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　私ｃ　　　５６ＭＰＰ
１６７（９）　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　～私ｃ＆私ｘ　　　７８＆Ｉ
１　７（ア）　　　　　　　　　　　　　　　　　　　　　　　　　　　　　～理事長ｃａ　　　　　　　６９ＲＡＡ
１　　（イ）　　　　　　　　　　　　　　　　　　　　　　　　　　　　　～私ｃ→～理事長ｃａ　　　７アＣＰ
１　　（ウ）　　　　　　　　　　　　　　　　　　　　　　　　　　∀ｚ（～私ｚ→～理事長ｚｘ）　　イＵＩ
１　　（エ）　　　タゴール記念会館ａ→∃ｙ（私ｙ＆理事長ｙａ）＆∀ｚ（～私ｚ→～理事長ｚａ）　　イウ＆Ｉ
１　　（オ）∀ｘ｛タゴール記念会館ｘ→∃ｙ（私ｙ＆理事長ｙｘ）＆∀ｚ（～私ｚ→～理事長ｚｘ）｝　エＵＩ
従って、
（23）により、
（ａ）∀ｘ｛タゴール記念会館ｘ→∃ｙ（私ｙ＆理事長ｙｘ）＆∀ｚ（～私ｚ→～理事長ｚｘ）｝
（ｂ）∀ｘ｛タゴール記念会館ｘ→∃ｙ（私ｙ＆理事長ｙｘ）＆∀ｚ（　理事長ｚｘ→　私ｚ）｝
に於いて、
（ａ）ならば（ｂ）であり、
（ｂ）ならば（ａ）である。
従って、
（23）により、
（24）
（ａ）∀ｘ｛タゴール記念会館ｘ→∃ｙ（私ｙ＆理事長ｙｘ）＆∀ｚ（～私ｚ→～理事長ｚｘ）｝
（ｂ）∀ｘ｛タゴール記念会館ｘ→∃ｙ（私ｙ＆理事長ｙｘ）＆∀ｚ（　理事長ｚｘ→　私ｚ）｝
に於いて、
（ａ）＝（ｂ） である。
従って、
（22）（24）により、
（25）
（ａ）タゴール記念会館は私が理事長です＝
（〃）∀ｘ｛タゴール記念会館ｘ→∃ｙ（私ｙ＆理事長ｙｘ）＆∀ｚ（～私ｚ→～理事長ｚｘ）｝＝
（〃）すべてのｘについて｛ｘがタゴール記念会館であるならば、あるｙは私であって、ｙはｘの理事長であって、すべてのｚについて、ｚが私でないならば、ｚはｘの理事長ではない。｝
（ｂ）∀ｘ｛タゴール記念会館ｘ→∃ｙ（私ｙ＆理事長ｙｘ）＆∀ｚ（　理事長ｚｘ→　私ｚ）｝＝
（〃）すべてのｘについて｛ｘがタゴール記念会館であるならば、あるｙは私であって、ｙはｘの理事長であって、すべてのｚについて、ｚがｘの理事長であるならば、ｚは私である。｝
に於いて、
（ａ）＝（ｂ） である。
然るに、
（26）
（ｂ）すべてのｚについて、ｚがｘの理事長であるならば、ｚは私である。
といふことを、「普通の日本語」で言ふならば、
（ｂ）ｘの理事長は私です。
といふことに、他ならない。
従って、
（25）（26）により、
（27）
（ａ）タゴール記念会館は私が理事長です＝∀ｘ｛タゴール記念会館ｘ→∃ｙ（私ｙ＆理事長ｙｘ）＆∀ｚ（～私ｚ→～理事長ｚｘ）｝。
（ｂ）タゴール記念会館は理事長は私です＝∀ｘ｛タゴール記念会館ｘ→∃ｙ（私ｙ＆理事長ｙｘ）＆∀ｚ（　理事長ｚｘ→　私ｚ）｝。
に於いて、
（ａ）＝（ｂ） である。
従って、
（27）により、
（28）
（ａ）私が理事長です＝∀ｚ（～私ｚ→～理事長ｚｘ）｝。
（ｂ）理事長は私です＝∀ｚ（　理事長ｚｘ→　私ｚ）｝。
に於いて、
（ａ）＝（ｂ） である。
従って、
（21）～（28）により、
（29）
（ⅰ）象は鼻は長い。
（ⅱ）象は鼻が長い。
（ⅲ）象は鼻も長い。
といふ「日本語」が、それぞれ、
（ⅰ）∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）｝
（ⅱ）∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆　∀ｚ（～鼻ｚｘ→～長ｚ）｝
（ⅲ）∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆～∀ｚ（～鼻ｚｘ→～長ｚ）｝
といふ「述語論理」に「翻訳」される。
といふことからすれば、
（ａ）私が理事長です。
（ｂ）理事長は私です。
に於いて、
（ａ）＝（ｂ） である。
といふことは、「当然」である。
然るに、
（30）
よく知られているように、「私が理事長です」は語順を変え、
　理事長は、私です。
と直して初めて主辞賓辞が適用されのである。また、かりに大倉氏が、
　タゴール記念館は、私が理事です。
と言ったとすれば、これは主辞「タゴール記念館」を品評するという心持ちの文である。
（三上章、日本語の論理、1963年、４０・４１頁）
然るに、
（31）
　タゴール記念館は、私が理事です。
と言ったとすれば、これは主辞「タゴール記念館」を品評するという心持ちの文である。
といふ「論評」は、「述語論理」とは、関係がない。
従って、
（29）（30）（31により、
（32）
「日本語の論理、昭和３８年」を書いた時点での、三上章先生は、
（ⅰ）象は鼻は長い＝∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）｝。
（ⅱ）象は鼻が長い＝∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆　∀ｚ（～鼻ｚｘ→～長ｚ）｝。
（ⅲ）象は鼻も長い＝∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆～∀ｚ（～鼻ｚｘ→～長ｚ）｝。
といふ「等式」を、知らないまま、「三上章 著、日本語の論理」を書いてゐる。
従って、
（32）により、
（33）
「象は鼻が長い、昭和３５年」を書いた時点での、三上章先生も、
（ⅰ）象は鼻は長い＝∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）｝。
（ⅱ）象は鼻が長い＝∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆　∀ｚ（～鼻ｚｘ→～長ｚ）｝。
（ⅲ）象は鼻も長い＝∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆～∀ｚ（～鼻ｚｘ→～長ｚ）｝。
といふ「等式」を、知らないまま、「三上章 著、象は鼻が長い」を書いてゐる。
然るに、
（34）
伝統的論理学を清水滉『論理学』（1916年）で代表させよう。わたしのもっているのが四十三年の第十九冊の一冊で、なお引き続き刊行だろうから、前後かなり多くの読者をもつ論理学書と考えられる。新興の記号論理学は、沢田允茂『現代論理学入門』（1962年）を参照することにする（三上章、日本語の論理、1963年、４頁）。
従って、
（33）（34）により、
（35）
三上章先生は、
（ⅰ）象は鼻は長い。
（ⅱ）象は鼻が長い。
（ⅲ）象は鼻も長い。
といふ「日本語」を分析する上で、「現代論理学（述語論理）」の知識は、必要である。
としつつも、その一方で、これらの「日本語」を、「述語論理」に「置き換へる」ことを、怠ってゐる。
従って、
（33）（34）（35）により、
（36）
「三上章 著、象は鼻が長い、1960年」といふ「著書」は、三上先生が意図したそれとは異なり、「現代論理学（述語論理）的」には、「不完全な著書」であると、言はざるを得ない。