时间逻辑学的创立、历史及其研究意义  

The Found,History and Study Significance of Temporal Logic

作　　者：冯彦波[1] 陈河山[2] 

机构地区：[1]南开大学哲学系,天津300071 [2]河南大学,河南开封470001

出　　处：《华北水利水电学院学报（社会科学版）》2007年第4期101-104,共4页Journal of North China Institute of Water Conservancy and Hydroelectric Power(Social Sciences Edition)

摘　　要：时间逻辑是研究包含时间因素的命题及推理的哲学逻辑的一个分支。它在传统逻辑的基础上引入了时间算子,丰富了普通命题逻辑,从而克服了传统逻辑不能有效地描述或者处理事件在时间上的关系的不足。对逻辑学、哲学、语言学、计算机以及人工智能的研究和发展,有着重要的理论意义和实际应用。Temporal logic is a branch of Philosophical logic ,which investigates the proposition and inference including time. On the basis of Classic logic,it introduces the tempoal operators riching common proposition logic ,overcomes the deficiency in which Classic logic can not describes or deal the events in time relation and Tempoal logic has some important theory significance and practical apply to both the study and development in Logic, ,Linguistics, Computer science and Artificial Intelligence.

关 键 词：时间逻辑 传统逻辑 普赖尔 奎因 

分 类 号：B815.5[哲学宗教—逻辑学]