ラベル 漢文・述語論理 の投稿を表示しています。 すべての投稿を表示
ラベル 漢文・述語論理 の投稿を表示しています。 すべての投稿を表示

2024年11月20日水曜日

「今両虎共闘」の「述語論理」。

(01)
(ⅰ)
今両虎共闘、其勢不俱生=
今両虎共闘、其勢不(俱生)⇒
今両虎共闘、其勢(俱生)不=
今、両虎共に闘はば、其の勢ひ、倶には生き不=
今、二頭の虎(藺相如と廉頗)が戦うとすれば、成り行きとして、両方が、死なずに済むということは無い。
(史記、刎頚の交はり)
(02)
(ⅱ)
1 (1)∀x∀y{(虎x&虎y&闘xy)→~(生x&生y)}          A
1 (2)  ∀y{(虎a&虎y&闘ay)→~(生a&生y)}          1UE
1 (3)     (虎a&虎b&闘ab)→~(生a&生b)           2UE
 4(4)     (虎a&虎b&闘ab)                    A
14(5)                 ~(生a&生b)           34MPP
14(6)                 ~生a∨~生b            5ド・モルガンの法則
14(7)                  生a→~生b            6含意の定義
14(8)                 ~生b∨~生a            6交換法則
14(9)                  生b→~生a            8含意の定義
14(ア)                 (生a→~生b)&(生b→~生a)  79&I
1 (イ)     (虎a&虎b&闘ab)→(生a→~生b)&(生b→~生a)  4アCP
1 (ウ)  ∀y{(虎a&虎y&闘ay)→(生a→~生y)&(生y→~生a)} イUI
1 (エ)∀x∀y{(虎x&虎y&闘xy)→(生x→~生y)&(生y→~生x)} ウUI
(ⅲ)
1  (1)∀x∀y{(虎x&虎y&闘xy)→(生x→~生y)&(生y→~生x)} A
1  (2)  ∀y{(虎a&虎y&闘ay)→(生a→~生y)&(生y→~生a)} 1UE
1  (3)     (虎a&虎b&闘ab)→(生a→~生b)&(生b→~生a)  2UE
 4 (4)     (虎a&虎b&闘ab)                    A
14 (5)                 (生a→~生b)&(生b→~生a)  34MPP
14 (6)                 (生a→~生b)           5&E
  7(7)                 (生a& 生b)           A
  7(8)                  生a                7&E
147(9)                     ~生b            68MPP
  7(ア)                      生b            7&E
147(イ)                  ~生b&生b            9ア&I
14 (ウ)                 ~(生a&生b)           7イRAA
1  (エ)     (虎a&虎b&闘ab)→~(生a&生b)           4ウCP
1  (オ)  ∀y{(虎a&虎y&闘ay)→~(生a&生y)}          エUI
1  (カ)∀x∀y{(虎x&虎y&闘xy)→~(生x&生y)}          オUI
従って、
(02)により、
(03)
② ∀x∀y{(虎x&虎y&闘xy)→~(生x&生y)}。
③ ∀x∀y{(虎x&虎y&闘xy)→(生x→~生y)&(生y→~生x)}。
に於いて、すなはち、
② すべてのxとyについて{xとyが虎であって、xとyが闘へば、(xが生きて、yも生きる)といふことはない}。
③ すべてのxとyについて{xとyが虎であって、xとyが闘へば、(xが生きるならば、yは死に)、(yが生きるならば、xは死ぬ)}。
に於いて、
②=③ である。
従って、
(01)(02)(03)により、
(04)
① 今両虎共闘、其勢不俱生。
② ∀x∀y{(虎x&虎y&闘xy)→~(生x&生y)}。
③ ∀x∀y{(虎x&虎y&闘xy)→(生x→~生y)&(生y→~生x)}。
に於いて、
①=②=③ である。
然るに、
(05)
1    (1) 生→~生 A
 2   (2)     生y A
  3  (3) 生x     A
1 3  (4)    ~生y 13MPP
123  (5) 生y&~生y 24&I
12   (6)~生x     35RAA
1    (7) 生→~生 26C生x
   8 (8)     生x A
    9(9) 生y     A
1   9(ア)    ~生x 79MPP
1  89(イ) 生x&~生x 8ア&I
1  8 (ウ)~生y     9イRAA
1    (エ) 生→~生 8ウC生x
従って、
(05)により、
(06)
③ 生→~生
④ 生→~生
に於いて、
③=④ は「対偶」である。
従って、
(04)(05)(06)により、
(07)
① 今両虎共闘、其勢不俱生。
② ∀x∀y{(虎x&虎y&闘xy)→~(生x&生y)}。
③ ∀x∀y{(虎x&虎y&闘xy)→(生x→~生y)&(生y→~生x)}。
④ ∀x∀y{(虎x&虎y&闘xy)→(生x→~生y)}。
に於いて、
①=②=③=④ である。
然るに、
(08)
(ⅳ)
1  (1)~∀x∀y{ (虎x&虎y&闘xy)→ ( 生x→~生y)} A
1  (2)∃x~∀y{ (虎x&虎y&闘xy)→ ( 生x→~生y)} 1量化子の関係
1  (3)∃x∃y~{ (虎x&虎y&闘xy)→ ( 生x→~生y)} 2量化子の関係
 4 (4)  ∃y~{ (虎a&虎y&闘ay)→ ( 生a→~生y)} A
  5(5)    ~{ (虎a&虎y&闘ay)→ ( 生a→~生y)} A
  5(6)    ~{~(虎a&虎b&闘ab)∨ ( 生a→~生b)} 5含意の定義
  5(7)    ~{~(虎a&虎b&闘ab)∨ (~生a∨~生b)} 6含意の定義
  5(8)       (虎a&虎b&闘ab)&~(~生a∨~生b)  7ド・モルガンの法則
  5(9)       (虎a&虎b&闘ab)& ( 生a& 生b)  8ド・モルガンの法則
  5(ア)   ∃y{ (虎a&虎y&闘ay)& ( 生a& 生y)} 9EI
 4 (イ)   ∃y{ (虎a&虎y&闘ay)& ( 生a& 生y)} 45アEE
 4 (ウ) ∃x∃y{ (虎x&虎y&闘xy)& ( 生x& 生y)} イEI
1  (エ) ∃x∃y{ (虎x&虎y&闘xy)& ( 生x& 生y)} 14ウEE
(ⅴ)
1  (1) ∃x∃y{ (虎x&虎y&闘xy)& ( 生x& 生y)} A
 2 (2)   ∃y{ (虎a&虎y&闘ay)& ( 生a& 生y)} A
  3(3)       (虎a&虎b&闘ab)& ( 生a& 生b)  A
  3(4)       (虎a&虎b&闘ab)&~(~生a∨~生b)  3ド・モルガンの法則
  3(5)    ~{~(虎a&虎b&闘ab)∨ (~生a∨~生b)} 4ド・モルガンの法則
  3(6)    ~{~(虎a&虎b&闘ab)∨ ( 生a→~生b)} 5含意の定義
  3(7)    ~{ (虎a&虎y&闘ay)→ ( 生a→~生y)} 6含意の定義
  3(8)  ∃y~{ (虎a&虎y&闘ay)→ ( 生a→~生y)} 7EI
 2 (9)  ∃y~{ (虎a&虎y&闘ay)→ ( 生a→~生y)} 238EE
 2 (ア)∃x∃y~{ (虎x&虎y&闘xy)→ ( 生x→~生y)} 9EI
1  (イ)∃x∃y~{ (虎x&虎y&闘xy)→ ( 生x→~生y)} 12アEE
1  (ウ)∃x~∀y{ (虎x&虎y&闘xy)→ ( 生x→~生y)} イ量化子の関係
1  (エ)~∀x∀y{ (虎x&虎y&闘xy)→ ( 生x→~生y)} ウ量化子の関係
従って、
(08)により、
(09)
④ ~∀x∀y{(虎x&虎y&闘xy)→(生x→~生y)}。
⑤  ∃x∃y{(虎x&虎y&闘xy)&(生x& 生y)}。
に於いて、
④=⑤ である。
従って、
(09)により、
(10)
④ ~~∀x∀y{(虎x&虎y&闘xy)→(生x→~生y)}。
⑤  ~∃x∃y{(虎x&虎y&闘xy)&(生x& 生y)}。
に於いて、
④=⑤ である。
従って、
(10)により、
(11)
「二重否定」により、
④  ∀x∀y{(虎x&虎y&闘xy)→(生x→~生y)}。
⑤ ~∃x∃y{(虎x&虎y&闘xy)&(生x& 生y)}。
⑥{あるxが虎であって、あるyも虎であって、xとyが闘って、xは生き、yも生きる}ということはない
に於いて、
④=⑤=⑥ である。
従って、
(01)(07)(11)により、
(12)
① 今両虎共闘、其勢不俱生。
② 今、両虎共に闘はば、其の勢ひ、倶には生きず。
③  ∀x∀y{(虎x&虎y&闘xy)→~(生x&生y)}。
④  ∀x∀y{(虎x&虎y&闘xy)→(生x→~生y)&(生y→~生x)}。
⑤  ∀x∀y{(虎x&虎y&闘xy)→(生x→~生y)}。
⑥ ~∃x∃y{(虎x&虎y&闘xy)&(生x& 生y)}。
に於いて、
①=②=③=④=⑤=⑥ である。
然るに、
(12)により、
(13)
「文型」からすれば、
今両虎共闘、其勢不俱生
② ∀x∀y{(虎x&虎y&闘xy)→~(生x&生y)}。
③ すべてのxとyについて{xとyが虎であって、xとyが闘へば、(xは生きて、yも生きる)といふことはない}。
に於いて、
①≒②=③ である。
然るに、
(14)
相如聞之、毎朝常称病、不欲与争列。
出望見、輒引車避匿。其舍人皆以為恥。
相如曰、夫以秦之威、相如廷叱之、辱其群臣。
相如雖駑、独畏廉将軍哉。
顧念強秦不敢加兵於趙者、徒以吾両人在也。
今両虎共闘、其勢不倶生
吾所以為此者、先国家之急、而後私讐也。
といふ「漢文の全体」を、「述語論理式」に「翻訳する(置き換へる)」ことは、「(恐らくは)無理である」。
然るに、
(15)
問題は、自然言語文をマシン上で走らせる形のプログラムに自動変換できるかということであり、それを容易にするのに適切なプログラミング言語の選択である。ところで、論理式をプログラムとして見て行こうという立場に立つと、意味を論理的に把えようという立場と、手続き的に把えようという立場が融合してくるわけである。
(岩波講座 情報科学―7 論理と意味、長尾真・淵一博、1983年、167・168頁)
然るに、
(16)
第五世代コンピュータ(だいごせだいコンピュータ)計画とは、1982年から1992年にかけて日本の通商産業省(現経済産業省)所管の新世代コンピュータ技術開発機構(ICOT)が進めた国家プロジェクトで、いわゆる人工知能コンピュータの開発を目的に総額540億円の国家予算が投入された(ウィキペディア)。
従って、
(01)(14)(15)(16)により、
(17)
「昭和58年当時の、人工知能の研究者」は、例へば、
相如はこれを聞いて、朝廷に出仕すべきことがあるたびにいつも病気と偽って(欠席し、)席次を争うことを望まなかった。また外出して遠くに(廉頗の姿を)見かけると、そのたびごとに車を引き返して避け隠れた。相如の近臣たちは皆この態度を恥であると思った。(相如は家来たちに)こう言った。「そもそも秦王ほどの威力にもかかわらず、この藺相如は、秦王を(秦国の)朝廷で叱責し、その群臣をはずかしめてきたのだ。私は、いかにも愚鈍であるが、どうして廉将軍を恐れることがあろうか。(いや、恐れることはない。)思うに、強国である秦が、あえて趙に戦争を仕掛けてこないのは、我ら二人(の武勇と知恵)がそろっているからだろう。今もし両虎(廉頗と藺相如)が闘うことがあれば、その結果として、どちらも生き残るわけにはいかない。私がこのように(廉頗将軍を避けて逃げ隠れ)している訳は、国家の危急を第一とし、個人的な恨みを後まわしにしているからだ」(kintorekokugo)。
といふ「日本語」を、「コンピューター上で走らせる形のプログラム」によって、
「∀x∀y{(虎x&虎y&闘xy)→~(生x&生y)}」のやうな「述語論理式」に、「自動的に翻訳」しようとしていた。
といふ、ことになる。
然るに、
(18)
第五世代コンピュータは、当初の期待に反して多くの課題を抱え、その目標を完全に達成することができませんでした。このため、第五世代コンピュータは失敗だったと評価されることが少なくありません(>>JITERA)。
従って、
(16)(17)(18)により、
(19)
第五世代コンピュータ(日本発)に関しても、
さて、統計的な手法が登場する以前、自然言語処理の技術を使う自動翻訳や質疑応答の分野では、研究者たちはAIに文法などの言葉のルールを覚えさせ、論理的、演繹的な手法で精度を上げようとしました。けれど、その手法は何度試みても失敗を繰り返しました(AI vs. 教科書が読めない子供たち、新井紀子、2018年、124頁)。
といふ、ことになる。
(20)
「もし二頭の虎が闘へば、少なくとも、一方の虎は死ぬ。」といふ「日本語」ならば、ともかく、例へば、「相如はこれを聞いて、朝廷に出仕すべきことがあるたびにいつも病気と偽って欠席し、席次を争うことを望まなかった。」といふ「日本語」を、「述語論理」に「翻訳」することは、「無理である」に、「決まってゐる」。
令和6年11月21日、毛利太。

2023年4月23日日曜日

「矛盾(韓非子)」の「述語論理」。

(01)
― 矛盾(韓非子)―
① 楚人有[鬻〔盾與(矛)〕者]。
② 譽(之)曰、吾盾之堅、莫(能陷)也。
③ 又譽(其矛)曰、吾矛之利、於(物)無〔不(陷)〕也。
④ 或曰、以(子之矛)、陷(子之盾)何如。
⑤ 其人弗〔能(應)〕也。
(02)
① 楚人[〔盾(矛)與〕鬻者]有。
② (之)譽曰、吾盾之堅、(能陷)莫也。
③ 又(其矛)譽曰、吾矛之利、(物)於〔(陷)不〕無也。
④ 或曰、(子之矛)以、(子之盾)陷何如。
⑤ 其人〔(應)能〕弗也。
(03)
① 楚人に[〔盾と(矛)とを〕鬻ぐ者]有り。
② (之を)譽めて曰く、吾が盾の堅きこと、(能く陷す)莫きなり。
③ 又(其の矛を)譽めて曰く、吾が矛の利なること、(物に)於いて〔(陷さ)不る〕無きなり。
④ 或曰く、(子の矛を)以て、(子の盾を)陷さば何如。
⑤ 其の人〔(應ふ)能は〕弗るなり。
cf.
(Wikibooks)
然るに、
(04)
(ⅰ)
1    (1)∃x{吾盾x&∀y(矛y&吾矛y→  陥yx)} A
 2   (2)   吾盾a&∀y(矛y&吾矛y→  陥ya)  1UE
 2   (3)   吾盾a                   2&E
 2   (4)       ∀y(矛y&吾矛y→  陥ya)  2&E
 2   (5)          矛b&吾矛b→  陥ba   4UE
  6  (6)             吾矛b         A
   7 (7)          矛b             A
  67 (8)          矛b&吾矛b         67&I
 267 (9)                   陥ba   58MPP
 26  (ア)               矛b→ 陥ba   79CP
 2   (イ)          吾矛b→(矛b→ 陥ba)  6アCP
    ウ(ウ)          矛b&~陥ba        A
    ウ(エ)       ~(~矛b∨ 陥ba)       ウ、ド・モルガンの法則
    ウ(オ)        ~(矛b→ 陥ba)       エ含意の定義
 2  ウ(カ)         ~吾矛b            イオMTT
 2   (キ)          矛b&~陥ba→~吾矛b   ウカCP
 2   (ク)       ∀y(矛y&~陥ya→~吾矛y)  キUI
 2   (ケ)   吾盾a&∀y(矛y&~陥ya→~吾矛y)  3ク&I
 2   (コ)∃x{吾盾x&∀y(矛y&~陥yx→~吾矛y)} ケEI
1    (サ)∃x{吾盾x&∀y(矛y&~陥yx→~吾矛y)} 12コEE
(ⅱ)
1   (1)∃x{吾盾x&∀y(矛y&~陥yx→~吾矛y)} A
 2  (2)   吾盾a&∀y(矛y&~陥ya→~吾矛y)  A
 2  (3)   吾盾a                   2&E
 2  (4)       ∀y(矛y&~陥ya→~吾矛y)  2&E
 2  (5)          矛b&~陥ba→~吾矛b   4UE
  6 (6)                   吾矛b   A
  6 (7)                 ~~吾矛b   6DN
 26 (8)        ~(矛b&~陥ba)       57MTT
 26 (9)         ~矛b∨ 陥ba        8ド・モルガンの法則
 26 (ア)          矛b→ 陥ba        9含意の定義
 2  (イ)     吾矛b→(矛b→ 陥ba)       6アCP
   ウ(ウ)     矛b&吾矛b              A
   ウ(エ)        吾矛b              ウ&E
 2 ウ(オ)          矛b→ 陥ba        イエMPP
   ウ(カ)     矛b                  ウ&E
 2 ウ(キ)              陥ba        オカMPP
 2  (ク)     矛b&吾矛b→  陥ba        ウキCP
 2  (ケ)       ∀y(矛y&吾矛y→  陥ya)  クUI
 2  (コ)   吾盾a&∀y(矛y&吾矛y→  陥ya)  3ケ&I
 2  (サ)∃x{吾盾x&∀y(矛y&吾矛y→  陥yx)} コEI
