鲁道夫·卡尔纳普概率确证理论及其方法论意义

卡尔纳普认为，“确证”只是对现阶段的得到的确定，“概率”是归纳前提（证据）对结论（假说）的确证，可用函数c（h，e）表示。为了计算c的值，卡尔纳普定义了状态描述、结构描述、量程等重要概念和定理，在构建的一阶语言系统Ln中，引入了测度函数m和确证函数c，其中测度函数是确证函数的基础，由语句所满足的状态描述的测度函数m值来确定确证函数c的值，后来又引入了λ参数进一步完善了他的理论。他的这一理论为归纳逻辑的形式化做出了巨大的贡献，对科学的合理性作出了辩护，并没沿概率的方向发展了现代归纳逻辑。