一个辩证命题的形式化

《哲学研究》1981年第1期上发表了林邦瑾同志的《“矛盾”命题的无矛盾形式》一文,其中第二部分试图把命题“运动着的物体在同一瞬间既在同一地方又不在同一地方”形式化。但这个形式化依据于一点,即是否当m趋近于无穷时,区间[Sm,S′_m]和[S_m,S(m+1)]可以看成同一地方;