經典邏輯導論 格里格.萊斯托 9787577204475 【台灣高等教育出版社】

編輯推薦
本譯作的特點有：其一，與大多數教材不同，作者使用的是樹形圖證明論方法。這個方法的優點是機械，解題並不需要多少靈感的創造，學生較容易把握。相對照，常見的公理化方法或者自然演繹法，學生不容易把握。其二，作者強調邏輯與哲學的緊密關係。邏輯中有哲學問題，並且哲學會推動邏輯的創新。國內的教材，據我所知，較少使用樹形圖方法構造證明論。這本教材的出版將為國內的邏輯教材提供一種重要補充。

內容簡介
道理很重要。人們喜歡講道理，也喜歡聽人們講道理。但是，道理是什麼？怎樣才能講好道理？這個問題不好回答。但是，無論如何，邏輯是不能違背的基本道理。因此，若想講好道理，不能不懂邏輯。
學好邏輯，最好有一本好教材。這本書便是一本經典邏輯教材。所謂「經典邏輯」，也可稱作「標準邏輯」，是當今所有大學的邏輯課堂都會教的邏輯，經典等於標準。
作者沒有使用常見的公理化方法或自然演繹方法，而是使用「樹方法」。為判定前提能否推出結論，畫出一棵「樹」即可，封閉能推出，開放則推不出——人人都可以做到，「童叟無欺」。
書裏面還有關於邏輯的極其有趣的哲學討論。
邀請你快快打開這本教材，我們一起開啟一場精彩的邏輯之旅吧！

作者簡介

作者簡介
格里格·萊斯托(Greg Restall) 昆士蘭大學哲學博士，聖安德魯斯大學謝爾比· 卡勒姆·戴維斯哲學講席教授，曾任職于澳大利亞國立大學、麥考瑞大學、墨爾本大學，研究領域包括形式邏輯、邏輯哲學、語言哲學等，在邏輯學領域出版著作包括《經典邏輯導論》（Logic:An Introduction）、《邏輯多元論》（Logical Pluralism）、《子結構邏輯》（An Introduction to Substructural Logics）、《邏輯方法》(Logical Method)、《哲學邏輯中的證明與模型》（Proofs and models in philosophical logic）等。

譯者簡介
徐敏 中山大學哲學博士，華中科技大學哲學學院教授，研究領域包括邏輯學和形上學，出版專著《虛構對象的形上學》，在《哲學研究》《邏輯學研究》Dialogue: Canadian Philosophical Review與Philosophia: Philosophical Quarterly of Israel 等國內外哲學期刊，主講「數理邏輯」「批判性思維」等邏輯類課程，主持省級教學研究項目1項，獲省級教學成果獎2項，校教學質量一等獎1項。

精彩書評
教材特點
第一，該教材的證明論部分不是訴諸公理化系統，也不是通過自然演繹，而是使用樹方法。該教材詳細介紹了命題邏輯樹方法、真值函數語義、命題邏輯相對樹方法的可靠性定理和完全性定理，一階謂詞邏輯樹方法、語義模型、一階謂詞邏輯相對樹方法的可靠性定理和完全性定理。如作者所言，樹方法有其自身特點，*重要的特點之一是其機械性。針對一個論證形式，根據樹規則畫一棵樹即可，開放則無效，封閉則有效。對應的，公理化方法和自然演繹方法都要求證明者常常能「靈機一動」。
第二，作者不但介紹經典邏輯系統，還進行了關於經典邏輯的邏輯哲學探討。
第三，該教材的每一章都提供了進階讀物、基礎習題和高階習題，供學生參考，這對學生是非常有幫助的。

目錄

目錄
導言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日于武漢喻家山