斯皮尔曼与汤姆逊之争的数学再审视：从“g”因子到多元抽样模型的逻辑必然性

《Intelligence》：Godfrey Thomson, Charles Spearman, and the mathematics of general intelligence

　　

论文摘要专业翻译 本文厘清了查尔斯·斯皮尔曼（Charles Spearman）与戈弗雷·汤姆逊（Godfrey Thomson）在心理测验与智力研究上的争论。研究人员以现代术语重述了双方的数学模型。论文表明，汤姆逊在数学上是正确的：g并非正相关流形（positive manifold）的唯一可能解释。以往关于这一争论的研究多聚焦于智力的神经生物学基础。本文的结论包括：第一，澄清了斯皮尔曼与汤姆逊在心理测验与智力问题上的争论；第二，以现代术语重述了双方的数学模型；第三，证明了汤姆逊在数学上的正确性；第四，指出g并非正相关流形（positive manifold）的唯一可能解释；第五，回顾了以往研究多集中于智力的神经生物学基础这一事实。

论文主体内容解读

一、研究背景与问题提出

现代智力研究发轫之际，两位英国奠基人——伦敦大学学院的查尔斯·斯皮尔曼（Charles Spearman）与纽卡斯尔阿姆斯特朗学院、后于1925年起任职于爱丁堡大学的戈弗雷·汤姆逊（Godfrey Thomson）——围绕一组多样化心理测验分数之间相关性的解释产生了根本分歧。斯皮尔曼注意到，心理测验间的相关性通常为正，且若在相关矩阵下三角中呈现，往往表现出左上角数值较大、向右下方递减的“层级性”（hierarchical）模式。这种“正流形”（positive manifold）现象成为整个争论的前提。斯皮尔曼为此设计了四元组差异（tetrad differences）检验技术，可视为因子分析的早期雏形。他由此推断，个体认知能力的差异在多数情形下可充分由一个所有测验共享的因子——他称之为g——以及各测验特有的方差来表征，此即其“双因子理论”（theory of two factors）。斯皮尔曼有时将g称为“心理能量”（mental energy），他同时提出了数学解法和因果性的神经心理学模型。

汤姆逊虽承认单一因子在经验上常具有实用价值（例如在教育情境中），但坚决否认斯皮尔曼的数学足以证明单一一般因子是唯一与典型心理测验数据相容的解释。汤姆逊的核心论据并非经验性的，而是数学性的。本文旨在以现代记号重述汤姆逊的数学论证，以证明他确实驳斥了斯皮尔曼关于可从观测相关矩阵的层级结构推断g存在的论断。

二、神经生物学思辨对数学论证的干扰

围绕这一争论的后续讨论常被汤姆逊本人提出的思辨性神经科学或心理学解释所干扰。例如，汤姆逊提出了“联结”（bonds，有时称“神经弧”）模型，主张心灵由大量在特定心理操作中被激活的联结构成，而非单一统一的智力g。他称“每个测验都是众多底层小组件的样本”，早期甚至将之具体化为神经元，但他明确表示这只是为了生动性和合理性，并非其数学所必需。1935年他进一步将联结描述为“遗传的反射动作、行为片段（无论先天或后天）、记忆及大量经验……不是新实体，而是我们已在其他联系中认识的事物”。

后续讨论中，古尔德（Gould）和麦金托什（Mackintosh）等支持汤姆逊的学者，以及特雷杜（Tredoux）等批评者，都过分关注“联结”这一思辨概念而忽视了其数学内核。特雷杜甚至将数学与思辨生物学的重要性颠倒，称双方论争为“穿着数学盛装的最模糊隐喻”。然而，本文强调：即使汤姆逊的联结思辨完全无据，其对斯皮尔曼g因子模型的数学反驳依然成立。此外，汤姆逊早期论文中试图以纸牌堆或骰子投掷等随机机制模拟抽样过程，这些手工计算量巨大的模拟如今已可瞬时完成，仅具历史意义，不应纳入对其数学贡献可信度的评估。

三、汤姆逊对斯皮尔曼模型的数学评注

3.1 斯皮尔曼模型

设p个测验的分数为x_im（i从1至p，m表示个体）。按巴塞洛缪等（Bartholomew et al., 2009）的现代术语，斯皮尔曼假设的统计模型为：对每个个体m，存在一个所有测验共有的因子g_m，以及每个测验各自的特殊因子e_im。模型可写为：

x_im = μ_i + λ_ig_m + e_im

其中μ_i为x_i的均值，g_m均值为0、方差为1，e_im均值为0、方差为σ_i²，各e_i之间及与g_m均不相关，λ_i为g_m在x_im上的载荷。斯皮尔曼本人于1920年代以该形式表述过此模型。若模型正确，任意两个测验的相关完全由它们各自与g_m的相关所中介。瑟斯顿（Thurstone, 1954）后来将模型扩展为在共同因子g_m之外加入群因子（group factors）。

3.2 层级相关矩阵与四元组差异

斯皮尔曼的检验基于四元组差异：对四个测验i、j、k、l，若模型成立，则r_ijr_kl ? r_ikr_jl = 0。该条件等价于相关矩阵可表示为λ_iλ_j的形式。汤姆逊的数学反驳在于证明：存在大量其他数学结构同样能产生层级相关矩阵，因此观测到层级结构并不能唯一推出单因子模型。

3.3 汤姆逊的抽样模型

汤姆逊提出，每个测验可视为对大量底层“联结”或元素的抽样。设存在N个底层元素，测验i从中抽取n_i个，每个元素对测验的贡献为权重。当元素数量足够大且各测验抽取的元素有重叠时，测验间的相关矩阵自然呈现层级结构。汤姆逊进一步证明，在适当的条件下，这种抽样模型产生的相关矩阵在数学上与单因子模型不可区分——即四元组差异同样趋近于零。因此，观测数据无法在数学上区分“单一g因子”与“大量独立小影响的抽样”两种解释。

3.4 数学等价性的严格论证

汤姆逊的论证关键在于：给定任意满足层级条件的相关矩阵，总能构造一个抽样模型与之完全匹配。这意味着斯皮尔曼从相关矩阵推断g的存在，犯了“欠定问题”（underdetermination）的逻辑错误——数据本身不足以在多个竞争模型间做出唯一选择。麦基（Mackie, 1928, 1929）在爱丁堡协助完成了部分最技术性的数学证明细节。

四、讨论与结论

本文的结论明确指出：汤姆逊在数学上驳斥了斯皮尔曼关于g可从相关矩阵层级结构推断的论断，这一反驳是不可动摇的。即使汤姆逊关于“联结”的神经生物学思辨完全错误，其数学论证依然成立。正流形（positive manifold）现象既可由单一一般因子解释，也可由大量独立小影响的抽样模型解释，二者在数学上不可区分。汤姆逊本人也承认，双因子理论对实际工作中的心理学家具有实用价值，但其作为因果解释的独特性在数学上无法成立。本文还简要提及群因子问题：瑟斯顿的扩展模型在g之外加入群因子，但这并未改变汤姆逊论证的核心逻辑——相关矩阵的层级结构本身不足以确定任何特定的因子结构。因此，g因子作为统计摘要具有实用价值，但将其视为智力因果机制的推论，在数学上并不成立。