中国学者在现代模态逻辑形成期的贡献

沈有乾、沈有鼎、汤藻真与金岳霖的跨国学术网络与逻辑学探索

关于本项目

本项目致力于重新审视20世纪初中国逻辑学家在现代模态逻辑发展初期所做出的先驱性贡献。我们将探讨他们与 C.I. Lewis, Christine Ladd-Franklin, Oskar Becker 等人的学术互动,梳理语法学与语义学层面的重要修正与创新。

四大研究版块

1. 沈有乾Ladd-Franklin

聚焦1927年沈有乾对Ladd-Franklin系统的捍卫及其与现代模态逻辑系统的深层关联。

了解详细研究计划 →

2. 沈有鼎 与 S4/S5 的确立

探究沈有鼎在哈佛时期对Oskar Becker关于公理4, B, 5的修正...

3. 汤藻真 与 S2 代数语义

发掘1936-1937年间汤藻真为S2建立的拓扑/代数语义...

4. 金岳霖 的学术枢纽作用

重新审视金岳霖对富兰克林,沈有乾和刘易斯工作的引介和评价...

研究团队

学术成果与文献资料

公开发表的文章与开放获取的文献将在此更新。

© 2026 Project on Early Chinese Logicians & Modal Logic. Hosted on GitHub Pages.