---

title: learn 20261010 李栋战法逻辑学学习
status: active
tags: [复盘]
created: 2026-10-10
---

# learn_20261010 · 李栋战法库「逻辑学11本PDF」学习收尾归纳（逻辑能力提升视角）

> 任务：IMA「李栋战法」库37份中按 LEARN_FILTER=pdf 只学11份 PDF（全部是逻辑学书），26份md战法文档不在本次范围。
> 流水线：`office_kb_learn.py` 七阶段，env `LEARN_ROOT=/home/ubuntu/.hermes/lidong_learn LEARN_KB_ID=3w5iAnIWokildbirluDEcgbgRTjYaFdj5VfbpiFco2s= LEARN_FILTER=pdf`。
> 本文不是内容摘要，是**这批书对我的推理能力的净增量**：可复用推理结构 → 对照 LOGIC-OS → 可固化 IF-THEN。
> 所有引用均来自产物文件实读内容，未读到的一律标注为「关键词候选·未逐页核验」。

---

## 〇、流水线状态与产物核验（先报事实，不报观点）

**report 实测字段**（`office_kb_learn.py report`，2026-10-10 10:00 后取）：

| 字段 | 值 | 字段 | 值 |
|---|---|---|---|
| raw | 37 | distill_cards | 40 |
| text | 11 | group_packs | 40 |
| vision_cards | 2160 | global | true |
| chart_pages_total | 2160 | pending_stock | [] |
| batch_state | {}（无挂账） | .completed | 存在、0字节、mtime 07:52 |

- **完成判定**：`logs/.completed` 存在（07:52 落盘）+ `out/global.md` 存在（23023 字节）+ `pending_stock=[]` → 判定**已完成**，进入归纳归档。
- **run.log 尾部**（10:00 tick）：`fetch 股票类 11 份，新下0 跳过11 失败0`；`extract 37 份文件 总字符1.3M 图表页2160`；vision/distill/group/gmerge/global 五阶段均「全部产物已存在/无任务，跳过」→ 断点续跑正常，无重复扣费迹象（batch_state 为空）。
- **11 份 PDF 实物**（`raw/` 字节数，逐一核对）：卡尔纳普《语言的逻辑句法》109,230,243 / 何向东《逻辑学》马工程 127,155,057 / 顿新国《归纳、确证与悖论》47,523,322 / 泰普勒《多维度思考》1,569,407 / 周建武《科学分析--逻辑与科学演绎方法》3,907,528 / 韦卓民《逻辑学研究》115,564,489 / 郭佳宏《走进逻辑学》20,942,633 / 杨睿之《作为哲学的数理逻辑》37,889,942 / 余俊伟《数理逻辑》7,687,404 / 皮尔士《如何形成清晰的观点》1,556,728 / 郝兆宽、杨睿之《数理逻辑：证明及其限度》13,325,317。
- **两通道分布**（我按文件名前缀统计）：distill 40 卡覆盖 7 本有文字层的书（余俊伟13、周建武8、马工程8、皮尔士5、泰普勒4、走进逻辑学1、卡尔纳普1）；vision 2160 卡覆盖**全部 11 本**（韦卓民766、郝兆宽275、卡尔纳普395、顿新国220、杨睿之230、走进逻辑学193…）→ **4 本扫描书（顿新国/杨睿之/郝兆宽/韦卓民）只有 vision 通道**，这是本次能学到「归纳确证/悖论」的唯一来源，证明老板「注意K线图学习体会、图文双通道」的指令是必需的，不是加分项。
- **我实读的产物**：`out/global.md`（全文）、`out/gmerge/综合体系与自产笔记.md`（全文）、`__mid1.md`/`__mid2.md`（头尾）、distill 4 卡全文（马工程part1/part6、皮尔士part1、周建武part4、泰普勒part2、余俊伟part11、卡尔纳普part1）、vision 11 卡全文（顿新国 p0035/p0097、走进逻辑学 p0147、杨睿之 p0007/p0021/p0074、郝兆宽 p0067/p0105/p0134、周建武 p0043/p0211、韦卓民 p0348/p0351）。

---

## 一、11本书 → 五类可复用推理结构（每条标来源书）

### 1. 演绎：形式有效性（决定「这条规则能不能这么推」）

