となっている所の、『公開コメントを入力』を試みたのですが、何回やっても、うまく行きませんでした。
そのため、
（02）
「デジタルライフサポートプレミアム（マイクロトレンド）」に電話（４０分間）をかけて、「遠隔操作」にて、「公開コメントを入力」が「出来ない原因」を、明らかにしようと試みたものの、『不成功』に終わっています。
（03）
万が一、「このブログ」が、「ゆる言語ラジオさん」の目に止まり、その上、「コメント」が頂けるのであれば、幸いに思います。
（04）
よく知られているように、「私が理事長です」は語順を変え、
理事長は、私です。
と直して初めて主辞賓辞が適用されのである。また、かりに大倉氏が、
タゴール記念会は、私が理事長です。
と言ったとすれば、これは主辞「タゴール記念会」を品評するという心持ちの文である。
（三上章、日本語の論理、1963年、４０・４１頁）
従って、
（04）により、
（05）
① 私が理事長です。
② 理事長は私です。
に於いて、
①＝② である。
然るに、
（06）
（ⅱ）
１ （１）理事長であるならば、私である。 仮定
２ （２） 私でない。 仮定
３（３）理事長である。 仮定
１ ３（４） 私である。 １３肯定肯定式
１２３（５）私でないが、 私である。 ２４連言導入
１２ （６）理事長でない。 ３５背理法
１ （７）私でないならば、理事長ではない。 ２６条件法
（ⅲ）
１ （１）私でないならば、理事長でない。 仮定
２ （２） 理事長である。 仮定
３（３）私でない。 仮定
１ ３（４） 理事長でない。 １３肯定肯定式
１２３（５）理事長であるが理事長でない。 ２４連言導入
１２ （６）私でない、でない。 ３５背理法
１２ （７）私である。 ６二重否定
１ （８）理事長であるならば、私である。 ２７条件法
従って、
（06）により、
（07）
② 理事長であるならば、私である。
③ 私でないならば、理事長ではない。
に於いて、
②＝③ は、「対偶（Contraposition）」である。
従って、
（07）により、
（08）
② 理事長は、私です。
③ 私以外は、理事長ではない。
に於いて、
②＝③ は、「対偶（Contraposition）」である。
従って、
（05）（08）により、
（09）
① 私が理事長です。
② 理事長は私です。
③ 私以外は、理事長ではない。
に於いて、
①＝②＝③ である。
従って、
（09）により、
（10）
① 鼻が長い。
② 長いのは鼻である。
③ 鼻以外は長くない。
に於いて、
①＝②＝③ である。
従って、
（01）～（10）により、
（11）
① 鼻が長い。
② 長いのは鼻である。
③ 鼻以外は長くない。
に於いて、
①＝②＝③ である。
といふことに、関しては、三上章先生も、認めざるを得ない。
従って、
（11）により、
（12）
① 象は鼻が長い。
② 象は鼻は長く、鼻以外は長くない。
に於いて、
①＝② である。
といふことに、関しては、三上章先生も、認めざるを得ない。
然るに、
（13）
１ （１）∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）｝ Ａ
２ （２）∀ｘ｛兎ｘ→∃ｙ（長ｙ＆耳ｙｘ）＆∀ｚ（耳ｚｘ→～鼻ｚｘ）｝ Ａ
３ （３）∃ｘ（兎ｘ＆象ｘ） Ａ
１ （４） 象ａ→∃ｙ（鼻ｙａ＆長ｙ）＆∀ｚ（～鼻ｚａ→～長ｚ） １ＵＥ
２ （５） 兎ａ→∃ｙ（長ｙ＆耳ｙａ）＆∀ｚ（耳ｚａ→～鼻ｚａ） ２ＵＥ
６ （６） 兎ａ＆象ａ Ａ
６ （７） 象ａ ６＆Ｅ
６ （８） 兎ａ ６＆Ｅ
１ ６ （９） ∃ｙ（鼻ｙａ＆長ｙ）＆∀ｚ（～鼻ｚａ→～長ｚ） ４８ＭＰＰ
２ ６ （ア） ∃ｙ（長ｙ＆耳ｙａ）＆∀ｚ（耳ｚａ→～鼻ｚａ） ５７ＭＰＰ
１ ６ （イ） ∃ｙ（鼻ｙａ＆長ｙ） ９＆Ｅ
ウ （ウ） 鼻ｂａ＆長ｂ Ａ
２ ６ （エ） ∃ｙ（長ｙ＆耳ｙａ） ア＆Ｅ
オ（オ） 長ｂ＆耳ｂａ Ａ
オ（カ） 耳ｂａ オ＆Ｅ
２ ６ （キ） ∀ｚ（耳ｚａ→～鼻ｚａ） ア＆Ｅ
２ ６ （ク） 耳ｂａ→～鼻ｂａ キＵＥ
２ ６ オ（ケ） ～鼻ｂａ カクＭＰＰ
１ ６ （コ） ∀ｚ（～鼻ｚａ→～長ｚ） ア＆Ｅ
１ ６ （サ） ～鼻ｂａ→～長ｂ コＵＥ
１２ ６ オ（シ） ～長ｂ ケサＭＰＰ
オ（ス） 長ｂ オ＆Ｅ
１２ ６ オ（セ） 長ｂ＆～長ｂ シス＆Ｉ
１２ ６ （ソ） 長ｂ＆～長ｂ エオセＥＥ
１２３ （タ） 長ｂ＆～長ｂ ３６ソＥＥ
１２ （チ）～∃ｘ（兎ｘ＆象ｘ） ３タＲＡＡ
１２ （ツ）∀ｘ～（兎ｘ＆象ｘ） チ量化子の関係
１２ （テ） ～（兎ａ＆象ａ） ツＵＥ
１２ （ト） ～兎ａ∨～象ａ テ、ド・モルガンの法則
１２ （ナ） 兎ａ→～象ａ ト含意の定義
１２ （ニ）∀ｘ（兎ｘ→～象ｘ） ナＵＩ
従って、
（13）により、
（14）
（ⅰ）∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）｝。然るに、
（ⅱ）∀ｘ｛兎ｘ→∃ｙ（長ｙ＆耳ｙｘ）＆∀ｚ（耳ｚｘ→～鼻ｚｘ）｝。従って、
（ⅲ）∀ｘ（兎ｘ→～象ｘ）。
といふ「推論（三段論法）」、すなはち、
（ⅰ）すべてのｘについて｛ｘが象であるならば、あるｙはｘの鼻であって、長く、すべてのｚについて、ｚがｘの鼻でないならば、ｚは長くない｝。 然るに、
（ⅱ）すべてのｘについて｛ｘが兎であるならば、あるｙは長くて、ｘの耳であり、すべてのｚについて、ｚがｘの耳であるならば、ｚはｘの鼻ではない｝。従って、
（ⅲ）すべてのｘについて（ｘが兎であるならば、ｘは象ではない。）
といふ「推論（三段論法）」は、「妥当」である。
従って、
（14）により、
（15）
（ⅰ）象は鼻が長い。然るに
（ⅱ）兎の耳は長いが、耳は鼻ではない。従って、
（ⅲ）兎は象ではない。
といふ「推論（三段論法）」は、「妥当」である。
従って、
（13）（14）（15）により、
（16）
三上章先生が、
（ⅰ）象は鼻が長い。然るに、
（ⅱ）兎の耳は長いが、耳は鼻ではない。従って、
（ⅲ）兎は象ではない。
といふ「推論（三段論法）」を、「妥当」であるとするのであれば、
三上章先生は、
（ⅰ）∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）｝。然るに、
（ⅱ）∀ｘ｛兎ｘ→∃ｙ（長ｙ＆耳ｙｘ）＆∀ｚ（耳ｚｘ→～鼻ｚｘ）｝。従って、
（ⅲ）∀ｘ（兎ｘ→～象ｘ）。
といふ「推論（三段論法）」も、「妥当」であると、せざるを得ない。
然るに、
（17）
（ⅰ）象は鼻が長い。然るに、
（ⅱ）兎の耳は長いが、耳は鼻ではない。従って、
（ⅲ）兎は象ではない。
といふ「推論（三段論法）」は、明らかに、「妥当」である。
従って、
（12）（16）（17）により、
（18）
三上章先生は、
① 象は鼻が長い。
② 象は鼻は長く、鼻以外は長くない。
③ ∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）｝。
に於いて、
①＝②＝③ である。
といふことを、認めざるを得ない。
然るに、
（19）
三上章先生は、「山崎紀美子、日本語基礎講座、三上文法入門、2003年」等を読む限り、
① 象は鼻が長い。
② 象は鼻は長く、鼻以外は長くない。
③ ∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）｝。
に於いて、
①＝②＝③ である。
といふ、『最も基本的な事実』に、気付いてゐない。
然るに、
（20）
１ （１） ∃ｘ｛吾輩ｘ＆猫ｘ＆～∃ｙ（名前ｙｘ）｝ Ａ
２ （２） ∃ｘ｛タマｘ＆ ∃ｙ（名前ｙｘ）｝ Ａ
３ （３） 吾輩ａ＆猫ａ＆～∃ｙ（名前ｙａ） Ａ
４（４） タマａ＆ ∃ｙ（名前ｙａ） Ａ
３ （５） ～∃ｙ（名前ｙａ） ３＆Ｅ
４（６） ∃ｙ（名前ｙａ） ４＆Ｅ
３４（７） ～∃ｙ（名前ｙａ）＆∃ｙ（名前ｙａ） ５６＆Ｉ
２３ （８） ～∃ｙ（名前ｙａ）＆∃ｙ（名前ｙａ） ２４７ＥＥ
１２ （９） ～∃ｙ（名前ｙａ）＆∃ｙ（名前ｙａ） １３８ＥＥ
１ （ア） ～∃ｘ｛タマｘ＆ ∃ｙ（名前ｙｘ）｝ ２９ＲＡＡ
１ （イ） ∀ｘ～｛タマｘ＆ ∃ｙ（名前ｙｘ）｝ ア量化子の関係
１ （ウ） ～｛タマａ＆ ∃ｙ（名前ｙａ） イＵＥ
１ （エ） ～タマａ∨ ～∃ｙ（名前ｙａ） ウ、ド・モルガンの法則
１ （オ） ～∃ｙ（名前ｙａ）∨～タマａ エ交換法則
１ （カ） ∃ｙ（名前ｙａ）→～タマａ オ含意の定義
１ ４（キ） ～タマａ ６カＭＰＰ
１２ （ク） ～タマａ ２４キＥＥ
３ （ケ） 吾輩ａ＆猫ａ ３＆Ｅ
１２３ （コ） 吾輩ａ＆猫ａ＆～タマａ クケ＆Ｉ
１２３ （サ） ∃ｘ（吾輩ｘ＆猫ｘ＆～タマｘ） コＥＩ
１２ （シ） ∃ｘ（吾輩ｘ＆猫ｘ＆～タマｘ） １３サＥＥ
１２ （〃）あるｘは（吾輩であって猫であるが、タマではない）。 １３サＥＥ
従って、
（20）により、
（21）
（ⅰ）∃ｘ｛吾輩ｘ＆猫ｘ＆～∃ｙ（名前ｙｘ）｝。然るに、
（ⅱ）∃ｘ｛タマｘ＆ ∃ｙ（名前ｙｘ）｝。従って、
（ⅲ）∃ｘ（吾輩ｘ＆猫ｘ＆～タマｘ）。
といふ「推論（三段論法）」、すなはち、
（ⅰ）あるｘは（吾輩であって、猫であるが、あるｙが、ｘの名前であることはない）。然るに、
（ⅱ）あるｘは（タマであって、 あるｙは、ｘの名前である）。従って、
（ⅲ）あるｘは（吾輩であって、猫であるが、タマではない）。
といふ「推論（三段論法）」は、「妥当」である。
従って、
（21）により、
（22）
（ⅰ）吾輩は猫であるが、名前は無い。然るに、
（ⅱ）タマには名前がある。従って、
（ⅲ）吾輩は猫であるが、タマではない。
といふ「推論（三段論法）」は、「妥当」である。
従って、
（20）（21）（22）により、
（23）
① ∃ｘ｛吾輩ｘ＆猫ｘ＆～∃ｙ（名前ｙｘ）｝。
② 吾輩は｛猫である。名前は（無い）｝。
に於いて、
①＝② である。
従って、
（23）により、
（24）
① ∃ｘ｛吾輩ｘ＆猫ｘ＆～∃ｙ（名前ｙｘ）＆∃ｚ（家ｚｘ）｝。
② 吾輩は｛猫である。（名前は）無い。しかし、（家は）有る｝。
に於いて、
①＝② である。
然るに、
（07）（08）（09）により、
（25）
① 私が猫です。
② 私ならば猫であり、猫ならば私です。
③ 私は猫であり、私以外は、猫ではない。
に於いて、
①＝②＝③ である。
（24）（25）により、
（26）
③ ∀ｘ｛吾輩ｘ⇔猫ｘ＆～∃ｙ（名前ｙｘ）＆∃ｚ（家ｚｘ）｝。
④ 吾輩が｛猫であるが、（名前は）無い。しかし、（家は）有る｝。
に於いて、
③＝④ である。
従って、
（24）（25）（26）により、
（27）
① ∃ｘ｛吾輩ｘ＆猫ｘ＆～∃ｙ（名前ｙｘ）＆∃ｚ（家ｚｘ）｝。
③ ∀ｘ｛吾輩ｘ⇔猫ｘ＆～∃ｙ（名前ｙｘ）＆∃ｚ（家ｚｘ）｝。
に於いて、
①＝③ ではないが故に、
② 吾輩は｛猫である。（名前は）無い。しかし、（家は）有る｝。
④ 吾輩が｛猫である。（名前は）無い。しかし、（家は）有る｝。
に於いて、
②＝④ ではない。
然るに、
（28）
（ⅰ）論理式または命題関数において、量記号が現れる任意の箇所の作用範囲は、問題になっている変数が現れる「少なくとも２つの箇所」を含むであろう（その１つの箇所は量記号そのもののなかにある）；
（〃）the scope of any occurrence of a quantifier in a wff or propositional function will contain at least two occerrences of the variable in question（one occerrence being in the quantifier itself）；
（論理学初歩、E.J.レモン、竹尾 治一郎・浅野 楢英 訳、1973年、１８３頁）
（29）
括弧は、論理演算子のスコープ（scope）を明示する働きを持つ。スコープは、論理演算子の働きが及ぶ範囲のことをいう。
（産業図書、数理言語学辞典、2013年、四七頁：命題論理、今仁生美）
従って、
（27）（28）（29）により、
（30）
② 吾輩は｛猫である。（名前は）無い。しかし、（家は）有る｝。
④ 吾輩が｛猫である。（名前は）無い。しかし、（家は）有る｝。
に於いて、従って、
② 吾輩は猫である。名前は無い。しかし、家は有る｝。
④ 吾輩が猫である。名前は無い。しかし、家は有る｝。
に於いて、「スコープ（scope）」に関して、
②＝④ である。
従って、
（30）により、
（31）
― 要約すると、―
堀本：「主題」を表す 「は」のスコープは、プログラミングにおける、「グロバール変数的」である。
水野：「主題」を表さない「が」のスコープは、プログラミングにおける、 「ローカル変数的」である。
といふことには、ならない。
（32）
水野：『吾輩は猫である。』は、「４文目」くらいまで、「吾輩」が「主題」だけと、そこまでのことが頻繁に起きるわけではない。
堀本：そうですね。でも、「言語設計的」にそうなっているのが、問題なんです。
水野：プログラミン言語は、言語じゃないからね。
堀本：ああ、それも難しい議論ですね。プログラミン言語は、言語じゃない。
水野：あれは、数式ですよね。
然るに、
（33）
より一般的に受け入られている狭い意味での論理プログラミングは、述語論理式を非決定的なプログラミング言語とみなすもので、述語論理式は宣言的であると同時に手続き的にも解釈される（ウィキペディア）。
従って、
（27）（32）（33）により、
（34）
水野：プログラミン言語は、言語じゃないからね。
とは言ふものの、
① ∃ｘ｛吾輩ｘ＆猫ｘ＆～∃ｙ（名前ｙｘ）＆∃ｚ（家ｚｘ）｝。
③ ∀ｘ｛吾輩ｘ⇔猫ｘ＆～∃ｙ（名前ｙｘ）＆∃ｚ（家ｚｘ）｝。
といふ「述語論理式」は、「論理プログラミング言語」的であるに、違ひない。
令和０３年０５月２９日、毛利太。
0 件のコメント:
コメントを投稿