D. Q. McInerny · Being Logical

逻辑学的
基本原理

《简单的逻辑学》第二章|展开精讲|非 ELI5

IDENTITY · EXPLANATION · DEFINITION · GENERALIZATION
01 · CORE QUESTION

一个判断怎样才算
被现实、概念与理由共同约束?

第二章不是教你“赢得辩论”,而是在给思考安装承重结构。

02 · BRIDGE

第一章准备材料,第二章规定材料怎样组合

事实

先把发生了什么看清。

观念

让心中的表示忠于对象。

术语

把观念固定为可共享的语言。

命题

对对象作出可真可假的断言。

本章的工作,是防止我们在“词还没说清、原因还没找到、范围还没限定”时就仓促得出结论。

03 · CHAPTER MAP

八个模块,形成一条判断生产线

01 基本原理

给思维设定不可随意取消的边界。

02 灰色地带

区分真实复杂性与人为含混。

03—05 原因

持续追因,并分清不同原因的角色。

06 定义术语

把概念变成可检验的公共工具。

07 直言命题

拆解主项、谓项、联项与范围。

08 普遍命题

控制从个别走向一般的跨度。

贯穿原则

结论强度不超过语言与证据。

最终目标

让判断能够被核验、反驳和修正。

PART I / FIRST PRINCIPLES

先确定“思考这件事”
必须遵守什么

原则不是装饰性的口号,而是使任何讨论有可能进行的最低条件。

05 · FIRST PRINCIPLES

基本原理不是从更前面的理由推出来的

起点性

它们是推理得以开始的共同前提;若每个起点都要再证明,就会无限后退。

普遍性

不只在数学或辩论中有效,也约束日常描述、调查、决策和沟通。

可操作性

它们表现为具体动作:固定对象、排查冲突、追索解释、限定判断。

“基本”不等于“简单到不必练习”。越基础的原则,越容易在熟悉场景中被无意识违反。

06 · FOUR RAILS

四条护栏,分别防止四类失控

同一律A = A

防止对象或概念在推理中偷偷换人。

排中律P ∨ ¬P

对于边界明确的命题,不同时保留真与非真。

矛盾律¬(P ∧ ¬P)

同一时间、同一方面,不能既断言又否定。

充足理由律WHY?

一个判断若要被接受,必须有与其强度相称的理由。

07 · PRINCIPLE OF IDENTITY

同一律:讨论过程中,A 必须仍然是那个 A

A=A

对象有其确定性;术语在一个论证中必须保持同一含义。

常见破坏方式

  • 把“效率”从速度悄悄换成产出质量
  • 把“安全”从零事故换成风险可接受
  • 把“自由”从不受强迫换成不受任何限制
  • 把同名的人、版本或时间段当成同一对象
08 · IDENTITY CONDITIONS

“同一”不是说事物永远不变,而是先固定比较条件

对象

究竟是哪一个人、产品、制度或命题?

时间

更新前和更新后的系统不能直接视为相同状态。

方面

同一项目可在成本上成功、在进度上失败。

语境

技术定义、法律定义与口语定义可能不同。

准确的同一律写法是:在明确的对象、时间、方面和语境中,A 是 A。

09 · CASE FILE / “用户增长”

同一句话里的“用户”,可能已经换了三次

表达隐含口径逻辑风险修复
用户增长 40%注册账户机器人与重复账号被计入注明去重规则
用户更活跃月活设备数“人”被换成“设备”固定分析单位
用户愿意付费完成首单者总体被换成筛选后人群写出分母和样本

同一律审计的第一问不是“这个数字大不大”,而是“每次出现的关键词,指的还是同一批对象吗?”

10 · EXCLUDED MIDDLE

排中律:对一个界定充分的命题,P 或非 P

P ∨ ¬P
“合同已经生效”或“合同尚未生效”

生效前提

  • 命题的主语和谓语已明确
  • 适用时间与条件已固定
  • “非 P”表示对 P 的逻辑否定
  • 讨论采用经典二值判断框架

排中律排除的是“既不承认 P,也不承认非 P 的逻辑悬空”,不是排除现实中的连续尺度和未知状态。

11 · NOT A FALSE DILEMMA

排中律不等于“世界只能有两个选项”

合法使用

命题:“温度高于 30℃。”在测量规则明确时,要么成立,要么不成立;29.9℃属于“非 P”。