1. **形式有效 ≠ 结论为真**——前提全真+结论碰巧真，推理仍无效；反过来结论真但形式无效也无效。这是把「历史上对了几次」和「规则本身成立」彻底分开的第一刀。来源：马工程《逻辑学》（何向东）绪论第一节（distill 卡 part1 原句：「这个推理的两个前提都是真的，而结论却是假的……同样的形式结构，前提都是真实的，结论的真假却不同」）。
2. **条件类型[充分/必要/联言]决定推理方向**：充分条件→肯定前件执行、否定后件证伪；必要条件→否定前件证伪、肯定后件只可排除；分不清是哪种→该规则**不可执行**。因为推理方向错了，证伪和执行会互相冒充。来源：周建武《科学分析--逻辑与科学演绎方法》第三节·假言推理（distill 卡 part4 判据6）。
3. **肯定后件与否定前件是两条硬禁令**：见到 Q 不能反推 P（涨停+放量 ≠ 主力启动，还有出货/消息/跟风）；「大盘非退潮」是必要条件，推出「个股安全」即否定前件谬误。来源：周建武 part4 判据2、判据3。
4. **连锁推理逐环有效**：「大盘OK→板块OK→个股OK→战法OK→仓位OK」任一环非有效，整链结论不可靠——这是我链路必须每环自证的逻辑依据，不是风格偏好。来源：周建武 part4 判据7（原句：连锁推理中任何成分三段论非有效则整个连锁非有效）。
5. **选言支必须穷尽，否则排除法必错**；且要先分清「矛盾关系」（穷尽二分）与「反对关系」（不穷尽，存在第三态）。A股的涨/跌是反对关系——平盘、停牌、一字板、被动ST 都是第三态，谁把它当矛盾用谁漏判。来源：周建武 part4 判据4 前置校验 + 周建武 p0043 欧拉图页（我实读：「正义战争/非正义战争」=矛盾、「白色/红色」=反对）+ 韦卓民 p0348「『有些』是未定之词而可能是全部」。
6. **周延性防反向套用**：「所有涨停股是强势股」不能推出「所有强势股是涨停股」，肯定命题谓项不周延。来源：马工程 distill 卡 part1 判据3（第二章第一节·周延性四条规律）。

### 2. 归纳与确证：决定「这条规则的胜率能信多少」

7. **参照类相对性：胜率不是全局常数，是参照类的函数**。同一事件概率随试验序列（参照类）不同而不同；把「所有乌鸦是黑的」观察到无反例就定概率=1，反而取消了假说的检验功能。回测必须先定义参照类（大盘阶段×位置×量能档），参照类漂移（发酵转退潮）→ 旧胜率作废重算。来源：顿新国《归纳、确证与悖论》p0035（vision 实读，频率论参照类难题 + 波普尔性向理论）。
8. **确证度 = 后验 P(H|E) − 先验 P(H)**，是增量不是绝对值：证据与假说独立（Pr(Ba|H₁)=Pr(Ba)）时增量≈0；样本基数悬殊时似然比≈1，证据否决自己（乌鸦悖论的贝叶斯推导 8 步）。盘面翻译：涨停家数已 500 家时再多一个涨停，边际信息≈0。来源：顿新国 p0097（vision 实读，含 ε 小实数、P(H₁|E₂)−P(H₁) 展开）。
9. **证伪打在合取上**：预测失败得到的是 ¬(H∧B) = ¬H ∨ ¬B，可能错的是**背景前提**（大盘阶段/情绪/板块位置）而不是战法本身——先排查背景，再谈否决战法。来源：马工程 distill 卡 part6 判据2（第八章第二节·德摩根律分析）。
10. **修改成功与否有客观判据（拉卡托斯）**：改参数后若只是堵住上次漏洞、没**多预测出新的且被确证的事实**，则修改不成功，不采纳；换新策略须同时满足三条件（有超旧的经验内容 + 覆盖旧策略所有未被反驳的成功 + 新增内容获确证）。来源：马工程 part6 判据3、判据4（第八章第四节·保护带调整/理论淘汰三条件）。
11. **新颖证据的确证力显著高于普通证据**（只有你的系统能预测出来的），可提高置信度但仍非演绎有效。来源：马工程 part6 判据1。
12. **控制变量靠穆勒五法（求异法等），不靠直觉归因**：「缩量后必涨」这类相关性断言未做求异/求同控制，只能进回测流程，不能在回测前当操作规则。来源：马工程 distill 卡 part1 判据5 + part4/part8、《走进逻辑学》p0126–p0127（vision 关键词命中）。

### 3. 论证评估：决定「这段分析值不值得采信」

13. **图尔敏六要素 + 四条件检查**：主张C/根据G/保证W/支援B/反驳R/模态置信M，评估四条件=①根据已证实 ②信息充分（**必须含导向相反结论的信息**）③保证已验证 ④当前情形非例外。原文直说「反驳」是**常见缺失**项。来源：马工程 part6 链3 + 判据7（第九章第二节）。
14. **置信水平与论证支持力不相称 = 一种谬误**：我主观 80% 而论证只支撑 50%，正确动作是降仓位到与支持力匹配，不是找更多理由自证。来源：马工程 part6 判据6（第九章第四节）。
15. **同一论证模式在不同语境下既是合理论证也是谬误**（「X论证」vs「X谬误」）：量增价涨在低位制约条件满足=论证，高位不满足=谬误 → 必须按位置拆成两条分别验证，禁止合并统计。来源：马工程 part6 判据5、判据8（第九章第四节·非形式谬误语用性）。
16. **绳索原则（推理不该像锁链而该像绳索）**：单链推理（一个指标/一位大V/一个理论）=脆弱，不采纳；要多条独立纤维同向。来源：皮尔士《如何形成清晰的观点》distill 卡 part1 判据3（引言·第3条）。
17. **信念来源四分法：固执法/权威法/先验法/科学法**——只有「科学法」（暴露于外部现实、可反复检验）可上实盘；对所有反面证据都能自圆其说的信念判为固执法、可信度归零。来源：皮尔士 part1 判据2、判据4（第一篇·五节）。
18. **决策外部化与稳定标准**：下单前不写下理由不许下单；第一个想法不是答案，强制写至少一个替代解释；止损/目标位设定后不因感觉临时调。来源：泰普勒《多维度思考》distill 卡 part2（法则34/35/54/31）。

