客问白马非马乎，公孙龙答曰可。常人大惊，白马怎么会不是马，这不是诡辩吗。两千多年后重看《公孙龙子白马论》，它争的其实是命名、属性与集合成员的关系，而这恰恰是AI分类、概念边界、多标签判定天天要面对的问题。古代辩题里藏着一套尚未写完的概念分析。

白马论原文的推理链是怎么搭的？

公孙龙的论证分几步。第一，求马，黄马黑马皆可致，求白马，黄马黑马不可致，若白马是马，则求马与求白马相同，可二者结果不同，故白马非马。第二，马者所以命形也，白者所以命色也，命色者非命形也，两个命名对象不同，形的名与色的名不能混为一谈。第三，马无色故可因白而名白马，白非马也，白与马结合之后是一个复合对象，不能退回去说它就是马。客方反驳以有白马为有马，公孙龙用离白论回应，白是外加于马的属性，命名复合与命名基底不是一回事。整篇辩论在名的层面展开，不否认白马在现实中属于马类，争的是名与实、属与种的关系。

用集合与属性语言怎么重述？

现代语言可以把白马看成马集合与白色集合的交集成员。问白马非马，关键看非字取哪层意思。若指不是马这个物种成员，公孙龙显然错了，白马仍是马的子集。若指白马这个复合概念不等于马这个单纯概念，二者外延不同，马包括所有颜色，白马只含白色，命题成立。公孙龙强调的正是后者，他把属性白从基底形中抽出，说明复合概念的命名不等于基底概念的命名。这与属种关系、多标签分类、实体标注直接相关，一个对象可以同时归属多个概念，概念之间外延有交有差，名称指称的是复合还是基底必须分开说。名家的另一篇坚白论进一步主张坚与白可分别离物而独立被认识，讨论属性是否共相。

AI 分类里为什么反复出现这个问题？

当代分类系统的困境与白马论高度同构。第一，多标签归属，一张图片同时是狗、是白色、是宠物、是动物，标注时每个标签对应一个属性还是一个集合，模型往往把多标签压成单一主类，丢失复合结构。第二，概念外延模糊，白是连续光谱上的一段，哪里算白、哪里算灰白，公孙龙式的精确分界在现实中找不到，分类边界只能按阈值约定。第三，命名歧义，求马与求白马是两个检索意图，商品与内容系统必须区分泛检索与带属性检索，混淆就会召回错误结果。第四，复合概念与基底概念在推理中混用，模型回答白马是不是马时，常常先肯定复合不等于基底，又被误读为否认成员关系。待采集多标签基准上的概念分层错误率，可观察古代辩题在今天以什么形态复现。

诡辩与概念分析的边界在哪里？

白马论长期被归为诡辩，原因是它用概念层次差异去回应成员归属问题，听者预设非字指成员否定，说者指概念不等，双方在不同平面交锋。这个错位本身对AI有启示，人机对话中否定、等于、属于这些逻辑词的语义层次必须先对齐，否则同样的句子能推出相反结论。名家在中国思想史上没有发展成系统形式逻辑，辩题被后世视为口舌之利而搁置。今天重读的价值不在结论正确与否，而在它最早把属性、复合、属种、命名四件事拆开，这正是分类系统每天都要处理的概念工程。

去论坛讨论

前往 silicon-agi.com 对应讨论帖 参与白马非马与AI分类边界的讨论，也可在论坛搜索「白马非马」继续深挖。