![逻辑学 - [英] 丹·克莱恩](https://static.book345.com/covers/s/9787108065193.jpg)
书籍介绍
翻开这本书之前，你或许以为逻辑学是数学系和哲学系的专业领地，充斥着符号与公式。但丹·克莱恩真正想说的是：逻辑学是一门被「刻意屏蔽」的基础科学——它藏在数学、物理、语言乃至计算机的底层，却极少在通识教育中被正视。本书以逻辑史为线索，带你看见亚里士多德的「旧工具」如何被莱布尼茨的「新工具」取代，又如何在经典、模糊、量子逻辑之间分叉，最终在图灵的机器里落地。它最耐人寻味之处，在于揭示逻辑并非非黑即白的裁判，而是与悖论长期共生的思维工具：自指、撒谎者悖论不断提醒我们，「非黑即白」只是理想。适合想要理解「逻辑如何解释世界」、又愿意承受一定信息密度的读者。
作者简介
丹·克莱恩
伦敦大学学院哲学学位，作为市场分析师在伦敦工作。「图画通识」丛书《资本主义》的作者。
沙龙·沙提勒
在以色列开放大学任哲学讲师。「图画通识」丛书《资本主义》的作者。
比尔·梅布林
在伦敦王家艺术学院接受平面设计培训，他也是「图画通识」丛书《逻辑学》《德里达》与《经验主义》的插图作者。
AI导读
核心看点
- 以历史为线索，通俗解释逻辑学符号与方法
- 揭示逻辑学对科学、法律及计算机技术的影响
- 梳理从亚里士多德到图灵等关键人物的贡献
读者共识
- 作为入门书生动有趣，但阅读门槛并不低
- 图文结合形式有助于理解，但复杂概念仍晦涩
- 逻辑学是基础科学，能深刻改变看待世界的方式
精彩摘录
- "“我的发明充分运用了理性，除此之外，它还是辩论的仲裁者，是概念的诠释者，是概率的平衡，是能够引导我们穿越经验之海的指南，是事物的清单，是思想的目录，是检视事物的显微镜，是预测遥远事物的望远镜，是普遍演算，是纯真无害的魔法，是并非妄想的阴谋，是一个其全部都将用其自身的语言解读，并将为真正的宗教指引方向的脚本。” ——菜布尼茨给汉诺威公爵的信，1679年 这是一场革命。亚里士多德的旧工具已经死了，取而代之的是我给你们的“新工具”。它是种思考世界和思考逻辑的新方法。 逻辑不再仅仅是一种构造有说服力的论证的工具，更是一个关于思想规则的系统。正因如此，即使上帝的思想也必然是逻辑的，纵使是他，也无法创造一"
- "从经典逻辑到模糊逻辑 布劳威尔和卢卡西维奇开创了逻辑的新时代。自此以后逻辑学飞速发展。现在我们有许多不同地方不同人群感兴趣的逻辑系统。运用代数工具，逻辑被分析为最为简单的部分，随后又被组合起来以满足不同的趣味和时尚。从亚里士多德到20世纪30年代，逻辑学上发生所有事情都可以放在单一的系列里一经典逻辑。 所以说，经典逻辑——非黑即白，应用层面即0或1构成的计算机； 模糊逻辑——可能也许，就是模糊逻辑搜索引擎； 量子逻辑——既不也不or都有可能。"
- "“我的发明充分运用了理性，除此之外，它还是辩论的仲裁者，是概念的诠释者，是概率的平衡，是能够引导我们穿越经验之海的指南，是事物的清单，是思想的目录，是检视事物的显微镜，是预测遥远事物的望远镜，是普遍演算，是纯真无害的魔法，是并非妄想的阴谋，是一个其全部都将用其自身的语言解读，并将为真正的宗教指引方向的脚本。” 莱布尼茨给汉诺威公爵的信，1679年"
- "通过使用对当方阵，亚里士多德注意到一个神秘的事实。以类似于“苏格拉底是人”这样的句子为例。如果一个论证包含了三个陈述，其中第一个陈述的主语是第二个陈述的谓语（称这两个陈述为前提），并且第三个陈述是由前两个陈述中剩下的词项构成（称这个陈述为结论），那么结论的真就能够由前提的真得到保证。"
- "通过类似形式语言的方式、图灵不仅能够证明了机器是可编程的，也为建造第一台数字计算机铺平了道路。正是图灵发现了真空管可以以电子方式进行信息储存。在此之前。他的所有机器都是机械的。真空管的引入见证了齿轮被电子取代。今天，晶体管已经取代了真空管，但原理保持不变。 图灵在1954年自杀、可能是迫于英国法律系统的野蛮待遇。尽管图灵对战争胜利做出了巨大贡款、并且为计算机和AI后续发展提供了灵感，但是在1952年，他却因为“严重猥亵”——简单说就是同性恋，而受到审判。"
- "可能最著名的希腊脖论就是所谓的“撒谎者悖论”了，它最简单的形式看起来是这样的… “这个句子是假的。” 这里的问题在于，如果该句子为真，那么它为假；但是如果它为假，那么它又必须为真。即便我们假设它要么为真，要么为假，它仍然导向了矛盾。这就是所谓的最声名狼藉的自指悖论家族。它们被称为“自指”是因为这些句子言说自身。"
- "在交谈中，没有什么比论证更自然的了。 我们尝试着让争辩的对手相信我们是对的，相信我们的结论是从他们能够接受的东西中推导出来的。如果我们不能辨别这种推导关系，那么情况就糟了。在交谈中常常有不符合规定的东西冒充为论证。 所有财物都是赃物。 所以所有赃物都是财物。 因此这些珠宝都是我的。 这显然是糟糕的，因为结论的真与支撑该结论的陈述的真之间没有任何联系。我们所需要的是确保支持性陈述的真能够通过论证得以保留。逻辑其实就是研究保真的论证。"
- "现代逻辑大概可以分为三个相互联系的分支。它们分别为：数理逻辑、符号逻辑和哲学逻辑。 数理逻辑继续执行着将数学和集合论结合在一起的方案。运用数理逻辑，数学家希望通过发现不同数学领域的共同属性来将它们统一起来。 符号逻辑是纯粹的对于符号运用的研究。这些符号不必然对应任何事物，相反它们是抽象的实体，其相互关系通过定义来表达。 哲学逻辑试图将逻辑应用于现实概念之上，而非纯粹的符号。它处理真实的概念之间的相互关系，例如概率和信念。 将这些逻辑分支连接在一起的共同点是它们对证明论的依赖，该理论使我们能够辨别一个陈述是否能由另一个陈述推论得出。 证明论包含了各种各样的方法，用以表明从一个逻辑句子或「公式」，"
用户评论
给四颗星，个人感觉这本书还是有一定阅读门槛的，信息量极大，每一页实际上都蕴含了大量知识
读到最后开始感慨逻辑学和语言学是不分家的，就算是入门书，对我来说也不是所有都能看懂。以后准备多补充些逻辑学知识。
逻辑学是哲学与科学之母～不尊重逻辑，就不要讲什么真理，什么科学。
这小书好的地方在于，它站在一个比较高的角度，指明了逻辑学发展的过程，逻辑学先驱如何不断深化思维精益求精，本书简介了每种方法有什么进展，又存在什么不足。这种很有结构的目录式的简要介绍，比较能够让人抓住逻辑学的主线，避免过早的陷入细。本书阅读的难点在于，这里面很多内容如果没有一些背景知识，很难真正理解其意义，因此必须要去额外翻资料（百度，B站，油管）
让我了解了逻辑的演变和复杂程度，是个很好的逻辑思维提升和用新视角去看待问题的辅助器具。最后我很认同书中的这段话“哲学工作，常常就像建筑工作那样，事实上更多的是一种自我修养——它是对于自己的观念体系的提升，是对自己看待事物的方式的改变。”这段话说的太好了，对我受益非浅。
震撼，尽管是入门级别，还是有太多知识点是第一次见到，感叹自己的知识面实在是太窄了，在别人也许常识，我却一无所知，更痛苦的是，看了半天，还理解不了。这本应是年轻时，学习理解能力强的时候就该看到的。
有管综学习的感觉了，早就该学一下，不过这本书没有讲的很深入，更多是聚焦在历史
2024年3月4日于地铁上读完。
科学内部怎么打起来的，代表人物有：
波普尔，蒯因，费耶阿本德，戴维森
23.05.07，和同学在先锋书店五台山总店。
求书
收藏