论真值函项和传统逻辑的复合判断

现代形式逻辑的真值函项是对传统逻辑的复合判断的抽象,具体地讲,真值函项是对复合判断的肢判断之间的真假关系的抽象。它撇开了肢判断之间的其它关系,例如内涵关系、模态关系以及其它方面的关系,并且把传统逻辑中的复合判断当成了它的一种特殊场合。也就是说,在现代形式逻辑中认为真的复合命题,而在传统逻辑中则可能是没有意义的。这是因为现代形式逻辑中命题的真假并不取决组成命题的判断在客观上的真假。正如塔尔斯基所说:“一复合命题的真或假只依赖于所联结的命题的真或假,与它们的含义无关”。