| 时态命题的真值 truth value of chronological proposition 时态命题所取的真假值。由于时态命题的真值同陈述命题的时间有关，因而时态命题的真值，是以不带时态算子的原子命题在其他时间点为真作为参考点来决定的。根据这种方法，各种时态命题的真值情况如下：(1)过去时命题Pp相对于一个时间点t来说是真的，当且仅当，p相对于一个在t之前的时间点来说是真的。例如“在北京召开了鲁迅诞辰一百周年纪念大会”这一命题，相对于一个时间点t(假定是1985年)来说是真的，当且仅当，“召开鲁迅诞辰一百周年纪念大会”，相对于一个在t之前的时间点(如1981年)来说是真的。(2)将来时命题Fp相对于一个时间点t来说是真的，当且仅当，p相对于一个在t之后的时间点来说是真的。例如“中华人民共和国政府将于1997年7月1日对香港恢复行使主权”这一命题相对于一个时间点t(假定是1986年)来说是真的，当且仅当“中华人民共和国政府对香港恢复行使主权”相对于一个在t(1986年)之后的时间点(1997年7月1日)来说是真的。(3)过去恒常命题Hp相对于一个时间点t来说是真的，当且仅当，p相对于所有在t之前的时间点来说是真的。例如“六十年代以前我国的石油总是依赖进口”这一命题相对于一个时间点t(1960年)来说是真的，当且仅当，“我国石油依赖进口”相对于所有在t(1960年)之前的时间点来说是真的。(4)将来恒常命题Gp相对于一个时间点t来说是真的，当且仅当，p相对于所有在t之后的时间点来说是真的。例如“中国将永远不做超级大国”这一命题相对于一个时间点t(假定1971年)来说是真的，当且仅当，“中国不做超级大国”相对于所有在t(1971年)之后的时间点来说是真的。 |