導言1

寫給學生/1

寫給教師/2

第一部分命題邏輯

第1章命題與論證6

命題/6

論證/7

論證形式/8

小結/10

進階讀物/10

習題/10

第2章聯結詞與論證形式13

合取與析取/13

條件句與雙向條件句/15

否定/16

一種形式的語言/17

更多論證形式/19

小結/20

習題/21

第3章真值表24

真值表/24

論證形式的真值表/29

如何快速找到賦值/30

小結/33

習題/33

第4章命題邏輯的樹37

樹背後的理念/38

樹的生成規則/40

為何樹方法可行/46

小結/49

進階讀物/50

習題/50

第5章含混性與二值原則52

含混性難題/52

候選方案/53

關於二值原則的其他難題/56

進階讀物/57

習題/58

第6章條件句60

實質蘊含悖論/60

真與可斷定性/61

可能性/62

相干性/66

進階讀物/67

習題/67

第7章自然演繹69

合取、蘊含與析取/69

否定/72

進階讀物/74

習題/75

第二部分謂詞邏輯

第8章謂詞、名字和量詞78

名字與謂詞/78

量詞/80

翻譯/83

小結/84

習題/84

第9章謂詞邏輯的模型88

論域與外延/88

量詞/91

構造模型/94

何時有窮論域夠用/98

小結/98

習題/99

第10章謂詞邏輯的樹102

量詞的樹規則/102

開放的樹/105

為何樹方法可行/110

進階讀物/113

習題/113

第11章等詞與函項116

等詞/116

對常見量詞的翻譯/119

函項/120

小結/123

習題/124

第12章確定描述語127

羅素的解決方案/127

局限性/131

進階讀物/131

習題/132

第13章有的事物不存在134

存在隱含與謂詞/134

存在隱含與名字/135

模型/136

樹規則/137

局限性/139

進階讀物/140

習題/141

第14章謂詞是什麼143

一個論證/143

晦暗語境/144

進階讀物/146

習題/146

第15章邏輯是什麼148

邏輯乃替換下無反例/148

邏輯乃必然保真/149

進階讀物/150

參考文獻152

譯後記154

