研究版块 I：沈有乾与 Ladd-Franklin

Ladd-Franklin 的类代数、沈有乾1927年的阐释与现代重构问题

现代模态逻辑的常见历史叙述会讨论 C.I. Lewis、Hugh MacColl 等人。Roy Cook 对 Ladd-Franklin 逻辑的近期研究支持一种现代模态解读。

研究假设：Cook 在Taller Feminist Approaches to Logic 2024 的演讲 Taller Feminist Approaches to Logic 2024 的演讲, Unilog的2025 演讲和 Cook 的论文为重新考察 Christine Ladd-Franklin (CLF) 的关系性、类代数系统提供了依据。它是否可重构为接近系统 D 的现代体系仍是待检验问题；要建立这种关系，必须给出明确的形式翻译并逐项比较原则。

以下面板给出保守的类代数解释。原体系是关系性的类代数，不应把面板中的有限现代类比当作完整的命题逻辑翻译。

Ladd-Franklin 技法：排除关系与不一致三元组

本工具处理类项之间的排除与不完全排除，并检验三个类项是否符合 Ladd-Franklin 的不一致三元组形式。交互核验需要 JavaScript；下列说明始终可读。

原始文献读法

两个关系号

A ∨̅ B
上划楔号表示排除：两个类没有共同成员。
A ∨ B
普通楔号表示不完全排除或重叠：两个类有共同成员。它绝不是普通布尔析取“或”。

A-P1: Ladd 1883, pp. 25–26

历史转写

规范不一致三元组

S ∨̅ P；M ∨̅ P̅；S ∨ M

A-P1: Ladd 1883, pp. 39–41

现代集合规范化 / 本站引导式重构

一个获许可的推导

由 E(S,P) 与 E(M,~P) 可推出 E(S,M)：其矛盾式 O(S,M) 与两前提组成经确认的不一致三元组。这不是消去或约分。

LF-R5, LF-R8, LF-R9 — A-P1: Ladd 1883, pp. 40–41; A-P2: Ladd-Franklin 1912, pp. 647–649

1927年，沈有乾 (Eugene Shen) 发表论文，阐释并发展 Ladd-Franklin 的记号、八种命题形式、变换方法，以及把三段论推理归约到反三段论框架的做法。该文不是系统 D 的证明，也不以捍卫几何性质为主旨。

时间顺序是：沈有乾的论文发表于1927年；Ladd-Franklin 的优先权说明发表于1928年，并对 W. E. Johnson 涉及“Antilogism”一词的未注明使用提出指称；Ladd-Franklin 后来引用了沈有乾。因此，沈有乾不可能是在回应尚未发生的1928年优先权争议。

本项目将比较 C.I. Lewis 的著作对 Ladd-Franklin 的引用与两套体系的不同形式背景。现阶段不能据此断言一条从反三段论直接通向严格蕴涵或系统 D 的线性演化路径；这种关系需要文献证据和明确的形式比较。

5. 参考资料