专著

1、《墨经的逻辑学》，中国社会科学出版社，1980年9月。

2、《沈有鼎文集》，人民出版社，1992年10月。

合著

3、《逻辑通俗读本》，金岳霖等著，中国青年出版社，1962年初版。

4、《形式逻辑简明读本》（修订本），中国青年出版社，1983年第三版。

论文

5、On Expressions（论表达式），《哲学评论》第6卷第1期，1935年3月。张尚水中译，《沈有鼎文集》。

6、On Finite Systems（论有穷系统），《清华学报》第10卷第2期，1935年4月。张清宇中译，《沈有鼎文集》。

7、评《东西乐制之研究》，《清华学报》第11卷第1期，1936年1月。

8、周易卦序骨构大意，《北京晨报》“思辨”专刊第36期，1936年5月6日第11版。

9、周易卦序分析，《哲学评论》第7卷第1期，1936年9月。

10、论自然数，《哲学评论》第7卷第2期，1936年12月。

11、中国哲学今后的开展，《哲学评论》第7卷第3期，1937年3月。

12、真理底分野，《哲学评论》第7卷第4期，1940年。

13、语言、思想与意义，《哲学评论》第8卷第3期，1943年。

14、意义的分类，《哲学评论》第8卷第6期，1944年3月。

15、《周易》释词，《清华学报》第15卷第1期，1948年10月。

16、Paradox of the Class of All Grounded Classes（所有有根类的类的悖论），The Journal of Symbolic Logic,Vol.18,No.2,June1953.U.S.A.（《符号逻辑杂志》第18卷第2期，1953年6月，美国。）张清宇中译，《沈有鼎文集》。

17、Two Semantical Paradoxes（两个语义悖论），The Journal of Symbolic Logic,Vol.20,No.2,June1955.U.S.A.（《符号逻辑杂志》第20卷第2期，1955年6月，美国。）张清宇中译，《沈有鼎文集》。

18、评《墨家的形式逻辑》，《人民日报》1957年2月23日。

19、初基演算，《数学学报》第7卷第1期，1957年3月。

20、论“思维形式”和形式逻辑，《光明日报》1961年11月10日。

21、唯物主义者培根如何推进了逻辑科学，《培根哲学思想》，商务印书馆，1961年。

22、《指物论》句解，《光明日报》1963年1月18日。

23、《公孙龙子》的评价问题，《哲学研究》1978年第6期。

24、公孙龙考（一），《哲学研究丛刊?中国哲学史论文集》（第一辑），山东人民出版社，1979年。

25、A “Natural” Enumeration o fNon-Negative Rational Numbers（非负有理数的一个“自然”枚举），The American Mathematical Monthly,Vol.87,No.1.January 1980.U.S.A.（《美国数学月刊》第87卷第1期，1980年1月，美国。）张清宇中译，《沈有鼎文集》。

26、“纯逻辑演算”中不依赖量词的部分，《数学学报》第24卷第5期，1981年9月。

27、谈公孙龙，《全国逻辑讨论会论文选集》（1979），中国社会科学出版社，1981年。

28、评庞朴《公孙龙子研究》的《考辨》部分，《中国哲学史研究集刊》，上海人民出版社，1982年。

29、序伍非百《中国古名家言》，伍非百：《中国古名家言》，中国社会科学出版社，1983年。

30、论《墨经》四篇之编制，同上，

31、《墨子经上、下》旁行本始于何时？《逻辑学论丛》，中国社会科学出版社，1983年10月。

32、《墨经》中有关原始诡辩说的一个材料，《社会科学战线》1984年第2期。

33、《公孙龙子》考，《中国哲学史研究》1989年第3期。

《公孙龙子》

手稿

34、The Dialecticians’ Paradoxes of Ancient China（中国古代辩者的悖论），《沈有鼎文集》，人民出版社，1992年。涂又光中译，《沈有鼎文集》。

35、《墨经》中有关“不定称判断的争论”，同上。

36、论原始“离坚白”学说的物理性质，同上。

37、公孙龙“二无一”诡论原文和今译的对照，同上。

38、现行《公孙龙子》六篇的时代和作者考，同上。

39、A Calculus of Individuals and Truth-values（个体和真值的演算），中国社会科学院哲学所逻辑室编：《理有固然》，社会科学文献出版社，1995年8月。张清宇中译，《理有固然》。

40、有关三段论的几个问题，中国社会科学院哲学所逻辑室编：《摹物求比》，社会科学文献出版社，2000年2月。

41、模态与数理逻辑，同上。

42、现行《公孙龙子》的主要论题及三个公孙龙，同上。

43、关于因明的三张图表，同上。

44、Theory of Simple Type（简单类型论），同上。

45、给全国首届因明学术研讨会的贺信，同上。

听讲者记录

46、关于周延问题，中国社会科学院哲学所逻辑室编：《摹物求比》，社会科学文献出版社，2000年2月。

47、论模态，同上。

48、在金岳霖学术思想讨论会上的发言，同上。

书信

49、牛津来书，中国社会科学院哲学所逻辑室编：《摹物求比》，社会科学文献出版社，2000年2月。

50、致王浩的信件，《沈有鼎文集》，人民出版社，1992年10月。