关于本项目
本项目考察20世纪上半叶中国逻辑学家与现代模态逻辑形成期的关系，并区分有文献记录的历史事实、现代形式重构、解释性论题与仍待研究的问题。
四大研究版块
1. 沈有乾 对 Ladd-Franklin 逻辑的1927年阐释
考察沈有乾1927年对 Ladd-Franklin 记号、命题形式、变换及反三段论归约的阐释；其与现代模态系统的关系仅作为待检验的重构问题。
了解详细研究计划 →2. 沈有鼎 与 C10、C12、C11 的可推导关系
在 Lewis 系统 B 的范围内考察 C10 与 C12 推出 C11 的结果，并区分附录二对正向与反向可推导关系的不同署名。
了解详细研究计划 →3. 汤璪真（Tang Zaozhen；历史署名 Tang Tsao-Chen）的1938年解释
区分汤璪真1936年的严格蕴涵悖论研究与1938年的布尔代数/拓扑解释；现有材料不足以证明该解释恰好对 S2 完备。
了解详细研究计划 →学术成果与文献资料
公开发表的文章与开放获取的文献将在此更新。
- Zhu, R.: Shen Yuting in Early Modal Logic: The Axiom Interdependence of S5 [AWPL 已接收]