日本語の「は」と「が」について。

象は鼻が長い=∀x{象x→∃y(鼻yx&長y)&∀z(~鼻zx→~長z)}。
とりあえず「三上文法」を「批判」します。

「控訴理由書」の「述語論理」と『法論理学』。

2025-04-05 13:23:11 | 論理

                    ―「控訴理由書(の補足Ⅳ)」―
(01)
民事訴訟法規則第182条1項
控訴状に第一審判決の取消し又は変更を求める事由の具体的な記載がないときは、控訴人は、
控訴の提起後五十日以内に、これらを記載した書面を控訴裁判所に提出しなければならない。
然るに、
(02)
1        () ∀x{控x→五(x)&∃y(書yx)&∃z(理zx)} A
1        (2)    控a→五(a)&∃y(書ya)&∃z(理za)  1UE
 3       (3)                   ~∃z(理za)  A
 3       (4)  {~五(a)V~∃y(書ya)}V~∃z(理za)  3VI
  5      (5)       五(a)&∃y(書ya)&∃z(理za)  A
   6     (6)  {~五(a)V~∃y(書ya)}           A
    7    (7)   ~五(a)                     A
  5      (8)       五(a)                  5&E
  5 7    (9)   ~五(a)&五(a)                78&I
    7    (ア)     ~{五(a)&∃y(書ya)&∃z(理za}  59RAA
     イ   (イ)         ~∃y(書ya)            A
  5      (ウ)          ∃y(書ya)            5&E
  5  イ   (エ)         ~∃y(書ya)&∃y(書ya)    イウ&I
     イ   (オ)     ~{五(a)&∃y(書ya)&∃z(理za)} 5エRAA
   6     (カ)     ~{五(a)&∃y(書ya)&∃z(理za)} 67アイオVE
      キ  (キ)                   ~∃z(理za)  A
  5      (ク)                    ∃z(理za)  5&E
  5   キ  (ケ)           ~∃z(理za)&∃z(理za)  キク&I
      キ  (コ)     ~{五(a)&∃y(書ya)&∃z(理za)} 5ケRAA
 3       (サ)     ~{五(a)&∃y(書ya)&∃z(理za)} 46カキコVE
13       (シ)   ~控a                       2サMTT
1        (ス)     ~∃z(理za)→~控a            3シCP
       セ (セ)     ∀z(~理za)                A
       セ (ソ)     ~∃z(理za)                セ量化子の関係
1      セ (タ)              ~控a            スソMPP
1        (チ)     ∀z(~理za)→~控a            セタCP
        ツ()  ∀x{∀z(~理zx)}               A
        ツ()     ∀z(~理za)                ツUE
1       ツ(ト)              ~控a            チテMPP
1       ツ(ナ)           ∀x(~控x)           トUI
1       ツ()           ~∃x(控x)           ナ量化子の関係
従って、
(02)により、
(03)
控=控訴である。
五=50日以内である。
書=書面である。
理=理由である。
として、
① ∀x{控x→五(x)&∃y(書yx)&∃z(理zx)}。然るに、
② ∀x{∀z(~理zx)}。従って、
③ ~∃x(控x)。
という「三段論法」、すなわち、
① すべてのxについて{xが控訴であるならば、xは50日以内であって、あるyはxのための書面であって、あるzはxのための理由である}。
然るに、
② いかなるx{と、いかなるzであっても、(zがxの理由であることはない)}。従って、
③(控訴であるx)は存在しない。
という「三段論法」、すなわち、
① 控訴は、50日以内に、書面で行い、かつ、理由が無ければならない。然るに、
② 控訴には、理由が無い。従って、
③ 控訴は、 無効である。
という「三段論法」は、「妥当」である。
然るに、
(04) 独立行政法人医薬品医療機器総合機構法施行規則
第五十条 裁決は、書面で行い、かつ、理由を付さなければならない。
然るに、
(05)
1  (1) ∀x{裁x→∃y(書yx)& ∃z(理zx)} A
1  (2)    裁a→∃y(書ya)& ∃z(理za)  1UE
 3 (3)      ~∃y(書ya)&~∃z(理za)  A
 3 (4)      ~∃y(書ya)           3&E
 3 (5)      ~∃y(書ya)V~∃z(理za)  4VI
 3 (6)     ~{∃y(書ya)& ∃z(理za)} 5ド・モルガンの法則
13 (7)   ~裁a                   26MTT
1  (8)  ~∃y(書ya)&~∃z(理za)→~裁a  37CP
  9(9)  ∀x{∀y(~書yx)&∀z(~理zx)}  A
  9(ア)     ∀y(~書ya)&∀z(~理za)   9UE
  9(イ)     ∀y(~書ya)            ア&E
  9(ウ)     ~∃x(書ya)            イ量化子の関係
  9(エ)              ∀z(~理za)   ア&E
  9(オ)              ~∃z(理za)   エ量化子の関係
  9(カ)     ~∃y(書ya)&~∃z(理za)   ウオ&I
1 9(キ)                    ~裁a  8カMPP
1 9(ク)                 ∀x(~裁x) キUI
1 9(ケ)                 ~∃x(裁x) ク量化子の関係
従って、 

(01)~(05)により、
(06)
① 控訴理由書の提出は、50日以内に、書面で行い、かつ、理由が無ければならない。然るに、
② 控訴理由書に、理由無い。従って、
➂ 控訴理由書は、無効である。
という「三段論法」が、「妥当」である。
という「理由」により、『法論理学』からすれば、「当然」、
① 裁決は、書面で行い、かつ、理由ければならない。然るに、
② 裁決に、理由無い。従って、
➂ 裁決は、無効である。
という「三段論法」も、「妥当」である(?、問題提起・質問37)。
然るに、
(07)
裁決に付された理由に誤りがあった場合に、当該裁決の対象とされた原処分について、請求されたとおりの処分をすることが義務付けられるという法的効果を認めるべき旨を定めた規定は関係法令上見当たらない。また、被告のした本件不支給決定に対する不服申立て手続において裁決庁である厚生労働大臣がした裁決に付された理由に誤りがあるという手続的な瑕疵が、本件不支給決定の違法事由となると解釈すべき法的根拠もおよそ見出し難い。
という「解釈(第1審判決、11頁)」は、「要約」すると、
(ⅰ)「理由が、どれだけ、間違いであった」としても、
(ⅱ)「間違いが、許容されない」という、
(ⅲ)「法的根拠(法的効果)」は「無い」。
という「意味」である(?、「控訴理由書」の、問題提起・質問9)。
然るに、
「控訴理由書(の補足)」の(07)により、
(08)
「裁決」に関する限り、
(ⅰ)「どれだけ、間違いが有った」としても、
(ⅱ)「行政側の、間違い」は「常に、許容される」。
とするならば、実質的に、
(ⅲ)「被告の主張」は、「常に正しく」、
(ⅳ)「原告の主張」は、「常に間違い」である。
ということになる(?、「控訴理由書(の補足)」の、問題提起・質問32)。
ものの、そのようなことは、「有るはずが無い」。
然るに、
「控訴理由書」の(64)(65)により、
(09)
一 原子炉施設の安全性に関する被告行政庁の判断の適否が争われる原子炉設置許可処分の取消訴訟における裁判所の審理、判断は、原子力委員会若しくは原子炉安全専門審査会の専門技術的な調査審議及び判断を基にしてされた被告行政庁の判断に不合理な点があるか否かという観点から行われるべきであって、現在の科学技術水準に照らし、右調査審議において用いられた具体的審査基準に不合理な点があり、あるいは当該原子炉施設が右の具体的審査基準に適合するとした原子力委員会若しくは原子炉安全専門審査会の調査審議及び判断の過程に看過し難い過誤欠落があり、被告行政庁の判断がこれに依拠してされたと認められる場合には、被告行政庁の右判断に不合理な点があるものとして、右判断に基づく原子炉設置許可処分は違法と解すべきである。
二 原子炉施設の安全性に関する被告行政庁の判断の適否が争われる原子炉設置許可処分の取消訴訟においては、右判断に不合理な点があることの主張、立証責任は、本来、原告が負うべきものであるが、被告行政庁の側において、まず、原子力委員会若しくは原子炉安全専門審査会の調査審議において用いられた具体的審査基準並びに調査審議及び判断の過程等、被告行政庁の判断に不合理な点のないことを相当の根拠、資料に基づき主張、立証する必要があり、被告行政庁が右主張立証尽くさない場合には被告行政庁がした右判断に不合理な点があることが事実上推認される(平成4年10月29日、最高裁判所第一小法廷)。
とい言うのであれば、すなわち、
「集団(住民)を原告」とした、
「行政訴訟」における、被告行政庁の判断には、不合理な点が、有ってはならない(最高裁判所)。
と言うのであれば、当然、
「個人を原告」とした、
「行政訴訟」における、被告行政庁の裁決にも、不合理な点が、有ってはならない(地方裁判所)。
ということに、ならざるを得ない(?、問題提起・質問7)。
然るに、
(10)
原告としては、行政訴訟を含めて、
岡口 民事訴訟自白しちゃえば、嘘でも本当になってしまうんですね。だから、変に裁判所が介入するのは不公平だと思っているんです。私のように相対的真実でいいと思っている人間は、絶対的真実を追求しようとはあまり思わないということです。
中村 弁護士は基本的にそう考えますね
(岡口基一・中村誠、裁判官!当職そこが知りたかったのです、2017年、41頁)
ということが、「実際にそうであること」を「期待」します。
その上で、
(11)
副作用の原因となった医薬品を特定、
当該医薬品によりどのような副作用が生じたか、
当該副作用がどのように原告父の死亡に影響したか。
ということについては、
「第5準備書面(令和6年5月22日)」で示した通り、
① 添付文書の記載から判断すると、
② 副作用の原因となった医薬品は、フェブリクである。
③ 当該医薬品により生じた副作用は、(急性)腎不全である。
フェブリクの副作用である所の、
急性腎不全を発症した際には、
⑥ 血液を希釈する所の、点滴の効果として、
⑦ 輸血が検討される程の、重度の貧血であったが、
⑧ 生成AIの「回答」からも分かる通り、
⑨ 貧血に急性腎不全が加わると、より一層、
⑩ 非閉塞性腸管虚血(NOMI)を発症し易くなる上に、
⑪ CT検査報告書には、実際に、
NOMIの可能性は挙がるという、記載が有る。
ということを、「主張」します。

「命題計算(自然演繹)」としての「対偶」。

2025-03-31 11:42:44 | 論理

(01)

1  (1) P→ Q A

 2 (2)   ~Q A

  3(3) P    A

1 3(4)    Q 13MPP

123(5) ~Q&Q 24&I

12 (6)   ~P 35RAA

1  (7)~Q→~P 26CP

という「推論」、すなわち、

1  (1)Pであるならば、Qである。として、

 2 (2)その上、Qでない。として、

  3(3)その上、Pである。とするならば、

1 3(4)Qであるが、そうだとすると、

123(5)Qでないが、Qである。ということになり、する。従って、

12 (6)Pではない。従って、

1  (7)Qでないならば、Pではない

という「推論」は、「妥当」である。

従って、

(01)により、

(02)

Pであるならば、Qである

② Qでないならば、Pではない

において、

①=② であって、従って、

「対偶(Contraposition)」は、「等しい」。

 


(1359)東京地裁の裁判官は、「論理」を知らない。

2025-03-16 16:42:32 | 論理

                 控訴理由書(の補足)
東京高等裁判所 御中
(民事第##部)
                               令和7年3月 日
                               控訴人 ####
(01)
3 本件裁決書に記載された理由に関する原告の主張について
機構法施行規則50条1項が裁決について理由を付さなければならないとしている趣旨は、審査に当たる裁決庁の判断の慎重と公正妥当とを担保してその恣意を抑制するとともに、裁決の理由を審査の申立てをした者に知らせることによって、裁決の対象となった原処分又は裁決に対する不服申立てに便宜を与えることを目的としているものと解され、裁決に付された理由に誤りがあった場合に、当該裁決の対象とされた原処分について、請求されたとおりの処分をすることが義務付けられるという法的効果を認めるべき旨を定めた規定は関係法令上見当たらない。また、被告のした本件不支給決定に対する不服申立て手続において裁決庁である厚生労働大臣がした裁決に付された理由に誤りがあるという手続的な瑕疵が、本件不支給決定の違法事由となると解釈すべき法的根拠もおよそ見出し難い(第1審判決、11頁)。
従って、
(02)
3 本件裁決書に記載された理由に関する原告の主張について
機構法施行規則50条1項が裁決について理由を付さなければならないとしている趣旨は、
(ⅰ)裁決の対象となった原処分又は裁決に対する不服申立ての際に、
(ⅱ)裁決に付された理由に誤りがあった場合に
(ⅲ)当該裁決の対象とされた原処分について、
(ⅳ)請求されたとおりの処分をすることが義務付けられるという、
(ⅴ)法的効果を認めるべき旨を定めた規定は関係法令上見当たらない。また、
(ⅵ)被告のした本件不支給決定に対する不服申立て手続において、
(ⅶ)請求されたとおりの処分をすることが義務付けられるという、
(ⅷ)手続的な瑕疵が、
(ⅸ)本件不支給決定の違法事由となると解釈すべき法的根拠もおよそ見出し難い
という「趣旨」である。
従って、
(03)
「要約」すると、
(ⅰ)「機構法施行規則50条1項」が所謂、
(ⅱ)「不服申立ての際」の、
(ⅲ)「行政側の、間違い」は「常に許容される」。
という「趣旨」であり、そのため、これでは、
行政訴訟を提起するには、大変な根性費用を覚悟しなければならない。生半可な覚悟では、
訴訟追行は出来ないのである(瀬木比呂志、ニッポンの裁判、2015年、163頁)。
ということに、ならざるを得ない。
然るに、
(04)
すべての導出可能な連式が「論理的に妥当(logically valid)」であること、それ故に
述語計算は無矛盾である」ことを示すのは、大して難しい問題ではない(It is not too
difficult a matter to show that )。
(E.J.レモン著、論理学初歩、竹尾治一郎・浅野楢英 訳、1973年、201頁)
然るに、
(05)
➀ 裁決は、書面で行い、かつ、理由が無ければならない。然るに、
② 裁決には、書面無い。              従って、
③ 裁決は無効である。


➀ 裁決は、書面で行い、かつ、理由が無ければならない。然るに、
② 裁決には、理由無い。              従って、
③ 裁決は無効である。


➀ 裁決は、書面で行い、かつ、理由が無ければならない。然るに、
② 裁決には、書面理由無い。          従って、
③ 裁決は無効である。


➀ 裁決は、書面で行い、かつ、理由が無ければならない。然るに、
② 裁決には、書面か、又は理由無い。       従って、
③ 裁決は無効である。


  という「三段論法」を「述語論理」に「翻訳」すると、
① ∀x{裁x→∃y(書yx)& ∃z(理zx)}。然るに、
② ∀x{∀y(~書yx)}。           従って、
➂ ~∃x(裁x)。


① ∀x{裁x→∃y(書yx)& ∃z(理zx)}。然るに、
② ∀x{∀z(~理zx)}。           従って、
➂ ~∃x(裁x)。


① ∀x{裁x→∃y(書yx)& ∃z(理zx)}。然るに、
② ∀x{∀y(~書yx)&∀z(~理zx)}。  従って、
➂ ~∃x(裁x)。


① ∀x{裁x→∃y(書yx)& ∃z(理zx)}。然るに、
② ∀x{~∃y(書yx)V~∃z(理zx)}。  従って、
➂ ~∃x(裁x)。


 という「記号」は、
① すべてのxについて{xが裁決であるならば、あるyは(xの書面)であって、
  かつ、あるzは(xの理由である)}。            然るに、
② いかなるxと{いかなるyであっても(yはxの書面ない)}。従って、
③(裁決であるx)は存在しない


① すべてのxについて{xが裁決であるならば、あるyは(xの書面)であって、
  かつ、あるzは(xの理由である)}。            然るに、
② いかなるxと{いかなるzであっても(zはxの理由ない)}。従って、
③(裁決であるx)は存在しない


① すべてのxについて{xが裁決であるならば、あるyは(xの書面)であって、
  かつ、あるzは(xの理由である)}。            然るに、
② いかなるxと{いかなるyであっても(yはxの書面ではない)し、いかなるzであっても(zはxの理由でない)}。従って、
③(裁決であるx)は存在しない


① すべてのxについて{xが裁決であるならば、あるyは(xの書面)であって、
  かつ、あるzは(xの理由である)}。              然るに、
② いかなるxも{xの書面であるyは存在しないか、または、xの理由であるyは存在しない}。 従って、
③(裁決であるx)は存在しない


 という「意味」である。
然るに、
(06)
「計算」は、
1  () ∀x{裁x→∃y(書yx)& ∃z(理zx)} A
1  (2)    裁a→∃y(書ya)& ∃z(理za)  1UE
 3 (3)      ~∃y(書ya)           A
 3 (4)      ~∃y(書ya)V~∃z(理za)  3VI
 3 (5)     ~{∃y(書ya)& ∃z(理za)} 4ド・モルガンの法則
13 (6)   ~裁a                   25MTT
1  (7)   ~∃y(書ya)→~裁a          36CP
  8()∀x{∀y(~書yx)}             A
  8(9)   ∀z(~書ya)              8UE
  8(ア)   ~∃y(書ya)              9量化子の関係
1 8(イ)            ~裁a          7アMPP
1 8(ウ)         ∀x(~裁x)         イUI
1 8()         ~∃x(裁x)         ウ量化子の関係


1  () ∀x{裁x→∃y(書yx)& ∃z(理zx)} A
1  (2)    裁a→∃y(書ya)& ∃z(理za)  1UE
 3 (3)               ~∃z(理za)  A
 3 (4)      ~∃z(理za)V~∃z(理za)  3VI
 3 (5)     ~{∃y(書ya)& ∃z(理za)} 4ド・モルガンの法則
13 (6)   ~裁a                   25MTT
1  (7)   ~∃z(理za)→~裁a          36CP
  8()∀x{∀z(~理zx)}             A
  8(9)   ∀z(~理za)              8UE
  8(ア)   ~∃z(理za)              9量化子の関係
1 8(イ)            ~裁a          7アMPP
1 8(ウ)         ∀x(~裁x)         イUI
1 8()         ~∃x(裁x)         ウ量化子の関係


1  () ∀x{裁x→∃y(書yx)& ∃z(理zx)} A
1  (2)    裁a→∃y(書ya)& ∃z(理za)  1UE
 3 (3)      ~∃y(書ya)&~∃z(理za)  A
 3 (4)      ~∃y(書ya)           3&E
 3 (5)      ~∃y(書ya)V~∃z(理za)  3VI
 3 (6)     ~{∃y(書ya)& ∃z(理za)} 5ド・モルガンの法則
13 (7)   ~裁a                   26MTT
1  (8)  ~∃y(書ya)&~∃z(理za)→~裁a  47CP
  9()  ∀x{∀y(~書yx)&∀z(~理zx)}  A
  9(ア)     ∀y(~書ya)&∀z(~理za)   9UE
  9(イ)     ∀y(~書ya)            ア&E
  9(ウ)     ~∃x(書ya)            イ量化子の関係
  9(エ)              ∀z(~理za)   ア&E
  9(オ)              ~∃z(理za)   エ量化子の関係
  9(カ)     ~∃y(書ya)&~∃z(理za)   ウオ&I
1 9(キ)                    ~裁a  8カMPP
1 9(ク)                 ∀x(~裁x) キUI
1 9()                 ~∃x(裁x) ク量化子の関係


1       () ∀x{裁x→∃y(書yx)& ∃z(理zx)}  A
1       (2)    裁a→∃y(書ya)& ∃z(理za)   1UE
 3      (3)      ~∃y(書ya)V~∃z(理za)   A
  4     (4)       ∃y(書ya)& ∃z(理za)   A
   5    (5)      ~∃y(書ya)            A
  4     (6)       ∃y(書ya)            4&E
  45    (7)      ~∃y(書ya)& ∃(書ya)    56&I
   5    (8)     ~{∃y(書ya)& ∃z(理za)}  47RAA
    9   (9)               ~∃z(理za)   A
  4     (ア)                ∃z(理za)   4&E
  4 9   (イ)       ~∃z(理za)&∃z(理za)   9ア&I
    9   (ウ)     ~{∃y(書ya)& ∃z(理za)}  4イRAA
    3    (エ)     ~{∃y(書ya)& ∃z(理za)}  3589ウVE
1  3    (オ)   ~裁a                    2エMTT
1       (カ)   ~∃y(書ya)V~∃z(理za)→~裁a  3オCP
     キ  ()∀x{~∃y(書yx)V~∃z(理zx)}     A
     キ  (ク)   ~∃y(書ya)V~∃z(理za)      キUE
1    キ  (ケ)                     ~裁a  カクMPP
      コ (コ)                   ∃x(裁x) A
       サ(サ)                      裁a  A
1    キ サ(シ)                  ~裁a&裁a  ケサ&I
1    キコ (ス)                  ~裁a&裁a  コサシEE
1    キ  ()                  ~∃x(裁x) ス量化子の関係


従って、
(04)(05)(06)により、
(07)
① ∀x{裁x→∃y(書yx)& ∃z(理zx)}。然るに、
② ∀x{∀y(~書yx)}。           従って、
➂ ~∃x(裁x)。


① ∀x{裁x→∃y(書yx)& ∃z(理zx)}。然るに、
② ∀x{∀z(~理zx)}。           従って、
➂ ~∃x(裁x)。


① ∀x{裁x→∃y(書yx)& ∃z(理zx)}。然るに、
② ∀x{∀y(~書yx)&∀z(~理zx)}。  従って、
➂ ~∃x(裁x)。


① ∀x{裁x→∃y(書yx)& ∃z(理zx)}。然るに、
② ∀x{~∃y(書yx)V~∃z(理zx)}。  従って、
➂ ~∃x(裁x)。


 という「三段論法」である所の、
➀ 裁決は、書面で行い、かつ、理由が無ければならない。然るに、
② 裁決には、書面無い。              従って、
③ 裁決は無効である。


➀ 裁決は、書面で行い、かつ、理由が無ければならない。然るに、
② 裁決には、理由無い。              従って、
③ 裁決は無効である。


➀ 裁決は、書面で行い、かつ、理由が無ければならない。然るに、
② 裁決には、書面も、理由無い。          従って、
③ 裁決は無効である。


➀ 裁決は、書面で行い、かつ、理由が無ければならない。然るに、
② 裁決には、書面か、又は、理由無い。       従って、
③ 裁決は無効である。


 という「三段論法」が、「論理的に妥当(logically valid)」であることを示すのは、
大して難しい問題ではない(It is not too difficult a matter to show that )。
従って、
(07)により、
(08)
➀ 裁決は、書面で行い、かつ、理由が無ければならない。然るに、
② 裁決には、書面無い。              従って、
③ 裁決は無効である。


➀ 裁決は、書面で行い、かつ、理由が無ければならない。然るに、
② 裁決には、理由無い。              従って、
③ 裁決は無効である。


➀ 裁決は、書面で行い、かつ、理由が無ければならない。然るに、
② 裁決には、書面も、理由無い。          従って、
③ 裁決は無効である。


➀ 裁決は、書面で行い、かつ、理由が無ければならない。然るに、
② 裁決には、書面か、又は、理無い。       従って、
③ 裁決は無効である。


 において、唯一
➀ 裁決は、書面で行い、かつ、理由が無ければならない。然るに、
② 裁決には、書面も、理由も無い。          従って、
③ 裁決は無効である。 という「三段論法」だけが、「妥当(Invalid)」ということは、「有り得ない」。
従って、
(08)により、
(09)
➀ 裁決は、書面で行い、かつ、理由が無ければならない。然るに、
② 裁決には、書面無い。              従って、
③ 裁決は無効である。


 という「三段論法」は、「(論理的に正しい」が、
➀ 裁決は、書面で行い、かつ、理由が無ければならない。然るに、
② 裁決には、理由無い。              従って、
③ 裁決は無効である。


 という「三段論法」は、「(論理的に間違い」である。
 ということは、「有り得ない」。
然るに、
(10)
論理学について。
法学部生や法曹を目指す人にとって、
論理学はとった方がいい科目ですか??
授業内容見ても、わからないもんで(^^;)
東大法卒のおっさん(の回答)です。
法曹をめざすのに論理学まったく必要ありません
論理学的に厳密に法律を解釈しようとしても、破綻するだけです。
法律にはそういう解釈の幅をもたせてあります(ヤフー!知恵袋)。
従って、
(01)~(06)(09)(10)により、
(11)
すべての導出可能な連式が「論理的妥当」であること、それ故に「述語計算は無矛盾である」ことを示すのは、大して難しい問題ではない
とは言うものの、
論理学的に厳密に法律を解釈しようとしても、破綻するだけです。」
という「理由」により、
➀ 裁決は、書面で行い、かつ、理由が無ければならない。然るに、
② 裁決には、書面無い。              従って、
③ 裁決は無効である。
という「三段論法」は、「(論理的に)正しい」が、 

➀ 裁決は、書面で行い、かつ、理由が無ければならない。然るに、
② 裁決には、理由無い。              従って、
③ 裁決は無効である。
という「三段論法」は、「(論理的に)間違い」である。
ということは、「有り得ない」。
という「主張」は、法律家」には、「通じない」()。
従って、
(12)
3 本件裁決書に記載された理由に関する原告の主張について
機構法施行規則50条1項が裁決について理由を付さなければならないとしている趣旨は、審査に当たる裁決庁の判断の慎重と公正妥当とを担保してその恣意を抑制するとともに、裁決の理由を審査の申立てをした者に知らせることによって、裁決の対象となった原処分又は裁決に対する不服申立てに便宜を与えることを目的としているものと解され、裁決に付された理由に誤りがあった場合に、当該裁決の対象とされた原処分について、請求されたとおりの処分をすることが義務付けられるという法的効果を認めるべき旨を定めた規定は関係法令上見当たらない。また、被告のした本件不支給決定に対する不服申立て手続において裁決庁である厚生労働大臣がした裁決に付された理由に誤りがあるという手続的な瑕疵が、本件不支給決定の違法事由となると解釈すべき法的根拠もおよそ見出し難い(第1審判決、11頁)。

 という「判決」を書いた「東京地裁の裁判官(3人による合議制)」は、
1       () ∀x{裁x→∃y(書yx)& ∃z(理zx)}  A
1       (2)    裁a→∃y(書ya)& ∃z(理za)   1UE
 3      (3)      ~∃y(書ya)V~∃z(理za)   A
  4     (4)       ∃y(書ya)& ∃z(理za)   A
   5    (5)      ~∃y(書ya)            A
  4     (6)       ∃y(書ya)            4&E
  45    (7)      ~∃y(書ya)& ∃(書ya)    56&I
   5    (8)     ~{∃y(書ya)& ∃z(理za)}  47RAA
    9   (9)               ~∃z(理za)   A
  4     (ア)                ∃z(理za)   4&E
  4 9   (イ)       ~∃z(理za)&∃z(理za)   9ア&I
    9   (ウ)     ~{∃y(書ya)& ∃z(理za)}  4イRAA
     3    (エ)     ~{∃y(書ya)& ∃z(理za)}  3589ウVE
1  3    (オ)   ~裁a                    2エMTT
1       (カ)   ~∃y(書ya)V~∃z(理za)→~裁a  3オCP
     キ  ()∀x{~∃y(書yx)V~∃z(理zx)}     A
     キ  (ク)   ~∃y(書ya)V~∃z(理za)      キUE
1    キ  (ケ)                     ~裁a  カクMPP
      コ (コ)                   ∃x(裁x) A
       サ(サ)                      裁a  A
1    キ サ(シ)                  ~裁a&裁a  ケサ&I
1    キコ (ス)                  ~裁a&裁a  コサシEE
1    キ  ()                  ~∃x(裁x) ス量化子の関係

 という「理屈論理)」を知らない

(1358)第一審、完全敗訴😭😵😤!!(行政訴訟、反撃開始!!!、控訴理由書)。

2025-03-04 07:00:06 | 医療過誤
―「規則50条1項」について。―

 

立行政法人医薬品医療機器総合機構法施行規則(平成十六年厚生労働省令第五十一号)

第五十条 裁決は、書面で行い、かつ、理由を付さなければならない

 

然るに、

 


(1357)法的三段論法とPmda規則50条(法律家は論理が分からない!!)。

2025-02-06 13:18:28 | 論理

(01)
三段論法の解説 - 小学館 デジタル大辞泉
さんだん‐ろんぽう〔‐ロンパフ〕【三段論法
論理学で、大前提・小前提および結論からなる間接推理による推論式。例えば、
「人間は死ぬ」(大前提)、「ソクラテスは人間である」(小前提)、故に「ソクラテスは死ぬ」(結論)の類。
goo辞書)
従って、
(01)により、
(02)
人=人間である(述語)。
s=ソクラテス(主語)。
死=いつか死ぬ(述語)。
であるとして、
1 (1)∀x(人x→死x) A
1 (2)   人s→死s  1UE
 3(3)   人s     A
13(4)      死s  23MPP
という「述語計算」は、「三段論法」である。
従って、
(02)により、
(03)
人=人間である。
s=ソクラテス。
死=いつか死ぬ。
であるとして、
1 (1)∀x(人x→死x) A
1 (2)   人s→死s  1UE
 3(3)     ~死s  A
13(4)  ~人s     23MPP
1 (5) ~死s→~人s  34CP
という「述語計算(1)~(4)」も、「三段論法」である。
従って、
(03)により、
(04)
裁=裁決である。
書=書面である。
理=理由である。
であるとして、
1  (1) ∀x{裁x→∃y(書yx)& ∃z(理zx)} A
1  (2)    裁a→∃y(書ya)& ∃z(理za)  1UE
 3 (3)               ~∃z(理za)  A
 3 (4)      ~∃y(書ya)V~∃z(理za)  3VI
 3 (5)     ~{∃y(書ya)& ∃z(理za)} 4ド・モルガンの法則
13 (6)   ~裁a                   25MTT
1  (7)   ~∃z(理za)→~裁a          36CP
  8(8)∀x{∀z(~理zx)}             A
  8(9)   ∀z(~理za)              8UE
  8(ア)   ~∃z(理za)              9量化子の関係
1 8(イ)            ~裁a          7アMPP
1  (ウ)   ∀z(~理za)→~裁a          9イCP
1  (エ)∀x{∀z(~理zx)→~裁x}         ウUI
という「述語計算(1)~(イ)」も、「三段論法」である。
従って、
(04)により、
(05)
裁=裁決である。
書=書面である。
理=理由である。
であるとして、
① ∀x{裁x→∃y(書yx)&∃z(理zx)}。
② ∀x{∀z(~理zx)→~裁x}。
において、
① ならば、② である。
という「仮言命題」は、「論理学」として、「正しい」。
従って、
(06)
裁=裁決である。
書=書面である。
理=理由である。
であるとして、
① すべてのxについて{xが裁決であるならば、あるyは(xの書面)であって、かつ、あるzは(xの理由である)}。
② いかなるxと{いかなるzであっても(zがxの理由でない)ならば、xは、裁決ではない}。
において、
① ならば、② である。
という「仮言命題」は、「論理学」として、「正しい」。
従って、
(06)により、
(07)
裁決は、書面で行い、かつ、理由を付さなければならない
裁決に、理由無ければ、裁決無効である。
において、
① ならば、② である。
という「仮言命題」は、「論理学」として、「正しい」。
従って、
(07)により、
(08)
裁決は、書面で行い、かつ、理由を付さなければならない。然るに、
裁決には、理由無い。従って、
裁決無効である。
という「三段論法」は、「論理学」として、「正しい」。
然るに、
(09)
独立行政法人医薬品医療機器総合機構法施行規則(平成十六年厚生労働省令第五十一号)
第五十条 裁決は、書面で行い、かつ、理由を付さなければならない
従って、
(08)(09)により、
(10)
裁決は、書面で行い、かつ、理由を付さなければならない。然るに、
裁決には、理由無い。従って、
裁決無効である。
という「法的三段論法」は、「論理学」として、「正しい」。
然るに、
(11)
裁決は、書面で行い、かつ、理由を付さなければならない
裁決に、理由無ければ、裁決無効である。
において、
① ならば、② である。
という「仮言命題」は、固より、「日本語の文法)」として、「正しい」。
然るに、
(12)
(1) 文理解釈
法規の文字・文章の意味をその言葉の使用法や文法の規則に従って確定することによってなされる解釈です。
すべての法解釈の出発点であり、最も説得力ある権威的論拠とされています(有斐閣、法律学入門〔第3版〕、183頁)。
従って、
(10)(11)(12)により、
(13)
裁決は、書面で行い、かつ、理由を付さなければならない。然るに、
裁決には、理由無い。従って、
裁決は無効である。
という「法的三段論法」は、「論理学」及び、「すべての法解釈の出発点」として、「正しい」。
従って、
(07)~(13)により、
(14)
裁決(棄却)は、書面で行い、かつ、(棄却の)理由を付さなければならない
裁決(棄却)に、理由無ければ、裁決(棄却)は無効である。
において、
① ならば、② である。
という「命題」は、「論理学」及び、「最も説得力ある権威的論拠」として「正しい」。
然るに、
(15)
③「厚生労働大臣」は、「職務」として、「裁決無効である」ということを望まない
従って、
(14)(15)により、
(16)
③「厚生労働大臣」は「裁決が無効である」ということを、望まず、尚且つ、
②(厚生労働大臣が示す所の、正しい理由無い)ならば、裁決は、無効である。
ということからすると、少なくとも、「論理的(Logical)」には、「必然的」に、
裁決有効であることの「証明責任」は、「厚生労働大臣」に有る
という、ことになるが、その一方で、
(17)
3 争点
本件の争点は本件不支給決定の違法性であるが、この点につき、原告は、➀原告父の腸梗塞は非閉塞性腸管虚血(non-occlusivemesentericischemia)(以下「NOMI」という。)によるものであり、NOMIは重度の貧血状態にあった原告父が急性腎不全を発症したことによるものであり、原告父の急性腎不全はフェブリク錠の副作用によるものである旨を主張するとともに、②独立行政法人医薬品医療機器総合機構法施行規則(以下「機構法施行規則」という。)50条1項は、副作用救済給付に係る審査の申立てについての裁決は、理由を付さなければならない旨規定しているところ、同条にいう理由正しいものでなければならないが、本件裁決書に記載された理由には種々の誤りがあるから、原告が被告に対してした本件各請求は認められるべきであるなどと主張するものと解される。
第3 当裁判所の判断
1 判断枠組みについて
前記第2の1(1)に照らせば、副作用救済給付の制度は、有効かつ安全な医薬品を適切に社会に供給すべき許可医薬品製造販売業者等の社会的責任を踏まえ、許可医薬品製造販売業者等の拠出金によって医薬品の副作用による健康被害に対する教済給付を行うことにより、その迅速な救済を図ることを目的として設けられた制度であると解される。そして、機構法16条1項は、副作用救済給付は、同項各号所定の要件のもと、副作用救済給付を受けようとする者の請求に基づき、被告が支給を決定する旨を規定しているところ、上記制度趣旨並びに同項の文言及び構造にも照らせば、被告による副作用救済給付を支給する旨の決定は授益的処分としての性質を有するものというべきであり、そうすると、「許可医薬品等の副作用により死亡したこと」は副作用救済給付の支給請求権の権利発生要件に係る事実であるから、かかる事の立証責任は、副作用救済給付を請求する者が負うと解するのが相当である。
然るに、
(18)
論理学について、
法学部生や法曹を目指す人にとって、
論理学はとった方がいい科目ですか??
授業内容見ても、わからないもんで(^^;)
東大法卒のおっさん(の回答)です。
法曹をめざすのに論理学はまったく必要ありません。
論理学的に厳密に法律を解釈しようとしても、破綻するだけです。
法律にはそういう解釈の幅をもたせてあります(ヤフー!知恵袋)。
法律家、つまり弁護士とか裁判官とか検事などは、
自分たちが論理を得意とすると思っているようです。
でも、他分野の学問にそれなりに触れた人にとっては、
法律家が論理を理解しているようには思えないと思います。むしろ、
法律学というのは極めて非論理的なものという印象を抱くのではないでしょうか。
(横浜の弁護士のブログ、法律家の言う「論理」)。
従って、
(16)(17)(18)により、
(19)
論理学はとった方がいい科目ですか??
法曹をめざすのに論理学はまったく必要ありません
論理学的に厳密に法律を解釈しようとしても、破綻するだけです。
という「理由」により、恐らく、「(多くの)法律家」は、
裁決有効であることの「証明責任」は、「厚生労働大臣」に有る
という『結論(論理的な帰結)』を「認めない」に、「違いない」。
(20)
「この記事」を読んで下さった方たちは、「どのように思われただろうか」。
(21)
例えば、
①「コロナワクチンの副作用で死亡した」   ことの「証明」は、「遺族」    が負うべきである。
②「コロナワクチンの副作用で死亡しなかった」ことの「証明」は、「厚生労働大臣」が負うべきである。
において、
① と ② では、「全然、意味合い」が「異なる」ものの、
① 裁決(棄却の裁決)は、書面で行い、かつ、理由を付さなければならない。然るに、
② 裁決(棄却の裁決)には、理由が無い。従って、
③ 裁決(棄却の裁決)は無効である。
という「法的三段論法」は、「論理学」として、「正しい」。
ということからすれば、多くの場合、
②「コロナワクチンの副作用で死亡しなかった」ことの「証明」は、「厚生労働大臣」が負うべきである。
という「事態」が、「想定」されます。
従って、
(22)
「厚生労働省」が、
① 裁決は、書面で行い、かつ、理由を付さなければならない。然るに、
② 裁決には、理由が無い。従って、
③ 裁決は無効である。
という「法的三段論法」を、「肯定」することは、有り得ないわけですが、
1  (1) ∀x{裁x→∃y(書yx)& ∃z(理zx)} A
1  (2)    裁a→∃y(書ya)& ∃z(理za)  1UE
 3 (3)               ~∃z(理za)  A
 3 (4)      ~∃y(書ya)V~∃z(理za)  3VI
 3 (5)     ~{∃y(書ya)& ∃z(理za)} 4ド・モルガンの法則
13 (6)   ~裁a                   25MTT
1  (7)   ~∃z(理za)→~裁a          36CP
  8(8)∀x{∀z(~理zx)}             A
  8(9)   ∀z(~理za)              8UE
  8(ア)   ~∃z(理za)              9量化子の関係
1 8(イ)            ~裁a          7アMPP
1  (ウ)   ∀z(~理za)→~裁a          9イCP
1  (エ)∀x{∀z(~理zx)→~裁x}         ウUI
という「述語計算(三段論法)」が「妥当」である以上、
① 裁決は、書面で行い、かつ、理由を付さなければならない。然るに、
② 裁決には、理由が無い。従って、
③ 裁決は無効である。
という「法的三段論法」が「妥当」であることは、「否定の仕様」が有りません!!


(1356)「日本の(は)首都は東京である」の「述語論理」。

2025-02-02 04:25:29 | 象は鼻が長い、述語論理。

(01)
1   (1) ∀x{日本x&首都x→ 東京x) A
 2  (2)    ∃x(首都x& ~東京x) A
1   (3)    日本a&首都a→ 東京a  1UE
  4 (4)       首都a&~ 東京a  A
   5(5)    日本a           A
  4 (6)       首都a        4&E
  45(7)    日本a&首都a       56&I
1 45(8)             東京a  37MPP
  4 (9)            ~東京a  4&E
1 45(ア)        東京a&~東京a  89&I
1 4 (イ)   ~日本a           5アRAA
1 4 (ウ)   ~日本a&首都a       6イ&I
1 4 (エ)   ~日本a&首都a&~東京a  9ウ&I
1 4 (オ)∃x(~日本x&首都x&~東京x) エEI
12  (カ)∃x(~日本x&首都x&~東京x) 24オEE
従って、
(01)により、
(02)
(ⅰ)∀x{日本x&首都x→ 東京x)。 然るに、
(ⅱ)∃x(首都x&~東京x)。     従って、
(ⅲ)∃x(~日本x&首都x&~東京x)。
といふ『推論』、すなはち、
(ⅰ)すべてのxについて(xが日本であって、xが首都であるならば、xは東京である)。然るに、
(ⅱ)あるxは(首都であるが、東京でない)。従って、
(ⅲ)あるxは(日本ではないが、首都であり、東京ではない)。
といふ『推論』、すなはち、
(ⅰ)日本首都は東京である。然るに、
(ⅱ)ある首都は東京ではない。従って、
(ⅲ)日本以外の首都であって、東京ではない首都が存在する。
といふ『推論』は、「妥当」である。
然るに、
(03)
1   (1)∀x{日本x→(首都x→ 東京x)} A
 2  (2)     ∃x(首都x&~東京x)  A
1   (3)   日本a→(首都a→ 東京a)  1UE
  4 (4)        首都a&~東京a   A
   5(5)   日本a             A
1  5(6)        首都a→ 東京a   35MPP
  4 (7)        首都a        5&E
1 45(8)             東京a   67MPP
  4 (9)            ~東京a   4&E
1 45(ア)        東京a&~東京a   89&I
1 4 (イ)  ~日本a             59RAA
1 4 (ウ)   ~日本a&首都a&~東京a   4イ&I
1 4 (エ)∃x(~日本x&首都x&~東京x)  ウEI
12  (オ)∃x(~日本x&首都x&~東京x)  24エEE
従って、
(03)により、
(04)
(ⅰ)∀x{日本x→(首都x→ 東京x)}。然るに、
(ⅱ)∃x(首都x&~東京x)。      従って、
(ⅲ)∃x(~日本x&首都x&~東京x)。
といふ『推論』、すなはち、
(ⅰ)すべてのxについて{xが日本であるならば(xが首都であるならば、xは東京である)}。然るに、
(ⅱ)あるxは(首都であるが、東京でない)。従って、
(ⅲ)あるxは(日本ではないが、首都であり、東京ではない)。
といふ『推論』、すなはち、
(ⅰ)日本、首都は東京である。然るに、
(ⅱ)ある首都は東京ではない。 従って、
(ⅲ)日本以外の首都であって、東京ではない首都が存在する。
といふ『推論』は、「妥当」である。
然るに、
(05)
(ⅰ)
1  (1) ∀x{日本x&首都x→東京x)  A
1  (2)    日本a&首都a→東京a   1UE
 3 (3)    日本a           A
  4(4)        首都a       A
 34(5)    日本a&首都a       34&I
134(6)            東京a   25MPP
12 (7)        首都a→東京a   46CP
1  (8)   日本a→(首都a→東京a)  27CP
1  (9)∀x{日本x→(首都x→東京x)} 8UI
(ⅱ)
1  (1)∀x{日本x→(首都x→東京x)} A
1  (2)   日本a→(首都a→東京a)  1UE
 3 (3)   日本a& 首都a       A
 3 (4)   日本a            3&E
13 (5)        首都a→東京a   24MPP
 3 (6)        首都a       3&E
13 (7)            東京a   56MPP
1  (8)    日本a&首都a→東京a   37CP
1  (9) ∀x(日本x&首都x→東京x)  8UI
従って、
(05)により、
(06)
① ∀x(日本x& 首都x→東京x)
② ∀x{日本x→(首都x→東京x)}
といふ「述語論理」に於いて、
①=② である(移出入律)。
従って、
(01)~(06)により、
(07)
① 日本、首都は東京である。
② 日本、東京は首都である。
といふ「日本語」に於いて、
①=② である(移出入律)。
(08)
(ⅰ)xが日本であって、尚且つ、
(ⅱ)xが首都であるならば、
(ⅲ)xは、日本の首都である。
従って、
(09)
(ⅳ)xが、日本の首都であるならば、
(ⅴ)xは、東京であるならば、
(ⅵ)xは、日本の首都であって、xは東京である。
然るに、
(10)
(ⅵ)xは、日本の首都であって、xが東京であるならば、
(ⅶ)日本の首都(x)は東京(x)である。
従って、
(03)(07)(08)(09)により、
(10)
① ∀x{日本x&首都x→東京x)。
② xは、日本の首都であって、xは東京である。
③ 日本首都(x)は東京(x)である。
において、
①=②=③ である。


(1355)「日本は、首都は東京である」の「述語論理」と「2つの主語」。

2025-01-31 12:29:35 | 象は鼻は長い、論理学

(01)
1     (1)∀x{日本x→∃y(東京y&首都yx&∀z(首都zx→y=z)} A
1     (2)   日本a→∃y(東京y&首都ya&∀z(首都za→y=z)  1UE
 3    (3)   日本a                           A
13    (4)       ∃y(東京y&首都ya&∀z(首都za→y=z)  23MPP
  5   (5)          東京b&首都ba&∀z(首都za→b=z)  A
  5   (6)          東京b                    5&E
  5   (6)                   ∀z(首都za→b=z)  5&E
  5   (7)                      首都ca→b=c   6UE
   8  (8)∃z(大阪z&~東京z)                     A
    9 (9)   大阪c&~東京c                      A
    9 (ア)   大阪c                           9&E
    9 (イ)       ~東京c                      9&E
     ウ(ウ)          b=c                    A
    9ウ(エ)       ~東京b                      イウ=E
  5 9ウ(オ)       ~東京b&東京b                  6エ&I
  5 9 (カ)          b≠c                    ウオRAA
  5 9 (キ)                     ~首都ca       7カMTT
  5 9 (ク)                 大阪c&~首都ca       アキ&I
  58  (ケ)                 大阪c&~首都ca       89クEE
13 8  (コ)                 大阪c&~首都ca       45ケEE
13 8  (サ)              ∃z(大阪z&~首都za)      コEI
1  8  (シ)          日本a→∃z(大阪z&~首都za)      3サCP
1  8  (ス)       ∀x{日本x→∃z(大阪z&~首都zx)}     シUI
従って、
(01)により、
(02)
(ⅰ)∀x{日本x→∃y(東京y&首都yx&∀z(首都zx→y=z)}。然るに、
(ⅱ)∃z(大阪z&~東京z)。従って、
(ⅲ)∀x{日本x→∃z(大阪z&~首都zx)}。
といふ『推論』、すなはち、
(ⅰ)すべてのxについて{xが日本であるならば、あるyは(東京であって、yはxの首都であって、すべてのzについて(zがxの首都であるならば、yはzである)}。然るに、
(ⅱ)あるzは(大阪であって、東京ではない)。従って、
(ⅲ)すべてのxについて{xが日本であるならば、あるzは(大阪であって、xの首都ではない)}。
といふ『推論』、すなはち、
(ⅰ)日本は、東京首都である。然るに、
(ⅱ)大阪は、東京ではない。  従って、
(ⅲ)日本は、大阪は首都ではない。
といふ『推論』は、「妥当」である。
(03)
1   (1)∀x{日本x→(首都x→ 東京x)} A
 2  (2)     ∃x(首都x&~東京x)  A
1   (3)   日本a→(首都a→ 東京a)  1UE
  4 (4)        首都a&~東京a   A
   5(5)   日本a             A
1  5(6)        首都a→ 東京a   35MPP
  4 (7)        首都a        5&E
1 45(8)             東京a   67MPP
  4 (9)            ~東京a   4&E
1 45(ア)        東京a&~東京a   89&I
1 4 (イ)  ~日本a             59RAA
1 4 (ウ)   ~日本a&首都a&~東京a   4イ&I
1 4 (エ)∃x(~日本x&首都x&~東京x)  ウEI
12  (オ)∃x(~日本x&首都x&~東京x)  24エEE
従って、
(03)により、
(04)
(ⅰ)∀x{日本x→(首都x→ 東京x)}。然るに、
(ⅱ)∃x(首都x&~東京x)。      従って、
(ⅲ)∃x(~日本x&首都x&~東京x)。
といふ『推論』、すなはち、
(ⅰ)すべてのxについて{xが日本であるならば(xが首都であるならば、xは東京である)}。然るに、
(ⅱ)あるxは(首都であるが、東京でない)。                                      従って、
(ⅲ)あるxは(日本ではないが、首都であり、東京ではない)。
といふ『推論』、すなはち、
(ⅰ)日本は、首都は東京である。然るに、
(ⅱ)ある首都は東京ではない。 従って、
(ⅲ)日本以外の首都であって、東京ではない首都が存在する。
といふ『推論』は、「妥当」である。
従って、
(04)により、
(05)
① ∀x{日本x→(首都x→東京)}。
② 日本は{首都は(東京である)}。
に於いて、
①=② である。
従って、
(05)により、
(06)
① 日本は、首都は、東京である。
② 日本は{首都は(東京である)}。
に於いて、
①=② である。
従って、
(06)
(07)
② 日本は{首都は(東京である)}。
といふ「管到(スコープ)」からすると、
① 日本は、首都は、東京である。
に於いて、
① 日本は(首都は、東京である)の「主語」であって、
①      首都は(東京である)の「主語」である。
従って、
(05)(06)(07)により、
(08)
① 日本は、首都は、東京である。
といふ「日本語」には、「2つの主語」がある。


(1354)第一審、完全敗訴😭😵😤!!?。

2025-01-29 07:43:09 | 医療過誤

(01)
(05)~(17)の内容に関しては、「令和7年1月28日昨日の記事」と「ほぼ同じ」になります。
(02)
「(Pmdaを被告とした)第一審」に「完全敗訴?!」したため、「控訴状」の提出に続いて、「控訴理由書」を50日以内に
書く必要が有るのですが、「控訴理由書に書くべき内容」の「一部」を、「ブログ」に書くことにします。
然るに、
(03)

「第一審の(論理的な)判決」を得るまでは、「裁判に敗訴」することは、「原告の論理性」が「被告の論理性」よりも
「劣っている事」を示している。という風に、思っていたため、「敗訴は、ある種の屈辱」であると思っていました。

しかしながら、
(04)

裁判の信頼は、裁判官を秘密のベールに包むことで消極的に得るのものではなく、事後の検証が可能な科学的・合理的な判決を示す ことで、その内容の説得力によって勝ち取るものである。それが近代国家である。ところが最高裁判事の「王様」化はこれに完全に 逆行している。判断の省略により内容を事後的に検証できないうえ、検証できる部分も科学的・合理的ではない認定がされているの だから。そこで、国民の側の、裁判所を消極的に信頼するのだけではなく、司法に関心をもち、最高裁判決を検証するなどして積極 的に信頼することが必要である。それは最高裁判事の「王様」化の抑止にもつながる。そういう観点から、私はAIによる判決評価サービスの誕生に期待している(岡口基一、最高裁に告ぐ、190頁)

ということからすると、「(AIではなく、)王様による判決」というのは、「国家権力による、単なる思い込み」 に過ぎない。
という「言い方」も、「可能」です。
然るに、
(05)
1      (1)  P→( Q& R) A
 2     (2)    ~QV~R  A
  3    (3)     Q& R  A
   4   (4)    ~Q     A
  3    (5)     Q     3&E
  34   (6)    ~Q&Q   45&I
   4   (7)   ~(Q& R) 36RAA
    8  (8)       ~R  A
  3    (9)        R  3&E
  3 8  (ア)     ~R&R  89&I
    8  (イ)   ~(Q& R) 3アRAA
 2     (ウ)   ~(Q& R) 2478イVE
12     (エ)~P         1ウMTT
1      (オ)(~QV~R)→~P 2エCP
     カ (カ) ~Q        A
     カ (キ)(~QV~R)    カVI
1    カ (ク)        ~P オキMPP
1      (ケ)(~Q→~P)     カクCP
      コ(コ) ~R        A
      コ(サ)(~QV~R)    コVI
1     コ(シ)        ~P オサMPP
1      (ス)(~R→~P )    コシCP
という「推論」は、「妥当」である。
従って、
(05)により、
(06)
① P→(Q&R)├(~Q→~P)
② P→(Q&R)├(~R→~P)
という「連式(Sequents)」は、「妥当」である。
従って、
(06)により、
(07)
① P→(Q&R)
②  ~Q→~P
➂  ~R→~P
という「対偶(Contrapositions)」において、
① が「」であるならば、
② は「」であり、
➂ も「」である。
従って、
(07)により、
(08)
P=裁決をする。Q=書面で行う。R=理由を付す。
という「代入例(Substitute Instance)」により、
① 裁決は(書面で行い、かつ、理由を付さなければならない)。
②(書面無い)ならば、裁決無効である。
➂(理由無い)ならば、裁決無効である。
という「対偶」において、
① が「」であるならば、
② は「」であり、
➂ も「」である。
然るに、
(09)
平成十六年厚生労働省令第五十一号
独立行政法人医薬品医療機器総合機構法施行規則
第五十条 裁決は、書面で行い、かつ、理由を付さなければならない
従って、
(08)(09)により、
(10)
① 厚生労働大臣による裁決は(書面で行い、かつ、理由を付さなければならない)。
②(厚生労働大臣が示す所の、書面無い)ならば、裁決は、無効である。
➂(厚生労働大臣が示す所の、理由無い)ならば、裁決は、無効である。
という「対偶」において、
① が「」であるため、
② は「」であり、
➂ も「」である。
然るに、
(11)
➂「厚生労働大臣」は「裁決無効である」ということを、望まない
従って、
(10)(11)により、
(12)
➂「厚生労働大臣」は「裁決無効である」ということを、望まず、尚且つ、
➂(厚生労働大臣が示す所の、理由無い)ならば、裁決は、無効である。
ということからすると、少なくとも、「論理的(Logical)」には、
裁決有効であることの「証明責任」は、厚生労働大臣に有る。
ということに、ならざるを得ない問題提起1)。
然るに、
(13)
3 本件裁決書に記載された理由に関する原告の主張について
機構法施行規則50条1項が裁決について理由を付さなければならないとしている趣旨は、審査に当たる裁決庁の判断の慎重と公正妥当とを担保してその恣意を抑制するとともに、裁決理由を審査の申立てをした者に知らせることによって、裁決の対象となった原処分又は裁決に対する不服申立てに便宜を与えることを目的としているものと解され、裁決に付された理由に誤りがあった場合に、当該裁決の対象とされた原処分について、請求されたとおりの処分をすることが義務付けられるという法的効果を認めるべき旨を定めた規定は関係法令上見当たらない。また、被告のした本件不支給決定に対する不服申立て手続において裁決庁である厚生労働大臣がした裁決に付された理由に誤りがあるという手続的な瑕疵が、本件不支給決定の違法事由となると解釈すべき法的根拠もおよそ見出し難い(第一審判決、11頁)。
従って、
(13)により、
(14)
要するに、「地方裁判所の判断」としては、
(a)「支給の合理性」の「証明責任」は、「被告行政庁()」には無い
という風にしか、「読めない」。
然るに、
(15)
一 原子炉施設の安全性に関する被告行政庁の判断の適否が争われる原子炉設置許可処分の取消訴訟における裁判所の審理、判断は、原子力委員会若しくは原子炉安全専門審査会の専門技術的な調査審議及び判断を基にしてされた被告行政庁の判断に不合理な点があるか否かという観点から行われるべきであつて、現在の科学技術水準に照らし、右調査審議において用いられた具体的審査基準に不合理な点があり、あるいは当該原子炉施設が右の具体的審査基準に適合するとした原子力委員会若しくは原子炉安全専門審査会の調査審議及び判断の過程に看過し難い過誤、欠落があり、被告行政庁の判断がこれに依拠してされたと認められる場合には、被告行政庁の右判断に不合理な点があるものとして、右判断に基づく原子炉設置許可処分は違法と解すべきである。
二 原子炉施設の安全性に関する被告行政庁の判断の適否が争われる原子炉設置許可処分の取消訴訟においては、右判断に不合理な点があることの主張、立証責任は、本来、原告が負うべきものであるが、被告行政庁の側において、まず、原子力委員会若しくは原子炉安全専門審査会の調査審議において用いられた具体的審査基準並びに調査審議及び判断の過程等、被告行政庁の判断に不合理な点のないことを相当の根拠、資料に基づき主張、立証する必要があり、被告行政庁が右主張、立証を尽くさない場合には、被告行政庁がした右判断に不合理な点があることが事実上推認される。(平成4年10月29日、最高裁判所第一小法廷)
従って、
(15)により、
(16)
要するに、「最高裁判所の判断」としては、
(b)「原子炉の安全性」の「証明責任」は、まず「被告行政庁()」に有る
という風にしか、「読めない」。
従って、
(14)(16)により、
(17)

(a)「支給の合理性」の「証明責任」は、  「被告行政庁()」には無い
(b)「原子炉の安全性」の「証明責任」は、まず「被告行政庁()」に 有る

ということになるが、このことは、『矛盾』であるに、違いない問題提起2)。
然るに、
(18)
原告は、原告父はフェブリク錠が禁忌であったとも主張するところ、確かに、証拠(甲26、乙5・8頁)によれば、平成24年7月3日及び同月4日、原告父がフェブリク錠を服用した3~4時間後に、右眼上眼瞼腫脹・眼脂が出現したことが認められるものの、こうした症状と腎機能の障害との関係は証拠上明らかでなく、入院以前に原告父がフェブリク錠を服用したことにより腎機能に障害が生じたことを認めるに足りる証拠もない(第一審判決、9頁)。 然るに、
(19)

Px.)リハビリ開始とする。2013/2/7 ザイ
ロリック・フェブリクで、肝障害とのアラート
あるが、1/11 L/D checks し経過を見てみる。
という風に、「カルテ(甲##)」には、
フェブリクは、肝障害禁忌であった。
という「記載」があるが、言うまでもなく、
    肝障害は、右眼上眼瞼腫脹ではない
問題提起3
然るに、
(20)
鈴木医師による、
という「回答(令和2年7月17日)」が、「正真」であるということは、
という「ご連絡」によって、「確認」出来る。
従って、
(20)により、
(21)
(ⅰ)「鈴木医師(入院時、主治医)」は、
(ⅱ)「引用された論文」によって、
(ⅲ)「2019/1/18から2019/1/25の血清クレアチニンの上昇経過」を、
(ⅳ)「急性腎不全」であると見做しても、必ずしも、
(ⅴ)「(明らかな)間違いである」とは、「言えない」。
という風に、述べている。
然るに、
(22)
従って、
(21)(22)により、
(23)
(ⅰ)「鈴木医師(入院時、主治医)」は、
(ⅱ)「引用された論文」によって、
(ⅲ)「2019/1/18から2019/1/25の血清クレアチニンの上昇経過」を、
(ⅳ)「急性腎不全」であると見做しても、必ずしも、
(ⅴ)「(明らかな)間違いである」とは、「言えない」。
という風に、述べているが、
(ⅵ)「フェブリク添付文書」には、
(ⅶ)「副作用」として、
(ⅶ)「クレアチニンBUNの上昇」
という「記載」が有る。
然るに、
(24)
従って、
(22)(23)(24)により、
(25)
従って、
(25)により、
(26)
然るに、
(27)

然るに、
(28)

然るに、
(29)

従って、

(28)(29)により、
(30)
従って、
(29)(30)により、
(31)
従って、
(32)
という『事情』も加わって、「岡口先生や、私にとって、非常に、残念」ではあるのですが、「王様」が、AIによる判決評価
サービスを、望むことは、有り得ないと、考えます。
(33)
従って、
(33)により、
(34)
(ⅰ)「原告(Pmda)」は、少なくとも、
(ⅱ)「8つの、問題提起重要問題的最重要問題提起」に対する、
(ⅲ)「認否」を「沈黙(擬制自白)」したし、
(ⅳ)「質問1・2・3」に対しても、
(ⅴ)「まともな答え」をしなかったため、
(ⅳ)「原告」は、当然、「勝訴」した。
という風に、考えたが、豈はカランや、
(ⅴ)「何故か???」、「原告敗訴」となった。
10:32 2025/01/30

(1353)第一審、完全敗訴😭😵😤!!

2025-01-28 07:04:59 | 医療過誤

          控訴理由書未完成、5:45 2025/01/28)
名古屋高等裁判所 令和7年(行 #)#号 遺族一時金不支給決定処分取消等請求控訴事件(
                                  
名古屋高等裁判所(民事##部)
                                  令和7年##月##日
                                    控訴人 ####
   ― 最初に、「判決の問題点」、次に、「被告の準備書面の問題点」を指摘します。―
(01)
1      (1) P→( Q& R) A
 2     (2)    ~QV~R  A
  3    (3)     Q& R  A
   4   (4)    ~Q     A
  3    (5)     Q     3&E
  34   (6)    ~Q&Q   45&I
   4   (7)   ~(Q& R) 36RAA
    8  (8)       ~R  A
  3    (9)        R  3&E
  3 8  (ア)     ~R&R  89&I
    8  (イ)   ~(Q& R) 3アRAA
 2     (ウ)   ~(Q& R) 2478イVE
12     (エ)~P         1ウMTT
1      (オ)(~QV~R)→~P 2エCP
     カ (カ) ~Q        A
     カ (キ)(~QV~R)    カVI
1    カ (ク)        ~P オキMPP
1      (ケ)(~Q→~P)            カクCP
      コ(コ) ~R        A
      コ(サ)(~QV~R)    コVI
1     コ(シ)        ~P オサMPP
1      (ス)(~R→~P )           コシCP
という「推論」は、「妥当」である。
従って、
(01)により、
(02)
① P→(Q&R)├(~Q→~P)
② P→(Q&R)├(~R→~P)
という「連式(Sequents)」は、「妥当」である。
従って、
(02)により、
(03)
① P→(Q&R)
②  ~Q→~P
③  ~R→~P
という「対偶(Contrapositions)」において、
① が「」であるならば、
② は「」であり、
③ も「」である。
従って、
(03)により、
(04)
P=裁決をする。Q=書面で行う。R=理由を付す。
という「代入例(Substitute Instances)」により、
① 裁決は(書面書面で行い、かつ、理由を付さなければならない)。
②(書面い)ならば、裁決効である。
③(理由い)ならば、裁決効である。
という「対偶」において、
① が「」であるならば、
② は「」であり、
③ も「」である。
然るに、
(05)
平成十六年厚生労働省令第五十一号
(裁決の方式及びその通知等)
独立行政法人医薬品医療機器総合機構法施行規則
第五十条 裁決は(書面で行い、かつ、理由を付さなければならない)。
従って、
(04)(05)により、
(06)
① 厚生労働大臣による裁決は(書面で行い、かつ、理由を付さなければならない)。
②(厚生労働大臣が示す所の、書面無い)ならば、裁決は、無効である。
③(厚生労働大臣が示す所の、理由無い)ならば、裁決は、無効である。
という「対偶」において、
① が「」であるため、
② は「」であり、
③ も「」である。
然るに、
(07)
③ (厚生労働大臣が示す所の、理由無い)ならば、裁決は、無効である。
ということからすると、
裁決有効であるためにする、証明の責任」は、厚生労働大臣有る
ということに、ならざるを得ない
然るに、
(08)
論理学について、
法学部生や法曹を目指す人にとって、
論理学はとった方がいい科目ですか??
授業内容見ても、わからないもんで(^^;)
東大法卒のおっさん(の回答)です。
法曹をめざすのに論理学はまったく必要ありません
論理学的に厳密に法律を解釈しようとしても、破たんするだけです。
法律にはそういう解釈の幅をもたせてあります(ヤフー!知恵袋)。
法律家、つまり弁護士とか裁判官とか検事などは、
自分たちが論理を得意とすると思っているようです。
でも、他分野の学問にそれなりに触れた人にとっては、
法律家が論理を理解しているようには思えないと思います。むしろ、
法律学というのは極めて論理的なものという印象を抱くのではないでしょうか。
(横浜の弁護士のブログ、法律家の言う「論理」)。
従って、
(01)~(08)により、
(09)
論理学的」に、厳密に法律を解釈」しようとすると「破綻」する。
法律学」というのは極めて「論理的」なものである。
という「理由」により、
論理的(Logical)」には、
① P→(Q&R)├(~Q→~P)
② P→(Q&R)├(~R→~P)
という「連式(Sequents)」が、「妥当」であるとしても、
「法学的(Legal)」には、
② 第五十条 裁決有効であることの「証明責任」は、厚生労働大臣有る
という「命題(条文)」は、「」であるとは限らない問題提起1)。
然るに、
(10)
一 原子炉施設の安全性に関する被告行政庁の判断の適否が争われる原子炉設置許可処分の取消訴訟
における裁判所の審理、判断は、原子力委員会若しくは原子炉安全専門審査会の専門技術的な調査審
議及び判断を基にしてされた被告行政庁の判断に不合理な点があるか否かという観点から行われるべ
きであつて、現在の科学技術水準に照らし、右調査審議において用いられた具体的審査基準に不合理
な点があり、あるいは当該原子炉施設が右の具体的審査基準に適合するとした原子力委員会若しくは
原子炉安全専門審査会の調査審議及び判断の過程に看過し難い過誤、欠落があり、被告行政庁の判断
がこれに依拠してされたと認められる場合には、被告行政庁の右判断に不合理な点があるものとして
、右判断に基づく原子炉設置許可処分は違法と解すべきである。
二 原子炉施設の安全性に関する被告行政庁の判断の適否が争われる原子炉設置許可処分の取消訴訟
においては、右判断に不合理な点があることの主張、立証責任は、本来、原告が負うべきものである
が、被告行政庁の側において、まず、原子力委員会若しくは原子炉安全専門審査会の調査審議におい
て用いられた具体的審査基準並びに調査審議及び判断の過程等、被告行政庁の判断に不合理な点のな
いことを相当の根拠、資料に基づき主張、立証する必要があり、被告行政庁が右主張、立証を尽くさ
ない場合には、被告行政庁がした右判断に不合理な点があることが事実上推認される。
(平成4年10月29日、最高裁判所第一小法廷)
従って、
(10)により、
(11)
要するに、「最高裁判所の判断」としては、
(a)「原子炉の安全性」の「証明責任」は、「被告行政庁(」にある
という風にしか、「読めない」。
然るに、
(12)
3 本件裁決書に記載された理由に関する原告の主張について
機構法施行規則50条1項が裁決について理由を付さなければならないとしている趣旨は、審査に当
たる裁決庁の判断の慎重と公正妥当とを担保してその恣意を抑制するとともに、裁決の理由を審査の
申立てをした者に知らせることによって、裁決の対象となった原処分又は裁決に対する不服申立てに
便宜を与えることを目的としているものと解され、裁決に付された理由に誤りがあった場合に、当該
裁決の対象とされた原処分について、請求されたとおりの処分をすることが義務付けられるという法
的効果を認めるべき旨を定めた規定は関係法令上見当たらない。また、被告のした本件不支給決定に
対する不服申立て手続において裁決庁である厚生労働大臣がした裁決に付された理由に誤りがあると
いう手続的な瑕疵が、本件不支給決定の違法事由となると解釈すべき法的根拠もおよそ見出し難い
(第一審判決、11頁)。
従って、
(12)により、
(13)
要するに、「地方裁判所の判断」としては、
(a)「支給の合理性」の「証明責任」は、「被告行政庁(」にはない
という風にしか、「読めない」。
従って、
(11)(13)により、
(14)
(a)「原子炉の安全性(原告不利)」の「証明責任」は、「被告行政庁(」に 有る
(b)「不支給の合理性(原告不利)」の「証明責任」は、「被告行政庁(」には無い
という風にしか、「読めない」が、このことは、「常識」からすれば、「矛盾」である(大問題提起2

        ― 中略 ―
(26)
(ⅰ)「率直」に言って、
(ⅱ)「結論ありき」として、
(ⅲ)「裁判長」は、是が非でも「被控訴人(行政庁)」を「勝たせたい」のであろう。
という風に、思わないでもないのですが、冷静に考えれば、もちろん、そのようなことはないと、信じます(というのは、大嘘です!!残念ながら、ある3人の裁判官は、完全なる、お役人です判決の内容は、ウソではなくメチャクチャです)。
        ― 後略 ―

ということで、「第一審」は、「完全敗訴」です😭😵😤!!

第一審」を通じて、
法律家論理を理解しているようには思えないと思います。むしろ、
法律学というのは極めて論理的なものという印象を抱くのではないでしょうか。
という「事実」を、「痛感」しています😭😭!!

 


(1352)「ド・モルガンの法則と、命題論理と、述語論理と、量化子の関係」(Ⅱ)。

2024-12-18 11:43:35 | 論理

「昨日(令和6年12月17日)の記事」を書き直します。
(01)
(ⅰ){xの変域}={aさん、bさん、cさん}
(ⅱ) 述語文字F=フランス人である。
であるとして、
① ∃x(Fx)
②(Fa∨Fb∨Fc)
③ あるxはFである。
④(aさんはフランス人であるか、または、bさんはフランス人であるか、または、cさんはフランス人である)。
に於いて、
①=②=③=④ である。
然るに、
(02)
(ⅰ){xの変域}={aさん、bさん、cさん}
(ⅱ) 述語文字F=フランス人である。
であるとして、
⑤ ~∀x(~F)
⑥ ~(~Fa&~Fb&~Fc)
⑦ すべてのxがFでない、というふわけではない。
⑧(aさんがフランス人ではなく、その上、bさんもフランス人ではなく、その上、cさんもフランス人でない)といふことは無い。
に於いて、
⑤=⑥=⑦=⑧ である。
然るに、
(03) (ⅰ)
1     (1)   P∨ Q∨ R   A
 2    (2)  ~P&~Q&~R   A
1     (3)  (P∨ Q)∨R   1結合法則
  4   (4)  (P∨ Q)     A
   5  (5)   P         A
 2    (6)  ~P         2&E
 2 5  (7)   P&~P      56&I
   5  (8)~(~P&~Q&~R)  27RAA
    9 (9)      Q      A
 2    (ア)     ~Q      2&E
 2  9 (イ)   Q&~Q      9ア&I
    9 (ウ)~(~P&~Q&~R)  29RAA
  4   (エ)~(~P&~Q&~R)  4589ウ∨E
     オ(オ)         R   A
 2    (カ)        ~R   2&E
 2   オ(キ)      R&~R   オカ&I
     オ(ク)~(~P&~Q&~R)  2キRAA
1     (ケ)~(~P&~Q&~R)  34エオク∨E
12    (コ)~(~P&~Q&~R)&
          (~P&~Q&~R)  2ケ&I
1     (サ)~(~P&~Q&~R)  2コRAA
(ⅴ)
1    (1) ~(~P&~Q&~R)  A
 2   (2) ~( P∨ Q∨ R)  A
  3  (3)    P         A
  3  (4)    P∨ Q      3∨I
  3  (5)    P∨ Q∨ R   34∨I
 23  (6) ~( P∨ Q∨ R)&
          ( P∨ Q∨ R)  25&I
 2   (7)   ~P         36RAA
   8 (8)       Q      A
   8 (9)    P∨ Q      8∨I
   8 (ア)    P∨ Q∨ R   9∨I
 2 8 (イ) ~( P∨ Q∨ R)&
          ( P∨ Q∨ R)  2ア&I
 2   (ウ)      ~Q      8イ&I
 2   (エ)   ~P&~Q      7ウ&I
    オ(オ)          R   A
    オ(カ)       Q∨ R   オ∨I
    オ(キ)    P∨ Q∨ R   ∨I
 2  オ(ク) ~( P∨ Q∨ R)&
          ( P∨ Q∨ R)  2キ&I
 2   (ケ)         ~R   オクRAA
 2   (コ)   ~P&~Q&~R   エケ&I
12   (サ) ~(~P&~Q&~R)&
          (~P&~Q&~R)  1コ&I
1    (シ)~~( P∨ Q∨ R)  2サRAA
1    (ス)  ( P∨ Q∨ R)  シDN
従って、
(03)により、
(04)
①    P∨ Q∨ R
⑤ ~(~P&~Q&~R)
といふ「命題論理式」に於いて、
①=⑤ は「ド・モルガンの法則」である
従って、
(04)により、
(05)
P=Fa
Q=Fb
R=Fc
といふ「代入」により、
①  ( Fa∨ Fb∨ Fc)
⑤ ~(~Fa&~Fb&~Fc)
といふ「命題論理式に於いて、
①=⑤ は、「ド・モルガンの法則」である。
従って、
(01)~(05)により、
(06)
① ∃x(Fx)
②(Fa∨Fb∨Fc)
③ あるxはFである。
④(aさんはフランス人であるか、または、bさんはフランス人であるか、または、cさんはフランス人である)。
⑤ ~∀x(~F)
⑥ ~(~Fa&~Fb&~Fc)
⑦ すべてのxがFでない、というふわけではない。
⑧(aさんがフランス人ではなく、その上、bさんもフランス人ではなく、その上、cさんもフランス人でない)といふことは無い。
に於いて、
①=②=③=④=⑤=⑥=⑦=⑧ は、「ド・モルガンの法則」である。
従って、
(07)により、
(08)
(ⅰ)
1  (1) ∃x( Fx) A
 2 (2) ∀x(~Fx) A
  3(3)     Fa  A
 2 (4)    ~Fa  1UE
 23(5) Fa&~Fa  34&I
  3(6)~∀x(~Fx) 25RAA
12 (7)~∀x(~Fx) 13EE
(ⅴ)
1  (1) ~∀x(~Fx)  A
 2 (2) ~∃x( Fx)  A
  3(3)      Fa   A
  3(4)  ∃x( Fx)  1EI
 23(5) ~∃x( Fx)&
        ∃x( Fx)  24&I
 2 (6)     ~Fa   35RAA
 2 (7)  ∀x(~Fx)  6UI
12 (8) ~∀x(~Fx)&
        ∀x(~Fx)  17&I
1  (9)~~∀x(~Fx)  28RAA
1  (ア)  ∀x(~Fx)  9DN
といふ「述語計算」は、「ド・モルガンの法則」である。
従って、
(08)により、
(09)
①  ∃x( Fx)=あるxはFである。
∀x(Fx)=すべてのxがFでない、といふわけではない
に於いて、
①=⑤ といふ「量化子の関係」は、「ド・モルガンの法則」である。


(1350)「代表的選言項(typical disjunct)」について。

2024-12-14 14:04:39 | 論理

(01)
(ⅰ)
1   (1)∃x(Fx∨Gx)     A
 2  (2)   Fa∨Ga      A
  3 (3)   Fa         A
  3 (4)∃x(Fx)        3EI
  3 (5)∃x(Fx)∨∃x(Gx) 4∨I
   6(6)      Ga      A
   6(7)       ∃x(Gx) 6EI
   6(8)∃x(Fx)∨∃x(Gx) 7∨I
 2  (9)∃x(Fx)∨∃x(Gx) 23568∨I
1   (ア)∃x(Fx)∨∃x(Gx) 129EE
(ⅱ)
1    (1)∃x(Fx)∨∃x(Gx) A
 2   (2)∃x(Fx)        A
  3  (3)   F         A
  3  (4)   Fa∨Ga      3∨I
  3  (5)∃x(Fx∨Gx)     4EI
 2   (6)∃x(Fx∨Gx)     235EE
   7 (7)       ∃x(Gx) A
    8(8)          Ga  A
    8(9)       Fa∨Ga  8∨I
    8(ア)    ∃x(Fx∨Gx) 9EI
   7 (イ)    ∃x(Fx∨Gx) 78アEE
1    (ウ)∃x(Fx∨Gx)     1267イ∨E
従って、
(01)により、
(02)
① ∃x(Fx∨Gx)
② ∃x(Fx)∨∃x(Gx)
に於いて、
①=② である。
従って、
(02)により、
(03)
例へば、
① ある人は(フランス人であるか、または、ドイツ人である)。
② ある人は(フランス人である)か、または、ある人は(ドイツ人である)。
に於いて、
①=② である。
然るに、
(01)により、
(04)
(ⅰ)
1   (1)∃x(Fx∨Gx)     A
 2  (2)   Fa∨Ga      A
  3 (3)   Fa         A
  3 (4)∃x(Fx)        3EI
  3 (5)∃x(Fx)∨∃x(Gx) 4∨I
   6(6)      Ga      A
   6(7)       ∃x(Gx) 6EI
   6(8)∃x(Fx)∨∃x(Gx) 7∨I
 2  (9)∃x(Fx)∨∃x(Gx) 23568∨I
1   (ア)∃x(Fx)∨∃x(Gx) 129EE
(ⅱ)
1    (1)∃x(Fx)∨∃x(Gx) A
 2   (2)∃x(Fx)        A
  3  (3)   F         A
  3  (4)   Fa∨Ga      3∨I
  3  (5)∃x(Fx∨Gx)     4EI
 2   (6)∃x(Fx∨Gx)     235EE
   7 (7)       ∃x(Gx) A
    8(8)          Ga  A
    8(9)       Fa∨Ga  8∨I
    8(ア)    ∃x(Fx∨Gx) 9EI
   7 (イ)    ∃x(Fx∨Gx) 78アEE
1    (ウ)∃x(Fx∨Gx)     1267イ∨E
といふ「計算」は、
{xの変域}={、b、c}
であるとして、
(ⅰ)
1          (1) (Fa∨Ga)∨(Fb∨Gb) ∨(Fc∨Gc) A
1          (2){(Fa∨Ga)∨(Fb∨Gb)}∨(Fc∨Gc) 1結合法則
 3         (3){(Fa∨Ga)∨(Fb∨Gb)}         A
  4        (4) (Fa∨Ga)                  A
   5       (5)  Fa                      A
   5       (6)  Fa∨Fb                   5∨I
   5       (7)  Fa∨Fb∨Fc                6∨I
   5       (8) (Fa∨Fb∨Fc)∨(Ga∨GB∨Gc)    7∨I
    9      (9)     Ga                   A
    9      (ア)     Ga∨Gb                9∨I
    9      (イ)     Ga∨Gb∨Gc             ア∨I
    9      (ウ) (Fa∨Fb∨Fc)∨(Ga∨Gb∨Gc)    イ∨I
  4        (エ) (Fa∨Fb∨Fc)∨(Ga∨Gb∨Gc)    4589ウ∨E
     オ     (オ)         (Fb∨Gb)          A
      カ    (カ)          Fb              A
      カ    (キ)       Fa∨Fb              カ∨I
      カ    (ク)       Fa∨Fb∨Fc           キ∨I
      カ    (ケ) (Fa∨Fb∨Fc)∨(Ga∨GB∨Gc)    ク∨I
       コ   (コ)             Gb           A
       コ   (サ)          Ga∨Gb           コ∨I
       コ   (シ)          Ga∨Gb∨Gc        サ∨I
       コ   (ス) (Fa∨Fb∨Fc)∨(Ga∨Gb∨Gc)    シ∨I
     オ     (セ) (Fa∨Fb∨Fc)∨(Ga∨Gb∨Gc)    オカケコス∨E
  3        (ソ) (Fa∨Fb∨Fc)∨(Ga∨Gb∨Gc)    34エオセ∨E
        タ  (タ)                  (Fc∨Gc) A
         チ (ツ)                   Fc     A
         チ (テ)                Fb∨Fc     ツ∨I
         チ (ト)             Fa∨Fb∨Fc     テ∨I
         チ (ナ) (Fa∨Fb∨Fc)∨(Ga∨Gb∨Gc)    ト∨I
          ニ(ニ)                      Gc  A
          ニ(ヌ)                   Gb∨Gc  ニ∨I
          ニ(ネ)                Ga∨Gb∨Gc  ヌ∨I
          ニ(ノ) (Fa∨Fb∨Fc)∨(Ga∨Gb∨Gc)    ネ∨I
        タ  (ハ) (Fa∨Fb∨Fc)∨(Ga∨Gb∨Gc)    タチナニノ∨E
1          (ヒ) (Fa∨Fb∨Fc)∨(Ga∨Gb∨Gc)    13ソタハ∨E
(ⅱ)
1          (1)(Fa∨Fb∨Fc)∨(Ga∨Gb∨Gc)   A
 2         (2)(Fa∨Fb∨Fc)              A
 2         (3)(Fa∨Fb)∨Fc              2結合法則
  4        (4)(Fa∨Fb)                 A
   5       (5) F                     A
   5       (6) Fa∨Ga                  5∨I
   5       (7)(Fa∨Ga)∨(Fb∨Gb)         6∨I
   5       (8)(Fa∨Ga)∨(Fb∨Gb)∨(Fc∨Gc) 7∨I
    9      (9)    Fb                  A
    9      (ア)    Fb∨Gb               9∨I
    9      (イ)(Fa∨Ga)∨(Fb∨Gb)         ア∨I
    9      (ウ)(Fa∨Ga)∨(Fb∨Gb)∨(Fc∨Gc) イ∨I
  4        (エ)(Fa∨Ga)∨(Fb∨Gb)∨(Fc∨Gc) 4589ウ∨E
     オ     (オ)        Fc              A
     オ     (カ)        Fc∨Gc           オ∨I
     オ     (キ)        (Fb∨Gb)∨(Fc∨Gc) カ∨I
     オ     (ケ)(Fa∨Ga)∨(Fb∨Gb)∨(Fc∨Gc) キ∨I
 2         (コ)(Fa∨Ga)∨(Fb∨Gb)∨(Fc∨Gc) 34Eオケ∨E
      サ    (サ)           (Ga∨Gb∨Gc)   A
      サ    (シ)           (Ga∨Gb)∨Gc   A
       ス   (ス)           (Ga∨Gb)      A
        セ  (セ)            Ga          A
        セ  (ソ)         Fa∨Ga          セ∨I
        セ  (タ)(Fa∨Ga)∨(Fb∨Gb)         ソ∨I
        セ  (チ)(Fa∨Ga)∨(Fb∨Gb)∨(Fc∨Gc) タ∨I
         ツ (ツ)               Gb       A
         ツ (テ)            Fb∨Gb       ツ∨I
         ツ (ト)(Fa∨Ga)∨(Fb∨Gb)         テ∨I
         ツ (ナ)(Fa∨Ga)∨(Fb∨Gb)∨(Fc∨Gc) ト∨I
       ス   (ニ)(Fa∨Ga)∨(Fb∨Gb)∨(Fc∨Gc) スセチツナ∨E
          ヌ(ヌ)                   Gc   A
          ヌ(ネ)                (Fc∨Gc) ヌ∨I
          ヌ(ノ)        (Fb∨Gb)∨(Fc∨Gc) ネ∨I
          ヌ(ハ)(Fa∨Ga)∨(Fb∨Gb)∨(Fc∨Gc) ノ∨I
      サ    (ヒ)(Fa∨Ga)∨(Fb∨Gb)∨(Fc∨Gc) サスニヌハ∨E
1          (フ)(Fa∨Ga)∨(Fb∨Gb)∨(Fc∨Gc) 12コサヒ∨E
といふ「計算(メチャクチャ、大変である)」に、「等しい」。
従って、
(04)により、
(05)
{xの変域}={、b、c}
であるとして、
2(2)∃x(Fx)A
3(3)   F A
といふ「計算」は、
2(2)(F∨Fb∨Fc) A
2(3)(F∨Fb)∨Fc 2結合法則
4(4)(F∨Fb)    A
5(5) F        A
9(9)    Fb     A
オ(オ)        Fc A
といふ「計算」に、「相当」する。
従って、
(06)
{xの変域}={、b、c}
であるとして、
3(3)F A
といふ「仮定」は、「実際」には、
5(5)F A
9(9)Fb A
オ(オ)Fc A
といふ「仮定」に、「相当」し、そのため、
連式 ∃x(Fx)├ F は妥当とは考えずは任意に選ばれているが、与えられたFをもつ対象の1つではないかもしれないから
この式を受け入れないのである
(E.j.レモン 著、論理学初歩、竹尾治一郎・浅野楢英 訳、1973年、149頁)。
といふ、ことになる。
(07)
「簡単」に言ふと、
{xの変域}={、b、c}
であるとして、
① F
② Fb
③ Fc
④(F∨Fb∨Fc)≡∃x(Fx)
に於いて、
①├ ④
②├ ④
③├ ④
といふ「3通り」があるため、
④├ ①
といふ「1通り」であるとは「限らず」、そのため、
∃x(Fx)├ F は「妥当とは考えないものの条件」を満たす限り、「計算としては同じ」になるため、「便宜的」に、
∃x(Fx)├ F であると、「見做してゐる」。
(08)
{xの変域}={、b、c}
であるとして、
5(5)F A
9(9)Fb A
オ(オ)Fc A
といふ「仮定」に、「相当」する所の、
3(3)F A
といふ「仮定」に於ける、「F」を、「代表的選言項(typical disjunct)」と言ふ。


(1349)「条件法(Conditional Proof)」は「簡単」である。

2024-12-12 12:05:32 | 論理

(01)
この規則(CP)の扱い方は、これまでの規則のそれよりも会得しにくいものであるが、しかしそれに習熟することはがどうしても必要である。
Its working is harder to grasp than that of the earlier rules, but familiarity with it is indispensable.
(E.J.レモン著、論理学初歩、竹尾治一郎、浅野楢英 訳、1973年、20頁)
然るに、
(02)
1 (1)  P   A
 2(2)    Q A
12(3)  P&Q 12&I
1 (4)Q→P&Q 23CP
従って、
(02)により、
(03)
① PP&Q
といふ「推論」、すなはち、「日本語」で言ふと、
① Pなので、Qならば、PであってQである。
といふ「推論」は「妥当」である。
従って、
(03)により、
(04)
① Pなので、Qならば、PであってQである。
に於いて、
P=原さんは日本人である。
Q=原さんは女性 である。
として、
① 原さんは日本人なので、原さんが女性であるならば、原さんは日本人の女性である。
といふ「推論」は「妥当」である。
然るに、
(05)
1  (1) P→ Q A
 2 (2)   ~Q A
  3(3) P    A
1 3(4)    Q 13MPP
123(5) ~Q&Q 24&I
12 (6)~P    35RAA
1  (7)~Q→~P 26CP
従って、
(05)により、
(06)
② P→Q~Q~P
といふ「推論」、すなはち、「日本語」で言ふと、
② PならばQなので、QでないならばPでない。
といふ「推論」は「妥当」である。
従って、
(06)により、
(07)
② P→Q ~Q~P
に於いて、
P=原さんは東京都民である。
Q=原さんは日本人 である、
として、
② 原さんが東京都民であるならば、原さんは日本人なので、原さんが日本人でないならば、原さんは東京都民ではない。
といふ「推論」は「妥当」である。
従って、
(03)(07)により、
(08)
① PP&Q
② P→Q ~Q~P
といふ「推論」の「代入例(substitution instances)」として、
① 原さんは日本なので、原さんが女性であるならば、原さんは日本人の女性である。
② 原さんが東京都民であるならば、原さんは日本人なので、原さんが日本人でないならば、原さんは東京都民ではない。
といふ「推論」は「妥当」であるが、
① 原さんは日本人なので、原さんが女性であるならば、原さんは日本人の女性である。
② 原さんが東京都民であるならば、原さんは日本人なので、原さんが日本人でないならば、原さんは東京都民ではない。
といふ「推論」が「正しい」ことは、「当然(当り前)」である。
従って、
(08)により、
(09)
① P├ Q→P&Q
② P→Q├ ~Q→~P
といふ「論理式」が「正しい」ことは、「当然(常識)」である。
従って、
(02)~(09)により、
(10)
① 原さんは日本人なので、原さんが女性であるならば、原さんは日本人の女性である。
② 原さんが東京都民であるならば、原さんは日本人なので、原さんが日本人でないならば、原さんは東京都民ではない。
といふ「日本語」で考へれば、
(ⅰ)
1 (1)  P   A
 2(2)    Q A
12(3)  P&Q 12&I
1 (4)Q→P&Q 23CP
(ⅱ)
1  (1) P→ Q A
 2 (2)   ~Q A
  3(3) P    A
1 3(4)    Q 13MPP
123(5) ~Q&Q 24&I
12 (6)~P    35RAA
1  (7)~Q→~P 26CP
といふ「命題計算(Propsitional Calculus)」が「正しい」ことは、「疑ふ余地が無い」。
従って、
(01)(10)により、
(11)
「E.J.レモン」とは異なり、「ブロガー自身」は、
この規則(CP)の扱い方は、他の規則のそれよりも会得しにくいものである。
Its working is harder to grasp than that of the other rules.
といふ風には、思ってゐない


(1348)「幾らかのフランス人は寛大である」の「述語論理」。

2024-11-27 14:17:58 | 論理

(01)
「すべてのフランス人は寛大である」は一種の条件文として適切に記号化されるので、これと同化(assimilation)してしまって、
「幾らかのフランス人は寛大である」を、正しく、
∃x(Fx&Gx)と記号化するかわりに、むしろ、
∃x(Fx→Gx)とするのは、よくある間違いである。しかし、
∃x(Fx→Gx)は、
それがフランス人であるならば、寛大であるようなものが存在することを主張するのであって、
これは、かりにフランス人が存在しないとしてもであろう。しかるに、
幾らかのフランス人は寛大である」は決してそうではない。
(E.J.レモン 著、竹尾治一郎・浅野 楢英 訳、1973年、124頁)
然るに、
(02)
(ⅰ)
1    (1) ∃x(Fx→Gx)     A
 2   (2)    Fa→Ga      A
 2   (3)   ~Fa∨Ga      2含意の定義
  4  (4)   ~Fa         A
   5 (5) ∀x(Fx)        A
   5 (6)    Fa         5UE
  45 (7)   ~Fa&Fa      46&I
  4  (8)~∀x(Fx)        57RAA
  4  (9)~∀x(Fx)∨∃x(Gx) 8∨I
    ア(ア)       Ga      A
    ア(イ)    ∃x(Gx)     アEI
    ア(ウ)~∀x(Fx)∨∃x(Gx) イ∨I
 2   (エ)~∀x(Fx)∨∃x(Gx) 249アウ∨E
1    (オ)~∀x(Fx)∨∃x(Gx) 12エEE
1    (エ) ∀x(Fx)→∃x(Gx) オ含意の定義
(ⅱ)
1    (1) ∀x(Fx)→∃x(Gx) A
1    (2)~∀x(Fx)∨∃x(Gx) 1含意の定義
 3   (3)~∀x(Fx)        A
  4  (4)    Fa         A
  4  (5) ∀x(Fx)        4UI
 34  (6)~∀x(Fx)&∀x(Fx) 35&I
 3   (7)   ~Fa         4RAA
 3   (8)   ~Fa∨Ga      7∨I
   9 (9)        ∃x(Gx) A
    ア(ア)           Ga  A
    ア(イ)       ~Fa∨Ga  ア∨I
   9 (ウ)       ~Fa∨Ga  9アイEE
1    (エ)       ~Fa∨Ga  2389ウ∨E
1    (オ)        Fa→Ga  エ含意の定義
1    (カ)     ∃x(Fx→Gx) オEI
然るに、
(03)
(ⅱ)
1    (1)  ∀x( Fx)→∃x(Gx)  A
1    (2) ~∀x( Fx)∨∃x(Gx)  1含意の定義
 3   (3) ~∀x( Fx)         A
  4  (4) ~∃x(~Fx)         A
   5 (5)     ~Fa          A
   5 (6)  ∃x(~Fx)         5EI
  45 (7) ~∃x(~Fx)&∃x(~Fx) 46&I
  4  (8)    ~~Fa          57RAA
  4  (9)      Fa          8DN
  4  (ア)  ∀x( Fx)         9UI
 34  (イ) ~∀x( Fx)&∀x( Fx) 3ア&I
 3   (ウ)~~∃x(~Fx)         4イRAA
 3   (エ)  ∃x(~Fx)         ウDN
 3   (オ)  ∃x(~Fx)∨∃x(Gx)  エ∨I
    カ(カ)          ∃x(Gx)  A
    カ(キ)  ∃x(~Fx)∨∃x(Gx)  カ∨I
1    (ク)  ∃x(~Fx)∨∃x(Gx)  23オカキ∨E
(ⅲ)
1    (1) ∃x(~Fx)∨∃x(Gx) A
 2   (2) ∃x(~Fx)        A
  3  (3) ∀x( Fx)        A
   4 (4)    ~Fa         A
  3  (5)     Fa         3UE
  34 (6)    ~Fa&Fa      45&I
   4 (7)~∀x( Fx)        36RAA
 2   (8)~∀x( Fx)        247EE
 2   (9)~∀x( Fx)∨∃x(Gx) 8∨I
    ア(イ)         ∃x(Gx) A
    ア(ウ)~∀x( Fx)∨∃x(Gx) イ∨I
1    (エ)~∀x( Fx)∨∃x(Gx) 129アウ∨E
1    (オ) ∀x( Fx)→∃x(Gx) エ含意の定義
従って、
(02)(03)により、
(04)
① ∃x( Fx→Gx)
② ∀x( Fx)→∃x(Gx)
③ ∃x(~Fx)∨∃x(Gx)
に於いて、
①=②=③ である。
従って、
(04)により、
(05)
① それがフランス人であるならば、      寛大であるようなものが存在する。
② それがフランス人であるならば、その中に、 寛大であるようなものが存在する。
③ フランス人でないものが存在するか、または、寛大であるようなものが存在する。
に於いて、
①=②=③ である。
然るに、
(01)(05)により、
(06)
③ フランス人でないxが存在するか、または、寛大であるxがする。
といふのであれば、
③ これは、かりにフランス人が存在しないとしてもであろう
従って、
(01)(04)(06)により、
(07)
「幾らかのフランス人は寛大である(Some French are generous))。」といふ「日本語(英語)」を、
∃x(Fx&Gx)と記号化するかわりに、むしろ、
∃x(Fx→Gx)とするのは、「よくある間違い(Common mistake)」である。
といふ、「E.J.レモンの説明」は、「正しい」。
然るに、
(08)
1      (1) ∀x(Fx)→∃x(Gx) A
1      (2)~∀x(Fx)∨∃x(Gx) 1含意の定義
 3     (3)~∀x(Fx)        A
  4    (4)    Fa         A
  4    (5) ∀x(Fx)        4UI
 34    (6)~∀x(Fx)&∀x(Fx) 35&I
 3     (7)   ~Fa         4RAA
 3     (8)   ~Fa∨Ga      7∨I
   9   (9)        ∃x(Gx) A
    ア  (ア)           Ga  A
    ア  (イ)       ~Fa∨Ga  ア∨I
   9   (ウ)       ~Fa∨Ga  9アイEE
1      (エ)       ~Fa∨Ga  2389ウ∨E
1      (オ)        Fa→Ga  エ含意の定義
     カ (カ) ∃x(Fx)        A
      キ(キ)    Fa         A
1     キ(ク)           Ga  カキMPP
1     キ(ク)    Fa&Ga      キク&I
1     キ(ケ) ∃x(Fx&Gx)     クEI
1    カ (コ) ∃x(Fx&Gx)     カキケEE
従って、
(08)により、
(09)
(ⅰ)∀x(Fx)→∃x(Gx)。然るに、
(ⅱ)∃x(Fx)。従って、
(ⅲ)∃x(Fx&Gx)。
といふ「推論」、すなはち、
(ⅰ)すべてのxがフランス人であるならば、あるxは寛大である。然るに、
(ⅱ)あるxはフランス人である。従って、
(ⅲ)あるxはフランス人であって、寛大である。
といふ「推論」、すなはち、
(ⅰ)それがフランス人であるならば、その中に、寛大であるようなものが存在する。然るに、
(ⅱ)フランス人であるものが、存在する。従って、
(ⅲ)フランス人のあるものは、寛大である。
といふ「推論」は、「妥当」である。


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

2024-11-21 11:05:49 | 漢文・述語論理

(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)
「もし二頭の虎が闘へば、少なくとも、一方の虎は死ぬ。」といふ「日本語」ならば、ともかく、例へば、「相如はこれを聞いて、朝廷に出仕すべきことがあるたびにいつも病気と偽って欠席し、席次を争うことを望まなかった。」といふ「日本語」を、「述語論理」に「翻訳」することは、「無理である」に、「決まってゐる」。


(1346)「日本は東京が首都である」の「述語論理」と「生成AI」。

2024-11-19 12:31:39 | 象は鼻が長い、述語論理。

(01)
1     (1)∀x{日本x→∃y(東京y&首都yx&∀z(首都zx→y=z)} A
1     (2)   日本a→∃y(東京y&首都ya&∀z(首都za→y=z)  1UE
 3    (3)   日本a                           A
13    (4)       ∃y(東京y&首都ya&∀z(首都za→y=z)  23MPP
  5   (5)          東京b&首都ba&∀z(首都za→b=z)  A
  5   (6)          東京b                    5&E
  5   (6)                   ∀z(首都za→b=z)  5&E
  5   (7)                      首都ca→b=c   6UE
   8  (8)∃z(大阪z&~東京z)                     A
    9 (9)   大阪c&~東京c                      A
    9 (ア)   大阪c                           9&E
    9 (イ)       ~東京c                      9&E
     ウ(ウ)          b=c                    A
    9ウ(エ)       ~東京b                      イウ=E
  5 9ウ(オ)       ~東京b&東京b                  6エ&I
  5 9 (カ)          b≠c                    ウオRAA
  5 9 (キ)                     ~首都ca       7カMTT
  5 9 (ク)                 大阪c&~首都ca       アキ&I
  58  (ケ)                 大阪c&~首都ca       89クEE
13 8  (コ)                 大阪c&~首都ca       45ケEE
13 8  (サ)              ∃z(大阪z&~首都za)      コEI
1  8  (シ)          日本a→∃z(大阪z&~首都za)      3サCP
1  8  (ス)       ∀x{日本x→∃z(大阪z&~首都zx)}     シUI
従って、
(01)により、
(02)
(ⅰ)∀x{日本x→∃y(東京y&首都yx&∀z(首都zx→y=z)}。然るに、
(ⅱ)∃z(大阪z&~東京z)。従って、
(ⅲ)∀x{日本x→∃z(大阪z&~首都zx)}。
という『推論』、すなわち、
(ⅰ)すべてのxについて{xが日本であるならば、あるyは(東京であって、xの首都であって、すべてのzについて(zがxの首都であるならば、yはzである)}。然るに、
(ⅱ)あるzは(大阪であって、東京ではない)。従って、
(ⅲ)すべてのxについて{xが日本であるならば、あるzは(大阪であって、xの首都ではない)}。
という『推論』、すなわち、
(ⅰ)日本は、東京首都である。然るに、
(ⅱ)大阪は、東京ではない。  従って、
(ⅲ)日本は、大阪は首都ではない。
という『推論』は、「妥当」である。
然るに、
(03)
「コパイロット(マイクロソフトの生成AI)」に対して、
(ⅰ)日本は、東京首都である。然るに、
(ⅱ)大阪は、東京ではない。  従って、
(ⅲ)日本は、大阪は首都ではない。
という「推論」は「妥当」ですか?
という「質問」をすると、

然るに、
(04)
(ⅰ)「東京」は「日本の首都」ではあっても、「日本」ではないし、
(ⅱ)「東京」は「日本の首都」ではあっても、「アメリカの首都」ではない
従って、
(03)(04)により、
(05)
「コパイロット(マイクロソフトの生成AI)」が言う所の、
・ P:xは日本である。
・ Q:xは東京である。
・ R:xは首都である。
という「論理的構造」は、「全く、論理的」ではない
従って、
(03)(04)(05)により、
(06)
「コパイロット(マイクロソフトの生成AI)」は、
(ⅰ)日本は、東京首都である。然るに、
(ⅱ)大阪は、東京ではない。  従って、
(ⅲ)日本は、大阪は首都ではない。
という「日本語」を、
(ⅰ)∀x{日本x→∃y(東京y&首都yx&∀z(首都zx→y=z)}。然るに、
(ⅱ)∃z(大阪z&~東京z)。従って、
(ⅲ)∀x{日本x→∃z(大阪z&~首都zx)}。
のような「述語論理式」に「翻訳」することは、「出来ない」。
という、ことになる。
然るに、
(07)
さて、統計的な手法が登場する以前、自然言語処理の技術を使う自動翻訳や質疑応答の分野では、研究者たちはAIに文法などの言葉のルールを覚えさせ、論理的、演繹的な手法で精度を上げようとしました。けれど、その手法は何度試みても失敗を繰り返しました(AI vs. 教科書が読めない子供たち、新井紀子、2018年、124頁)。
従って、
(06)(07)により、
(08)
「生成AIの研究者」は、
(ⅰ)日本は、東京首都である。然るに、
(ⅱ)大阪は、東京ではない。  従って、
(ⅲ)日本は、大阪は首都ではない。
という「日本語」を、
(ⅰ)∀x{日本x→∃y(東京y&首都yx&∀z(首都zx→y=z)}。然るに、
(ⅱ)∃z(大阪z&~東京z)。従って、
(ⅲ)∀x{日本x→∃z(大阪z&~首都zx)}。
という「述語論理式」に「翻訳」することに対して、「(無理であるとして、)見切りをつけた」。
という、ことになる。