两个操作符，两个范围
Everyone did not attend. 在合适的语境中可能被用来表达“并非所有人都来了”，也可能表达“所有人都没来”。前者可写为 ¬∀x attend(x)，后者可写为 ∀x ¬attend(x)。
两个形式在有人来、有人没来的世界里得出不同结果。若三人中两人来了，“并非所有人来”为真，“所有人都没来”为假。用具体模型比较，能避免让“差不多的意思”掩盖逻辑差异。
范围是关系，不只是位置
一个量词在逻辑表示中覆盖另一表达式，说明它如何影响解释。表面先出现的词，并不总能直接决定逻辑范围。不同语言和构式，对可能解释的限制也不一样。
形式化分析需要同时说明：哪些解读存在，哪些更容易得到，哪些在特定语境下仍然难以接受。语义可能性与实际加工偏好不能混作一件事。
存在量词也会制造交叉
A student read every book. 可以描述某一个学生读完所有书，也可以在允许的解读中描述每本书都有某个学生读过，而这些学生未必相同。比较 ∃x∀y 与 ∀y∃x，重点是量词顺序怎样约束指派。
要区分这两种情况，可以构造三名学生和三本书的阅读表。仅写中文翻译可能仍然含混；把谁读了哪本书逐项填入，差别才真正显现。
真值条件与会话推理
如果某句话在模型中为真，它仍可能在对话里显得别扭、信息不足或带有特殊暗示。语义分析告诉我们它在什么条件下成立，语用分析则关注说话者为何在此刻选择它。
不要因为“通常听起来像另一种意思”，就把逻辑等价和常见会话解读画上等号。一个好的分析会把字面条件与额外推断分别列出。
用三个人做一次小实验
在实验室勾选三个人是否到场，再切换两种逻辑读法。系统将依据模型计算真假，并展示公式与中文解释。
测试最有信息量的情形，不是三人全来或全不来，而是混合情形。学习语义时，主动寻找能区分两个分析的反例，是一种非常重要的习惯。
资料与继续阅读