事实错误机器能查，逻辑错误才是最隐蔽的那种。一个论证「听起来合理」，语法对、数据真，审查照样放行，等执行阶段暴露时损失已经落地。让模型当逻辑检察官，检查的不是结论对不对，而是结论「被论证得怎么样」——这个区分决定了提示词怎么设计。
先认识十二种常见谬误
验证之前得知道扫什么。按出错位置分四类：
| 类别 | 谬误 | 典型句式 |
|---|---|---|
| 因果 | 后此谬误 | 「下雨前蚂蚁搬家，所以蚂蚁搬家导致下雨」 |
| 因果 | 混淆相关与因果 | 「冰淇淋销量和溺水率正相关，所以冰淇淋导致溺水」 |
| 因果 | 单因谬误 | 「创业失败就是因为创始人不够努力」 |
| 结构 | 循环论证 | 「这本书是经典，因为它是经典之作」 |
| 结构 | 稻草人谬误 | 把「适当减税」曲解成「取消所有税收」再攻击 |
| 结构 | 滑坡谬误 | 「今天让AI写作业，明天AI就会替代所有人类工作」 |
| 结构 | 虚假二分 | 「不站队A方案就是反对进步」 |
| 证据 | 诉诸权威 | 「诺奖得主说的，所以一定对」 |
| 证据 | 以偏概全 | 「认识的三个程序员都内向，程序员都内向」 |
| 证据 | 幸存者偏差 | 「盖茨辍学了，所以辍学能成功」 |
| 修辞 | 诉诸情感 | 「不支持就是没同情心」 |
| 修辞 | 人身攻击 | 「你又不是专家」 |
一个完整的论证是「前提 → 推理 → 结论」三段，验证就按这三段逐环节过。
五步验证模板
核心模板按五步走，直接可用：
请对以下论证进行系统性的逻辑验证。我不是要你告诉我结论对不对，
而是要你检验这个结论"被论证得怎么样"。
待检验论证：
[粘贴论证内容]
第1步：论证结构提取
- 核心主张（结论）：[一句话]
- 支撑前提：P1 / P2 / ...
- 推理路径：P1 + P2 → [中间推论] → 核心主张
- 缺失前提（隐含但未明确陈述的假设）
第2步：前提检验
- 每个前提是事实陈述还是价值判断？可验证吗？确信度如何？
第3步：推理链条检验
- 每步推理是否成立？有无跳跃？缺失的中间环节是什么？
- 是演绎（前提成立则结论必然）还是归纳（可能成立）？
- 归纳的话，"可能性"有没有被说成"必然性"？
第4步：逻辑谬误扫描
- 逐一对照上表十二种谬误打勾
第5步：反例与边界条件
- 有没有前提都成立但结论不成立的场景？
- 结论的适用边界在哪里？
输出：
- 严密性评级：A(严密)/B(大体成立)/C(有漏洞)/D(严重缺陷)
- 最关键的逻辑问题：[一句话]
- 最需要补充什么赶时间用三步简化版：前提可靠吗？推理有没有跳跃？有反例吗？
实测一遍：远程办公论证怎么被拆开
喂给它一段典型论证：「采用远程办公的公司员工流失率低 25%，所以想留住人才就该立即转向远程办公，坚持办公室办公的公司迟早被淘汰。」
五步跑完，三处跳跃被标出来：流失率低 25% 到「应该采用」之间跳过了因果证明——如果低流失是因为这类公司本身薪水高、文化好，远程办公只是「好公司的症状」而不是原因；「应该采用」到「立即转向」跳过了过渡成本评估；「不采用」到「被淘汰」是标准滑坡。谬误扫描命中三条：混淆相关与因果、滑坡、虚假二分（忽略了混合办公这类中间选项）。
反例环节补了一刀：疫情后要求员工返岗的公司里，人才吸引力并未崩盘，按原论证逻辑它们早该「流失殆尽」。最终评级 C，关键缺陷是拿相关性当因果、把局部经验推成普适路径。这套拆解的颗粒度，人肉审一遍通常做不到。
三段论与因果：两个专用工具
三段论检验把论证强制摆进「大前提 → 小前提 → 结论」的格式，前提真假和形式有效性就分开了。「优秀的管理者都有 MBA 学位，张三优秀，所以张三有 MBA」——形式完全有效，但大前提本身是以偏概全，评级照样给 D。另外要盯「四项谬误」：同一个词在大前提和小前提里含义偷偷变了。
因果论证单独上因果检验清单：时间顺序（有没有反向因果）、第三变量（冰淇淋和溺水的共同原因是天热）、因果机制讲不讲得通、剂量-反应关系是否一致、有没有对照实验、反事实推演。输出按证据强度分级：A 有高质量实验证据，B 控制混杂后有强关联加合理机制，C 只有相关，D 纯靠时间先后或直觉。
这里要修一个常见的绝对化理解：「诉诸权威」并不总是谬误。在证据分级语境下，权威来源的意见是有分量的证据，问题出在「用身份替代论证」——只报名头不给依据才是错，引用权威的具体研究结论不算。
怎么验证这套提示词本身
提示词也是要测的。实操建议攒一组标注样本：十二种谬误各配一条正例、两三条严密论证做对照，跑一遍看评级是否与标注一致，误报集中在哪类谬误就针对性补扫描指令。采样温度压到 0.1–0.2，谬误扫描的输出格式固定成表格，回归测试才有可比性。这个动作做一次，后续当模板用就放心得多。
还有两个使用边界要记住。一是逻辑严密不等于结论正确——三段论形式无懈可击，大前提是错的，结论照样错，前提真伪要靠事实核查补位。二是不必事事上验证：高风险决策的论证、公开报告的核心推理值得过五步，日常沟通用三步甚至跳过。「过去三次这个季度都增长，所以今年可能增长」在逻辑上不严密，但作为工作假设完全可接受。验证的目标不是消灭不确定性，而是分清「合理的不确定」和「不该存在的不确定」。
评论0