RoundTable

RoundTable

無の証明は本当にできないのか / 50

63 コメント
views
52 フォロー
50
パルス 2019/11/25 (月) 17:51:47 >> 48

①「"◯◯するのに××が必要"なとき、"××がなかったら◯◯はできません"」ってことになるわけじゃん。(A⇒B のとき、¬B⇒¬A ※ド・モルガンの法則)

じゃあ逆に考えて、「"××がなくても◯◯ができるとき、◯◯するのに××は必要ないです"」ってことになるわけだ。(¬B⇒Aのとき、¬(A⇒B) )

これら2つの事実を踏まえて考えてみよう。

太郎くんは女子高生盗撮の罪に問われました。ここで、太郎くんは無実を主張したいです、と。

ところで、主張というのは「相手に認めさせようとして強く言い張ること」であって、内容が絶対的に正しい必要はないでしょう？

つまみ、「太郎くんが頑張って認めさせようとしたら、それだけで"主張"が成り立つ」 わけだ。
確かに演繹法を使って完全に証明できるなら、そっちの方が良いのかもしれないでもない。しかしそれは主張としての最善策の話に過ぎない。
太郎くんの言っていることが主張になるためには全く必要ないことだよね。

具体的には、無実を主張したいんなら無実であることの蓋然性を高めればいいだけだよね

※同じ色同士で話が対応しています。

通報 ...
  • 51
    パルス 2019/11/25 (月) 17:54:22 >> 50

    上記のように、"必要ではないもの"を
    "必要であるとしてしまっていること"が「詭弁」とされる理由だよ。

  •
    52
    詠み人知らず 2019/11/26 (火) 08:43:43 >> 50

    「あいつは無実であることを証明できていないから無実を主張するには証明する必要がある！」
    これは現代の論理の常識からすれば間違った話、詭弁であるんだが、なんか新しい視点からの意見ってあったりしない？
    例えば、有無の判断の対象を我々が認識しているものと限定する場合、無は証明できるよね。
    というのも、先程の例で言えば、人生のストーリーすべてが完全に記録されていて何も悪事を働いていなければ無実は証明できる訳だし、現実的な話をすれば生まれたばかりの赤ちゃんの、犯罪における無実の証明は可能。

    じゃあ･･･これは何だったんだよ･･･
    アカシックレコードじみたものまで持ち出して主張としての最善策(証明できる/できない)に言及しはじめたのは、他ならぬきみ自身だぞ？

    つまみ、俺はきみが設定したベースラインに立ったうえで

    • 無実を証明することが出来なかったら「無実かどうかは分からない」ってのが論理的結論だと思う
    • 一生が記録されていることの証明(データに抜け落ちがないことの証明)なんてのは到底不可能だろうし、無実をカンペキに証明することはできない
    • 用いる公理(論理体系)を絞ることでカンペキの近似を得ることくらいしかできない
    • 無実かどうかは分からないという結論に対して「否、無実である！」と否定的立場をとるのであれば、論理的な手段で無実を証明する必要性が出てくる

    ･･･これ等の主張を展開していたわけだ。
    ここにきて「証明しなくても主張すること自体はできる」とか「それは主張としての最善策の話に過ぎない」みたいな異なるベースラインの話をされても「･･･だから？」としか返せんよ。

    無実を主張したいんなら無実であることの蓋然性を高めればいいだけ

    そうなんスけど、どうやって高めるんだ？って話なんスよ。

    太郎くんは盗撮したのか、あるいはしていないのか。
    無実なのか、あるいは無実ではないのか。

    推定無罪などの法的な公理には頼らず現代論理の視座から答えを追及していくならば、遅かれ早かれ証明する必要性が出てくるんじゃないスか？
    『人生のストーリーすべてが完全に記録されたデータの提示』って、蓋然性を高めるために行う証明の一例っスよね？
    太郎くんが無実であることの証明ってのは「犯人である蓋然性が0の近似であることの証明」ってことスよね？
    そういうベースラインでの会話だと思ってたけど、違ったんスか？