# 弗协调逻辑

> 【EN】A logical consequence relation is explosive if according to it any arbitrary contradiction \(A\), \(\neg A\) entails any arbitrary conclusion \(B\) ( ex contradictione quodlibet (ECQ)). Classical logic, and most standard non-classical logics too such as intuitionist logic, are explosive. Inconsistency, according to a standard view about logic, cannot be coherently reasoned about. Paraconsistent logic challenges this standard view. A logical consequence relation is said to be paraconsistent if it is not explosive. Thus, if a consequence relation is paraconsistent, then even in circumstances where the available information is inconsistent, the consequence relation does not explode into triviality . Thus, paraconsistent logic accommodates inconsistency in a controlled way that treats inconsistent information as potentially informative. … 【中】若一个后承关系中任意矛盾 A 与 ¬A 都能推出任意结论 B，它就是爆炸的（ECQ）。经典逻辑等多数标准逻辑都是爆炸的，按一种标准看法，不一致性无法被融贯地推理。弗协调逻辑挑战了这一看法，其定义的后承关系不是爆炸的。词条涵盖弗协调性与双面真理论、ECQ 简史、真矛盾、信念修正及其在集合论中的应用。

- ID: m13253
- 分类: structure
- 领域: 逻辑学

## 定义

若按某个后承关系，任意矛盾 A 与 ¬A 都能推出任意结论 B，即满足爆炸原则 ECQ，它便是爆炸的。经典逻辑以及直觉主义逻辑等多数标准非经典逻辑都是爆炸的；弗协调逻辑正是不爆炸的后承关系。 脚手架作用：- 矛盾隔离：把局部冲突限制在局部，不让整个理论崩塌 - 信息保全：面对含冲突的材料先容纳再清理，而非直接丢弃 - 控爆审查：检查论证是否借爆炸原则偷渡了不相干结论

## 机制

爆炸来自析取引入与析取三段论的联合作用：由 A 得 A∨B，再由 ¬A 与之得 B。弗协调逻辑通过限制析取三段论或改用多值、相关语义，使真值可以“过剩”而不“不足”：矛盾被隔离在局部，不再让整个理论坍缩成什么都能推出。

## 练习

1) 确认信息源中是否真的存在暂时无法消除的矛盾；2) 判断该矛盾应被隔离而不必被接受为真；3) 选用非爆炸的后承关系继续推理；4) 标记哪些结论依赖矛盾区域，单独评估其可靠性。

## 脚手架用法

- 矛盾隔离：把局部冲突限制在局部，不让整个理论崩塌 - 信息保全：面对含冲突的材料先容纳再清理，而非直接丢弃 - 控爆审查：检查论证是否借爆炸原则偷渡了不相干结论

[阅读网页](https://thinkingmodels.site/entries/detail/m13253)