大家小書 邏輯學講話（精）

　　《邏輯學講話》匯集了我國著名邏輯學家沈有鼎先生在數(shù)理邏輯和中國邏輯史這兩個方面最重要的文章。本書從形式邏輯的基礎出發(fā)，探討 “思維形式”與形式邏輯，并通過中國古代邏輯學中的“辭”“說”“辯”等概念的解析，對《墨經》、公孫龍學說等中國古代邏輯思想的現(xiàn)代詮釋，揭示了中國古代邏輯思想的發(fā)展高度。書中還收錄了沈有鼎先生在數(shù)理邏輯領域的兩個著名悖論?；趯?shù)理邏輯研究與應用的思考，沈有鼎先生預言了邏輯學在智能推理上的發(fā)展。對以古奧著稱的《墨經》，沈先生詁解嚴謹，表述流暢，讓墨子的邏輯學思想面目清晰地呈現(xiàn)出來。附帶的沈有鼎自傳，更讓讀者得以一窺這位邏輯學大師的學術生涯與思想歷程。無論是邏輯學研究者、哲學愛好者，還是對AI時代的邏輯方法論基礎感興趣的讀者，都能從本書中獲得啟發(fā)與思考。

　　沈有鼎（1908—1989），字公武。邏輯學家。上海市人，祖籍江蘇吳縣。1929年畢業(yè)于清華大學哲學系，在美國哈佛大學謝弗和懷德海指導下從事研究，1931年獲碩士學位。后留學德國，先后在海德堡大學和弗萊堡大學從事研究。沈有鼎先生是中國現(xiàn)當代著名的邏輯學家、哲學家、教育家，中國邏輯學界的開拓者、先行者與天才人物。專長數(shù)理邏輯和中西邏輯史。他曾任清華大學、西南聯(lián)合大學、北京大學教授，中國科學院、中國社會科學院哲學研究所研究員。他學貫古今，融會中西，是蜚聲中外的大學者。編者：劉新文，哲學博士、研究員。中國社會科學院哲學研究所邏輯室主任。