論点先取の虚偽
論証において、未証明の論理式を証明済みの命題として採用してしまうことにより発生する論理の誤謬の1つ 例
1. 「Tomは嘘つきでない」($ :\iff P)と仮定する
2. $ Pより「Tomが話していることは本当である」($ :\iff Q)が導かれる
ここまではいい
3. よって$ Qは正しい
ここが問題
$ P\implies Qは証明されたが、そこから仮定を落とした論理式$ Qを導くことは出来ない
推論規則にそんなルールはないし、そんな事ができる論理体系を作ったらほぼ意味がなくなる
うーん、これは前提の先取りではなく、導入した仮定を途中で忘れてしまうということなのでは？takker.icon
このprojectでは後者に統一するtakker.icon
読み方
ろんてんせんしゅ
決して「ろんてんさきどり」ではない
References