经典逻辑导论

总序随着历史进程不断深入地向前推进，整个人类世界日益被裹挟进一个命运共同体之中。每一个民族和国家都不可能完全离开人类命运共同体而孤立地寻求实现自身现代化的特色发展之路，只有开放性地参与其中才能完成富有自身特色的现代化的历史使命。中华民族自被迫融入世界历史进程以来，没有任何时候像现在一样恰逢实现具有自身特色的现代化的一个历史发展新时代。如何抓住机遇，迎接挑战，积极参与人类命运共同体的构建，努力实现中华民族伟大复兴的中国梦，是中华民族在这个百年难遇的新历史时代所面临的重大历史使命。完成这一历史使命的关键在于能够培养出堪当这一历史重任的全面发展的人。为此，中国现代化建设的领导者和设计者们恰逢其时地作出了统筹推进中国特色世界一流大学和一流学科建设的重大战略决策。“双一流”建设的核心和根本任务是培养人才，即坚持中国特色社会主义办学方向，培养德智体美劳全面发展的社会主义建设者和接班人。2016年召开的全国高校思想政治工作会议提出，要坚持把立德树人作为中心环节，把思想政治工作贯穿教育教学全过程，实现全程育人、全方位育人，努力开创我国高等教育事业发展的新局面。党的十九大再次提出了加快一流大学和一流学科建设，实现高等教育内涵式发展。为了贯彻落实党中央和国务院对我国高等教育事业发展提出的这一重大战略决策和一系列要求，我国首批获得“双一流”建设资质的高校都纷纷把立德树人摆在办学治校的核心位置上，结合自身的优势特色积极进行综合改革，努力培养能够适应我国现代化建设需要的一流人才。然而，培养能够适应我国现代化建设需要的一流人才，不仅需要对大学生进行自然科学和社会科学教育，而且需要对他们进行人文科学教育。虽然自然科学和社会科学十分重要，但是它们至多只能使人成为某种人，而不能从根本上使人成为人；唯有人文科学才是斯文在兹的“成人之学”或者安身立命的“为己之学”。人文科学教育的首要目标在于从根本上使人成为人，人的世界观、价值观和人生观的形塑与人文科学教育须臾不可离。培养一流人才必须以抓好人文科学教育为前提，只有这样才能达到“化成天下”之目的。因此，培养全面发展的人理当以人文科学教育为本分。自古及今，无论东西，但凡具有远见卓识的教育家都无不特别强调人文科学对于整个人类文明的塑造和发展，以及人与自然、社会的和谐相处具有根本意义，特别强调立德树人和厚德载物的人文科学教育。作为首批进入全国“双一流”建设高校的华中科技大学，虽然是一所以强大工科和医科为特色的高校，但是经过近几十年的积累，文科也取得了巨大进步，而且发展势头良好。华中科技大学历届领导班子都高度重视对理工科和医科学生进行人文科学教育，注重学生人文底蕴的积淀和人文价值的提升。目前，高扬人文素质教育已成为一张充分彰显华中科技大学人才培养特色的耀眼名片。为了更好地发挥人文科学在“双一流”建设中的育人功能，华中科技大学人文学院党政领导班子瞄准“一流人才”培养目标，把教材建设作为学科建设和教学改革的重要抓手之一，决定编写并出版人文科学领域的一系列普通高等院校“双一流”建设各大类专业课程数字化精品教材，包括哲学类专业数字化精品教材、中国语言文学类专业数字化精品教材和历史学类专业数字化精品教材，拟为我校“双一流”建设作出自己应有的贡献。本系列数字化精品教材的编写坚持以下四个基本原则。第一，政治正确原则。本系列数字化精品教材的编写必须坚持以习近平新时代中国特色社会主义思想为指导，坚持马克思主义在意识形态领域的指导地位，坚持社会主义核心价值观，充分体现教材的价值导向功能和思想政治教育功能。第二，学术创新原则。本系列数字化精品教材要力争充分反映国内外*新人文学术研究成果，注重挖掘新材料、发现新问题、借鉴新方法、提出新观点、构建新理论，充分体现教材的思想性、科学性、时代性和前瞻性，力争打造一流的精品教材。第三，学术规范原则。本系列数字化精品教材的编写必须严格遵守国家规定和学界公认的学术规范，无论是材料的遴选、思想的借鉴、观点的引用，还是体例的安排、语言的表达，都要尽可能做到符合教材的基本要求，不得出现任何违反学术规范的学术不端行为。第四，中国特色原则。本系列数字化精品教材的编写要充分体现构建中国特色哲学社会科学体系的要求，立足中国实践、解决中国问题、加强中国元素、讲好中国故事，把国际化与本土化有机融合起来，努力打造一批具有中国特色、中国风格和中国气派的一流教材。虽然本系列精品教材的编委会在主观上强调教材建设的使命感和责任感，要求每一本教材的编写者都必须遵循上述基本原则进行编写，并且努力做到严格审查，但是由于教材建设本身是一项复杂的系统工程，加之每一位编写者的能力和水平都有其自身的局限性，因此客观上难免存在着技术方面和学术思想方面的不足之处。在此衷心希望广大读者进行严格的审查和批判，欢迎大家多提宝贵的批判性和建设性的意见，以便我们在今后再版时能够予以修正。我们期待本系列数字化精品教材能够在培养一流人才的过程中对于弘扬人文精神、提升人文素养、增强人文情怀贡献自身的一份正能量！2018年11月15日于武汉喻家山

