086 沈有鼎

逻辑学家、哲学家。他长期从事哲学和数理逻辑、中国逻辑史的教学和研究工作，对康德哲学和佛教哲学颇有研究； 是在中国开创数理逻辑研究的先驱者之一，他发现的集合论悖论被国际学术界称为沈氏悖论；他最早揭举了《墨经》的逻辑体系，把对《墨经》的逻辑研究提高到一个新的水平。主要论文有：《论表达式》、《意义的分类》、《所有有根的类的悖论》、《两个语义学悖论》、《初基演算》、《论〈墨经〉四篇的编制》及考公孙龙其人其书的一组论文，专著有《墨经的逻辑学》。