### 4. 悖论与批判：决定「什么理由必须被剔除」

19. **自指/循环论证书检测**：说谎者悖论与贝里悖论的共同机关是**自我指涉**（罗素：只有把这句话包括进它所指的总体时才产生悖论）。盘面同构：「它是主线因为它在涨、它在涨因为它是主线」「量价健康因为主力吸筹、主力吸筹因为量价健康」都是自指链，理由不能证明自己，只有盘外可独立观测的事实能验证盘内解释。来源：《走进逻辑学》p0147（vision 实读，语义悖论及其消解）。
20. **前提集界定真值域，前提缺失即否决**：哥德尔不完备被误读为「数学真不可判定」，实为「某个不强的公理系统里的符号串」——结论只在其公理前提内成立，越界引用必然失真；凡说不出前提（位置/量/阶段）的结论，一律当游资喊话处理。来源：杨睿之《作为哲学的数理逻辑》p0007（vision 实读，前言第 iii 页）。
21. **真值表匹配 ≠ 因果匹配（实质蕴涵的爆炸律）**：p 为假时「假前提→任意结论」全部合法（ex falso quodlibet，「2+2=4」被「月亮是绿色奶酪」蕴涵）；刘易斯改严格蕴涵要求必然联系。翻译：只在真值表上通过、说不清「钱为什么因 p 而动」的 IF-THEN，边界样本必然乱报。来源：杨睿之 p0021（vision 实读，第9页 Lewis 1918 严格蕴涵）。
22. **系统内部规则矛盾时什么信号都能自圆其说（爆炸律）**：可靠性定理 Σ⊢α ⇒ Σ⊨α 只在规则集一致时有意义。来源：郝兆宽《数理逻辑：证明及其限度》p0067（vision 实读，2.8 可靠性定理页）。
23. **自指信号量监控**：同一逻辑30日内信号量骤增≥3倍→降权50%（我的判据在制造行情时即失效）。来源：gmerge 终稿参数表 #54（杨睿之）。

### 5. 概念清晰化：决定「这条判据到底有没有定义」

24. **清晰化规则 = 列出该概念所有可预见的实践效果**：说不出它在什么条件下预测什么、触发什么动作 → 判为不清晰、不得进实盘体系。来源：皮尔士 distill 卡 part1 判据1（第二篇·第二节「获得明确认识的规则」）。
25. **可观察效果完全相同的两套规则 = 同一条规则的不同表述**：预测、触发、止损全同 → 消除冗余，不算两套系统。这与「同源证据不重复计数」是同一件事的逻辑学版本。来源：皮尔士 part1 判据6。
26. **概念必须参数化，无阈值词（放量/强/主线）不进选股器**；参数>3 判过拟合拒收。来源：gmerge M9（卡尔纳普句法层的可检验性要求 + 杨睿之 IF-UNLESS 格式要求，双批次收敛）。
27. **输入门：内容为空就判「未学」，禁止用公理脑补**——卡尔纳普卡的输入实为 Z-Library 文件元数据（filename/md5/pdg_dir），卡上如实写「五元全部缺失，不是含混——是输入为空」并给退回条件；余俊伟 part11 是书末索引页，卡上写「五元全缺」。因为公理太好用，最大的风险是原文为空时用它补出自洽但无源的卡。来源：卡尔纳普 distill part1 + 余俊伟 distill part11（均实读）。

---

## 二、对照我已有 LOGIC-OS 框架：印证 / 补充 / 冲突与裁决（逐项）

### 2.1 九病灶 F1–F9

