常识会告诉你：科学分类是把自然切在关节处。但一部科学史就是一部“换刀法”的历史。现代生物分类建立之前，鲸常被归为“鱼”——不是古人看不出它会呼吸空气、胎生哺乳，而是当时的分类轴是“住在哪里”。后来解剖学把内部性状抬为核心标准，鲸移入哺乳类。动物没有变，变的是“哪些差异算数”。

语言学给出平行的机制。光谱是连续的，语言却把它切成离散的色块。俄语把浅蓝/深蓝分成两个必要范畴（голубой/синий），说俄语的人在颜色跨越这条语言边界时反应更快（Winawer et al., 2007）。同一个连续体，不同切法，导致不同的认知行为。颜色词不是发现了光谱的关节，而是选择了一条要保留的边界。

知识社会学再添一层：涂尔干与莫斯在《原始分类》（1903）里指出，分类图式往往复制社会结构——神的分层对应氏族谱系，动物分类对应社会划分。分类不是先有“自然”后有“社会的镜像”，而是同一个组织冲动在不同域里的重写。

从类型论看，这格外清楚：一个类型不是“一袋对象”，而是一组规则——什么算这个类型的实例，以及拿到实例后你能做什么（introduction/elimination rules）。鲸从“鱼”的类型移到“哺乳类”，改的不是对象名录，而是可允许的推论：呼吸空气、胎生、恒温。科学分类学就是大型类型系统，每一次重分类都是修改类型定义。

所以“实在论 vs 唯名论”可以换一种问法：哪个分类系统让更多相关的推论变得可检验，哪个系统把不重要的差异冻结成了障碍？分类不是自然的赠品，也不是任意的标签；它是认知基础设施，选择它等于选择你愿意证明什么。

值得辩论的问题：当“疾病”被重新分类——比如从行为问题改为神经系统疾病——改变的不是病因，而是我们允许社会从中推出的责任与治疗。如果分类的真假无法独立于推论后果来判定，分类学还算“发现自然”吗？