符号逻辑学与逻辑实证主义(续二)

以上是把a和b当作原子命题来看的。如果认为a、b自身也是由命题联结而成的,那么,对于更为复杂的命题的联结,也能进行演算。这是因为再复杂的联结,也无非是基本性联结的组合,它的真值也是原子命题的函项,用真值表是能演算的。符号逻辑学中的命题演算,比传统逻辑学中的判断论,具有广阔得多的适用性。

符号逻辑学与逻辑实证主义(续完)

四、命题函项演算在上述命题演算中,是把命题作为真值单位、作为一个整体来对待的,并没有考虑命题的内部结构。但是,命题是有各种各样的内部结构的。如前所述,传统逻辑学把一切命题都理解为“S是P”的形式。一般说来,对于陈述对象性质的命题,象“苏格拉底是哲学家”这一类简单命题,用传统逻辑学的处理方法还是可以的。然而,在命题中,也有与这种形式完全不同的逻辑形式。例如: