【锚点】这一讲钉一个【形式逻辑×语用学】判断：【有些 S 是 P】在【经典逻辑】里不排斥【所有 S 是 P】，但在【日常对话】里常触发【并非所有 S 是 P】的【标量含义】；把两套合同混用，会把【逻辑真值】误读成【言外承诺】。 【显式】谓词逻辑中，“有些 S 是 P”写作 ∃x(Sx ∧ Px)。若所有 S 都是 P 且至少有一个 S，该式为真。因此“有些学生通过了”在“全部通过”时仍然为真。 【隐式】Grice (1975) 的数量准则要求说话人给出足够信息；Horn (1972) 的标尺 让听者把弱词 some 读成对强词 all 的回避。于是“有些学生通过了”默认蕴含“并非全部通过”。 【细微】这是可撤回的默认，不是定理。若说话人不知道、故意保守、或处于法律免责语境，“not all”可以被取消。系统里的“默认规则”同理：bird(x) → fly(x) 可被 penguin 例外撤回（Reiter, 1980）。 【极难发现】真正危险是合同切换：把语用默认当逻辑真值，把系统沉默当否定证据。报警系统无告警只有在“告警路径存活 + 阈值有效 + 故障会触发”三个前提同时成立时，才支持“无故障”；只要漏报率 > 0，沉默就不能当否定证明。 【流程节点链路】：逻辑真值（some 为真） → 语用标尺（some/all） → 默认承诺（not all） → 撤回条件（无知/保守/异常） → 误读风险（沉默=否定）。 最舒服的误读，是把默认当定理。当“有些”“默认”“沉默”进入合同、规则、协议时，谁有权取消默认？取消成本由谁承担？