検証と反証の非対称性
命題の真偽の判定には以下の二種がある。
その命題を肯定する証拠を出す場合(「検証」、もしくは「実証」と呼ばれる)
その命題を否定する証拠を出す場合(「反証」と呼ばれる)
そして、全称命題の検証には対象となる範囲の全ての証拠が必要であるが、反証にはわずかな証拠で構わない。これを「検証と反証の非対称性」と呼んでいる。