1. **F1 流畅性伪装成正确性 → 印证并加严**：马工程「形式有效≠真」比我的 F1 更狠——说得顺=形式有效，前提假照样结论假。**对齐点**：F1 检查语句流利度，还要单列「前提是否被事实验证过」一栏。
2. **F2 肯定后件 → 印证且首次拿到A股具体形态**：我 F2 只是抽象标记，周建武给出实指（涨停放量→主力启动=反推禁止）和配对的否定前件（大盘非退潮→个股安全）。**补充**：F2 应拆成「肯定后件」「否定前件」两条独立检查。
3. **F3 推理链中途坍塌 → 印证**：连锁三段论逐环有效（周建武判据7）给 F3 一个可执行形态——每环单独判有效性，任一环断则整链作废，与我的「升层裁决」一致。
4. **F4 确认偏误 → 印证**：皮尔士「固执法」是 F4 的机制版（对一切反面证据自圆其说→可信度归零）；顿新国「反例优先于证实」给 F4 配了退出条件。
5. **F5 相关当因果 → 印证 + 工具**：穆勒五法（求异法）是 F5 的标准解药；顿 p0097 的独立性条件（证据与假说独立→确证力0）是 F5 的量化版。
6. **F6 概念偷换 → 印证 + 补口径**：周延性、矛盾vs反对、「有效」必须限定所属系统（马工程 part1 自身被我卡出「狭义/广义有效性边界含混」）。**补充**：F6 增加一条「同一词是否换了属概念」的自问。
7. **F7 诉诸权威 → 印证**：皮尔士四方法把「权威法/先验法」与「科学法」显式分类，凡引用研报/大V 必须标注属于哪一法，非科学法必须先回测。
8. **F8 零校准自信 → 印证 + 参数**：马工程「置信与支持力不相称=谬误」把 F8 从提醒升级为**可执行动作**（降仓到与支持力匹配）；顿的 ΔP≥3pct、似然比≥2 给了数字锚。
9. **F9 叙事压过证据 → 印证 + 检测法**：走进逻辑学 p0147 给了自指检测（论据是否包含结论），杨睿之 p0007 给了「口号期只传结论不传前提」的场景识别。
10. **横向看**：F1–F9 不是并列的九条，而是分布在「前提—推理形式—证据—表达」四个环节上，与知识点之间是**并列关系中的分层关系**；本批书补的主要是「前提」和「证据」两环。

### 2.2 图尔敏六要素

11. **印证**：马工程第九章给出与我完全同构的六要素，并把「反证R」列为最常见缺失——这正是我红队反证要求的教材根据。**补充**：原文只说「后果越严重越要努力查明」，没给穷尽搜寻反证的程序 → 我补为「≥2条实质性反向证据」的硬性下限（保持不变，因为这是书里没有的、我自己的规则）。
12. **冲突与裁决（模态置信 vs 我的置信度标签）**：马工程允许「很可能」这类模糊量级，我的 LOGIC-OS 要求数字概率。**裁决：取我的数字版**——模糊量级正是 F8 的温床；书本的「模态由保证类型决定」保留为给数字时的**先验来源提示**（必然型保证给高先验，概然型给低先验）。

### 2.3 Pearl 因果分层

13. **印证**：本批书基本停留在 L1（关联/确证）与纯演绎层，没有 do-演算 → **不构成对我 L1/L2/L3 红线的挑战**。
14. **补充（需标注层级）**：顿新国的「反事实淘汰」（假设前提为假时信号仍≥50%出现 → 零区分力剔除）借用了反事实的语言，但它是**思想实验式筛除**，不是结构因果模型上的 do/反事实演算。**裁决：按 L1.5 使用**——允许作为判据准入的筛除器，禁止用它宣称因果结论，Pearl 越层红线保持不变。
15. **真正的因果提示来自拉卡托斯链（知识点9）**：证伪打在合取上，错的可能是背景 B——这要求我在归因时把「大盘/情绪/板块」作为 B 显式列出，属 L1 内部的**归因结构化**，不越层。

### 2.4 红队反证

16. **印证 + 强化**：本批书把我的「≥2条反证」升级成**判据级硬门槛**：每条 IF 必须配 UNLESS（写不出失效状态不入库）、全称判据 1 次反例即停、统计级 2 次移出、换口径胜率差>15pp 剔除、单一状态样本≥70% 禁用。红队从「分析时做一次」变成「判据生命周期里持续做」。
17. **我原来没有的**：**「反例先于正例」的退出优先级**——我过去的红队是给结论找反方，本批书要求给**规则**找反例并让它有权停用规则。对齐点=红队输出不再只进报告，要进判据台账的退役流程。

---

## 三、可固化清单：能进每次分析前置检查的推理规则 IF-THEN（含参数）

> 来源标注：global.md 判据清单 / gmerge 参数三元组总表 / 本书页卡。**带⚠️的是流水线自己标了「待验证」的，我原样保留，不擅自升级。**

### 3.1 判据准入与退役（元规则，最高优先级）

