华北水利水电学院学报（社科版）
華北水利水電學院學報（社科版）
화북수이수전학원학보（사과판）
JOURNAL OF NORTH CHINA INSTITUTE OF WATER CONSERVANCY AND HYDROELECTRIC POWER(SOCIAL SCIENCES EDITION)
2007年
4期
101-104
,共4页
时间逻辑%传统逻辑%普赖尔%奎因
時間邏輯%傳統邏輯%普賴爾%奎因
시간라집%전통라집%보뢰이%규인
时间逻辑是研究包含时间因素的命题及推理的哲学逻辑的一个分支.它在传统逻辑的基础上引入了时间算子,丰富了普通命题逻辑,从而克服了传统逻辑不能有效地描述或者处理事件在时间上的关系的不足.对逻辑学、哲学、语言学、计算机以及人工智能的研究和发展,有着重要的理论意义和实际应用.
時間邏輯是研究包含時間因素的命題及推理的哲學邏輯的一箇分支.它在傳統邏輯的基礎上引入瞭時間算子,豐富瞭普通命題邏輯,從而剋服瞭傳統邏輯不能有效地描述或者處理事件在時間上的關繫的不足.對邏輯學、哲學、語言學、計算機以及人工智能的研究和髮展,有著重要的理論意義和實際應用.
시간라집시연구포함시간인소적명제급추리적철학라집적일개분지.타재전통라집적기출상인입료시간산자,봉부료보통명제라집,종이극복료전통라집불능유효지묘술혹자처리사건재시간상적관계적불족.대라집학、철학、어언학、계산궤이급인공지능적연구화발전,유착중요적이론의의화실제응용.
