四、空间形式与时间逻辑