【锚点】这一篇只钉一个判断：【意义不是词所携带的指称，而是符号在系统差异中获得的值】。计算语言学把这个老判断变成了可测的几何。

【显式】索绪尔《普通语言学教程》(1916) 说语言符号由【能指】与【所指】任意结合，但符号的【价值】来自与其他符号的差异。语音里，/p/、/b/、/t/ 的最小对立是：/p/ 清双唇塞音，/b/ 浊双唇塞音，/t/ 清齿龈塞音；它们各自的意义不是来自空气振动本身，而是来自彼此分界。

【流程节点链路】起点：最小对立（/p/、/b/、/t/ 或 cat、dog、kitten）→ 中间节点：分布假设把对立转成共现差异 → 终点：向量空间里的差值成为可计算的意义差。

【隐式】Harris(1954) 的分布假设和 Firth(1957) 的名言『你从词的同伴中认识它』，把结构主义的差异问题转成语料问题：如果两个词反复出现在相似上下文，它们在语义空间里应靠近；如果上下文系统性不同，它们应远离。

【细微】word2vec/GloVe 类模型让这一点可检验：Mikolov 等人(2013) 的 300 维词向量中，king - man + woman 的最近邻常出现 queen；Paris - France + Italy 出现 Rome。这不是模型理解了『性别』或『首都』，而是语料里『king/queen』『France/Italy』的共现差被线性化。

【极难发现】这里藏着张力：索绪尔的【差异】是社会性的、同步的，而向量空间是语料的、统计的。它把【差异】从结构关系压成距离，于是也压入了语料的社会偏见——职业词、性别词、地域词的方向会复现现实中的共现不平等。词向量不是中立的地图，它是一张带权的社会使用地图。

可检验点：如果两个词只是同形异义（bank=河岸/银行），单一向量会平均化语义；若做词义消歧，bank_river 与 bank_finance 的上下文距离应显著大于 bank_river 与 river 的距离。若这个检验失败，说明【差异几何】在该语料里不成立。

问题：当【差异】可以被距离测量时，语言是否就从符号系统变成了社会统计机器？