●  編者的話
●
●邏輯與數學
●
●論表達式
●
●論有窮繫統
●
●所有有根類的類的悖論
●
●兩個語義悖論
●
●初基演算
●
●論“思維形式”和形式邏輯
●
●唯物主義者培根如何推進了邏輯科學
●
●非負有理數的一個“自然”枚舉——一個非形式討論
●
●部分目錄

  瀋有鼎先生(1908-1989)字公武，生於上海市。他是當代中國邏輯學家、哲學家。1929年瀋先生畢業於清華大學哲學繫，同年考取公費留學美國哈佛大學。他師從H.M.舍弗和 A.N懷特海，於1931年獲碩士學位。同年至德國海德堡大學和弗賴堡大學訪問研究。1934年回國後，他歷任清華大學、北京大學教授。1955年調任中國科學院哲學研究所(現為中國社會科學院哲學研究所)研究員。

瀋有鼎先生學貫古今，融彙中西，是蜚聲中外的大學者。他的主要研究領域是邏輯學，其重點是數理邏輯和中國古代名辯思想。同時他對中外哲學、佛學與因明、數學、周易、古文字學、語言學、歷史學、音樂等都有深入的研究。下文概介瀋先生在幾個領域裡的主要貢獻。