（01）
三段論法の解説 - 小学館 デジタル大辞泉
さんだん‐ろんぽう〔‐ロンパフ〕【三段論法】
論理学で、大前提・小前提および結論からなる間接推理による推論式。例えば、
「人間は死ぬ」（大前提）、「ソクラテスは人間である」（小前提）、故に「ソクラテスは死ぬ」（結論）の類。
（ｇｏｏ辞書）
従って、
（01）により、
（02）
人＝人間である（述語）。
ｓ＝ソクラテス（主語）。
死＝いつか死ぬ（述語）。
であるとして、
１ （１）∀ｘ（人ｘ→死ｘ） Ａ
１ （２） 人ｓ→死ｓ １ＵＥ
３（３） 人ｓ Ａ
１３（４） 死ｓ ２３ＭＰＰ
という「述語計算」は、「三段論法」である。
従って、
（02）により、
（03）
人＝人間である。
ｓ＝ソクラテス。
死＝いつか死ぬ。
であるとして、
１ （１）∀ｘ（人ｘ→死ｘ） Ａ
１ （２） 人ｓ→死ｓ １ＵＥ
３（３） ～死ｓ Ａ
１３（４） ～人ｓ ２３ＭＰＰ
１ （５） ～死ｓ→～人ｓ ３４ＣＰ
という「述語計算（１）～（４）」も、「三段論法」である。
従って、
（03）により、
（04）
裁＝裁決である。
書＝書面である。
理＝理由である。
であるとして、
１ （１） ∀ｘ｛裁ｘ→∃ｙ（書ｙｘ）＆ ∃ｚ（理ｚｘ）｝ Ａ
１ （２） 裁ａ→∃ｙ（書ｙａ）＆ ∃ｚ（理ｚａ） １ＵＥ
３ （３） ～∃ｚ（理ｚａ） Ａ
３ （４） ～∃ｙ（書ｙａ）Ｖ～∃ｚ（理ｚａ） ３ＶＩ
３ （５） ～｛∃ｙ（書ｙａ）＆ ∃ｚ（理ｚａ）｝ ４ド・モルガンの法則
１３ （６） ～裁ａ ２５ＭＴＴ
１ （７） ～∃ｚ（理ｚａ）→～裁ａ ３６ＣＰ
８（８）∀ｘ｛∀ｚ（～理ｚｘ）｝ Ａ
８（９） ∀ｚ（～理ｚａ） ８ＵＥ
８（ア） ～∃ｚ（理ｚａ） ９量化子の関係
１ ８（イ） ～裁ａ ７アＭＰＰ
１ （ウ） ∀ｚ（～理ｚａ）→～裁ａ ９イＣＰ
１ （エ）∀ｘ｛∀ｚ（～理ｚｘ）→～裁ｘ｝ ウＵＩ
という「述語計算（１）～（イ）」も、「三段論法」である。
従って、
（04）により、
（05）
裁＝裁決である。
書＝書面である。
理＝理由である。
であるとして、
① ∀ｘ｛裁ｘ→∃ｙ（書ｙｘ）＆∃ｚ（理ｚｘ）｝。
② ∀ｘ｛∀ｚ（～理ｚｘ）→～裁ｘ｝。
において、
① ならば、② である。
という「仮言命題」は、「論理学」として、「正しい」。
従って、
（06）
裁＝裁決である。
書＝書面である。
理＝理由である。
であるとして、
① すべてのｘについて｛ｘが裁決であるならば、あるｙは（ｘの書面）であって、かつ、あるｚは（ｘの理由である）｝。
② いかなるｘと｛いかなるｚであっても（ｚがｘの理由でない）ならば、ｘは、裁決ではない｝。
において、
① ならば、② である。
という「仮言命題」は、「論理学」として、「正しい」。
従って、
（06）により、
（07）
① 裁決は、書面で行い、かつ、理由を付さなければならない。
② 裁決に、理由が無ければ、裁決は無効である。
において、
① ならば、② である。
という「仮言命題」は、「論理学」として、「正しい」。
従って、
（07）により、
（08）
① 裁決は、書面で行い、かつ、理由を付さなければならない。然るに、
② 裁決には、理由が無い。従って、
③ 裁決は無効である。
という「三段論法」は、「論理学」として、「正しい」。
然るに、
（09）
独立行政法人医薬品医療機器総合機構法施行規則（平成十六年厚生労働省令第五十一号）
第五十条 裁決は、書面で行い、かつ、理由を付さなければならない。
従って、
（08）（09）により、
（10）
① 裁決は、書面で行い、かつ、理由を付さなければならない。然るに、
② 裁決には、理由が無い。従って、
③ 裁決は無効である。
という「法的三段論法」は、「論理学」として、「正しい」。
然るに、
（11）
① 裁決は、書面で行い、かつ、理由を付さなければならない。
② 裁決に、理由が無ければ、裁決は無効である。
において、
① ならば、② である。
という「仮言命題」は、固より、「日本語（の文法）」として、「正しい」。
然るに、
（12）
（１） 文理解釈
法規の文字・文章の意味をその言葉の使用法や文法の規則に従って確定することによってなされる解釈です。
すべての法解釈の出発点であり、最も説得力ある権威的論拠とされています（有斐閣、法律学入門〔第３版〕、１８３頁）。
従って、
（10）（11）（12）により、
（13）
① 裁決は、書面で行い、かつ、理由を付さなければならない。然るに、
② 裁決には、理由が無い。従って、
③ 裁決は無効である。
という「法的三段論法」は、「論理学」及び、「すべての法解釈の出発点」として、「正しい」。
従って、
（07）～（13）により、
（14）
① 裁決（棄却）は、書面で行い、かつ、（棄却の）理由を付さなければならない。
② 裁決（棄却）に、理由が無ければ、裁決（棄却）は無効である。
において、
① ならば、② である。
という「命題」は、「論理学」及び、「最も説得力ある権威的論拠」として「正しい」。
然るに、
（15）
③「厚生労働大臣」は、「職務」として、「裁決が無効である」ということを望まない。
従って、
（14）（15）により、
（16）
③「厚生労働大臣」は「裁決が無効である」ということを、望まず、尚且つ、
②（厚生労働大臣が示す所の、正しい・理由が無い）ならば、裁決は、無効である。
ということからすると、少なくとも、「論理的（Logical）」には、「必然的」に、
③ 裁決が有効であることの「証明責任」は、「厚生労働大臣」に有る。
という、ことになるが、その一方で、
（17）
３ 争点
本件の争点は本件不支給決定の違法性であるが、この点につき、原告は、➀原告父の腸梗塞は非閉塞性腸管虚血（ｎｏｎ－ｏｃｃｌｕｓｉｖｅｍｅｓｅｎｔｅｒｉｃｉｓｃｈｅｍｉａ）（以下「ＮＯＭＩ」という。）によるものであり、ＮＯＭＩは重度の貧血状態にあった原告父が急性腎不全を発症したことによるものであり、原告父の急性腎不全はフェブリク錠の副作用によるものである旨を主張するとともに、②独立行政法人医薬品医療機器総合機構法施行規則（以下「機構法施行規則」という。）５０条１項は、副作用救済給付に係る審査の申立てについての裁決は、理由を付さなければならない旨規定しているところ、同条にいう理由は正しいものでなければならないが、本件裁決書に記載された理由には種々の誤りがあるから、原告が被告に対してした本件各請求は認められるべきであるなどと主張するものと解される。
第３ 当裁判所の判断
１ 判断枠組みについて
前記第２の１（１）に照らせば、副作用救済給付の制度は、有効かつ安全な医薬品を適切に社会に供給すべき許可医薬品製造販売業者等の社会的責任を踏まえ、許可医薬品製造販売業者等の拠出金によって医薬品の副作用による健康被害に対する教済給付を行うことにより、その迅速な救済を図ることを目的として設けられた制度であると解される。そして、機構法１６条１項は、副作用救済給付は、同項各号所定の要件のもと、副作用救済給付を受けようとする者の請求に基づき、被告が支給を決定する旨を規定しているところ、上記制度趣旨並びに同項の文言及び構造にも照らせば、被告による副作用救済給付を支給する旨の決定は授益的処分としての性質を有するものというべきであり、そうすると、「許可医薬品等の副作用により死亡したこと」は副作用救済給付の支給請求権の権利発生要件に係る事実であるから、かかる事の立証責任は、副作用救済給付を請求する者が負うと解するのが相当である。
然るに、
（18）
論理学について、
法学部生や法曹を目指す人にとって、
論理学はとった方がいい科目ですか？？
授業内容見ても、わからないもんで（^^;）
東大法卒のおっさん（の回答）です。
法曹をめざすのに論理学はまったく必要ありません。
論理学的に厳密に法律を解釈しようとしても、破たんするだけです。
法律にはそういう解釈の幅をもたせてあります（ヤフー！知恵袋）。
法律家、つまり弁護士とか裁判官とか検事などは、
自分たちが論理を得意とすると思っているようです。
でも、他分野の学問にそれなりに触れた人にとっては、
法律家が論理を理解しているようには思えないと思います。むしろ、
法律学というのは極めて非論理的なものという印象を抱くのではないでしょうか。
（横浜の弁護士のブログ、法律家の言う「論理」）。
従って、
（16）（17）（18）により、
（19）
論理学はとった方がいい科目ですか？？
法曹をめざすのに論理学はまったく必要ありません。
論理学的に厳密に法律を解釈しようとしても、破綻するだけです。
という「理由」により、恐らく、「（多くの）法律家」は、
③ 裁決が有効であることの「証明責任」は、「厚生労働大臣」に有る。
という『結論（論理的な帰結）』を「認めない」に、「違いない」。
（20）
「この記事」を読んで下さった方たちは、「どのように思われただろうか」。
（21）
例えば、
①「コロナワクチンの副作用で死亡した」 ことの「証明」は、「遺族」 が負うべきである。
②「コロナワクチンの副作用で死亡しなかった」ことの「証明」は、「厚生労働大臣」が負うべきである。
において、
① と ② では、「全然、意味合い」が「異なる」ものの、
① 裁決（棄却）は、書面で行い、かつ、理由を付さなければならない。然るに、
② 裁決（棄却）には、理由が無い。従って、
③ 裁決（棄却）は無効である。
という「法的三段論法」は、「論理学」として、「正しい」。
ということからすれば、多くの場合、
②「コロナワクチンの副作用で死亡しなかった」ことの「証明」は、「厚生労働大臣」が負うべきである。
という「事態」が、「想定」されます。
従って、
（22）
「厚生労働省」が、
① 裁決は、書面で行い、かつ、理由を付さなければならない。然るに、
② 裁決には、理由が無い。従って、
③ 裁決は無効である。
という「法的三段論法」を、「肯定」することは、有り得ないわけですが、
１ （１） ∀ｘ｛裁ｘ→∃ｙ（書ｙｘ）＆ ∃ｚ（理ｚｘ）｝ Ａ
１ （２） 裁ａ→∃ｙ（書ｙａ）＆ ∃ｚ（理ｚａ） １ＵＥ
３ （３） ～∃ｚ（理ｚａ） Ａ
３ （４） ～∃ｙ（書ｙａ）Ｖ～∃ｚ（理ｚａ） ３ＶＩ
３ （５） ～｛∃ｙ（書ｙａ）＆ ∃ｚ（理ｚａ）｝ ４ド・モルガンの法則
１３ （６） ～裁ａ ２５ＭＴＴ
１ （７） ～∃ｚ（理ｚａ）→～裁ａ ３６ＣＰ
８（８）∀ｘ｛∀ｚ（～理ｚｘ）｝ Ａ
８（９） ∀ｚ（～理ｚａ） ８ＵＥ
８（ア） ～∃ｚ（理ｚａ） ９量化子の関係
１ ８（イ） ～裁ａ ７アＭＰＰ
１ （ウ） ∀ｚ（～理ｚａ）→～裁ａ ９イＣＰ
１ （エ）∀ｘ｛∀ｚ（～理ｚｘ）→～裁ｘ｝ ウＵＩ
という「述語計算（三段論法）」が「妥当」である以上、
① 裁決は、書面で行い、かつ、理由を付さなければならない。然るに、
② 裁決には、理由が無い。従って、
③ 裁決は無効である。
という「法的三段論法」が「妥当」であることは、「否定の仕様」が有りません！！
毛利太(16:04 2025/02/06)
2025年2月6日木曜日
法的三段論法（の述語論理）。
名古屋高等裁判所 令和７年（行＃）＃＃号
遺族一時金不支給決定処分取消等請求控訴事件
控訴理由書（の冒頭）
名古屋高等裁判所 御中
（民事 部）
令和７年＃＃月＃＃日
控訴人 毛利太
―「（法的）三段論法」―
（01）
（https://www.youtube.com/watch?v=W7byeozGYE4&t=235s）
従って、
（01）により、
（02）
従って、
（02）により、
（03）
従って、
（03）により、
（04）
従って、
（04）により、
（05）
従って、
（06）
従って、
（06）により、
（07）
従って、
（07）により、
（08）
然るに、
（09）
従って、
（08）（09）により、
（10）
然るに、
（11）
然るに、
（12）
従って、
（10）（11）（12）により、
（13）
従って、
（07）～（13）により、
（14）
然るに、
（15）
従って、
（14）（15）により、
（16）
然るに、
（17）
従って、
（16）（17）により、
（18）
11:01 2025/02/06 毛利太
登録:
投稿 (Atom)