卡尔纳普归纳理论探析

卡尔纳普用状态描述作为刻画世界可能情况的基本概念,通过语句的逻辑域之间的关系来刻画推理的前提与结论之间的逻辑联系,但在无穷个体域中遇到了对状态描述计数的困难。他提出“共同恰当性条件”以解决非概括句在无穷个体域中的确证问题。用G函数和λ函数作为归纳方法的特征函数,但在他所选择的c~*函数中得出无限全称事实句确证度为零的结果。而这个结果不是不可避免的。