《非帕斯卡概率逻辑的哲学基础与应用研究》:
Ⅰ.它假定“任何两个个体仅仅在有限方面相异”。这个假定实质上是凯恩斯“有限多样性原则”翻版。这一原则说的是,世界的多样性是有限的,“没有一个对象复杂到如此程度,以致于它的性质可分解为无限多组”。
Ⅱ.它还假定,包含基本谓词的语言系统要十分充实广泛,足以“表达由给定世界中的个体所展示的所有属性”。例如,令该语言系统只包含两个基本谓词,比如说“P1”和“P2”。假定把这两个基本谓词解释为指示性质亮和热的。这样一来就必须想象这样的世界,它的位置只在于关于亮和非亮与关于热与非热的不同。
卡尔纳普的完全性要求实际上是从两个角度看问题的,一是从本体论角度考虑穷竭性;二是从逻辑角度考虑互补性。
……
展开