一般认为，现代模态逻辑起源于 C.I. Lewis 或 Hugh MacColl。然而，最近这一看法受到了挑战。
在 Unilog 2025 会议 中，著名逻辑学家 Roy Cook 提出了极具冲击力的观点：他认为 Christine Ladd-Franklin (CLF) 在更早的几十年前，实际上已经有了模态逻辑的工作。她的代数逻辑蕴含了一个接近今天系统 D 的框架。如果这一假设成立，我们需要重新审视从皮尔士到刘易斯这段时期模态逻辑的演变。
要理解 CLF 的贡献，首先需要跨越符号学的障碍。以下交互面板展示了她的核心符号与现代逻辑的对应关系（点击左侧符号查看解析）：
1927年，沈有乾 (Eugene Shen) 发表了文章，专门对 Ladd-Franklin 的系统进行了严密捍卫。如果 Roy Cook 的理论成立，这意味着沈有乾在当时已经接触到了现代模态逻辑的最前沿理念。
值得注意的是，1928年 CLF 发表过一篇 notes，指责 W.E. Johnson 盗用了她发明的 "Antilogism" 一词。沈有乾在这一学术争议背景下的发声，展现了中国学者对早期代数逻辑发展的敏锐追踪。我们将深入搜集并考察他是否有相关的中文文献传世。
我们将进一步梳理 在C.I. Lewis 的著作 对 CLF 的评价和引用。通过对比这两种体系的演变，探究模态逻辑是如何从早期的代数系统（如 CLF 的反三段论）一步步演化出严谨的严格蕴涵系统与模态公理的。
5. 参考资料
- Ladd-Franklin, C. (1883). On the Algebra of Logic. In C. S. Peirce (Ed.), Studies in Logic (pp. 17-71). Boston: Little, Brown, and Company.
- Ladd-Franklin, C. (1928). The Antilogism. Mind, 37(148), 532-534.
- Shen, E. (1927). The Ladd-Franklin Formula in Logic: The Antilogism. Mind, 36(141), 54-60.
- Cook, R. (2024/2025). Understanding Christine Ladd-Franklin’s Logic. Australasian Journal of Logic.
- Lewis, C.I. (1918). A Survey of Symbolic Logic. Berkeley: University of California Press.
- Lewis, C.I. & Langford, C.H. (1959). Symbolic Logic (2nd ed.). New York: Dover Publications.