期刊文献+

“运动着的物体每一瞬间既在这儿又不在这儿”的一个形式证明 被引量:1

A Formal Proof of It That Moving Object Is Both Here and Not Here Any Moment
在线阅读 下载PDF
导出
摘要 空间状态集比时间状态集高一个基数。因此 ,时间状态和空间状态的对应 ,不是一对一的关系 ,而是一对多的关系。这就为“运动着的物体每一瞬间既在这儿又不在这儿”这样的以往只能以哲学思辩来把握的辩证命题 ,在相关的形式刻画和逻辑模型的基础上 。 This paper is to advocate a method of formal analysis within philosophical arguments. Based on some acceptable assumptions, this paper tries to prove that the cardinal of space set is higher by one than that of time set, so that the correspondence between time set and space set is not one to one but one to more. Therefore, it provides a formal proof to such proposition as 'moving object is both here and not here in every moment', which has usually been caught by only the philosophical thinking.
作者 陈慕泽
出处 《湘潭师范学院学报(社会科学版)》 2001年第1期22-24,共3页 Journal of Xiangtan Normal University(Social Science Edition)
关键词 空间状态集 时间状态集 形式证明 逻辑模型 哲学 运动论 space state set times state set formal pro
  • 相关文献

同被引文献5

引证文献1

二级引证文献17

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部