Formal logic × Systems thinking
概念—判断—推理—论证一个动态自校正的认知系统
形式逻辑不只是四个静态名词。它们构成一条从现实到公共知识的加工链：概念决定看见什么，判断决定承诺什么，推理决定如何更新，论证决定为何值得共同接受。
认知质量不只取决于推导是否有效，还取决于概念切分是否合适、判断是否与证据匹配、论证是否经得起他者与现实的双重检验，以及系统能否把错误反馈到正确的层级。
四个问题，四次认知跃迁
每一层都接收上一层的输出，同时加入一种此前没有的新能力。它们不是简单并列，而是逐层扩大系统边界。
概念
“我把现实中的什么，看成什么？”
输出：可复用的对象、类别、属性与关系。
判断
“在这个概念框架下，我承诺什么成立？”
输出：带语境、证据与置信度的命题承诺。
推理
“怎样从已有判断生成、检验并更新新判断？”
输出：候选结论、解释、证明或决策。
论证
“为什么别人应接受它？怎样公开检查？”
输出：可质疑、可复核、可修订的理由结构。
概念、判断与推理可以发生在单一认知主体内部。
论证加入“他者”，把私有推理升级为社会纠错机制。
四层横向对比
同一认知活动在不同层级上有不同输入、操作、质量标准和元问题。混淆层级，是许多争论无效的根源。
| 维度 | 概念 Concept | 判断 Judgment | 推理 Reasoning | 论证 Argument |
|---|---|---|---|---|
| 核心功能 | 表示与组织现实 | 对世界状态作承诺 | 转换与更新认知状态 | 公开正当化一个判断 |
| 主要输入 | 经验、差异、目的、语言 | 概念、关系、证据、语境 | 判断、知识、目标、资源 | 主张、前提、证据、受众 |
| 关键操作 | 区分、抽象、压缩、关联 | 绑定、量化、模态化、赋信 | 生成、搜索、演绎、归纳、溯因 | 呈示、担保、回应、反驳、修订 |
| 典型输出 | 类别 / 属性 / 关系结构 | 可真可假、可强可弱的承诺 | 新结论 / 解释 / 计划 | 可公开检查的理由网络 |
| 首要标准 | 有用区分 + 解释力 | 证据匹配 + 置信校准 | 有效性 + 相关性 + 效率 | 前提可靠 + 推导透明 + 可回应 |
| 主要验证 | 反例、边界案例、预测效果 | 事实核验、概率校准、行动后果 | 证明、实验、模拟、反事实 | 批判、同行复核、交叉询问、重复 |
| 典型故障 | 边界错、实体化、概念僵化 | 证据不足、过度确信、语境丢失 | 无效推导、搜索偏置、资源浪费 | 偷换前提、隐藏担保、屏蔽反驳 |
| 元层问题 | 是否该重画世界模型？ | 承诺强度是否合适？ | 是否该换表示、策略或验证器？ | 规则、公平性与证明责任是否合理？ |
概念系统：先决定世界如何出现
逻辑在概念之后开始工作。若切分现实的方式有误，形式上完美的推导也可能只是在错误地图上精确前进。
概念不是词义盒子，而是可更新的关系系统
它把连续、复杂、无限细节的现实，压缩为可识别、可比较、可组合、可预测的认知单位。
词只是概念的标签；定义只是概念的一个接口；集合只是概念的一种形式表示。概念还包含原型、边界、关系、用途与更新规则。
系统变量
基本变换
典型故障
元层能力
判断系统：把表示转化为承诺
概念提供“能说什么”，判断决定“此刻愿意承诺什么”。判断不是孤立命题，而是主体在证据、语境与目标下形成的可更新认知状态。
判断 = 状态判定 + 关系绑定 + 置信承诺
它把若干概念组织成关于世界的内容，并标明这个内容是真、可能、必要，还是仅在特定条件下值得行动。
一句话是语言表达；命题是它表达的可真可假内容；判断则进一步加入主体、证据、语境、置信度和承诺后果。
系统变量
句子、命题、判断
“明天下雨。”
语言载体
明天下雨这一可真可假的内容
我基于证据，以 70% 置信度接受该命题
更新机制
典型故障
元层能力
推理系统：在可能空间中受控搜索
逻辑规则只是推理的操作组件之一。完整推理还需要问题表示、目标、知识、启发式、记忆、验证器与资源分配。
推理不是直线，而是“生成—检验—修订”闭环
给定不完整的当前状态，认知主体通过允许的操作与搜索策略，逐步抵达一个能通过验证阈值的新状态。
演绎保证条件性的有效；归纳从样本扩展；溯因寻找最佳解释；类比迁移结构；模拟与反事实探索“如果改变会怎样”。
系统变量
基本循环
Generate
Evaluate
Revise
直到 V(Xn) ≥ Threshold
关键区别：有效性回答“若前提真，结论是否跟随”；推理质量还要回答“前提从哪来、路径是否相关、是否遗漏替代解释、成本是否可接受”。
典型故障
元层能力
论证系统：让推理进入公共空间
推理是认知状态的转换；论证是把这种转换外部化，使别人能检查前提、证据、推导、担保与反驳条件。
论证 = 可公开检查的推理系统
它不只是“前提 → 结论”，而是一个包含支持、挑战、核验和修订的社会性反馈结构。
论证把 Other Mind 纳入系统。反对者不只是阻力，而是错误检测组件；实验、数据和重复则让现实本身成为外部验证器。
只检查内部推导结构，不保证前提真实。
比有效性更强，但仍未涵盖全部现实论证质量。
还看证据质量、语境、反驳处理与修订能力。
八个必要组件
动态反馈
典型故障
元层能力
错误如何沿系统传播
认知错误很少只停留在发生处。越底层的错误，传播半径越大；越晚发现，纠错成本越高。
概念偏差
边界、维度或关系被错误设定
判断失真
在错误地图上形成过强承诺
推理放大
有效规则精确放大初始偏差
论证包装
结构清晰使错误更具可信度
社会扩散
权威、网络与制度复制结论
反馈固化
行动改变环境，反过来确认模型
元认知：不仅修答案，还修产生答案的系统
低阶纠错更换结论；高阶纠错会追问表示、搜索、验证和对话规则本身是否需要改变。
在既定概念、规则和目标下，改进具体答案。
改变产生答案的概念、策略、验证器或制度规则。
Dynamic Self-Correcting Cognitive System
统一模型不是一条只向前的流水线，而是多层反馈、可回溯、能重构自身表示与规则的开放系统。
检查概念兼容、判断一致与推导有效，避免系统自相矛盾。
让观察、实验、预测与行动后果约束内部模型。
由独立主体揭示盲点、隐藏假设和单一验证器的偏差。
先记录现象，不急于让旧概念吞没新信息。
说明对象、边界、关系、尺度与使用目的。
把证据、语境、限定词和置信度写进承诺。
列出前提、操作、替代路径、资源与停止条件。
公开 Claim、Evidence、Inference 与 Warrant。
寻找最强反例、反方解释与独立验证器。
判断故障来自结论、推导，还是更底层概念。
记录版本、错误类型与纠错路径，改进下一轮。
使用边界与三个提醒
这是一个系统论重构框架：它连接形式逻辑、认识论、认知科学与论证理论，但不把这些传统强行等同。
01 · 判断不等于命题
命题是可真可假的内容；这里的“判断”强调主体对命题的证据评估、置信度和认知承诺。
02 · 推理不等于逻辑
逻辑研究保真规则；真实推理还包括表示、搜索、记忆、验证、资源分配与错误恢复。
03 · 论证不等于证明
严格证明是论证的特殊形态。现实论证通常是可撤销的，需要处理证据质量、例外、受众和新信息。
04 · 说服不等于真
修辞效果可以促进接受，却不能替代前提可靠性、推导有效性、现实证据与独立复核。