―「一昨日（令和元年０９月１２日）の記事」を書き直します。―
― しばらく、「返り点」に関する「記事」を書いてゐません。「返り点と括弧」に関しては、
（α）「返り点」と「括弧」に付いて。 ：（https://kannbunn.blogspot.com/2017/12/blog-post_11.html）
（β）「返り点」と「括弧」の条件。 ：（https://kannbunn.blogspot.com/2017/12/blog-post_15.html）
（γ）「返り点」と「括弧」の条件（Ⅱ）：（https://kannbunn.blogspot.com/2017/12/blog-post_16.html）
（δ）「返り点」は、下には戻らない。 ：（https://kannbunn.blogspot.com/2017/12/blog-post_20.html）
（ε）「下中上点」等が必要な「理由」。：（https://kannbunn.blogspot.com/2017/12/blog-post_22.html）
（ζ）「返り点・モドキ」について。 ：（https://kannbunn.blogspot.com/2017/12/blog-post_24.html）⇒
Ｗｅｂ上には存在しますが、何故か、アクセス出来ません。
（η）「一二点・上下点」に付いて。 ：（https://kannbunn.blogspot.com/2017/12/blog-post_26.html）
（θ）「括弧」の「順番」。 ：（https://kannbunn.blogspot.com/2018/01/blog-post.html）
（ι）「返り点」と「括弧」の関係 ：（https://kannbunn.blogspot.com/2019/01/blog-post_21.html）
等々、「その他」を、お読み下さい。―
（01）
① 象は鼻は長く、象は鼻以外は長くない。然るに、
② 兎の耳は長く、兎の耳は鼻ではない。故に、
③ 兎は象ではない。
といふ「推論」は、「妥当」である。
然るに、
（02）
１ （１）象は鼻が長い。 Ａ
１ （〃）∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）｝ Ａ
２ （２）兎の耳は長く、兎の耳は鼻ではない。 Ａ
２ （〃）∀ｘ｛兎ｘ→∃ｙ（耳ｙｘ＆長ｙ）＆∀ｚ（耳ｚｘ→～鼻ｚｘ）｝ Ａ
３ （３）有る兎は象である。 Ａ
３ （〃）∃ｘ（兎ｘ＆象ｘ） Ａ
３ （〃）あるｘは兎であって象である。 Ａ
１ （４） 象ａ→∃ｙ（鼻ｙａ＆長ｙ）＆∀ｚ（～鼻ｚａ→～長ｚ） １ＵＥ
２ （５） 兎ａ→∃ｙ（耳ｙａ＆長ｙ）＆∀ｚ（耳ｚａ→～鼻ｚａ） １ＵＥ
６ （６） 兎ａ＆象ａ Ａ
６ （７） 兎ａ ６＆Ｅ
６ （８） 象ａ ６＆Ｅ
１ ６ （９） ∃ｙ（鼻ｙａ＆長ｙ）＆∀ｚ（～鼻ｚａ→～長ｚ） ４８ＭＰＰ
２ ６ （ア） ∃ｙ（耳ｙａ＆長ｙ）＆∀ｚ（耳ｚａ→～鼻ｚａ） ５７ＭＰＰ
１ ６ （イ） ∃ｙ（鼻ｙａ＆長ｙ） ９＆Ｅ
２ ６ （ウ） ∃ｙ（耳ｙａ＆長ｙ） ア＆Ｅ
エ （エ） 鼻ｂａ＆長ｂ Ａ
オ（オ） 耳ｂａ＆長ｂ Ａ
１ ６ （カ） ∀ｚ（～鼻ｚａ→～長ｚ） ９＆Ｅ
１ ６ （キ） ～鼻ｂａ→～長ｂ カＵＥ
２ ６ （ク） ∀ｚ（耳ｚａ→～鼻ｚａ） ア＆Ｅ
２ ６ （ケ） 耳ｂａ→～鼻ｂａ クＵＥ
オ （コ） 耳ｂａ オ＆Ｅ
２ ６オ （サ） ～鼻ｂａ ケコＭＰＰ
１２ ６オ （シ） ～長ｂ キサＭＰＰ
オ （ス） 長ｂ オ＆Ｅ
１２ ６オ （セ） 長ｂ＆～長ｂ シス＆Ｉ
１２ ６ （ソ） 長ｂ＆～長ｂ ウオセＥＥ
１２３ （タ） 長ｂ＆～長ｂ ３６ソＥＥ
１２ （チ）～∃ｘ（兎ｘ＆象ｘ） ３タＲＡＡ
１２ （ツ）∀ｘ～（兎ｘ＆象ｘ） チ量化子の関係
１２ （テ） ～（兎ａ＆象ａ） ツＵＥ
１２ （ト） ～兎ａ∨～象ａ テ、ド・モルガンの法則
１２ （ナ） 兎ａ→～象ａ ト含意の定義
１２ （ニ）∀ｘ（兎ｘ→～象ｘ） ナＵＩ
１２ （〃）すべてのｘについて、ｘが兎であるならば、ｘは象ではない。 ナＵＩ
１２ （〃）兎は象ではない。 ナＵＩ
従って、
（02）により、
（03）
① ∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）｝然るに、
② ∀ｘ｛兎ｘ→∃ｙ（耳ｙｘ＆長ｙ）＆∀ｚ（耳ｚｘ→～鼻ｚｘ）｝故に、
③ ～∃ｘ（兎ｘ＆象ｘ）＝兎は象ではない。
といふ「推論」は、「妥当」である。
（04）
１ （１）象は鼻が長い。 Ａ
１ （〃）∀ｘ∀ｙ｛（象ｘ＆鼻ｙｘ）→長ｙ＆（象ｘ＆～鼻ｙｘ）→～長ｙ）｝ Ａ
２ （２）兎の耳は長いが、兎の耳は鼻ではない。 Ａ
２ （〃）∀ｘ｛兎ｘ→∃ｙ（耳ｙｘ＆長ｙ）＆∀ｚ（耳ｚｘ→～鼻ｚｘ）｝ Ａ
３ （３）ある兎は象である。 Ａ
３ （〃）∃ｘ（兎ｘ＆象ｘ） Ａ
３ （〃）あるｘは兎であって象である。 Ａ
１ （４） ∀ｙ｛（象ａ＆鼻ｙａ）→長ｙ＆（象ａ＆～鼻ｙａ）→～長ｙ）｝ １ＵＥ
１ （５） （象ａ＆鼻ｂａ）→長ｂ＆（象ａ＆～鼻ｂａ）→～長ｂ １ＵＥ
１ （６） （象ａ＆鼻ｂａ）→長ｂ ５＆Ｅ
１ （７） （象ａ＆～鼻ｂａ）→～長ｂ ５＆Ｅ
２ （８） 兎ａ→∃ｙ（耳ｙａ＆長ｙ）＆∀ｚ（耳ｚａ→～鼻ｚａ） ２ＵＥ
９ （９） 兎ａ＆象ａ Ａ
９ （ア） 兎ａ ９＆Ｅ
９ （イ） 象ａ ９＆Ｅ
２ ９ （ウ） ∃ｙ（耳ｙａ＆長ｙ） ８アＭＰＰ
エ（エ） 耳ｂａ＆長ｂ Ａ
エ（オ） 耳ｂａ エ＆Ｅ
エ（カ） 長ｂ エ＆Ｅ
２ （キ） ∀ｚ（耳ｚａ→～鼻ｚａ） ８＆Ｅ
２ （ク） 耳ｂａ→～鼻ｂａ キＵＥ
２ エ（ケ） ～鼻ｂａ オクＭＰＰ
２ ９エ（コ） 象ａ＆～鼻ｂａ イケ＆Ｉ
１２ ９エ（サ） ～長ｂ ７コＭＰＰ
１２ ９エ（シ） 長ｂ＆～長ｂ カサ＆Ｉ
１２ ９ （ス） 長ｂ＆～長ｂ ウエシＥＥ
１２３ （セ） 長ｂ＆～長ｂ ３９スＥＥ
１２ （ソ）～∃ｘ（兎ｘ＆象ｘ） ３セＲＡＡ
１２ （タ）∀ｘ～（兎ｘ＆象ｘ） ソ量化子の関係
１２ （チ） ～（兎ａ＆象ａ） タＵＥ
１２ （ツ） ～兎ａ∨～象ａ チ、ド・モルガンの法則
１２ （テ） 兎ａ→～象ａ ツ含意の定義
１２ （ト）∀ｘ（兎ｘ→～象ｘ） テＵＩ
１２ （〃）すべてのｘについて、ｘが兎であるならば、ｘは象ではない。 テＵＩ
１２ （〃）兎は象ではない。 テＵＩ
従って、
（04）により、
（05）
① ∀ｘ∀ｙ｛（象ｘ＆鼻ｙｘ）→長ｙ＆（象ｘ＆～鼻ｙｘ）→～長ｙ）｝然るに、
② ∀ｘ｛兎ｘ→∃ｙ（耳ｙｘ＆長ｙ）＆∀ｚ（耳ｚｘ→～鼻ｚｘ）｝故に、
③ ～∃ｘ（兎ｘ＆象ｘ）＝兎は象ではない。
従って、
（01）～（05）により、
（06）
① 象は鼻が長い。
② 象は鼻が長い。
といふ場合が、さうであるように、
① ＡはＢがＣである＝ＡはＢはＣであり、Ｂ以外はＣでない。
② ＡはＢがＣである＝ＡはＢはＣであり、Ｂ以外はＣでない。
といふ「日本語」は、少なくとも、
① ∀ｘ｛Ａｘ→∃ｙ（Ｂｙｘ＆Ｃｙ）＆∀ｚ（～Ｂｚｘ→～Ｃｚ）｝
② ∀ｘ∀ｙ｛（Ａｘ＆Ｂｙｘ）→Ｃｙ＆（Ａｘ＆～Ｂｙｘ）→～Ｃｙ）｝
といふ、「２通りの、論理式」に、対応する。
然るに、
（07）
② ∀ｘ∀ｙ｛（象ｘ＆鼻ｙｘ）→長ｙ＆（象ｘ＆～鼻ｙｘ）→～長ｙ）｝⇔
② すべてのｘとｙについて、ｘが象であって、ｙがｘの鼻であるならば、ｙは長く、ｘが象であって、ｙがｘの鼻でないならば、ｙは長くない。
ではなく、
① ∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）｝⇔
① すべてのｘについて、ｘが象であるならば、あるｙはｘの鼻であって、ｙは長く、すべてのｚについて、ｚがｘの鼻でないならば、ｚは長くない。
に於ける、
① すべてのｘについて、ｘが象であるならば、
といふことは、
① これから象についてのことを述べますよ、
といふ、ことである。
然るに、
（08）
「象は」は、テーマを提示する主題であり、これから象についてのことを述べますよというメンタルスペースのセットアップであり、そのメンタルスペースのスコープを形成する働きをもつと主張する（この場合は「長い」までをスコープとする）。
（三上文法！ : wrong, rogue and log）
従って、
（06）（07）（08）により、
（09）
① 象は鼻が長い。
といふ「日本語」は、
② ∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）｝
③ ∀ｘ∀ｙ｛（象ｘ＆鼻ｙｘ）→長ｙ＆（象ｘ＆～鼻ｙｘ）→～長ｙ）｝
といふ、「２通りの論理式」に、対応するものの、
① 象は鼻が長い。
といふ「日本語」に、「より近い」のは、
③ ではなく、
② である。
といふ、ことになる。
令和元年０９月１３日、毛利太。
0 件のコメント:
コメントを投稿