― しばらく、「返り点」に関する「記事」を書いてゐません。「返り点と括弧」に関しては、
（α）「返り点」と「括弧」に付いて。 ：（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）
１ （１）∀ｘ｛Ｓ社の社員ｘ→∃ｙ［私ｙ＆社長ｙｘ＆∀ｚ（社長ｚｘ→ｙ＝ｚ）］｝ Ａ
１ （２） Ｓ社の社員ａ→∃ｙ［私ｙ＆社長ｙａ＆∀ｚ（社長ｚａ→ｙ＝ｚ）］ １ＵＥ
３ （３） Ｓ社の社員ａ Ａ
１３ （４） ∃ｙ［私ｙ＆社長ｙａ＆∀ｚ（社長ｚａ→ｙ＝ｚ）］ ２３ＭＰＰ
５ （５） 私ｂ＆社長ｂａ＆∀ｚ（社長ｚａ→ｂ＝ｚ） Ａ
５ （６） 私ｂ＆社長ｂａ ５＆Ｅ
５ （７） 私ｂ ５＆Ｅ
５ （８） 社長ｂａ ５＆Ｅ
５ （９） ∀ｚ（社長ｚａ→ｂ＝ｚ） ５＆Ｅ
５ （ア） 社長ｃａ→ｂ＝ｃ ９ＵＥ
イ （イ） ∃ｚ（浜崎ｚ＆～私ｚ） Ａ
ウ （ウ） 浜崎ｃ＆～私ｃ Ａ
ウ （エ） 浜崎ｃ ウ＆Ｅ
ウ （オ） ～私ｃ ウ＆Ｅ
カ（カ） ｂ＝ｃ Ａ
ウカ（キ） ～私ｂ オカ＝Ｅ
５ ウカ（ク） ～私ｂ＆私ｂ ７キ＆Ｉ
５ ウ （ケ） ｂ≠ｃ カクＲＡＡ
５ ウ （コ） ～社長ｃａ アケＭＴＴ
５ ウ （サ） 浜崎ｃ＆～社長ｃａ エコ＆Ｉ
５ ウ （シ） ∃ｚ（浜崎ｚ＆～社長ｚａ） サＥＩ
５イ （ス） ∃ｚ（浜崎ｚ＆～社長ｚａ） イウシＥＥ
１３ イ （セ） ∃ｚ（浜崎ｚ＆～社長ｚａ） ４５スＥＥ
１ イ （ソ） Ｓ社の社員ａ→∃ｚ（浜崎ｚ＆～社長ｚａ） ３セＣＰ
１ イ （タ）∀ｘ｛Ｓ社の社員ｘ→∃ｚ（浜崎ｚ＆～社長ｚｘ）｝ ソＵＩ
従って、
（01）により、
（02）
（１）すべてのｘについて、ｘが鈴木建設の社員であるならば、あるｙは私であって、ｙはｘの社長であって、すべてのｚについて、ｚがｘの社長であるならば、ｙはｚと「同一」である。 然るに、
（イ）あるｚは浜崎であって、ｚは私ではない。 従って、
（タ）すべてのｘについて、ｘが鈴木建設の社員であるならば、あるｚは浜崎であって、ｚはｘの社長ではない。
といふ「推論」は、「妥当」である。
従って、
（02）により、
（03）
（１）鈴木建設は私が社長です。 然るに、
（イ）浜崎は私ではない。 従って、
（タ）鈴木建設であるならば、浜崎は社長ではない。
といふ「推論」は、「妥当」である。
然るに、
（04）
① すべてのｚはＦである。
② Ｆでないｚは存在しない。
に於いて、
①＝② である。
然るに、
（05）
② Ｆでないｚは存在しない。の「否定」は、
② Ｆでないｚが存在する。 の「肯定」である。
従って、
（04）（05）により、
（06）
① すべてのｚはＦである。 の「否定」は、
② Ｆでないｚが存在する。 の「肯定」である。
従って、
（06）により、
（07）
① ～∀ｚＦｚ＝すべてのｚがＦである。といふことはない。
② ∃ｚ～Ｆｚ＝Ｆでないｚが存在する。
に於いて、
①＝② であるものの、このことを、「量化子の関係」といふ。
然るに、
（08）
（ⅰ）
１ （１）～∀ｚ（社長ｚｘ→ｙ＝ｚ） Ａ
１ （２）∃ｚ～（社長ｚｘ→ｙ＝ｚ） １量化子の関係
３（３） ～（社長ｃｘ→ｙ＝ｃ） Ａ
３（４） ～（～社長ｃｘ∨ｙ＝ｃ） ３含意の定義
３（５） ～～社長ｃｘ＆ｙ≠ｃ ４ド・モルガンの法則
３（６） 社長ｃｘ＆ｙ≠ｃ ５ＤＮ
３（７） ∃ｚ（社長ｚｘ＆ｙ≠ｚ） ６ＥＩ
１ （８） ∃ｚ（社長ｚｘ＆ｙ≠ｚ） ２３７ＥＥ
（ⅱ）
１ （１） ∃ｚ（社長ｚｘ＆ｙ≠ｚ） Ａ
２（２） 社長ｃｘ＆ｙ≠ｃ Ａ
２（３） ～（～社長ｃｘ∨ｙ＝ｃ） ２ド・モルガンの法則
２（４） ～（社長ｃｘ→ｙ＝ｃ） ３含意の定義
２（５）∃ｚ～（社長ｚｘ→ｙ＝ｚ） ４ＥＩ
１ （６）∃ｚ～（社長ｚｘ→ｙ＝ｚ） １２５ＥＥ
１ （７）～∀ｚ（社長ｚｘ→ｙ＝ｚ） ６量化子の関係
従って、
（07）（08）により、
（09）
「量化子の関係」により、
① ～∀ｚ（社長ｚｘ→ｙ＝ｚ）≡すべてのｚについて、ｚがｘの社長であるならば、ｙはｚと「同一」である。といふわけではない。
② ∃ｚ（社長ｚｘ＆ｙ≠ｚ）≡ あるｚは、ｘの社長であって、 ｙとｚは「同一」ではない。
に於いて、
①＝② である。
然るに、
（10）
１ （１）∀ｘ｛Ｓ社の社員ｘ→∃ｙ［私ｙ＆社長ｙｘ＆ ∀ｚ（社長ｚｘ→ｙ＝ｚ）］｝ Ａ
ではなく、
１ （１）∀ｘ｛Ｓ社の社員ｘ→∃ｙ［私ｙ＆社長ｙｘ＆～∀ｚ（社長ｚｘ→ｙ＝ｚ）］｝ Ａ
であるならば、
１ （１）∀ｘ｛Ｓ社の社員ｘ→∃ｙ［私ｙ＆社長ｙｘ＆～∀ｚ（社長ｚｘ→ｙ＝ｚ）］｝ Ａ
１ （２） Ｓ社の社員ａ→∃ｙ［私ｙ＆社長ｙａ＆～∀ｚ（社長ｚａ→ｙ＝ｚ）］ １ＵＥ
３ （３） Ｓ社の社員ａ Ａ
１３ （４） ∃ｙ［私ｙ＆社長ｙａ＆～∀ｚ（社長ｚａ→ｙ＝ｚ）］ ２３ＭＰＰ
５ （５） 私ｂ＆社長ｂａ＆～∀ｚ（社長ｚａ→ｂ＝ｚ） Ａ
５ （６） 私ｂ＆社長ｂａ ５＆Ｅ
５ （７） 私ｂ ５＆Ｅ
５ （８） 社長ｂａ ５＆Ｅ
５ （９） ～∀ｚ（社長ｚａ→ｂ＝ｚ） ５＆Ｅ
５ （ア） ∃ｚ～（社長ｚａ→ｂ＝ｚ） ９量化子の関係
イ （イ） ～（社長ｃａ→ｂ＝ｃ） Ａ
イ （ウ） ～（～社長ｃａ∨ｂ＝ｃ） イ含意の定義
イ （エ） ～～社長ｃａ＆ｂ≠ｃ ウ、ド・モルガンの法則
イ （オ） 社長ｃａ＆ｂ≠ｃ エＤＮ
イ （カ） 社長ｃａ オ＆Ｅ
キ （キ） ∃ｚ（浜崎ｚ＆～私ｚ） Ａ
ク（ク） 浜崎ｃ＆～私ｃ Ａ
ク（ケ） 浜崎ｃ キ＆Ｅ
イ ク（コ） 浜崎ｃ＆社長ｃａ カケ＆Ｉ
イ ク（サ） ∃ｚ（浜崎ｚ＆社長ｚａ） コＥＩ であるものの、
イ ク（〃） ∃ｚ（浜崎ｚ＆社長ｚａ） コＥＩ の場合は、（イ）にも（ク）にも、「ｃ」があるため、
イキ （シ） ∃ｚ（浜崎ｚ＆社長ｚａ） キクサＥＥ は、「反則」であって、そのため、ここ迄で、「終了」である。
従って、
（02）（09）（10）により、
（11）
（１）すべてのｘについて、ｘが鈴木建設の社員であるならば、あるｙは私であって、ｙはｘの社長であって、すべてのｚについて、ｚがｘの社長であるならば、ｙはｚと「同一」である。 然るに、
（イ）あるｚは浜崎であって、ｚは私ではない。 従って、
（タ）すべてのｘについて、ｘが鈴木建設の社員であるならば、あるｚは浜崎であって、ｚはｘの社長ではない。
といふ「推論」は、「妥当」であるが、
（１）すべてのｘについて、ｘが鈴木建設の社員であるならば、あるｙは私であって、ｙはｘの社長であって、すべてのｚについて、ｚがｘの社長であるならば、ｙはｚと「同一」である、といふことはない。 然るに、
（キ）あるｚは浜崎であって、ｚは私ではない。 従って、
（ソ）すべてのｘについて、ｘが鈴木建設の社員であるならば、あるｚは浜崎であって、ｚはｘの社長ではない。
といふ「推論」は、「妥当」ではない。
従って、
（03）（10）（11）により、
（12）
１ （１）∀ｘ｛Ｓ社の社員ｘ→∃ｙ［私ｙ＆社長ｙｘ＆ ∀ｚ（社長ｚｘ→ｙ＝ｚ）］｝ Ａ
ではなく、
１ （１）∀ｘ｛Ｓ社の社員ｘ→∃ｙ［私ｙ＆社長ｙｘ＆～∀ｚ（社長ｚｘ→ｙ＝ｚ）］｝ Ａ
であるならば、
（１）鈴木建設は私が社長です。 然るに、
（イ）浜崎は私ではない。 従って、
（タ）鈴木建設であるならば、浜崎は社長ではない。
といふ「推論」は、「妥当」ではない。
然るに、
（13）
① ～∀ｚ（社長ｚｘ→ｙ＝ｚ）≡すべてのｚについて、ｚがｘの社長であるならば、ｙはｚと「同一」である。といふわけではない。
② ∃ｚ（社長ｚｘ＆ｙ≠ｚ）≡ あるｚは、ｘの社長であって、 ｙとｚは「同一」ではない。
といふことは、
② すべてのｘについて、ｘが鈴木建設の社員であるならば、社長は、少なくとも、ｙとｚの、「二人」がゐる。
といふことに、他ならない。
従って、
（12）（13）により、
（14）
（１）鈴木建設は私が社長です。 然るに、
（イ）浜崎は私ではない。 従って、
（タ）鈴木建設であるならば、浜崎は社長ではない。
といふ「推論」は、「妥当」である。
といふのであれば、
（１）鈴木建設は私が社長です。
と言へば、それだけで、
（１）鈴木建設には、「社長は一人しかゐない。」
といふ風に、言ってゐる、ことになる。
然るに、
（15）
（１）鈴木建設は私が社長です。
といふ「言ひ方」は、「普通」であるが、
（２）鈴木建設は私は社長です。
といふ「言ひ方」は、「普通」は、しない。
従って、
（14）（15）により、
（16）
① 鈴木建設は私が社長です。⇔
① 鈴木建設の社長は私であり、私以外は社長ではない。⇔
① ∀ｘ｛Ｓ社の社員ｘ→∃ｙ［私ｙ＆社長ｙｘ＆∀ｚ（社長ｚｘ→ｙ＝ｚ）］｝⇔
① すべてのｘについて、ｘが鈴木建設の社員であるならば、あるｙは私であって、ｙはｘの社長であって、すべてのｚについて、ｚがｘの社長であるならば、ｙはｚと「同一」である。
といふ「等式」が、成立する。
従って、
（16）により、
（17）
② タゴール記念会は私が理事長です。⇔
② タゴール記念会の理事長は私であり、私以外は理事長ではない。⇔
② ∀ｘ｛Ｔ記念会員ｘ→∃ｙ［私ｙ＆理事長ｙｘ＆∀ｚ（理事長ｚｘ→ｙ＝ｚ）］｝⇔
② すべてのｘについて、ｘがタゴール記念会の社員であるならば、あるｙは私であって、ｙはｘの理事長であって、すべてのｚについて、ｚがｘの理事長であるならば、ｙはｚと「同一」である。
といふ「等式」が、成立する。
従って、
（01）～（17）により、
（18）
（１）タゴール記念会は私が理事長です。 然るに、
（イ）浜崎は私ではない。 従って、
（タ）タゴール記念会であるならば、浜崎は理事長ではない。
といふ「推論」は、「妥当」であるとされるのであれば、三上章先生は、
「タゴール記念会は私が理事長です。」といふ「日本語」の、
∀ｘ｛Ｔ記念会員ｘ→∃ｙ［私ｙ＆理事長ｙｘ＆∀ｚ（理事長ｚｘ→ｙ＝ｚ）］｝。
といふ「論理構造」を、「否定」することは、出来ないし、「無視」することも、出来ない。
然るに、
（19）
よく知られているように、「私が理事長です」は語順を変え、
理事長は、私です。
と直して初めて主辞賓辞が適用されのである。また、かりに大倉氏が、
タゴール記念会は、私が理事です。
と言ったとすれば、これは主辞「タゴール記念館」を品評するという心持ちの文である。
（三上章、日本語の論理、1963年、４０・４１頁）
然るに、
（20）
② タゴール記念会は私が理事長です。⇔
② ∀ｘ｛Ｔ記念会員ｘ→∃ｙ［私ｙ＆理事長ｙｘ＆∀ｚ（理事長ｚｘ→ｙ＝ｚ）］｝。
といふ「論理構造」と、
タゴール記念会は、私が理事です。
と言ったとすれば、これは主辞「タゴール記念館」を品評するという心持ちの文である。
といふこととは、「無関係」である。
従って、
（19）（20）により、
（21）
「三上章、日本語の論理、1963年」を書いた、三上章先生は、
② タゴール記念会は私が理事長です。
といふ「日本語」の、
② ∀ｘ｛Ｔ記念会員ｘ→∃ｙ［私ｙ＆理事長ｙｘ＆∀ｚ（理事長ｚｘ→ｙ＝ｚ）］｝。
といふ「論理構造」を、理解してゐたとは、言へない。
令和元年１０月０２日、毛利太。
0 件のコメント:
コメントを投稿