1. **IF 判据参数个数 > 3 THEN 拒绝入库，标记「过拟合嫌疑」**——为什么：参数越多越能在历史数据上凑出完美拟合，因为自由度失控。来源：杨睿之≤3 + global#7（双批次）。失效条件：若该判据本质是多维联立（如「位置×量×情绪」三元组），按三元组整体计为 1 条判据而非 3 个参数，此时豁免。
2. **IF 判据无 UNLESS 条款（写不出失效状态）THEN 不入库**——逻辑：写不出失效条件的规则永远「是对的」，那是确认偏误的温床。来源：global#12、M5、顿 p.63/65/66。
3. **IF 回测样本量 < 30 笔 THEN 仅登记不使用**——因为单例/小样本无信息，n≥30 才可分桶。来源：global#10、顿13页/8卡。
4. **IF 条件类型未标注[充分/必要/联言] THEN 不进选股器**——因为不标类型就无法确定该用肯定前件还是肯定后件，推理方向会混用。来源：周建武第三节 + global 判据体系。
5. **IF 全称命题判据出现 1 次反例 THEN 立即停用；IF 统计级判据连续 2 次触发后价格未按预期 THEN 暂停并进入 3 个月复验期（复验样本≥30 笔才可重新申请入库）**——因为全称命题被单例推翻是逻辑必然，统计级才需要频率证据。来源：global#8、#9，分治裁决 D3。
6. **IF 回测样本混入不同大盘阶段/位置 THEN 分层重算（阶段×位置×量能三维参照类），未分层前不实盘**——因为胜率是参照类的函数。来源：顿 p0035。
7. **IF 某层胜率与全样本差 > 15pp THEN 该判据仅限该层使用、标注射程；IF 单一状态样本占比 ≥70% THEN 禁用该判据**——因为域外胜率不可外推。来源：global#19、#20。
8. **IF 反事实检验中前提为假时信号仍 ≥50% 出现 THEN 零区分力，剔除**——因为该信号与前提无关（L1 筛除器，不作因果宣称）。来源：global#21、M15。

### 3.2 证据计数与量化门槛

9. **IF 多条证据同源（同一K线柱被量价/资金流/龙虎榜三个指标引用）THEN 合并计 1**——因为它们是同一笔成交的三种转述，重复计数会虚高置信度进而放大仓位。来源：M6。
10. **IF 背景（大盘+板块+位置）能单独解释该信号 THEN 确证力记 0，不加仓位**——因为背景外的增量才是真 alpha。来源：M13、顿 4 章节。
11. **IF 证据增量 ΔP < 3pct THEN 记 ε 级、权重 0；IF 该信号似然比 < 2 THEN 忽略（不加仓不减仓）**——因为增量太小等同噪声。来源：顿 2 处（global#32、#33）。
12. **IF 放量 ≥ 5日均×2 THEN 进入重点观察池（不等于买入）；IF 放量 ≥ 5日均×1.5 THEN 仅标「活跃」**——因为 1.5× 噪声比仍高，2× 才进显著区间；且放量本身无含义，须再过位置+情绪+背景三关。来源：global#5、#6 + 内化习惯2。
13. **IF 独立同向证据 < 3 条（同源只算1条）THEN 不建仓**——因为单证据不足以支撑仓位。来源：global#4、顿 6 处。
14. **IF 换口径后胜率差 > 15pp THEN 剔除该判据**——因为结论对口径敏感说明它测的是口径不是市场。来源：global#11（取 15 严值）。
15. **IF 战法回测仅在单一状态样本占比 ≥70% THEN 禁用**（同 7，双源确认）——⚠️ 保留原标注。

### 3.3 推理形式检查（分析时逐条过）

16. **IF 分析中出现「见Q反推P」（如：涨停放量→主力启动）THEN 标记肯定后件、禁止执行，改走选言排除（列出消息/技术/资金/情绪四支，逐一排除后才归因）**——因为充分条件不能逆推。来源：周建武判据2、判据4。
17. **IF 用「必要条件成立」推出「结果安全」（大盘非退潮→个股可做）THEN 标记否定前件、禁止**——因为必要条件只够排除不够放行。来源：周建武判据3。
18. **IF 二元判据（做/不做、强/弱）且属概念外延不穷尽（存在平盘/停牌/一字/被动ST）THEN 先补「观望」第三分支再进回测**——因为把反对关系当矛盾用会污染样本。来源：周建武 p0043。
19. **IF 链路（大盘→板块→个股→战法→仓位）任一环的有效性未单独验证 THEN 整链结论不可用**——因为连锁推理一环断全链断。来源：周建武判据7。
20. **IF 看多理由的论据中任一环节可被结论本身解释（自指/循环）THEN 冰点/修复期直接剔除；高潮/退潮期降为纯情绪跟随标的、仓位≤1/2且只守战法止损**——因为自指命题无真值，且高潮期全员自指时把它当剔除器会把主线全剔掉。来源：走进逻辑学 p0147。
21. **IF 结论未标注其成立的位置/量/大盘阶段（说不出前提）THEN 不采纳、仅列观察项**——因为结论的真值域由前提界定。来源：杨睿之 p0007。
22. **IF 某规则只在真值表层面通过、说不清资金因果句 THEN 改写成含资金成因的版本或弃用**——因为假前提下任意结论都「合法」。来源：杨睿之 p0021。
23. **IF 概念/信号列不出可预见的实践效果 THEN 判为不清晰，先补 IF-THEN 定义再谈使用**——因为列不出效果=没有定义。来源：皮尔士第二篇第二节。
24. **IF 两套规则在预测/触发/止损上可观察效果完全相同 THEN 判为同一条规则，合并去重**——因为冗余规则会被重复计数成双份信心。来源：皮尔士 part1 判据6 + M6。
25. **IF 深学/分析输入中交易与逻辑关键词命中为 0（如拿到元数据页、索引页）THEN 本条判「未学」、退回重取，禁止用公理补卡**——因为公理在空输入时会生成自洽但无源的内容。来源：卡尔纳普 part1、余俊伟 part11。

