仮言三段論法
仮言三段論法（英: Hypothetical syllogism）は、論理学において2種類の用法がある。命題論理では一種の推論規則を表し、論理学史では、ある種の論理的帰結を得る理論を指す。仮言的三段論法あるいは蓋然的三段論法とも。
命題論理
仮言三段論法は古典論理学の証明規則の1つであり、非古典論理学では採用されないこともある。仮言三段論法は、以下の形式に従う妥当な論証である。
- P → Q
- Q → R
- 従って、P → R
記号的に表現すると次のようになる。
言い換えれば、ある概念が別の概念を包含し、その別の概念が第三の概念を包含するとき、最初の概念は第三の概念を包含する。仮言三段論法の例を以下に示す。
- もし私が目覚めなければ、私は仕事に行けない。
- もし私が仕事に行けなければ、私は給料が貰えない。
- 従って、もし私が目覚めなければ、私は給料が貰えない。
仮言三段論法の利点は、事実に反する仮定を使うことができる点である。つまり、前提として一般には偽であるような仮定を用いて、全体として真であるような論証を行うことができる。
妥当な仮言三段論法に使用可能な事実に反する仮定の例を以下に示す。
- もしジョージ・ワシントンにひげがあったら、彼は目立ったことだろう。
- もしヨギ・ベラが本塁打を800本打ったとしたら、それは驚異的であろう。