信道确证和预测确证——从医学检验到乌鸦悖论

摘要：在证伪和证实之间的长期争论之后，全称假设的证实被不确定大前提的确证所取代。不幸的是，Hemple发现确乌鸦悖论(又叫确证悖论)——在等价条件和尼科德准则之间存在矛盾。然后Carnap提出用逻辑概率的增量作为确证测度。为了确证大前提并消除乌鸦悖论，研究者们提出多种确证测度。其中由Kemenv和Oppenheim提出的F测度具有Elles和Fitelson提出的对称性和不对称性、Crupi等人提出归一性(确证度在-1和1之间变化)、Greco等人提出单调性. 基于语义信息方法并以医学检验为例，一个和F类似的确证测度b*被推导出来。b*和F同似然比类似，能体现信道或检验手段有多好，但是不能体现概率预测(根据阳性或阴性预测有病或没病)有多好。并且，用b*、F或其他测度还是不能清楚解释如何消除乌鸦悖论。为此，类似于正确率的确证测度c*被推导出来。c*有形式简单：(a-c)/max(a,c)，它明确支持尼科德准则并反对等价条件，因此用它可以消除乌鸦悖论。F、b*和c*都表明，较少反例比较多正例更重要，它们因此兼容Popper的证伪思想。

关键词：确证，语义信息，医学检验，乌鸦悖论，归纳推理， Popper思想