### 3.4 A股场景的逻辑谬误防范（高频，直接对应我的历史踩坑）

26. **基率忽视**：高潮期涨停家数已饱和时，「又一只涨停」的增量≈0——追高决策若建立在边际证据上即为谬误。来源：顿 p0097 基数比推导。
27. **参照类错置**：把退潮期样本混进发酵期统计胜率 → 数字是自欺。来源：顿 p0035。
28. **幸存者偏差**：教材/复盘图例默认从结果反选，成功图不能当证据；权威法的成功案例（皮尔士举石制工程）同样未统计被压制的错误信念。来源：皮尔士 part1 病灶段 + 我的图例默认偏差规则。
29. **循环叙事**：「量价健康因为主力吸筹、主力吸筹因为量价健康」——改用可外部独立观测的证据（板块涨幅排名、龙虎榜席位、同比强弱）。来源：走进逻辑学 p0147。
30. **置信不匹配**：主观置信高于论证支持力 → 动作是降仓到支持力水平，而不是补理由。来源：马工程 part6 判据6。

### 3.5 落地物（刻到骨子里的部分）

- 已有：`learning_gate.py`（本篇要过的五关门禁）、`office_kb_learn.py`（本流水线七阶段）、`judgment_ledger`（判断落账）、`assertion_ledger.py`（声明即校验）。
- 建议接入（**未实施，仅登记**）：把 3.1 的准入规则做成 `criterion_admission.py` 挂到判据入库 cron，与 `factor_admission.py`（判据正交准入）合并为同一道门；3.3 的推理形式检查作为分析报告的前置 checklist 挂载到 `logical-thinking` 技能。

---

## 四、结构图类 vision 产物（书名 + 页码，单列）

> 判定标准：我逐卡实读确认「图确实是结构图」的标 ✅已核验；仅关键词命中的标 ⚠️候选·未逐页核验。**这些页的卡全部如实声明「不是K线/量价图」并拒绝编造行情数字**，同时给出结构同构映射——这本身就是图文双通道的价值。

1. ✅ **郝兆宽、杨睿之《数理逻辑：证明及其限度》p0067**：自然推演树（目标式 ⊢((α∧¬β)∨(β∧¬γ))∨(¬α∨γ) 经 rw/∧/∨′ 规则推导至□）+ 2.8 可靠性定理 Σ⊢α⇒Σ⊨α。卡上提炼：单步规则的合法性由**整棵树的层级**决定，孤立看某步无意义；规则集不一致时可推出一切（爆炸律）≈ 我的系统内部规则互相矛盾时什么信号都能自圆其说。
2. ✅ **同书 p0105**（书内页码86）：例4.5.2/4.5.3 两条**证明树**（∀ 引入/消去、rw 弱化），核心是**子公式性质**——推导只能用目标的子公式，不得引入新信息。同构：决策只能由已有事实推出；同一规则（弱化）在前提集 Γ 是否已含该合取式时含义相反 = 位置决定含义的逻辑学版。
3. ✅ **同书 p0134**：哥德尔完全性定理章的证明树拆解 + 弱柯尼西引理脚注；卡上提炼「从失败过程反推反证」——找证明失败的地方读出反模型，即反例比正例廉价。
4. ✅ **周建武《科学分析--逻辑与科学演绎方法》p0043**：两张**欧拉图**——矛盾关系（外延互斥且穷尽：正义战争/非正义战争）vs 反对关系（互斥不穷尽：白色/红色）。直接产出判据 18（第三态分支）。
5. ✅ **同书 p0211**：**文恩图**两圆四区（S′P′/SP′/SP/S′P）+ 三圆 1–7 区用于三段论判定，规则：阴影=该区不含元素、×=至少存在一元素。卡上提炼：同一区域语义随全集结构翻转（两圆的互斥区 → 三圆的第一格否定支点）= 位置定含义；标注与前提冲突时以标注（量）否决结论。
6. ✅ **韦卓民《逻辑学研究》p0348**（形式逻辑纲要第331页）：**欧拉图解**图六（大圆S₁套小圆P₂部分隔离）/图七（两圆全分离）+ 图解正确三条件（一目了然/每图一义/每型一图），并批评欧拉图「意义模糊、一图多义」。同构：图优于文、又被原则否决；「有些是未定之词」→ 模糊词在不同前提下可指全称。
7. ✅ **同书 p0351**（第334页）：**文恩图**图十二（S∩¬P 标*表存在）+ A/E/I/O 对当关系（A与O矛盾、E与I矛盾、A假则E不定）。产出：**「不定」是合法状态**——否定A不等于肯定E，看空看多都证不出来时市场没给交易资格（这是卡上明确写「我原来没有的」的新增公理）。
8. ⚠️ **真值表类**：`作为哲学的数理逻辑` p0021/p0074–0076/p0150–0151 等关键词命中（真值表全库 45 处命中）——但我实读 p0021、p0074 均为**纯文字页**（分别讲严格蕴涵、真值表可归约），**未逐页核验是否含真值表图**，不作为已核验结构图上报。
9. ⚠️ **其他关键词候选**（未逐页核验）：判定过程（郝兆宽 p0190）、推理图（韦卓民 p0348 已核验为欧拉图解，p0348 之外另有命中）、说谎者悖论图（走进逻辑学 p0147 已核验为文字页+转写）。

