略谈时态逻辑

在英语中,动词有时态形式。对于包含时态动词的语句以及以这种语句为基础的推理,原有的逻辑(有人称之为“标准逻辑”)未加研究,也没有提供足够的工具。因此,从六十年代以来,一些逻辑学家着手建立时态逻辑,现已创造了时态逻辑的许多系统,取得了很多成果,从而开拓了逻辑的新领域。时态逻辑的基本目的就是把时态语句形式化,并且把包含这种语句的推理系统化。