译者序 《逻辑的力量》由美国西雅图太平洋大学的雷曼教授所著。1999 年出第一版。2002、2005 年又分别出了第二版和第三版。该书从根本上说，是一本非常好的逻辑学教材。该教材初为作者所在太平洋大学本科生使用，但很快就得到了推广，现在许多美国的大学和其它一些国家的大学都在用该书作为教材。该书第三版还开辟了网络教学模式，学习者可以通过网络进入在线逻辑辅导。 具体来说，我觉得该书主要有以下有三个重要特点： 第一，该书具有巨大的可读性和生动性。作者在表述上尽可能用生动的词语，在案例的选择上尽可能选用有趣的事例，练习也都是经过精挑细选的、能够充分地起到巩固所学知识点的作用。从教材的体系结构上，就可以领略到它在内容上的丰富性和充实性。正如作者所言，“最好的逻辑导论性课程应将传统逻辑（包括非形式逻辑）和现代符号逻辑都包括在内。对传统以及非形式方法的过分强调，会导致学生无法认识到逻辑提供的最有力的力量。而对符号方法的过分强调，则又很容易造成学生只会使用符号而不会将逻辑运用于日常论证中。”（前言）作者先是从论证、语言、谬误等非形式逻辑的角度入手，继而讲述词项逻辑、命题逻辑和谓词逻辑，最后介绍归纳和概率，可以说是将形式逻辑和非形式逻辑，将传统逻辑和现代逻辑，将演绎逻辑和归纳逻辑统一了起来。 第二，该书具有重要的学术价值。在内容上，作者既肯定用有效性作为判定推理和论证的标准，同时又不是将它作为唯一的标准。而是将这个标准推广到了可靠性和可信性。作者认为，一个论证是有效的，当其前提真时结论一定真，否则就是无效的。一个论证如果是有效的，而且前提也都是真实的，则该论证就是可靠的。所以无效的论证是不可靠的，而且至少有一个虚假前提的有效论证也是不可靠的。可信性是与可靠性完全不同的标准。可信论证是一种强的论证。如果一个论证是强的，则当其前提真时其结论很可能是真的，其结论假是不大可能的，否则就是弱的。可信论证是强的而且前提都真。所以弱的论证是不可信论证，有一个假前提的论证也是不可信论证。可靠论证都不是可信的，因为有效的论证都不是强的。类似地，可信论证也都不是可靠的，因为强的论证都不是有效的。而且，带一个假前提的有效论证是不可靠的，但并不是不可信的，因为一个有效论证既不是强的也不是弱的。所以，有效性和强度分别是演绎逻辑和归纳逻辑各自用来衡量问题的标准和方法。作者还主张在形式标准外，还应坚持非形式的标准。一个推理如果在形式上无效，则肯定是无效的。但即使一个论证从形式上看有效，但也不一定就是有效的。因为其中的内容可能有问题。当然，这些内容中的问题也还可以从形式上来加以刻画。总之，该书无论对于一般读者，还是对于从事逻辑教学和科研的第一线人员，都将起到重要的指导和引导作用。 第三，该书作者具有非常广博的学术视野和宽广的学术领域。作者研究领域很广泛。不但对逻辑有很深的造诣，而且在宗教学等领域的教学和研究上也都取得了许多成就。从作者所举的一个一个案例中可以看出，作者对这些案例都有深刻和自觉的体会。由于作者学术视野开阔，所以，他也就能充分地吸取不同观点的优势，注意分析多种不同的看法，从而尽可能少地出现偏差。

《简单逻辑学——改变思维方式第一书》最通俗易懂的逻辑学入门读本。轻松搞定逻辑学中的概念、思维定式和规则。容易操作掌握的逻辑使用法则，不论演讲、谈判、说话、办事，都能让你做到条理、清楚、不让人误会和不解！这是一本涵盖正式及非正式逻辑谬误的难得好书，快速提升你的推理能力，学会用清醒的头脑辨别真假，让思考变得简单，让行动变得快捷。

