非精确谓词逻辑推理

Imprecise Predicate Logic Reasoning

非精确概率逻辑是经典命题逻辑的扩张,因为它的元性质都是由命题逻辑的元性质推广而来的。自然扩张推广了命题逻辑的演绎过程;融贯性推广了命题逻辑的演绎封闭且一致。但是如何把谓词逻辑同非精确概率结合起来,以形成非精确谓词逻辑?为了让IP概率逻辑能够表达谓词,必须另辟蹊径。通过在状态描述上引入非精确概率,然后把非精确概率扩展到QFSL,进而通过IP推理的自然扩张扩展到SL上。这样就实现了非精确概率同谓词逻辑的结合,得出了非精确概率谓词逻辑推理。换言之,通过把主观主义嫁接在卡尔纳普的逻辑主义之上,可以实现这一步。

The Imprecise Probabilistic Logic is the expansion of the classical propositional logic,because its meta-property is popularized by the meta-property of propositional logic,that is,avoiding sure loss promotes Consistency,it is necessary to determine whether the premise is satisfied to Avoiding sure loss before reasoning,and Natural Extension generalizes the deductive process of propositional logic.And the Coherence generalizes Deductive closed and Consistency.However,it is an open question how to combine predicate logic with Imprecise Probability to form Imprecise Predicate Logic.This step can be achieved by grafting subjectivism on Carnap’s logicism.