一致性原理

L．J．柯恩的非帕斯卡归纳概率逻辑的逻辑句法有两大部分，其一是归纳支持分级逻辑句法；其二是归纳概率分级逻辑句法。两者之间的关系类似于演绎理论中逻辑真值理论与逻辑句法理论之间的关系。在非帕斯卡归纳概率逻辑中的同一名称句法规则有两种不同类型。在归纳支持分级逻辑句法中，一致性原理的表达式是：对于任意U、P和E，如果U是一阶全称条件句且与特殊个体无关；同时P恰为U的代换例，那么S〔U，E〕=S〔P，E〕及S〔U〕=S〔P〕。在这里S〔，〕是归纳支持分级二元函项，S〔U〕是归纳支持分级一元函项。所谓P为U的代换例就是指P是通过对U中出现的不同的约束变量用不同的个体常元代入而得到的命题。在归纳概率分级句法中，一致性原理的表达式是：令H是一公式，xH是H的全称量化，那么P〔H〕=P〔xH〕。在这里P〔 〕是归纳概率分级一元函项。