1   (シ)∃x{吾盾x&∀y(矛y&吾矛y→  陥yx)} 12サEE
従って、
(04)により、
(05)
① ∃x{吾盾x&∀y(矛y&吾矛y→  陥yx)}。
② ∃x{吾盾x&∀y(矛y&~陥yx→~吾矛y)}。
に於いて、すなはち、
① あるxは{私の矛であって、すべてのyについて(yが矛であって、yが私の矛であるならば、yはxを陥す)}。
② あるxは{私の矛であって、すべてのyについて(yが矛であって、yがxを陥さないのであれば、yは私の矛ではない)}。
に於いて、
①=② である。
然るに、
(06)
① あるxは{私の矛であって、すべてのyについて(yが矛であって、yが私の矛であるならば、yはxを陥す)}。
② あるxは{私の矛であって、すべてのyについて(yが矛であって、yがxを陥さないのであれば、yは私の矛ではない)}。
といふことは、
③ 私の矛は、私の盾を陥すが、私の矛以外は、私の盾を陥さない
といふ、ことである。
従って、
(01)~(06)により、
(07)
④ 子の矛を以て、子の盾を陷さば何如。
といふ「問ひ」に対しては、例へば、
⑤ ∃x{吾盾x&∀y(矛y&~陥yx→~吾矛y)}。
といふ風に「回答」すれば、「つじつま」が合った。
ということになるが、「私の学力」では、
⑤ ∃x{吾盾x&∀y(矛y&~陥yx→~吾矛y)}。
を、「漢文」に「翻訳」出来ない。
然るに、
(08)
③ 唯吾矛能陥吾盾=
③ 唯吾矛能陥(吾盾)⇒
③ 唯吾矛能(吾盾)陥矣=
③ 唯、吾が矛のみ能く吾が盾を陥す=
③ 私の矛は、私の盾を陥すが、私の矛以外は、私の盾を陥さない。
然るに、
(09)
(ⅰ)
1 (1) ∀x{吾矛x⇔∃y(吾盾y&陥xy)}  A
1 (2)    吾矛a⇔∃y(吾盾y&陥ay)   1UE
1 (3)    吾矛a→∃y(吾盾y&陥ay)&
         ∃y(吾盾y&陥ay)→吾矛a   2Df.⇔
1 (4)    吾矛a→∃y(吾盾y&陥ay)   3&E
1 (5)    ∃y(吾盾y&陥ay)→吾矛a   3&E
 6(6)               ~吾矛a   A
16(7)   ~∃y(吾盾y&陥ay)       56MTT
1 (8)   ~吾矛a→~∃y(吾盾y&陥ay)  67CP
1 (9)    吾矛a→ ∃y(吾盾y&陥ay)&
        ~吾矛a→~∃y(吾盾y&陥ay)  48&I
1 (ア)∀x{ 吾矛x→ ∃y(吾盾y&陥xy)&
        ~吾矛x→~∃y(吾盾y&陥xy)} 9UI
(ⅱ)
1 (1)∀x{ 吾矛x→ ∃y(吾盾y&陥xy)&
        ~吾矛x→~∃y(吾盾y&陥xy)} A
1 (2)    吾矛a→ ∃y(吾盾y&陥ay)&
        ~吾矛a→~∃y(吾盾y&陥ay)  1UE
1 (3)    吾矛a→ ∃y(吾盾y&陥ay)  2&E
1 (4)   ~吾矛a→~∃y(吾盾y&陥ay)  2&E
 5(5)         ∃y(吾盾y&陥ay)  A
 5(6)       ~~∃y(吾盾y&陥ay)  5DN
15(7)  ~~吾矛a               46MTT
15(8)    吾矛a               7DN
1 (9)    ∃y(吾盾y&陥ay)→吾矛a   58CP
1 (ア)    吾矛a→∃y(吾盾y&陥ay)&
         ∃y(吾盾y&陥ay)→吾矛a   39&I
1 (イ)    吾矛a⇔∃y(吾盾y&陥ay)   アDf.⇔
1 (ウ) ∀x{吾矛x⇔∃y(吾盾y&陥xy)}  イUI
従って、
(09)により、
(10)
① ∀x{吾矛x⇔∃y(吾盾y&陥xy)}
② ∀x{吾矛x→∃y(吾盾y&陥xy)&~吾矛x→~∃y(吾盾y&陥xy)}
に於いて、すなはち、
① すべてのxについて{xが吾矛であるならば、そのときに限って、あるyは(吾盾であって、xはyを陥す)}。
② すべてのxについて{xが吾矛であるならば、あるyは(吾盾であって、xはyを陥し)、xが吾矛でないならば、あるyが(吾盾であって、xがyを陥す)といふことはない}。
に於いて、
①=② である。
従って、
(07)(10)により、
(11)
③ 唯吾矛能陥吾盾(唯、吾が矛のみ能く吾が盾を陥す)。
といふ「漢文」は、
① ∀x{吾矛x⇔∃y(吾盾y&陥xy)}。
といふ風に、「翻訳」出来る。
令和5年4月23日、毛利太。

2023年4月9日日曜日

「天下英雄唯君与我。」の「述語論理」。

(01)
{変数xの変域}={a,b,c} であるとする。
然るに、
(01)により、
(02)
② ∃x∃y(Px&Py)⇔
②{(Pa&Pa)∨(Pa&Pb)∨(Pa&Pc)}∨{(Pb&Pa)∨(Pb&Pb)∨(Pb&Pc)}∨{(Pc&Pa)∨(Pc&Pb)∨(Pc&Pc)}
然るに、
(03)
①   Pa⇔Pa&Pa
②{(Pa&Pa)∨(Pa&Pb)∨(Pa&Pc)}∨{(Pb&Pa)∨(Pb&Pb)∨(Pb&Pc)}∨{(Pc&Pa)∨(Pc&Pb)∨(Pc&Pc)}
に於いて、
① ならば、② である。
従って、
(02)(03)により、
(04)
① Pa
② ∃x∃y(Px&Py)
に於いて、
① ならば、② である。
従って、
(01)(04)により、
(05)
①{a,b,c}の中の、{a}だけが、{Pa}であるとしても、
② ∃x∃y(Px&Py) である。
従って、
(05)により、
(06)
② ∃x∃y(Px&Py)
③ 性質Pを持つものが、少なくとも、二つ有る。
に於いて、
② であるとしても、
③ であるとは、限らない。
然るに、
(07)
② ∃x∃y(Px&Py)
ではなく、
③ ∃x∃y(x≠y&Px&Py)
であるならば、
②{(Pa&Pa)∨(Pa&Pb)∨(Pa&Pc)}∨{(Pb&Pa)∨(Pb&Pb)∨(Pb&Pc)}∨{(Pc&Pa)∨(Pc&Pb)∨(Pc&Pc)}
ではなく、
③{(Pa&Pb)∨(Pa&Pc)}∨{(Pb&Pa)∨(Pb&Pc)}∨{(Pc&Pa)∨(Pc&Pb)}
である。
然るに、
(08)
③{(Pa&Pb)∨(Pa&Pc)}∨{(Pb&Pa)∨(Pb&Pc)}∨{(Pc&Pa)∨(Pc&Pb)}
であるならば、
③ 性質Pを持つものが、少なくとも、二つ有る。
従って、
(07)(08)により、
(09)
③ ∃x∃y(x≠y&Px&Py)
といふ「命題」は、
③ 性質Pを持つものが、少なくとも、二つ有る。
といふ「命題」に「等しい」。
然るに、
(10)
(ⅳ)
1 (1)∀z(Pz→  z=x∨z=y) A
1 (2)   Pa→  a=x∨a=y  A
 3(3)        a≠x&a≠y  A
 3(4)      ~(a=x∨a=y) 3ド・モルガンの法則
13(5)  ~Pa            24MTT
1 (6)   a≠x&a≠y→~Pa   35CP
1 (7)∀z(z≠x&z≠y→~Pz)  6UI
(ⅴ)
1 (1)∀z(z≠x&z≠y→~Pz)  A
1 (2)   a≠x&a≠y→~Pa   1UE
 3(3)            Pa   A
 3(4)          ~~Pa   3DN
13(5) ~(a=x∨a=y)      14MTT
13(6)   a≠x&a≠y       5ド・モルガンの法則
1 (7)   Pa→ a=x∨a=y   36CP
1 (8)∀z(Pz→  z=x∨z=y) 7UI
従って、
(11)
④ ∀z(Pz→ z=x∨z=y)
⑤ ∀z(z≠x&z≠y→~Pz)
に於いて、すなはち、
④ すべてのzについて(zがPであるならば、zはxであるか、または、zはyである)。
⑤ すべてのzについて(zがxではなく、  zがyでもないならば、zはPではない)。
に於いて、
④=⑤ である。
従って、
(09)(10)(11)により、
(12)
④ ∃x∃y{x≠y&Px&Py&∀z(Pz→z=x∨z=y)}
といふ「命題」は、
④ 性質Pを持つものが、少なくとも、二つ有るが、その二つ以外にはない
といふ「命題」、すなはち、
④ 性質Pを持つものが、ちょうど二つだけある。
といふ「命題」に、「等しい」。
従って、
(01)~(12)により、
(13)
例題1.5. 「性質Pを持つものが、二つだけある。」という主張を記号を用いて表せ。
[別解] ∃x∃y{x≠y&Px&Py&∀z(Pz→z=x∨z=y)}
(上江洲忠弘、述語論理入門、2007年、9頁)
に於ける、[別解]は、「正しい」。
従って、
(13)により、
(14)
⑤ ∃x∃y{x≠y&君x&我y&天下英雄x&天下英雄y&∀z(天下英雄z→z=x∨z=y)}
といふ「命題」は、
⑤ あるxは君であり、あるyは我であり、xは天下の英雄であり、yは天下の英雄であり、天下の英雄は、他にはゐない
といふ「命題」に、「等しい」。
従って、
(14)により、
(15)
⑤ 天下英雄唯君与我(天下の英雄は、君と我のみ)。
といふ「漢文」は、
⑤ ∃x∃y{x≠y&君x&我y&天下英雄x&天下英雄y&∀z(天下英雄z→z=x∨z=y)}
といふ「述語論理式」に、「等しい」。
令和5年4月9日、毛利太。

2023年4月6日木曜日

不[有〔人而不(死)〕]≡~∃x(人x&~死x)

(01)
(ⅰ)
1  (1)~∃x(人x&~死x)  A
1  (2)∀x~(人x&~死x)  1量化子の関係
1  (3)  ~(人a&~死a)  1UE
 4 (4)    人a       A
  5(5)       ~死a   A
 45(6)    人a&~死a   45&I
145(7)  ~(人a&~死a)&
         (人a&~死a)
14 (8)      ~~死a   57RAA
14 (9)        死a   8DN
1  (ア)    人a→ 死a   49CP
1  (イ) ∀x(人x→ 死x)  アUI
(ⅱ)
1    (1) ∀x(人x→ 死x)  A
 2   (2) ∃x(人x&~死x)  A
  3  (3)    人a&~死a   A
   4 (4)    人a→ 死a   A
  3  (5)    人a       3&E
  34 (6)        死a   45MPP
  3  (7)       ~死a   3&E
  34 (8)    死a&~死a   67&I
  3  (9)  ~(人a→ 死a)  48RAA
  3  (ア)∃x~(人x→ 死x)  3EI
 2   (イ)∃x~(人x→ 死x)  23AEE
 2   (ウ)~∀x(人x→ 死x)  イ量化子の関係
12   (エ) ∀x(人x→ 死x)&
        ~∀x(人x→ 死x)  1ウ&I
1    (オ)~∃x(人x&~死x)  2エRAA
従って、
(01)により、
(02)
① ~∃x(人x&~死x)
②  ∀x(人x→ 死x)
に於いて、すなはち、
①(人であるxで、死なないxは)存在しない。
② すべてのxについて(xが人ならば、xは死ぬ)。
に於いて、
①=② である。
然るに、
(03)
③ 不人而不一レ死=
③ 不[有〔人而不(死)〕]⇒
③ [〔人而(死)不〕有]不=
③ [〔人にして(死せ)不る〕有ら]不=
③ [〔人であって(死な)ない者は〕ゐ]ない。
従って、
(02)(03)により、
(04)
① ~∃x(人x&~死x)
②  ∀x(人x→ 死x)
③ 不[有〔人而不(死)〕]
に於いて、
①=②=③ である。
令和5年4月6日、毛利太。

2023年1月15日日曜日

「矛盾(韓非子)」の「述語論理(Ⅸ)」。

(01)
[一] 矛盾(韓非子)
① 楚人有 鬻盾與矛者。
② 譽之曰、吾盾之堅、於物莫能陷也。
③ 又譽其矛曰、吾矛之利、於物無不陷也。
④ 或曰、以子之矛、陷子之盾、何如。
⑤ 其人弗能應也。
(02)
① 楚人有[鬻〔盾與(矛)〕者]。
② 譽(之)曰、吾盾之堅、莫(能陷)也。
③ 又譽(其矛)曰、吾矛之利、於(物)無〔不(陷)〕也。
④ 或曰、以(子之矛)、陷(子之盾)何如。
⑤ 其人弗〔能(應)〕也。
(03)
① 楚人[〔盾(矛)與〕鬻者]有。
②(之) 譽曰、吾盾之堅、(能陷)莫也。
③ 又(其矛)譽曰、吾矛之利、(物)於〔(陷)不〕無也。
④ 或曰、(子之矛)以、(子之盾)陷何如。
⑤ 其人〔(應)能〕弗也。
(04)
① 楚人に[〔盾と(矛)とを〕鬻ぐ者]有り。
②(之) 譽めて曰はく、吾が盾の堅きこと、(能く陷す)莫き也。
③ 又(其の矛を)譽めて曰は、吾が矛の利なること、(物に)於いて〔(陷さ)不り〕無き也。
④ 或曰、(子の矛を)以て、(子の盾を)陷さば何如。
⑤ 其の人〔(應ふる)能は〕弗る也。
(05)
楚の国の人で盾と矛を売る者がいた。この人はこれを誉めて「私の盾は頑丈で、これを貫けるものはない」と言った。また、矛を誉めて「私の矛は鋭くて、物において貫けないものはない」と言った。ある人が「あなたの矛であなたの盾を貫いたらどうなるのですか」といった。商人は答えることができなかった(WIKIBOOKS)。
(06)
(ⅰ)
1 (1)∀x{~吾盾x&盾x→∃y(吾矛y&陥没yx)}  A
 2(2)           ∀y(吾矛y→~陥ya)   A
1 (3)   ~吾盾a&盾a→∃y(吾矛y&陥没ya)   1UE
 2(4)           ∀y(吾矛y→~陥ya)   A
 2(5)              吾矛b→~陥ba    4UE
 2(6)             ~吾矛b∨~陥ba    5含意の定義
 2(7)            ~(吾矛b& 陥ba)   6ド・モルガンの法則
 2(8)          ∀y~(吾矛y& 陥ya)   7UI
 2(9)          ~∃y(吾矛y& 陥ya)   8量化子の関係
12(ア) ~(~吾盾a&盾a)               39MTT
12(イ)   吾盾a∨~盾a                ア、ド・モルガンの法則
12(ウ)   ~盾a∨吾盾a                イ、交換法則
12(エ)    盾a→吾盾a                ウ含意の定義
1 (オ)   ∀y(吾矛y→~陥ya)→(盾a→吾盾a)  2エCP
1 (カ)∀x{∀y(吾矛y→~陥yx)→(盾x→吾盾x)} オUI
(ⅱ)
1   (1)∀x{∀y(吾矛y→~陥yx)→(盾x→吾盾x)} オUI
1   (2)   ∀y(吾矛y→~陥ya)→(盾a→吾盾a)  A
 3  (3)                ~吾盾a&盾a   A
  4 (4)                 盾a→吾盾a   A
 3  (5)                     盾a   3&E
 34 (6)                    吾盾a   45MPP
 3  (7)               ~吾盾a       3&E
 34 (8)               ~吾盾a&吾盾a   67&I
 3  (9)               ~(盾a→吾盾a)  48CP
13  (ア)  ~∀y(吾矛y→~陥ya)           29RAA
13  (イ)  ∃y~(吾矛y→~陥ya)           ア量化子の関係
   ウ(ウ)    ~(吾矛b→~陥ba)           A
   ウ(エ)   ~(~吾矛b∨~陥ba)           ウ含意の定義
   ウ(オ)      吾矛b& 陥ba            エ、ド・モルガンの法則
   ウ(カ)   ∃y(吾矛y& 陥ya)           オEI
