布尔-施罗德逻辑代数中的命题逻辑–
布尔逻辑之七(尾篇)
一、一级命题与二级命题
布尔在他的《思维法则研究》一书中,给出了他有关命题的一个新理论,建立在他的类逻辑演算的基础上。布尔不愧是想象力的高手,他把命题分为两类,一类为一级命题,它对应于具体的“事物“类型;另一类为二级命题,它对应于抽象的“非事物”,也就是范畴般的类型。(见《思维法则研究》英文版第五章第53页)
“The sun shines”,这是一级命题的实例,自然对应一些具体的,如“太阳,闪耀“这样的事物。而“‘The sun shines’ is true(or false)”,这是二级命题的例子。它对应的是什么呢?它和哪一类具体的实体有关联呢?自然不会是与具体的事物相关,而是与抽象的实体相关。在这个二级命题中,具体的事物好像被人类的心灵给蒸发掉了。因为这个二级命题无关具体事物,仅仅只相关于一级命题,相关于认知主体对于那个一级命题的断定。那个一级命题当中,究竟有些什么具体事物含蕴其中,对于认知主体分析这样的二级命题,一点皮毛关系都没有,完全可以丢开不计。
由此,布尔开始借用一个哲学上的抽象范畴,那就是“时间”,用以展开他关于二级命题的一些设想。联系上这样一个抽象实体之后,我们就一步一步地走向了更为思辨的抽象,我们就会为数学与逻辑学先贤们的睿智与心灵而频发感叹。
二、二级命题的时间限定:古典的永恒真、有时真和有时假
布尔对二级命题相关于时间的想法,可以追源于柏拉图和亚里士多德,这正如他在自己的著作中所说的:
我们用“有些”这种限定语来限定一个一级命题的使用,但是,一个二级命题的限定,则通常使用“有时”。当我们说:“有时,不公正占上风”这个命题,它实际上等价于断定:存在着这样的一些时间段,在这些时间段中,“不公正占上风”是真命题。的确也存在这样的命题,命题的真并不限定于某个特指的时间或者说时间关口;命题在所有的时间段都是真的,这类命题可以获得“永恒真”的称号。对于每一个熟悉柏拉图和亚里士多德的读者来说,特别是对于熟悉亚里士多德的读者来说&