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

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

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

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

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

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

美国著名逻辑学家斯穆里安这本脍炙人口的通俗逻辑读物，是一个逐步展开、层层深入的逻辑迷题系统。它从古老的逻辑悖论入门，引进200多则趣闻、故事和奇谲的迷题，最后到达有史以来最了不起的逻辑发现（歌德尔不完全性定理）的洞口。阅读这本兼具科学性、知识性、和趣味性的小书，能使您了解基本的逻辑常识，在饶有兴味的解题过程中测验、训练您的思考、推理能力。 目录 第一篇 逻辑戏话 1.白骗一场？ 2.迷题与猴儿弄玄虚 3.君子与小人 4.忘却林中的艾丽丝 第二篇 波西娅匣及其他秘密 5.波西娅匣的秘密 6.克雷格探长案卷录 7.实用指南——怎么躲开狼精及其他 8.逻辑迷题 9.别利尼牌还是切利尼牌？ 第三篇 神怪故事 10.日神岛 11.僵尸岛 12.德拉古拉还活着吗？ 第四篇 逻辑妙物，光奇彩异 13.逻辑与生活 14.如何证明一切？ 15.从悖论到真理 16.歌德尔的发现

《批判性思维教程》是在北京大学和中国青年政治学院开设“逻辑与批判性思维”课程的基础上写成的。2003年秋，“逻辑与批判性思维”作为一门通选课在北京大学首次开设，2004年纳入暑期学校课程。从2004年起，每年讲授两轮。春季的授课对象主要是“元培计划”的学生；暑期的授课对象主要是其他院系一年级的本科生。2000年秋，中国青年政治学院开始对“普通逻辑”课程进行改革，逐渐向“批判性思维”过渡，到2003年秋与北京大学同步开设“逻辑与批判性思维”课程。

奥卡姆的《逻辑大全》是一部逻辑学巨著，本书只是其中的一部分，篇幅约占全书的一半。本书主要包含词项理论和命题理论两方面内容。具体一些说，词项部分，作者探讨了范畴词与助范畴词，探讨了属、种、种差等谓词，还探讨了指代理论。在命题部分，作者探讨了模态命题和非模态命题。

《逻辑学导论》讲述了：亚里士多德说：“人是社会的动物”。作为社会动物，在社会生活中人必须经常进行论证。证成、反驳和说服是论证的三大目标，而说服是论证的最终目标。亚里土多德认为，说服有三种工具：理性（Iogos）、情感（pathos）和道德（ethos）。逻辑学家给出了评，价论证好坏的标准，认为只有建立在好论证之基础上的主张或行动才是合乎理性的。自亚里士多德提出词项逻辑以来，逻辑学家曾提出了众多逻辑类型。莱布尼兹梦想导致了符号逻辑产生，追求普遍性和必然性曾一度成为逻辑学家的最高目标。哥德尔不完全性定理给数理逻辑学家一个沉重打击，现实生活对数理逻辑家们的理想提出了挑战，、非形式逻辑学家群体应运而生。将这一历史脉络体现在当代逻辑学导论教科书之中，把传统逻辑与现代逻辑、形式逻辑与非形式罗辑：演绎逻辑与归纳逻辑有机整合在一起，正是《逻辑学导论》的基本宗旨。 《逻辑学导论》适合哲学专业、逻辑学专业及其他专业作为专业基础课教材使用，也适合作为全校性通识课的“罗辑学概论”教材。

一本来自逻辑诡辩学的奇人--雷蒙德·斯穆里安的奇书。说它是诡辩书很恰当，说它是脑力训练题集也可以，说它是笑话集也不为过。不过，事实上支撑起这座逻辑迷宫的可是鼎鼎大名的哥德尔不完全性定理，所以就能理解它同时是被用作逻辑学经典教材的一本逻辑题集。 斯穆里安除拥有普林斯顿大学博士学位外，他还是一位魔术师和钢琴家。 幽默老辣的译笔，来自康宏逵。如果读者愿意花80美元去淘到此书的第1版英语本，或者你会同意康氏的中文译本更精彩，当然《这本书叫什么？》已经风靡世界，有意大利文版、德文版和日文版。

《身边的逻辑学》内容简介：为什么说电视与大众媒体容易让人变笨？为什么说分散投资确保收益最大化是个谎言？为什么说伪学者控制了世界的未来?有偏见的权威为什么更容易出错？怎样看穿政治人物和媒体的谎言？ 《身边的逻辑学》是美国莱斯大学著名教授伯纳•派顿写给普通读者的逻辑入门书，它以无数生活细节讲解逻辑，教人如何“清晰思考”。在这本有趣又实用的逻辑书里，你可以看到那些熟悉的形形色色的关于政治、经济、投资、广告方面的说辞，一些貌似合理，一些完全是谎言。通过这些事例你会明白，唯有改进你的思维方式，才能学会用清醒的头脑辨别真假，面对光怪陆离现象与混乱脱序的社会，才不会不知所措，不会成为无意识的牺牲品，学会破解隐藏的信息，规避麻烦。