13  (キ)   ∃y(吾矛y& 陥ya)           イウカEE
1   (ク)   ~吾盾a&盾a→∃y(吾矛y&陥没ya)   3キCP
1   (ケ)∀x{~吾盾x&盾x→∃y(吾矛y&陥没yx)}  クUI
従って、
(06)により、
(07)
① ∀x{~吾盾x&盾x→  ∃y(吾矛y&陥没yx)}
② ∀x{∀y(吾矛y→~陥yx)→(盾x→吾盾x)}
に於いて、すなはち、
① すべてのxについて{xが吾が盾ではない盾であるならば、あるyは(吾が矛であって、yはxを陥す)}。
② すべてのxについて{すべてのyについて(yが吾が矛ならば、yがxを陥さない)ならば(xが盾ならば、xは吾が盾である)}。
に於いて、
①=② である。
従って、
(07)により、
(08)
① すべてのxについて{xが吾が盾ではない盾であるならば、あるyは(吾が矛であって、yはxを陥す)}。
② すべてのxについて{すべてのyについて(yが吾が矛ならば、yがxを陥さない)ならば(xが盾ならば、xは吾が盾である)}。
に於いて、すなはち、
① 私の矛は、私の盾以外の、全ての盾を通する。
② 私の矛が貫通しないならば、それが盾ならば、私の盾である。
に於いて、
①=② である。
然るに、
(09)
一階述語論理は、数学のほぼ全領域を形式化するのに十分な表現力を持っている。実際、現代の標準的な集合論の公理系 ZFC は一階述語論理を用いて形式化されており、数学の大部分はそのように形式化された ZFC の中で行うことができる(ウィキペディア)。
従って、
(07)(09)により、
(10)
① ∀x{~吾盾x&盾x→ ∃y(吾矛y&陥没yx)}
② ∀x{∀y(吾矛y→~陥yx)→(盾x→吾盾x)}
といふ「言語(数学語)」は、「数学科の学生」が、「一番得意」であると思はれる。
然るに、
(11)
「(述語論理で書かれている)ε-δ論法」で躓く「数学科の学生」は多い。
とのことなので、だとすると、「ほとんどの数学科の1年生」は、
① ∀x{~吾盾x&盾x→ ∃y(吾矛y&陥没yx)}
② ∀x{∀y(吾矛y→~陥yx)→(盾x→吾盾x)}
に於いて、
①=② を、「理解できない」ものと、思はれる。
令和05年01月15日、毛利太。

2022年7月20日水曜日

「天下英雄唯君与我」の「述語論理」(Ⅱ)。

