logic：A very short introduction

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