道理很重要。人们喜欢讲道理，也喜欢听人们讲道理。但是，道理是什么？怎样才能讲好道理？这个问题不好回答。但是，无论如何，逻辑是不能违背的基本道理。因此，若想讲好道理，不能不懂逻辑。

学好逻辑，最好有一本好教材。这本书便是一本经典逻辑教材。所谓“经典逻辑”，也可称作“标准逻辑”，是当今所有大学的逻辑课堂都会教的逻辑，经典等于标准。
作者没有使用常见的公理化方法或自然演绎方法，而是使用“树方法”。为判定前提能否推出结论，画出一棵“树”即可，封闭能推出，开放则推不出——人人都可以做到，“童叟无欺”。
书里面还有关于逻辑的极其有趣的哲学讨论。
邀请你快快打开这本教材，我们一起开启一场精彩的逻辑之旅吧！

作者简介
格里格·莱斯托(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

道理很重要。人们喜欢讲道理，也喜欢听人们讲道理。但是，道理是什么？怎样才能讲好道理？这个问题不好回答。但是，无论如何，逻辑是不能违背的基本道理。因此，若想讲好道理，不能不懂逻辑。

学好逻辑，最好有一本好教材。这本书便是一本经典逻辑教材。所谓“经典逻辑”，也可称作“标准逻辑”，是当今所有大学的逻辑课堂都会教的逻辑，经典等于标准。
作者没有使用常见的公理化方法或自然演绎方法，而是使用“树方法”。为判定前提能否推出结论，画出一棵“树”即可，封闭能推出，开放则推不出——人人都可以做到，“童叟无欺”。
书里面还有关于逻辑的极其有趣的哲学讨论。
邀请你快快打开这本教材，我们一起开启一场精彩的逻辑之旅吧！

作者简介
格里格·莱斯托(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项。

该教材的证明论部分不是诉诸公理化系统，也不是通过自然演绎，而是使用树方法。该教材详细介绍了命题逻辑树方法、真值函数语义、命题逻辑相对树方法的可靠性定理和完全性定理，一阶谓词逻辑树方法、语义模型、一阶谓词逻辑相对树方法的可靠性定理和完全性定理。如作者所言，树方法有其自身特点，最重要的特点之一是其机械性。针对一个论证形式，根据树规则画一棵树即可，开放则无效，封闭则有效。对应的，公理化方法和自然演绎方法都要求证明者常常能“灵机一动”。

教材特点第一，该教材的证明论部分不是诉诸公理化系统，也不是通过自然演绎，而是使用树方法。该教材详细介绍了命题逻辑树方法、真值函数语义、命题逻辑相对树方法的可靠性定理和完全性定理，一阶谓词逻辑树方法、语义模型、一阶谓词逻辑相对树方法的可靠性定理和完全性定理。如作者所言，树方法有其自身特点，*重要的特点之一是其机械性。针对一个论证形式，根据树规则画一棵树即可，开放则无效，封闭则有效。对应的，公理化方法和自然演绎方法都要求证明者常常能“灵机一动”。第二，作者不但介绍经典逻辑系统，还进行了关于经典逻辑的逻辑哲学探讨。第三，该教材的每一章都提供了进阶读物、基础习题和高阶习题，供学生参考，这对学生是非常有帮助的。