错误二分

“要么完全支持方案,要么就是反对团队。”这里把大量中间立场强行删掉了。

命题真假二分
现实选项只有两种
12 · NON-CONTRADICTION

矛盾律:不能在同一条件下同时断言 P 与非 P

同一对象

不能把甲产品的优点和乙产品的缺点拼成矛盾。

同一时间

“昨天未通过、今天已通过”不是矛盾,而是状态变化。

同一方面

“轻但不便携”可能分别谈重量与体积。

¬(P ∧ ¬P) |真正的矛盾必须经得起条件对齐
13 · CONTRADICTION AUDIT

发现两句话冲突时,按四步排查

01

对齐主语:两句话真的是在说同一个对象吗?

02

对齐时间:状态是否在不同时间发生了变化?

03

对齐方面:评价维度是否不同?

04

对齐词义:同一个关键词是否用了不同定义?

只有四项均对齐后仍然一真一假,才构成需要消除的逻辑矛盾。

14 · SUFFICIENT REASON

充足理由律:结论必须由足以支撑它的理由承担

理由不是“我为什么这样想”,而是“别人为什么有正当根据接受这个判断”。

充足性的三个维度

  • 相关:理由必须与结论有关系
  • 真实:理由本身不能只是未经核验的传闻
  • 强度匹配:概率证据不能推出必然结论
15 · EVIDENCE LADDER

主张越强,所需理由越强

必然断言“一定导致”——需要排除其他可能并建立稳定机制。
高概率断言“很可能导致”——需要重复数据、对照和可信模型。
可能性断言“可能有关”——相关证据与合理机制即可启动调查。
观察报告“在样本中同时出现”——只需准确记录,但不能偷渡因果。
16 · SYSTEM VIEW

四项原则不是四个孤岛

同一律

固定对象与词义

排中律

迫使命题明确化

矛盾律

清除不相容断言

充足理由律

要求证据承担结论

先保证“说的是同一件事”,才能判断真假、排除冲突并追问理由。

PART II / GRAY AREAS

复杂,不等于含混;
不确定,也不等于无真相

关键是区分现实本身的连续性,与语言和利益制造出来的模糊。

18 · REAL GRAY AREAS

真实灰区:边界确实连续、信息确实不足

连续变量

疼痛、风险、成熟度、满意度并不天然只有两档。

证据有限

信息仍在收集,最诚实的结论可能是暂不确定。

多价值权衡

效率、公平、安全与自由可能同时真实而互有张力。

逻辑要求的不是消灭灰度,而是把灰度的来源、尺度和决策阈值说清楚。

19 · MANUFACTURED GRAY

人为灰区:本可澄清,却因动机或懒惰保持模糊

偷换定义

被追问时临时改变“成功”的含义。

隐藏阈值

只说“风险较高”,不说明比较基准。

拒绝取证

声称真相复杂,却不愿收集可得信息。

利益性含混

让不同听众各自听见想听的版本。

真实灰区需要更精细的测量;人为灰区需要更严格的追问。

20 · GRAY-AREA PROTOCOL

面对“事情没那么简单”,追问五件事

变量

究竟是哪一个维度连续变化?

尺度

用什么单位或等级描述?

阈值

何时采取何种行动?

证据

缺少什么信息,能否补齐?

动机

谁从模糊状态中获益?

“暂时不知道”是可检验的知识状态;“永远说不清”往往只是停止分析的借口。

21 · CASE FILE / “安全吗?”

把一个含混问题改造成可决策的问题

原问题拆解明确后的问题
系统安全吗?威胁类型能否抵御已知凭证填充攻击?
风险高吗?概率 × 损失未来 30 天发生概率与最大影响是多少?
可以上线吗?决策阈值哪些控制项完成后满足上线门槛?

灰区没有被粗暴消除,而是被转换成可度量、可讨论、可承担责任的结构。

PART III / CAUSAL INQUIRY

不要满足于一个
听起来像解释的标签

真正的原因分析会告诉你:事件通过什么机制发生,以及改变什么能让结果不同。

23 · LABEL ≠ EXPLANATION

“因为管理有问题”只是重新命名了结果

伪解释

项目为什么延期?因为执行力不足。

问题:执行力不足具体表现在哪里?由什么条件产生?

机制解释

