沈有鼎
中國現代邏輯學傢。字公武。1908年出生於上海市，逝於1989年。1929年清華大學哲學系畢業。1929～1931年留學於美國哈佛大學，獲碩士學位。1931～1934年留學於德國海德堡大學和弗賴堡大學。1934年回國，任任西南聯大哲學系講師、教授及清華大學哲學系教授。1945～1948年赴英國從事研究工作。1948年回國後歷任清華大學哲學系教授、北京大學哲學系教授、中國科學院(現為中國社會科學院)哲學研究所研究員。他主要從事數理邏輯、中國邏輯史和哲學的教學、研究工作。主要論著有：《所有有根的類的類的悖論》（論文，1953）、《兩個語義學悖論》（論文，1955）、《初基演算》(論文，1957)、《〈墨經〉的邏輯學》(1980)、《“純邏輯演算”中不依賴量詞的部分》（論文，1981）。