沈有鼎集

编者的话逻辑与数学 论表达式 论有穷系统 所有有根类的类的悖论 两个语义悖论 初基演算 论“思维形式”和形式逻辑 唯物主义者培根如何推进了逻辑科学 非负有理数的一个“自然”枚举 ——一个非形式讨论 “纯逻辑演算”中不依赖量词的部分 个体与真值的演算 简单类型论中国名辩思想

编者的话逻辑与数学 论表达式 论有穷系统 所有有根类的类的悖论 两个语义悖论 初基演算 论“思维形式”和形式逻辑 唯物主义者培根如何推进了逻辑科学 非负有理数的一个“自然”枚举 ——一个非形式讨论 “纯逻辑演算”中不依赖量词的部分 个体与真值的演算 简单类型论中国名辩思想 中国古代辩者的悖论 《公孙龙子》的评价问题 公孙龙考(一) ——先秦是否有两个有名的公孙龙，还是只有一个? 谈公孙龙 ——兼论《墨辩》三派 论《墨经》四篇之编制 《墨子经上、下》旁行本始于何时? 《墨经》中有关原始诡辩说的一个材料 《公孙龙子》考 ——从较早的文献考察辩者公孙龙的学说的倾向性 《墨经》中有关“不定称判断”的争论 论原始“离坚白”学说的物理性质 现行《公孙龙子》六篇的时代和作者考哲学 周易序卦骨构大意 周易卦序分析 中国哲学今后的开展 真理底分野 语言、思想与意义 ——意指分析的第一章 意义的分类 ——意指分析的第二章 《周易》释词其他 评《东西乐制之研究》作者论著目录作者年表

沈有鼎先生(1908-1989)字公武，生于上海市。他是当代中国逻辑学家、哲学家。1929年沈先生毕业于清华大学哲学系，同年考取公费留学美国哈佛大学。他师从H．M．舍弗和 A．N_怀特海，于1931年获硕士学位。同年至德国海德堡大学和弗赖堡大学访问研究。1934年回国后，他历任清华大学、北京大学教授。1955年调任中国科学院哲学研究所(现为中国社会科学院哲学研究所)研究员。 沈有鼎先生学贯古今，融汇中西，是蜚声中外的大学者。他的主要研究领域是逻辑学，其重点是数理逻辑和中国古代名辩思想。同时他对中外哲学、佛学与因明、数学、周易、古文字学、语言学、历史学、音乐等都有深入的研究。下文概介沈先生在几个领域里的主要贡献。