（01）
２ 次の論証の妥当性を示せ。
（ｅ）鯨は哺乳類である。ある魚は鯨である。すべての魚は尻尾をもっている。故にある魚の尻尾は哺乳類の尻尾である。
（E.J.レモン 著、武生治一郎・浅野楢英 訳、論理学初歩、1973年、１７４頁）。
（02）
２ Show the validity of the following arguments:
（ｅ）A whale is a mammal; some fish are whales; All fish have tails; therefore The some fishes' tails are mammals' tails.
（E.J.Lemmon, Beginning Logic, First published in Great Britain 1965）
然るに、
（03）
１ （１）∀ｘ（鯨ｘ→哺乳類ｘ） Ａ
２ （２）∃ｘ（魚ｘ＆鯨ｘ） Ａ
３ （３）∀ｘ｛魚ｘ→∃ｙ（尻尾ｙｘ）｝ Ａ
１ （４） 鯨ａ→哺乳類ａ １ＵＥ
５（５） 魚ａ＆鯨ａ Ａ
３ （６） 魚ａ→∃ｙ（尻尾ｙａ） ３ＵＥ
５（７） 魚ａ ５＆Ｅ
３５（８） ∃ｙ（尻尾ｙａ） ６７ＭＰＰ
５（９） 鯨ａ ５＆Ｅ
１ ５（ア） 哺乳類ａ ４９ＭＰＰ
１ ５（イ） 魚ａ＆哺乳類ａ ７ア＆Ｉ
１ ３５（ウ） 魚ａ＆哺乳類ａ＆∃ｙ（尻尾ｙａ） ８イ＆Ｉ
１ ３５（エ）∃ｘ｛魚ｘ＆哺乳類ｘ＆∃ｙ（尻尾ｙｘ）｝ ウＥＩ
１２３ （オ）∃ｘ｛魚ｘ＆哺乳類ｘ＆∃ｙ（尻尾ｙｘ）｝ ２５エＥＥ
１２３ （〃）あるｘは魚であり、哺乳類であって、あるｙはｘの尻尾である。２５エＥＥ
１２３ （〃）ある魚の尻尾は、 哺乳類の尻尾である。 ２５エＥＥ
１２３ （〃）Some fishes' tails are mammals' tails. ２５エＥＥ
然るに、
（04）
「E.J.レモン 著、武生治一郎・浅野楢英 訳、論理学初歩、1973年」といふ「翻訳」を読んで、
「E.J.Lemmon, Beginning Logic, First published in Great Britain 1965」といふ「原著」に出てゐる「練習問題」が解けるようになる。
といふことは、「論理（Logic）」そのものは、「すべての自然言語」に於いて、「共通」であるといふことの「証左」である。
従って、
（01）～（04）により、
（05）
① すべての魚は尻尾をもっている。
② All fish have tails.
といふ「日本語と英語」に「相当」する、「すべての自然言語」は、
③ ∀ｘ｛魚ｘ→∃ｙ（尻尾ｙｘ）｝
といふ「述語論理式」に、「対応」する。
然るに、
（06）
（ⅰ）象は鼻が長い。然るに、
（ⅱ）兎は耳が長いが、兎の耳は鼻ではない。従って、
（ⅲ）兎は象でない。
といふ「推論（三段論法）」は、明らかに「妥当」である。
従って、
（07）
２ 次の論証の妥当性を示せ。
（ｇ）象は鼻が長い。然るに、兎は耳が長いが、兎の耳は鼻ではない。従って、兎は象でない。
といふ「問題」を、出題することが、出来る。
然るに、
（08）
１ （１）∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆～∃ｚ（～鼻ｚｘ＆長ｚ）｝ Ａ
２ （２）∀ｘ｛兎ｘ→∃ｙ（耳ｙｘ＆長ｙ）＆∀ｚ（～耳ｚｘ→～長ｚ＆耳ｚｘ→～鼻ｚｘ）｝ Ａ
３ （３）∃ｘ（象ｘ＆兎ｘ） Ａ
１ （４） 象ａ→∃ｙ（鼻ｙａ＆長ｙ）＆～∃ｚ（～鼻ｚａ＆長ｚ） １ＵＥ
２ （５） 兎ａ→∃ｙ（耳ｙａ＆長ｙ）＆∀ｚ（～耳ｚａ→～長ｚ＆耳ｚａ→～鼻ｚａ） ２ＵＥ
６ （６） 象ａ＆兎ａ Ａ
６ （７） 象ａ ６＆Ｅ
１ ６ （８） ∃ｙ（鼻ｙａ＆長ｙ）＆～∃ｚ（～鼻ｚａ＆長ｚ） ４７ＭＰＰ
１ ６ （９） ∃ｙ（鼻ｙａ＆長ｙ） ８＆Ｅ
ア （ア） 鼻ｂａ＆長ｂ Ａ
ア （イ） 長ｂ ア＆Ｅ
１ ６ （ウ） ～∃ｚ（～鼻ｚａ＆長ｚ） ８＆Ｅ
１ ６ （エ） ∀ｚ～（～鼻ｚａ＆長ｚ） ウ量化子の関係
１ ６ （オ） ～（～鼻ｂａ＆長ｂ） エＵＥ
１ ６ （カ） ～～鼻ｂａ∨～長ｂ オ、ド・モルガンの法則
１ ６ （キ） ～鼻ｂａ→～長ｂ カ含意の定義
６ （ク） 兎ａ ６＆Ｅ
２ ６ （ケ） ∃ｙ（耳ｙａ＆長ｙ）＆∀ｚ（～耳ｚａ→～長ｚ＆耳ｚａ→～鼻ｚａ） ５クＭＰＰ
２ ６ （コ） ∃ｙ（耳ｙａ＆長ｙ） ケ＆Ｅ
サ（サ） 耳ｂａ＆長ｂ Ａ
サ（シ） 耳ｂａ サ＆Ｅ
２ ６ （ス） ∀ｚ（～耳ｚａ→～長ｚ＆耳ｚａ→～鼻ｚａ） ケ＆Ｅ
２ ６ （セ） ～耳ｂａ→～長ｂ＆耳ｂａ→～鼻ｂａ スＵＥ
２ ６ （ソ） 耳ｂａ→～鼻ｂａ ス＆Ｅ
２ ６ サ（タ） ～鼻ｂａ シソＭＰＰ
１２ ６ サ（チ） ～長ｂ キタＭＰＰ
１２ ６アサ（ツ） 長ｂ＆～長ｂ イチ＆Ｉ
１２ ６ア （テ） 長ｂ＆～長ｂ コサツＥＥ
１２ ６ （ト） 長ｂ＆～長ｂ ９アテＥＥ
１２３ （ナ） 長ｂ＆～長ｂ ３６トＥＥ
１２ （ニ）～∃ｘ（象ｘ＆兎ｘ） ３ナＲＡＡ
１２ （ヌ）∀ｘ～（象ｘ＆兎ｘ） ニ量化子の関係
１２ （ネ） ～（象ａ＆兎ａ） ヌＵＥ
１２ （ノ） ～象ａ∨～兎ａ ネ、ド・モルガンの法則
１２ （ハ） 象ａ→～兎ａ ノ含意の定義
１２ （ヒ）∀ｘ（象ｘ→～兎ｘ） ハＵＩ
１２ （〃）すべてのｘについて、ｘが兎であるならば、ｘは象ではない。 ハＵＩ
１２ （〃）兎は象ではない（Rabbits cannot be elephants）。 ハＵＩ
従って、
（05）～（08）により、
（09）
① 象は鼻が長い。
といふ「日本語」に「相当」する、「すべての自然言語」は、
③ ∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆～∃ｚ（～鼻ｚｘ＆長ｚ）｝
といふ「述語論理式」に、「対応」する。
然るに、
（10）
② All elephants have long noses. And the other parts of the elephant are not long.
といふ「英語」は、
③ ∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆～∃ｚ（～鼻ｚｘ＆長ｚ）｝
といふ「述語論理式」に、「対応」する。
従って、
（09）（10）により、
（11）
① 象は鼻が長い。
② All elephants have long noses. And the other parts of the elephant are not long.
といふ「日本語と英語」に「相当」する、「すべての自然言語」は、
③ ∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆～∃ｚ（～鼻ｚｘ＆長ｚ）｝
といふ「述語論理式」に、「対応」する。
従って、
（05）（11）により、
（12）
① すべての魚は尻尾をもっている。
② All fish have tails.
といふ「日本語と英語」に「相当」する、「すべての自然言語」は、
③ ∀ｘ｛魚ｘ→∃ｙ（尻尾ｙｘ）｝
といふ「述語論理式」に、「対応」する。
と「同時」に、
① 象は鼻が長い。
② All elephants have long noses. And the other parts of the elephant are not long.
といふ「日本語と英語」に「相当」する、「すべての自然言語」は、
③ ∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆～∃ｚ（～鼻ｚｘ＆長ｚ）｝
といふ「述語論理式」に、「対応」する。
従って、
（01）（03）（04）（07）（08）（12）により、
（13）
（ｅ）鯨は哺乳類である。ある魚は鯨である。すべての魚は尻尾をもっている。故にある魚の尻尾は哺乳類の尻尾である。
（ｇ）象は鼻が長い。然るに、兎は耳が長いが、兎の耳は鼻ではない。従って、兎は象でない。
といふ「論証（arguments）」を、「妥当（valid）」であるとする一方で、
（ｅ）すべての魚は尻尾をもっている≡∀ｘ｛魚ｘ→∃ｙ（尻尾ｙｘ）｝。
（ｇ） 象は鼻が長い≡∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆～∃ｚ（～鼻ｚｘ＆長ｚ）｝。
といふ「等式」を「否定」することは、『「論理（Logic）」そのものは、「すべての自然言語」に於いて、「共通」である。』といふことの、「否定」に、他ならない。
従って、
（14）
『「論理（Logic）」そのものは、「すべての自然言語」に於いて、「共通」である。』といふことを「否定」しないのであれば、
（ｅ）すべての魚は尻尾をもっている≡∀ｘ｛魚ｘ→∃ｙ（尻尾ｙｘ）｝。
（ｇ） 象は鼻が長い≡∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆～∃ｚ（～鼻ｚｘ＆長ｚ）｝
といふ「等式」を「否定」することは、出来ない。
然るに、
（15）
伝統的論理学を速水滉『論理学』（16）で代表させよう。わたしのもっているのが四十三年の第十九刷一万部中の一冊で、なお引続き刊行だろうから、前後かなり多く読者を持つ論理学書と考えられる。新興の記号論理学の方は、沢田充茂の『現代論理学入門』（62）を参照することにする（三上章、日本語の論理、1963年、４頁）。
従って、
（14）（15）により、
（16）
「三上章、日本語の論理、1963年」を書いた、三上章 先生が、
『「論理（Logic）」そのものは、「すべての自然言語」に於いて、「共通」である。』とするのであれば、三上章 先生は、
（ｅ）魚は尻尾をもっている≡∀ｘ｛魚ｘ→∃ｙ（尻尾ｙｘ）｝。
（ｇ） 象は鼻が長い≡∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆～∃ｚ（～鼻ｚｘ＆長ｚ）｝。
といふ「等式」を「否定」することは、出来ない。
然るに、
（17）
日本語には、「象は鼻が長い」や「日本は温泉が多い」など、「○○は××が……」のように二重に主語があるように見える文が多くあります。また、主語だけでなく、「この本は、父が買ってくれました」の「この本は」のように「買う」という動詞の目的語が「は」で示されているように見える文もあります。三上章のこの本は、そのような複雑な性質を持つ「…は…が…」の文（後にこの本の題名にちなんで「象鼻文」とよく呼ばれるようになりました）の性質を、助詞「は」の「代行」の性質を使って明確に説明することでわかりやすく解説していくものです（読書ガイド - 青山学院大学 文学部日本文学科 高校生のみなさんへ）。
従って、
（16）（17）により、
（18）
そのような複雑な性質を持つ「…は…が…」の文（後にこの本の題名にちなんで「象鼻文」とよく呼ばれるようになりました）の性質を、助詞「は」の「代行」の性質を使って明確に説明することでわかりやすく解説していくものです。
といふのであれば、その場合の 三上章 先生は、
（ｇ）象は鼻が長い≡∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆～∃ｚ（～鼻ｚｘ＆長ｚ）｝。
といふ「等式」を、無視することは、あってはならない。
然るに、
（19）
「三上章、日本語の論理、1963年」等に、目を通す限り、三上章 先生は、
① 象は鼻は長い≡∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）｝。
② 象は鼻が長い≡∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆～∃ｚ（～鼻ｚｘ＆長ｚ）｝。
③ 象の鼻が長い≡∀ｘ∃ｙ｛（象ｘ＆鼻ｙｘ）→長ｙ＆（～象ｘ＆鼻ｙｘ）→～長ｙ｝。
④ 鼻は象が長い≡∀ｙ∃ｘ｛（鼻ｙｘ＆象ｘ→長ｙ）＆（～象ｘ＆長ｙ→～鼻ｙｘ）｝。
といふ「等式」等に、気付いては、ゐない。
（20）
日常言語の文から述語計算の文の翻訳のためには、一般にあたまが柔軟であることが必要である。なんら確定的な規則があるわけでなく、量記号に十分に馴れるまでには、練習を積むことが必要である。そこに含まれている仕事は翻訳の仕事に違いないけれども、しかしそこへ翻訳が行われる形式言語は、自然言語のシンタックスとは幾らか違ったシンタックスをもっており、また限られた述語―論理的結合記号、変数、固有名、述語文字、および２つの量記号―しかももたない。その言語のおもな長所は、記法上の制限にもかかわらず、非常に広範な表現能力をもっていることである（Ｅ.Ｊ.レモン 著、武生治一郎・浅野楢英 訳、論理学初歩、1973年、１３０頁）。
従って、
（19）（20）により、
（21）
① 象は鼻は長い≡∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）｝。
② 象は鼻が長い≡∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆～∃ｚ（～鼻ｚｘ＆長ｚ）｝。
③ 象の鼻が長い≡∀ｘ∃ｙ｛（象ｘ＆鼻ｙｘ）→長ｙ＆（～象ｘ＆鼻ｙｘ）→～長ｙ｝。
④ 鼻は象が長い≡∀ｙ∃ｘ｛（鼻ｙｘ＆象ｘ）→長ｙ＆（～象ｘ＆長ｙ）→～鼻ｙｘ｝。
といふ「述語論理式」には、「なんら確定的な規則があるわけでなく、それが書けるようになるには、量記号に十分に馴れるまで、練習を積むことが必要である。」
令和０２年０６月２４日、毛利太。
0 件のコメント:
コメントを投稿