古代运动观：先分类解释，再追问如何检验

本课要解决的问题

日常观察中重物下落、烟雾上升、推车停下，能否由一套统一且可检验的规则解释？

这不是先背名词再找用途。我们从一个确切问题出发，逐步抽出能够重复使用的数学结构。学完本课，你应能解释“为什么要这样定义”，并独立完成一个计算或证明。

早期自然哲学常把运动分为趋向适当位置的自然运动与外力造成的受迫运动，并用物体性质和环境解释变化。这套框架组织了大量经验，却没有稳定地把距离、时间、速度和外力变成可重复测量的变量。科学进步不是嘲笑旧答案，而是发现哪些问题尚未能判错。

一个可检验陈述至少需要：明确对象、可操作测量量、预测关系和可能推翻它的观察。‘重物更自然地向下’难以给出数值反例；‘在控制空气阻力时，下落加速度与质量无关’则能设计比较实验。

若声称质量加倍会使同高度下落时间减半，便可在相同形状、不同质量的小球间测量时间比。预测给出 t₂/t₁=1/2；若重复测量接近1，模型就受到反驳。

不能把现代术语直接投射给古代文本，也不能把历史写成单一路线。这里比较的是解释结构和证据标准，而不是做人物优劣排名。

把‘重物落得快’改写成含高度、物体形状、介质与计时方法的可检验命题，并写出一个可能反驳它的结果。

完成页面中的单选、多选和计算题。计算题要保留中间步骤；多选题漏选或多选均视为没有掌握定义。错误按“对象、运算、条件、推理、计算”标出第一处失误，隔一天遮住答案重做。