非精确谓词逻辑推理

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