《趣味逻辑》是为青年编写的一本形式逻辑读物。逻辑学是一门思维科学，它的研究对象是人们的思维形式及规律。在逻辑科学中，主要的有形式逻辑、辩证逻辑和数理逻辑。《趣味逻辑》讲的是形式逻辑。形式逻辑所研究的，主要是概念、判断、推理这样一些思维形式，同一律、矛盾律、排中律、充足理由律等正确思维的基本规律，以及定义、划分等简单的逻辑方法。 《趣味逻辑》从概念、命题、推理、逻辑基本规律等方面,通过通俗而有趣的故事,向读者介绍逻辑基本知识及其应用,展现逻辑的魅力,培养广大读者学习逻辑的兴趣,帮助读者打开逻辑知识的宝库,锤炼驾驭逻辑工具的能力。

《绝妙推理:射雕英雄悖论传奇》主要内容：公元1273年，蒙古铁骑攻破襄阳城。纵然郭靖武功盖世、黄蓉智谋无双，也已无回天之力。二人见赵宋江山气数已尽，决心远遁红尘，归隐山林。襄阳城破之日.二人冲出重围，上桃花岛投奔黄药师。从此黄药师、郭靖、黄蓉三人在桃花岛避世隐居，潜心研究《九阴真经》。他们弃绝红尘杂念，也不在乎武功高下，研究真经只为自娱自乐。在这种平和逍遥的心境下，他们居然勘破长生不死的玄机，历千年而不老。 黄药师才智冠绝天下，千年隐居不免寂寞。百无聊赖之际，他研究悖论自娱，不时向女儿、女婿传授。

这本《批判的思考》是由美国两位资深教授编著使用了多年，已经出了七版的优秀教材。该书通俗、生动。直观地阐述了批判思考、正确推理和合理论证的基本问题、观点、方法和技巧、从批判思考的重要性和必要性，如何正确地思维和清晰地写作，到有效论证的规则，合理的演绎和归纳推理，并指出各种以修辞手法来掩盖虚假论证的例子，再到道德、法律和美学的论证，让读者了解合理而正确地思维的基本原则、规则、要求、技巧和训练方法。 这套《大学文库》丛书，选译和编辑当代人文社会科学领域的一些经典教科书和教材，为我们高等教育领域的师生提供借鉴。在条件成熟时将推出我国或华文世界作者的原创教材。我们还重点选辑通识教育中一些侧重公益性、实践性和技巧性的教材，如普及型的公民教育、人文艺术教育、心理教育和阅读写作研究方法等方面的教材，以弥补目前质量教材之不足。

《逻辑》所介绍的主要是逻辑中的演绎法，全书前两部分足对传统逻辑的介绍与批评，第三部分介绍了一个现代西方数理逻辑系统，第四部分则就关于逻辑系统的种种问题进行于深入的探讨。作者以深厚的学术功底、缜密的逻辑思维，将貌似枯燥的逻辑理沦娓娓道来，读来令人如沐春风，豁然开朗之感顿生。

具体说来，逻辑学有三大源流：以亚里士多德的词项逻辑为代表的古希腊逻辑；以先秦名辩学为代表的古中国逻辑；以正理论和因明学为代表的古印度逻辑。目前，逻辑学在哲学、语言学、计算机科学和人工智能研究的推动下，正进入许多新的研究领域，创造出许多新的逻辑理论。并且，逻辑学还广泛地进入我们的日常生活，进入我们的阅读、论辩、思考、写作活动之中，发挥出实际的功用和效力。

本书是《哲学全书纲要》的第一部分，通称《小逻辑》，以区别于《大逻辑》（即逻辑学）。全书除导言外，共分:存在论、本质论、概念论三篇，反映了黑格尔哲学体系的基本框架。黑格尔的《小逻辑》是构成他的《哲学全书》的一个主要环节，它的好处在于把握住全系统的轮廓和重点，材料分配均匀，文字简奥紧凑，而义蕴深厚。初看似颇难解，及细加咀嚼，愈觉意味无穷，启发人深思。他的学生在他逝世后编订全集时，再附加以学生笔记作为附释，于是使得这书又有了明白晓畅，亲切感人的特点。