出处：哲学卷 • 逻 辑 学 • 总 论
| 词条 | 时态逻辑 |
| 释义 | 时态逻辑 时态逻辑 亦称“时序逻辑”。现代逻辑的一个分支。研究包含时态词的命题和使用这种命题进行的推理的逻辑学说。20世纪50—60年代,西方逻辑学家研究英语等语言中动词的时态形式而开始建立起来。其基本目的是把包含时态词的命题形式化,并把使用这种命题进行的推理系统化。汉语动词没有时态形式,没有词形的变化,而用时间词、时间副词和时态助词表示时间关系。时态逻辑对于汉语中时态语句的刻画同样是有意义的。 出处：哲学卷 • 逻 辑 学 • 总 论 时态逻辑 亦称“时序逻辑”。对时态语句作形式的处理,系统地研究与时间有关的形式推理的现代逻辑分支学科。属于非标准逻辑和广义的模态逻辑。1947年,波兰逻辑学家洛斯(J. 出处：数理化力学卷 • 数 学 • 数理逻辑 • 数学基础 |
| 随便看 |
百科全书收录258893条中英文百科知识，基本涵盖了大多数领域的百科知识，是一部内容开放、自由的电子版百科全书。