需求在冻结后新增 37%,但排期和人员未调整,导致测试窗口被连续压缩。

它指出变量、过程和可干预点。

换一个抽象名词
揭示生成机制
24 · CAUSAL CHAIN

原因往往不是一个点,而是一条链

背景条件

长期人员紧张

触发事件

关键成员突然离岗

中间机制

评审与交接缺失

近端结果

缺陷进入生产

只抓住最醒目的触发点,会把系统性原因伪装成个人偶然。

25 · DON'T STOP SHORT

过早停止追因,会得到无法预防复发的答案

便利原因

选择最先出现、最容易归责的对象。

单一原因

把多条件共同作用压缩成一个故事。

人格原因

用“粗心、懒惰、能力差”替代流程证据。

好的原因解释不仅回顾过去,还能预测:若改变 X,结果 Y 的概率应当改变。

26 · FIVE WHYS, WITH EVIDENCE

“为什么”不是咒语;每一层都要有证据

WHY 1

为什么服务中断?——数据库连接被耗尽。(监控记录)

WHY 2

为什么连接被耗尽?——新版本存在未释放连接路径。(代码追踪)

WHY 3

为什么未被发现?——压力测试未覆盖该分支。(测试清单)

WHY 4

为什么未覆盖?——验收标准只要求平均负载。(规范文档)

若某一层没有证据,只能标记为“待验证假设”,不能当成已确认原因。

27 · DISTINGUISH AMONG CAUSES

同一结果可以有多种不同角色的原因

必要条件

缺少它,结果不会发生;有它未必足够。

充分条件

一旦具备即可保证结果;现实中往往难以单独识别。

促成条件

提高结果发生概率,但不是唯一决定因素。

触发条件

使潜在结构在某一时刻转化为实际事件。

“相关因素”“根本原因”“直接原因”不是可以互换的标签,它们回答不同问题。

28 · FOUR CAUSAL LENSES

一个完整解释,常需要回答四类问题

MATERIAL

材料因

它由什么构成?资源、数据、原料、人员基础是什么?

FORMAL

形式因

什么结构、规则或设计使它成为这种事物?

EFFICIENT

动力因

谁或什么过程直接促成了变化?

FINAL

目的因

它为何被设计、选择或维持?要实现什么目的?

这是传统因果分析的多镜头框架;不同领域对“原因”的技术定义可能不同,应结合具体方法使用。

29 · PROXIMATE / REMOTE

近因解释“怎么发生”,远因解释“为何易于发生”

近因

操作员输入错误参数,系统立即执行错误配置。

适合修复当次事件:回滚、校验、阻断。

远因

界面相似、权限过宽、变更缺少复核,长期制造高风险条件。

适合降低复发概率:重构流程与环境。

只处理近因,系统会等待下一个人犯同一种错。

30 · CORRELATION ≠ CAUSATION

两件事一起变化,至少有五种可能结构

A → B

A 导致 B。

B → A

因果方向相反。

C → A,B

共同原因造成相关。

A ↔ B

相互反馈。

偶然

样本或时间窗口造成假相关。

相关证据可以提出因果假设,却不能独自完成因果证明。

31 · CAUSAL TESTS

让因果解释经受六种压力测试

时间顺序

原因必须先于结果,或与反馈机制相容。

可重复性

关系是否在不同样本与时间段出现?

机制

是否存在可信的中间过程?

替代解释

控制共同原因后,关系是否仍存在?

干预结果

改变原因时,结果是否随之改变?

剂量反应

原因强度改变时,结果是否有规律变化?

32 · CASE FILE / 客诉上升

从“客服能力差”到可干预的原因模型

层级发现证据干预
表象首次解决率下降工单指标暂不归因
近因知识库检索命中率下降查询日志修复索引
远因产品更新未同步文档发布记录纳入发布门禁
系统条件团队指标只奖励上线速度绩效规则加入支持成本
PART IV / DEFINE YOUR TERMS

没有稳定定义,
推理会在词语之间滑行

定义不是字典装饰,而是建立讨论对象、分类边界与证据规则。

34 · DEFINITION AS INFRASTRUCTURE

定义决定我们在数什么、比较什么、证明什么

识别

什么对象属于这个概念?

排除

哪些相近对象不属于?

测量

用什么可观察指标判断?

协作