總序隨著歷史進程不斷深入地向前推進，整個人類世界日益被裹挾進一個命運共同體之中。每一個民族和國家都不可能完全離開人類命運共同體而孤立地尋求實現自身現代化的特色發展之路，隻有開放性地參與其中纔能完成富有自身特色的現代化的歷史使命。中華民族自被迫融入世界歷史進程以來，沒有任何時候像現在一樣恰逢實現具有自身特色的現代化的一個歷史發展新時代。如何抓住機遇，迎接挑戰，積極參與人類命運共同體的構建，努力實現中華民族偉大復興的中國夢，是中華民族在這個百年難遇的新歷史時代所面臨的重大歷史使命。完成這一歷史使命的關鍵在於能夠培養出堪當這一歷史重任的全面發展的人。為此，中國現代化建設的領導者和設計者們恰逢其時地作出了統籌推進中國特色世界一流大學和一流學科建設的重大戰略決策。“雙一流”建設的核心和根本任務是培養人纔，即堅持中國特色社會主義辦學方向，培養德智體美勞全面發展的社會主義建設者和接班人。2016年召開的全國高校思想政治工作會議提出，要堅持把立德樹人作為中心環節，把思想政治工作貫穿教育教學全過程，實現全程育人、全方位育人，努力開創我國高等教育事業發展的新局面。黨的十九大再次提出了加快一流大學和一流學科建設，實現高等教育內涵式發展。為了貫徹落實黨中央和國務院對我國高等教育事業發展提出的這一重大戰略決策和一繫列要求，我國首批獲得“雙一流”建設資質的高校都紛紛把立德樹人擺在辦學治校的核心位置上，結合自身的優勢特色積極進行綜合改革，努力培養能夠適應我國現代化建設需要的一流人纔。然而，培養能夠適應我國現代化建設需要的一流人纔，不僅需要對大學生進行自然科學和社會科學教育，而且需要對他們進行人文科學教育。雖然自然科學和社會科學十分重要，但是它們至多隻能使人成為某種人，而不能從根本上使人成為人；唯有人文科學纔是斯文在茲的“成人之學”或者安身立命的“為己之學”。人文科學教育的首要目標在於從根本上使人成為人，人的世界觀、價值觀和人生觀的形塑與人文科學教育須臾不可離。培養一流人纔必須以抓好人文科學教育為前提，隻有這樣纔能達到“化成天下”之目的。因此，培養全面發展的人理當以人文科學教育為本分。自古及今，無論東西，但凡具有遠見卓識的教育家都無不特別強調人文科學對於整個人類文明的塑造和發展，以及人與自然、社會的和諧相處具有根本意義，特別強調立德樹人和厚德載物的人文科學教育。作為首批進入全國“雙一流”建設高校的華中科技大學，雖然是一所以強大工科和醫科為特色的高校，但是經過近幾十年的積累，文科也取得了巨大進步，而且發展勢頭良好。華中科技大學歷屆領導班子都高度重視對理工科和醫科學生進行人文科學教育，注重學生人文底蘊的積澱和人文價值的提升。目前，高揚人文素質教育已成為一張充分彰顯華中科技大學人纔培養特色的耀眼名片。為了更好地發揮人文科學在“雙一流”建設中的育人功能，華中科技大學人文學院黨政領導班子瞄準“一流人纔”培養目標，把教材建設作為學科建設和教學改革的重要抓手之一，決定編寫並出版人文科學領域的一繫列普通高等院校“雙一流”建設各大類專業課程數字化精品教材，包括哲學類專業數字化精品教材、中國語言文學類專業數字化精品教材和歷史學類專業數字化精品教材，擬為我校“雙一流”建設作出自己應有的貢獻。本繫列數字化精品教材的編寫堅持以下四個基本原則。第一，政治正確原則。本繫列數字化精品教材的編寫必須堅持以習近平新時代中國特色社會主義思想為指導，堅持馬克思主義在意識形態領域的指導地位，堅持社會主義核心價值觀，充分體現教材的價值導向功能和思想政治教育功能。第二，學術創新原則。本繫列數字化精品教材要力爭充分反映國內外*新人文學術研究成果，注重挖掘新材料、發現新問題、借鋻新方法、提出新觀點、構建新理論，充分體現教材的思想性、科學性、時代性和前瞻性，力爭打造一流的精品教材。第三，學術規範原則。本繫列數字化精品教材的編寫必須嚴格遵守國家規定和學界公認的學術規範，無論是材料的遴選、思想的借鋻、觀點的引用，還是體例的安排、語言的表達，都要盡可能做到符合教材的基本要求，不得出現任何違反學術規範的學術不端行為。第四，中國特色原則。本繫列數字化精品教材的編寫要充分體現構建中國特色哲學社會科學體繫的要求，立足中國實踐、解決中國問題、加素、講好中國故事，把國際化與本土化有機融合起來，努力打造一批具有中國特色、中國風格和中國氣派的一流教材。雖然本繫列精品教材的編委會在主觀上強調教材建設的使命感和責任感，要求每一本教材的編寫者都必須遵循上述基本原則進行編寫，並且努力做到嚴格審查，但是由於教材建設本身是一項復雜的繫統工程，加之每一位編寫者的能力和水平都有其自身的局限性，因此客觀上難免存在著技術方面和學術思想方面的不足之處。在此衷心希望廣大讀者進行嚴格的審查和批判，歡迎大家多提寶貴的批判性和建設性的意見，以便我們在今後再版時能夠予以修正。我們期待本繫列數字化精品教材能夠在培養一流人纔的過程中對於弘揚人文精神、提升人文素養、增強人文情懷貢獻自身的一份正能量！2018年11月15日於武漢喻家山