| 时态算子 tense operator 表示时态词的符号。按照时态逻辑的创始人、英国逻辑学家普莱尔(A.N.Prior， 1914— )的观点，时态逻辑特有的常项是：“情况曾是”、“情况现在是”和“情况将是”。因此，基本的时态算子有三个：P——代表过去时算子，读作：情况曾是;T——代表现在时算子，读作：情况现在是;F——代表将来时算子，读作：情况将是。其他一些常项则通过恰当的定义而引进。比如通过P(过去时算子)和F(将来时算子)去定义，可以引入另外两个时态算子。H——代表过去恒常算子，表示“情况曾总是”，它是作为“P ”的一种缩写而使用的。G——代表将来恒常算子，表示“情况将总是”，它是作为“F ”的一种缩写而使用的。 |