非精确谓词逻辑推理

逻辑学研究 2019 年第 4 期， 1–16                     文章编号： 1674-3202(2019)-04-0001-16

作者：潘文全

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

关键词： 赌局；非精确概率；自然扩张；谓词逻辑

中图分类号： B81                                         文献标识码： A