(01)
1      (1)∃x∃y{(君x&英雄x)&(我y&英雄y)&(x≠y)&∀z[英雄z→(z=x)∨(z=y)]} A
 2     (2)  ∃y{(君a&英雄a)&(我y&英雄y)&(a≠y)&∀z[英雄z→(z=a)∨(z=y)]} A
  3    (3)     (君a&英雄a)&(我b&英雄b)&(a≠b)&∀z[英雄z→(z=a)∨(z=b)   A
  3    (4)      君a                                          3&E
  3    (5)               我b                                 3&E
  3    (6)                             ∀z[英雄z→(z=a)∨(z=b)   3&E
  3    (7)                                英雄c→(c=a)∨(c=b)   6UE
   8   (8)  ∃z(~君z&~我z&彼z)                                  A
    9  (9)     ~君c&~我c&彼c                                   A
    9  (ア)     ~君c                                          9&E
  3 9  (イ)      君a&~君c                                      4ア&I
     ウ (ウ)       c=a                                        A
  3 9ウ (エ)      君a&~君a                                      イウ=E
  3 9  (オ)       c≠a                                        ウエRAA
    9  (カ)         ~我c                                      9&E
  3 9  (キ)         ~我c&我b                                   5カ&I
      ケ(ケ)           c=b                                    A
  3 9 ケ(コ)         ~我b&我b                                   キケ=E
  3 9  (サ)           c≠b                                    ケコRAA
  3 9  (シ)    (c≠a)&(c≠b)                                   オサ&I
  3 9  (ス)  ~{(c=a)∨(c=b)}                                  シ、ド・モルガンの法則
  3 9  (セ)                               ~英雄c               7スMTT
    9  (ソ)             彼c                                   9&E
  3 9  (タ)             彼c&~英雄c                              セソ&I
  3 9  (チ)          ∃z(彼z&~英雄z)                             タEI
  38   (ツ)          ∃z(彼z&~英雄z)                             89チEE
 2 8   (テ)          ∃z(彼z&~英雄z)                             23ツEE
1  8   (ト)          ∃z(彼z&~英雄z)                             12テEE
従って、
(01)により、
(02)
(ⅰ)∃x∃y{(君x&英雄x)&(我y&英雄y)&(x≠y)&∀z[英雄z→(z=x)∨(z=y)]}。然るに、
(ⅱ)  ∃z(~君z&~我z&彼z)。                                 従って、
(ⅲ)  ∃z(彼z&~英雄z)。
といふ「推論」、すなはち、
(ⅰ)あるxとyについて{(xは君であって、xは英雄であって)、(yは我であって、yは英雄であって)、(xとyは別人であって)、すべてのzについて[zが英雄であるならば(zはxであるか)、または(zはyである)]}。然るに、
(ⅱ)∃zについて(zは君ではなく、zは我ではなく、zは彼である)。従って、
(ⅲ)∃zについて(zは彼であって、zは英雄ではない)。
といふ「推論」は、「妥当」である。
従って、
(02)により、
(03)
(ⅰ)英雄唯君与我(英雄は君と私だけである)。 然るに、
(ⅱ)彼非君彼非我(彼は君ではなく私でもない)。従って、
(ⅲ)彼非英雄(彼は英雄ではない)。
といふ「推論」は、「述語論理」としても「妥当」である。
然るに、
(04)
人称名詞(にんしょうだいめいし)とは、話し手、受け手、および談話の中で指定された人や物を指す代名詞である。
一般に、話し手を指す一人称、受け手を指す二人称、それ以外の人、物を指す三人称に分けられ、数が区別されることが多い。一部の言語では性も区別する。
(ウィキペディア)
従って、
(04)により、
(05)
「君・我・彼」は、普通は、「人称代名詞」である。
然るに、
(01)~(03)により、
(06)
∃x∃y{(君x&英雄x)&(我y&英雄y)&(x≠y)&∀z[英雄z→(z=x)∨(z=y)]},∃z(~君z&~我z&彼z)├ ∃z(彼z&~英雄z)
に於いて、
「君・我・彼」は、「述語文字」であって、
「x・y・z」は、「変数」である。
然るに、
(07)
変数という記号を採用ることがいかに有効であるかは、進むにつれて次第に明らかになる。さしあたりそれは、代名詞「それ」(it)に似たようなはたらきをするものと考えれば十分であろう。
(E.J.レモン 著、竹尾治一郎・浅野楢英 訳、論理学初歩、1973年、121頁)
従って、
(06)(07)により、
(08)
∃x∃y{(君x&英雄x)&(我y&英雄y)&(x≠y)&∀z[英雄z→(z=x)∨(z=y)]}
に於いては、
「x・y・z(変数)」こそが、「代名詞(的)」であって、
(述語)」に関しては、むしろ「普通名詞」である。
然るに、
(09)
「日本語に即した文法の樹立を」を目指すわれわれは「日本語で人称代名詞と呼ばれているものは、実は名詞だ」と宣言したい。どうしても区別したいなら「人称名詞」で十分だ。日本語の「人称代名詞」はこれからは「人称名詞」と呼ぼう(金谷武洋、日本語文法の謎を解く、2003年、40・41頁)。
従って、
(03)(08)(09)により、
(10)
「金谷武洋先生の説」に従ふならば、
(ⅰ)英雄唯君与我(英雄は君と私だけである)。 然るに、
(ⅱ)彼非君彼非我(彼は君ではなく私でもない)。従って、
(ⅲ)彼非英雄(彼は英雄ではない)。
に於ける「」は、「人称名詞」ではなく「名詞」であって、
(ⅰ)∃x∃y{(君x&英雄x)&(我y&英雄y)&(x≠y)&∀z[英雄z→(z=x)∨(z=y)]}。然るに、
(ⅱ)  ∃z(~君z&~我z&彼z)。                                 従って、
(ⅲ)  ∃z(彼z&~英雄z)。
に於ける「」も、「人称名詞」ではなく「名詞」である。
といふ、ことになる。
令和04年07月20日、毛利太。

2022年7月19日火曜日

「天下英雄唯君与我」の「述語論理」。

(01)
k=君
w=我
h=彼
であるとして、
1  (1)英雄k&英雄w&∀x{英雄x→(x=k)∨(x=w)} A
1  (2)英雄k&英雄w                     1&E
1  (3)        ∀x{英雄x→(x=k)∨(x=w)} 1&E
1  (4)           英雄h→(h=k)∨(h=w)  1UE
 5 (5)               (h≠k)&(h≠w)  A
 5 (6)             ~{(h=k)∨(h=w)} 6ド・モルガンの法則
15 (7)          ~英雄h              46MTT
1  (8)        {(h≠k)&(h≠w)}→~英雄h  57CP
  9(9)         (h≠k)&(h≠w)        A
1 9(ア)                      ~英雄h  89MPP
従って、
(01)により、
(02)
(ⅰ)英雄k&英雄w&∀x{英雄x→(x=k)∨(x=w)}。然るに、
(ⅱ)(h≠k)&(h≠w)。従って、
(ⅲ)~英雄h。
といふ「推論」、すなはち、
(ⅰ)君は英雄であり、私も英雄であり、すべてのxについて{xが英雄であるならば、(xは君である)か(xは私である)」。然るに、
(ⅱ)彼は君ではなく、彼は私でもない。従って、
(ⅲ)彼は英雄でない。
といふ「推論」は「妥当」である。
従って、
(01)(02)(03)により、
(04)
① ∀x{英雄x→(x=k)∨(x=w)}。
② 英雄唯君与我(英雄は、ただ君と我のみ)。
に於いて、
①=② である。
然るに、
(05)
(ⅰ)
1    (1) ∀x{英雄x→(x=k)∨(x=w)}  A
 2   (2) ∃x(英雄x&(x≠k)&(x≠w)}  A
1    (3)    英雄a→(a=k)∨(a=w)   1UE
  4  (4)    英雄a&(a≠k)&(a≠w)   A
  4  (5)    英雄a               4&E
1 4  (6)        (a=k)∨(a=w)   35MPP
   7 (7)        (a=k)         A
  4  (8)        (a≠k)         4&E
  47 (9)        (a=k)&(a≠k)   78&I
   7 (ア)  ~{英雄a&(a≠k)&(a≠w)}  49RAA
    イ(イ)              (a=w)   A
  4  (ウ)              (a≠w)   4&E
  4 イ(エ)        (a=w)&(a≠w)   イウ&I
    イ(オ)  ~{英雄a&(a≠k)&(a≠w)}  4エRAA
1 4  (カ)  ~{英雄a&(a≠k)&(a≠w)}  67アイオ∨E
1 4  (キ)   {英雄a&(a≠k)&(a≠w)}&
          ~{英雄a&(a≠k)&(a≠w)}  4キ&I
12   (ク)   {英雄a&(a≠k)&(a≠w)}&
          ~{英雄a&(a≠k)&(a≠w)}  4キ&I
1    (ケ)~∃x{英雄x&(x≠k)&(x≠w)}  2クRAA
(ⅲ)
1 (1)~∃x(英雄x&(x≠k)&(x≠w)}  A
1 (2)∀x~(英雄x&(x≠k)&(x≠w)}  1量化子の関係
1 (3)  ~{英雄a&(a≠k)&(a≠w)}  2UE
1 (4) ~{英雄a&[(a≠k)&(a≠w)]} 3結合法則
1 (5) ~英雄a∨~[(a≠k)&(a≠w)]  4ド・モルガンの法則
1 (6)  英雄a→~[(a≠k)&(a≠w)]  5含意の定義
 7(7)  英雄a                 A
17(8)      ~[(a≠k)&(a≠w)]  67MPP
17(9)        (a=k)∨(a=w)   8ド・モルガンの法則
1 (ア)    英雄a→(a=k)∨(a=w)   79CP
1 (イ) ∀x{英雄x→(x=k)∨(x=w)}  アUI
従って、
(05)により、
(06)
①  ∀x{英雄x→(x=k)∨(x=w)}
③ ~∃x{英雄x&(x≠k)&(x≠w)}
に於いて、
①=③ である。
従って、
(01)(04)(06)により、
(07)
①  ∀x{英雄x→(x=k)∨(x=w)}。
② 英雄唯君与我(英雄は、ただ君と我のみ)。
③ ~∃x{英雄x&(x≠k)&(x≠w)}。
④ 君ではなく、私でもない、英雄であるxは存在しない。
に於いて、
①=②=③=④ である。
令和04年07月19日、毛利太。

「愛親者不敢惡於人」の「否定」の「述語論理」。

(01)
〔天子章第二〕
子曰、愛親者不敢惡於人。
子し曰く、親を愛する者は、敢へて人を悪まず。
(Web漢文大系)
然るに、
(02)
① 愛親者不敢惡_人。
② 愛親者不敢惡於人。
に於いて、
① ではなく、
② である以上、
① 敢へて人を悪ま_ず(決して、人を憎ま_ない)。
ではなく、
② 敢へて人を悪まれず(決して、人に憎まれない)。
であると、思はれる。
然るに、
(03)
∀x∀y{(親xy&愛yx)→~∃z(人z&悪zy)}⇔
すべてのxとyについて(xがyの親であって、yがxを愛するならば、あるzについて(zが人であって、zがyを悪む)といふことはない}。
従って、
(02)(03)により、
(04)
愛親者不敢惡於人。⇔
愛(親)者不[敢惡〔於(人)〕]。⇔
(親)愛者[敢〔(人)於〕惡]不。⇔
親を愛する者は、敢へて人に惡まれず。⇔
∀x∀y{(親xy&愛yx)→~∃z(人z&悪zy)}⇔
すべてのxとyについて(xがyの親であって、yがxを愛するならば、あるzについて(zが人であって、zがyを悪む)といふことはない}。
従って、
(04)により、
(05)
愛親者不必不敢惡於人。⇔
愛(親)者不{必不[敢惡〔於(人)〕]}。⇔
(親)愛者{必[敢〔(人)於〕惡]不}不。⇔
親を愛する者は、必ずしも敢へて人に悪まれずんばあらず。⇔
~∀x∀y{(親xy&愛yx)→~∃z(人z&悪zy)}⇔
すべてのxとyについて(xがyの親であって、yがxを愛するならば、あるzについて(zが人であって、zがyを悪む)といふことはない}といふわけではない。
然るに、
(06)
(ⅰ)
1   (1)~∀x∀y{(親xy&愛yx)→~∃z(人z&悪zy)} A
1   (2)∃x~∀y{(親xy&愛yx)→~∃z(人z&悪zy)} 1量化子の関係
1   (3)∃x∃y~{(親xy&愛yx)→~∃z(人z&悪zy)} 2量化子の関係
 4  (4)  ∃y~{(親ay&愛ya)→~∃z(人z&悪zy)} A
  5 (5)    ~{(親ab&愛ba)→~∃z(人z&悪zb)} A
  5 (6)   ~{~(親ab&愛ba)∨~∃z(人z&悪zb)} 5含意の定義
  5 (7)      (親ab&愛ba)& ∃z(人z&悪zb)  6ド・モルガンの法則
  5 (8)      (親ab&愛ba)              7&E
  5 (9)                 ∃z(人z&悪zb)  7&E
   ア(ア)                   (人c&悪cb)  A
  5ア(イ)         (親ab&愛ba)&(人c&悪cb)  8ア&I
  5ア(ウ)      ∃z{(親ab&愛ba)&(人z&悪zb)} イEI
  5 (エ)      ∃z{(親ab&愛ba)&(人z&悪zb)} 5アウ
  5 (オ)    ∃y∃z{(親ay&愛ya)&(人z&悪zy)} エEI
 4  (カ)    ∃y∃z{(親ay&愛ya)&(人z&悪zy)} 45オEI
 4  (キ)  ∃x∃y∃z{(親xy&愛yx)&(人z&悪zy)} カEI
1   (ク)  ∃x∃y∃z{(親xy&愛yx)&(人z&悪zy)} 14キEE
(ⅱ)
1   (1)  ∃x∃y∃z{(親xy&愛yx)&(人z&悪zy)} A
 2  (2)    ∃y∃z{(親ay&愛ya)&(人z&悪zy)} A
  3 (3)      ∃z{(親ab&愛ba)&(人z&悪zb)} A
   4(4)         (親ab&愛ba)&(人c&悪cb)  A
   4(5)         (親ab&愛ba)           4&E
   4(6)                   (人c&悪cb)  4&E
   4(7)                 ∃z(人z&悪zb)  6EI
  3 (8)                 ∃z(人z&悪zb)  347EE
  3 (9)      (親ab&愛ba)& ∃z(人z&悪zb)  48&I
  3 (ア)   ~{~(親ab&愛ba)∨~∃z(人z&悪zb)} 9ド・モルガンの法則
  3 (イ)    ~{(親ab&愛ba)→~∃z(人z&悪zb)} ア含意の定義
  3 (ウ)  ∃y~{(親ay&愛ya)→~∃z(人z&悪zy)} イEI
 2  (エ)  ∃y~{(親ay&愛ya)→~∃z(人z&悪zy)} 23ウEE
 2  (オ)∃x∃y~{(親xy&愛yx)→~∃z(人z&悪zy)} エEI
1   (カ)∃x∃y~{(親xy&愛yx)→~∃z(人z&悪zy)} 12オEE
1   (キ)∃x~∀y{(親xy&愛yx)→~∃z(人z&悪zy)} カ量化子の関係
1   (ク)~∀x∀y{(親xy&愛yx)→~∃z(人z&悪zy)} キ量化子の関係
従って、
(06)により、
(07)
① ~∀x∀y{(親xy&愛yx)→~∃z(人z&悪zy)}
② ∃x∃y∃z{(親xy&愛yx)&  (人z&悪zy)}
に於いて、
①=② である。
従って、
(05)(06)(07)により、
(08)
① 愛親者不必不敢惡一レ人。
② 親を愛する者は、必ずしも敢へて人に悪まれずんばあらず。
③ ∃x∃y∃z{(親xy&愛yx)&(人z&悪zy)}。
④ あるxとyとzについて{xはyの親であり、yはxを愛し、zは人であって、zはyを悪む}。
に於いて、
①=②=③=④ である。
従って、
(04)(08)により、
(09)
① 愛親者不敢惡於人。
② 愛親者不必不敢惡於人。
③   ∀x∀y{(親xy&愛yx)→~∃z(人z&悪zy)}。
④ ∃x∃y∃z{(親xy&愛yx)&(人z&悪zy)}。
に於いて、
①=③ であって、
②=④ である。
然るに、
(10)
① ~∃z(人z&悪z
② ~∃z(人z&悪z)
③ yを憎む人はゐない。
④ yは、人を憎まない。
に於いて、
①=③ であって、
②=④ である。
従って、
(01)(02)(10)により、
(11)
① 愛親者不敢惡於人(動態)。
② 愛親者不敢惡_人(動態)。
であれば、「順番」に、
③ ∀x∀y{(親xy&愛yx)→~∃z(人z&悪z)}。
④ ∀x∀y{(親xy&愛yx)→~∃z(人z&悪z)}。
である。
令和04年07月19日、毛利太。

2022年4月27日水曜日

「千里馬常有」の「述語論理(命題計算)」。

(01)
千里馬常有。
千里の馬は常に有り。
千里を走る名馬はいつでもいる。
(韓愈、雑説)
(02)
(ⅰ)
1   (1)∀x{馬x→∃x(千里x)} A
 2  (2)∃x(馬x)         A
1   (3)   馬a→∃x(千里x)  1UE
  4 (4)   馬a          A
1 4 (5)      ∃x(千里x)  A
   6(6)         千里a   A
  46(7)   千里a&馬a      46&I
  46(8)∃x(千里x&馬x)     7EI
1 4 (9)∃x(千里x&馬x)     568EE
12  (ア)∃x(千里x&馬x)     249EE
(ⅱ)
1  (1)∀x(馬x)→∃x(千里x) A
 2 (2)∀x(馬x)         A
12 (3)       ∃x(千里x) 12MPP
 2 (4)   馬a          2UE
  5(5)          千里a  A
 25(6)   馬a&千里a      45&I
 25(7)∃x(馬x&千里x)     6EI
12 (8)∃x(馬x&千里x)     35EE
従って、
(02)により、
(03)
① ∀x{馬x →∃x(千里x)},∃x(馬x)├ ∃x(千里x&馬x)
② ∀x(馬x)→∃x(千里x) ,∃x(馬x)├ ∃x(千里x&馬x)
といふ「推論」は、両方とも「妥当」である(?)。
然るに、
(04)
(a)論理式または命題関数において、量記号が現れる任意の箇所の作用範囲(スコープ)は、問題になっている変数が現れる少なくとも2つの箇所を含むであろう(その1つの箇所は量記号そのもののなかにある);
(b)論理式または命題関数において、量記号が現れる任意の箇所の作用範囲(スコープ)は、同じ変数を用いたいかなる他の量記号も含まないであろう。
(論理学初歩、E.J.レモン、竹尾 治一郎・浅野 楢英 訳、1973年、183頁改)
従って、
(03)(04)により、
(05)
① ∀x{馬x→∃x(千里x)}
といふ「述語論理式」は、
(b)論理式または命題関数において、量記号が現れる任意の箇所の作用範囲(スコープ)は、同じ変数を用いたいかなる他の量記号も含まないであろう。
といふ「制約」に「抵触」する。
然るに、
(06)
1     (1)馬a&馬b&馬c→ 千里a∨千里b ∨千里c     A
 2    (2)馬a&馬b&馬c                   A
12    (3)          千里a∨千里b ∨千里c     12MPP
12    (4)         (千里a∨千里b)∨千里c     3結合法則
12    (5)馬a                         2&E
12    (6)   馬b                      2&E
12    (7)      馬c                   2&E
  8   (8)          千里a∨千里b          A
   9  (9)          千里a              A
12 9  (ア)          千里a&馬a           59&I
12 9  (イ)(千里a&馬a)∨(千里b&馬b)          ア∨I
12 9  (ウ)(千里a&馬a)∨(千里b&馬b)∨(千里b&馬b) イ∨I
    エ (エ)              千里b          A
12  エ (オ)          千里b&馬b           6エ&I
12  エ (カ)(千里a&馬a)∨(千里b&馬b)          エ∨I
12  エ (キ)(千里a&馬a)∨(千里b&馬b)∨(千里b&馬b) ∨I
12    (ク)(千里a&馬a)∨(千里b&馬b)∨(千里b&馬b) 89ウエキ∨I
     ケ(ケ)                   千里c     A
12   ケ(コ)                   千里c&馬c  7ケ&I
12   ケ(サ)         (千里b&馬b)∨(千里b&馬b) コ∨I
12   ケ(シ)(千里a&馬a)∨(千里b&馬b)∨(千里b&馬b) サ∨I
12    (ス)(千里a&馬a)∨(千里b&馬b)∨(千里b&馬b) 48クケシ
従って、
(07)
③ 馬a&馬b&馬c→千里a∨千里b∨千里c,馬a&馬b&馬c├(千里a&馬a)∨(千里b&馬b)∨(千里b&馬b)
といふ「推論」は「妥当」であって、尚かつ、この場合は、「命題計算」であって、「述語計算」ではないため、固より、
(b)論理式または命題関数において、量記号が現れる任意の箇所の作用範囲(スコープ)は、同じ変数を用いたいかなる他の量記号も含まないであろう。
といふ「制約」が無い。
然るに、
(08)
③ 馬a&馬b&馬c→千里a∨千里b∨千里c,馬a&馬b&馬c├(千里a&馬a)∨(千里b&馬b)∨(千里b&馬b)
の場合は、
③{a,b,c}による、{3個}であるが、
③{a,b,c}の{個数}は{100個}であっても、{100万個}であっても、{1000億個}であっても、「同じ」ことである。
従って、
(02)~(08)により、
(09)
② ∀x(馬x)  →∃x(千里x),∃x(馬x)      ├ ∃x(千里x&馬x)
③ 馬a&馬b&馬c→千里a∨千里b∨千里c,馬a&馬b&馬c├(千里a&馬a)∨(千里b&馬b)∨(千里b&馬b)
に於いて、「本質的」に、
②=③ であって、尚且つ、
③ は、「妥当」であり、それ故、
② も、「妥当」である。
従って、
(03)(05)(09)により、
(10)
① ∀x{馬x →∃x(千里x)},∃x(馬x)├ ∃x(千里x&馬x)
② ∀x(馬x)→∃x(千里x) ,∃x(馬x)├ ∃x(千里x&馬x)
に於いて、
① は「妥当」ではなく、
② は「妥当」である。
然るに、
(10)により、
(11)
「読み方」として、
① すべてのxについて、xが馬ならば、あるxは千里である。
② すべてのxについて、xが馬ならば、あるxは千里である。
であるもの、
② すべてのxについて、xが馬ならば、あるxは千里である。
といふことは、
② 馬の中には、千里の馬がゐる。
といふことになる。
然るに、
(12)
② 馬の中には、千里の馬がゐる。
とすれば、
② 馬がゐれば、その中には、千里の馬がゐる。
といふ、ことになる。
従って、
(13)
② 馬がゐる。
といふことを、「否定」しない限り、「常に」、
② 千里の馬がゐる。
といふことも、「否定」出来ない。
従って、
(01)(10)~(13)により、
(14)
② 千里馬常有。⇔
② 千里の馬は常に有り。⇔
② 千里を走る名馬はいつでもいる。⇔
② ∀x(馬x)→∃x(千里x) ⇔
② すべてのxについて、xが馬ならば、あるxは千里である。
といふ「等式」が、成立する。
令和04年04月27日、毛利太。

2022年4月26日火曜日

「千里常有而伯楽不常有」の「述語論理」。

(01)
(ⅰ)
世有伯楽、然後有千里馬。
千里馬常有、而伯楽不常有。
故雖有名馬、祇辱於奴隷人之手、駢死於槽櫪之間、不以千里称也。
(ⅱ)
世有(伯楽)、然後有(千里馬)。
千里馬常有、而伯楽不(常有)。
故雖〔有(名馬)〕、祇辱〔於(奴隷人之手)〕、駢‐死〔於(槽櫪之間)〕、不〔以(千里)称〕也。
(ⅲ)
世(伯楽)有、然後(千里馬)有。
千里馬常有、而伯楽(常有)不。
故〔(名馬)有〕雖、祇〔(奴隷人之手)於〕辱、〔(槽櫪之間)於〕駢‐死、〔(千里)以称〕不也。
(ⅳ)
世に(伯楽)有りて、然る後に(千里の馬)有り。
千里の馬は常に有れども、伯楽は(常には有ら)不。
故に〔(名馬)有りと〕雖へども、祇だ〔(奴隷人の手)に〕辱められ、〔(槽櫪の間)に〕駢‐死し、〔(千里を)以て称せられ〕不る也。
(ⅴ)
世の中に(名馬を見分ける)伯楽という人があってはじめて、一日に千里も走るような名馬が見いだされる。
(ところで)千里を走る名馬はいつでもいるのだが、(それを見ぬく)伯楽がいつでもいるというものではない。
そこで、もしりっぱな馬がいたとしても、(それを名馬だと見ぬく人がいなければ)ただ低い身分の馬飼いの手にかかって粗末に扱われ、馬小屋の中で(他の普通の馬と)首をならべて死んでゆき、千里の名馬だとしてほめたたえられることもないのである。
(雑説・韓愈 日栄社 要説 諸子百家・文章、1970年、177頁)
然るに、
(02)
1  (1)∀x(馬x)→∃x(千里x) A
 2 (2)∀x(馬x)         A
12 (3)       ∃x(千里x) 12MPP
 2 (4)   馬a          2UE
  5(5)          千里a  A
 25(6)   馬a&千里a      45&I
 25(7)∃x(馬x&千里x)     6EI
12 (8)∃x(馬x&千里x)     35EE
従って、
(02)により、
(03)
(ⅰ)∀x(馬x)→∃x(千里x)
(ⅱ)∀x(馬x)
(ⅲ)∃x(馬x&千里x)
といふ「推論」、すなはち、
(ⅰ)すべてのxが馬ならば、あるxは千里である。
(ⅱ)あるxは(馬である)。 故に、
(ⅲ)あるxは(千里の馬である)。
といふ「推論」は「妥当」である。
然るに、
(04)
(ⅰ)
1  (1)~∀x{(千里x&馬x)→ ∃y(伯楽y& 飼yx)}  A
1  (2)∃x~{(千里x&馬x)→ ∃y(伯楽y& 飼yx)}  1量化子の関係
 3 (3)  ~{(千里a&馬a)→ ∃y(伯楽y& 飼ya)}  A
  4(4)   ~(千里a&馬a)∨ ∃y(伯楽y& 飼ya)   A
  4(5)    (千里a&馬a)→ ∃y(伯楽y& 飼ya)   4含意の定義
 34(6)  ~{(千里a&馬a)→ ∃y(伯楽y& 飼ya)}&
         {(千里a&馬a)→ ∃y(伯楽y& 飼ya)}  35&I
 3 (7) ~{~(千里a&馬a)∨ ∃y(伯楽y& 飼ya)}  46RAA
 3 (8)    (千里a&馬a)&~∃y(伯楽y& 飼ya)}  7ド・モルガンの法則
 3 (9)    (千里a&馬a)                 8&E
 3 (ア)             ~∃y(伯楽y& 飼ya)   8&E
 3 (イ)             ∀y~(伯楽y& 飼ya)   ア量化子の関係
 3 (ウ)               ~(伯楽b& 飼ba)   イUE
 3 (エ)                ~伯楽b∨~飼ba    ウ、ド・モルガンの法則
 3 (オ)                 伯楽b→~飼ba    エ含意の定義
 3 (カ)              ∀y(伯楽y→~飼ya)   オUI
 3 (キ)    (千里a&馬a)& ∀y(伯楽y→~飼ya)   9カ&I
 3 (ク) ∃x{(千里x&馬x)& ∀y(伯楽y→~飼yx)}  キEI
1  (ケ) ∃x{(千里x&馬x)& ∀y(伯楽y→~飼yx)}  13クEE
(ⅱ)
1  (1) ∃x{(千里x&馬x)& ∀y(伯楽y→~飼yx)}  A
1  (2)    (千里a&馬a)& ∀y(伯楽y→~飼ya)   A
1  (3)    (千里a&馬a)                 2&E
1  (4)              ∀y(伯楽y→~飼ya)   2&E
1  (5)                 伯楽b→~飼ba    4UE
1  (6)                ~伯楽b∨~飼ba    5含意の定義
1  (7)               ~(伯楽b& 飼ba)   6ド・モルガンの法則
1  (8)             ∀y~(伯楽y& 飼ya)   7UI
1  (9)             ~∃y(伯楽y& 飼ya)   8量化子の関係
1  (ア)    (千里a&馬a)&~∃y(伯楽y& 飼ya)   39&I
 イ (イ)    (千里a&馬a)→ ∃y(伯楽y& 飼ya)   A
1  (ウ)    (千里a&馬a)                 ア&E
1イ (エ)              ∃y(伯楽y& 飼ya)   イウMPP
 イ (オ)             ~∃y(伯楽y& 飼ya)   ア&E
1イ (カ)∃y(伯楽y& 飼ya)&~∃y(伯楽y& 飼ya)   エオ&I
1  (キ)  ~{(千里a&馬a)→ ∃y(伯楽y& 飼ya)}  イカRAA
1  (ク)∃x~{(千里x&馬x)→ ∃y(伯楽y& 飼yx)}  キEI
1  (ケ)~∀x{(千里x&馬x)→ ∃y(伯楽y& 飼yx)}  ク量化子の関係
従って、
(04)により、
(05)
① ~∀x{(千里x&馬x)→ ∃y(伯楽y& 飼yx)}
②  ∃x{(千里x&馬x)& ∀y(伯楽y→~飼yx)}
に於いて、すなはち、
① すべてのxについて{(xが千里で、xが馬である)ならば、あるyは(伯楽であって、xを飼ふ)}といふわけではない。
②      あるxは{(千里であって、馬である)が、いかなるyであっても(yが伯楽であるならば、yはxを飼はない)}。
に於いて、すなはち、
①{すべての千里の馬に対して、それを飼ふ伯楽がゐる}といふわけではない。
② ある{千里の馬は、伯楽によって飼はれるといふことがない}。
に於いて、
①=② である。
従って、
(03)(05)により、
(06)
(ⅰ)  ∀x(馬x)→∃x(千里x)
(ⅱ)  ∀x(馬x)
(ⅲ)  ∃x(千里x&馬x)
(ⅳ)~∀x{(千里x&馬x)→∃y(伯楽y&飼yx)}
といふ「述語論理式」は、
(ⅰ)すべてのxが馬ならば、あるxは千里である。
(ⅱ)あるxは(馬である)。   故に、
(ⅲ)あるxは(千里の馬である)。然るに、
(ⅳ)すべてのxについて{(xが千里で、xが馬である)ならば、あるyは(伯楽であって、xを飼ふ)}といふわけではない。
といふ「意味」である。
然るに、
(01)により、
(07)
「世有伯楽、然後有千里馬。千里馬常有、而伯楽不常有。」
といふ「漢文」は、
「世の中に伯楽という人があってはじめて、一日に千里も走るような名馬が見いだされる。千里を走る名馬はいつでもいるのだが、伯楽がいつでもいるというものではない。」
といふ「意味」である。
従って、
(06)(07)により、
(08)
「世有伯楽、然後有千里馬。千里馬常有、而伯楽不常有。」
といふ「漢文」は、「述語論理」としては、概ね
「∀x(馬x)→∃x(千里x),∀x(馬x)├ ∃x(千里x&馬x),~∀x{(千里x&馬x)→∃y(伯楽y&飼yx)}」
といふ「意味」である。
然るに、
(09)
現在のコンピュータ、人工知能にも原理的にできないことがあります。述語論理の演繹かどうかの判定なんて、絶対できないです
(佐野 勝彦 北海道大学大学院文学研究院哲学倫理学研究室 准教授)
従って、
(08)(09)により、
(10)
私には出来るのに、AIは、「原理的」に、
「世有伯楽、然後有千里馬。千里馬常有、而伯楽不常有。」
のやうな「漢文」を、「述語論理」には、「翻訳」出来ないやうであるが、
何となく、本当だらうかと、思はれる。
令和04年04月26日、毛利太。

2022年4月25日月曜日

「今両虎共闘不俱生」の「述語論理」(Ⅳ)。

(01)
今両虎共闘、其勢不俱生=
今両虎共闘、其勢不(俱生)⇒
今両虎共闘、其勢(俱生)不=
今両虎共に闘はば、其の勢ひ(俱には生)ず=
もし、二頭の虎が闘へば、成り行きとして、両方が、ともに生きることはない(どちらかが死ぬ)。
cf.
今ここで我々両雄が争ったならば、ことの成りゆきから二人は両立できないだろう。
(史記「刎頸之交」、日栄社 要説 十八史略・史記、1970年、155頁)
然るに、
(02)
(ⅰ)
1   (1)∀x∀y{虎x&虎y&闘xy→~(生x&生y)} A
1   (2)  ∀y{虎a&虎y&闘ay→~(生a&生y)} 1UE
1   (3)     虎a&虎b&闘ab→~(生a&生b)  2UE
 4  (4)     虎a&虎b               A
  5 (5)           闘ab           A
 45 (6)     虎a&虎b&闘ab           45&I
145 (7)               ~(生a&生b)  36MPP
145 (8)               ~生a∨~生b   7ド・モルガンの法則
145 (9)                生a→~生b   8含意の定義
14  (ア)           闘ab→(生a→~生b)  59CP
   イ(イ)           闘ab& 生a       A
   イ(ウ)           闘ab           イ&E
14 イ(エ)                生a→~生b   アウMPP
   イ(オ)                生a       イ&E
14 イ(カ)                   ~生b   エオMPP
14  (キ)           闘ab&生a→ ~生b   イカCP
1   (ク)     虎a&虎b→(闘ab&生a→~生b)  4キCP
1   (ケ)  ∀y{虎a&虎y→(闘ay&生a→~生y)} クUI
1   (コ)∀x∀y{虎x&虎y→(闘xy&生x→~生y)} ケUI
(ⅱ)
1   (1)∀x∀y{虎x&虎y→(闘xy&生x→~生y)} A
1   (2)  ∀y{虎a&虎y→(闘ay&生a→~生y)} 1UE
1   (3)     虎a&虎b→(闘ab&生a→~生b)  2UE
 4  (4)     虎a&虎b&闘ab           A
 4  (5)     虎a&虎b               4&E
14  (6)           (闘ab&生a→~生b)  35MPP
 4  (7)            闘ab          4&E
  8 (8)                生a       A
 48 (9)            闘ab&生a       78&I
148 (ア)                   ~生b   69MPP
14  (イ)                生a→~生b   8アCP
14  (ウ)               ~生a∨~生b   イ含意の定義
14  (エ)               ~(生a&生b)  ウ、ド・モルガンの法則
1   (オ)     虎a&虎b&闘ab→~(生a&生b)  4エCP
1   (カ)  ∀y{虎a&虎y&闘ay→~(生a&生y)} 2UI
1   (キ)∀x∀y{虎x&虎y&闘xy→~(生x&生y)} カUI
従って、
(02)により、
(03)
① ∀x∀y{虎x&虎y&闘xy→~(生x&生y)}
② ∀x∀y{虎x&虎y→(闘xy&生x→~生y)}
③ ∀x∀y{虎x&虎y→(闘yx&生y→~生x)}
に於いて、すなはち、
① すべてのxとyについて{xが虎でyも虎で、xとyが闘ふならば、(xが生きて、その上、yも生きる)といふことは無い}。
② すべてのxとyについて{xが虎でyも虎ならば、(xとyが闘ってxが生きるのであれば、yは死ぬ)}。
③ すべてのxとyについて{xが虎でyも虎ならば、(yとxが闘ってyが生きるのであれば、xは死ぬ)}。
に於いて、
①=②=③ であるものの、
この「等式」であれば、AIにも、「理解(?)」出来るかも知れない。
然るに、
(04)
この場合に、
虎=相如
虎=廉将軍
であることも、AIにも、「理解(?)」出来かも知れない。
然るに、
(05)
相如曰、
「夫以秦王之威、而相如廷叱之、辱其群臣。
相如雖駑、独畏廉将軍哉。
顧吾念之、彊秦之所以不敢加兵於趙者、徒以吾両人在也。
今両虎共闘、其勢不俱生。
吾所以為此者、以先国家之急、而後私讎也。」
の「全体」を、従って、
相如曰はく、
「夫れ秦王の威を以てしても、相如之を廷叱して、其の群臣を辱む。
相如駑なりと雖も、独り廉将軍を畏れんや。
顧だ吾之を念ふに、彊秦の敢へて兵を趙に加へざる所以の者は、徒だ吾が両人の在るを以てなり。
今両虎共に闘はば、其の勢ひ俱には生きざらん。
の「全体」を、AIが、「述語論理」に「翻訳」することは、恐らく『無理』である。
(06)
例へば、
其勢不俱生。
で使はれてゐる、
其の勢ひその成り行き
などといふ「言葉」を、「述語論理」に翻訳することは、固より、「不可能」に決まってゐます。
(07)
皆さんが家庭で使っているコンピュータ、最近よく耳にする「人工知能」という言葉。歴史を紐解けば、推論の正しさを研究する論理学がなければ、コンピュータも人工知能研究もなかったかもしれません(佐野 勝彦 北海道大学大学院文学研究院哲学倫理学研究室 准教授)。
とのことなのですが、私自身は、AIのことを、何も分かってはゐません。
令和04年04月25日、毛利太。

2022年4月3日日曜日

「漢文」も「述語論理」も「人工言語」である。

(01)
① 無象非動物(象にして動物に非ざるは無し)。
② 象者動物也(象は動物なり)。
③ 弟子不必不如師(弟子は必ずしも師に如かずんばあらず)。
④ 弟子有大於其師者(弟子に其の師よりも大なる者有り)。
に於いて、
①=② であって、
③=④ である。
従って、
(02)
①(xが象であって、xが動物ではない)といふ、そのやうなxは存在しない。
② すべてのxについて(xが象であるならば、xは動物である)。
③(すべてのxについて(xが弟子であるならば、あるyはxの師であって、xはyに及ばない))といふわけではない。
④ あるxは弟子であって、すべてのyについて(yがxの師であるならば、xはy以上である)。
に於いて、
①=② であって、
③=④ である。
従って、
(03)
① ~∃x(象x&~動物x)
②  ∀x(象x→ 動物x)
③ ~∀x{弟子x→∃y(師yx&x<y)}
④   ∃x{弟子x&∀y(師yx→x≧y)}
に於いて、
①=② であって、
③=④ である。
然るに、
(04)
(ⅰ)
1   (1)~∃x(象x&~動物x)  A
 2  (2)    象a&~動物a   A
 2  (3) ∃x(象x&~動物x)  A
12  (4)~∃x(象x&~動物x)&
        ∃x(象x&~動物x)  13&I
1   (5)  ~(象a&~動物a)  2RAA
  6 (6)    象a        A
   7(7)       ~動物a   A
  67(8)    象a&~動物a   67&I
167 (9)  ~(象a&~動物a)&
          (象a&~動物a)  58&I
16  (ア)      ~~動物a   79RAA
16  (イ)        動物a   アDN
1   (ウ)    象a→ 動物a   6イCP
1   (エ) ∀x(象x→ 動物x)  ウUI
(ⅱ)
1   (1) ∀x(象x→ 動物x)  A
1   (2)    象a→ 動物a   A
 3  (3) ∃x(象x&~動物x)  A
  4 (4)    象a&~動物a   A
  4 (5)    象a        4&E
1 4 (6)        動物a   25MPP
  4 (7)       ~動物a   4&E
1 4 (8)   動物a&~動物a   67&I
  4 (9)~∀x(象x→ 動物x)  18RAA
1 4 (ア) ∀x(象x→ 動物x)&
       ~∀x(象x→ 動物x)  19&I
13  (イ) ∀x(象x→ 動物x)&
       ~∀x(象x→ 動物x)  34EE
1   (ウ)~∃x(象x&~動物x)  3イRAA
(ⅲ)
1  (1)~∀x{ 弟子x→ ∃y(師yx&x<y)}  A
1  (2)∃x~{ 弟子x→ ∃y(師yx&x<y)}  1量化子の関係
 3 (3)  ~{ 弟子a→ ∃y(師ya&a<y)}  A
  4(4)    ~弟子a∨ ∃y(師ya&a<y)   A
  4(5)     弟子a→ ∃y(師ya&a<y)   4含意の定義
 34(6)  ~{ 弟子a→ ∃y(師ya&a<y)}&
         { 弟子a→ ∃y(師ya&a<y)}  35&I
 3 (7)  ~{~弟子a∨ ∃y(師ya&a<y)}  46RAA
 3 (8)     弟子a&~∃y(師ya&a<y)   7ド・モルガンの法則
 3 (9)     弟子a                8&E
 3 (ア)         ~∃y(師ya&a<y)   8&E
 3 (イ)         ∀y~(師ya&a<y)   ア量化子の関係
 3 (ウ)           ~(師ba&a<b)   イUE
 3 (エ)            ~師ba∨a≧b    ウ、ド・モルガンの法則
 3 (オ)             師ba→a≧b    エ含意の定義
 3 (カ)          ∀y(師ya→a≧y)   オUI
 3 (キ)     弟子a& ∀y(師ya→a≧y)   9カ&I
 3 (ク)  ∃x{弟子x& ∀y(師yx→x≧y)}  キEI
1  (ケ)  ∃x{弟子x& ∀y(師yx→x≧y)}  13クEE
(ⅳ)
1  (1)  ∃x{弟子x&∀y(師yx→x≧y)} A
 2 (2)     弟子a&∀y(師ya→a≧y)  A
 2 (3)     弟子a              2&E
 2 (4)         ∀y(師ya→a≧y)  2&E
 2 (5)            師ba→a≧b   4UE
 2 (6)           ~師ba∨a≧b   5含意の定義
 2 (7)          ~(師ba&a<b)  6ド・モルガンの法則
 2 (8)        ∀y~(師ya&a<y)  7UI
 2 (9)        ~∃y(師ya&a<y)  8量化子の関係
  ア(ア)     弟子a→∃y(師ya&a<y)  A
 2ア(イ)         ∃y(師ya&a<y)  3アMPP
 2ア(ウ)        ~∃y(師ya&a<y)&
               ∃y(師ya&a<y)  9イ&I
 2 (エ)   ~{弟子a→∃y(師ya&a<y)} アウRAA
 2 (オ) ∃x~{弟子x→∃y(師yx&x<y)} エEI
1  (カ) ∃x~{弟子x→∃y(師yx&x<y)} 12オEE
1  (キ) ~∀x{弟子x→∃y(師yx&x<y)} カ量化子の関係
従って、
(03)(04)により、
(05)
果たして、
① ~∃x(象x&~動物x)
②  ∀x(象x→ 動物x)
③ ~∀x{弟子x→∃y(師yx&x<y)}
④ ∃x{弟子x&∀y(師yx→x≧y)}
に於いて、
①=② であって、
③=④ である。
従って、
(01)~(05)により、
(06)
① 無象非動物。
② 弟子不必不如師。
③ ~∃x(象x&~動物x)
④ ~∀x{弟子x→∃y(師yx&x<y)}
に於いて、
①=③ であって、
②=④ である。
然るに、
(07)
言ふまでもなく、
③ ~∃x(象x&~動物x)
④ ~∀x{弟子x→∃y(師yx&x<y)}
といふ「述語論理式」は、「人工言語」である。
然るに、
(08)
日本語や英語、中国語(現代でなく、過去の中国語も含む)は、自然言語である。しかし漢文は、自然言語を土台にした人工言語だ(加藤徹、白文攻略 漢文ひとり学び、2013年、8頁)。中国の口語文(白話文)も、漢文とおなじように漢字を使っていますが、もともと二つのちがった体系で、単語も文法もたいへんちがうのですから、いっしょにあつかうことはできません。漢文と中国語は別のものです(魚返善雄、漢文入門、1966年、17頁)。しからば、口語はAxByであるものを、文章語はABとつづめても、これはこれで完全な文となり得る。かくして記載語のABは、はじめから口語のAxByと別のものとして発生し、存在したと思われる(吉川幸次郎、漢文の話、1962年、59頁)。
従って、
(06)(07)(08)により、
(09)
① 無象非動物。
② 弟子不必不如師。
といふ「漢文」も、「人工言語」である。
然るに、
(10)
日常言語の文から述語計算の文の翻訳のためには、一般にあたまが柔軟であることが必要である。なんら確定的な規則があるわけでなく、量記号に十分に馴れるまでには、練習を積むことが必要である。そこに含まれている仕事は翻訳の仕事に違いないけれども、しかしそこへ翻訳が行われる形式言語は、自然言語のシンタックスとは幾らか違ったシンタックスをもっており、また限られた術語―論理的結合記号、変数、固有名、述語文字、および2つの量記号―しかももたない。その言語のおもな長所は、記法上の制限にもかかわらず、非常に広範な表現能力をもっていることである(E.J.レモン 著、武生治一郎・浅野楢英 訳、論理学初歩、1973年、130頁)。
Flexibility of mind is generally required for translating from ordinary speech into sentences of the predicate calculus. No firm rules can be given, and practice is needed before full familiarity with quantifiers is reached. The activity involved is one of translation; but the formal language into which translation is being made has a rather different from that of a natural language,and has only a narrow terminology―logical connectives, variables, proper names, predicate-letters, and two quantifiers. The chief merit of the language is that, despite its notational limitations, it has a very wide expressive power(E.J.Lemmon, Beginning Logic, First published in Great Britain 1965).
(11)
記号論理学は、英語などヨーロッパ語を母国語とする文化圏でもっぱら開発された学門であるにもかかわらず、論理学者母語よりも日本語のような外国語の文法合致している部分が少なくない(もちろん逆もある)。このことは、論理学が、ローカルな日常言語ではなく言語的な普遍論理をかなり再現しおおせている証しと言えるだろう(三浦俊彦、ラッセルのパラドックス、2005年、105頁)。
従って、
(07)~(11)により、
(12)
① 無〔象非(動物)〕。
② 弟子不[必不〔如(師)〕]。
③ ~∃x(象x&~動物x)
④ ~∀x{弟子x→∃y(師yx&x<y)}
に於いて、これらは、4つとも、「人工言語」であるが、
③ ~∃x(象x&~動物x)
④ ~∀x{弟子x→∃y(師yx&x<y)}
に関しては、それを「理解」する際に、「英語が出来ること」は、「アドバンテージ」にはならない。
然るに、
(13)
大学(京都帝国大学)に入った二年め(昭和5年)の秋、倉石武四郎先生が中国の留学から帰られ、授業を開始されたことは、私だけではなく、当時の在学生に一大衝撃を与えた。先生は従来の漢文訓読を全くすてて、漢籍を読むのにまず中国語の現代の発音に従って音読し、それをただちに口語に訳することにすると宣言されたのである。この説はすぐさま教室で実行された。私どもは魯迅の小説集『吶喊』と江永の『音学弁徴』を教わった。これは破天荒のことであって、教室で中国の現代小説を読むことも、京都大学では最初であり、全国のほかの大学でもまだなかったろうと思われる。
(『心の履歴』、「小川環樹著作集 第五巻」、筑摩書房、176頁)
(14)
大学では、これまでなじみのある訓読という方法によらず、現代中国語の知識を前提として、中国語の音によってそのまま読んでいきます。音そのもののひびきの美しさを体得できるよう、古典・現代のいずれに関心がある場合でも、入学後は現代中国語を充分に習得してください
(京都大学、文学部受験生向けメッセージ)
従って、
(12)(13)(14)により、
(15)
① 無〔象非(動物)〕。
② 弟子不[必不〔如(師)〕]。
③ ~∃x(象x&~動物x)
④ ~∀x{弟子x→∃y(師yx&x<y)}
に於いて、これらは、4つとも、「人工言語」であるが、
① 無〔象非(動物)〕。
② 弟子不[必不〔如(師)〕]。
に関しては、それを「理解」する際に、「中国語が出来ること」が、「アドバンテージ」になる。
といふ風に、「京都大学の漢文の先生」は、思ってゐる。
然るに、
(16)
③ ~∃x(Zx&~Dx)
④ ~∀x{Tx→∃y(Syx&x<y)}
といふ「式」がさうであるやうに、固より、「人工言語」は、「英語」で読んでも、「日本語」で読んでも、「中国語」で読んでも、「支障」は無い。
従って、
(15)(16)により、
(17)
「京都大学の漢文の先生」は、
① 無〔象非(動物)〕。
② 弟子不[必不〔如(師)〕]。
といふ「漢文」を、「人工言語」ではなく、「自然言語」である。
といふ風に、思ってゐる。
令和04年03日、毛利太。

2021年10月27日水曜日

「返読文字」としての「有(have)」について。

(01)
返読文字とは、そのような「他動詞」や「助動詞」以外に、日本語と逆の語順になる漢字のことです。
入試で頻出となる返読文字は以下です。
① 有無を表す表現 …「」「無」「多」「少」
(ViCOLLA Magazine)
然るに、
(02)
」は「もつ」が原義だから「・・・・がある」にあたり、「・・・・である」ではない。
(中沢希男、同訓異字辞典、1980年、21頁)
従って、
(01)(02)により、
(03)
(返読文字)」は、「他動詞」ではないと、言ふものの、
① 我父母。
② I have parents.
に於いて、
①=② であるため、
(have)」は、「他動詞」である。
然るに、
(04)
父母。
② have parents.
に於いて、
①=② であるが、
① は、「漢文」として、「正しい」が、
② は、「英文」として、「正しく」はない。
従って、
(04)により、
(05)
父母(父母あり)。
② 父母(父母あり)。
といふ「語順」に於いて、
① は、「漢文」として、「正しい」が、
② は、「漢文」として、「正しく」はない
従って、
(05)により、
(06)
①  世有伯楽 (世に伯楽有り)。
② 千里馬常 (千里の馬は常に有り)。
③ 千里馬常有之(千里の馬は常に、之れ有り)。
といふ「語順」に於いて、
② の「語順」は、「漢文」としては、「破格」である。
然るに、
(07)
② 常識、常備、常駐、常在
等がさうであるやうに、
② 常有
が、「名詞」であるならば、
② 千里馬(主語)+常有(述語)。
であるため、
② 千里馬常有(千里の馬は常に有り)。
であっても、「破格」ではない
然るに、
(08)
(ⅰ)
1  (1)  ~∀x(Fx)  A
 2 (2) ~∃x(~Fx)  A
  3(3)     ~Fa   A
  3(4)  ∃x(~Fx)  3EI
 23(5) ~∃x(~Fx)&
        ∃x(~Fx)  24&I
 2 (6)    ~~Fa   3RAA
 2 (7)      Fa   6DN
 2 (8)   ∀x(Fx)  7UI
12 (9)  ~∀x(Fx)&
         ∀x(Fx)  18&I
1  (ア)~~∃x(~Fx)  29RAA
1  (イ)  ∃x(~Fx)  アDN
(ⅱ)
1  (1)  ∃x(~Fx)  A
 2 (2)   ∀x(Fx)  A
  3(3)     ~Fa   A
 2 (4)      Fa   2UE
 23(5)  ~Fa&Fa   34&I
  3(6)  ~∀x(Fx)  25RAA
1  (7)  ~∀x(Fx)  136EE
従って、
(08)により、
(09)
① ~∀x(Fx)
② ∃x(~Fx)
に於いて、すなはち、
① すべてのxが、Fである。といふわけではない。
②   あるxは、Fでない。
に於いて、
①=② である(量化子の関係)。
従って、
(09)により、
(10)
① ~∀x{千里馬x→∃y(伯楽yx)}
② ∃x~{千里馬x→∃y(伯楽yx)}
に於いて、
①=② である(量化子の関係)。
然るに、
(11)
(ⅰ)
1 (1)~∀x{千里馬x→∃y(伯楽yx)} A
1 (2)∃x~{千里馬x→∃y(伯楽yx)} 1量化子の関係
 3(3)  ~{千里馬a→∃y(伯楽ya)} A
 3(4) ~{~千里馬a∨∃y(伯楽ya)} 3含意の定義
 3(5)   千里馬a&~∃y(伯楽ya)  4ド・モルガンの法則
 3(6)∃x{千里馬x&~∃y(伯楽yx)} 5EI
1 (7)∃x{千里馬x&~∃y(伯楽yx)} 136EE
(ⅱ)
1 (1)∃x{千里馬x&~∃y(伯楽yx)} A
 2(2)   千里馬a&~∃y(伯楽ya)  A
 2(3) ~{~千里馬a∨∃y(伯楽ya)} 2ド・モルガンの法則
 2(4)  ~{千里馬a→∃y(伯楽ya)} 3含意の定義
 2(5)∃x~{千里馬x→∃y(伯楽yx)} 4EI
1 (6)∃x~{千里馬x→∃y(伯楽yx)} 125EE
1 (7)~∀x{千里馬x→∃y(伯楽yx)} 6量化子の関係
従って、
(11)により、
(12)
① ~∀x{千里馬x→∃y(伯楽yx)}
② ∃x{千里馬x&~∃y(伯楽yx)}
に於いて、すなはち、
① すべてのxについて、xが千里馬であるならば、あるyがxの伯楽である。といふわけではない。
② あるxは、千里馬であって、xの伯楽であるyは、存在しない。
に於いて、すなはち、
① すべての千里馬に対して、伯楽がゐる。といふわけではない。
② 伯楽がゐない所の、千里の馬がゐる
に於いて、
①=② である。
然るに、
(13)
千里馬常有、而伯楽不常有
千里の馬は常有れども、伯楽は常には有らず。
一日に千里走る名馬はいつもいるのであるが、(これを見わける)伯楽はいつもいるとはかぎらないのである。
◇ 千里馬常有、而伯楽不常有
「不常~」は「常ニハ~ず」と読み、「いつも~とはかぎらない」の意を示す一部否定の形。
全部否定は「常不」の形で「常に~ず」と読み、「いつもかならず~ない」の意味をあらわす。
(旺文社、漢文の基礎、1973年、153・4・5頁)
従って、
(12)(13)により、
(14)
① 千里馬常有、而伯楽不常有
といふ「漢文(部分否定)」は、
① ~∀x{千里馬x→∃y(伯楽yx)}
といふ「述語論理式」に、「相当」する。
令和03年10月27日、毛利太。

2021年8月21日土曜日

「人(他人)皆有兄弟」の「述語論理」。

(01)
(ⅰ)
1  (1)   ∀x{人x→ ∃y(兄弟yx)} A
 2 (2)   ∃x{人x&~∃y(兄弟yx)} A
1  (3)      人a→ ∃y(兄弟ya)  1UE
  4(4)      人a&~∃y(兄弟ya)  A
  4(5)      人a            1&E
1 4(6)          ∃y(兄弟ya)  35MPP
  4(7)         ~∃y(兄弟ya)  4&E
1 4(8)∃y(兄弟ya)&~∃y(兄弟ya)  67&I
12 (9)∃y(兄弟ya)&~∃y(兄弟ya)  248EE
1  (ア)  ~∃x{人x&~∃y(兄弟yx)} 29RAA
(ⅱ)
1  (1)~∃x{人x&~∃y(兄弟yx)}  A
 2 (2)    人a             A
  3(3)       ~∃y(兄弟ya)   A
 23(4)    人a&~∃y(兄弟ya)   24&I
 23(5) ∃x{人x&~∃y(兄弟yx)}  4EI
123(6)~∃x{人x&~∃y(兄弟yx)}&
       ∃x{人x&~∃y(兄弟yx)}  15&I
12 (7)      ~~∃y(兄弟ya)   36RAA
12 (8)        ∃y(兄弟ya)   7DN
1  (9)    人a→ ∃y(兄弟ya)   28CP
1  (ア) ∀x{人x→ ∃y(兄弟yx)}  1UI
(02)
(ⅱ)
1  (1)~∃x{人x&~∃y(兄弟yx)} A
1  (2)∀x~{人x&~∃y(兄弟yx)} 1量化子の関係
1  (3)  ~{人a&~∃y(兄弟ya)} 1UE
1  (4)   ~人a∨ ∃y(兄弟ya)  3ド・モルガンの法則
1  (5)    ∃y(兄弟ya)∨~人a  4交換法則
1  (6)   ~∃y(兄弟ya)→~人a  5含意の定義
1  (7)∀x{~∃y(兄弟yx)→~人x} 6UI
(ⅲ)
1  (1)∀x{~∃y(兄弟yx)→~人x} A
1  (2)   ~∃y(兄弟ya)→~人a  1UE
1  (3)    ∃y(兄弟ya)∨~人a  2含意の定義
1  (4)   ~人a∨ ∃y(兄弟ya)  3交換法則
1  (5)  ~{人a&~∃y(兄弟ya)} 4ド・モルガンの法則
1  (6)∀x~{人x&~∃y(兄弟yx)} 5UI
1  (7)~∃x{人x&~∃y(兄弟yx)} 6量化子の関係
従って、
(01)(02)により、
(03)
①  ∀x{人x→ ∃y(兄弟yx)}
② ~∃x{人x&~∃y(兄弟yx)}
③ ∀x{~∃y(兄弟yx)→~人x}
に於いて、
①=② であって、
②=③ である。
従って、
(03)により、
(04)
① すべてのxについて{xが人であるならば、あるyは(xの兄弟である)}。
② {人であって、あるyが(xの兄弟ではない)といふ、そのやうな}xは存在しない。
③ すべてのxについて{あるyが(xの兄弟ではない)ならば、xは人ではない}。
に於いて、
①=②=③ である。
然るに、
(05)
(ⅰ)
① 人皆有兄弟=
① 人皆有(兄弟)⇒
① 人皆(兄弟)有り=
① 人には皆、兄弟が有る(論語、顔淵)。
(ⅱ)
② 無人不有兄弟=
② 無[人不〔有(兄弟)〕]⇒
② [人にして〔(兄弟の)有ら〕不るは]無し=
② 人であって、兄弟がゐないものは、無い(作例)。
(ⅲ)
③ 無兄弟非人也=
③ 無(兄弟)非(人)也⇒
③ (兄弟)無くんば(人に)非ざるなり=
③ 兄弟がゐなければ、人ではないのである(作例)。
従って、
(03)(04)(05)により、
(06)
①  ∀x{人x→ ∃y(兄弟yx)}= 人皆有兄弟(人には皆、兄弟が有る)。
② ~∃x{人x&~∃y(兄弟yx)}=無人不有兄弟(人であって、兄弟がゐないものは、無い)。
③ ∀x{~∃y(兄弟yx)→~人x}=無兄弟非人也(兄弟がゐなければ、人ではないのである)。
に於いて、
①=②=③ である。
然るに、
(07)
司馬牛憂曰、
人皆有兄弟。
我独亡。

司馬牛憂へて曰はく、
人は皆兄弟有り。
我独り亡し。

司馬牛は思い悩みながら言った。
人は皆、兄弟がいます。
私だけ、兄弟がいません。
(論語、顔淵)

従って、
(06)(07)により、
(08)
③ 兄弟がゐなければ、人ではないが、
③ 司馬牛には、兄弟がゐない。
従って、
(08)により、
(09)
③ 司馬牛には、兄弟がゐないので、
③ 司馬牛は、人ではない
然るに、
(10)
③ 司馬牛は、人である
cf.
?-BC481以降。氏は司馬、名は耕、字は子牛。百度百科によると姓は向。『孔子家語』によると宋の出身で、兄は孔子の命を狙った宋国司馬(元帥)の桓魋(カンタイ)だという。
(『論語』全文・現代語訳)
従って、
(09)(10)により、
(11)
③ 司馬牛は、人ではないが、
③ 司馬牛は、人である
従って、
(06)~(11)により、
(12)
① ∀x{人x→∃y(兄弟yx)}=人皆有兄弟(人には皆、兄弟が有る)。
③ 司馬牛独亡(司馬牛といふ人だけは、兄弟がゐない)。
に於いて、
①と③ は、「矛盾」する。
然るに、
(13)
【人】ジン、ニン
他人。〔論語、雍也〕己欲達而達人。
(大修館、大漢和辞典)
従って、
(13)により、
(14)
③「人」といふ漢字には、
自分(己)以外の他人。
といふ「意味」がある。
従って、
(12)(13)(14)により、
(15)
① ∀x{人x→∃y(兄弟yx)}
に於ける「人」は、「人」の「意味」であって、
① 人皆有兄弟=人には皆、兄弟が有る。
に於ける「人」は、「他人(自分以外の人)」といふ「意味」である。
従って、
(12)~(15)により、
(16)
① ∀x{人x→∃y(兄弟yx)}=人皆有兄弟(人には皆、兄弟が有る)。
といふ「等式」ではなく、
① ∀x{人x→∃y(兄弟yx)}人皆有兄弟(人には皆、兄弟が有る)。
といふ「等式」が、正しい。
然るに、
(17)
一階述語論理は、数学のほぼ全領域を形式化するのに十分な表現力を持っている。実際、現代の標準的な集合論の公理系 ZFC は一階述語論理を用いて形式化されており、数学の大部分はそのように形式化された ZFC の中で行うことができる(ウィキペディア)。
然るに、
(18)
例へば、
司馬牛憂曰、
人皆有兄弟。
我独亡。
子夏曰、
商聞之矣。
死生有命、富貴在天。
君子敬而無失、与人恭而有礼、四海之内、皆為兄弟也。
君子何患乎無兄弟也。
(論語、顔淵)
といふ「漢文」全体を、「述語論理」で記述することは、言ふ迄もなく、「可能」ではない
従って、
(17)(18)により、
(19)
階述語論理は、数学のほぼ全領域を形式化するのに十分な表現力を持っているが、
漢文の一部ではなく、漢文の全域を、述語論理で記述することは、「可能」ではない
令和03年08月21日、毛利太。

2021年7月4日日曜日

「無象非動物」といふ「漢文」の「述語論理」。

(01)
① 無象非動物=
① 無象非動物
① 無〔象非(動物)〕⇒
① 〔象(動物)非〕無=
① 〔象にして(動物に)非ざる〕無し=
① いかなる象であっても、動物でない象は、存在しない。
然るに、
(02)
① 動物でない象は、存在しない。
といふことは、
② 存在し得る象は、すべて動物である。
といふことであって、
② 存在し得る象は、すべて動物である。
といふことは、
② すべての象は、動物である。
といふ、ことである。
然るに、
(03)
(ⅰ)
1(1)~∃x(象x&~動物x) A
1(2)∀x~(象x&~動物x) 1量化子の関係
1(3)  ~(象a&~動物a) 2UE
1(4)   ~象a∨ 動物a  3ド・モルガンの法則
1(5)    象a→ 動物a  含意の定義
1(6) ∀x(象x→ 動物x) 5UI
(ⅱ)
1(1) ∀x(象x→ 動物x) A
1(2)    象a→ 動物a  1UE
1(3)   ~象a∨ 動物a  2含意の定義
1(4)  ~(象a&~動物a) 3ド・モルガンの法則
1(5)∀x~(象a&~動物a) 4UI
1(6)~∃x(象x&~動物x) 5量化子の関係
従って、
(03)により、
(04)
① ~∃x(象x&~動物x)
②  ∀x(象x→ 動物x)
に於いて、すなはち、
①(xが象であって、xが動物ではないといふ)そのやうなxは存在しない。
② すべてのxについて、xが象であるならば、xは動物である。
に於いて、
①=② である。
然るに、
(05)
①(xが象であって、xが動物ではないといふ)そのやうなxは存在しない。
② すべてのxについて、xが象であるならば、xは動物である。
といふことは、
① 動物でない象は、存在しない。
② すべての象は、動物である。
といふ、ことである。
従って、
(01)~(05)により、
(06)
① 無象非動物。
といふ「漢文」は、
① ~∃x(象x&~動物x)
といふ「述語論理式」に、「等しい」。
(07)
{すべてのx}が、
{a、b、c}であるとして、
① ~∃x(象x&~動物x)
②  ∀x(象x→ 動物x)
といふ「述語論理式」は、
①~{(象a&~動物a)∨(象b&~動物b)∨(象c&~動物c)}
②  (象a→ 動物a)&(象b→ 動物b)&(象c→ 動物c)}
といふ「論理式」に、「相当」する。
然るに、
(08)
(ⅰ)
1(1)~{(象a&~動物a)∨ (象b&~動物b)∨ (象c&~動物c)} A
1(2) ~(象a&~動物a)&~(象b&~動物b)&~(象c&~動物c)  1ド・モルガンの法則
(ⅲ)
1(1) ~(象a&~動物a)&~(象b&~動物b)&~(象c&~動物c)  A
1(2)~{(象a&~動物a)∨ (象b&~動物b)∨ (象c&~動物c)} 1ド・モルガンの法則
従って、
(08)により、
(09)
① ~{(象a&~動物a)∨ (象b&~動物b)∨ (象c&~動物c)}
③   ~(象a&~動物a)&~(象b&~動物b)&~(象c&~動物c)
に於いて、
①=③ である。
従って、
(09)により、
(10)
③ ~(象a&~動物a)&~(象b&~動物b)&~(象c&~動物c)
といふことは、
③(aが象であって、そのaが動物でない)といふことはないし、
③(bが象であって、そのbが動物でない)といふことはないし、
③(cが象であって、そのcが動物でない)といふことはない。
といふことであって、そのため、
{すべてのx}が、
{a、b、c}であるとして、
③{(象が動物でない)といふことはない。}といふことに、例外は無い。
といふ「意味」になる。
然るに、
(11)
③{(象が動物でない)といふことはない。}といふことに、例外は無い。
といふことは、
③ ∀x~(象x&~動物x)
といふことに、他ならない。
従って、
(07)~(11)により、
(12)
① ~∃x(象x&~動物x)
②  ∀x(象x→ 動物x)
③ ∀x~(象x&~動物x)
に於いて、
①=②=③ である。
然るに、
(13)
① ~∃x(象x&~動物x)
③ ∀x~(象x&~動物x)
に於いて、
①=③ は、「量化子の関係」である。
従って、
(01)~(13)により、
(14)
① 無象非動物=
① 無象非動物
① 無〔象非(動物)〕⇒
① 〔象(動物)非〕無=
① 〔象にして(動物に)非ざる〕無し=
① いかなる象であっても、動物でない象は、存在しない。
といふ「漢文訓読」は、
① ~∃x(象x&~動物x)
②  ∀x(象x→ 動物x)
③ ∀x~(象x&~動物x)
といふ「述語論理式」に、「等しい」。
令和03年07月04日、毛利太。

2021年3月16日火曜日

「矛盾・韓非子」の「述語論理」(Ⅷ)。

(01)
楚人有鬻盾与矛者。誉之曰、吾盾之堅、莫能陥也。又誉其矛曰、吾矛之利、於物無不陥也。或曰、以子之矛、陥子之盾、何如。其人弗能応也=
楚の国の人で盾と矛とを売る者がいた。その人が自分の盾を誉めて言った。 私のこの堅い盾を突き通すことが出来るものは何も無い。 また、自分の矛を誉めて言った。 私のこの鋭い矛は、どんな物でも突き通さないものは無い。或るひとが言った。 あなたの矛で、あなたの盾を突いたらどうなるのか。 盾と矛を売る、その人は、答えることが、出来なかった(韓非子・矛盾)。
(02)
(ⅰ)
1   (1)∃x(吾矛x&∀y(~吾盾y&盾y→陥xy)} A
 2  (2)   吾矛a&∀y(~吾盾y&盾y→陥ay)  A
 2  (3)   吾矛a                  2&E
 2  (4)       ∀y(~吾盾y&盾y→陥ay)  2&E
 2  (5)          ~吾盾b&盾b→陥ab   4UE
  6 (6)                 ~陥ab   A
 26 (7)        ~(~吾盾b&盾b)      56MTT
 26 (8)          吾盾b∨~盾b       7ド・モルガンの法則
 26 (9)          ~盾b∨吾盾b       8交換法則
 26 (ア)           盾b→吾盾b       9含意の定義
 2  (イ)    ~陥ab→(盾b→ 吾盾b)      6アCP
   ウ(ウ)    ~陥ab& 盾b            A
   ウ(エ)    ~陥ab                ウ&E
 2 ウ(オ)         (盾b→ 吾盾b)      イエMPP
   ウ(カ)          盾b            ウ&E
 2 ウ(キ)              吾盾b       オカMPP
 2  (ク)          ~陥ab&盾b→吾盾b   ウキCP
 2  (ケ)       ∀y(~陥ay&盾y→吾盾y)  クUI
 2  (コ)   吾矛a&∀y(~陥ay&盾y→吾盾y)  3ケ&I
 2  (サ)∃x{吾矛x&∀y(~陥xy&盾y→吾盾y)} コEI
1   (シ)∃x{吾矛x&∀y(~陥xy&盾y→吾盾y)} 12サEE
(ⅱ)
1   (1)∃x{吾矛x&∀y(~陥xy&盾y→吾盾y)} A
 2  (2)   吾矛a&∀y(~陥ay&盾y→吾盾y)  A
 2  (3)   吾矛a                  2&E
 2  (4)       ∀y(~陥ay&盾y→吾盾y)  2&E
 2  (5)          ~陥ab&盾b→吾盾b   4UE
  6 (6)                 ~吾盾b   A
 26 (7)        ~(~陥ab&盾b)      56MTT
 26 (8)          陥ab∨~盾b       7ド・モルガンの法則
 26 (9)          ~盾b∨陥ab       8交換法則
 26 (ア)           盾b→陥ab       9含意の定義
 2  (イ)     ~吾盾b→(盾b→陥ab)      6アCP
   ウ(ウ)     ~吾盾b& 盾b           A
   ウ(エ)     ~吾盾b               ウ&E
 2 ウ(オ)          (盾b→陥ab)      イエMPP
   ウ(カ)           盾b           ウ&I
 2 ウ(キ)                  陥ab   オカMPP
 2  (ク)          ~吾盾b&盾b→陥ab   ウキCP
 2  (ケ)       ∀y(~吾盾y&盾y→陥ay)  クUI
 2  (コ)   吾矛a&∀y(~吾盾y&盾y→陥ay)  2ケ&I
 2  (シ)∃x(吾矛x&∀y(~吾盾y&盾y→陥xy)} コEI
1   (ス)∃x(吾矛x&∀y(~吾盾y&盾y→陥xy)} 12シEE
従って、
(02)により、
(03)
① ∃x(吾矛x&∀y(~吾盾y&盾y→陥xy)}
② ∃x{吾矛x&∀y(~陥xy&盾y→吾盾y)}
に於いて、すなはち、
① あるxは吾の矛であって、すべてのyについて、yが吾の盾以外の盾であるならば、xはyを陥す。
② あるxは吾の矛であって、すべてのyについて、xがyを陥すことがなく、yが盾であるならば、yは吾の盾である。
に於いて、
①=② である。
従って、
(03)により、
(04)
① 私の矛は、私の盾以外の、すべての盾を陥す
② 私の矛が陥さない盾は、私の盾だけである。
に於いて、
①=② である。
然るに、
(05)
① 私の矛は、私の盾を含む、すべての盾を陥す。
② 私の盾は、私の矛を含む、すべて矛を陥さない。
といふことは、「矛盾」であるが、
(06)
① 私の矛は、私の盾以外の、すべての盾を陥す
② 私の矛が陥さない盾は、私の盾だけである。
といふことは、「矛盾」ではない
従って、
(06)により、
(07)
吾矛之利、於非吾盾之盾無不陥也=
吾矛之利、於〔非(吾盾)之盾〕無〔不(陥)〕也⇒
吾矛之利、〔(吾盾)非之盾〕於〔(陥)不〕無也=
吾が矛の利なること、〔(吾が盾に)非さるの盾〕於いて〔(陥さ)不る〕無きなり=
私のこの鋭い矛は、〔(私の盾)以外の盾に〕於いて〔(陥さ)ないことが〕無いのである。
であれば、「矛盾しない
(08)
因みに、
① 私のこの鋭い矛は、私の盾以外の盾において、貫さないことが無いのである(原文)。
② 我那尖銳的戟不會穿透我的盾牌以外的盾牌(グーグル翻訳)。
であるが、「私には、②が、全く、理解できない。」
(09)
① 吾矛之利、於非吾盾之盾無不陥也。
② 我那尖銳的戟不會穿透我的盾牌以外的盾牌。
といふ場合が、さうであるやうに、「漢文と、中国語は、完全に別物である」に違ひない。
令和03年03月16日、毛利太。

2021年3月15日月曜日

「矛盾・韓非子」の「述語論理」(Ⅶ)。

(01)
 ― 矛盾・韓非子 ―
楚人有鬻盾与矛者。誉之曰、吾盾之堅、莫能陥也。又誉其矛曰、吾矛之利、於物無不陥也。或曰、以子之矛、陥子之盾、何如。其人弗能応也=
楚人有[鬻〔盾与(矛)〕者]。誉(之)曰、吾盾之堅、莫(能陥)也。又誉(其矛)曰、吾矛之利、於(物)無〔不(陥)〕也。或曰、以(子之矛)、陥(子之盾)、何如。其人弗〔能(応)〕也⇒
楚人[〔盾(矛)与〕鬻者]有。(之)誉曰、吾盾之堅、(能陥)莫也。又(其矛)誉曰、吾矛之利、(物)於〔(陥)不〕無也。或曰、(子之矛)以、(子之盾)陥、何如。其人〔(応)能〕也弗=
楚人に[〔盾と(矛)とを〕鬻ぐ者]有り。(之を)誉めて曰く、吾が盾の堅きこと、(能く陥す)莫きなり。又た(其の矛を誉めて)曰く、吾が矛の利なること、(物に)於いて〔(陥さ)不る〕無きなり。或ひと曰く、(子之矛を)以て、(子之盾を)陥さば、何如。其の人〔(応ふる)能は〕弗るなり=
楚の国の人で盾と矛とを売る者がいた。その人が自分の盾を誉めて言った。 私のこの堅い盾を突き通すことが出来るものは何も無い。 また、自分の矛を誉めて言った。 私のこの鋭い矛は、どんな物でも突き通さないものは無い。或るひとが言った。 あなたの矛で、あなたの盾を突いたらどうなるのか。 其の盾と矛を売る人は、答えることが、出来なかった。
然るに、
(02)
(ⅰ)
1    (1) ∃x{盾x& ∀y(矛y→~陥yx)} A
 2   (2) ∃y{矛y&~∃x(盾x&~陥yx)} A
  3  (3)    矛b&~∃x(盾x&~陥bx)  A
  3  (4)    矛b               3&E
  3  (5)       ~∃x(盾x&~陥bx)  3&E
  3  (6)       ∀x~(盾x&~陥bx)  5含意の定義
  3  (7)         ~(盾a&~陥ba)  6UE
  3  (8)          ~盾a∨ 陥ba   7ド・モルガンの法則
  3  (9)           盾a→ 陥ba   8含意の定義
  3  (ア)        ∀x(盾x→ 陥bx)  9UI
  3  (イ)    矛b& ∀x(盾x→ 陥bx)  4ア&I
  3  (ウ) ∃y(矛y& ∀x(盾x→ 陥yx)} イEI
 2   (エ) ∃y(矛y& ∀x(盾x→ 陥yx)} 23ウEE
   オ (オ)    盾a& ∀y(矛y→~陥ya)  A
   オ (カ)    盾a               オ&E
   オ (キ)        ∀y(矛y→~陥ya)  オ&E
   オ (ク)           矛b→~陥ba   キUE
    ケ(ケ)    矛b& ∀x(盾x→ 陥bx)  A
    ケ(コ)    矛b               ケ&E
    ケ(サ)        ∀x(盾x→ 陥bx)  ケ&E
    ケ(シ)           盾a→ 陥ba   サUE
   オケ(ス)              ~陥ba   クコMPP
   オケ(セ)               陥ba   カシMPP
   オケ(ソ)          ~陥ba&陥ba   スセ&I
 2 オ (タ)          ~陥ba&陥ba   エケソEE
12   (チ)          ~陥ba&陥ba   1オタEE
1    (ツ)~∃y(矛y& ∀x(盾x→ 陥yx)} 2チRAA(背理法
(ⅲ)
1    (1)~∃y(矛y& ∀x(盾x→ 陥yx)} A
1    (2)∀y~(矛y& ∀x(盾x→ 陥yx)} 1含意の定義
1    (3)  ~(矛b& ∀x(盾x→ 陥bx)} 1UE
1    (4)   ~矛b∨~∀x(盾x→ 陥bx)  3ド・モルガンの法則
 5   (5)   ~矛b               A
 5   (6)   ~矛b∨ ∃x(盾x&~陥bx)  5∨I
  7  (7)       ~∀x(盾x→ 陥bx)  A
  7  (8)       ∃x~(盾x→ 陥bx)  7量化子の関係
   9 (9)         ~(盾a→ 陥ba)  A
   9 (ア)         ~(~盾a∨陥ba)  9含意の定義
   9 (イ)           盾a&~陥ba   ア、ド・モルガンの法則
   9 (ウ)        ∃x(盾x&~陥bx)  イEI
  7  (エ)        ∃x(盾x&~陥bx)  79ウEE
  7  (オ)   ~矛b∨ ∃x(盾x&~陥bx)  エ∨I
1    (カ)   ~矛b∨ ∃x(盾x&~陥bx)  4567オ∨E
1    (キ)  ~{矛b&~∃x(盾x&~陥bx)} カ、ド・モルガンの法則
1    (ク)∀y~{矛y&~∃x(盾x&~陥yx)} キUI
1    (ケ)~∃y{矛y&~∃x(盾x&~陥yx)} ク量化子の関係
従って、
(02)により、
(03)
①  ∃x{盾x& ∀y(矛y→~陥yx)}
②  ∃y{矛y&~∃x(盾x&~陥yx)}
③ ~∃y(矛y& ∀x(盾x→ 陥yx)}
に於いて、すなはち、
① あるxは盾であって、すべてのyについて、yが矛ならば、yはxを陥さない。
② あるyは矛であって、xは盾であって、yはxを陥さないといふ、そのやうなxは存在しない(二重否定)。
③ yは矛であって、すべてのxについて、xが盾であるならば、yはxを陥す、といふ、そのやうなyは存在しない。
に於いて、
①と② は「矛盾」し、
  ② の「否定」は、
③ である。
従って、
(03)により、
(04)
① いかなる矛をも、陥さない盾が存在する。
② いかなる盾をも、陥す矛が存在する。
③ いかなる盾をも、陥す矛は存在しない。
に於いて、
①と② は「矛盾」し、
  ② の「否定」は、
③ である。
従って、
(01)~(04)により、
(05)
① 吾盾之堅、莫(能陥)也。
② 吾矛之利、於(物)無〔不(陥)〕也。
③ 不{有[無〔不(陷)〕之矛]}也。
に於いて、
①と② は、「矛盾」し、
②と③ も、「矛盾」する。
といふことは、「述語論理」としても、「正しい」。
cf.
③ 不有無不陷之矛也=
③ 不{有[無〔不(陷)〕之矛]}也⇒
③ {[〔(陷)不〕無之矛]有}不也=
③ {[〔(陷さ)不る〕無きの矛は]有ら}不る也。
令和03年03月15日、毛利太。

2020年10月25日日曜日

「百獣は虎(は・が・も)長である。」の「述語論理」。

(01)

(02)
① ∀x{百獣x→∃y(虎y&長yx)}
② ∀x{百獣x→∃y(虎y&長yx)& ∀z(~虎z→~長zx)}
③ ∀x{百獣x→∃y(虎y&長yx)&~∀z(~虎z→~長zx)}
に於いて、
②と③ は、
②  ∀z(~虎z→~長zx)}
③ ~∀z(~虎z→~長zx)}
の「部分」が、「矛盾」する。
然るに、
(03)
(ⅲ)
1 (1)~∀z(~虎z→~長zx) A
1 (2)∃z~(~虎z→~長zx) 1量化子の関係
 3(3)  ~(~虎c→~長cx) A
 3(4)   ~(虎c∨~長cx) 3含意の定義
 3(5)    ~虎c& 長cx  4ド・モルガンの法則
 3(6) ∃z(~虎z& 長zx) 5EI
1 (7) ∃z(~虎z& 長zx) 136EE
(ⅳ)
1 (1) ∃z(~虎z& 長zx) A
 2(2)    ~虎c& 長cx  A
 2(3)   ~(虎c∨~長cx) 2ド・モルガンの法則
 2(4)  ~(~虎c→~長cx) 3含意の定義
 2(5)∃z~(~虎z→~長zx) 4EI
1 (6)∃z~(~虎z→~長zx) 125EE
1 (7)~∀z(~虎z→~長zx) 6量化子の関係
従って、
(03)により、
(04)
③ ~∀z(~虎z→~長zx)≡すべてのzについて(zが虎でないならば、zはxの長ではない。)といふわけではない
④  ∃z(~虎z& 長zx)≡あるzは(虎ではないが、xの長である)。
に於いて、
③=④ である。
従って、
(02)(03)(04)により、
(05)
① ∀x{百獣x→∃y(虎y&長yx)}
② ∀x{百獣x→∃y(虎y&長yx)& ∀z(~虎z→~長zx)}
③ ∀x{百獣x→∃y(虎y&長yx)&∀z(~虎z→~長zx)}
に於いて、すなはち、
① ∀x{百獣x→∃y(虎y&長yx)}
② ∀x{百獣x→∃y(虎y&長yx)&∃z(~虎z&長zx)}
③ ∀x{百獣x→∃y(虎y&長yx)& ∃z(~虎z&長zx)}
に於いて、
②と③ は、「矛盾」する。
従って、
(05)により、
(06)
① すべてのxについて{xが百獣であるならば、あるyは(虎であって、yはxの長である)。}
② すべてのxについて{xが百獣であるならば、あるyは(虎であって、yはxの長である)が、ある(、虎以外のz、xの長である)といふことはない。}
③ すべてのxについて{xが百獣であるならば、あるyは(虎であって、yはxの長である)が、ある(、虎以外のz、xの長である)。}
に於いて、
②と③ は、「矛盾」する。
然るに、
(07)
② 誰百獣の長であるか。
であって、
① 誰百獣の長であるか。
③ 誰百獣の長であるか。
ではない
従って、
(07)により、
(08)
② 誰百獣の長であるか。
② 虎百獣の長である。
といふ、ことになる。
然るに、
(09)
② 誰百獣の長であるか。
② 虎百獣の長である。
といふのであれば、
② すべてのxについて{xが百獣であるならば、あるyは(虎であって、yはxの長である)が、ある(、虎以外のz、xの長である)といふことはない。}
といふ、ことになる。
然るに、
(10)
③ すべてのxについて{xが百獣であるならば、あるyは(虎であって、yはxの長である)が、ある(、虎以外のz、xの長である)。}
といふのであれば、
③ 虎も百獣の長である。
といふ、ことになる。
従って、
(06)~(10)により、
(11)
① すべてのxについて{xが百獣であるならば、あるyは(虎であって、yはxの長である)。}
の場合は、
② 虎が百獣の長である。
ではないし、
③ 虎も百獣の長である。
でもないため、
① 虎百獣の長である。
といふ、ことになる。
従って、
(05)~(11)により、
(12)
① 百獣は、虎は長である=∀x{百獣x→∃y(虎y&長yx)}。
② 百獣は、虎長である=∀x{百獣x→∃y(虎y&長yx)&∃z(~虎z&長zx)}。
③ 百獣は、虎長である=∀x{百獣x→∃y(虎y&長yx)& ∃z(~虎z&長zx)}。
といふ、ことになる。
然るに、
(13)
1    (1)∀x{百獣x→∃y(虎y&長yx)&~∃z(~虎z&長zx)} A
1    (〃)百獣は、虎長である。                     A
 2   (2)~∃z(狐z&虎z)                      A
 2   (〃)あるzが狐であって、尚且つ、虎である。といふことはない。    A
 2   (〃)狐は虎ではない。                        A
  3  (3) ∃z(狐z)                         A
  3  (〃)あるzは狐である。                       A
  3  (〃)狐はゐる。                           A
1    (4)   百獣a→∃y(虎y&長ya)&~∃z(~虎z&長za)  1UE
   5 (5)   百獣a                          A
1  5 (6)       ∃y(虎y&長ya)&~∃z(~虎z&長za)  45MPP
 2   (7)∀z~(狐z&虎z)                      2量化子の関係
 2   (8)  ~(狐c&虎c)                      7UE
 2   (9)  ~狐c∨~虎c                       8ド・モルガンの法則
 2   (ア)   狐c→~虎c                       9含意の定義
    イ(イ)   狐c                           A
 2  イ(ウ)      ~虎c                       アイMPP
1  5 (エ)                  ~∃z(~虎z&長za)  6&E
1  5 (オ)                  ∀z~(~虎z&長za)  エ量化子の関係
1  5 (カ)                    ~(~虎c&長ca)  オUE
1  5 (キ)                    ~~虎c∨~長ca   カ、ド・モルガンの法則
1  5 (ク)                     ~虎c→~長ca   キ含意の定義
12 5イ(ケ)                         ~長ca   ウクMPP
12 5イ(コ)                      狐c&~長ca   イケ&E
12 5イ(サ)                   ∃z(狐z&~長za)  コEI
1235 (シ)                   ∃z(狐z&~長za)  3イサEE
1  5 (ス)       ∃y(虎y&長ya)               6&E
1235 (セ)       ∃y(虎y&長ya)& ∃z(狐z&~長za)  シス&I
123  (ソ)   百獣a→∃y(虎y&長ya)& ∃z(狐z&~長za)  5セCP
123  (タ)∀x{百獣x→∃y(虎y&長yx)& ∃z(狐z&~長zx)} ソUI
従って、
(13)により、
(14)
(ⅰ)∀x{百獣x→∃y(虎y&長yx)&~∃z(~虎z&長zx)}。然るに、
(ⅱ)~∃z(狐z&虎z)。然るに、
(ⅲ) ∃z(狐z)。   従って、
(ⅳ)∀x{百獣x→∃y(虎y&長yx)& ∃z(狐z&~長zx)}。 といふ「推論」、すなはち、
(ⅰ)すべてのxについて{xが百獣であるならば、あるyは(虎であって、yはxの長である)が、ある(、虎以外のzが、xの長である)といふことはない。}然るに、
(ⅱ)あるz(が、狐であって、虎である。といふことは。)然るに、
(ⅲ)あるz(は、狐である。)従って、
(ⅳ)すべてのxについて{xが百獣であるならば、あるyは(虎であって、yはxの長であり)、あるzは(狐であって、zはxの長ではない)。}
といふ「推論」は、「妥当」である。
従って、
(14)により、
(15)
(ⅰ)百獣は、虎長である。然るに、
(ⅱ)狐は、 虎ではない。 然るに、
(ⅲ)狐は、ゐる。     従って、
(ⅳ)百獣は、虎が長であって、狐は長ではない。
といふ「推論」は、「妥当」である。
従って、
(01)(12)~(15)により、
(16)
② 百獣は、虎が長である。⇔
② ∀x{百獣x→∃y(虎y&長yx)&~∃z(~虎z&長zx)}⇔
② すべてのxについて{xが百獣であるならば、あるyは(虎であって、yはxの長である)が、ある(、虎以外のzが、xの長である)といふことはない。}
といふ「命題」が「真」であるならば、
② 狐は(虎に向かって)言った、「あなたはけっしてわたしを食べたりしてはいけない。(そもそも)天の神様は、このわたしを百獣のかしらとしたのです。いまもしもあなたがわたしをたべれば、それは天の神様の命令にそむくことになります(旺文社、漢文の基礎、1973年、39頁)。」
といふ狐の「発言」は、「」になる。
然るに、
(17)
1   (1)∀x{百獣x→∀z(虎z∨狐z→長zx)} A
1   (〃)百獣は、虎か、狐が、長である。       A
 2  (2) ∃z(狐z)               A
 2  (〃)あるzは狐である。             A
 2  (〃)狐はゐる。                 A
1   (3)   百獣a→∀z(虎z∨狐z→長za)  1UE
  4 (4)   百獣a                A
1 4 (5)       ∀z(虎z∨狐z→長za)  34MPP
1 4 (6)          虎c∨虎x→長ca   5UE
   7(7)    狐c                A
   7(8) 虎c∨狐c                7∨I
1 47(9)                長ca   68MPP
1 47(ア)    狐c&長ca            79&I
1 47(イ) ∃z(狐z&長za)           アEI
124 (ウ) ∃z(狐z&長za)           27イEE
12  (エ)   百獣a→∃z(狐z&長za)     4ウCP
12  (オ)∀x{百獣x→∃z(狐z&長zx)}    エUI
従って、
(17)により、
(18)
(ⅰ)∀x{百獣x→∀z(虎z∨狐z→長zx)}。然るに、
(ⅱ)∃z(狐z)。従って、
(ⅲ)∀x{百獣x→∃z(狐z&長zx)}。
といふ「推論」、すなはち、
(ⅰ)すべてのxについて{xが百獣であるならば、すべてのzについて(zが虎か、または、zが狐であるならば、zはxの長である)。}然るに、
(ⅱ)あるz(は狐である。)従って、
(ⅲ)すべてのxについて{xが百獣であるならば、あるz(は、狐であって、xの長である)。}
といふ「推論」は、「妥当」である。
従って、
(18)により、
(19)
④ 百獣は、虎か、または、狐が、長である。然るに、
④ 狐はゐる。従って、
④ 百獣は、狐は長である。
といふ「推論」は、「妥当」である。
従って、
(18)(19)により、
(20)
④ 百獣は、虎か、または、狐が、長である。⇔
④ ∀x{百獣x→∀z(虎z∨狐z→長zx)}⇔
④ すべてのxについて{xが百獣であるならば、すべてのzについて(zが虎か、または、zが狐であるならば、zはxの長である)。}
といふ「命題」が「真」であるならば、
② 百獣は、虎が長である。⇔
② ∀x{百獣x→∃y(虎y&長yx)&~∃z(~虎z&長zx)}⇔
② すべてのxについて{xが百獣であるならば、あるyは(虎であって、yはxの長である)が、ある(、虎以外のzが、xの長である)といふことはない。}
といふ「命題」が「真」であるならば、
② 狐は(虎に向かって)言った、「あなたはけっしてわたしを食べたりしてはいけない。(そもそも)天の神様は、このわたしを百獣のかしらとしたのです。いまもしもあなたがわたしをたべれば、それは天の神様の命令にそむくことになります(旺文社、漢文の基礎、1973年、39頁)。」
といふ狐の「発言」は、「」ではない
令和02年10月25日、毛利太。

2020年9月26日土曜日

「無馬之頭而非動物之頭」の「述語論理」

(01)
ド・モルガンが明らかに健全であるにもかかわらず、伝統的論理学のなかでは取り扱うことができなかった論証として挙げた、有名な、また簡単な論証がある。
(1)すべての馬は動物である。故にすべての馬の頭は動物の頭である。
― 10行、中略、―
123 ∀x(馬x→動x)├ ∀x{∃y(馬y&頭xy)→∃y(動y&頭xy)}
1  (1)   ∀x(馬x→動x)               A
 2 (2)   ∃y(馬y&頭ay)              A
  3(3)      馬b&頭ab               A
  3(4)      馬b                   3&E
  3(5)         頭ab               3&E
1  (6)      馬b→動b                1UE
1 3(7)         動b                46MPP
1 3(8)      動b&頭ab               57&I
1 3(9)   ∃y(動y&頭ay)              8EI
12 (ア)   ∃y(動y&頭ay)              239EE
1  (イ)   ∃y(馬y&頭ay)→∃y(動y&頭ay)   2アCP
1  (ウ)∀x{∃y(馬y&頭xy)→∃y(動y&頭xy)}  イUI
(論理学初歩、E.J.レモン、竹尾 治一郎・浅野 楢英 訳、1973年、167頁改)
然るに、
(02)
1  (1)  ∀x(馬x→動x)                 A
 2 (2)     馬a&∃y頭ya               A
 2 (3)        ∃y頭ya               2&E
 2 (4)     馬a                     2&E
1  (5)     馬a→動a                  1UE
12 (6)        動a                  45MPP
12 (7)     動a&∃y頭ya               36&I
1  (8)     馬a&∃y頭ya→   動a&∃y頭ya   27CP
  9(9)    (馬a&∃y頭ya)&~(動a&∃y頭ya)  A
  9(ア)    (馬a&∃y頭ya)              9&E
1 9(イ)                (動a&∃y頭ya)  8アMPP
  9(ウ)               ~(動a&∃y頭ya)  9&E
1 9(エ)    (動a&∃y頭ya)&~(動a&∃y頭ya)  イウ&I
1  (オ)  ~{(馬a&∃y頭ya)&~(動a&∃y頭ya)} 9エRAA
1  (カ)∀x~{(馬x&∃y頭yx)&~(動x&∃y頭yx)} オUI
1  (キ)~∃x{(馬x&∃y頭yx)&~(動x&∃y頭yx)} カ量化子の関係
従って、
(01)(02)により、
(03)
① ∀x(馬x→動x)├ ∀x{∃y(馬y&頭xy)→∃y(動y&頭xy)}
② ∀x(馬x→動x)├ ~∃x{(馬x&∃y頭yx)&~(動x&∃y頭yx)}
といふ「連式(Sequents)」は、両方とも、「妥当」である。
従って、
(03)により、
(04)
② すべてのxについて(xが馬ならば、xは動物である)。故に、{(xが馬であって、あるyがxの頭であって)、尚且つ、(xが動物であって、あるyがxの頭)ではない。}といふ、そのやうなxは存在しない。
といふ「推論」は、「妥当」である。
然るに、
(05)
② 馬者動物也。是以、無馬之頭而非動物之頭=
② 馬者動物也。是以、無〔馬之頭而非(動物之頭)〕⇒
② 馬者動物也。是以、〔馬之頭而(動物之頭)非〕無=
② 馬は動物なり。是を以て、〔馬の頭にして(動物の頭に)非ざるは〕無し=
② 馬は動物である。そのため、馬の頭であって、動物の頭でない頭は、存在しない。
従って、
(03)(04)(05)により、
(06)
② 馬者動物也。是以、無馬之頭而非動物之頭。
といふ「漢文」は、
② ∀x(馬x→動x)├ ~∃x{(馬x&∃y頭yx)&~(動x&∃y頭yx)}
といふ「述語論理式」に、「等しい」。
令和02年09月26日、毛利太。

2020年9月22日火曜日

「弟子不必不如師」の「述語論理」。

(01)
① 弟子必不師=
① 弟子必不〔如(師)〕⇒
① 弟子必〔(師)如〕不=
① 弟子は必ず〔(師に)如か〕不=
① 弟子は必ず、師に及ばない。
(02)
② 弟子不必不一レ師=
② 弟子不[必不〔如(師)〕]⇒
② 弟子[必〔(師)如〕不]不=
② 弟子は[必ずしも〔(師に)如か〕不んば]あら不=
② 弟子は必ずしも、師に及ばない。といふわけではない。
従って、
(01)(02)により、
(03)
① 弟子必不師。
② 弟子不必不一レ師。
に於いて、
②は、「①の否定」である。
然るに、
(04)
① 弟子は必ず、師に及ばない。
であれば、
① ∀x∀y(弟子xy&師匠yx→~及xy)≡
① すべてのxとすべてのyについて(xがyの弟子であって、yがxの師匠であるならば、xはyに及ばない)。
といふ「述語論理式」に、相当する。
従って、
(01)~(04)により、
(05)
② 弟子は必ずしも、師に及ばない。といふわけではない。
であれば、
② ~∀x∀y(弟子xy&師匠yx→~及xy)
といふ「述語論理式」に、相当する。
然るに、
(06)
(ⅱ)
1  (1)~∀x∀y(弟子xy&師匠yx→~及xy)  A
1  (2)∃x~∀y(弟子xy&師匠yx→~及xy)  1量化子の関係
1  (3)∃x∃y~(弟子xy&師匠yx→~及xy)  2量化子の関係
 4 (4)  ∃y~(弟子ay&師匠ya→~及ay)  A
  5(5)    ~(弟子ab&師匠ba→~及ab)  A
  5(6)  ~{~(弟子ab&師匠ba)∨~及ab) 5含意の定義
  5(7)     (弟子ab&師匠ba)& 及ab  6ド・モルガンの法則
  5(8)     (弟子ab&師匠ba&及ab)   7結合法則
  5(9)   ∃y(弟子ay&師匠ya&及ay)   8EI
 4 (ア)   ∃y(弟子ay&師匠ya&及ay)   459EE
 4 (イ) ∃x∃y(弟子xy&師匠yx&及xy)   アEI
1  (ウ) ∃x∃y(弟子xy&師匠yx&及xy)   14イEE
(ⅲ)
1  (1) ∃x∃y(弟子xy&師匠yx&及xy)   A
 2 (2)   ∃y(弟子ay&師匠ya&及ay)   A
  3(3)     (弟子ab&師匠ba&及ab)   A
  3(4)     (弟子ab&師匠ba)& 及ab  3結合法則
  3(5)  ~{~(弟子ab&師匠ba)∨~及ab) 4ド・モルガンの法則
  3(6)    ~(弟子ab&師匠ba→~及ab)  5含意の定義
  3(7)  ∃y~(弟子ay&師匠ya→~及ay)  6EI
 2 (8)  ∃y~(弟子ay&師匠ya→~及ay)  237EE
 2 (9)∃x∃y~(弟子xy&師匠yx→~及xy)  8EI
1  (ア)∃x∃y~(弟子xy&師匠yx→~及xy)  129EE
1  (イ)∃x~∀y(弟子xy&師匠yx→~及xy)  ア量化子の関係
1  (ウ)~∀x∀y(弟子xy&師匠yx→~及xy)  イ量化子の関係
従って、
(06)により、
(07)
② ~∀x∀y(弟子xy&師匠yx→~及xy)
③  ∃x∃y(弟子xy&師匠yx&  及xy)
に於いて、すなはち、
② すべてのxとすべてのyについて(xがyの弟子であって、yがxの師匠であるならば、xはyに及ばない)といふわけではない。
③      あるxとあるyについて(xはyの弟子であって、yはxの師匠であっ、   xはyに及んでゐる)。
に於いて、
②=③ である。
然るに、
(08)
③ ∃x∃y(弟子xy&師匠yx&及xy)≡
③ あるxとあるyについて(xはyの弟子であって、yはxの師匠であって、xはyに及んでゐる)。
といふことは、
③ ある弟子は、師匠よりも優れてゐる。⇔
③ ある師匠は、弟子に及ばない。
といふ「意味」である。
cf.
孔子は郯子・萇弘・師襄・老耼・を師としたが、郯子の仲間は、その徳のすぐれていること、孔子には及ばなかった
(明治書院、新釈漢文大系 70、1926年、88頁)
従って、
(01)~(08)により、
(09)
① 弟子不必不一レ師。
② 弟子は必ずしも、師に及ばない。といふわけではない。
③ A disciple is not always inferior to his master.
④ ~∀x∀y(弟子xy&師匠yx→~及xy)
に於いて、
①=②=③=④ である。
然るに、
(10)
論理」は、「すべての人類」にとって、「共通」である。
従って、
(09)(10)により、
(11)
初めに(エン アルケー)」、
④ ~∀x∀y(弟子xy&師匠yx→~及xy)
といふ「論理(ロゴス)」が有って、その「翻訳」として、
① 弟子不必不一レ師。
② 弟子は必ずしも、師に及ばない。といふわけではない。
③ A disciple is not always inferior to his master.
といふ「諸言語」が有るのかも知れない。
と、思ったりするのであるが、果たして、「本当に、さうなのだらうか?」。
令和02年09月22日、毛利太。