布尔-施罗德逻辑代数中的命题逻辑-- 布尔逻辑之七（尾篇**）

布尔-施罗德逻辑代数中的命题逻辑–
布尔逻辑之七（尾篇）

一、一级命题与二级命题

布尔在他的《思维法则研究》一书中，给出了他有关命题的一个新理论，建立在他的类逻辑演算的基础上。布尔不愧是想象力的高手，他把命题分为两类，一类为一级命题，它对应于具体的“事物“类型；另一类为二级命题，它对应于抽象的“非事物”，也就是范畴般的类型。（见《思维法则研究》英文版第五章第53页）

“The sun shines”，这是一级命题的实例，自然对应一些具体的，如“太阳，闪耀“这样的事物。而“‘The sun shines’ is true（or false）”，这是二级命题的例子。它对应的是什么呢？它和哪一类具体的实体有关联呢？自然不会是与具体的事物相关，而是与抽象的实体相关。在这个二级命题中，具体的事物好像被人类的心灵给蒸发掉了。因为这个二级命题无关具体事物，仅仅只相关于一级命题，相关于认知主体对于那个一级命题的断定。那个一级命题当中，究竟有些什么具体事物含蕴其中，对于认知主体分析这样的二级命题，一点皮毛关系都没有，完全可以丢开不计。

由此，布尔开始借用一个哲学上的抽象范畴，那就是“时间”，用以展开他关于二级命题的一些设想。联系上这样一个抽象实体之后，我们就一步一步地走向了更为思辨的抽象，我们就会为数学与逻辑学先贤们的睿智与心灵而频发感叹。

二、二级命题的时间限定：古典的永恒真、有时真和有时假

布尔对二级命题相关于时间的想法，可以追源于柏拉图和亚里士多德，这正如他在自己的著作中所说的：

我们用“有些”这种限定语来限定一个一级命题的使用，但是，一个二级命题的限定，则通常使用“有时”。当我们说：“有时，不公正占上风”这个命题，它实际上等价于断定：存在着这样的一些时间段，在这些时间段中，“不公正占上风”是真命题。的确也存在这样的命题，命题的真并不限定于某个特指的时间或者说时间关口；命题在所有的时间段都是真的，这类命题可以获得“永恒真”的称号。对于每一个熟悉柏拉图和亚里士多德的读者来说，特别是对于熟悉亚里士多德的读者来说&