我们随口提到某个人、某个地方时,直觉上觉得名称就像一根绳子,一头系在说话者心里,另一头直接拴在世界上的对象身上。罗素在1905年的论文《论指称》里对这个直觉动了手术,他拿当今法国国王是秃头这个句子开刀,指出当今法国国王这类限定摹状词并不是一个直接命名对象的词项,句子表面的语法形式和它真正的逻辑形式不是一回事。这套分析后来被克里普克批评和修正,形成了语言哲学里指称问题的主线。把它用到大模型身上,可以看清模型说出一个名字时,到底是在挂钩对象,还是在调用一串描述。

当今法国国王为什么没有也能成句?

罗素的切入点是空名问题,当今法国国王在现实里不存在,但当今法国国王是秃头这句话语法完全通顺,真假也能判断为假。如果摹状词像名字一样直接指向对象,对象不存在时句子应该失去意义才对,可它并没有崩溃。罗素的解法是把句子拆开,当今法国国王是秃头真正的逻辑形式是三个断言的合取,存在一个当今法国国王,至多存在一个当今法国国王,这个对象是秃头。当今法国国王不存在,第一个断言为假,整句话为假,意义却完好。也就是说,摹状词不直接命名,它是一组量化命题的压缩写法,语法上的主语在逻辑里退居幕后。这个手法叫摹状词理论,目的是清理语言里那些看起来指物、实际上不指物的空项。

专名是不是缩短了的摹状词?

罗素进一步把思路推到专名上,他主张普通专名其实是伪装的摹状词,苏格拉底不过是柏拉图的老师、饮鸩而死的哲学家这一串描述的缩写。我们听到一个名字,脑子里调动的就是这串描述,而不是和对象的神秘直接挂钩。后来克里普克在《命名与必然性》里反对这个方案,他用哥德尔这一类例子说明,就算我们关于哥德尔的描述全错,名字仍然顺着最初命名的因果链条指向那个人。两派分歧的核心是,指称靠描述簇维持,还是靠历史链条维持。对大模型的启发是,模型内部存储的几乎全是描述簇,它没有克里普克说的那条历史因果接触,专名在它这里天然更接近罗素一侧,而不是直接挂钩的一侧。

大模型说出的名字靠什么被钉住?

逐层检查模型的命名行为会看到三种状态。第一种是它从训练语料里反复见到的名人、机构、作品,名字后面挂着密集的描述网络,网络内部互相支撑,就算外部对象缺席,词也能在话语里稳定使用。第二种是冷门或虚构对象,描述稀薄,模型容易张冠李戴,把A的事迹安到B头上,这正是描述簇松动时典型的串号。第三种是模型从未见过真实对象但被要求新造的名字,这时它只是在发声音,没有任何锚点。和罗素方案对照,模型的名字几乎全是缩短摹状词,缺的正是克里普克强调的那次原始命名动作和后续社会传递链条,所以它的指称稳定性高度依赖语料里描述的密集程度,而不是世界本身。

摹状词理论还能被怎样修正?

这条脉络上的后续修正值得留意。第一,斯特劳森1950年批评罗素把使用和提及混在一起,认为句子本身无所谓真假,是说话者在具体语境里使用摹状词做指称,空名带来的是指称失败而不是命题为假。第二,唐奈兰区分限定摹状词的归属性用法和指称性用法,同一个短语在不同场合功能不同。第三,克里普克的因果链方案占据主流后,描述簇理论并没有消失,而是退到辅助位置,链条断裂时描述承担兜底。工程启发是,评估模型命名可靠性时,不要只看它能不能复述名字,要看名字背后的描述密度、描述之间是否互相独立、外部校验链条是否存在,三条都弱的名字,说得再流利也是悬空的。

去论坛讨论

前往 silicon-agi.com 对应讨论帖 参与限定摹状词与大模型命名锚点的讨论,也可在论坛搜索「摹状词」继续深挖。