---

## 五、三维定位（横向 / 纵向 / 纵深）

- **横向**：11 本书之间不是孤立知识点，而是**并列中的分工**——演绎类（马工程/周建武/余俊伟）管「能不能这么推」，归纳类（顿新国）管「胜率能信多少」，论证类（马工程第九章/皮尔士/泰普勒）管「这段分析值不值得采信」，悖论类（走进逻辑学/杨睿之/郝兆宽）管「什么理由必须剔除」，概念类（皮尔士/卡尔纳普）管「判据有没有定义」；跨板块看，这五类正好覆盖我 LOGIC-OS 的前提—形式—证据—表达四环，缺口在「证据」环（顿新国独供）。
- **纵向**：时间与因果链上是**先后顺序**不可颠倒的三段——先做准入（参数≤3、有UNLESS、标条件类型、样本≥30）→ 再做服役（同源合并、背景归零、射程标注、ΔP/似然比门槛）→ 最后做退役（全称1次/统计2次反例、2次不涨停用、3个月复验）。过去的我只有服役段，缺首缺尾。
- **纵深**：底层是三条第一性——**真值由前提集界定**（郝兆宽/杨睿之）、**确证度由背景信念集定义**（顿新国）、**语义由位置/层级决定**（韦卓民/周建武/走进逻辑学）；行为层是主力与散户的证据博弈，盘面层才是 K 线量价。三层穿透的结论：**盘面信号只是最上层的投影，中层（谁在什么背景下用什么证据）与底层（前提是否成立）才是判据的生死线**。

---

## 六、学方法（他方法 / 我方法 / 如何对齐）

- **他的方法（这批书的推理路径）**：先定概念与前提（皮尔士清晰化、卡尔纳普句法）→ 再验形式有效性（马工程/周建武的三段论与假言推理检验）→ 再谈确证强度（顿新国的 ΔP、似然比、参照类分层）→ 最后用反例与悖论做淘汰（拉卡托斯保护带、哥德尔式前提审查、自指检测）。
- **我的方法（我现在怎么做的）**：我原来以「已回测」当通行证，红队反证只在写分析时做一次、不进规则生命周期；判据入库不标条件类型、不写 UNLESS、不标射程；置信度给数字但缺 ΔP/似然比这类增量锚。
- **如何对齐（差异→改我哪）**：差异→把红队从「一次性分析动作」改成「判据生命周期的退役监控」；改我哪=`criterion_admission.py`（新建，未实施）承载 3.1 准入八条，`logical-thinking` 技能的 L2 图尔敏表增加「前提事实性」与「条件类型」两栏，对齐点=入库即合规、服役即受监控、反例即退役。

---

## 七、结论（每条带因→果与失效条件）

- **结论1**：这批书的净增量不在战法而在**元规则层**——它给我的 15 判据体系补上了准入/服役/退役三段生命周期。因→果：因为「已回测」只证明暂未被证伪（M4），所以回测通过但缺 UNLESS/射程/条件类型的判据必须降级为观察级（仓位≤1/3）。失效条件：若某判据已在 ≥2 个情绪阶段回验存活且样本外独立段≥1，则可豁免降级。
- **结论2**：归纳确证类（顿新国）是本批唯一供给「证据强度量化」的书，也是我证据环的真缺口。因→果：因为确证度=后验−先验的增量而非绝对值，所以「放量突破」这类信号必须先算 ΔP 与似然比再谈仓位，否则高潮期的边际证据会被当成独立证据重复计数。失效条件：若信号本身不可重复（纯情绪驱动、每次驱动力不同），增量框架不成立，此时按参照类分层也救不回，只能不做。
- **结论3**：图尔敏/Pearl/红队与本批书**无实质冲突**，唯一需要裁决的是模态置信与数字概率、以及反事实淘汰的层级归属。因→果：因为模糊量级是零校准自信的温床、而反事实淘汰没有 do-演算支撑，所以裁决为「保留数字概率 + 反事实淘汰按 L1.5 筛除器使用」。失效条件：若未来真做出结构因果模型（变量图+do 算子），该裁决作废、可升为 L3。
- **结论4**：图文双通道是这次能学到归纳确证与悖论的**唯一途径**。因→果：因为顿新国/杨睿之/郝兆宽/韦卓民 4 本是扫描件、文字层缺失，所以只有 vision 通道（2160 卡）覆盖全部 11 本，而 distill 40 卡只覆盖 7 本。失效条件：若 OCR 质量整体退化（卡上大量「看不清」），vision 卡的结构判读可信度随之失效，需回源重取。
- **结论5**：本篇的可固化清单里，3.1 与 3.3 可直接进分析前置检查（它们只依赖判据自身文本，不依赖行情数据）。因→果：因为准入与推理形式检查的输入是规则文本而非市场数据，所以可以纯脚本机械校验、无需 LLM 判断。失效条件：若规则以自然语言含混表述（写不出参数），脚本无法穿透语义，只能退回人工——这正是 3.1 第 1、2 条要先跑的原因。