逻辑思维是处理日常生活中难题的必备能力！ 逻辑可以说是关于思维的思维，它最大的用途在于训练思维，使人在头脑中得到真正纯粹的思想。它在强调技巧和技能的训练过程中，是可以通过具体实践来提高的。 本书是一本逻辑思维和批判性思维的入门读物，涉及主题十分广泛，专为并未接触过哲学或逻辑思维的读者而设计，行文简易、直接，专业术语数量降至最少，符号也较简单，兼具可读性、严谨性和准确性。 逻辑思维的一些实际用途 刑事诉讼：被告是否有罪？我们如何提供不在场证据？ 日常问题：哪所学校最好？孩子应该去私立学校还是公立学校？ 科学难题：如何选择两个同等充分但却相反的科学理论？ 哲学问题：身体与心灵是同一回事吗？ 道德问题：安乐死是否符合道德标准？堕胎呢？ 政治决策：这次大选我应该投票给谁？ 经济决策：我应该听经纪人的建议投资这只新的基金吗？ 健康问题：根据我以往的病例，锻炼对我有好处吗？我需要更多的健康保险吗？

为什么铁路信号系统工作正常时，列车仍然会发生撞车事故？为什么所有操作人员都警觉地坚守着工作岗位，核反应堆依然会发生灾难性的熔化事故？为什么我们制定得甚好的那么多专业和个人计划，会如此频繁地出岔子？ 迪特里希·德尔纳，德国最高科学将获得者，在此考虑为什么--假定具备所有的 智能、经验和信息条件--我们却仍然会犯错误，有时甚至引起灾难性的后果。令人惊讶的是，他发现问题的答案不在于疏忽或粗心，而是缘于他所谓的"失败的逻辑"：我们思维模式中的某些倾向--诸如一次只做一件事，因果关系，还有线性思维--它们适合于过去的简单世界，对于我们现在所生活的复杂世界却有着灾难性影响。当今世界，一切事物都是相互关联的。我们不能一次只做一件事情，因为每件事都有多重结果；我们不能用孤立的因果模式考虑问题，因为所有的情况都有副作用和长远影响。 德尔纳给我们找到了不少例子。为什么阿斯旺水坝的规划者们，只想到会给埃及带来廉价用电的好处，却没有意识到他们也将会中断几千年来维持尼罗河谷地肥沃富饶的一年一次的洪水漫灌？为什么第三世界健康计划的规划者们不能认识到提高平均寿命就要求增加食物供应，从而疏忽地终止对饥民的捐助？ 德尔纳指出，在未了解一个复杂系统中所有连锁因素之前就采取行动，即使我们怀着善良的意愿，也难免铸成大错。面对我们力不能及的问题，小错误累积起来，最后就会酿成严重的错误结论。过于频繁地忽视问题的大局，却只在我们知道如何做的范围内寻求权宜之计--这只能是杯水车薪无济于事。 德尔纳用他自己编制的引人入胜的计算机模拟程序，揭示了我们思维中的这些缺陷。他的例子--有时是开心的，有时是吓人的--和他那"梳脑"思维实验，使我们认识到应该如何处理复杂问题。这些实例使本书成为一件矫正工具，一种明智的规划和决策指南，使商业经理、决策者以及面临由此及彼日常挑战的每一个人的思维技巧更加敏锐。本书将改变我们构思变化的方法本身，使我们对成功之路的判断能力得到提高。

本书主要是阐述传统形式逻辑和现代形式逻辑的发展史,从古希腊写起,全面介绍了亚里士多德逻辑、中世纪逻辑和近代及现代逻辑,特别是介绍了现代逻辑的诸多代表人物

