(01)
(ⅰ)
1 (1) P&Q→ R A
1 (2)~(P&Q)∨R 1含意の定義
3 (3)~(P&Q) A
3 (4)~P∨~Q 3ド・モルガンの法則
3 (5)~P∨~Q∨R 4∨I
6 (6) R A
6 (7) ~P∨~Q∨R 6∨I
1 (8) ~P∨~Q∨R 13567∨E
1 (9)~P∨(~Q∨R) 3結合法則
ア (ア)~P A
ア (イ)~P∨R ア∨I
ア (ウ) P→R イ含意の定義
ア (エ)(P→R)∨(Q→R) ウ∨I
オ(オ) (~Q∨R) A
オ(カ) Q→R オ含意の定義
オ(キ)(P→R)∨(Q→R) カ∨I
1 (ク)(P→R)∨(Q→R) 2アエオキ∨I
(ⅱ)
1 (1)(P→R)∨(Q→R) A
2 (2) P&Q A
3 (3) P→R A
(4) P 2&E
23 (5) R 34MPP
6(6) Q→R A
2 (7) Q 2&E
2 6(8) R 67MPP
12 (9) R 13568∨E
1 (ア) P&Q→R 29CP
従って、
(01)により、
(02)
① P&Q→R├(P→R)∨ (Q→R)
②(P→R)∨(Q→R)├ P&Q→R
に於いて、
①=② である。
然るに、
(03)
P=薬品Aを投与する。
Q=薬品Bを投与する。
R=患者は死亡した。
とするならば、
① P&Q→R├(P→R)∨(Q→R)
といふ「推論」は、
(ⅰ)「薬品Aと、薬品Bを、同時に投与した」際に、「患者は死亡した」。従って、
(ⅱ)「薬品Aの作用によって、患者は死亡した」か、「薬品Bの作用によって、患者は死亡した」か、または、「薬品Aと薬品Bの、相互作用によって、患者は死亡した。」
といふ「推論」に、相当し、
②(P→R)∨(Q→R)├ P&Q→R
といふ「推論」は、
(ⅰ)「薬品Aの作用によって、患者は死亡する」か、「薬品Bの作用によって、患者は死亡する」か、または、「薬品Aと薬品Bの、相互作用によって、患者は死亡する。」従って、
(ⅱ)「薬品Aと、薬品Bを、同時に投与する」ならば「患者は死亡する」。
といふ「推論」に、相当する。
然るに、
(04)
(ⅰ)「薬品Aと、薬品Bを、同時に投与した」際に、「患者は死亡した」。従って、
(ⅱ)「薬品Aの作用によって、患者は死亡した」か、「薬品Bの作用によって、患者は死亡した」か、または、「薬品Aと薬品Bの、相互作用によって、患者は死亡した。」
といふ「推論」は、
(α)「薬品Aの作用によって、患者は死亡した」といふ「可能性」と、
(β)「薬品Bの作用によって、患者は死亡した」といふ「可能性」と、
(γ)「薬品Aと薬品Bの、相互作用によって、患者は死亡した。」といふ「可能性」による、飽くまでも、「3通りの可能性」を、示してゐる。
従って、
(03)(04)により、
(05)
(ⅰ)「薬品Aと、薬品Bを、同時に投与した」際に、「患者は死亡した」。従って、
(ⅱ)「薬品Aの作用によって、患者は死亡した」か、「薬品Bの作用によって、患者は死亡した」か、または、「薬品Aと薬品Bの、相互作用によって、患者は死亡した。」
といふ「推論」からは、
(α)「薬品Aの作用によって、患者は死亡した」。
といふ風に、「断定」することは、出来ない。
従って、
(03)(04)(05)により、
(06)
① P&Q→R├(P→R)∨(Q→R)
といふ「推論」は、
(α)(P→R)
(β)(Q→R)
(γ)(P→R)∨(Q→R)
といふ「3通りの可能性」を、示してゐる。
従って、
(07)
① P&Q→R├(P→R)∨(Q→R)
といふ「推論」が「妥当」であるからと言って、
(α)(P→R)
であると、「断定」することは、出来ない。
従って、
(07)により、
(08)
① P&Q→R
② P→R
に於いて、
① であることは、
② であると「断定」する上での、「十分条件」ではない。
cf.
① P&Q
② P
に於いて、
① であることは、
② であることの、「十分条件」であり、
② であることは、
① であることの、「必要条件」である。
従って、
(08)により、
(09)
(ⅰ)P&Q→R。従って、
(ⅱ)P→R。 然るに、
(ⅲ)P。 従って、
(ⅳ) R。
といふ「推論」は、「無効(Invalid)」である。
従って、
(10)
(ⅰ)P&Q→R。従って、
(ⅱ)P→R。 然るに、
(ⅲ)P。 従って、
(ⅳ) R。
に於いて、
P=直角三角形である。
Q=二等辺三角形である。
R=斜辺の長さは「底辺の長さ」の√2倍である。
として、
(ⅰ)「直角・二等辺三角形」であるならば、斜辺の長さは「底辺の長さ」の√2倍である。従って、
(ⅱ) 「直角三角形」であるならば、斜辺の長さは「底辺の長さ」の√2倍である。然るに、
(ⅲ) 「直角三角形」である。従って、
(ⅳ)斜辺の長さは「底辺の長さ」の√2倍である。
といふ「推論」は、「無効(Invalid)」である。
従って、
(11)
(α)「三辺の比」が「1:√2:1」の「直角三角定規」の斜辺の長さは「底辺の長さ」の√2倍である。
(β)「三辺の比」が「1:2:√3」の「直角三角定規」の斜辺の長さは「底辺の長さ」の√2倍である。
といふ「二つの命題」に於いて、
(α)は「真(本当)」であるが、
(β)は「偽(ウソ)」である。
(01)
1 (1) P&Q→ R A
1 (2)~(P&Q)∨R 1含意の定義
3 (3)~(P&Q) A
3 (4)~P∨~Q 3ド・モルガンの法則
3 (5)~P∨~Q∨R 4∨I
6 (6) R A
6 (7) ~P∨~Q∨R 6∨I
1 (8) ~P∨~Q∨R 13567∨E
1 (9)~P∨(~Q∨R) 3結合法則
ア (ア)~P A
ア (イ)~P∨R ア∨I
ア (ウ) P→R イ含意の定義
ア (エ)(P→R)∨(Q→R) ウ∨I
オ(オ) (~Q∨R) A
オ(カ) Q→R オ含意の定義
オ(キ)(P→R)∨(Q→R) カ∨I
1 (ク)(P→R)∨(Q→R) 2アエオキ∨I
従って、
(01)により、
(02)
① P&Q→R├ (P→R)∨(Q→R)
① PであってQならば、Rである。故に、(PならばRである)か、または(QならばRである)。
といふ「古典論理の推論」は、「妥当(Valid)」である。
然るに、
(03)
① P&Q→R├ (P→R)∨(Q→R)
といふ「古典論理の推論」は、
①「PかつQの、2つの前提から、Rが導かれる。」のであれば、実は、それは、「PかQの、どちらか1つでの前提から、Rが導かれることになる。」
といふことになるので、「古典論理は不自然である」と、大西琢朗先生(京都大学)は、言ってゐる。
cf.
[2020年度後期哲学演習I 厳密含意の論理(1) [修正版](ユーチューブ:9分10秒頃)]
然るに、
(04)
【乙類焼酎(本格焼酎)】
芋・麦・米など、原料ならではの風味や香りが色濃く感じられる焼酎。割って飲む場合は、ジュースのような味つきの割材で割るよりも、お湯割りや水割りなどシンプルな飲み方がおすすめです(焼酎のおいしい飲み方・楽しみ方)。
然るに、
(05)
P=お湯を飲む。
Q=焼酎を飲む。
R=二日酔いをする。
とするならば、
① P&Q→R├ (P→R)∨(Q→R)
といふ「推論」は、
(ⅰ)「お湯と焼酎(焼酎割)」を飲んだら「二日酔い」をした。従って、
(ⅱ)「お湯を飲むと、二日酔いをする」か、「焼酎を飲むと、二日酔いをする」か、または、「お湯と焼酎を、一緒に飲むと二日酔いをする。」
といふ「推論」に、相当する。
然るに、
(06)
(ⅰ)「お湯と焼酎(焼酎割)」を飲んだら「二日酔い」をした。従って、
(ⅱ)「お湯を飲むと、二日酔いをする」か、「焼酎を飲むと、二日酔いをする」か、または、「お湯と焼酎を、一緒に飲むと二日酔いをする。」
といふ「推論」は、「妥当」である(?)。
従って、
(02)(05)(06)により、
(07)
① P&Q→R├ (P→R)∨(Q→R)
① PであってQならば、Rである。故に、(PならばRである)か、または(QならばRである)。
といふ「古典論理の推論」は、「妥当(Valid)」である。
従って、
(03)(07)により、
(08)
① P&Q→R├ (P→R)∨(Q→R)
といふ「古典論理の推論」は、
①「PかつQの、2つの前提から、Rが導かれる。」のであれば、実は、それは、「PかQの、どちらか1つでの前提から、Rが導かれることになる。」
といふ「意味」になるので、「古典論理は不自然である」と、大西琢朗先生(京都大学)は、言ってゐるが、
そうした「言ひかた」は、「言いがかり」であると、私は、言ひたい。
それとも、
(09)
(ⅰ)「お湯と焼酎(焼酎割)」を飲んだら「二日酔い」をした。従って、
(ⅱ)「お湯を飲むと、二日酔いをする」か、「焼酎を飲むと、二日酔いをする」か、または、「お湯と焼酎を、一緒に飲むと二日酔いをする。」
といふ「推論」は、「医学的」には、「無効(Invalid)」なのだらうか。
(10)
仮に、「無効(Invalid)」であるならば、大西琢朗先生(京都大学)がさう述べてゐるやうに、
1 (1) P&Q→ R A
1 (2)~(P&Q)∨R 1含意の定義
3 (3)~(P&Q) A
3 (4)~P∨~Q 3ド・モルガンの法則
3 (5)~P∨~Q∨R 4∨I
6 (6) R A
6 (7) ~P∨~Q∨R 6∨I
1 (8) ~P∨~Q∨R 13567∨E
1 (9)~P∨(~Q∨R) 3結合法則
ア (ア)~P A
ア (イ)~P∨R ア∨I
ア (ウ) P→R イ含意の定義
ア (エ)(P→R)∨(Q→R) ウ∨I
オ(オ) (~Q∨R) A
オ(カ) Q→R オ含意の定義
オ(キ)(P→R)∨(Q→R) カ∨I
1 (ク)(P→R)∨(Q→R) 1アエオキ∨I
といふ「(古典論理に於ける)命題計算」は、「無効(Invalid)」である。
―「含意の定義」の証明。―
(01)
(a)
1 (1) ~P 仮定
1 (2) ~P∨ Q 1選言導入
3 (3) P&~Q 仮定
4 (4) ~P 仮定
3 (5) P 3
34 (6) ~P&P 45連言導入
4 (7)~(P&~Q) 36背理法
8 (8) Q 仮定
3 (9) ~Q 3
3 8 (ア) Q&~Q 89連言導入
8 (イ)~(P&~Q) 3ア背理法
1 (ウ)~(P&~Q) 1478イ選言除去
エ (エ) P 仮定
オ(オ) ~Q 仮定
エオ(カ) P&~Q エオ連言導入
1 エオ(キ)~(P&~Q)&
(P&~Q) ウカ連言導入
1 エ (ク) ~~Q オキ背理法
1 エ (ケ) Q ク二重否定
1 (コ) P→ Q エケ条件去
(b)
1 (1) P→Q 仮定
2 (2) ~(~P∨Q) 仮定
3(3) ~P 仮定
3(4) ~P∨Q 3選言導入
23(5) ~(~P∨Q)&
(~P∨Q) 24連言導入
2 (6) ~~P 35背理法
2 (7) P 6二重否定
12 (8) Q 17肯定肯定式
12 (9) ~P∨Q 8選言導入
12 (ア) ~(~P∨Q)&
(~P∨Q) 29連言導入
1 (イ)~~(~P∨Q) 2ア背理法
1 (ウ) ~P∨Q イ二重否定
従って、
(01)により、
(02)
① ~P ├ ~P∨Q
② ~P∨Q├ P→Q
③ P→Q├ ~P∨Q
といふ「連式(Sequents)」は、「妥当」である。
従って、
(02)により、
(03)
② ~P∨Q├ P→Q
③ P→Q├ ~P∨Q
である。
従って、
(03)により、
(04)
「番号」を付け直すと、
① P→Q
② ~P∨Q
に於いて、
①=② である(含意の定義)。
然るに、
(05)
① P=天気が良い。
① Q=釣りに行く。
であるとして、
①(P→Q,~P├ Q)≡(天気が良ければ、釣りに行く。天気が悪い。故に、釣りに行く。)
②(P→Q,~P├ ~Q)≡(天気が良ければ、釣りに行く。天気が悪い。故に、釣りに行かない。)
③(P→Q, P├ Q)≡(天気が良ければ、釣りに行く。天気が良い。故に、釣りに行く。)
④(P→Q, P├ ~Q)≡(天気が良ければ、釣りに行く。天気が良い。故に、釣りに行かない。)
といふ「推論」は、
①(~P∨Q,~P├ Q)
②(~P∨Q,~P├ ~Q)
③(~P∨Q, P├ Q)
④(~P∨Q, P├ ~Q)
といふ「推論」に「等しい」。
然るに、
(06)
「二重否定律」により、
③ P≡~~P
④ P≡~~P
であるため、
①(~P∨Q,~P├ Q)
②(~P∨Q,~P├ ~Q)
③(~P∨Q, P├ Q)
④(~P∨Q, P├ ~Q)
といふ「推論」は、
①(~P∨Q, ~P├ Q)
②(~P∨Q, ~P├ ~Q)
③(~P∨Q,~~P├ Q)
④(~P∨Q,~~P├ ~Q)
といふ「推論」に「等しい」。
然るに、
(06)により、
(07)
① ~P≡R
② ~P≡R
③ ~P≡R
④ ~P≡R
であるとして、
①(~P∨Q, ~P├ Q)
②(~P∨Q, ~P├ ~Q)
③(~P∨Q,~~P├ Q)
④(~P∨Q,~~P├ ~Q)
といふ「推論」は、
①(R∨Q, R├ Q)
②(R∨Q, R├ ~Q)
③(R∨Q,~R├ Q)
④(R∨Q,~R├ ~Q)
といふ「推論」に、「等しい」。
然るに、
(08)
①(R∨Q)
といふ「弱選言」は、
①(Rであるか、または、Qであるか、いづれか一方である。)
といふ「意味」ではなく、
①(Rであるか、または、Qであるか、または、その両方である。)
といふ「意味」である。
従って、
(07)(08)により、
(09)
①(R∨Q, R├ Q)
②(R∨Q, R├ ~Q)
③(R∨Q,~R├ Q)
④(R∨Q,~R├ ~Q)
といふ「推論」は、それぞれ、
①(Rであるか、または、Qであるか、または、その両方である。然るに、Rである。故に、Qである。)
②(Rであるか、または、Qであるか、または、その両方である。然るに、Rである。故に、Qでない。)
③(Rであるか、または、Qであるか、または、その両方である。然るに、Rでない。故に、Qである。)
④(Rであるか、または、Qであるか、または、その両方である。然るに、Rでない。故に、Qでない。)
といふ「推論」に、「等しい」。
然るに、
(10)
R=日本人である。
Q=男性である。
として、
①(R∨Q, R├ Q)
②(R∨Q, R├ ~Q)
③(R∨Q,~R├ Q)
④(R∨Q,~R├ ~Q)
といふ「推論」は、それぞれ、
①(日本人であるか、または、男性であるか、または、その両方である。然るに、日本人である。故に、男性である。)
②(日本人であるか、または、男性であるか、または、その両方である。然るに、日本人である。故に、男性でない。)
③(日本人であるか、または、男性であるか、または、その両方である。然るに、日本人でない。故に、男性である。)
④(日本人であるか、または、男性であるか、または、その両方である。然るに、日本人でない。故に、男性でない。)
といふ「推論」に、「等しい」。
然るに、
(10)により、
(11)
③(日本人であるか、または、男性であるか、または、その両方である。然るに、日本人でない。故に、男性である。)
といふ「推論」は、明らかに、「妥当(Valid)」であるが、
①(日本人であるか、または、男性であるか、または、その両方である。然るに、日本人である。故に、男性である。)
②(日本人であるか、または、男性であるか、または、その両方である。然るに、日本人である。故に、男性でない。)
④(日本人であるか、または、男性であるか、または、その両方である。然るに、日本人でない。故に、男性でない。)
といふ「推論」は、明らかに、「無効(Invalid)」である。
従って、
(05)~(11)により、
(12)
①(P→Q,~P├ Q)≡(天気が良ければ、釣りに行く。天気が悪い。故に、釣りに行く。)
②(P→Q,~P├ ~Q)≡(天気が良ければ、釣りに行く。天気が悪い。故に、釣りに行かない。)
③(P→Q, P├ Q)≡(天気が良ければ、釣りに行く。天気が良い。故に、釣りに行く。)
④(P→Q, P├ ~Q)≡(天気が良ければ、釣りに行く。天気が良い。故に、釣りに行かない。)
といふ「推論」に於いても、
③(P→Q, P├ Q)≡(天気が良ければ、釣りに行く。天気が良い。故に、釣りに行く。)
といふ「推論」は、明らかに、「妥当(Valid)」であるが、
①(P→Q,~P├ Q)≡(天気が良ければ、釣りに行く。天気が悪い。故に、釣りに行く。)
②(P→Q,~P├ ~Q)≡(天気が良ければ、釣りに行く。天気が悪い。故に、釣りに行かない。)
④(P→Q, P├ ~Q)≡(天気が良ければ、釣りに行く。天気が良い。故に、釣りに行かない。)
といふ「推論」は、「無効(Invalid)」である。
然るに、
(13)
②(P→Q,~P├ ~Q)≡(天気が良ければ、釣りに行く。天気が悪い。故に、釣りに行かない。)
の場合は、あるいは、「妥当(Valid)」であると、思へないでもない。
然るに、
(14)
②(P⇔Q,~P├ ~Q)≡(天気が良ければ、そのとき限って、釣りに行く。天気が悪い。故に、釣りに行く。)
といふ「推論」であるならば、「妥当(Valid)」であるが、そうではないため、
②(P→Q,~P├ ~Q)≡(天気が良ければ、釣りに行く。天気が悪い。故に、釣りに行かない。)
の場合は、「前件否定の誤謬(the fallacy of denying the antecedent)」といひ、「誤謬」であるため、「妥当(Valid)」ではない。
然るに、
(01)により、
(15)
もう一度、確認すると、
(a)
1 (1) ~P 仮定
1 (2) ~P∨ Q 1選言導入
3 (3) P&~Q 仮定
4 (4) ~P 仮定
3 (5) P 3
34 (6) ~P&P 45連言導入
4 (7)~(P&~Q) 36背理法
8 (8) Q 仮定
3 (9) ~Q 3
3 8 (ア) Q&~Q 89連言導入
8 (イ)~(P&~Q) 3ア背理法
1 (ウ)~(P&~Q) 1478イ選言除去
エ (エ) P 仮定
オ(オ) ~Q 仮定
エオ(カ) P&~Q エオ連言導入
1 エオ(キ)~(P&~Q)&
(P&~Q) ウカ連言導入
1 エ (ク) ~~Q オキ背理法
1 エ (ケ) Q ク二重否定
1 (コ) P→ Q エケ条件去
であって、それ故、
① ~P├ ~P∨Q├ P→Q
といふ「連式(Sequents)」は、「妥当(Valid)」である。
然るに、
(16)
① ~P├ P→Q
といふことは、
① Pが、「偽」であるならば、
① P→Q(Pであるならば、Qである。)
といふ「仮言命題」は、「真」である。
といふことを、「意味」してゐる。
従って、
(16)により、
(17)
例へば、
① バカボンのパパは天才である。
といふ「命題」が「偽」である。といふ「世界」に於いて、
① バカボンのパパが天才であるならば、太陽は西から昇る。
といふ「仮言命題」は、「真」である。
従って、
(01)~(17)により、
(18)
③(天気が良ければ、釣りに行く。天気が良い。故に、釣りに行く。)
③(日本人であるか、または、男性であるか、または、その両方である。然るに、日本人でない。故に、男性である。)
といふ「推論」が、「妥当(Valid)」であるためには、例へば、
① バカボンのパパが天才であるならば、太陽は西から昇る。
といふ「仮言命題」が、「真」であることが、「必要」となり、こうした「事情」を、「質料含意のパラドック(The paradox of material implication)」といふ。
然るに、
(19)
① バカボンのパパが天才であるならば、太陽は西から昇る。
といふ「仮言命題」が、「真」であったとしても、
① バカボンのパパは天才ではない(?)が故に、
① バカボンのパパは天才である。
といふ「命題」は「真」ではなく、「偽」である。
従って、
(19)により、
(20)
(ⅰ)バカボンのパパが天才であるならば、太陽は西から昇る。然るに、
(ⅱ)バカボンのパパは天才である。従って、
(ⅲ)太陽は西から昇る。
といふ「推論」は、「マチガイ」であって、
(ⅰ)バカボンのパパが天才であるならば、太陽は西から昇る。然るに、
(ⅱ)バカボンのパパは天才ではない。従って、
(ⅲ)太陽は、西からは昇らない。
といふ「推論」は、「前件否定の誤謬(the fallacy of denying the antecedent)」である。
(01)
「太郎かあるいは次郎が辞書をもっている」と言われるとき、「太郎が辞書をもっている」と「次郎が辞書をもっている」の二つの命題は同時に真になることが可能である。このような選言は両立的選言(弱選言)と呼ばれる。
「太郎は3階か5階にいる」と言われるとき、「太郎は3階にいる」と「太郎は5階にいる」の命題が同時に真になることはありえない。このような選言は排他的選言(強選言)である。
論理学の「・・・あるいは・・・」は両立的選言に取り決めてある。それは論理学の体系がシンプルなものになるからである。とりわけ、∨を両立的選言の方に決めておけば、排他的選言の方は∨と&と~とによって簡単に表現できる ―(P∨Q)&~(P&Q)―(飯田賢一・中才敏郎・中谷隆雄、論理学の基礎、1994年、11頁改)
然るに、
(02)
(ⅰ)
1 (1) (P∨Q)&~(P&Q) A
1 (2) P∨Q 1&E
1 (3)~~P∨Q 2DN
1 (4) ~P→Q 3含意の定義
1 (5) ~(P&Q) 1&E
1 (6) ~P∨~Q 5ド・モルガンの法則
1 (7) P→~Q 6含意の定義
(8) ~P∨P TI(排中律)
9 (9) ~P A
19 (ア) Q 49MPP
19 (イ) ~P&Q 9ア&I
19 (ウ)(P&~Q)∨(~P&Q) イ∨I
エ(エ) P A
1 エ(オ) ~Q 7エMPP
1 オ(カ) P&~Q エオ&I
1 オ(キ)(P&~Q)∨(~P&Q) カ∨I
1 (ク)(P&~Q)∨(~P&Q) 89ウオキ∨E
(ⅱ)
1 (1) (P&~Q)∨(~P&Q) A
2 (2) P&~Q A
2 (3) P 2&E
2 (4) P∨ Q 3∨I
2 (5) ~Q 2&E
2 (6) ~P∨~Q 5∨I
2 (7)~(P& Q) 6ド・モルガンの法則
2 (8) (P∨ Q)&~(P&Q) 47&I
9(9) ~P&Q A
9(ア) ~P 9&I
9(イ) ~P∨~Q ア∨I
9(ウ) ~(P& Q) イ、ド・モルガンの法則
9(エ) Q 9&E
9(オ) P∨ Q エ∨I
9(カ) (P∨ Q)&~(P&Q) ウオ&I
1 (キ) (P∨ Q)&~(P&Q) 1289カ∨E
従って、
(02)により、
(03)
①(P∨ Q)&~(P&Q)
②(P&~Q)∨(~P&Q)
に於いて、
①=② である。
然るに、
(04)
(ⅱ)
1 (1) (P&~Q)∨ (~P&Q) A
2 (2) (P&~Q) A
2 (3) (P&~Q)∨ (Q&~P) 2∨I
4(4) (~P&Q) A
4(5) (Q&~P) 4交換法則
4(6) (P&~Q)∨ (Q&~P) 5∨I
1 (7) (P&~Q)∨ (Q&~P) 12346∨E
1 (8)~{~(P&~Q)&~(Q&~P)} 7ド・モルガンの法則
1 (9) ~{(P→ Q)& (Q→ P)} 8含意の定義(Ⅱ)
1 (ア) ~(P⇔ Q) 9Df.⇔
(ⅲ)
1 (1) ~(P⇔ Q) A
1 (2) ~{(P→ Q)& (Q→ P)} 1Df.⇔
1 (3)~{~(P&~Q)&~(Q&~P)} 2含意の定義(Ⅱ)
1 (4) (P&~Q)∨ (Q&~P) 3ド・モルガンの法則
5 (5) (P&~Q) A
5 (6) (P&~Q)∨ (~P&Q) 5∨I
7(7) (Q&~P) A
7(8) (~P&Q) 7交換法則
7(9) (P&~Q)∨ (~P&Q) 8∨I
1 (ア) (P&~Q)∨ (~P&Q) 15979∨E
従って、
(04)により、
(05)
② (P&~Q)∨(~P&Q)
③ ~(P⇔ Q)
に於いて、
②=③ である。
cf.
実を言ふと、この「計算」は、かなり、難しかった。
従って、
(03)(05)により、
(06)
① (P∨ Q)&~(P&Q)
② (P&~Q)∨(~P&Q)
③ ~(P⇔ Q)
に於いて、
①=② であって、
②=③ である。
従って、
(06)により、
(07)
「日本語」で言ふと、
①(Pであるか、または、Qである)が、ただし(Pであって、Qである)といふことはない。
②(Pであって、Qでないか)、または(Pでなくて、Qである)。
③(PとQの「真理値」が一致する)といふことはない。
に於いて、
①=②=③ である。
(08)
③ ~(P⇔Q)
③ (PとQの「真理値」が一致する)といふことはない。
といふことは、
(ⅰ)PとQ の、両方とも「真」であることは、無く、
(ⅱ)PとQ の、両方とも「偽」であることも、無い。
といふことである。
然るに、
(09)
(ⅰ)PとQ の、両方とも「真」であることは、無く、
(ⅱ)PとQ の、両方とも「偽」であることも、無い。
といふことは、
(ⅲ)Pが「真」であって、Qが「偽」であるか、
(ⅳ)Qが「真」であって、Pが「偽」であるかの、いづれか、一方である。
従って、
(01)(07)(08)(09)により、
(10)
③ ~(P⇔Q)≡Pであるか、または、Qである。
といふ「強選言(排他的選言)」であるならば、
(α)Pであるか、または、Qである。然るに、
(β)Pでない。 従って、Qである。
といふ「推論」は、「妥当」であり、
(γ)Pであるか、または、Qである。然るに、
(δ)Pである。 従って、Qでない。
といふ「推論」も、「妥当」である。
然るに、
(01)により、
(11)
④ P∨Q≡Pであるか、または、Qである。
といふ「弱選言(両立的選言)」であるならば、
(α)Pであるか、または、Qである。然るに、
(β)Pでない。 従って、Qである。
といふ「推論」は、「妥当」であるが、
(γ)Pであるか、または、Qである。然るに、
(δ)Pである。 従って、Qでない。
といふ「推論」は、「妥当」ではない。
従って、
(12)
(α)Pであるか、または、Qである。然るに、
(β)Pでない。 従って、Qである。
といふ「推論(選言三段論法)」であれば、
③ ~(P⇔Q)≡Pであるか、または、Qである。
といふ「強選言(排他的選言)」であっても、
④ P∨Q≡Pであるか、または、Qである。
といふ「弱選言(両立的選言)」であっても、
両方とも、「妥当」である。
―「昨日(令和03年06月07日)の2つの記事」を「補足」します。―
(01)
―「ド・モルガンの法則」の証明。―
(ⅰ)
1 (1) ~(P&~Q) 仮定
2 (2) ~(~P∨ Q) 仮定
3 (3) ~P 仮定
3 (4) ~P∨ Q 3選言導入
23 (5) ~(~P∨ Q)&
(~P∨ Q) 24連言導入
2 (6) ~~P 35背理法
2 (7) P 6二重否定
8(8) Q 仮定
8(9) ~P∨ Q 8選言導入
2 8(ア) ~(~P∨ Q)&
(~P∨ Q) 29連言導入
2 (イ) ~Q 8ア背理法
2 (ウ) P&~Q 7イ連言導入
12 (エ) ~(P&~Q)&
(P&~Q) 1ウ連言導入
1 (オ)~~(~P∨ Q) 2エ背理法
1 (カ) ~P∨ Q オ二重否定
(ⅱ)
1 (1) ~P∨ Q 仮定
2 (2) P&~Q 仮定
3 (3) ~P 仮定
2 (4) P 2連言除去
23 (5) ~P&P 34連言導入
3 (6)~(P&~Q) 25背理法
7(7) Q 仮定
2 (8) ~Q 2連言除去
2 7(9) Q&~Q 78連言導入
7(ア)~(P&~Q) 29背理法
1 (イ)~(P&~Q) 1367ア選言除去
12 (ウ) (P&~Q)&
~(P&~Q) 1イ連言導入
1 (エ)~(P&~Q) 2ウ背理法
―「含意の定義」の証明。―
(ⅲ)
1 (1) ~P∨ Q 仮定
2 (2) P&~Q 仮定
3 (3) ~P 仮定
2 (4) P 2連言除去
23 (5) ~P&P 34連言導入
3 (6)~(P&~Q) 25背理法
7 (7) Q 仮定
2 (8) ~Q 2連言除去
2 7 (9) Q&~Q 78連言導入
7 (ア)~(P&~Q) 29背理法
1 (イ)~(P&~Q) 1367ア選言除去
ウ (ウ) P 仮定
エ(エ) ~Q 仮定
ウエ(オ) P&~Q ウエ連言導入
1 ウエ(カ)~(P&~Q)&
(P&~Q) イオ連言導入
1 ウ (キ) ~~Q エカ背理法
1 ウ (ク) Q キ二重否定
1 (ケ) P→ Q ウク条件去
(ⅳ)
1 (1) P→Q 仮定
2 (2) ~(~P∨Q) 仮定
3(3) ~P 仮定
3(4) ~P∨Q 3選言導入
23(5) ~(~P∨Q)&
(~P∨Q) 24連言導入
2 (6) ~~P 35背理法
2 (7) P 6二重否定
12 (8) Q 17肯定肯定式
12 (9) ~P∨Q 8選言導入
12 (ア) ~(~P∨Q)&
(~P∨Q) 29連言導入
1 (イ)~~(~P∨Q) 2ア背理法
1 (ウ) ~P∨Q イ二重否定
従って、
(01)により、
(02)
① ~(P&~Q)≡(Pであって、Qでない。)といふことはない。
② ~P∨ Q ≡ Pでないか、または、Qである。
③ ~P∨ Q ≡ Pでないか、または、Qである。
④ P→ Q ≡ Pであるならば、 Qである。
に於いて、
①=② である(ド・モルガンの法則Ⅰ)。
③=④ である(含意の定義Ⅰ)。
従って、
(02)により、
(03)
① ~(P&~Q)≡(Pであって、Qでない。)といふことはない。
④ P→ Q ≡ Pであるならば、Qである。
に於いて、
①=④ である(含意の定義Ⅱ)。
然るに、
(04)
(ⅴ)
1 (1) ~(P⇔Q) A
1 (2)~{(P→Q)& (Q→P)} 2Df.⇔
1 (3) ~(P→Q)∨~(Q→P) 2ド・モルガンの法則
4 (4) ~(P→Q) A
4 (5)~(~P∨Q) 4含意の定義(Ⅰ)
4 (6) P&~Q 5ド・モルガンの法則
4 (7) (P&~Q)∨(~P&Q) 6∨I
8(8) ~(Q→P) A
8(9) ~(~Q∨P) 8含意の定義(Ⅰ)
8(ア) Q&~P 9ド・モルガンの法則
8(イ) ~P&Q ア交換法則
8(ウ) (P&~Q)∨(~P&Q) イ∨I
1 (エ) (P&~Q)∨(~P&Q) 1478ウ∨E
(ⅵ)
1 (1) (P&~Q)∨(~P&Q) A
2 (2) (P&~Q) A
2 (3)~(~P∨Q) 2ド・モルガンの法則
2 (4) ~(P→Q) 3含意の定義(Ⅰ)
2 (5) ~(P→Q)∨~(Q→P) 4∨I
6(6) (~P&Q) A
6(7) ~(P∨~Q) 6ド・モルガンの法則
6(8) ~(~Q∨P) 7交換法則
6(9) ~(Q→P) 8含意の定義
6(ア) ~(P→Q)∨~(Q→P) 9∨I
1 (イ) ~(P→Q)∨~(Q→P) 1256ア∨E
1 (ウ)~{(P→Q)& (Q→P)} イ、ド・モルガンの法則
1 (エ) ~(P⇔Q) ウ含意の定義
従って、
(04)により、
(05)
⑤ ~(P⇔ Q)
⑥ (P&~Q)∨(~P&Q)
に於いて、すなはち、
⑤(PとQの「真理値」が等しい。)といふことはない。
⑥(PであってQでないか、)または(PでなくてQである。)
⑤=⑥ である。
然るに、
(06)
⑥(PであってQでないか、)または(PでなくてQである。)
に対して、
⑦(PであってQでないか、)尚且つ(PでなくてQである。)
の場合は、「矛盾」である。
従って、
(05)(06)により、
(07)
⑤ ~(P⇔ Q)
⑥ (P&~Q)∨(~P&Q)
に於いて、すなはち、
⑤(PとQの「真理値」が等しい。)といふことはない。
⑥(PであってQでないか、)または(PでなくてQである。)
に於いて、
⑤=⑥ である。
といふことは、
⑦(PであってQでないか、)または(PでなくてQである。)であるかの、どちらか「一方」である。
といふ、「意味」になる。
従って、
(07)により、
(08)
「番号」を付けなおすと、
① ~(P⇔Q)
② Pであるか、または、Qであるか、どちら一方だけが、「真(本当)」である。
に於いて、
①=② である。
然るに、
(09)
② Pであるか、Qであるか、どちら一方だけが、「真(本当)」である。
といふ場合を、「強選言(Strong disjunction)」といふ。
従って、
(08)(09)により、
(10)
① ~(P⇔Q)≡Pであるか、または、Qである。
といふ「論理式」は、「強選言(Strong disjunction)」である。
従って、
(10)により、
(11)
① ~( P⇔ Q)≡Pであるか、または、Qである。どちらか一方である。
② ~(~P⇔~Q)≡Pでないか、または、Qでない。どちらか一方である。
といふ「論理式」は、両方とも、「強選言(Strong disjunction)」である。
cf.
最後は「PK戦」で「決着」を付けるとするならば、
①「新潟」が勝利するか、「京都」が勝利する。
②「京都」が敗退するか、「新潟」は敗退する。
に於いて、
①=② である(強選言)。
cf.
然るに、
(12)
(ⅲ)
1(1)~(P& Q) A
1(2) P→~Q 1含意の定義(Ⅱ)
1(3) (P→~Q)∨(Q→~P) 2∨I
(ⅳ)
1 (1) (P→~Q)∨(Q→~P) A
2 (2) (P→~Q) A
2 (3) ~P∨~Q 2含意の定義(Ⅰ)
2 (4)~(P& Q) 3ド・モルガンの法則
5(5) (Q→~P) A
5(6) ~Q∨~P 5含意の定義
5(7) ~P∨~Q 6交換法則
5(8) ~(P& Q) 7ド・モルガンの法則
1 (9)~(P& Q) 12458∨E
従って、
(12)により、
(13)
③ ~(P& Q)
④ (P→~Q)∨(Q→~P)
に於いて、すなはち、
③(Pであって、Qである。)といふことはない。
④(Pであるならば、Qでないか、)または(Qであるならば、Pでない。)
に於いて、
③=④ である。
然るに、
(14)
③ ~(P&Q)
③(Pであって、Qである。)といふことはない。
といふことは、
③(PとQが、「同時」に「真」になる。)といふことに関しては、「それ」は無い。
といふ「意味」である。
従って、
(14)により、
(15)
③ ~(P&Q)
③(Pであって、Qである。)といふことはない。
といふことは、
③(PとQが、「同時」に「偽」になる。)といふことを、「否定」しない。
従って、
(13)(14)(15)により、
(16)
③ ~(P& Q)
④ (P→~Q)∨(Q→~P)
に於いて、すなはち、
③(Pであって、Qである。)といふことはない。
④(Pであるならば、Qでないか、)または(Qであるならば、Pでない。)
に於いて、
③=④ である。
といふことは、
④(Pであって、Qでないか、)または(Qであって、Pでないか、)または(Pではなく、Qでもない。)
といふことに、他ならない。 従って、
(16)により、
(17)
③ ~(P&Q)
④(Pであって、Qでないか、)または(Qであって、Pでないか、)または(Pではなく、Qでもない。)
に於いて、
③=④ である。
然るに、
(18)
④(Pであって、Qでないか、)または(Qであって、Pでないか、)または(Pではなく、Qでもない。)
といふ場合を、「弱選言(Weak disjunction)」といふ。
従って、
(16)(17)(18)により、
(19)
③ ~(P& Q)
④ (P→~Q)∨(Q→~P)
といふ「論理式」、すなはち、
③(Pであって、Qである。)といふことはない。
④(Pであって、Qでないか、)または(Qであって、Pでないか、)または(Pではなく、Qでもない。)
といふ「それ」は、「弱選言(Weak disjunction)」である。
cf.
「PK戦」が無い場合、
③「新潟」が勝利するか、「京都」が勝利する。
④「新潟」が勝利するか、「京都」が勝利するか、または、「引き分け」である。
に於いて、
③=④ である(弱選言)。
従って、
(11)(19)により、
(20)
「番号」を付け直すと、
① ~(~P⇔~Q)≡(Pでないか、または、Qでないか、)どちらか、一方である。
② ~( P& Q)≡(Pであって、Qでないか、)または(Qであって、Pでないか、)または(Pではなく、Qでもない。)
に於いて、
① は「強選言」であって、
② は「弱選言」である。
然るに、
(21)
(ⅲ)
1 (1)~(P∨Q) A
2 (2) P A
2 (3) P∨Q 2∨I
1 2 (4)~(P∨Q)&
(P∨Q) 13&I
1 (5) ~P 24RAA
6(6) Q A
6(7) P∨Q 7∨I
1 6(8)~(P∨Q)&
(P∨Q) 17&I
1 (9) ~Q 68RAA
1 (ア)~P&~Q 69&I
(ⅳ)
1 (1) ~P&~Q A
2 (2) P∨ Q A
3 (3) P A
1 (4) ~P 1&E
1 3 (5) P&~P 34&I
3 (6)~(~P&~Q) 13RAA
7(7) Q A
1 (8) ~Q 1&E
1 7(9) Q&~Q 78&I
7(ア)~(~P&~Q) 19RAA
2 (イ)~(~P&~Q) 2367ア∨E
12 (ウ) (~P&~Q)&
~(~P&~Q) 1イ&I
1 (エ) ~(P∨ Q) 2ウRAA
従って、
(21)により、
(22)
③ ~(P∨ Q)≡(Pであるか、または、Qである。)といふことは無い。
④ ~P&~Q ≡(Pではなく、Qでもない。)
に於いて、
③=④ である(ド・モルガンの法則Ⅱ)。
然るに、
(23)
例へば、
③ ~(P∨ Q)
④ ~P&~Q
に於いて、
P=カオルは外国人である。
Q=カオルは 女性 である。
といふ「代入(Substitution)」を行ふと、
③(カオルが外国人であるか、または、カオルが女性である。)といふことはない。
④(カオルは日本人であって、尚且つ、は男性である。)
に於いて、明らかに、
③=④ である。
然るに、
(24)
③(外国人の、カオルといふ女性)は、存在し得るし、
③(日本人の、カオルといふ女性)は、存在し得るし、
④(日本人の、カオルといふ男性)も、存在し得る。
cf.
かおる、カオルは、日本語圏における人名である。男性名にも女性名にも用いられるユニセックスな名前。
(ウィキペディア)
従って、
(18)~(24)により、
(25)
③(カオルが外国人であるか、または、カオルが女性である。)といふことはない。
④(カオルは日本人であって、尚且つ、は男性である。)
に於いて、明らかに、
③=④ である。
といふ場合に於ける、
③ ~(P∨ Q)≡(Pであるか、または、Qである。)といふことは無い。
③(カオルが外国人であるか、または、カオルが女性である。)といふことはない。
の場合は、
③「強選言」の「否定」はなく、
④「弱選言」の「否定」である。
といふ、ことになる。
然るに、
(26)
(ⅴ)
1(1)~(P& Q) A
1(2) ~P∨~Q 1ド・モルガンの法則
(ⅵ)
1(1) ~P∨~Q A
1(2)~(P& Q) 1ド・モルガンの法則
従って、
(26)により、
⑤ ~(P& Q)
⑥ ~P∨~Q
に於いて、
⑤=⑥ である。
従って、
(19)(26)により、
(27)
⑤ ~(P& Q)
⑥ ~P∨~Q
に於いて、
⑤=⑥ であるが、この場合、
⑤ は、「弱選言」であって、「強選言」ではない。
従って、
(27)により、
(28)
⑤ ~(P& Q)
⑥ ~P∨~Q
に於いて、
P=サトコが外国人である。
Q=サトコが日本人である。
とすると、
⑤(サトコが外国人であって、尚且つ、サトコが日本人である。)といふことはない。
⑥(サトコは日本人であるか、または、サトコは外国人である。)
に於いて、
⑤=⑥ である(ド・モルガンの法則)。
とするならば、
⑥(サトコは日本人であるか、サトコは外国人であるか、サトコは、日本人であって外国人である。)
といふ「弱選言」に、ならざるを得ない。
然るに、
(29)
⑥(サトコは、日本人であって外国人である。)
といふことは、無い。
従って、
(28)(29)により、
(30)
⑤ ~(P& Q)
⑥ ~P∨~Q
に於いて、
P=サトコは外国人である。
Q=サトコは日本人である。
といふ「代入(Substitution)」を行ふことは、出来ない。
従って、
(23)~(30)により、
(31)
③ ~(P∨ Q)
④ ~P&~Q
に於いて、
P=カオルは外国人である。
Q=カオルは 女性 である。
といふ「代入(Substitution)」を行ふことは、「妥当」であるが、
⑤ ~(P& Q)
⑥ ~P∨~Q
に於いて、
P=サトコが外国人である。
Q=サトコが日本人である。
といふ「代入(Substitution)」を行ふことは、「妥当」ではない。
従って、
(31)により、
(32)
「昨日(令和03年06月07日)」の「最初の記事」は、その「部分」が、「妥当」ではない。
然るに、
(04)(11)により、
(33)
もう一度、確認すると、
① ~( P⇔ Q)≡~{( P→ Q)&( Q→ P)}≡Pであるか、または、Qである。どちらか一方である。
② ~(~P⇔~Q)≡~{(~Q→~P)&(~P→~Q)}≡Pでないか、または、Qでない。どちらか一方である。
といふ「論理式」は、両方とも、「強選言(Strong disjunction)」である。
従って、
(34)
「古典命題論理」の「体系」に於いて、「強選言(Strong disjunction)」は「複合命題」である。
といふことになるものの、「強選言(Strong disjunction)」は、「排他的選言(Exclusive disjunction)」ともいふ。
然るに、
(35)
排他的選言の方は∨と&と~とによって簡単に表現できる ―(P∨Q)&~(P&Q)―
(昭和堂、論理学の基礎、1994年、11頁)
従って、
(33)(34)(35)により、
(36)
① ~(P⇔Q)
② (P∨Q)&~(P&Q)
に於いて、
①=② である。
然るに、
(37)
① ~(P⇔Q)
② (P∨Q)&~(P&Q)
に於いて、
① であれば、
①(PとQの「真理値」が等しい。)といふことはない。
といふことが、「明瞭」であるが、
② であれば、そうではないし、
① ~(P⇔Q)
の方が、
② (P∨Q)&~(P&Q)
よりも、「表記」が、「簡単」である。
(38)
私の友人曰く、
(本日午後、古田徹也氏著 ウィトゲンシュタイン本が到着予定で、楽しみにしているところです。)
然るに、
(39)
(ウィトゲンシュタインの哲学の)前期というのは、濃厚に、「当時の記号論理学の成果」を前提にしていて、それをもとに、展開されといるので、それ自体がこう「非常に、参入障壁」というか、「その最初の、高すぎる壁」になってしまうわけですね(ユーチューブ:はじめてのウィトゲンシュタイン - 一生役立つ哲学入門)。
との、ことである。
然るに、
(40)
図書館にあった、「ウィトゲンシュタインの類似書」を見た限りでは、「その最初の、高すぎる壁」というのは、「極めて(低い)、初歩的な、古典論理学」に過ぎない(?)。
―「今日(令和03年06月07日)の記事」を「補足・訂正」します。―
(01)
(ⅰ)
1 (1)~(P∨Q) A
2 (2) P A
2 (3) P∨Q 2∨I
1 2 (4)~(P∨Q)&
(P∨Q) 13&I
1 (5) ~P 24RAA
6(6) Q A
6(7) P∨Q 7∨I
1 6(8)~(P∨Q)&
(P∨Q) 17&I
1 (9) ~Q 68RAA
1 (ア)~P&~Q 69&I
(ⅱ)
1 (1) ~P&~Q A
2 (2) P∨ Q A
3 (3) P A
1 (4) ~P 1&E
1 3 (5) P&~P 34&I
3 (6)~(~P&~Q) 13RAA
7(7) Q A
1 (8) ~Q 1&E
1 7(9) Q&~Q 78&I
7(ア)~(~P&~Q) 19RAA
2 (イ)~(~P&~Q) 2367ア∨E
12 (ウ) (~P&~Q)&
~(~P&~Q) 1イ&I
1 (エ) ~(P∨ Q) 2ウRAA
従って、
(01)により、
(02)
① ~(P∨ Q)
② ~P&~Q
に於いて、
①=② である(ド・モルガンの法則)。
然るに、
(03)
① ~(P∨ Q)
② ~P&~Q
といふ「論理式」は、
①(Pであるか、または、Qである。)といふことはない。
②(Pではなく、尚且つ、Qでもない。)
といふ「意味」である。
然るに、
(04)
例へば、
①(タカシが外国人であるか、または、タカシが女性である。)といふことはない。
②(タカシは日本人であって、尚且つ、タカシは男性である。)
に於いて、明らかに、
①=② である。
(05)
(ⅲ)
1 (1)~(P& Q) A
2 (2) P A
3(3) Q A
23(4) P& Q 23&I
123(5)~(P& Q)&
12 (6) ~Q 35RAA
1 (7) P→~Q 26CP
(ⅳ)
1 (1) P→~Q A
2 (2) P& Q A
2 (3) P 2&E
12 (4) ~Q 12MPP
2 (5) Q 2&E
12 (6) ~Q&Q 45&I
1 (7)~(P& Q) 26RAA
従って、
(05)により、
(06)
③ ~(P& Q)
④ P→~Q
に於いて、
①=② である。
然るに、
(07)
「交換法則」と「対偶」と「二重否定律」により、
③ ~(P& Q)≡~(Q& P)
④ P→~Q ≡ Q→~P
に於いて、
③=④ である。
然るに、
(08)
(ⅲ)
1 (1) ~(Q& P) A
2 (2) ~(~Q∨~P) A
3 (3) ~Q A
3 (4) ~Q∨~P 3∨I
23 (5) ~(~Q∨~P)&
(~Q∨~P) 24&I
2 (6) ~~Q 3RAA
2 (7) Q 6DN
8(8) ~P A
8(9) ~Q∨~P 8∨I
2 8(ア) ~(~Q∨~P)&
(~Q∨~P) 28&I
2 (イ) ~~P 8アRAA
2 (ウ) P イDN
2 (エ) Q& P 7ウ&I
12 (オ) ~(Q& P)&
(Q& P) 1エ&I
1 (カ)~~(~Q∨~P) 2オDN
1 (キ) ~Q∨~P カDN
(ⅳ)
1 (1) ~Q∨~P A
2 (2) Q& P A
3 (3) ~Q A
2 (4) Q 2&E
23 (5) ~Q&Q 34&I
3 (6) ~(Q& P) 25RAA
7(7) ~P A
2 (8) P 2&E
2 7(9) ~P&P 78&I
7(ア) ~(Q& P) 29RAA
1 (イ) ~(Q& P) 1367ア∨E
従って、
(08)により、
(09)
③ ~(Q& P)
④ ~Q∨~P
に於いて、
③=④ である。
従って、
(09)により、
(10)
「交換法則」により、
③ ~(P& Q)
④ ~P∨~Q
に於いて、
③=④ である。
従って、
(07)~(10)により、
(11)
③ ~(P& Q)≡~(Q& P)≡~Q∨~P
④ P→~Q ≡ Q→~P ≡~P∨~Q
に於いて、
③=④ である(ド・モルガンの法則)。
従って、
(11)により、
(12)
③ ~(P& Q)
④ ~P∨~Q
に於いて、
③=④ である(ド・モルガンの法則)。
といふことは、
③ P→~Q≡Pならば、Qでない。
④ Q→~P≡Qならば、Pでない。
に於いて、
③=④ である(ド・モルガンの法則)
といふことに、他ならない。
従って、
(12)により、
(13)
③ ~(P& Q)
④ ~P∨~Q
に於いて、
③=④ である。
といふ「ド・モルガンの法則」は、
③(Qでないこと)を「否定」せず、『同時』に、
④(Pでないこと)も「否定」しない。
従って、
(13)により、
(14)
③ ~(P&Q)
④ Pでないか、Qでないか、または、Pでも、Qでもない。
に於いて、
③=④ である(ド・モルガンの法則)。
従って、
(14)により、
(15)
③(サトコが外国人であって、尚且つ、サトコが日本人である。)といふことはない。
④(サトコは日本人であるか、または、サトコは外国人である。)
に於いて、
③=④ である(ド・モルガンの法則)。
とするならば、
④(サトコは日本人であるか、サトコは外国人であるか、サトコは、日本人であって外国人である。)
といふ、ことになる。
従って、
(11)(15)
(16)
③ ~(P& Q)≡~(Q& P)≡~Q∨~P
④ P→~Q ≡ Q→~P ≡~P∨~Q
に於いて、
③=④ である(ド・モルガンの法則)。
といふことからすると、
③(サトコが外国人であって、尚且つ、サトコが日本人である。)といふことはない。
④(サトコは日本人であるか、または、サトコは外国人である。)
に於いて、
③=④ である(ド・モルガンの法則)。
とすることは、「例文」として、「適当」ではない。
(17)
④(サトコは日本人であるか、または、サトコは外国人である。)
といふ「言ひ方」を、「強選言(Strong disjunction)」といひ、
④(サトコは日本人であるか、または、サトコは女性である。)
といふ「言ひ方」は、「弱選言(Weak disjunction)」といふ。
(01)
(ⅰ)
1 (1)~(P∨Q) A
2 (2) P A
2 (3) P∨Q 2∨I
1 2 (4)~(P∨Q)&
(P∨Q) 13&I
1 (5) ~P 24RAA
6(6) Q A
6(7) P∨Q 7∨I
1 6(8)~(P∨Q)&
(P∨Q) 17&I
1 (9) ~Q 68RAA
1 (ア)~P&~Q 69&I
(ⅱ)
1 (1) ~P&~Q A
2 (2) P∨ Q A
3 (3) P A
1 (4) ~P 1&E
1 3 (5) P&~P 34&I
3 (6)~(~P&~Q) 13RAA
7(7) Q A
1 (8) ~Q 1&E
1 7(9) Q&~Q 78&I
7(ア)~(~P&~Q) 19RAA
2 (イ)~(~P&~Q) 2367ア∨E
12 (ウ) (~P&~Q)&
~(~P&~Q) 1イ&I
1 (エ) ~(P∨ Q) 2ウRAA
(ⅲ)
1 (1) ~(P& Q) A
2 (2) ~(~P∨~Q) A
3 (3) ~P A
3 (4) ~P∨~Q 3∨I
23 (5) ~(~P∨~Q)&
(~P∨~Q) 24&I
2 (6) ~~P 3RAA
2 (7) P 6DN
8(8) ~Q A
8(9) ~P∨~Q 8∨I
2 8(ア) ~(~P∨~Q)&
(~P∨~Q) 28&I
2 (イ) ~~Q 8アRAA
2 (ウ) Q イDN
2 (エ) P& Q 7ウ&I
12 (オ) ~(P& Q)&
(P& Q) 1エ&I
1 (カ)~~(~P∨~Q) 2オDN
1 (キ) ~P∨~Q カDN
(ⅳ)
1 (1) ~P∨~Q A
2 (2) P& Q A
3 (3) ~P A
2 (4) P 2&E
23 (5) ~P&P 34&I
3 (6) ~(P& Q) 25RAA
7(7) ~Q A
2 (8) Q 2&E
2 7(9) ~Q&Q 78&I
7(ア) ~(P& Q) 29RAA
1 (イ) ~(P& Q) 1367ア∨E
従って、
(01)により、
(02)
① ~(P∨ Q)
② ~P&~Q
③ ~(P& Q)
④ ~P∨~Q
に於いて、
①=② である(ド・モルガンの法則)。
③=④ である(ド・モルガンの法則)。
然るに、
(03)
① ~(P∨ Q)
② ~P&~Q
③ ~(P& Q)
④ ~P∨~Q
といふ「論理式」は、
①(Pであるか、または、Qである。)といふことはない。
②(Pではなく、尚且つ、Qである。)
③(Pであって、尚且つ、Qである。)といふことはない。
④(Pでないか、または、Qでない。)
といふ「意味」である。
然るに、
(04)
例へば、
①(タカシが外国人であるか、または、タカシが女性である。)といふことはない。
②(タカシは日本人であって、尚且つ、タカシは男性である。)
③(サトコが外国人であって、尚且つ、サトコが日本人である。)といふことはない。
④(サトコは日本人であるか、または、サトコは外国人である。)
に於いて、明らかに、
①=② であって、
③=④ である。
従って、
(02)(03)(04)により、
(05)
①(Pであるか、または、Qである。)といふことはない。
②(Pではなく、尚且つ、Qである。)
③(Pであって、尚且つ、Qである。)といふことはない。
④(Pでないか、または、Qでない。)
といふ「日本語」で考へれば、
① ~(P∨ Q)
② ~P&~Q
③ ~(P& Q)
④ ~P∨~Q
に於いて、
①=② である(ド・モルガンの法則)。
③=④ である(ド・モルガンの法則)。
といふことは、「当然」である。
然るに、
(06)
2021/4/17 0:28
1回答
2変数のド・モルガンの定理を真理値表を用いて、証明しろと言う問題で、成り立つのは分かるんですけど、どういった式などを立てれば良いのか教えてください!
然るに、
(07)
といふ『表』を見て「納得」するより、
①(タカシが外国人であるか、または、タカシが女性である。)といふことはない。
②(タカシは日本人であって、尚且つ、タカシは男性である。)
③(サトコが外国人であって、尚且つ、サトコが日本人である。)といふことはない。
④(サトコは日本人であるか、または、サトコは外国人である。)
に於いて、
①=② であって、
③=④ である。
といふことを、「納得」する方が、「簡単」である。
然るに、
(08)
「真理(値)表」と言へば、
誰が真理表を最初に発明したのかは難しい問題だが、最初に公表したのはポストではないかと思われる(4)。
(4)真表理の歴史に関しては Kneale and Kneale (1962), pp. 531-2 を参考にした。そこにはウィトゲンシュタインの名前も挙がっているが、本論文第七節で考察するように、確かに彼は真理表のように見えるものを考案したが、それは実際は真理表ではないと見なすべきであろう(真理表の哲学(一))。
とのことである。
然るに、
(09)
新世代の書き手による、ウィトゲンシュタイン哲学への最上の入門書が誕生!
哲学史に決定的なインパクトを残した独創的な哲学者として、また、奇行の多い天才の典型として、比類なき評価を得ている孤高の人物について、その波瀾に富んだ生涯と独特の思索の全体像をつかむ、初学者向けの理想的な一冊。「前期」と「後期」で何が一変したのかも、「像(Bild)」という概念に沿って原典を読み解くことで正確に理解し、ウィトゲンシュタインのラディカルな思考がもつ本質的な可能性を見出す。遺稿・講義録の精密な翻訳を手掛けた経験のうえに、身近で秀逸な比喩によって、難解な原文のエッセンスを的確に伝える懇切丁寧な解説を実現した。21世紀のウィトゲンシュタイン入門書はこれで決まり!
とのことなので、私も、いつかは「それ」を読んでみたい。
然るに、
(10)
今の私は、本当は、「このやうなブログ」を、書いてゐる「時間」さえも、無くなりつつある。
(11)
といふ「数値」だけからすれば、
Ax.)Hb・アルブミンが上昇しているが、
BUN・Cre・Na上昇もあり、輸液中止による脱水傾向の可能性も考えられる。
Px.)1/29退院直前まで輸液再開とする。
といふ「判断」も、分からないでもない。
然るに、
(12)
であるため、
「2016年12月06日~2018年10月23日」に於ける、「9回の血液検査の平均(当然、輸液は無いし、痛風発作も無い)」である所の、
(Ⅰ)赤血球(2.50):ヘマトリック(29.0):総蛋白(5.7):アルブミン(不明)
と比較すれば、
(Ⅱ)セ血球(2.46):ヘマトリック(28.5):総蛋白(7.1):アルブミン(3.7)
といふ「数値」を以て、『輸液中止による脱水傾向だけが「BUN・Cre・尿酸値」の上昇を招いた可能性も考えられる』とすることは、出来ない。
然るに、
(13)
S先生曰く、
引用された論文(急性腎不全 菱田明 日腎会誌 2002;44:94-101)の御指摘の記述の通りにあてはめれば、2019/1/25の血清クレアチニンの上昇経過は本論文に記載されている「一般的に急性腎不全として扱っている」カテゴリーに当てはまります。しかし、「急性腎不全と診断するうえでの腎機能低下の程度や低下速度に関する診断基準として明文化されたものはない」と本論文の冒頭にも記載されているとおり、コンセンサスが得られた急性腎不全である」かそうかのコメントはできません(明らかな誤りであるとは言えないと思いますが。
―中略、―
ただし、同時にアルファカルシードカプセル錠も服用しており、同剤の添付所にも腎臓に関する副作用としてフェブリク同様の記載がされており、アルファカルシードカプセル錠による副作用も同時に考慮する必要があると思われます。
然るに、
(14)
アルファカルシドールカプセル0.5μg「サワイ」の基本情報
副作用(添付文書全文)
本剤は使用成績調査等の副作用発現頻度が明確となる調査を実施していない。
1.重大な副作用(頻度不明)
1).急性腎不全:血清カルシウム上昇を伴った急性腎不全が現れることがあるので、血清カルシウム値及び腎機能を定期的に観察し、異常が認められた場合には、投与を中止するなどの適切な処置を行う。
従って、
(15)
「アルファカルシドールカプセル0.5μg」に関しては、「単なる、急性腎不全」ではなく、飽くまでも、「血清カルシウム上昇を伴った急性腎不全」である。
然るに、
(16)
に対して、
腎不全を伴う高カルシウム血症を示した筋サルコイドーシスの 1 例
清水伸一、深瀬正晃、藤田拓男、岡田聡… - 日本内科学会 …、1985 - jstage.jst.go.jp
… 血清Ca値が 前値12.7mg/dlから後値9.8mg/dlへと正常化し、原発性副甲状腺腫瘍の存在は否定された。
従って、
(15)(16)により、
(17)
血清カルシウムが、前値12.7mg/dlから後値9.8mg/dlへと正常化した。
といふのであれば、
の場合は、『高カルシウム血症を伴う腎不全』ではない。
等々の「反論」を、「ど素人の私」が、「(Pmdaの)医学者」の方たちに向けて、「約1か月以内」に行ふ必要があります。
従って、
(10)~(17)により、
(18)
今の私は、本当は、「このやうなブログ」を、書いてゐる「時間」が、無くなりつつある。
といふことになり、それ故、本当は、しばらくの間は、「ブログ」を休止すべきなのですが、その一方で、「書きたい記事」が無くならない、といふことも「事実」です。
因みに、
(19)
といふ、弁護士を介しての、「私への回答」が「大嘘」であることは、
(α)
診療日付 2019年1月4日 医師かカルテ 内科 入院 主保険(0) 記載者 SY 14:43
Px.)明日~フェブリク内服開始。
(β)
診療日付 2019年1月7日 医師かカルテ 内科 入院 主保険(0) 記載者 SY 09:21
Px.)2013/2/7 ザイロリック・フェブリクで肝障害とのアラートがあるが、1/11 L/D checkし経過みてみる。
(γ)
診療日付 2019年1月11日 医師かカルテ 内科 入院 主保険(0) 記載者 SY 14:43
Ax.)肝機能障害出現なし。
Px.)フェブリク内服継続とする。
(δ)
「2019/03/11 11:14:18 Computer:WS001 User:WS001」
の出力画面(電子カルテ)の、スクリーンショット
によって、「証明」出来ます。
(01)
(ⅰ)
1 (1) P& Q A
2 (2) ~P∨~Q A
3 (3) ~P A
1 (4) P 1&E
1 3 (5) ~P&P 34&I
3 (6) ~(P& Q) 13RAA
7(7) ~Q A
1 (8) Q 1&E
1 7(9) ~Q&Q 78&I
7(ア) ~(P& Q) 19RAA
2 (イ) ~(P& Q) 2367ア∨E
12 (ウ) (P& Q)&
~(P& Q) 1イ&I
1 (エ)~(~P∨~Q) 2ウRAA
(ⅱ)
1 (1) ~(~P∨~Q) A
2 (2) ~P A
2 (3) ~P∨~Q 2∨I
1 2 (4) ~(~P∨~Q)&
(~P∨~Q) 13&I
1 (5) ~~P 24RAA
1 (6) P 5DN
7(7) ~Q A
7(8) ~P∨~Q 7∨I
1 7(9) ~(~P∨~Q)&
(~P∨~Q) 18&I
1 (ア) ~~Q 79RAA
1 (イ) Q アDN
1 (ウ) P& Q 6イ&I
(02)
(ⅲ)
1 (1) P& Q& R A
2 (2) ~P∨ ~Q∨~R A
2 (3) ~P∨(~Q∨~R) 2結合法則
4 (4) ~P A
1 (5) P 1&E
1 4 (6) ~P&P 45&I
4 (7)~( P& Q& R) 16RAA
8 (8) (~Q∨~R) A
9 (9) ~Q A
1 (ア) Q 1&E
1 9 (イ) ~Q&Q 9ア&I
9 (ウ)~( P& Q &R) 19RAA
エ(エ) ~R A
1 (オ) R 1&E
1 エ(カ) ~R&R エオ&I
エ(キ)~( P& Q& R) 1カRAA
8 (ク)~( P& Q& R) 89ウエキ∨E
2 (ケ)~( P& Q& R) 3478ク∨E
12 (コ) ( P& Q& R)&
~( P& Q& R) 1ケ&I
1 (サ)~(~P∨~Q∨~R) 2コRAA
(ⅳ)
1 (1) ~(~P∨~Q∨~R) A
2 (2) ~P A
2 (3) ~P∨~Q 2∨I
2 (4) ~P∨~Q∨~R 3∨I
1 2 (5) ~(~P∨~Q∨~R)&
(~P∨~Q∨~R) 14&I
1 (6) ~~P 25RAA
1 (7) P 6DN
8 (8) ~Q A
8 (9) ~P∨~Q 7∨I
8 (ア) ~P∨~Q∨~R 8∨I
1 8 (イ) ~(~P∨~Q∨~R)&
(~P∨~Q∨~R) 1ア&I
1 (ウ) ~~Q 8RAA
1 (エ) Q ウDN
オ(オ) ~R A
オ(カ) ~Q∨~R オ∨I
オ(キ) ~P∨~Q∨~R カ∨I
1 オ(ク) ~(~P∨~Q∨~R)&
(~P∨~Q∨~R) 1オ&I
1 (ケ) ~~R オケRAA
1 (コ) R ケDN
1 (サ) P& Q 7エ&I
1 (シ) P& Q& R コサ&I
従って、
(01)(02)により、
(03)
① P& Q
② ~(~P∨~Q)
③ P& Q& R
④ ~(~P∨~Q∨~R)
に於いて、
①=② である(ド・モルガンの法則)。
③=④ である(ド・モルガンの法則)。
従って、
(03)により、
(04)
⑤ ~( P& Q)
⑥ ~~(~P∨~Q)
⑦ ~( P& Q& R)
⑧ ~~(~P∨~Q∨~R)
に於いて、
⑤=⑥ である(ド・モルガンの法則)。
⑦=⑧ である(ド・モルガンの法則)。
従って、
(04)により、
(05)
「二重否定律」により、
⑤ ~( P& Q)
⑥ (~P∨~Q)
⑦ ~( P& Q& R)
⑧ (~P∨~Q∨~R)
に於いて、
⑤=⑥ である(ド・モルガンの法則)。
⑦=⑧ である(ド・モルガンの法則)。
従って、
(03)(04)(05)により、
(06)
① P& Q
② ~(~P∨~Q)
③ P& Q& R
④ ~(~P∨~Q∨~R)
⑤ ~( P& Q)
⑥ (~P∨~Q)
⑦ ~( P& Q& R)
⑧ (~P∨~Q∨~R)
に於いて、
①=② である(ド・モルガンの法則)。
③=④ である(ド・モルガンの法則)。
⑤=⑥ である(ド・モルガンの法則)。
⑦=⑧ である(ド・モルガンの法則)。
然るに、
(07)
(ⅰ)
1 (1) ~(P& Q& R & S) A
1 (2)~{(P& Q& R)& S} 1結合法則
1 (3) ~(P& Q& R)∨~S 2ド・モルガンの法則
4 (4) ~(P& Q& R) A
4 (5) ~P∨~Q∨~R 4ド・モルガンの法則
4 (6) ~P∨~Q∨~R∨ ~S 5∨I
7(7) ~S A
7(8) ~P∨~Q∨~R∨ ~S 7∨I
1 (9) ~P∨~Q∨~R∨ ~S 34678∨E
(ⅱ)
1 (1) ~P∨~Q∨~R∨ ~S A
1 (2) (~P∨~Q∨~R)∨~S 1結合法則
3 (3) (~P∨~Q∨~R) A
3 (4) ~(P& Q& R) 3ド・モルガンの法則
3 (5) ~(P& Q& R)∨~S 4∨I
6(6) ~S A
6(7) ~(P& Q& R)∨~S 6∨I
1 (8) ~(P& Q& R)∨~S 23567∨E
1 (9)~{(P& Q& R)& S} 8ド・モルガンの法則
1 (ア) ~(P& Q& R & S) 9結合法則
従って、
(07)により、
(08)
① ~(P& Q& R& S)
② ~P∨~Q∨~R∨~S
に於いて、
①=② である(ド・モルガンの法則)。
従って、
(08)により、
(09)
① ~(P& Q& R& S)
② ~P∨~Q∨~R∨~S
に於いて、
P=(象a→動物a)
Q=(象b→動物b)
R=(象c→動物c)
S=(象d→動物d)
といふ「代入(Substitution)」を行ふと、
① ~{(象a→動物a)& (象b→動物b)& (象c→動物c)& (象d→動物d)}
② ~(象a→動物a)∨~(象b→動物b)∨~(象c→動物c)∨~(象d→動物d)
に於いて、
①=② である(ド・モルガンの法則)。
然るに、
(10)
(ⅱ)
1 (1) ~(象a→ 動物a) A
2 (2) ~(象a&~動物a) A
3 (3) 象a A
4(4) ~動物a A
34(5) 象a&~動物a 34&I
234(6) ~(象a&~動物a)&
(象a&~動物a) 25&I
23 (7) ~~動物a 46RAA
23 (8) 動物a 7DN
2 (9) 象a→ 動物a 38CP
12 (ア) ~(象a→ 動物a)&
(象a→ 動物a) 19&I
1 (イ)~~(象a&~動物a) 29RAA
1 (ウ) 象a&~動物a イDN
(ⅲ)
1 (1) 象a&~動物a A
2 (2) 象a→ 動物a A
1 (3) 象a 1&E
12 (4) 動物a 23MPP
1 (5) ~動物a 1&E
12 (6) 動物a&~動物a 45&I
1 (7) ~(象a→ 動物a) 26RAA
従って、
(10)により、
(11)
② ~(象a→ 動物a)
③ 象a&~動物a
に於いて、
②=③ である。
従って、
(09)(10)(11)により、
(12)
① ~{(象a→ 動物a)& (象b→ 動物b)& (象c→ 動物c)& (象d→ 動物d)}
② ~(象a→ 動物a)∨~(象b→ 動物b)∨~(象c→ 動物c)∨~(象d→ 動物d)
③ (象a&~動物a)∨ (象b&~動物b)∨ (象c&~動物c)∨ (象d&~動物d)
に於いて、
①=②=③ である。
然るに、
(13)
{a、b、c、d}が、{変域}であるとすると、
① ~{(象a→ 動物a)& (象b→ 動物b)& (象c→ 動物c)& (象d→ 動物d)}
② ~(象a→ 動物a)∨~(象b→ 動物b)∨~(象c→ 動物c)∨~(象d→ 動物d)
③ (象a&~動物a)∨ (象b&~動物b)∨ (象c&~動物c)∨ (象d&~動物d)
といふ「論理式」は、
① ~∀x(象x→動物x)
② ∃x~(象x→動物x)
③ ∃x(象x&~動物x)
といふ「述語論理式」に、「等しい」。
cf.
1 (1)~∀x(象x→動物x) A
1 (2)∃x~(象x→動物x) 1量化子の関係
3(3) ~(象a→動物a) A
3(4) ~(~象a∨動物a) 3含意の定義
3(5) 象a&~動物a 4ド・モルガンの法則
3(6)∃x(象x&~動物x) 5EI
1 (7)∃x(象x&~動物x) 136EE
(ⅲ)
1 (1)∃x(象x&~動物x) A
2(2) 象a&~動物a A
2(3) ~(~象a∨動物a) 2ド・モルガンの法則
2(4) ~(象a→動物a) 3含意の定義
2(5)∃x~(象x→動物x) 4EI
1 (6)∃x~(象x→動物x) 125EE
従って、
(12)(13)により、
(14)
「番号」を付け直すと、
① ~∀x(象x→動物x)≡~{(象a→ 動物a)& (象b→ 動物b)& (象c→ 動物c)& (象d→ 動物d)}
② ∃x(象x&~動物x)≡ (象a&~動物a)∨ (象b&~動物b)∨ (象c&~動物c)∨ (象d&~動物d)
といふ「2つの等式」に於いて、
①=② である。
然るに、
(15)
① ~{(象a→ 動物a)&(象b→ 動物b)&(象c→ 動物c)&(象d→ 動物d)}
② (象a&~動物a)∨(象b&~動物b)∨(象c&~動物c)∨(象d&~動物d)
といふ「論理式」は、
①{(aが象ならば、aは動物であり、)尚且つ(bが象ならば、bは動物であり、)尚且つ(cが象ならば、cは動物であり、)尚且つ(bが象ならば、bは動物であり。)}といふわけではない。
② (aといふ象は動物ではない)か、(bといふ象は動物ではない)か、(cといふ象は動物ではない)か、(dといふ象は動物ではない)。
といふ「意味」である。
然るに、
(16)
{a、b、c、d}が、{変域}であるとすると、
①{(aが象ならば、aは動物であり、)尚且つ(bが象ならば、bは動物であり、)尚且つ(cが象ならば、cは動物であり、)尚且つ(bが象ならば、bは動物であり。)}といふわけではない。
② (aといふ象は動物ではない)か、(bといふ象は動物ではない)か、(cといふ象は動物ではない)か、(dといふ象は動物ではない)。
といふ「日本語」は、
①{すべての象が動物である。}といふわけではない。
② ある象は、動物ではない。
といふ「意味」である。
従って、
(14)(15)(16)により、
(17)
① ~∀x(象x→動物x)≡(すべての象が動物である。)といふわけではない。
② ∃x(象x&~動物x)≡ ある象は、動物ではない。
に於いて、
①=② である。
従って、
(17)により、
(18)
① ~~∀x(象x→動物x)≡(すべての象が動物である。)といふわけではない。ではない。
② ~∃x(象x&~動物x)≡(ある象が、動物ではない。)といふことはない。
に於いて、
①=② である。
従って、
(18)により、
(19)
「二重否定」により、
① ∀x(象x→ 動物x)≡(すべての象が動物である。)
② ~∃x(象x&~動物x)≡(ある象が、動物ではない。)といふことはない。
に於いて、
①=② である。
従って、
(01)~(19)により、
(20)
(ⅰ)
1 (1) P& Q& R& S A
2 (2) ~P∨ ~Q∨ ~R∨~S A
2 (3) ~P∨ ~Q∨(~R∨~S) 2結合法則
2 (4) ~P∨[~Q∨(~R∨~S)] 3結合法則
5 (5) ~P A
1 (6) P 1&E
1 5 (7) ~P&P 56&I
5 (8) ~(P& Q& R& S) 17RAA
9 (9) [~Q∨(~R∨~S)] A
ア (ア) ~Q A
1 (イ) Q 1&E
1 ア (ウ) ~Q&Q アイ&I
ア (エ) ~(P& Q& R& S) 1ウRAA
オ (オ) (~R∨~S) A
カ (カ) ~R A
1 (キ) R 1&E
1 カ (ク) ~R&R カキ&I
カ (ケ) ~(P& Q& R& S) 19RAA
コ(コ) ~S A
1 (サ) S 1&E
1 コ(シ) ~S&S コサ&I
コ(ス) ~(P& Q& R& S) 1シRAA
オ (セ) ~(P& Q& R& S) オカケコス∨E
9 (ソ) ~(P& Q& R& S) 9アエオセ∨E
2 (タ) ~(P& Q& R& S) 4589ソ∨E
12 (チ) (P& Q& R& S)&
~(P& Q& R& S) 1タ&I
1 (ツ)~(~P∨ ~Q∨ ~R∨~S) 2チRAA
(ⅱ)
1 (1) ~(~P∨~Q∨~R∨~S) A
2 (2) ~P A
2 (3) ~P∨~Q 2∨I
2 (4) ~P∨~Q∨~R 3∨I
2 (5) ~P∨~Q∨~R∨~S 4∨I
1 2 (6) ~(~P∨~Q∨~R∨~S)&
(~P∨~Q∨~R∨~S) 15&I
1 (7) ~~P 26RAA
1 (8) P 7DN
9 (9) ~Q A
9 (ア) ~P∨~Q 9∨I
9 (イ) ~P∨~Q∨~R ア∨I
9 (ウ) ~P∨~Q∨~R∨~S イ∨I
1 9 (エ) ~(~P∨~Q∨~R∨~S)&
(~P∨~Q∨~R∨~S) 1ウ&I
1 (オ) ~~Q 9エRAA
1 (カ) Q オDN
キ (キ) ~R A
キ (ク) ~R∨~S キ∨I
キ (ケ) ~Q∨~R∨~S ク∨I
キ (コ) ~P∨~Q∨~R∨~S ケ∨I
1 キ (サ) ~(~P∨~Q∨~R∨~S)&
(~P∨~Q∨~R∨~S) 1コ&I
1 (シ) ~~R キサRAA
1 (ス) R シDN
エ(セ) ~S A
エ(ソ) ~R∨~S セ∨I
エ(タ) ~Q∨~R∨~S ソ∨I
エ(チ) ~P∨~Q∨~R∨~S タ∨I
1 エ(ツ) ~(~P∨~Q∨~R∨~S)&
(~P∨~Q∨~R∨~S) 1チ&I
1 (テ) ~~S エツRAA
1 (ト) S テDN
1 (ナ) P& Q 8カ&I
1 (ニ) P& Q &R スナ&I
1 (ヌ) P& Q &R& S トニ&I
といふ「命題計算(Propositional calculus)」が、「妥当」であるが故に、
① ∀x(象x→ 動物x)≡(すべての象は動物である。)
② ~∃x(象x&~動物x)≡(ある象が、動物ではない。)といふことはない。
といふ「等式」が、成立する。
従って、
(20)により、
(21)
「命題計算(Propositional calculus)」が無ければ、
「述語計算(Predicate calculus)」は、成り立たない。
(01)
1 (1)∀x∃y{(象x&鼻yx→長y)&(~象x&鼻yx→~長y)} A
2 (2)∀x∃y(兎x&~象x&鼻yx) A
1 (3) ∃y{(象a&鼻ya→長y)&(~象a&鼻ya→~長y)} 1UE
4 (4) (象a&鼻ba→長b)&(~象a&鼻ba→~長b) A
4 (5) ~象a&鼻ba→~長b 4&E
2 (6) ∃y(兎a&~象a&鼻ya) 2UE
7(7) 兎a&~象a&鼻ba A
7(8) 兎a 7&E
7(9) ~象a&鼻ba 7&E
47(ア) ~長b 59MPP
7(イ) 鼻ba 7&E
47(ウ) 兎a&鼻ba 8イ&I
47(エ) 兎a&鼻ba&~長b アウ&I
47(オ) ∃y(兎a&鼻ya&~長y) エEI
24 (カ) ∃y(兎a&鼻ya&~長y) 67オEE
12 (キ) ∃y(兎a&鼻ya&~長y) 34カEE
12 (ク)∀x∃y(兎x&鼻yx&~長y) キUI
従って、
(01)により、
(02)
(ⅰ)∀x∃y{(象x&鼻yx→長y)&(~象x&鼻yx→~長y)}。然るに、
(ⅱ)∀x∃y(兎x&~象x&鼻yx)。従って、
(ⅲ)∀x∃y(兎x&鼻yx&~長y)。
といふ「推論(三段論法)」は、「妥当」である。
従って、
(02)により、
(03)
(ⅰ)すべてのxとあるyについて{(xが象であって、yがxの鼻であるならば、yは長く)、(xが象ではなく、yがxの鼻であるならば、yは長くない)}。然るに、
(ⅱ)すべてのxとあるyについて( xは兎であって、象ではなく、yはxの鼻である)。従って、
(ⅲ)すべてのxとあるyについて( xは兎であって、yはxの鼻であって、yは長くない)。
といふ「推論(三段論法)」は、「妥当」である。
然るに、
(04)
①{象の鼻、兎の鼻、馬の鼻}
であるならば、
① 象の鼻が長い。
① 兎の鼻は長くない。
① 馬の鼻は長くない。
従って、
(03)(04)により、
(05)
(ⅰ)象の鼻が長い。然るに、
(ⅱ)兎は象ではないが、兎には鼻が有る。従って、
(ⅲ)兎の鼻は長くない。
といふ「推論(三段論法)」は、「妥当」である。
従って、
(01)~(05)により、
(06)
①{象の鼻、兎の鼻、馬の鼻}
であるならば、
① 象の鼻が長い。⇔
① 象の鼻は長く、象以外(兎、馬)の鼻は長くない。⇔
① ∀x∃y{(象x&鼻yx→長y)&(~象x&鼻yx→~長y)}⇔
① すべてのxとあるyについて{(xが象であって、yがxの鼻であるならば、yは長く)、(xが象ではなく、yがxの鼻であるならば、yは長くない)}。
といふ「等式」が、成立する。
然るに、
(07)
(ⅱ)
1 (1)~∀x∃y{(象x&牙yx→長y)&(~象x&牙yx→~長y)} A
1 (2)∃x~∃y{(象x&牙yx→長y)&(~象x&牙yx→~長y)} 1量化子の関係
1 (3)∃x∀y~{(象x&牙yx→長y)&(~象x&牙yx→~長y)} 2量化子の関係
4 (4) ∀y~{(象a&牙ya→長y)&(~象a&牙ya→~長y)} A
4 (5) ~{(象a&牙ba→長b)&(~象a&牙ba→~長b)} 4UE
4 (6) ~(象a&牙ba→長b)∨~(~象a&牙ba→~長b) 5含意の定義
4 (7) (象a&牙ba→長b)→~(~象a&牙ba→~長b) 6含意の定義
8(8) (象a&牙ba→長b) A
48(9) ~(~象a&牙ba→~長b) 78MPP
48(ア) ~{~(~象a&牙ba)∨~長b} 9含意の定義
48(イ) (~象a&牙ba)& 長b アド・モルガンの法則
4 (ウ) (象a&牙ba→長b)→(~象a&牙ba)& 長b 8イCP
4 (エ) ∀y{(象a&牙ya→長y)→(~象a&牙ya)& 長y} ウUI
4 (オ)∃x∀y{(象x&牙yx→長y)→(~象x&牙yx)& 長y} エEI
1 (カ)∃x∀y{(象x&牙yx→長y)→(~象x&牙yx)& 長y} 14オEE
(ⅲ)
1 (1)∃x∀y{(象x&牙yx→長y)→(~象x&牙yx)& 長y} A
2 (2) ∀y{(象a&牙ya→長y)→(~象a&牙ya)& 長y} A
2 (3) (象a&牙ba→長b)→(~象a&牙ba)& 長b 2UE
4(4) (象a&牙ba→長b) A
24(5) (~象a&牙ba)& 長b 34MPP
24(6) ~{~(~象a&牙ba)∨~長b} 5ド・モルガンの法則
24(7) ~(~象a&牙ba→~長b) 6含意の定義
2 (8) (象a&牙ba→長b)→~(~象a&牙ba→~長b) 47CP
2 (9) ~(象a&牙ba→長b)∨~(~象a&牙ba→~長b) 8含意の定義
2 (ア) ~{(象a&牙ba→長b)&(~象a&牙ba→~長b)} 9ド・モルガンの法則
2 (イ) ∀y~{(象a&牙ya→長y)&(~象a&牙ya→~長y)} アUI
2 (ウ)∃x∀y~{(象a&牙ya→長y)&(~象a&牙ya→~長y)} イEI
1 (エ)∃x∀y~{(象a&牙ya→長y)&(~象a&牙ya→~長y)} 12ウEE
1 (オ)∃x~∃y{(象x&牙yx→長y)&(~象x&牙yx→~長y)} エ量化子の関係
1 (カ)~∀x∃y{(象x&牙yx→長y)&(~象x&牙yx→~長y)} オ量化子の関係
従って、
(07)により、
(08)
② ~∀x∃y{(象x&牙yx→長y)&(~象x&牙yx→~長y)}
③ ∃x∀y{(象x&牙yx→長y)→(~象x&牙yx)&長y}
に於いて、すなはち、
② すべてのxとあるyについて{(xが象であって、yがxの牙であるならば、yは長く)、(xが象ではなく、yがxの牙であるならば、yは長くない)}といふことはない。
③ あるxとすべてのyについて{(xが象であって、yがxの牙であるならば、yは長い)ならば、(xは象以外であって、yはxの牙であって、yは長い}。
に於いて
②=③ である。
然るに、
(09)
③ あるxとすべてのyについて{(xが象であって、yがxの牙であるならば、yは長い)ならば、(xは象以外であって、yはxの牙であって、yは長い}。
といふことは、例へば、
③ ある象の牙が長いならば、ある象以外の動物(剣歯虎)の牙も長い。
といふことに、他ならない。
従って、
(07)(08)(09)により、
(10)
②{象の牙、剣歯虎の牙}
であるならば、
② 象の牙が長い。といふわけではない。⇔
② 象の牙は長く、象以外(剣歯虎)の牙も長い。⇔
② ∃x∀y{(象x&牙yx→長y)→(~象x&牙yx)&長y}⇔
② あるxとすべてのyについて{(xが象であって、yがxの牙であるならば、yは長い)ならば、(xは象以外であって、yはxの牙であって、yは長い}。
といふ「等式」が、成立する。
従って、
(06)(10)により、
(11)
① 象の鼻が長い ≡∀x∃y{(象x&鼻yx→長y)&(~象x&鼻yx→~長y)}
② 象の牙が長い、ではない≡∃x∀y{(象x&牙yx→長y)→(~象x&牙yx)&長y}
といふ「等式」が、成立する。
因みに、
(12)
1 (1)~∀x∃y{(象x&牙yx→長y)&(~象x&牙yx→~長y)} A
1 (2)∃x~∃y{(象x&牙yx→長y)&(~象x&牙yx→~長y)} 1量化子の関係
1 (3)∃x∀y~{(象x&牙yx→長y)&(~象x&牙yx→~長y)} 2量化子の関係
4 (4) ∀y~{(象a&牙ya→長y)&(~象a&牙ya→~長y)} A
4 (5) ~{(象a&牙ba→長b)&(~象a&牙ba→~長b)} 4UE
4 (6) ~(象a&牙ba→長b)∨~(~象a&牙ba→~長b) 5含意の定義
4 (7) (象a&牙ba→長b)→~(~象a&牙ba→~長b) 6含意の定義
8(8) (象a&牙ba→長b) A
48(9) ~(~象a&牙ba→~長b) 78MPP
48(ア) ~{~(~象a&牙ba)∨~長b} 9含意の定義
48(イ) (~象a&牙ba)& 長b アド・モルガンの法則
4 (ウ) (象a&牙ba→長b)→(~象a&牙ba)& 長b 8イCP
4 (エ) ∀y{(象a&牙ya→長y)→(~象a&牙ya)& 長y} ウUI
4 (オ)∃x∀y{(象x&牙yx→長y)→(~象x&牙yx)& 長y} エEI
1 (カ)∃x∀y{(象x&牙yx→長y)→(~象x&牙yx)& 長y} 14オEE
といふ「計算」は、「ムズカシイ」のか。と言へば、「理解をする」ことは、「それなりに、ムズカシイ」と、言へるのかも知れない。
(01)
√0.9>0.9
といふ「不等式」を「証明」せよ。
(02)
① 正方形Aの面積
② 正方形Bの面積
③ 正方形Aの一辺の長さ
④ 正方形Bの一辺の長さ
に於いて、
① > ② であるならば、そのときに限って、
③ > ④ である。
然るに、
(03)
① 正方形Aの面積=0.90㎡
② 正方形Bの面積=0.81㎡
であるならば、
① > ② である。
然るに、
(04)
① 正方形Aの面積=0.90㎡
② 正方形Bの面積=0.81㎡
であるならば、そのときに限って、
① 正方形Aの面積=√0.9m×√0.9m=0.90㎡
② 正方形Bの面積= 0.9m× 0.9m=0.81㎡
である。
然るに、
(05)
① 正方形Aの面積=√0.9m×√0.9m=0.90㎡
② 正方形Bの面積= 0.9m× 0.9m=0.81㎡
であるならば、そのときに限って、
③ 正方形Aの一辺の長さ=√0.9m
④ 正方形Bの一辺の長さ= 0.9m
である。
従って、
(02)~(05)により、
(06)
③ 正方形Aの一辺の長さ=√0.9m
④ 正方形Bの一辺の長さ= 0.9m
に於いて、
③ > ④ である。
従って、
(06)により、
(07)
√0.9m>0.9m
である。
従って、
(07)により、
(08)
√0.9>0.9
である(Q.E.D)。
然るに、
(09)
以上の「証明」は、
① 正方形Aの面積=√0.9m×√0.9m=0.90㎡
② 正方形Bの面積= 0.9m× 0.9m=0.81㎡
といふ「図形」に気が付くことが、出来るならば、そのまま直ぐに、
√0.9m>0.9m
といふことに、気付くことが、出来る。
然るに、
(10)
「論理学」が得意であることと、
① 正方形Aの面積=√0.9m×√0.9m=0.90㎡
② 正方形Bの面積= 0.9m× 0.9m=0.81㎡
といふ「図形」に気が付くこととは、「関係」が無い。
従って、
(11)
ある人が、
√0.9>0.9
であること、
A×A>B×B⇔A>B
といふことを「証明」出来ないからと言って、その人が、「論理学的」でないとは、言へない。
然るに、
(12)
ε-δ論法が難しく感じる理由
おそらく大学一年の時点で学ぶ微積分、特に一変数の微積分においてはほとんど恩恵がありません。このことが、「結局あいつはなんだったんだ?」となってしまう理由かと思われます。あとは単純に、いきなり見慣れない記号が現れてそもそも読み方がわからない、まるで異国語のように感じてしまうためというのもあるでしょう(理系大学入学後にどん詰まる「ε-δ論法」について)。
然るに、
(12)により、
(13)
あとは単純に、いきなり見慣れない記号が現れてそもそも読み方がわからない、まるで異国語のように感じてしまうためというのもあるでしょう。
といふことは、「高校で、数学が得意であった理系の学生の多く」が、「述語論理(Predicate logic)」が、嫌いである。
といふことを、示してゐる。
従って、
(12)(13)により、
(14)
「述語論理学」は、得意であっても、「高校数学」は嫌いであった。
といふ人がゐても、少しも「不思議」ではない。
(01)
(ⅰ)象は鼻が長い。然るに
(ⅱ)兎の耳は長いが、耳は鼻ではない。従って、
(ⅲ)兎は象ではない。
といふ「推論(三段論法)」は、「妥当」である。
従って、
(01)により、
(02)
(ⅰ)∀x{象x→∃y(鼻yx&長y)&∀z(~鼻zx→~長z)}。然るに、
(ⅱ)∀x{兎x→∃y(長y&耳yx)&∀z(耳zx→~鼻zx)}。従って、
(ⅲ)∀x(兎x→~象x)。
といふ「推論(三段論法)」、すなはち、
(ⅰ)すべてのxについて{xが象であるならば、あるyはxの鼻であって、長く、すべてのzについて、zがxの鼻でないならば、zは長くない}。然るに、
(ⅱ)すべてのxについて{xが兎であるならば、あるyは長くて、xの耳であり、すべてのzについて、zがxの耳であるならば、zはxの鼻ではない}。従って、
(ⅲ)すべてのxについて(xが兎であるならば、xは象ではない。)
といふ「推論(三段論法)」は、「妥当」である。
然るに、
(03)
1 (1)∀x{象x→∃y(鼻yx&長y)&∀z(~鼻zx→~長z)} A
2 (2)∀x{兎x→∃y(長y&耳yx)&∀z(耳zx→~鼻zx)} A
3 (3)∃x(兎x&象x) A
1 (4) 象a→∃y(鼻ya&長y)&∀z(~鼻za→~長z) 1UE
2 (5) 兎a→∃y(長y&耳ya)&∀z(耳za→~鼻za) 2UE
6 (6) 兎a&象a A
6 (7) 象a 6&E
6 (8) 兎a 6&E
1 6 (9) ∃y(鼻ya&長y)&∀z(~鼻za→~長z) 48MPP
2 6 (ア) ∃y(長y&耳ya)&∀z(耳za→~鼻za) 57MPP
1 6 (イ) ∃y(鼻ya&長y) 9&E
ウ (ウ) 鼻ba&長b A
2 6 (エ) ∃y(長y&耳ya) ア&E
オ(オ) 長b&耳ba A
オ(カ) 耳ba オ&E
2 6 (キ) ∀z(耳za→~鼻za) ア&E
2 6 (ク) 耳ba→~鼻ba キUE
2 6 オ(ケ) ~鼻ba カクMPP
1 6 (コ) ∀z(~鼻za→~長z) ア&E
1 6 (サ) ~鼻ba→~長b コUE
12 6 オ(シ) ~長b ケサMPP
オ(ス) 長b オ&E
12 6 オ(セ) 長b&~長b シス&I
12 6 (ソ) 長b&~長b エオセEE
123 (タ) 長b&~長b 36ソEE
12 (チ)~∃x(兎x&象x) 3タRAA
12 (ツ)∀x~(兎x&象x) チ量化子の関係
12 (テ) ~(兎a&象a) ツUE
12 (ト) ~兎a∨~象a テ、ド・モルガンの法則
12 (ナ) 兎a→~象a ト含意の定義
12 (ニ)∀x(兎x→~象x) ナUI
従って、
(01)(02)(03)により、
(04)
果たして、
(ⅰ)象は鼻が長い。然るに
(ⅱ)兎の耳は長いが、耳は鼻ではない。従って、
(ⅲ)兎は象ではない。
といふ「推論(三段論法)」は、「述語計算(Predicate calculus)」としても、「妥当」である。
然るに、
(05)
(ⅰ)鼻は象が長い。然るに、
(ⅱ)兎は象ではないが、兎には鼻がある。従って、
(ⅲ)兎の鼻は、長くない。
といふ「推論(三段論法)」は、「妥当」である。
従って、
(05)により、
(06)
(ⅰ)∀x∃y{(鼻xy&象y→長x)&(~象y&長x→~鼻xy)}。然るに、
(ⅱ)∀y{兎y→~象y&∃x(鼻xy)}。従って、
(ⅲ)∀y{兎y→∃x(鼻xy&~長x)}。
といふ「三段論法(三段論法)」、すなはち、
(ⅰ)すべてのxとあるyについて{xがyの鼻であって、yが象であるならばxは長く、yが象でなくて、xが長ければxはyの鼻ではない}。然るに、
(ⅱ) すべてのyについて{yが兎であるならば、yは象ではなく、あるxはyの鼻である}。従って、
(ⅲ) すべてのyについて{yが兎であるならば、あるxはyの鼻であって、xは長くない}。
といふ「推論(三段論法)」は、「妥当」である。
然るに、
(07)
1 (1)∀x∃y{(鼻xy&象y→長x)&(~象y&長x→~鼻xy)} A
1 (2) ∃y{(鼻ay&象y→長a)&(~象y&長a→~鼻ay)} 1UE
3 (3) (鼻ab&象b→長a)&(~象b&長a→~鼻ab) A(代表的選言項)
3 (4) ~象b&長a→~鼻ab 3&E
5 (5)∀y{兎y→~象y&∃x(鼻xy)} A
5 (6) 兎b→~象b&∃x(鼻xb) 1UE
7 (7) 兎b A
57 (8) ~象b&∃x(鼻xb) 67MPP
57 (9) ~象b 8&E
57 (ア) ∃x(鼻xb) 8&E
イ(イ) 鼻ab A(代表的選言項)
イ(ウ) ~~鼻ab イDN
3 7 (エ) ~(~象b& 長a) 4ウMTT
3 7 (オ) ~~象b∨~長a エ、ド・モルガンの法則
3 7 (カ) ~象b→~長a オ含意の定義
3 7 (キ) ~長a 9カMPP
3 7イ(ク) 鼻ab&~長a イキ&I
3 7イ(ケ) ∃x(鼻xb&~長x) クEI
357 (コ) ∃x(鼻xb&~長x) アイケEE
1 57 (サ) ∃x(鼻xb&~長x) 23コEE
1 5 (シ) 兎b→∃x(鼻xb&~長x) 7サCP
1 5 (ス)∀y{兎y→∃x(鼻xy&~長x)} シUI
従って、
(05)(06)(07)により、
(08)
果たして、
(ⅰ)鼻は象が長い。然るに、
(ⅱ)兎は象ではないが、兎には鼻がある。従って、
(ⅲ)兎の鼻は、長くない。
といふ「推論(三段論法)」は、「妥当」である。
といふ「推論(三段論法)」は、「述語計算(Predicate calculus)」としても、「妥当」である。
然るに、
(09)
①{象の鼻、兎の鼻、馬の鼻}
②{兎の耳、象の耳、馬の耳}
③{馬の顔、象の顔、兎の顔}
といふ「集合の集合」であれば、
① 鼻は、象の鼻は長く、象以外の動物のある部分が長いとすれば、鼻以外が長い。
② 耳は、兎の耳は長く、兎以外の動物のある部分が長いとすれば、耳以外が長い。
③ 顔は、馬の顔は長く、馬以外の動物のある部分が長いとすれば、顔以外が長い。
然るに、
(10)
①{象の牙、剣歯虎の牙}
であれば、
① 牙は、象が長い。
② 牙は、象が長い。といふわけではない。
に於いて、
① ではなく、
② が、「正しい」。
cf.
肩高は約1mから1.2m。体長は1.9~2.1m。体重は270kg[3]。独自に発達した上顎犬歯は20センチに及ぶ短刀状の牙となり、大型動物を専門に狩るための武器として使用したと考えられる。
(ウィキペディア:剣歯虎)
従って、
(10)により、
(11)
①{象の牙、剣歯虎の牙}
であれば、
① 牙は、象の牙は長く、 象以外の動物のある部分が長いとすれば、牙以外が長い。
② 牙は、象の牙は長いが、象以外の動物のある部分が長いとすれば、牙以外が長い、といふわけではない。
に於いて、
① ではなく、
② が、「正しい」。
従って、
(11)により、
(12)
①{象の牙、剣歯虎の牙}
であれば、
① ∀x∃y{(牙xy&象y→長x)& (~象y&長x→~牙xy)}
② ∀x∃y{(牙xy&象y→長x)&~(~象y&長x→~牙xy)}
に於いて、
① ではなく、
② が、「正しい」。
然るに、
(13)
(ⅱ)
1 (1)∀x∃y{(牙xy&象y→長x)&~(~象y&長x→ ~牙xy)} A
1 (2) ∃y{(牙ay&象y→長a)&~(~象y&長a→ ~牙ay)} 1UE
3(3) (牙ab&象b→長a)&~(~象b&長a→ ~牙ab) A
3(4) (牙ab&象b→長a) 3&E
3(5) ~(~象b&長a→ ~牙ab) 3&E
3(6) ~(~(~象b&長a)∨~牙ab) 5含意の定義
3(7) (~象b&長a)& 牙ab) 6ド・モルガンの法則
3(8) ~象b&長a & 牙ab 7結合法則
3(9) ~象b&牙ab& 長a 8交換法則
3(ア) (牙ab&象b→長a)&(~象b&牙ab& 長a) 49&I
3(イ) ∃y{(牙ay&象y→長a)&(~象y&牙ay& 長a)} アEI
1 (ウ) ∃y{(牙ay&象y→長a)&(~象y&牙ay& 長a)} 23イEE
1 (エ) ∀x∃y{(牙xy&象y→長x)&(~象y&牙xy& 長x)} ウUI
(ⅲ)
1 (1) ∀x∃y{(牙xy&象y→長x)&(~象y&牙xy& 長x)} A
1 (2) ∃y{(牙ay&象y→長a)&(~象y&牙ay& 長a)} アEI
3(3) (牙ab&象b→長a)&(~象b&牙ab& 長a) A
3(4) (牙ab&象b→長a) 3&E
3(5) ~象b&牙ab& 長a 3&E
3(6) ~象b&長a& 牙ab 5交換法則
3(7) (~象b&長a)& 牙ab) 6結合法則
3(8) ~(~(~象b&長a)∨~牙ab) 7ド・モルガンの法則
3(9) ~(~象b&長a→ ~牙ab) 8含意の定義
3(ア) (牙ab&象b→長a)&~(~象b&長a→ ~牙ab) 49&I
3(イ) ∃y{(牙ay&象y→長a)&~(~象y&長a→ ~牙ay)} アEI
1 (ウ) ∃y{(牙ay&象y→長a)&~(~象y&長a→ ~牙ay)} 23イEE
1 (エ)∀x∃y{(牙xy&象y→長x)&~(~象y&長x→ ~牙xy)} ウUI
従って、
(13)により、
(14)
② ∀x∃y{(牙xy&象y→長x)&~(~象y&長x→~牙xy)}
③ ∀x∃y{(牙xy&象y→長x)& (~象y& 牙xy&長x)}
に於いて、すなはち、
② すべてのxとあるyについて{xがyの牙であって、yが象であるならばxは長く、(yが象でなくて、xが長ければxはyの牙ではない)といふわけではない}。
③ すべてのxとあるyについて{xがyの牙であって、yが象であるならばxは長く、(yが象でなくて、xはyの牙であったとしても、xは長い)}。
に於いて、すなはち、
② 牙は、象の牙は長いが、(象以外の動物のある部分が長いとすれば、牙以外が長い)、といふわけではない。
③ 牙は、象の牙は長いが、(象以外の動物であっても、牙が長い動物はゐる)。
に於いて、
②=③ である。
然るに、
(15)
② 牙は、象の牙は長いが、(象以外の動物のある部分が長いとすれば、牙以外が長い)、といふわけではない。
③ 牙は、象の牙は長いが、(象以外の動物であっても、牙が長い動物はゐる)。
といふことは、
③ 牙は、象も長い。
といふ、ことである。
従って、
(02)(06)(15)により、
(16)
① 象は鼻が長い≡∀x{象x→∃y(鼻yx&長y)&∀z(~鼻zx→~長z)}。
② 鼻は象が長い≡∀x∃y{(牙xy&象y→長x)&(~象y&長x→~牙xy)}。
③ 牙は象も長い≡∀x∃y{(牙xy&象y→長x)&(~象y&牙xy&長x)}。
といふ「等式」が、成立する。
然るに、
(17)
草野 一、總主トハ如何ナル者ゾ
動詞、形容詞ニ對シテ其主語アルト同ジク、主語ト説語(動詞或ハ形容詞)トヨリ成レル一ノ説話(即チ文)ニ對シテモ更ニソノ主語アルコト國語ニハ屡々アリ。例ヘバ「象は體大なり」ノ「象」、「熊は力強し」ノ「熊」、「鳥獸蟲魚皆性あり」ノ「鳥獸蟲魚」、「仁者は命長し」ノ「仁者」、「賣藥は效能薄し」ノ「賣藥」、「慾は限無し」ノ「慾」、「酒は養生に害あり」ノ「酒」、「支那は人口多し」ノ「支那」ノ如キハ、皆、「體大なり」「力強し」等ノ一説話ニ對シテ更ニソノ主語タル性格ヲ有ス。何トナレバ「象は體大なり」「熊は力強し」等ヨリ「象」「熊」等ノ再度ノ主語ヲ取去ル時ハ、殘餘ハ「體大なり」「力強し」等トナリテ、文法上ノ文ノ形ハ完全ニ之ヲ具フルニモ拘ラズ、意義ニ不足ヲ生ジ、其事ノ主トアルベキ「象」「熊」等ノ名詞ヲ竢ッテ始メテ意義ノ完全ナル一圓ノ説話ヲ成サントスル傾アルコト、ナホ普通ノ動詞、形容詞ノ名詞ヲ竢ッテ始メテ一ノ完全ナル説話ヲ成サントスル傾アルト同趣味ノモノアレバナリ。殊ニ「性有り」「限無し」等ノ一種ノ説話ニ對シテハ、實用ノ際ニ再度ノ主語ノ必要アル事ハ頗ル顯著ナルニアラズヤ。コレハ「うら(心)やまし(疚)」「て(質)がたし(堅)」ナドノ一説話ノ轉シテ一ノ形容詞トナリ、然ル上ハ實用ノ際ニ更ニソノ主語ヲ取ルト一般ナリ。サレバ「富貴は羨し」ノ「うらやまし」ニ對シテ「富貴」ヲ主語トイフヲ至當トセバ、「體大なり」「力強し」ニ對シテ「象」「熊」ヲソノ主語トイフモ亦不當ニハアラジ。斯カレバコノ類ノ再度ノ主ヲ予ハ別ニ「總主」ト名ヅケントス。
總主ハ斯ク頗ル簡單ニ説明セラルベク、亦容易ニ會得セラルベキ者ナリ。學者ノ潛思苦慮ヲモ要セズ、考古引證ヲモ須タズシテ、小學ノ兒童モ、口頭ニ、文章ニ、此語法ヲ用ヰ、歌人文士モ之ヲ用ヰテ毫モ疑フ事ナシ。コノ語法ハ本ヨリ我國ニ有リシナランガ、漢學ノ流行ニ連レテ益廣ク行ハレ、今日トナリテハ最早之ヲ目シテ國語ノ法則ニ非ズトイフヲ得ザルニ至レリ。然ルニ國語ノ法則トシテ日本ノ文法ニ之ヲ編入スル者ナキハ何故ゾ。西洋ノ言語ニ類似ノ語法ナク、西洋ノ文典ニ類似ノ記載ナキガ故ニハ非ザルカ。 (草野淸民、國語の特有セル語法 ― 總主、『帝國文學』五卷五號、明治三十二年:大修館書店、日本の言語学 第3巻 文法Ⅰ、1978年、533頁)
従って、
(16)(17)により、
(18)
① 象は鼻が長い≡∀x{象x→∃y(鼻yx&長y)&∀z(~鼻zx→~長z)}。
② 鼻は象が長い≡∀x∃y{(牙xy&象y→長x)&(~象y&長x→~牙xy)}。
③ 牙は象も長い≡∀x∃y{(牙xy&象y→長x)&(~象y&牙xy&長x)}。
に於ける、
①「象は」は、「漢學ノ流行ニ連レテ益廣ク行ハレ」るやうになった所の、「総主語」であって、
②「鼻は」も、「漢學ノ流行ニ連レテ益廣ク行ハレ」るやうになった所の、「総主語」であって、
③「牙は」も、「漢學ノ流行ニ連レテ益廣ク行ハレ」るやうになった所の、「総主語」である。
然るに、
(19)
① ∀x{象x→∃y(鼻yx&長y)&∀z(~鼻zx→~長z)}。
② ∀x∃y{(牙xy&象y→長x)&(~象y&長x→~牙xy)}。
③ ∀x∃y{(牙xy&象y→長x)&(~象y&牙xy&長x)}。
といふ「述語論理式」は、言ふまでもなく、「論理的」である。
従って、
(18)(19)により、
(20)
① 象は鼻が長い≡∀x{象x→∃y(鼻yx&長y)&∀z(~鼻zx→~長z)}。
② 鼻は象が長い≡∀x∃y{(牙xy&象y→長x)&(~象y&長x→~牙xy)}。
③ 牙は象も長い≡∀x∃y{(牙xy&象y→長x)&(~象y&牙xy&長x)}。
に於ける、
①「象は」は、「総主語」であって、「論理的」であって、
②「鼻は」も、「総主語」であって、「論理的」であって、
③「牙は」も、「総主語」であって、「論理的」である。
然るに、
(21)
① 象は鼻が長い。
② 鼻は象が長い。
③ 牙は象も長い。
といふ「形式」の「文」は、少なくとも、「英語」には無い。
然るに、
(22)
先日、数人の大学の先生と話をしているときに、ある先生が「うちの学生が、英語ができるようになったら、数学ができるようになった」と言った。これは、暗に、英語ができるようになった、だから数学ができるようになったと言いたいのである。言い換えれば、日本語では論理的に考えられないから、数学ができない、と言いたいのである。私は「またか」と思った。日本人は、この大学の先生のように、日本語は非論理的であり、論理的思考に向いていないと思い込んでいる人が多い。
(月本洋、日本語は論理的である、2009年、2頁)
従って、
(21)(22)により、
(23)
ある数学の先生は、
① 象は鼻が長い。
② 鼻は象が長い。
③ 牙は象も長い。
といふ「形式」の「文」は、「英語」には無いのだから、
① 象は鼻が長い。
② 鼻は象が長い。
③ 牙は象も長い。
といふ「日本語」は、「非論理的」であると、言ふのかも、知れない。
然るに、
(24)
① 象は鼻が長い≡∀x{象x→∃y(鼻yx&長y)&∀z(~鼻zx→~長z)}。
② 鼻は象が長い≡∀x∃y{(牙xy&象y→長x)&(~象y&長x→~牙xy)}。
③ 牙は象も長い≡∀x∃y{(牙xy&象y→長x)&(~象y&牙xy&長x)}。
に於ける、「右辺(述語論理式)」は、「論理的(logical)」であるため、「左辺(日本語)」が「非論理的(illogical )」である。
といふことは、「矛盾」する。
(25)
明治以前の日本人は、漢文を読むことで論理的な考えを身につけました。漢文は論理的な構文をたくさん含んでいるからです(山下正男、論理的に考えること、1985年、ⅲ)。
といふことは、「本当」であるに、「違ひ無い」。
―「昨日(令和03年06月02日)の記事」を書き直します。―
(01)
(ⅰ)
1 (1) ∀x{~∃y(名前yx)&猫x→~吾輩x} A
1 (2) ~∃y(名前ya)&猫a→~吾輩a 1UE
3 (3) 吾輩a A
3 (4) ~~吾輩a 3DN
13 (5) ~{~∃y(名前ya)&猫a} 24MTT
13 (6) ∃y(名前ya)∨~猫a 5ド・モルガンの法則
13 (7) ~猫a∨∃y(名前ya) 6交換法則
13 (8) 猫a→∃y(名前ya) 7含意の定義
1 (9) 吾輩a→{猫a→∃y(名前ya)} 38CP
ア(ア) 吾輩a& 猫a A
ア(イ) 吾輩a ア&E
1 ア(ウ) 猫a→∃y(名前ya) 9イMPP
ア(エ) 猫a アウMPP
1 ア(オ) ∃y(名前ya) ウエMPP
1 (カ) (吾輩a&猫a)→∃y(名前ya) アオCP
1 (キ)∀x{(吾輩x&猫x)→∃y(名前yx)} カUI
(ⅱ)
1 (1) ∀x{(吾輩x&猫x)→∃y(名前yx)} A
1 (2) (吾輩a&猫a)→∃y(名前ya) 1UE
2 (3) ~∃y(名前ya) A
12 (4) ~(吾輩a&猫a) 23MTT
12 (5) ~吾輩a∨~猫a 4ド・モルガンの法則
12 (6) ~猫a∨~吾輩a 5交換法則
12 (7) 猫a→~吾輩a 6含意の定義
1 (8) ~∃y(名前ya)→猫a→~吾輩a 27CP
9(9) ~∃y(名前ya)&猫a A
9(ア) ~∃y(名前ya) 9&E
1 9(イ) 猫a→~吾輩a 8アMPP
9(ウ) 猫a 9&E
1 9(エ) ~吾輩a イウMPP
1 (オ) ~∃y(名前ya)&猫a→~吾輩a 9エCP
1 (カ)∀x{~∃y(名前yx)&猫x→~吾輩x} オUI
従って、
(01)により、
(02)
① ∀x{~∃y(名前yx)&猫x→~吾輩x}
② ∀x{(吾輩x&猫x)→∃y(名前yx)}
に於いて、
①=② である。
然るに、
(03)
(ⅱ)
1 (1)∀x{(吾輩x&猫x)→∃y(名前ya) A
1 (2) (吾輩a&猫a)→∃y(名前ya) 1UE
1 (3) ~(吾輩a&猫a)∨∃y(名前ya) 2含意の定義
4 (4) ~(吾輩a&猫a) A
4 (5) (~吾輩a∨~猫a) 4ド・モルガンの法則
4 (6) (~吾輩a∨~猫a)∨∃y(名前ya) 5∨I
7(7) ∃y(名前ya) A
7(8) (~吾輩a∨~猫a)∨∃y(名前ya) 6∨I
1 (9) (~吾輩a∨~猫a)∨∃y(名前ya) 34678∨E
1 (ア) ~吾輩a∨~猫a∨ ∃y(名前ya) 9結合法則
1 (イ) ~{吾輩a&猫a&~∃y(名前ya)} ア、ド・モルガンの法則
1 (ウ)∀x~{吾輩x&猫x&~∃y(名前yx)} イUI
1 (エ)~∃x{吾輩x&猫x&~∃y(名前yx)} ウ量化子の関係
(ⅲ)
1 (1)~∃x{吾輩x&猫x&~∃y(名前yx)} A
1 (2)∀x~{吾輩x&猫x&~∃y(名前yx)} 1量化子の関係
1 (3) ~{吾輩a&猫a&~∃y(名前ya)} 2UE
1 (4) ~吾輩a∨~猫a∨ ∃y(名前ya) 3ド・モルガンの法則
1 (5) (~吾輩a∨~猫a)∨∃y(名前ya) 4結合法則
6 (6) (~吾輩a∨~猫a) A
6 (7) ~(吾輩a&猫a) 6ド・モルガンの法則
6 (8) ~(吾輩a&猫a)∨∃y(名前ya) 7∨I
9(9) ∃y(名前ya) A
9(ア) ~(吾輩a&猫a)∨∃y(名前ya) 9∨I
1 (イ) ~(吾輩a&猫a)∨∃y(名前ya) 1689ア∨E
1 (ウ) (吾輩a&猫a)→∃y(名前ya) イ含意の定義
1 (エ)∀x{(吾輩x&猫x)→∃y(名前yx)} ウUI
従って、
(03)により、
(04)
② ∀x{(吾輩x&猫x)→∃y(名前yx)}
③ ~∃x{吾輩x&猫x&~∃y(名前yx)}
に於いて、
②=③ である。
従って、
(02)(04)により、
(05)
① ∀x{~∃y(名前yx)&猫x→~吾輩x}
② ∀x{(吾輩x&猫x)→∃y(名前yx)}
③ ~∃x{吾輩x&猫x&~∃y(名前yx)}
に於いて、
①=② であって、
②=③ である。
従って、
(05)により、
(06)
① ∀x{~∃y(名前yx)&猫x→~吾輩x}
② ∀x{(吾輩x&猫x)→∃y(名前yx)}
③ ~∃x{吾輩x&猫x&~∃y(名前yx)}
に於いて、
①=②=③ である。
従って、
(06)により、
(07)
① ∀x{~∃y(名前yx)&猫x→~吾輩x}
② ∀x{(吾輩x&猫x)→∃y(名前yx)}
③ ~∃x{吾輩x&猫x&~∃y(名前yx)}
に於いて、
①=② であって、
①=③ である。
然るに、
(08)
言ふまでもなく、
① ∀x{~∃y(名前yx)&猫x→~吾輩x}
に於いて、
①=① である。
従って、
(08)により、
(09)
① ∀x{~∃y(名前yx)&猫x→~吾輩x}
② ∀x{(吾輩x&猫x)→∃y(名前yx)}
③ ~∃x{吾輩x&猫x&~∃y(名前yx)}
に於いて、
①=① であって、
①=② であって、
①=③ である。
従って、
(09)により、
(10)
① すべてのxについて{xの名前である所のyが存在せずに、xが猫であるならば、xは吾輩でない}。
② すべてのxについて{xが吾輩であって、猫であるならば、xにはyといふ名前がある}。
③ あるxが{吾輩であって、猫であって、あるyがxの名前である、といふことはない}といふことはない。
に於いて、
①=① であって、
①=② であって、
①=③ である。
従って、
(10)により、
(11)
①{名前がない猫は、吾輩ではない。}
②{吾輩が猫ならば、吾輩には名前がある。}
③{吾輩は猫である。名前はない。}といふことは「嘘」である。
に於いて、
①=① であって、
①=② であって、
①=③ である。
然るに、
(12)
①=① であって、
①=② であって、
①=③ である。
といふのであれば、
(ⅰ)① である。従って、① である。
(ⅱ)① である。従って、② である。
(ⅲ)① である。従って、③ である。
といふ「連言(Sequents)」は、当然、3つとも、「妥当(Valid)」である。
従って、
(06)(11)(12)により、
(13)
①{名前がない猫は、吾輩ではない。}
②{吾輩が猫ならば、吾輩には名前がある。}
③{吾輩は猫である。名前はない。}といふことは「嘘」である。
に於いて、
①=① であって、
①=② であって、
①=③ であるが故に、
(ⅰ){名前がない猫は、吾輩ではない。}従って、{名前がない猫は、吾輩ではない。}
(ⅱ){名前がない猫は、吾輩ではない。}従って、{吾輩が猫ならば、吾輩には名前がある。}
(ⅲ){名前がない猫は、吾輩ではない。}従って、{吾輩は猫である。名前はない。}といふことは「嘘」である。
といふ「連言(Sequents)」は、当然、3つとも、「妥当(Valid)」である。
従って、
(06)(13)により、
(14)
① ∀x{~∃y(名前yx)&猫x→~吾輩x}
② ∀x{(吾輩x&猫x)→∃y(名前yx)}
③ ~∃x{吾輩x&猫x&~∃y(名前yx)}
に於いて、
①=① であって、
①=② であって、
①=③ であるが故に、
(ⅰ)∀x{~∃y(名前yx)&猫x→~吾輩x}├ ∀x{~∃y(名前yx)&猫x→~吾輩x}
(ⅱ)∀x{~∃y(名前yx)&猫x→~吾輩x}├ ∀x{(吾輩x&猫x)→∃y(名前yx)}
(ⅲ)∀x{~∃y(名前yx)&猫x→~吾輩x}├ ~∃x{吾輩x&猫x&~∃y(名前yx)}
といふ「連言(Sequents)」は、当然、3つとも、「妥当(Valid)」である。
然るに、
(15)
1.2.6 トートロジー:tautology
通常は同語反復を意味します。例えば「猫は猫である」のような表現になることを言います。長い論理式でも結果が常に真になるものはやはりトートロジーですが、この場合には恒真式(コウシンシキ):>と呼ばれます。論理法則として知られているものには、恒真式が多くあります。
科学書刊株式会社:電子版 「橋梁&都市 PROJECT: 2012」
従って、
(13)(14)(15)により、
(16)
①{名前がない猫は、吾輩ではない。}
②{吾輩が猫ならば、吾輩には名前がある。}
③{吾輩は猫である。名前はない。}といふことは「嘘」である。
に於いて、
①=① であって、
①=② であって、
①=③ であるが故に、
(ⅰ){名前がない猫は、吾輩ではない。}従って、{名前がない猫は、吾輩ではない。}
(ⅱ){名前がない猫は、吾輩ではない。}従って、{吾輩が猫ならば、吾輩には名前がある。}
(ⅲ){名前がない猫は、吾輩ではない。}従って、{吾輩は猫である。名前はない。}といふことは「嘘」である。
といふ「連言(Sequents)」は、当然、3つとも、「妥当(Valid)」であるものの、
この場合、
(17)
(ⅰ){名前がない猫は、吾輩ではない。}ならば、{名前がない猫は、吾輩ではない。}
(ⅱ){名前がない猫は、吾輩ではない。}ならば、{吾輩が猫ならば、吾輩には名前がある。}
(ⅲ){名前がない猫は、吾輩ではない。}ならば、{吾輩は猫である。名前はない。}といふことは「嘘」である。
といふ「仮言命題」は、
(ⅰ)Aならば、Aである。
(ⅱ)Aならば、Aである。
(ⅲ)Aならば、Aである。
である所の、「同義反復(トートロジー)」である。
(01)
① 象がゐる。
② 象はゐるが、象以外はゐない。
に於いて、
①=② である。
然るに、
(02)
哺乳類に属する動物の種の数は、研究者によって変動するが、おおむね4,300から4,600ほどであり、脊索動物門の約10%、広義の動物界の約0.4%にあたる(ウィキペディア)。
従って、
(02)により、
(03)
②(地球上に)象はゐるが、象以外はゐない。
といふことは、有りえない。
従って、
(01)(02)(03)により、
(04)
① 象がゐる。⇔
② 象はゐるが、象以外はゐない。
といふのであれば、
②(今といふ「時間」の、私の目の前といふ「場所」に、)象はゐるが、象以外はゐない。
といふ「意味」にしか、取りやうが無い。
従って、
(04)
(05)
① ユニコーンがゐる。⇔
② ユニコーンはゐるが、ユニコーン以外はゐない。
といふのであれば、
②(今といふ「時間」の、私の目の前といふ「場所」に、)ユニコーンはゐるが、ユニコーン以外はゐない。
といふ「意味」にしか、取りやうが無い。
然るに、
(06)
英語名はユニコーンunicorn。中世ヨーロッパの伝説にしばしば登場する想像上の動物。通常、馬の体にねじれた1本の角(つの)をもち、色は白く、ときには頭部のみ赤く、青い目をもつといわれる。
〔日本大百科全書(ニッポニカ)「一角獣」の解説〕
従って、
(06)により、
(07)
「ユニコーン」は、「想像上の動物」である。
然るに、
(08)
「ユニコーン」は、「地球上の、何処にもゐない」。
従って、
(07)(08)により、
(09)
①「ユニコーン」は、「想像上の動物」ではない。
②「ユニコーン」は、「地球上の、何処かにゐる」。
に於いて、
①=② である。
然るに、
(10)
②「ユニコーン」は、「地球上の、何処かにゐる」。
といふことは、
②「ユニコーン」は、「(今、目の前にゐる、といふわけではないが、)地球上の、何処かにゐる」。
といふ、ことである。
従って、
(05)(09)(10)により、
(11)
①「ユニコーン」は、「想像上の動物」ではない。
といふことを、「言ひたい」のであれば、少なくとも、
① ユニコーンがゐる。⇔
②(今、目の前に、)ユニコーンがゐる。
とは、言へないことになる。
然るに、
(12)
③ ニコーンもゐる。⇔
④ ユニコ―ンはゐるし、ユニコーン以外もゐる。
従って、
(11)(12)により、
(13)
①「ユニコーン」だけを、「意識」して、
①「ユニコーン」は、「想像上の動物」ではない。
といふ風に、「言ひたい」のであれば、
② ユニコーンがゐる。
でも、
③ ユニコーンもゐる。
でもなく、
① ユニコーンはゐる。
といふ風にしか、言ひやうが無い。
然るに、
(14)
小保方さんのSTAP細胞騒動はなぜ起きたのでしょうか?亡くなられた笹井芳樹氏や周りの研究者の人たちはSTAP細胞の再現性の検証実験をやらなかったのでしょうか?
(QUORA)
Keisuke Murakami, Emergency Physician, MD, MBBS
回答日時: 1年前 · 執筆者は2,304件の回答を行い、24万回閲覧されています。
これは、研究そのものの問題とは別の問題です。研究論文そのものが杜撰だったにも関わらずNatureにアクセプトされてしまった査読する側の問題もあるでしょうが、この研究には多くの研究者が関わっていたことも一因でしょう。小保方氏の論文不正が露見したのは必然的で、科学の世界は不正がしにくい世界でもありますので、なぜそのような直ぐに不正が露見するような論文を書いたのか?それを指導する体制はどうなっていたのか?という理化学研究所の問題も絡んでいるといえます。つまり小保方氏が単独でどうのこうのするには限界があるにも関わらず、なぜそのような論文がいくつもの関門を通り抜けてしまったのか?というところが一番謎です。STAP細胞に関する論文はチェックが甘すぎたといわれても仕方がない。
従って、
(06)(14)により、
(15)
「 ユニコーン 」は、「想像上の動物」であると、思はれてゐて、
「スタップ細胞」は、「想像上の細胞」であると、思はれてゐる(た)。
従って、
(13)(14)(15)により、
(16)
①「スタップ細胞」だけを、「意識」して、
①「スタップ細胞」は、「想像上の細胞」ではない。
といふ風に、「言ひたい」のであれば、
② スタップ細胞があります。
でも、
③ スタップ細胞もあります。
でもなく、
① スタップ細胞はあります。
といふ風にしか、言ひやうが無い。
―「昨日(令和03年06月01日)の記事」を補足します。―
(01)
1 (1) ∃x{吾輩x&猫x&~∃y(名前yx)} A
2 (2) ∃x{タマx& ∃y(名前yx)} A
3 (3) 吾輩a&猫a&~∃y(名前ya) A
4(4) タマa& ∃y(名前ya) A
3 (5) ~∃y(名前ya) 3&E
4(6) ∃y(名前ya) 4&E
34(7) ~∃y(名前ya)&∃y(名前ya) 56&I
23 (8) ~∃y(名前ya)&∃y(名前ya) 247EE
12 (9) ~∃y(名前ya)&∃y(名前ya) 138EE
1 (ア) ~∃x{タマx& ∃y(名前yx)} 29RAA
1 (イ) ∀x~{タマx& ∃y(名前yx)} ア量化子の関係
1 (ウ) ~{タマa& ∃y(名前ya) イUE
1 (エ) ~タマa∨ ~∃y(名前ya) ウ、ド・モルガンの法則
1 (オ) ~∃y(名前ya)∨~タマa エ交換法則
1 (カ) ∃y(名前ya)→~タマa オ含意の定義
1 4(キ) ~タマa 6カMPP
12 (ク) ~タマa 24キEE
3 (ケ) 吾輩a&猫a 3&E
123 (コ) 吾輩a&猫a&~タマa クケ&I
123 (サ) ∃x(吾輩x&猫x&~タマx) コEI
12 (シ) ∃x(吾輩x&猫x&~タマx) 13サEE
12 (〃)あるxは(吾輩であって猫であるが、タマではない)。 13サEE
従って、
(01)により、
(02)
(ⅰ)∃x{吾輩x&猫x&~∃y(名前yx)}。然るに、
(ⅱ)∃x{タマx& ∃y(名前yx)}。従って、
(ⅲ)∃x(吾輩x&猫x&~タマx)。
といふ「推論(三段論法)」、すなはち、
(ⅰ)あるxは{吾輩であって、猫であるが、あるyが、xの名前であることはない}。然るに、
(ⅱ)あるxは{タマであって、 あるyは、xの名前である}。 従って、
(ⅲ)あるxは{吾輩であって、猫であるが、タマではない}。
といふ「推論(三段論法)」は、「妥当」である。
従って、
(02)により、
(03)
(ⅰ)吾輩は猫である。名前は無い。然るに、
(ⅱ)タマには名前がある。 従って、
(ⅲ)吾輩は猫であるが、タマではない。
といふ「推論(三段論法)」は、「妥当」である。
従って、
(01)(02)(03)により、
(04)
① 吾輩は猫である。名前は無い。⇔
① ∃x{吾輩x&猫x&~∃y(名前yx)}⇔
① あるxは{吾輩であって、猫であるが、あるyが、xの名前であることはない}。
といふ「等式」が、成立する。
然るに、
(05)
よく知られているように、「私が理事長です」は語順を変え、
理事長は、私です。
と直して初めて主辞賓辞が適用されのである。
(三上章、日本語の論理、1963年、40頁)
従って、
(05)により、
(06)
① 私が理事長である。
② 理事長は私である。
に於いて、
①=② である。
従って、
(06)により、
(07)
① 私が理事長である。
② 私は理事長であり、理事長は私である。
に於いて、
①=② である。
従って、
(07)により、
(08)
① 吾輩が猫である。
② 吾輩は猫であり、猫は吾輩である。
に於いて、
①=② である。
然るに、
(09)
1 (1) ∀x{吾輩x⇔猫x &~∃y(名前yx)} A
2 (2) ∃x{タマx&~吾輩x&∃y(名前yx)} A
1 (3) 吾輩a⇔猫a &~∃y(名前ya) 1UE
1 (4) 吾輩a⇔猫a 3&E
1 (5) 吾輩a→猫a&猫a→吾輩a 4Df.⇔
1 (6) 猫a→吾輩a 5&E
7(7) タマa&~吾輩a&∃y(名前ya) A
7(8) タマa 7&E
7(9) ~吾輩a 7&E
7(ア) ∃y(名前ya) 7&E
1 7(イ) ~猫a 69MTT
1 7(ウ) タマa&~猫a 8イ&I
1 7(エ) タマa&~猫a&∃y(名前ya) ウエ&I
1 7(オ) ∃x{タマx&~猫x&∃y(名前yx)} エEI
12 (カ) ∃x{タマx&~猫x&∃y(名前yx)} 27オEE
12 (〃)あるx{はタマであって、猫ではなく、名前がある} 27オEE
従って、
(09)により、
(10)
(ⅰ)∀x{吾輩x⇔猫x &~∃y(名前yx)}。然るに、
(ⅱ)∃x{タマx&~吾輩x&∃y(名前yx)}。従って、
(ⅲ)∃x{タマx&~猫x& ∃y(名前yx)}。
といふ「推論」、すなはち、
(ⅰ)すべてのxについて{xが吾輩ならばxは猫であり、xが猫ならば吾輩であり、あるyがxの名前である、といふことはない}。然るに、
(ⅱ)あるxは{タマであり、吾輩ではなく、あるyは、xの名前である}。従って、
(ⅲ)あるxは{タマであり、 猫ではなく、あるyは、xの名前である}。
といふ「推論」は、「妥当」である。
従って、
(08)(09)(10)により、
(11)
(ⅰ)吾輩が猫である。 名前は無い。然るに、
(ⅱ)タマは吾輩ではなく、名前が有る。従って、
(ⅲ)タマは、猫ではなく、名前が有る。
といふ「推論(三段論法)」は、「正しい」。
従って、
(08)~(11)により、
(12)
② 吾輩が猫である。名前は無い。⇔
② ∀x{吾輩x⇔猫x&~∃y(名前yx)}⇔
② すべてのxについて{xが吾輩ならばxは猫であり、xが猫ならば吾輩であり、あるyがxの名前である、といふことはない}。
といふ「等式」が、成立する。
従って、
(04)(12)により、
(13)
①「吾輩は猫である。名前は無い。」≡∃x{吾輩x&猫x&~∃y(名前yx)}。
②「吾輩が猫である。名前は無い。」≡∀x{吾輩x⇔猫x&~∃y(名前yx)}。
といふ、2つの「等式」が、成立する。
然るに、
(14)
(ⅰ)論理式または命題関数において、量記号が現れる任意の箇所の作用範囲(スコープ)は、問題になっている変数が現れる少なくとも2つの箇所を含むであろう(その1つの箇所は量記号そのもののなかにある);
(ⅱ)論理式または命題関数において、量記号が現れる任意の箇所の作用範囲(スコープ)は、同じ変数を用いたいかなる他の量記号も含まないであろう。
(論理学初歩、E.J.レモン、竹尾 治一郎・浅野 楢英 訳、1973年、183頁改)
従って、
(13)(14)により、
(15)
① ∃x{吾輩x&猫x&~∃y(名前yx)}。
② ∀x{吾輩x⇔猫x&~∃y(名前yx)}。
に於いて、
①「変数x」の「作用範囲(Scope)」は、∃x{吾輩x&猫x&~∃y(名前yx)}の「全体」であって、
②「変数x」の「作用範囲(Scope)」は、∀x{吾輩x⇔猫x&~∃y(名前yx)}の「全体」である。
然るに、
(16)
① ∃x{吾輩x&猫x&~∃y(名前yx)}。
② ∀x{吾輩x⇔猫x&~∃y(名前yx)}。
に於いて、
①「変数x」は、「吾輩」に対する、言ふなれば、「代名詞」である。
②「変数x」は、「吾輩」に対する、言ふなれば、「代名詞」である。
従って、
(15)(16)により、
(17)
① ∃x{吾輩x&猫x&~∃y(名前yx)}。
② ∀x{吾輩x⇔猫x&~∃y(名前yx)}。
に於ける、
① ~∃y(名前yx)
② ~∃y(名前yx)
といふ「論理式」は、
①「吾輩(x)の名前」である所の、yは、存在しない。
②「吾輩(x)の名前」である所の、yは、存在しない。
といふ、「意味」である。
従って、
(13)(17)により、
(18)
①「吾輩は猫である。(吾輩に)名前は無い。」≡∃x{吾輩x&猫x&~∃y(名前yx)}。
②「吾輩が猫である。(吾輩に)名前は無い。」≡∀x{吾輩x⇔猫x&~∃y(名前yx)}。
といふ「等式」が、成立する。
然るに、
(19)
三上は、助詞「は」の働きは節を超え(コンマ越え)、文さえ超える(ピリオド越え)ことが出来ると、主張する。それは、文を超える「は」の、「が」以下の格助詞とは明らかにパワーが違うことの表れなのだ。三上がその証明に使うのは、誰もが知っている文学作品「吾輩は猫である」の冒頭である(金谷武洋、日本語の文法の謎を解く、2003年、72頁)。
従って、
(19)により、
(20)
①「吾輩は猫である。名前は無い。」
②「吾輩が猫である。名前は無い。」
といふ「日本語」が、実際には、
①「吾輩は猫である。(吾輩に)名前は無い。」
②「吾輩が猫である。(吾輩に)名前は無い。」
といふ「意味」である。
といふことを、「ピリオド越え」と言ふ。
従って、
(18)(19)(20)により、
(21)
①「吾輩は猫である。名前は無い。」≡∃x{吾輩x&猫x&~∃y(名前yx)}。
②「吾輩が猫である。名前は無い。」≡∀x{吾輩x⇔猫x&~∃y(名前yx)}。
といふ「等式」が「成り立つ」が故に、
①「吾輩は猫である。(吾輩に)名前は無い。」
②「吾輩が猫である。(吾輩に)名前は無い。」
といふ「ピリオド越え」が、生じる、ことになる。
然るに、
(22)
(ⅰ)
1 (1)猫であるならば吾輩である。 仮定
2 (2) 吾輩でない。 仮定
3(3)猫である。 仮定
1 3(4) 吾輩である。 13肯定肯定式
123(5)吾輩でなくて、吾輩である。 24連言導入
12 (6)猫でない。 35背理法
1 (7)吾輩でないならば猫でない。 26条件法
(ⅱ)
1 (1)吾輩でないならば猫でない。 仮定
2 (2) 猫である。 仮定
3(3)吾輩でない。 仮定
1 3(4) 猫でない。 13肯定肯定式
123(5) 猫であって、猫でない。 24連言導入
12 (6)吾輩でないでない。 35背理法
12 (7)吾輩である。 6二重否定
1 (8)猫であるならば吾輩である。 27条件法
従って、
(22)により、
(23)
① 猫であるならば吾輩である。
② 吾輩でないならば猫でない。
に於いて、
①=② は、「対偶(Contraposition)」である。
従って、
従って、
(23)により、
(24)
① 猫は吾輩である。
② 吾輩以外は猫でない。
に於いて、
①=② は、「対偶(Contraposition)」である。
従って、
(08)(12)(24)により、
(25)
② 吾輩が猫である。名前は無い。⇔
② ∀x{吾輩x⇔猫x&~∃y(名前yx)}⇔
② 吾輩は猫であり、吾輩以外は猫はゐない。名前ない。
といふ「等式」が、成立する。
然るに、
(26)
② I am a cat. I have no name of mine.
であるならば、
② 吾輩が猫である。名前は無い。⇔
② 吾輩は猫であり、吾輩以外は猫はゐない。名前ない。
といふ「意味」には、ならない(はずである)。
従って、
(26)により、
(27)
② 吾輩は猫であり、吾輩以外は猫はゐない。名前ない。
といふのであれば、
② I am a cat.
ではなく、
② I am the cat.
であるべきである(はずである)。
然るに、
(28)
② I am a cat.
ではなく、いきなり、
② I am the cat.
といふのは、「不自然」である。
従って、
(22)~(28)により、
(29)
「逆」に言へば、
② I am the cat.
と言っても、「不自然」でない「文脈」が有るのであれば、
① 吾輩は猫である(∃x{吾輩x&猫x})。
ではなく、
② 吾輩が猫である(∀x{吾輩x⇔猫x})。
であっても、「不自然」ではない、といふことになる。
(01)
①「吾輩は猫である。」
②「吾輩は猫でない。」
に於いて、
① の「否定」は、
② である。
(02)
①「吾輩は猫である。名前は無い。」
②「吾輩は猫である。名前は無い。」ではない。
に於いて、
② の「否定」は、
② である。
然るに、
(03)
②「吾輩は猫である。名前は無い。」ではない。
といふ「日本語」は、「述語論理的」には、以下の「手続き」により、
③「・・・・・・・。」
といふ「日本語」に、「翻訳」出来るのであって、そのことを、以下に於いて、確認したい。
(04)
1 (1) ∃x{吾輩x&猫x&~∃y(名前yx)} A
2 (2) ∃x{タマx& ∃y(名前yx)} A
3 (3) 吾輩a&猫a&~∃y(名前ya) A
4(4) タマa& ∃y(名前ya) A
3 (5) ~∃y(名前ya) 3&E
4(6) ∃y(名前ya) 4&E
34(7) ~∃y(名前ya)&∃y(名前ya) 56&I
23 (8) ~∃y(名前ya)&∃y(名前ya) 247EE
12 (9) ~∃y(名前ya)&∃y(名前ya) 138EE
1 (ア) ~∃x{タマx& ∃y(名前yx)} 29RAA
1 (イ) ∀x~{タマx& ∃y(名前yx)} ア量化子の関係
1 (ウ) ~{タマa& ∃y(名前ya) イUE
1 (エ) ~タマa∨ ~∃y(名前ya) ウ、ド・モルガンの法則
1 (オ) ~∃y(名前ya)∨~タマa エ交換法則
1 (カ) ∃y(名前ya)→~タマa オ含意の定義
1 4(キ) ~タマa 6カMPP
12 (ク) ~タマa 24キEE
3 (ケ) 吾輩a&猫a 3&E
123 (コ) 吾輩a&猫a&~タマa クケ&I
123 (サ) ∃x(吾輩x&猫x&~タマx) コEI
12 (シ) ∃x(吾輩x&猫x&~タマx) 13サEE
12 (〃)あるxは(吾輩であって猫であるが、タマではない)。 13サEE
従って、
(04)により、
(05)
(ⅰ)∃x{吾輩x&猫x&~∃y(名前yx)}。然るに、
(ⅱ)∃x{タマx& ∃y(名前yx)}。従って、
(ⅲ)∃x(吾輩x&猫x&~タマx)。
といふ「推論(三段論法)」、すなはち、
(ⅰ)あるxは{吾輩であって、猫であるが、あるyが、xの名前であることはない}。然るに、
(ⅱ)あるxは{タマであって、 あるyは、xの名前である}。 従って、
(ⅲ)あるxは{吾輩であって、猫であるが、タマではない}。
といふ「推論(三段論法)」は、「妥当」である。
従って、
(05)により、
(06)
(ⅰ)吾輩は猫である。名前は無い。然るに、
(ⅱ)タマには名前がある。 従って、
(ⅲ)吾輩は猫であるが、タマではない。
といふ「推論(三段論法)」は、「妥当」である。
従って、
(04)(05)(06)により、
(07)
① 吾輩は猫である。名前は無い。⇔
① ∃x{吾輩x&猫x&~∃y(名前yx)}⇔
① あるxは{吾輩であって、猫であるが、あるyが、xの名前であることはない}。
といふ「等式」が、成立する。
然るに、
(08)
(ⅱ)
1 (1)~∃x{吾輩x&猫x&~∃y(名前yx)} A
1 (2)∀x~{吾輩x&猫x&~∃y(名前yx)} 1量化子の関係
1 (3) ~{吾輩a&猫a&~∃y(名前ya)} 2UE
1 (4) ~吾輩a∨~猫a∨ ∃y(名前ya) 3ド・モルガンの法則
1 (5) (~吾輩a∨~猫a)∨∃y(名前ya) 4結合法則
6 (6) (~吾輩a∨~猫a) A
6 (7) ~(吾輩a&猫a) 6ド・モルガンの法則
6 (8) ~(吾輩a&猫a)∨∃y(名前ya) 7∨I
9(9) ∃y(名前ya) A
9(ア) ~(吾輩a&猫a)∨∃y(名前ya) 9∨I
1 (イ) ~(吾輩a&猫a)∨∃y(名前ya) 1689ア∨E
1 (ウ) (吾輩a&猫a)→∃y(名前ya) イ含意の定義
1 (エ)∀x{(吾輩x&猫x)→∃y(名前yx)} ウUI
(ⅲ)
1 (1)∀x{(吾輩x&猫x)→∃y(名前ya) A
1 (2) (吾輩a&猫a)→∃y(名前ya) 1UE
1 (3) ~(吾輩a&猫a)∨∃y(名前ya) 2含意の定義
4 (4) ~(吾輩a&猫a) A
4 (5) (~吾輩a∨~猫a) 4ド・モルガンの法則
4 (6) (~吾輩a∨~猫a)∨∃y(名前ya) 5∨I
7(7) ∃y(名前ya) A
7(8) (~吾輩a∨~猫a)∨∃y(名前ya) 6∨I
1 (9) (~吾輩a∨~猫a)∨∃y(名前ya) 34678∨E
1 (ア) ~吾輩a∨~猫a∨ ∃y(名前ya) 9結合法則
1 (イ) ~{吾輩a&猫a&~∃y(名前ya)} ア、ド・モルガンの法則
1 (ウ)∀x~{吾輩x&猫x&~∃y(名前yx)} イUI
1 (エ)~∃x{吾輩x&猫x&~∃y(名前yx)} ウ量化子の関係
従って、
(08)により、
(09)
① ∃x{吾輩x&猫x&~∃y(名前yx)}
② ~∃x{吾輩x&猫x&~∃y(名前yx)}
③ ∀x{(吾輩x&猫x)→∃y(名前yx)}
に於いて、
① の「否定」は、
② であり、
②=③ である。
然るに、
(10)
③ ∀x{(吾輩x&猫x)→∃y(名前yx)}。
といふことは、
③ すべてのxについて{(xが吾輩であって、猫である)ならば、あるyは(xの名前である)}。
といふことである。
然るに、
(11)
③ すべてのxについて{(xが吾輩であって、猫である)ならば、あるyは(xの名前である)}。
といふことは、
③「私は猫である。」といふ「命題」が「真(本当)」である。
ならば、
③「私であって、猫である所のxには、名前yがある。」といふことについて、「例外は無い」。
といふ「意味」である。
然るに、
(12)
③「私であって、猫である所のxには、名前yがある。」といふことについて、「例外は無い」。
といふことは、要するに、
③「吾輩は猫である(I am a cat)。」といふのであれば、必然的に、「吾輩には、名前が有る。」
といふ、ことになる。
従って、
(07)~(12)により、
(13)
① 吾輩は猫である。名前は無い。⇔
① ∃x{吾輩x&猫x&~∃y(名前yx)}⇔
① あるxは{吾輩であって、猫であるが、あるyが、xの名前であることはない}。
といふ「命題」の「否定」は、
③ 吾輩が猫であるならば、吾輩には名前がある。⇔
③ ∀x{(吾輩x&猫x)→∃y(名前yx)}⇔
③ すべてのxについて{(xが吾輩であって、猫である)ならば、あるyは(xの名前である)}。
といふ「命題」になる。
然るに、
(14)
A:吾輩は、猫である。名前は、まだ無い。
B:あなたが猫であるならば、あなたには名前がある。
に於いて、
Bは、明らかに、
Aの、「否定」である。
従って、
(13)(14)により、
(15)
① 吾輩は猫である。名前はまだ無い。
③ 吾輩が猫であるならば、吾輩には名前がある。
に於いて、
① と、
③ は、「明確に、矛盾する」。
然るに、
(16)
① 吾輩は猫である。名前はまだ無い。
③ 吾輩が猫であるならば、吾輩には名前がある。
に於いて、
① と、
③ は、「明確に、矛盾する」。
といふことは、
① の「否定」は、
③ であり、
③ の「否定」は、
① である。
といふことに、他ならない。
従って、
(16)により、
(17)
① 吾輩は猫である。名前はまだ無い。
② 吾輩は猫である。名前はまだ無い。といふことは「嘘」である。
③ 吾輩が猫であるならば、吾輩には名前がある。
に於いて、
① の「否定」は、
② であり、
②=③ である。
従って、
(09)(17)により、
(18)
① ∃x{吾輩x&猫x&~∃y(名前yx)}
② ~∃x{吾輩x&猫x&~∃y(名前yx)}
③ ∀x{(吾輩x&猫x)→∃y(名前yx)}
に於いて、すなはち、
① あるxは{吾輩であって、猫であるが、あるyが、xの名前であることはない}。
② あるxは{吾輩であって、猫であるが、あるyが、xの名前であることはない}といふことはない。
③ すべてのxについて{(xが吾輩であって、猫である)ならば、あるyは(xの名前である)}。
に於いて、すなはち、
① 吾輩は猫である。名前はまだ無い。
② 吾輩は猫である。名前はまだ無い。といふことは「嘘」である。
③ 吾輩が猫であるならば、吾輩には名前がある。
に於いて、
① の「否定」は、
② であり、
②=③ である。
従って、
(02)~(18)により、
(19)
②「吾輩は猫である。名前はまだ無い。」ではない。
といふ「日本語」は、すなはち、
②「吾輩は猫である。名前はまだ無い。」といふことは「嘘」である。
といふ「日本語」は、「述語論理的」には、
③「吾輩が猫であるならば、吾輩には名前がある。」
といふ「日本語」に、「等しい」(Q.E.D)。
従って、
(18)(19)により、
(20)
① 吾輩は猫である。名前はまだ無い。
といふ「日本語」は、
① ∃x{吾輩x&猫x&~∃y(名前yx)}
といふ「述語論理式」に、「等しい」。
然るに、
(21)
1 (1) ∀x{吾輩x⇔猫x &~∃y(名前yx)} A
2 (2) ∃x{タマx&~吾輩x&∃y(名前yx)} A
1 (3) 吾輩a⇔猫a &~∃y(名前ya) 1UE
1 (4) 吾輩a⇔猫a 3&E
1 (5) 吾輩a→猫a&猫a→吾輩a 4Df.⇔
1 (6) 猫a→吾輩a 5&E
7(7) タマa&~吾輩a&∃y(名前ya) A
7(8) タマa 7&E
7(9) ~吾輩a 7&E
7(ア) ∃y(名前ya) 7&E
1 7(イ) ~猫a 69MTT
1 7(ウ) タマa&~猫a 8イ&I
1 7(エ) タマa&~猫a&∃y(名前ya) ウエ&I
1 7(オ) ∃x{タマx&~猫x&∃y(名前yx)} エEI
12 (カ) ∃x{タマx&~猫x&∃y(名前yx)} 27オEE
12 (〃)あるx{はタマであって、猫ではなく、名前がある} 27オEE
従って、
(21)により、
(22)
(ⅰ)∀x{吾輩x⇔猫x &~∃y(名前yx)}。然るに、
(ⅱ)∃x{タマx&~吾輩x&∃y(名前yx)}。従って、
(ⅲ)∃x{タマx&~猫x& ∃y(名前yx)}。
といふ「推論」、すなはち、
(ⅰ)すべてのxについて{xが吾輩ならばxは猫であり、xが猫ならば吾輩であり、あるyがxの名前である、といふことはない}。然るに、
(ⅱ)あるxは{タマであり、吾輩ではなく、あるyは、xの名前である}。従って、
(ⅲ)あるxは{タマであり、 猫ではなく、あるyは、xの名前である}。
といふ「推論」は、「妥当」である。
従って、
(22)により、
(23)
(ⅰ)吾輩が猫である。 名前は無い。然るに、
(ⅱ)タマは吾輩ではなく、名前が有る。従って、
(ⅲ)タマは、猫ではなく、名前が有る。
といふ「推論(三段論法)」は、「正しい」。
従って、
(21)(22)(23)により、
(24)
② 吾輩が猫である。名前はまだ無い。
といふ「日本語」は、
② ∀x{吾輩x⇔猫x&~∃y(名前yx)}
といふ「述語論理式」に、「等しい」。
従って、
(20)(24)により、
(25)
① 吾輩は猫である。名前はまだ無い。
② 吾輩が猫である。名前はまだ無い。
といふ「日本語」は、それぞれ、
① ∃x{吾輩x&猫x&~∃y(名前yx)}
② ∀x{吾輩x⇔猫x&~∃y(名前yx)}
といふ「述語論理式」に、「等しい」。
然るに、
(26)
① 吾輩は猫である。名前はまだ無い。
② 吾輩が猫である。名前はまだ無い。
といふ「日本語」が、
① 吾輩は猫である。(吾輩に)名前はまだ無い。
② 吾輩が猫である。(吾輩に)名前はまだ無い。
といふ「意味」であることを、「ピリオド越え」と言ふ。
然るに、
(27)
(ⅰ)論理式または命題関数において、量記号が現れる任意の箇所の作用範囲(スコープ)は、問題になっている変数が現れる「少なくとも2つの箇所」を含むであろう(その1つの箇所は量記号そのもののなかにある);
(〃)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年、183頁改)
(28)
括弧は、論理演算子のスコープ(scope)を明示する働きを持つ。スコープは、論理演算子の働きが及ぶ範囲のことをいう。
(産業図書、数理言語学辞典、2013年、四七頁:命題論理、今仁生美)
然るに、
(25)~(28)により、
(29)
「結論」だけを、述べるのであれば、
① 吾輩は猫である。(吾輩に)名前はまだ無い。
② 吾輩が猫である。(吾輩に)名前はまだ無い。
といふ『ピリオド越え』を起きる、といふことは、
① 吾輩は猫である。名前はまだ無い。
② 吾輩が猫である。名前はまだ無い。
といふ「日本語」には、
① ∃x{吾輩x&猫x&~∃y(名前yx)}
② ∀x{吾輩x⇔猫x&~∃y(名前yx)}
といふ『構造(シンタックス)』がある。
といふことを、示してゐる。
(30)
一階述語論理は、数学のほぼ全領域を形式化するのに十分な表現力を持っている。実際、現代の標準的な集合論の公理系 ZFC は一階述語論理を用いて形式化されており、数学の大部分はそのように形式化された ZFC の中で行うことができる。すなわち、数学の命題は一階述語論理の論理式によって記述することができ、そのように論理式で記述された数学の定理には ZFC の公理からの形式的証明 (formal proof) が存在する。このことが一階述語論理が重要視される理由の一つである(ウィキペディア)。
とのことであるが、言ふまでもなく、
① 吾輩は猫である。名前はまだ無い。
② どこで生れたか頓と見当がつかぬ。
③ 何でも薄暗いじめじめした所でニャーニャー泣いていた事だけは記憶している。
に於いて、
① 吾輩は猫である。名前はまだ無い。
ではなく、
② どこで生れたか頓と見当がつかぬ。
③ 何でも薄暗いじめじめした所でニャーニャー泣いていた事だけは記憶している。
のやうな「日本語」を、「述語論理式」に「翻訳」することは、出来ない。
しかしながら、
(31)
① 吾輩は猫である。(吾輩に)名前はまだ無い。
② 吾輩が猫である。(吾輩に)名前はまだ無い。
であるならば、
① ∃x{吾輩x&猫x&~∃y(名前yx)}
② ∀x{吾輩x⇔猫x&~∃y(名前yx)}
といふ風に、「翻訳」出来るのであるが、「ネット」調べる限り、そのやうな「翻訳」を行った「日本語学者・言語学者」は、誰もゐない。
それ故、
(29)(30)(31)により、
(32)
例へば、
三上は、助詞「は」の働きは節を超え(コンマ越え)、文さえ超える(ピリオド越え)ことが出来ると、主張する。それは、文を超える「は」の、「が」以下の格助詞とは明らかにパワーが違うことの表れなのだ。三上がその証明に使うのは、誰もが知っている文学作品「吾輩は猫である」の冒頭である(金谷武洋、日本語の文法の謎を解く、2003年、72頁)。
といふ風に、書かれることになる。