一、沈有鼎著作 3
牛津来书一 3
牛津来书二 5
有关三段论的几个问题 6
模态与数理逻辑 31
A Calculus of Individuals and Truth-Values 38
关于周延问题 86
论模态 93
现行《公孙龙子》的主要论题及三个公孙龙 110
关于因明的三张图表 112
Theory of Simple Types 115
给全国首届因明学术讨论会的贺信 122
在金岳霖学术思想讨论会上的发言 123
二、沈有鼎学术思想研讨会论文选 129
沈有鼎学术思想研讨会开幕词&陈筠泉 129
沈有鼎学术思想研讨会闭幕词&姚介厚 132
沈有鼎的贡献&刘培育 136
学习沈有鼎先生科学的治学精神&周云之 146
沈有鼎先生论中国哲学的开展：一个文化理想的失落&冼景炬 155
沈有鼎先生的真理观&李全德 163
清华学派与20世纪中国哲学的学术伦理&胡伟希 170
颜色不相容与卡茨语义学&郭伟文 177
逻辑的共同性与特殊性&崔清田 188
论量词及其辖域对分析命题形式的意义&袁正校 198
证明的有效性&樊明亚 205
归纳原则永真性的类逻辑形式证明&张学立 212
忆沈有鼎先生对于我的辩证逻辑思想的评价&且大有 219
对辩证逻辑形式化的一点意见——读沈有鼎的《论“思维形式”和形式逻辑》一文有感&金顺福 222
沈有鼎的广义模态思想&张家龙 229
Rigid Designation，Existence，and Semantics for Quantified Modal Logic&Wong Kai-Yee 王启义 235
蒯因论标准逻辑出了什么问题?——读沈有鼎先生《初基演算》的体会&周柏乔 251
初基演算的邻域语义学&刘壮虎 258
初基演算的纯蕴涵系统&杜国平 268
Six Classes of Sheffer s Operations &Anzhou Yang(杨安洲) 273
关于只有单个足够的初始联结词的经典命题逻辑演算&宋文淦 276
沈有鼎论纯逻辑&李小五 283
邓析“两可之说”的弗协调逻辑态度&张清宇 291
DRT的自然推演系统S_(DRT)&邹崇理 297
悖论十七条——论沈有鼎教授的手稿A，B，C&叶锦明 303
论沈有鼎先生的悖论研究&沈跃春 313
从《周易》逻辑到墨辩逻辑——应重视《周易》在逻辑史和中国古代逻辑源流中的地位&王与田 320
墨家逻辑的新生——论沈有鼎<墨经》逻辑研究的成就、方法和意义&孙中原 328
关于沈有鼎先生对《墨经》中命题变项与逻辑规律研究的述评&张忠义 336
沈有鼎《墨经》研究特色&董志铁 343
论沈有鼎研究墨家逻辑的方法&杨武金 353
沈有鼎对《公孙龙子》的评价&王丽娟 362
西方的《公孙龙子》研究&冯耀明 370
试说《白马论》&诸葛殷同 389
三、难忘师生情 399
天真奇特——回忆沈有鼎先生&王路 399
老师·咖啡·昆曲&阮仁慧 403
回忆公武师二三事&苏天辅 408
从沈有鼎先生给我的帮助谈起&梁志学 412
对沈有鼎先生的再认识&倪鼎夫 416
附录 427
沈有鼎小传&中国社会科学院哲学研究所逻辑室 427
后记 430