第一章 导论 第一节 数理逻辑史的研究对象和分期 第二节 数理逻辑史研究中的几个方法论问题 一 数理逻辑理论的发生和发展同社会实践的辩证关系 二 观点和材料的统一 三 逻辑方法和历史方法的统一 四 严格区别哲学观点和逻辑学说 第一编 数理逻辑前史——古典形式逻辑时期 第二章 亚里士多德的三段论 第三章 斯多阿学派的命题逻辑 第四章 中世纪的形式逻辑 第二编 数理逻辑初创时期 第五章 数理逻辑产生的时代背景 第六章 莱布尼茨的数理逻辑思想 第一节 莱布尼茨的三段论系统 第二节 莱布尼茨创建数理逻辑的指导思想 一 理性演算 二 普遍语言 第三节 莱布尼茨具体构造的演算 第七章 逻辑代数 第一节 逻辑代数建立前的逻辑发展 第二节 布尔的逻辑代数 一 逻辑代数的基本原理及类的解释 二 布尔对古典形式逻辑的处理 三 逻辑函项及其运算 四 逻辑代数的命题解释和概率解释 第三节 逻辑代数的发展 一 耶芳斯和文恩 二 皮尔士 三 施罗德 四 麦柯尔 第八章 关系逻辑 第一节 德摩根的关系逻辑 一 德摩根对古典形式逻辑的改造 二 关系逻辑的创建 第二节 皮尔士对关系逻辑的发展 一 皮尔士关系逻辑的一些基本概念 二 基本运算 三 关系逻辑的主要原理 四 量词理论 第三编 数理逻辑奠基时期 第九章 逻辑演算的建立和发展 第一节 弗雷格的逻辑演算 一 逻辑演算建立的历史背景 二 逻辑演算系统 三 自然数的定义 四 涵义和所指 第二节 皮亚诺的符号体系 一 数理逻辑 二 数学基础 第三节 罗素的逻辑演算 一 命题演算和谓词演算 二 关系逻辑 三 摹状词理论 第四节 逻辑演算的发展 一 命题演算和谓词演算的不同系统 二 逻辑演算的元理论 第五节 非经典逻辑简述 第十章 从素扑集合论到公理集合论 第一节 无穷集合的怪论 第二节 康托尔的集合论 一 康托尔的指导思想——实无穷的理论 二 可数集和不可数集 三 超穷基数和超穷序数 四 连续统假设 第三节 集合论悖论的出现——第三次数学危机 一 布拉里-福蒂悖论 二 康托尔悖论 三 罗素悖论 四 关系悖论 五 与集合论悖论不同的一些语义悖论 第四节 公理集合论的建立 一 策梅罗—弗兰克尔的公理集合论 二 冯·诺意曼的公理集合论 三 贝尔纳斯对冯·诺意曼系统的改进 第十一章 逻辑主义论题和逻辑类型论 第一节 数学概念和数学定理的推导 第二节 逻辑类型论 第三节 蒯因的新系统NF 第四节 逻辑主义的历史地位 第十二章 直觉主义的数学基础和逻辑 第一节 直觉主义的数学哲学 第二节 直觉主义的数学基础 一 潜无穷论是直觉主义数学的出发点 二 在数学中不能普遍使用排中律 三 数学对象的可构造性 第三节 直觉主义逻辑 一 直觉主义的命题演算 二 直觉主义的一阶谓词演算 三 直觉主义逻辑与经典逻辑的关系 第十三章 形式公理学和证明论 第一节 从实质公理学到形式公理学 一 第一阶段——实质公理学：《几何原本》 二 第二阶段——从实质公理学向形式公理学的过渡（概括公理学）：非欧几何和射影几何 三 第三阶段——形式公理学：《几何基础》 第二节 证明论的建立 一 希尔伯特的元数学——证明论纲领 二 希尔伯特纲领的历史意义和哲学意义 第四编 数理逻辑发展初期 第十四章 哥德尔的伟大贡献 第一节 哥德尔完全性定理 第二节 模型论的两条基本定理——累文汉定理和紧致性定理 第三节 哥德尔不完全性定理 一 自然数算术的形式系统 二 哥德尔不完全性定理的直观说明 三 哥德尔配数法 四 形式算术系统元数学的算术化 五 原始递归函数和原始递归谓词 六 原始递归函数在系统中的数字可表示性 七 不可判定命题的形式结构 八 不可判定命题与说谎者悖论的关系 九 哥德尔不完全性定理的证明 十 哥德尔不完全性定理的哲学意义 第四节 选择公理和广义连续假设的一致性 第十五章 哥德尔不完全性定理带来的硕果 第一节 塔尔斯基论形式语言中的真值概念 一 在普遍的日常语言中不能定义真值概念 二 类演算的形式语言和元语言 三 在类演算的元语言中“真语句”的定义 四 关于“真语句”定义问题的一般结论 五 塔尔斯基定理及其与哥德尔不完全性定理的关系 六 塔尔斯基的成果的历史意义 第二节 艾尔伯朗——哥德尔——克林的一般递归函数定义 一 阿克曼函数 二 一般递归函数 第三节 λ转换演算和丘吉论题 一 λ转换演算 二 丘吉论题 三 丘吉不可判定性定理 第四节 图灵机和可机算函数 一 图灵机的基本概念 二 可机算函数与λ可定义函数的等价性 三 图灵论题 四 一阶谓词演算的判定问题不可解 五 图灵机理论的历史意义 第五节 波斯特的符号处理系统 一 波斯特机 二 波斯特的符号处理系统 第六节 塔尔斯基证明不可判定性的一般方法 一 若干基本概念 二 一些重要定理 三 不可判定性成果的哲学意义 人名译名对照表 主要参考文献