【锚点】这一篇只钉一个判断：Grice/Levinson 的「语用默认推理」模型说「some → not all」是自动的、零成本的；反应时实验说反了——它是慢的、要花认知资源的。

【显式】逻辑上「some」是存在量词 ∃：至少一个，可能全部。「Some elephants are mammals」在逻辑读法下为真。 【隐式】语用上「some」通常蕴含「not all」（scalar implicature，量级蕴含）。Grice 的数量准则 + Levinson (2000) 的 Default Theory 都主张这是自动附带的默认。 【细微】Bott & Noveck (2004, J. Memory & Language)：让被试读「Some elephants are mammals」。时间压力下（<~1s）更多人判「真」（逻辑读法）；无压力下更多人判「假」（语用读法）。语用读法的反应时显著更长。 【极难发现】Noveck (2001, Cognition)：5–9 岁儿童比成人更倾向逻辑读法，接受「some elephants are mammals」为真。也就是说，那个「默认」的语用含义，是发展上后来才习得的、需要额外计算的东西——它根本不是默认。

【流程节点链路】字面语义 ∃x φ(x) → 说话者选了弱量级词 → 听者推理「他本可说 all 却说 some，故 all 不成立」→ 附加 ¬∀x φ(x) → 该附加步骤可撤销（上下文可取消） → 得到语用读法。关键：第 4 步是额外计算，不是语义的一部分。

【形式化】把「some」的语义写成 ∃x φ(x)。语用推理是叠加其上的一个可撤销步骤 ¬∀x φ(x)。它不是真值条件的一部分，是推理者主动加上去的。所以「some 的默认含义是 not all」在形式上就是错的——默认是字面义，聪明解读才是昂贵的。

【系统思维视角】这推翻了一个更普遍的直觉：「默认 = 自动 = 快 = 便宜」。很多系统里，真正便宜的恰恰是字面/朴素解读，而「聪明」的解读是昂贵计算。这对任何「默认值」设计（形式系统、协议默认、接口默认、语用默认）都有含义：不要假设默认就是零成本，也不要假设所有推理者都愿意付这个成本。

【值得辩论的问题】如果语用含义是昂贵计算而非默认，那么在资源受限的推理者之间（低带宽、高延迟、注意力有限），会不会系统性地退化到字面义读法——「some」被读成「∃，可能全部」？换句话说：合作性的语用解读，是不是算力充裕时才负担得起的奢侈品？