时态逻辑

　　早在古希腊时期，麦加拉- 斯多阿学派在讨论模态概念时就已经涉及到时间概念，中世纪逻辑学家也探讨过时态语句。1947年H. 赖兴巴赫专门对文法时态作了逻辑分析。同年，波兰逻辑学家J.洛斯建立了时态逻辑的第一个 形式公理系统。英国逻辑学家A.N.普莱尔发展了洛斯的思想，于1957年建立了时态逻辑的两个系统。美国逻辑学家N.莱肖尔改进了普莱尔的工作，也于1966年建立了时态逻辑的两个系统。芬兰逻辑学家C.H.von莱特在1963年和1965年，独立于洛斯和普莱尔建立了较弱的时态逻辑系统。60年代以来，时态逻辑的成果逐渐增加，现已发展成为一门比较成熟的学科。它在对时态语句和包含时态语句的推理方面，以及在人工智能、 科学哲学等方面都有很大的作用或影响。

逻辑

　　构成时态逻辑的基本成分是时态语句。时态语句分为两种:①时间上确定的语句;②时间上不定的语句。时间上确定的语句的根本特点是，它们的真值不依赖于说出它们的时间,例如,“5是一个素数”,“地球总是绕太阳运行的”。时间上不定的语句的根本特点是，它们的真值要依赖说出它们的时间，例如，“延安曾是中国共产党中央所在地”,“今天我很高兴”,“明天北京将下雨”。时态逻辑主要研究时间上不定的语句。
英语中有 一般现在时、过去时、 将来时三种基本时态，它们可以组成时间上不定的语句；在汉语中是用时间副词“现在”、“过去”和“将来”修饰动词的办法组成时间上不定的语句。为了把时态语句形式化，需要引进下列三个时态算子：
F 代表将来时态算子；
P 代表过去时态算子；
T 代表现在时态算子。
有了时态算子就可以把“延安曾是中国共产党中央所在地”这类语句部分 符号化成为：
P（延安是中国共产党中央所在地）。
在时态算子之后括号内的语句叫做原子语句，可用小写斜体字母 p, q等表示。这样,该语句的完全符号化就是 Pp。原子语句在英语中是现在时态，而现在时态算子可以省略。

语义解释 p q p q p q p q F μ 二元关系 μ μ μ μ μ μ μ F μ μ P