类型与实例：同一种东西，为什么不是同一个？

桌上放着三只同款杯子。问“有几只杯子”，答案是三；问“有几种款式”，答案是一。这不是数错了，而是数的对象不同：类型是可以反复体现的共同形式，实例则是某个具体对象。哲学中的 type–token 区分，正是要避免把这两层混为一谈。

同款杯子并不必然一模一样。釉色略有差异、杯沿有磨损，都不妨碍它们属于同一款式；但打碎其中一只，不会让另外两只也碎掉。属于同一类型，不等于共享同一个具体存在。反过来，把同一只杯子从厨房搬到书房，也不会因此增加一个实例。

这个区分不同于相似性。两只杯子可以非常相像，却来自不同设计；同一设计的杯子也可能因使用而显得不同。判断类型归属，需要说明采用什么识别规则，不能只凭外观接近。

它的实际价值，是让“重复”与“新增”有清楚的单位。盘点库存时要数具体杯子，整理产品目录时要区分款式；两种统计都合理，却不能互相替代。至于类型是否独立于实例存在，哲学上仍有争论；先分清我们正在数什么，并不要求先解决这场争论。

https://plato.stanford.edu/entries/types-tokens/