大家小書 邏輯學(xué)講話（精）

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

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