―「先ほどの記事（４月５日）」の「続き」を書きます。―
（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年」といふ「著書」は、三上先生が意図したそれとは異なり、「現代論理学（述語論理）的」には、「不完全な著書」であると、言はざるを得ない。
平成３１年０４月０５日、毛利太。
0 件のコメント:
コメントを投稿