二值逻辑

二值逻辑 (Two-Valued Logic)

二值逻辑（Two-Valued Logic / Bivalent Logic）是经典逻辑的基础框架，其核心假设是每一个命题有且仅有两个可能的真值：真（True，记为 $1$ 或 $\top$）与假（False，记为 $0$ 或 $\bot$）。该框架由亚里士多德在《形而上学》中奠定，明确提出"是或不是，此为真"的二值原则；后经布尔（George Boole）在《思维规律研究》（1854）中彻底代数化，使逻辑从哲学思辨转变为可计算的代数系统，成为现代数学、计算机科学与经济理论的逻辑基石。

核心定律

二值逻辑由三条基本定律刻画，它们共同构成经典演绎推理的边界：

1. 排中律（Law of Excluded Middle）： 对任意命题 $P$，$P \lor \neg P$ 恒为真。不存在"中间"真值。若 $P$ 为假则 $\neg P$ 为真，反之亦然——总有一方成立。
2. 矛盾律（Law of Non-Contradiction）： $\neg(P \land \neg P)$ 恒为真。一个命题不能同时为真且为假。这是理性对话的最低条件：接受矛盾即接受一切命题（爆炸原理）。
3. 同一律（Law of Identity）： $P \Rightarrow P$。任何事物等于其自身，真值在推理过程中保持不变。

在布尔代数中，这三条定律对应于集合运算的 $A \cup A^c = U$、$A \cap A^c = \varnothing$ 以及 $A = A$。它们共同保证了逻辑系统的自洽性。

布尔代数与命题演算

布尔将二值逻辑代数化，定义了 $\land$（合取）、$\lor$（析取）、$\neg$（否定）、$\Rightarrow$（蕴涵）等逻辑联结词，并证明它们满足交换律、结合律、分配律、吸收律与对合律（$\neg\neg P = P$）。命题演算的语义通过真值表完全由 $\{0,1\}$ 上的函数给出：任何一个 $n$ 元逻辑联结词都是映射 $\{0,1\}^n \to \{0,1\}$，共有 $2^{2^n}$ 种可能的真值函数。Emil Post（1921）证明了所有真值函数均可由 $\{\neg, \land, \lor\}$ 表达，甚至仅由 NAND（$\uparrow$）或 NOR（$\downarrow$）单一联结词即可——这是功能完备性（Functional Completeness）的核心结论，直接支撑了数字电路设计：所有逻辑门电路均可由与非门或或非门构建。

二值逻辑的代数结构形成布尔格：$\langle \{0,1\}, \land, \lor, \neg, 0, 1 \rangle$ 是一个分配补格，其中偏序 $0 \leq 1$ 对应于"假蕴涵真"。这一简洁的代数结构为后续所有逻辑系统的元理论研究提供了参照系。

经济学应用

二值逻辑在经济学方法论与建模中贯穿始终。

决策论中的偏好公理化——特别是完备性公理——要求决策者对任意两个备择方案 $x, y$，必有 $x \succcurlyeq y$ 或 $y \succcurlyeq x$（或两者同时成立，即无差异）。这在形式上是一种二值比较：两两之间必有一个偏好方向成立。Arrow 不可能定理中的社会选择函数同样将个体二值偏好聚合为社会排序，其不可能性结论深刻揭示了二值聚合的内在局限。

在博弈论中，策略式博弈的"严格占优"判断是二值的：策略 $s_i$ 要么严格占优 $s_i'$，要么不占优，不存在程度之分。纳什均衡的精炼概念——如颤抖手均衡——以极限方式逼近二值判断，要求均衡策略在一系列完全混合策略扰动下仍为最优反应。

数理经济学中，Tarski 不动点定理在完备格上保证单调函数的不动点存在性，其证明完全建立在布尔代数的序结构之上。该定理在比较静态分析（如Topkis 定理）与超模博弈中广泛使用。此外，可计算一般均衡（CGE）模型中市场出清条件的判定（供需相等与否）本质上也是二值检验。

局限性与多值扩展

二值逻辑的根本局限在于无法处理模糊性（Vagueness）与连续不确定性。现实经济中大量命题并非非此即彼："高通胀""充分就业""信用良好"等概念存在边界模糊地带。

模糊逻辑（Fuzzy Logic）由 Zadeh（1965）提出，引入 $[0,1]$ 连续真值，以隶属函数刻画"部分为真"的命题。这在行为经济学中有天然应用：消费者的"满意度"并非二值变量，而是连续的隶属度；投资决策中的"风险偏好"同样不宜二值化处理。

直觉主义逻辑（Brouwer, 1907）拒绝排中律，要求构造性证明——命题为真当且仅当存在一个构造性证明。这一立场与经济学中的可计算一般均衡及算法机制设计问题深度关联：某些均衡的存在性虽可在经典逻辑中非构造性地证明，却无法给出计算该均衡的算法。

模态逻辑引入"必然"（$\Box$）与"可能"（$\Diamond$）算子，用于刻画知识论与信念层级，在epistemic 博弈论中描述共同知识与交互信念结构时不可替代。

然而，二值逻辑作为元逻辑（Metalogic）的基底地位并未动摇——任何多值逻辑或非经典逻辑的元理论（可靠性、完全性证明）本身仍必须在二值元语言中展开。这一递归依赖使二值逻辑成为不可最终超越的逻辑起点。