逻辑学简短入门（牛津通识读本)】 wxflogic with GitBo
目錄 重译说明 1.1 前言 1.2 第1章：有效性：从什么可以推出什么？ 1.3 第2章（上）：填值函数—亦或不是？ 1.4 第2章（下）填值函数—亦或不是？ 5 第3章：名称与量词：空无一物是某物吗？ 1.6 第4章（上）：慕状词与存在：古希腊人崇拜宙斯吗？ 1.7 第4章（下）：摹状词与存在：古希腊人崇拜宙斯吗？ 1.8 第5章：自指：本章是关于什么的？ 第6章：必然与可能：什么会是一定如此的？ 1.10 第7章：条件句：“如果”中有什么？ 1.11 第8章：将来和过去：时间是填实的吗？ 1.12 第9章：同一性与变化：有什么是一成不变的吗？ 1.13 第10章：模糊性：如何在滑坡上停止下滑？ 1.14 第11章：概率：缺少参照类的奇怪情形 1.15 第12章：互逆概率：你无法忽略其差别」 1.16 第13章：决策论：远大期望 1.17 第14章：一点历史与进阶阅读 1.18 术语表 1.19 习题 1.20 参考文献 1.21 附录：习题解答 1.22
1.1 1.2 1.3 1.4 1.5 1.6 1.7 1.8 1.9 1.10 1.11 1.12 1.13 1.14 1.15 1.16 1.17 1.18 1.19 1.20 1.21 1.22 目錄 重译说明 前言 第1章：有效性：从什么可以推出什么？ 第2章（上）：真值函数——亦或不是？ 第2章（下）真值函数——亦或不是？ 第3章：名称与量词：空无一物是某物吗？ 第4章（上）：摹状词与存在：古希腊人崇拜宙斯吗？ 第4章（下）：摹状词与存在：古希腊人崇拜宙斯吗？ 第5章：自指：本章是关于什么的？ 第6章：必然与可能：什么会是一定如此的？ 第7章：条件句：“如果”中有什么？ 第8章：将来和过去：时间是真实的吗？ 第9章：同一性与变化：有什么是一成不变的吗？ 第10章：模糊性：如何在滑坡上停止下滑？ 第11章：概率：缺少参照类的奇怪情形 第12章：互逆概率：你无法忽略其差别！ 第13章：决策论：远大期望 第14章：一点历史与进阶阅读 术语表 习题 参考文献 附录：习题解答 2
重译说明 重译说明 Graham Priest的Logic:A Very Short Introduction是牛津通识系列中的一本。该 书在众多逻辑学入门书中独树一帜，并不试图完整介绍逻辑学的理论，而是 通过一些哲学难题或逻辑谜题引入解决这些问题的逻辑理论和方法，在介绍 逻辑知识的同时展示逻辑可以如何来用。虽然篇幅简短，但涵盖了从演锋迈 辑到归纳逻辑，从经典逻辑到非经典逻辑，从理论推理到实践推理等几乎全 部逻辑学分支。与善通教科书不同，该书每章都留下了开放的问题供读者进 一步思考和探索。当然，作者已经声明，这并不是一本教科书。因而该书只 能起到引领和一窥门径的作用。想要系统学习和掌握逻辑学的读者在看完本 书后还需找专门的教科书来阅读1。 该书中译本《简明逻辑学》由译林出版社出版。翻译总体流畅，不会出现英 式中文，但有的地方翻译得也比较随意，虽不失原意，但多有出入。更严重 的是，由于译者并非专业出身，对一些基本逻辑学术语的翻译都不准确（如 将validity译为效度)。还有一些地方，译者围于学识未能理解作者所讲的内 容，存在不少误译。虽然该书英文版通俗易懂，但对于完全不懂逻辑又希望 能迅速入门的读者而言，有一个准确可靠又能方便获取的中译本还是有益 的。 我本人虽是逻辑学专业出身，在术语翻译方面自信不会出错，但并未从事过 文字翻译工作，在其他地方难免错译。故在这里公开译本，以供大家批评指 正。 1.这里我推荐HayJ.Gensler的Introduction to Logic该书第3版（也是 目前最新版)的中译本预计于2018年9月面世。一
重译说明 Graham Priest 的 Logic: A Very Short Introduction 是牛津通识系列中的一本。该 书在众多逻辑学入门书中独树一帜，并不试图完整介绍逻辑学的理论，而是 通过一些哲学难题或逻辑谜题引入解决这些问题的逻辑理论和方法，在介绍 逻辑知识的同时展示逻辑可以如何来用。虽然篇幅简短，但涵盖了从演绎逻 辑到归纳逻辑，从经典逻辑到非经典逻辑，从理论推理到实践推理等几乎全 部逻辑学分支。与普通教科书不同，该书每章都留下了开放的问题供读者进 一步思考和探索。当然，作者已经声明，这并不是一本教科书。因而该书只 能起到引领和一窥门径的作用。想要系统学习和掌握逻辑学的读者在看完本 书后还需找专门的教科书来阅读 。 该书中译本《简明逻辑学》由译林出版社出版。翻译总体流畅，不会出现英 式中文，但有的地方翻译得也比较随意，虽不失原意，但多有出入。更严重 的是，由于译者并非专业出身，对一些基本逻辑学术语的翻译都不准确（如 将 validity 译为效度）。还有一些地方，译者囿于学识未能理解作者所讲的内 容，存在不少误译。虽然该书英文版通俗易懂，但对于完全不懂逻辑又希望 能迅速入门的读者而言，有一个准确可靠又能方便获取的中译本还是有益 的。 我本人虽是逻辑学专业出身，在术语翻译方面自信不会出错，但并未从事过 文字翻译工作，在其他地方难免错译。故在这里公开译本，以供大家批评指 正。 . 这里我推荐 Harry J. Gensler 的 Introduction to Logic。该书第3版（也是 目前最新版）的中译本预计于2018年9月面世。 ↩ 1 1 重译说明 3
前言 前言 逻辑学是最古老也是最现代的学科之一。它始于公元前4世纪。比它更古老的 学科只有哲学和数学，二者与逻辑学一直有着密切联系·20世纪之交，通过 应用新的数学技巧，逻辑学发生了变革：在过去半个世纪里，逻辑在计算和 信息处理中，起到了全新而重要的作用。因而它在人类许多思想和行为中成 为中心主题。 本书按当代逻辑学家现在如何理解该主题对逻辑学进行介绍。但它并不试图 成为一本教科书，这样的书如今比比皆是。本书的目的在于探索逻辑的根 源，它潜藏于哲学，一些形式逻辑会顺带进行讲解。 每一章我从某个特定的哲学难题或逻辑谜题出发，然后讲解一种解决它的方 案，通常是相当标准的方案。但在某些领域却没有标准答案：逻辑学家之间 仍然存在分歧·在这种情况下，我就只是选取一种有趣的方案。几乎所有的 方案，无论是否标准，都可以质疑。每章结束时，我会对讲解的方案指出 些存在的问题。有时这些问题是标准的，有时不是。有时这些问题有简单的 答案，有时不一定。这样做的目的是激励读者自己对这些问题进行思考。 现代逻辑学是高度数学化的学科。我尝试以避免几乎所有数学的方式来写作 这些内容。最多在最后几章要求一点高中代数的知识。当然，你要下决心来 掌提一些对你而言可能是新的符号，但这比初步掌握任何一门语言要容易得 多。并且，符号给困难问题带来的明晰性，使得任何掌握这些符号可能遇到 的麻烦都是值得的。但有一点要注意，读一本逻辑或哲学方面的书不同于读 一本小说，你不得不时常慢慢和仔细地阅读·有时你可能还得停下来想 想。如果必要的话，你还应该准备回过头重读某个段落。 本书最后一章是关于逻辑学的发展的。在那里，我试图将本书涉及的问题放 入一种历史视角中，以表明逻辑学是一个活生生的学科，一直在逐步发展， 并将继续如此。这一章还包含一些进阶阅读的建议。 本书有两个附录。第一个是术语和符号表。如果你忘记了某个词或符号的意 义，你可能需要查阅它·第二个附录包含每一章的一道相关题目，你可以用 来检验对这一章主要思想的理解
前言 逻辑学是最古老也是最现代的学科之一。它始于公元前4世纪。比它更古老的 学科只有哲学和数学，二者与逻辑学一直有着密切联系。20世纪之交，通过 应用新的数学技巧，逻辑学发生了变革；在过去半个世纪里，逻辑在计算和 信息处理中，起到了全新而重要的作用。因而它在人类许多思想和行为中成 为中心主题。 本书按当代逻辑学家现在如何理解该主题对逻辑学进行介绍。但它并不试图 成为一本教科书，这样的书如今比比皆是。本书的目的在于探索逻辑的根 源，它潜藏于哲学，一些形式逻辑会顺带进行讲解。 每一章我从某个特定的哲学难题或逻辑谜题出发，然后讲解一种解决它的方 案，通常是相当标准的方案。但在某些领域却没有标准答案：逻辑学家之间 仍然存在分歧。在这种情况下，我就只是选取一种有趣的方案。几乎所有的 方案，无论是否标准，都可以质疑。每章结束时，我会对讲解的方案指出一 些存在的问题。有时这些问题是标准的，有时不是。有时这些问题有简单的 答案，有时不一定。这样做的目的是激励读者自己对这些问题进行思考。 现代逻辑学是高度数学化的学科。我尝试以避免几乎所有数学的方式来写作 这些内容。最多在最后几章要求一点高中代数的知识。当然，你要下决心来 掌握一些对你而言可能是新的符号，但这比初步掌握任何一门语言要容易得 多。并且，符号给困难问题带来的明晰性，使得任何掌握这些符号可能遇到 的麻烦都是值得的。但有一点要注意，读一本逻辑或哲学方面的书不同于读 一本小说，你不得不时常慢慢和仔细地阅读。有时你可能还得停下来想一 想。如果必要的话，你还应该准备回过头重读某个段落。 本书最后一章是关于逻辑学的发展的。在那里，我试图将本书涉及的问题放 入一种历史视角中，以表明逻辑学是一个活生生的学科，一直在逐步发展， 并将继续如此。这一章还包含一些进阶阅读的建议。 本书有两个附录。第一个是术语和符号表。如果你忘记了某个词或符号的意 义，你可能需要查阅它。第二个附录包含每一章的一道相关题目，你可以用 来检验对这一章主要思想的理解。 前言 4
前言 本书追求广度而不是深度。每章内容都可以轻易写成一本书一这些书其实 已经写出来了。即便如此，还有一些逻辑学中非常重要的问题，我在这里并 未触及·但如果你坚持读完本书，你就会对现代逻辑的基本内容有一个很好 的了解，并且会理解，为什么人们会认为逻辑是值得思考的·
本书追求广度而不是深度。每章内容都可以轻易写成一本书——这些书其实 已经写出来了。即便如此，还有一些逻辑学中非常重要的问题，我在这里并 未触及。但如果你坚持读完本书，你就会对现代逻辑的基本内容有一个很好 的了解，并且会理解，为什么人们会认为逻辑是值得思考的。 前言 5
第1章：有效性：从什么可以推出什么？ 第1章：有效性：从什么可以推出什 么？ 大多数人喜欢自认为是有逻辑性的。告诉某人“你没有逻辑性”，通常是一种 批评。不合迈辑意味着混乱、糊涂和不理性。但什么是逻辑呢？在刘易斯卡 罗尔的《镜中世界》中，爱丽丝遇见了一对强词夺理讲逻辑的兄弟—特伟 哥和特伟弟。在爱丽丝一时无语时，他们开始攻击爱丽丝： “我知道你在想什么”，特伟哥说：“但现在并不是这样的，决不是”。 “反过来说”，特伟弟接着说：“如果过去是这样的，那么可能是这样的： 假如现在是这样的，那就是这样的。但现在不是这样的，所以不是这样 的。这就是逻辑。” 特伟弟所做的，至少在卡罗尔的戏仿作品中，是推理。而正如他所说，逻辑 就是关于推理的。 我们都进行推理。我们根据已知进行推理，设法弄清什么是这样的。我们试 图通过给出理由，来说服他人某事就是这样的。逻辑学就是研究什么可以算 作什么的好的理由，以及为何如此。不过，你得以特定方式来理解这一论 断。这里有两条推理：逻辑学家称之为推断(inferences）: 1.罗马是意大利的首都，这架飞机在罗马着陆：因此，这架飞机在意 大利者陆。 2.莫斯科是美国的首都：因此，你无法去了莫斯科而没有去美国。 在每条推理中，“因此”之前的论断—逻辑学家称之为前提—在给出理 由：“因此”之后的论断—逻辑学家称之为结论—被认为是由这些理由所 支持的。第1条推理是好的；但第2条就很成问题，也不会说服任何有地理 常识的人：莫斯科是美国首都这一前提就是假的。不过，要注意，假如前提 是旗的一比如说美国已买下了整个俄罗斯（而不只是阿拉斯加）并把白宫 搬到莫斯科，从而离欧洲的权力中心更近一结论就会确实为填了。它会由 前提推出：而这就是逻辑学所关心的。它不关心推断的前提是其是假，那是 6
第 1 章：有效性：从什么可以推出什 么？ 大多数人喜欢自认为是有逻辑性的。告诉某人“你没有逻辑性”，通常是一种 批评。不合逻辑意味着混乱、糊涂和不理性。但什么是逻辑呢？在刘易斯·卡 罗尔的《镜中世界》中，爱丽丝遇见了一对强词夺理讲逻辑的兄弟——特伟 哥和特伟弟。在爱丽丝一时无语时，他们开始攻击爱丽丝： “我知道你在想什么”，特伟哥说：“但现在并不是这样的，决不是”。 “反过来说”，特伟弟接着说：“如果过去是这样的，那么可能是这样的； 假如现在是这样的，那就是这样的。但现在不是这样的，所以不是这样 的。这就是逻辑。” 特伟弟所做的，至少在卡罗尔的戏仿作品中，是推理。而正如他所说，逻辑 就是关于推理的。 我们都进行推理。我们根据已知进行推理，设法弄清什么是这样的。我们试 图通过给出理由，来说服他人某事就是这样的。逻辑学就是研究什么可以算 作什么的好的理由，以及为何如此。不过，你得以特定方式来理解这一论 断。这里有两条推理：逻辑学家称之为推断（inferences）： 1. 罗马是意大利的首都，这架飞机在罗马着陆；因此，这架飞机在意 大利着陆。 2. 莫斯科是美国的首都；因此，你无法去了莫斯科而没有去美国。 在每条推理中，“因此”之前的论断——逻辑学家称之为前提——在给出理 由；“因此”之后的论断——逻辑学家称之为结论——被认为是由这些理由所 支持的。第 1 条推理是好的；但第 2 条就很成问题，也不会说服任何有地理 常识的人：莫斯科是美国首都这一前提就是假的。不过，要注意，假如前提 是真的——比如说美国已买下了整个俄罗斯（而不只是阿拉斯加）并把白宫 搬到莫斯科，从而离欧洲的权力中心更近——结论就会确实为真了。它会由 前提推出；而这就是逻辑学所关心的。它不关心推断的前提是真是假，那是 第1章：有效性：从什么可以推出什么？ 6
第1章：有效性：从什么可以推出什么？ 其他人的事（在这个例子中，是地理学家的事）。逻辑学家把结论确实可以 从前提推出的推断，称为有效的(vali)。因此逻辑学的中心目标就是理解 有效性(validity）。 你或许认为这很无聊 一种吸引力还不如解纵横字谜的智力活动。但结果 证明，这不但是一件很困难的事，而且与若千重要的（有时还是深刻的）哲 学问题密不可分。我们接下来会看到其中一些。现在，让我们了解更多一些 有关有效性的基本事实。 首先，一般区分两种不同的有效性。为了理解这一点，考虑下面三条推断： 1.假如窃贼是从厨房破窗而入·就会在外面留下脚印；但并没有脚 印；因此，窃贼不是从厨房破窗而入· 2.琼斯的手指有尼古丁痕渍；因此·琼斯抽烟。 3.琼斯每天买两包烟；因此，有人在厨房窗外留下了脚印。 第1条是很直接的推理。如果前提为填，结论也一定为填。或者换一种方式 说，结论不旗，前提也不能为其。逻辑学家把这样的推断称为演绎有效的 (deductively valid)。第2条推理有所不同。前提明显对结论给出了好的理 由，但结论并非确凿无疑。毕竟，琼斯完全有可能故意把手弄脏，好让别人 认为他抽烟。因此该推断不是演绎有效的。这样的推断通常称为归纳有效的 (inductively valid)。相比之下，第3条推断看上去按任何标准都无可救药 前提似乎完全没有为结论提供任何理由。它是无效的—不论在演绎上还是 归纳上。事实上，既然大家都不是白痴，如果有人其的像这样给出理由，人 们就会假定，还有一些无需告知的额外前提（也许有人通过厨房窗户把烟递 给琼斯)。 归纳有效性是个非常重要的概念。我们无时不在进行归纳推理；比如，在设 法解决汽车为何抛锚，人为何生病，或者谁是罪犯这些问题时·座构的辽辑 学家夏洛克·福尔摩斯就是归纳推理的大师。尽管如此，历史上更多的努力都 投入到理解演绎有效性上—或许逻辑学家往往也是哲学家或数学家（在他 们的研究中，演绎有效性至关重要)，而不是医生或侦探。本书晚一点我们 再回到归纳这个概念。现在，让我们对演绎有效性作更多思考。（认为演绎 有效性是更简单的概念是很自然的，因为演绎有效的推断更为确定不变(cu and-dried)。因此，试图先理解这个概念是个不错的主意。而我们会看到，即 使做到这一点也并不容易。）除非特别说明，“有效”以后就指“演绎有效”。 7
其他人的事（在这个例子中，是地理学家的事）。逻辑学家把结论确实可以 从前提推出的推断，称为有效的（valid）。因此逻辑学的中心目标就是理解 有效性（validity）。 你或许认为这很无聊——一种吸引力还不如解纵横字谜的智力活动。但结果 证明，这不但是一件很困难的事，而且与若干重要的（有时还是深刻的）哲 学问题密不可分。我们接下来会看到其中一些。现在，让我们了解更多一些 有关有效性的基本事实。 首先，一般区分两种不同的有效性。为了理解这一点，考虑下面三条推断： 1. 假如窃贼是从厨房破窗而入，就会在外面留下脚印；但并没有脚 印；因此，窃贼不是从厨房破窗而入。 2. 琼斯的手指有尼古丁痕渍；因此，琼斯抽烟。 3. 琼斯每天买两包烟；因此，有人在厨房窗外留下了脚印。 第 1 条是很直接的推理。如果前提为真，结论也一定为真。或者换一种方式 说，结论不真，前提也不能为真。逻辑学家把这样的推断称为演绎有效的 （deductively valid）。第 2 条推理有所不同。前提明显对结论给出了好的理 由，但结论并非确凿无疑。毕竟，琼斯完全有可能故意把手弄脏，好让别人 认为他抽烟。因此该推断不是演绎有效的。这样的推断通常称为归纳有效的 （inductively valid）。相比之下，第 3 条推断看上去按任何标准都无可救药。 前提似乎完全没有为结论提供任何理由。它是无效的——不论在演绎上还是 归纳上。事实上，既然大家都不是白痴，如果有人真的像这样给出理由，人 们就会假定，还有一些无需告知的额外前提（也许有人通过厨房窗户把烟递 给琼斯）。 归纳有效性是个非常重要的概念。我们无时不在进行归纳推理；比如，在设 法解决汽车为何抛锚，人为何生病，或者谁是罪犯这些问题时。虚构的逻辑 学家夏洛克·福尔摩斯就是归纳推理的大师。尽管如此，历史上更多的努力都 投入到理解演绎有效性上——或许逻辑学家往往也是哲学家或数学家（在他 们的研究中，演绎有效性至关重要），而不是医生或侦探。本书晚一点我们 再回到归纳这个概念。现在，让我们对演绎有效性作更多思考。（认为演绎 有效性是更简单的概念是很自然的，因为演绎有效的推断更为确定不变（cutand-dried）。因此，试图先理解这个概念是个不错的主意。而我们会看到，即 使做到这一点也并不容易。）除非特别说明，“有效”以后就指“演绎有效”。 第1章：有效性：从什么可以推出什么？ 7
第1章：有效性：从什么可以推出什么？ 那么什么是有效的推断呢？前面我们看到了，就是结论不其前提也不能为其 的推断。但这是什么意思呢？特别的，“不能”是什么意思呢？一般而言，“不 能”可以意指很多不同的事情。比如，考虑：“玛丽能弹钢琴，但约翰不能”； 这里我们谈论的是人的能力。试比较：“你不能进入这里：你需要许可”；这 里我们谈论的是，什么是某些规则所允许的。 这样来理解与当前问题相关的“不能”是自然的：说结论不填前提就不能为 填，就是说，在所有前提为填的情形，结论都为填。目前为止，都很好；但 到底什么是一个情形呢？它由什么样的事物组成，这些事物又如何相互关联 呢？什么叫为其(tu)呢？特伟弟可能会说，现在，你有个哲学问题要回 答。 不久我们就要关心这些问题；但让我们暂时将其放在一边，先解决另一件 事。不要轻易认为，我刚才给出的演绎有效性的解释是毫无问题的。（在哲 学中·所有有趣的论断都是有争议的。)这里就有一个难题。假定这个解释 是正确的，知道一个论断是演绎有效的，就是知道不存在前提为填而结论不 为其的情形。现在，在什么是一个情形的任何合理的理解下，都会有多得可 怕的情形：关于遥远恒星的行星上的事物的情形：关于宇宙有任何生命之前 的事件的情形；虚构作品中描速的情形；梦想家想象的情形。人们如何才能 知道在所有情形中哪些是成立的呢？更糟的是，似乎有无穷多的情形（一年 后的情形，两年后的情形，三年后的情形，…)。所以即使在原则上，也 不可能考察所有情形。这样一来·如果这种关于有效性的解释是正确的，而 且假定我们能辨认推理是有效还是无效的（至少在很多情况下如此），我们 就要有某种特别来源的洞见。什么来源呢？ 我们需要借助某种神秘直觉吗？不一定。考虑一个类似的问题。我们都能区 分母语中符合语法与不合语法的词语串，这没有太大问题。比如，任何母语 为中文的人都知道，“这是一把椅子”是符合语法的，但“一把椅子是是一把”就 不是。但符合语法和不合语法的句子似乎都有无穷多。（例如，“1是一个 数”，“2是一个数”，“3是一个数”，…都是符合语法的句子。我们也很容易 造出杂乱无章的句子)。那么我们是如何做到这一点的呢？也许就像最有影 响力的现代语言学家诺姆乔姆斯基所认为的那样，我们能做这些是因为，无 穷的句子由有穷的规则所寰括，而这些有穷的规则已经因化到我们大脑里： 生物进化让我们天生具有语法知识。逻辑也是同样如此吗？逻辑规则也以同 样的方式固化到我们大脑里了吗？
那么什么是有效的推断呢？前面我们看到了，就是结论不真前提也不能为真 的推断。但这是什么意思呢？特别的，“不能”是什么意思呢？一般而言，“不 能”可以意指很多不同的事情。比如，考虑：“玛丽能弹钢琴，但约翰不能”； 这里我们谈论的是人的能力。试比较：“你不能进入这里：你需要许可”；这 里我们谈论的是，什么是某些规则所允许的。 这样来理解与当前问题相关的“不能”是自然的：说结论不真前提就不能为 真，就是说，在所有前提为真的情形，结论都为真。目前为止，都很好；但 到底什么是一个情形呢？它由什么样的事物组成，这些事物又如何相互关联 呢？什么叫为真（true）呢？特伟弟可能会说，现在，你有个哲学问题要回 答。 不久我们就要关心这些问题；但让我们暂时将其放在一边，先解决另一件 事。不要轻易认为，我刚才给出的演绎有效性的解释是毫无问题的。（在哲 学中，所有有趣的论断都是有争议的。）这里就有一个难题。假定这个解释 是正确的，知道一个论断是演绎有效的，就是知道不存在前提为真而结论不 为真的情形。现在，在什么是一个情形的任何合理的理解下，都会有多得可 怕的情形：关于遥远恒星的行星上的事物的情形；关于宇宙有任何生命之前 的事件的情形；虚构作品中描述的情形；梦想家想象的情形。人们如何才能 知道在所有情形中哪些是成立的呢？更糟的是，似乎有无穷多的情形（一年 后的情形，两年后的情形，三年后的情形，……）。所以即使在原则上，也 不可能考察所有情形。这样一来，如果这种关于有效性的解释是正确的，而 且假定我们能辨认推理是有效还是无效的（至少在很多情况下如此），我们 就要有某种特别来源的洞见。什么来源呢？ 我们需要借助某种神秘直觉吗？不一定。考虑一个类似的问题。我们都能区 分母语中符合语法与不合语法的词语串，这没有太大问题。比如，任何母语 为中文的人都知道，“这是一把椅子”是符合语法的，但“一把椅子是是一把”就 不是。但符合语法和不合语法的句子似乎都有无穷多。（例如，“1 是一个 数”，“2 是一个数”，“3 是一个数”，……都是符合语法的句子。我们也很容易 造出杂乱无章的句子）。那么我们是如何做到这一点的呢？也许就像最有影 响力的现代语言学家诺姆·乔姆斯基所认为的那样，我们能做这些是因为，无 穷的句子由有穷的规则所囊括，而这些有穷的规则已经固化到我们大脑里； 生物进化让我们天生具有语法知识。逻辑也是同样如此吗？逻辑规则也以同 样的方式固化到我们大脑里了吗？ 第1章：有效性：从什么可以推出什么？ 8
第1章：有效性：从什么可以推出什么？ 本章要点 ·一个有效的推断就是结论可以从前提推出的推断。 。一个演绎有效的推断就是不存在前提为填而结论不为填的情形的推 断
本章要点 一个有效的推断就是结论可以从前提推出的推断。 一个演绎有效的推断就是不存在前提为真而结论不为真的情形的推 断。 第1章：有效性：从什么可以推出什么？ 9
第2章（上）：值函数一亦或不是？ 第2章（上)：真值函数一亦或不 是？ 无论关于有效性的规则是否固化到我们大脑里，我们对于各种推断是否有效 都有很强的直党。比如，以下推断的有效性是没有多少争议的：“她是女人且 是银行家；因此她是银行家”。以下推断是无效的：“他是木匠；因此他是木 匠且打棒球”。 但我们的直觉有时会让我们陷入麻烦。你怎么看下面这个推断？横线上方是 两个前提，横线下方是结论。 女王富有·女王不富有。 猪会飞· 它看上去当然不是有效的。女王的财富一无论多少—似乎都和猪的飞行 能力无关。 但你认为以下两个推断怎么样？ 女王富有。 女王富有或猪会飞 女王富有或猪会飞·女王不富有。 猪会飞 第1个推断似乎是有效的。考虑它的结论，逻辑学家称这样的语句为析取式 (disjunction),称“或”两边的子句为析取项(disjuncts）。那么，一个析取 式怎样为旗呢？只要其中一个析取项为填即可。因此对于第1个推断，在任 何前提为其的情形，结论也为旗。第2个推断似乎也是有效的。如果两个论 断中的一个或另一个为旗，且其中一个不为其，那么另一个一定为莫。 10
第 2 章（上）：真值函数——亦或不 是？ 无论关于有效性的规则是否固化到我们大脑里，我们对于各种推断是否有效 都有很强的直觉。比如，以下推断的有效性是没有多少争议的：“她是女人且 是银行家；因此她是银行家”。以下推断是无效的：“他是木匠；因此他是木 匠且打棒球”。 但我们的直觉有时会让我们陷入麻烦。你怎么看下面这个推断？横线上方是 两个前提，横线下方是结论。 女王富有。女王不富有。 ————————————————— 猪会飞。 它看上去当然不是有效的。女王的财富——无论多少——似乎都和猪的飞行 能力无关。 但你认为以下两个推断怎么样？ 女王富有。 —————————————— 女王富有或猪会飞。 女王富有或猪会飞。女王不富有。 ——————————————————————— 猪会飞 第 1 个推断似乎是有效的。考虑它的结论，逻辑学家称这样的语句为析取式 （disjunction），称“或”两边的子句为析取项（disjuncts）。那么，一个析取 式怎样为真呢？只要其中一个析取项为真即可。因此对于第 1 个推断，在任 何前提为真的情形，结论也为真。第 2 个推断似乎也是有效的。如果两个论 断中的一个或另一个为真，且其中一个不为真，那么另一个一定为真。 第2章（上）：真值函数——亦或不是？ 10
