| 时间逻辑学的创立、历史及其研究意义 |
| |
| 引用本文： | 冯彦波,陈河山.时间逻辑学的创立、历史及其研究意义[J].华北水利水电学院学报(社会科学版),2007,23(4):101-104. |
| |
| 作者姓名： | 冯彦波 陈河山 |
| |
| 作者单位： | 南开大学哲学系 天津300071(冯彦波)，河南大学 河南开封470001(陈河山) |
| |
| 摘 要： | 时间逻辑是研究包含时间因素的命题及推理的哲学逻辑的一个分支。它在传统逻辑的基础上引入了时间算子,丰富了普通命题逻辑,从而克服了传统逻辑不能有效地描述或者处理事件在时间上的关系的不足。对逻辑学、哲学、语言学、计算机以及人工智能的研究和发展,有着重要的理论意义和实际应用。
|
| 关 键 词： | 时间逻辑 传统逻辑 普赖尔 奎因 |
| 文章编号： | 1008-4444(2007)04-0101-04 |
| 修稿时间： | 2007年5月29日 |
The Found, History and Study Significance of Temporal Logic |
| |
| FENG Yan-bo,CHEN He-shan.The Found, History and Study Significance of Temporal Logic[J].Journal of North China Institute of Water Conservancy and Hydroelectric Power(Social Sciences Edition),2007,23(4):101-104. |
| |
| Authors: | FENG Yan-bo CHEN He-shan |
| |
| Abstract: | 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. |
| |
| Keywords: | Temporal logic Classic logic Prior Quine |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
