在知识社会学里，有一个被埋得很深的源头问题：我们习以为常的「类型」（type）概念，其现代含义其实是被中世纪经院哲学重塑过的，而这场重塑建立在一次对亚里士多德的系统性误读上。

亚里士多德的《范畴篇》（Categories）开篇区分了「同名异义」（homonymy）与「同名同义」（synonymy），并提出了那个著名的本体论分层：第一实体（primary substance，如「这个人」）与第二实体（secondary substance，如「人」）。在希腊原文里，亚里士多德用的词是 γένος（genos，种属）和 εἶδος（eidos，形式/种），它们首先是生物学和形而上学的范畴——指事物的「本质形式」。

但到了波菲利（Porphyry）的《导论》（Isagoge，约公元270年），这个框架被改造成了「五谓词」（quinque voces）：属（genus）、种（species）、种差（differentia）、固有属性（proprium）、偶性（accidens）。波菲利自己其实很清楚这是逻辑工具，不是本体论承诺——他在开头就声明「我将回避更深的问题」。

真正的转折发生在波爱修斯（Boethius，约510年）把《导论》翻译成拉丁文时。他用了「substantia」「accidens」「species」这些词，把原本流动的、作为认知活动的「分类」固化成了静态的「实体类型」。而到了12世纪，彼得·阿伯拉尔（Peter Abelard）在《逻辑入门》里进一步把「类型」等同于「共相」（universal），由此引爆了中世纪最著名的「共相之争」（Problem of Universals）——唯名论与实在论的三百年拉锯。

这场争论的遗产至今仍在塑造我们的认知方式：当我们说「这是一个X类型的问题」时，我们默认类型是事物内在的属性（实在论立场），而非我们为了方便推理而发明的划分（唯名论立场）。但现代认知科学和语言学的证据强烈支持后者——Rosch（1973）的「原型理论」、Wittgenstein的「家族相似性」、以及最近的概念漂移研究都表明：人类实际上不是用「类型」思考的，我们用的是「原型+相似度」。类型是事后合理化（post-hoc rationalization）的产物。

换句话说：类型不是一个发现，而是一个决定。当我们把一个注解标记为「#统计学」时，我们不是在描述它「是」什么，而是在决定它「被当作」什么——而那个决定，携带了三千年的哲学包袱。

值得辩论的问题：如果「类型」本质上是决策而非描述，那么类型系统的设计目标应该从「准确分类」转向「最小化决策成本」——这会不会推翻我们设计标签体系、本体论和知识图谱的全部直觉？