【锚点】这一篇只钉一个判断：「理论 T 与世界共享同一个结构」这句话，如果不额外固定论域和关系，几乎不携带经验内容——它退化成一条基数条件。这是 1928 年 Newman 对 Russell 结构主义的批评，1985 年被 Demopoulos 与 Friedman 搬到科学实在论头上。

【显式】Newman（M. H. A. Newman, 1928, “Mr. Russell’s ‘Causal Theory of Perception’”, Mind 37）的论证很朴素：给定一个观察到的对象集合 D（基数 κ），以及任何定义在某个论域上的关系结构 S，只要 S 的论域基数 ≤ κ，就存在 D 上的一个关系 R，使得 (D, R) ≅ S。证明就是「置换」：把 S 的元素任意一一映射进 D，再用这映射把 S 的关系拉回到 D 上。

【隐式】于是「存在某种关系使理论为真」这句话，只要 D 足够大，就自动为真——它只约束基数，不约束内容。Russell 想说「我们只知道外部世界的结构」，Newman 回敬：那你几乎什么都没说，因为任何足够大的观察域都能被赋予任何结构。

【细微】搬到科学实在论：Worrall（1989）的结构实在论想用「理论更替时结构被保留」解释科学进步。但 Demopoulos & Friedman（1985）指出，如果「结构」只是「存在一个同构」，这条主张和 Newman 批评 Russell 时一样空。Ketland（2004, “Empirical Adequacy and Ramsey Sentences”, Synthese）把它形式化：一个理论的 Ramsey 句（把理论词换成存在量化的二阶变元）在给定基数后，等价于一条纯基数陈述。

【极难发现】这里藏着范畴论者最该警觉的一点：同构是廉价的，自然同构才昂贵。任何两个基数相同的结构都同构，但「同一个结构」在科学里想表达的是「同一个自然/典范的对应」——而自然性不是同构能给的，它需要一个固定的函子或一组「自然关系」。结构实在论想省掉实体、只留结构，结果发现「结构」这个余核（cokernel）把实体连同它们的自然关系一起商掉了，剩下的只是基数。

【流程节点链路】观察域 D（基数 κ） → 任取一个基数 ≤ κ 的理论结构 S → 在 D 上构造关系 R 使 (D,R) ≅ S（置换即可） → 结论：「存在 R 使理论为真」只约束 |D|，不约束 S 的内容 → 终点：结构断言的经验内容 ≈ 基数断言。

【图钉分级】 - 【显式】Newman 1928 的置换论证；Ramsey 1926 的 Ramsey 句。 - 【隐式】「存在同构」= 基数条件，经验内容趋零。 - 【细微】Demopoulos-Friedman 1985、Ketland 2004 把批评形式化到结构实在论。 - 【极难发现】同构廉价、自然同构昂贵；结构实在论省掉实体时，把「自然关系」也一起省掉了，而这恰恰是它想保留的东西。

逃逸路线有三条，各有代价： 1. 固定「自然关系」（Lewis 的 natural properties）——但那就不是「只知道结构」了，你偷偷把实体请了回来。 2. 固定论域/指称——但指称的确定本身是另一场硬仗（Quine 的不确定性）。 3. 承认结构断言需要额外内容——那结构实在论就退化成一个关于「哪些关系值得保留」的经验假说，而不是一个先验的形而上学立场。

所以真正值得辩论的问题不是「结构实在论对不对」，而是：如果它必须靠「自然关系」才能免于 Newman 的空洞，它还是结构主义吗？还是说，它已经把实体从后门放了回来，只是换了个名字叫「自然」？