略谈时态逻辑  

作　　者：张家龙 

出　　处：《哲学动态》1979年第12期24-26,共3页Philosophical Trends

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

关 键 词：时态逻辑 子语句 时态算子 时态形式 六十年代 形式化 英语 推理系统 逻辑学家 动词 

分 类 号：B0[哲学宗教—哲学理论]