不同人是否在使用同一口径?

许多“事实争议”其实发生在事实之前:双方采用了不同的定义和分类规则。

35 · GENUS + DIFFERENTIA

经典定义法:先归入最近类别,再指出区别特征

最近的属

它属于哪一类事物?

上位类别
+

种差

它与同类其他成员有什么关键不同?

区别特征
正方形 = 矩形(属) + 四边等长(种差)
36 · DEFINITION QUALITY

好定义要在“太宽”和“太窄”之间命中边界

太宽

“鸟是会飞的动物。”蝙蝠与昆虫被错误纳入。

太窄

“鸟是会飞且会鸣叫的动物。”企鹅等被错误排除。

边界相称

定义的外延应尽量与被定义概念一致。

不循环

不能用被定义词解释自身。

不隐晦

解释词应比原词更清楚。

抓关键

优先使用本质或操作性特征。

37 · TYPES OF DEFINITION

定义的任务不同,评价标准也不同

词典定义

报告共同用法;评价重点是准确反映语言实践。

规定定义

在项目中约定新口径;重点是明确且一致。

操作定义

用测量程序界定概念;重点是可重复。

理论定义

把概念嵌入解释体系;重点是解释力与一致性。

不要用“这不是字典意思”反驳一个已明确声明的项目操作定义;也不要把临时规定伪装成词语唯一正确的含义。

38 · TERM DRIFT

术语漂移:论证开始后,词义悄悄改变

前提 1

“创新”=首次采用新技术

前提 2

“创新”=带来商业价值

结论

采用新技术必然创造价值

形式看似连贯,真正连接前提的“中项”却已经换了含义。

39 · OPERATIONALIZE “活跃用户”

把抽象概念变成可重复的判断规则

定义版本规则适用问题盲点
登录型30 天内登录 ≥1 次触达规模未反映真实使用
行为型完成核心动作 ≥3 次产品采用阈值需论证
价值型产生可验证业务结果商业价值归因复杂

没有“永远正确”的唯一定义,只有是否匹配当前问题、是否公开、是否稳定执行。

40 · DEFINITION WORKFLOW

定义一个关键术语的六步流程

1. 用途

这个概念要帮助回答什么问题?

2. 上位类

它属于哪个最接近的类别?

3. 区别项

哪些特征将它与近邻区分?

4. 边界例

列出明确正例、反例和临界例。

5. 可观察

需要哪些数据或程序进行判定?

6. 版本化

记录适用范围、日期与修改理由。

PART V / CATEGORICAL STATEMENT

从“一个词”进入
“一个可真可假的断言”

直言命题把一类对象与某种属性直接联结或分离。

42 · ANATOMY

“所有金属都是导体”由四个部件组成

QUANTIFIER
所有
SUBJECT
金属
COPULA
都是
PREDICATE
导体

量项

全称还是特称?

主项

谈论哪类对象?

联项

肯定还是否定?

谓项

断言什么属性?

43 · QUANTITY × QUALITY

直言命题的两个核心旋钮:量与质

量:范围多大?

  • 全称:所有 S
  • 特称:有些 S
  • 单称:这个 S

量决定结论覆盖多少对象。

质:联结还是排除?

  • 肯定:S 是 P
  • 否定:S 不是 P

质决定主项与谓项的关系方向。

自然语言常省略量项:“程序员都内向”究竟是全称断言,还是只在描述一种印象?

44 · A / E / I / O

四种标准直言命题

代号量与质标准式示例
A全称肯定所有 S 都是 P所有鲸都是哺乳动物
E全称否定没有 S 是 P没有正方形是圆
I特称肯定有些 S 是 P有些鸟不会飞
O特称否定有些 S 不是 P有些金属不是磁性材料
45 · NORMALIZE LANGUAGE

标准化的目的,是暴露隐藏的范围与断言

自然表达可能的标准化必须追问
年轻人不看长文大多数?有些?所有年轻人不看?年轻人、长文、看,分别如何定义?
这个方案风险太大该方案属于风险超过阈值的方案阈值和风险维度是什么?
优秀团队都透明所有优秀团队都是透明团队是否真要承担“所有”的反例风险?
46 · TRUTH / FORM

句子结构清楚,不代表内容真实

形式分析

“所有火星人都是音乐家”是一个结构完整的全称肯定命题。

