研究版块 IV：金岳霖《逻辑》中的 Ladd-Franklin 与沈有乾

原始文本事实；原文姓名与现代辨识形式分开。

1935年页11与1937年页14的原文姓名都是 賴德弗蘭克林（Ladd-Franklin）。本页保留这一历史译名，不用现代中文译名覆盖它。[P1, 11] [P2, 14]

两版同一句的另一姓名都是 沈有乾先生。英文页面用 Shen Youqian (Eugene Shen) 帮助辨识，但金文该处没有印出这一英文名。[P1, 11] [P2, 14] [P4]

金岳霖把赞成以下八种命题形式共同归于二人；这一措辞在两版页图中一致。这是“共同归属”证据：它比书目中只列姓名更实质，却仍不是完整体系的赞同声明。[P1, 11] [P2, 14]

两版中该项都标作 `e.`：前一项讨论 W. E. Johnson 对 A、E、I、O 的处理，后一节转入“直接推论中之对待关系”。因此，这里的论题是命题形式的分类及其关系。[P1, 11–12] [P2, 14]

原版繁体的规范转录；英文均为本站翻译，不是已出版译本。

下表按两版页图中相同的次序保留八项。`S` 与 `P` 是原段落沿用的项字母；英文栏只帮助理解，不把这些类命题改写成现代命题逻辑。[P1, 11] [P2, 14]

翻译限制：第5、7、8项保留原句的量化表面形式。两版文字虽已校对一致，单凭这些中文句式仍不足以指定唯一的现代语义分析，故本页不强加一种符号化。

原文中的局部评价，不扩大为整个体系的认同。

在“以质量为标准”的范围内，金岳霖认为这八种命题的意义比先前形式更精确、范围更广，同时彼此关系也更复杂。这一评价在1935年页11–12与1937年页14实质相同。它表明金不只是列出姓名，而是在比较命题分类；评价对象仍是这八种形式。[P1, 11–12] [P2, 14]

原段的文本边界，加上另有来源的现代比较。

两版经页图核验的这段文字都没有印出“反三段论”或 `antilogism`，没有展示 Ladd-Franklin 的排斥号，也没有列出不一致三项组定理。这个否定只针对该段，不声称已经排除全书所有版本中的每一处相关讨论。[P1, 11–12] [P2, 14]

沈有乾1927年论文的正式题名确为 “The Ladd-Franklin Formula in Logic: The Antilogism”。题名提供了相关历史背景，但金岳霖这一段没有引用论文题名，所以不能仅凭两个姓名断定金直接依赖该文。[P4, 54–60]

Roy T. Cook 的现代重构说明，八种类命题形式确实是理解 Ladd-Franklin 扩展三段论处理的重要部分。这里它只用于解释“为何八种形式值得注意”，不用于替 Jin 补写反三段论公式或完整体系。[S3, 367–368, 375–376]

二手制度史与原始教材证据的受限综合。

Vrhovski 的同行评议研究与清华大学的机构性介绍把1926–1945年的发展写成金岳霖、张申府、沈有鼎、王宪钧等多人参与的集体历史。金岳霖是其中的重要制度与课程节点，而不是唯一因果源头。[S1] [S2]

这些资料记录金岳霖讲授基础与高级现代逻辑，《数学原理》在课程中占有重要位置，并把其逻辑导论讲义与1935年《逻辑》的出版联系起来。1935年页11–12的页图于是直接证明“相关姓名和分类进入教材”。[S1] [S2] [P1, 11–12]

但这一出现不能自行证明 Ladd-Franklin → 沈有乾 → 金岳霖的直接传递链，也不能证明私人接触、指定阅读或后来接受。教材中的出现、课程中的使用、个人接触与因果影响必须分别举证。

后期原文、二手解释与1935／1937年教材段落分层处理。

金岳霖1960年的《论“所以”》在已出版英译中讨论 Lewis Carroll 的回归，并区分蕴涵、实际推论和“所以”的问题；其论证同时具有鲜明的时代政治语境。它说明金后来直接处理 Carroll 问题，却不能无论证地回读为1935／1937年段落的稳定立场。[P3a] [P3b, 35–39]

陈波把金岳霖更广泛的真理论解释为与 Russell 相近而又有自身发展的实在论／客观性立场。这是署名明确的二手哲学解释；它不是这段文字对 Ladd-Franklin 或沈有乾所作的明言。[S4, 43–78]

这段文字关于“精确、范围、关系”的局部标准，尚不足以建立一种一般性的逻辑规范性理论，也不足以把金岳霖无条件称为反心理主义者。相关主张需要说明规范作用于命题、推论行为、证明还是系统，并提供分期文本。

同样，本页不把金岳霖称为“建构主义者”。证明论、认识论、事实理论与社会意义中的“建构”并非同一概念；现有材料没有为其中任何一种给出足够精确定义和页级论证。

受证据约束的综合判断与开放问题。

这段文字的意义在于它提供了一条很小却可定位、可跨版校勘的传输证据：最迟在1935年，金岳霖已在命题形式的教材讨论中同时写出 Ladd-Franklin 与沈有乾，并对相关八种形式作局部评价；1937年第三版保留了该段。它没有给出完整影响链，却把进一步研究从笼统的“介绍西方逻辑”推进到可核验的姓名、页码、分类对象与关系类型。

仍待回答

1. 1961年版是否保留该段，以及其准确页码和文字异同；
2. 1936年商务印书馆本与1937年第三版之间的版本关系；
3. 金岳霖是否通过沈有乾1927年论文、其他二手材料或直接接触获知这八种形式；
4. 全书是否在其他位置明确讨论反三段论、排斥号或 Ladd-Franklin 的完整体系；
5. 能否由课程大纲、学生笔记、书信或引用史重建实际接受路径；
6. 怎样按时期区分金岳霖关于逻辑系统、推论行为、客观性与规范性的立场。