普莱尔，A．N．

【生卒】：1914～1969

【介绍】：

英国逻辑学家、哲学家。时态逻辑的开创者。1955年发表论文《第欧多鲁的模态》，提出了时态逻辑。1957年出版专著《时间和模态》。在这本专著中，他用自然数表示时间点，并以自然数之间的大小关系表示时间点之间的先后关系，构造了一个时态逻辑系统；并用时态算子定义模态算子得到了第欧多鲁的模态逻辑系统，这系统强于模态系统S4但弱于S5。普莱尔的这一时态逻辑系统由通常的古典命题逻辑的全部公理和推理规则(替换规则，分离规则和量词规则)，再加上下列公理和规则而得：

Fp→Fp，Fp→Fp，

F(p→q)→(Fp→Fq)，

Fp→p，FFp→FFp，

F(n)Fp→(n)FFp，

从A可推出FA。

他用F表示将来；(如以天为时间单位)Fp表示：将来n天有情况p在《时间与模态》一书中，他还提出了一个相当于模态系统T的时态系统。1967年出版专著《过去、现在和将来》，综述和推广了他过去10年间时态逻辑方面的工作，书中第二、三两章的内容启发了模态逻辑和时态逻辑的对应理论的发展。他的主要论文还有：《事件中的变化和变化中的事件》(1962)、《时态逻辑的公设》(1966)、《时间和变化》(1968)、《模态逻辑和可应用性的逻辑》(1968)以及《作为谓词的有时态的命题》(1969)等。