我们能识别量项、主项、联项和谓项。

事实分析

但若主项是否有实例、谓项是否成立都无证据,就不能把结构完整误当真实。

形式告诉我们“断言了什么”,事实决定它是否成立。

语法与逻辑形式清楚
+
与现实相符的证据
PART VI / GENERALIZING

从“我见过几个”走向
“这一类通常如此”

普遍化不是禁区,但每扩大一步范围,都要支付新的证据成本。

48 · GENERALIZATION LADDER

把“观察”提升为“规律”,强度逐级增加

个案“这个样本出现了 X。”
样本描述“在这 300 个样本中,62% 出现 X。”
总体估计“按抽样设计,目标总体中约有 58%—66% 出现 X。”
普遍断言“所有该类对象都出现 X。”——一个可靠反例即可推翻。
49 · SAMPLE AUDIT

从样本概括总体前,检查六个接口

总体

结论要覆盖的是谁?

抽样框

哪些人根本没有机会进入样本?

选择机制

随机、自愿还是便利抽样?

样本量

是否足以支持所需精度?

非响应

没回答的人是否系统性不同?

时间窗口

结论能否跨越环境变化?

50 · COUNTEREXAMPLE

全称命题很昂贵:一个可靠反例足以击穿

∀x (Sx → Px)

“所有 S 都是 P”

反例测试

只要找到一个对象同时满足:

S(a) ∧ ¬P(a)

就证明原来的全称断言为假。

反例推翻的是全称范围,不自动证明相反的全称命题。

51 · SCOPE MATRIX

一个负责任的概括,要同时写出四种边界

对象边界

哪类人、产品、事件?

空间边界

哪个地区、渠道、组织?

时间边界

哪一阶段,是否可能变化?

条件边界

在什么前提、制度或环境下?

限定语不是削弱结论,而是让结论拥有真实的适用范围。

52 · INTEGRATED CASE

“远程办公降低效率”如何接受本章审计

审计层追问修复后的表达
同一律效率始终指同一指标吗?以每周完成且验收通过的任务点计
灰区岗位与协作类型是否不同?限定为跨时区协作岗位
原因远程是原因,还是工具与流程不足?比较控制沟通机制后的差异
定义远程是全远程还是混合?每周远程 ≥4 天
普遍化样本支持所有组织吗?仅适用于受访的 12 个同类团队
53 · BEFORE YOU CLAIM

发布一个重要判断前,完成十项检查

01

关键术语在全文中保持同一含义吗?

02

对象、时间、方面和语境是否固定?

03

是否存在真正的自相矛盾?

04

灰区是真实复杂,还是人为含混?

05

理由真实、相关,并足以承担结论吗?

06

有没有把标签误当成原因解释?

07

近因、远因、条件与触发是否区分?

08

定义是否过宽、过窄或循环?

09

命题的量和质是否明确?

10

概括范围是否超过样本和证据?

54 · PRACTICE LAB

把本章变成四组可执行练习

术语审计

找一份报告,标记三个关键词是否在中途改变含义。

矛盾审计

找两句冲突陈述,对齐对象、时间、方面和词义。

原因审计

把一个“因为能力差”改写为有证据的机制链。

范围审计

把三个“大家都……”改写为带样本与边界的命题。

判断是否进步的标准不是术语记得多,而是你能否把含混结论改造成可验证结构。

55 · TAKEAWAY

逻辑的基本功,是让每一个判断
知道自己凭什么成立、到哪里为止

固定对象 · 澄清灰度 · 追索原因 · 定义术语 · 控制范围
56 · SOURCES & SCOPE

资料、方法与版权边界

本文件依据公开目录与出版信息制作,是原创分析性讲义,不是原文翻译、逐段改写或章节替代。

中文目录核对

豆瓣阅读公开目录:第二章“逻辑学的基本原理”及八个小节标题。

read.douban.com/ebook/29260314/

英文目录核对

Google Books:Part Two 目录与页码;Brooklyn Public Library:英文分部结构。

books.google.com/books?id=Cj6FDwAAQBAJ

操作:← → / PageUp PageDown / 空格切页;手机左右滑动;滚轮切页;T 目录;F 全屏;E 编辑;Ctrl+S 下载编辑后的 HTML。

01 / --
← → 滑动 · T 目录 · F 全屏 · E 编辑