---

## 八、产物质量问题（坏结果照报，不掩饰）

1. **gmerge 终稿截断**：`out/gmerge/综合体系与自产笔记.md` 在「四、方法论总纲 A层 A-1 格式审查 ⑤退出」处**戛然而止**（全文 188 行 / 14119 字节），预告的「A. 判据库生命周期 + B. 实时交易决策流」两层结构中 **B 层完全缺失，A 层也只写了 A-1**。信息并未全丢——`__mid1.md`（9055 字符，25 包、10+ 书的跨包收敛 + 12 条不采纳表 + 一句话总结）与 `__mid2.md`（9096 字符，杨睿之+顿新国双书合并 + 8 条一句话戒律 + 1 条需老板裁决）内容更完整。**本篇引用以 mid1/mid2/global 为准，不依赖终稿的后半段。**
2. **global.md 的诚实声明限制了它的覆盖**：文首写明「仅完整附入『逻辑/哲学书』1组，其余4组未到……拿到其余4组后二、三、五段会扩展」，且 group 阶段 40 个 pack 全部落在**单一主题**「综合体系与自产笔记」下（主题坍缩，无 5 主题分布）。因此 global 的「二、材料分歧裁决」只有组内 9 条 D1–D9，**没有跨主题对照**。
3. **2 张 distill 卡是空卡但如实**：卡尔纳普 part1（2308 字符）的输入实为 Z-Library 归档元数据页，卡上写明「正文丢失、五元全部缺失、退回重取」；余俊伟 part11（1912 字符）是书末索引页，卡上写明「五元全缺」。另有 part10/part12/part13 仅 3.5–4.3KB，明显低于均值（约 1.5 万字符），疑为短节选，未逐卡核验内容密度。
4. **vision 卡中存在纯文字页判读卡**（如杨睿之 p0021/p0074）：卡上正确拒绝「硬套即编造」、只做结构同构映射并标「不进选股器」——**这不是失败，但意味着 2160 卡中含相当比例的非图表页**，不能把 vision 卡数当「结构图数」用（结构图已核验的仅 7 页，见第四节）。
5. **本批几乎不提供交易参数**：gmerge 参数表自己声明「数字多来自卡片作者的迁移提案，非原书原文」，59 项参数中约 1/3 标 ⚠️待验证——**这些数字一律不得直接进实盘**，需用自己的判据池回测后再定。

---

## 九、质量门禁自检（learn-from-master 五步）

- 独立判断：✅ 本篇的对照与裁决（Pearl L1.5、模态置信取数字版、mid 优先于截断终稿）是我在产物之上做的判断，不是复述。
- 因果链完整：✅ 每条推理结构都标了来源书+页/卡，并在无法验证处标注（⚠️候选、待验证）。
- 回测：❌ **未跑**——本批是逻辑书、无行情参数，五步中的「回测验证」对元规则不适用；对应的替代是把 3.1/3.3 的阈值交回我自己的 825 点回测池验证（**待办，未完成，不谎报为已完成**）。
- 预测台账：❌ **本篇未建**——因为书中无可验证的行情预测可提取；判据生命周期规则本身进 `judgment_ledger` 的路径已在 3.5 登记为建议项（未实施）。
- 代码化落地：⚠️ **部分**——`criterion_admission.py` 仅为建议，未实现、未验证；已存在并实跑的是 `learning_gate.py`（本篇过门用）。
- 多材料合并：✅ 11 本书按五类合并，交汇点（位置定含义在 5 本书独立出现）与矛盾点（高潮期放宽 vs 收紧、1/3 vs 1/2 仓、反例停用粒度）均已给裁决。
- 漏洞补：✅ 已列出（情绪阶段无量化判据=最大缺口、15判据缺UNLESS、高潮→退潮转折判据缺失），沿用 global 的缺口表未做粉饰。