纯归纳逻辑及其存在问题探析

Study on Pure Inductive Logic and Its Existing Problems

哲学家们经常讨论古德曼蓝绿悖论导致了卡尔纳普的归纳逻辑程序时代的终结。事实上,卡尔纳普主要考虑的是现实世界里我们所假定的概率问题的应用价值,并指出可以把归纳逻辑看作纯归纳逻辑,就像数学可分为纯数学和应用数学一样,主要研究概率的逻辑规则或推理规则,包括菲内蒂的表示定理、语言不变性原则和谱系可交换性原则等,并以此来回避蓝绿悖论。纯归纳逻辑和应用归纳逻辑相互交织,可以把纯归纳逻辑看作是数学逻辑的一部分,特别是不确定性推理的一个分支,数学家们所得的结论可能比纯技术的数学定理具有更广泛的意义。

The frequent discussion of Goodman's blue-green paradox by philosophers led to the end of Carnap's inductive logic process.In fact,Carnap mainly considers the application value of the probability problems we have assumed in the real world,and points out that the inductive logic can be regarded as pure inductive logic,just as mathematics can be divided into Pure and Applied mathematics.Logic rules or inference rules,including Finetti's representation theorem,the principle of language invariance and the spectrum exchangeability principle in order to avoid the blue-green paradox.Pure inductive logic and applied inductive logic are intertwined,and pure inductive logic can be regarded as part of mathematical logic,especially a branch of uncertainty inference.The conclusions obtained by mathematicians may be more extensive than pure mathematical theorems.