信息经济学的诞生

瓦尔拉斯一般均衡体系在被阿罗（1953）与阿罗-德布鲁（1954）形式化为完备市场模型之后，曾在二十余年时间里主导了新古典经济学的范式。一个令人困惑的事实是：这一体系长期把信息结构当作外生假设，既不把它作为内生决策对象，也不把它作为可建模的市场参数。是数学处理上的简化方便，还是暗含了对市场运行方式的某种根本判断？要回答这个问题，需要回到 Arrow-Debreu 模型中"商品"这一核心概念的精确定义。

第一节 Arrow-Debreu 完备市场：对称完备信息的隐含前提

在 Arrow-Debreu 框架里，商品不再是单纯的物理实体，而是一个由物理属性、自然状态以及交货地点和时间共同索引的向量。形式地讲，如果存在 $S$ 种互斥且穷尽的世界状态、$L$ 种物理商品，那么完备的商品空间是笛卡尔积 $\{1,\ldots,S\} \times \{1,\ldots,L\}$，对应 $S\cdot L$ 种状态依存商品（state-contingent commodities）。每一种状态依存商品由一对 $(s, l)$ 标识，表示"在状态 $s$ 发生时被交付的物理商品 $l$"。所谓完备市场，指的是对所有 $(s,l) \in \{1,\ldots,S\}\times\{1,\ldots,L\}$ 都存在交易合同的市场集合。

完备市场假设真正承担的功能，是把不确定性下的资源配置问题转化为确定性的资源配置问题。给定状态空间 $S$ 和物理商品集合 $L$，每个经济主体在出生时就知道自己的禀赋 $(\omega_{s,l})_{s \in S, l \in L}$ 与偏好 $u_s(\cdot)$，并面对一个由所有 $(s,l)$ 标定的价格系统 $(p_{s,l})_{s \in S, l \in L}$。此时个体的最优化问题完全变成静态的资源配置问题：选择一组消费束 $(x_{s,l})_{s \in L}$，使之在每种状态下都能满足预算约束

$$\sum_{s \in S, l \in L} p_{s,l} x_{s,l} \le \sum_{s \in S, l \in L} p_{s,l} \omega_{s,l}$$

不确定性下的选择降维成确定状态下的多商品选择，价格承担了在不同状态之间重新分配购买力的全部功能。

这一转换得以成立的前提包含三层紧密相连的隐含假设。

第一层假设是状态可观测且可验证。模型假定每个经济主体都能在事前无成本地观测到所有相关的自然状态。更为关键的是，这些状态必须是法庭可验证的（court-verifiable），否则状态依存合同就根本无法签订。这一点在 Arrow-Debreu 的原文中以"无成本地实施合同"的形式出现，但其逻辑内核正是对信息结构的强假设：信息在所有主体之间对称分布，且不存在事后不可观测的私人行动。

第二层假设是合同完全且无成本。状态依存合同可以对任何可观测的状态任意规定交易条件，包括数量、价格、违约责任等。这意味着交易者之间不存在信息不对称导致的合同摩擦：卖方无法隐瞒对自己不利的信息，买方也无法在签订合同后采取合同未涵盖的策略性行为。

第三层假设是价格机制足以承担全部协调功能。在完备市场里，每个 $(s, l)$ 组合都有一个均衡价格，所有稀缺信息都被凝结在价格之中。给定价格向量，个体的最优化选择完全独立于他人的具体决策，只依赖于禀赋、偏好与价格。这就是所谓的"价格承担全部信息"的观点。

在这三层假设的联合作用下，Arrow-Debreu 模型中的均衡结果具有一系列强有力的性质。福利经济学第一定理成立，竞争性均衡是帕累托有效的；福利经济学第二定理成立，任何帕累托有效配置都可以通过适当的禀赋再分配加价格机制实现；不存在任何形式的策略性信息行为，搜寻、信号、筛选都是冗余概念。Arrow-Debreu 模型在数学上的吸引力，相当程度上来自这些性质的普遍性与一般性。

问题在于，这些性质并不是无摩擦环境下市场运行的自然推论，而是完备信息结构下的特定结果。把信息结构当成外生假设，等于预先承诺了一种特定的均衡行为模式：所有个体拥有相同的关于世界的描述，所有交易都基于对称且完备的信息集合，信息的获取与传递都不构成经济决策的对象。在这种预设下研究市场，就相当于研究一个所有参与者都能看到全部棋盘的对弈，博弈论意义上的所有信息不对称问题在这一框架下都不存在。

理解这一点，对于后文展开讨论至关重要。如果我们要让"谁拥有更多信息"成为内生变量，就必须先明确 Arrow-Debreu 框架在哪几个环节把信息差异排除掉了。这一排除不是偶然遗漏，而是该框架处理不确定性问题的特定方式所决定的。把不确定性转化为状态空间，本质上是把信息问题转化为商品种类问题，从而绕过了信息结构本身的复杂性。当我们后续章节把信息结构重新引入模型时，我们实际上是绕回到 Arrow-Debreu 框架刻意绕开的那个复杂性。

第二节 三个经典反例：信息差异驱动的市场失灵

阿克洛夫的"柠檬市场"论文在 1970 年发表时并非凭空创造，它回应的是一类在 1960 年代普遍观察到、但缺乏理论解释的市场现象。以下三个反例分别来自二手车交易、保险市场以及发展中国家的农村金融，它们的共同特征是：在 Arrow-Debreu 框架下被当作"摩擦"或"非典型案例"，但实际上反映了信息结构差异对市场功能的根本影响。

二手车市场：逆向选择的扩散机制

阿克洛夫的原始模型虽然简洁，但捕捉到了一个在二手车市场普遍观察到的现象：在买方无法直接观察车辆质量的前提下，市场交易的平均质量会随时间下降，最终可能导致整个市场萎缩乃至消失。

考虑一个简化的版本。市场上存在两种二手车：高质量车与低质量车（"柠檬"）。卖方清楚自己车辆的真实质量，买方只能观察到车辆的价格而非质量。买方对市场平均质量有一个先验信念 $\mu \in [0,1]$，即他相信随机遇到的车辆是好车的概率为 $\mu$。给定这一信念，买方对任意一辆车的愿付价格为

$$p(\mu) = \mu v_g + (1-\mu) v_l$$

其中 $v_g > v_l \ge 0$ 分别为买方对好车与柠檬的估值。卖方的保留价格分别为 $c_g$ 与 $c_l$，且 $c_g > c_l$。交易发生当且仅当 $p(\mu) \ge c_i$。对好车卖方而言，参与交易的条件是

$$c_g \le \mu v_g + (1-\mu) v_l$$

整理得 $\mu \ge \mu^* \equiv (c_g - v_l)/(v_g - v_l)$。这意味着只有当买方相信市场中好车比例足够高时，好车卖方才会愿意进入市场。若 $\mu$ 低于临界值 $\mu^*$，好车卖方全部退出，剩下的只是柠檬。

这种自选择机制会导致市场自我强化式的萎缩：在 $\mu$ 已经较低的均衡附近，任何外生冲击（例如少数好车卖方暂时退出）都可能把市场推入 $\mu = 0$ 的极端均衡。这一均衡并非 Arrow-Debreu 框架可以容纳，因为它要求一种"质量作为不可观测变量"的状态依存合同在事前被签订，恰恰是该框架假设其无成本存在的对象。

阿克洛夫把这套机制命名为"逆向选择"（adverse selection）：市场价格作为买方信念的函数，会反过来影响卖方的参与决策，进而改变买方信念的基础。这一反馈循环在 Arrow-Debreu 框架下完全没有对应物，因为该框架的价格机制不存在这种反馈，价格只是状态的函数而非信念的函数。

保险市场：逆向选择与"死亡螺旋"

保险市场是另一个无法被 Arrow-Debreu 框架容纳的典型场景。考虑一个由不同健康风险个体组成的群体：低风险者的出险概率为 $p_L$，高风险者为 $p_H > p_L$。保险公司无法在事前区分两类投保人，只能提供统一保费 $P$。

保险公司的盈亏平衡条件为

$$P = (1+\lambda) \bar{p} L$$

其中 $\bar{p}$ 是被保险人群体的平均出险概率，$L$ 是期望赔付额，$\lambda$ 是保险公司的加成。如果保险公司设定保费 $P$ 反映平均风险 $\bar{p}$，那么低风险者会发现保费高于自己的精算价值 $p_L L$，于是选择退出。随着低风险者退出，被保险群体的平均风险上升至 $\bar{p}' > \bar{p}$，保险公司随之提高保费，进一步促使更多低风险者退出。这一正反馈机制被称为"死亡螺旋"（death spiral），在极端情况下可能导致保险市场完全消失。

这一现象在 1960 年代已经在美国的人寿保险与健康保险领域被观察到，但当时的解释停留在"道德风险"或"非精算定价"等零散概念上。信息经济学的洞见在于把它统一解释为信息结构问题：保险公司与投保人之间关于风险类型的私人信息，导致均衡必然偏离理想的风险分担。

需要指出的是，"死亡螺旋"与道德风险是两个不同的机制。前者源自事前信息不对称（保险公司不知道投保人的风险类型），后者源自事后信息不对称（保险公司不知道投保人在投保后的行为）。两者经常在同一市场共存，但在理论上需要分别处理。Arrow-Debreu 框架无法容纳这两类机制中的任何一类，因为它假设所有相关信息都是公共可观测的。

农村信贷：发展经济学中的"金融空缺"

第三个反例来自发展经济学。1960 年代以来的田野研究反复记录到一个现象：在发展中国家的农村地区，即便存在大量的潜在投资项目（如小型农业、个体经营），正式金融机构的信贷供给依然极度短缺。这一现象被各种术语描述，金融压抑、农村金融空缺、信贷配给，但它的共同核心机制是个体风险类型的私人信息。

设想一个村庄中有 $N$ 个潜在借款人，每个人都有一个投资项目，需要固定投资额 $K$，成功概率为 $p_i$，成功后收益为 $R$，失败后收益为 0。银行的存款利率为 $r_d$，贷款利率为 $r_l$，存款来源充足。银行面对的关键约束是无法区分不同借款人的 $p_i$。

在 Arrow-Debreu 框架下，$p_i$ 是可观测可验证的属性，不同 $p_i$ 对应不同的信贷合同，市场会自动完成风险匹配。但在真实场景中，$p_i$ 是借款人的私人信息，银行只能观察到贷款的最终结果（成功或失败），不能据此精确推断借款人的类型。

设成功项目的成功收益满足 $p_i R > (1+r_l) K$（借款人有正期望利润），失败项目则不满足。给定贷款的统一利率 $r_l$，银行会吸引所有满足 $p_i > (1+r_l) K / R$ 的借款人。如果银行无法区分类型，它只能对所有借款人收取相同的利率，这会导致两类问题：其一是逆向选择，利率提高会首先驱逐低风险的边际借款人，剩下的借款人平均风险上升，银行的最优反应是进一步提高利率，最终在极端情况下只能选择不发放任何贷款；其二是激励效应，即使没有逆向选择，借款人在获得贷款后的行为（项目选择、努力程度）也是不可观测的，如果高利率迫使借款人选择高风险项目以维持期望收益，那么银行的最优利率会低于"完全覆盖风险"所需的水平，信贷配给随之出现。

斯蒂格利茨及合作者在 1980 年代系统化了这一框架，但现象本身以及它的政策相关性在 1970 年之前就已被充分记录。这意味着 1970 年阿克洛夫论文所做的事情，并不是发明一类新的市场失灵，而是把分散在不同文献中的现象统一纳入一个共同的理论语法：信息结构差异导致均衡偏离帕累托前沿。

反例的共同结构

把这三个反例放在一起观察，可以提炼出它们共同的逻辑结构。每个反例都涉及两类经济主体与一项交易：二手车交易中的买卖双方、保险市场中的保险公司与投保人、信贷市场中的银行与借款人。在每一类交易中，一方拥有对方不拥有的私人信息：卖方知道车辆质量，投保人知道自己的风险类型，借款人知道自己的项目风险。交易条件（价格、保费、利率）只能是基于对方类型分布的期望值，而非对方实际类型。这一期望值又会反过来影响拥有私人信息一方的参与决策，改变期望值赖以计算的基础分布。

Arrow-Debreu 框架完全没有这种反馈机制，因为该框架假设类型可被第三方验证，从而不需要把价格作为信念的函数来建模。三类反例共同指向一个理论结论：信息结构差异不是"摩擦"，而是市场均衡的内生决定因素。承认这一点，意味着要放弃 Arrow-Debreu 框架中最核心的"价格承担全部协调功能"的观点。

第三节 1967-1973 年的方法论准备

要把信息结构从外生假设变为内生变量，需要解决三个形式化层面的预备问题。第一，需要一个能描述私人信息的数学对象，即每个个体所拥有的、不为他人所知的私有参数。第二，需要一个能处理对他人私人信息形成信念的工具，即在博弈过程中如何更新对他人类型的推断。第三，需要一个能处理信息差异驱动的均衡行为的概念，即在给定信息结构下，个体的策略选择如何形式化。1967 年到 1973 年间，这三方面的技术准备逐渐到位。

类型空间与贝叶斯博弈：Harsanyi 的形式化

1967 年到 1968 年间，海萨尼（Harsanyi）发表了"贝叶斯玩家参与的不完全信息博弈"系列论文，奠定了不完全信息博弈论的形式化基础。海萨尼的贡献在于引入了类型（type）的概念。

形式地讲，一个 $n$ 人不完全信息博弈由以下要素构成：

• 参与者集合 $N = \{1, \ldots, n\}$；
• 类型空间 $T_i$ 对每个参与者 $i$，以及一个共同先验（common prior）$F \in \Delta(T_1 \times \cdots \times T_n)$；
• 行动空间 $A_i$ 对每个参与者 $i$；
• 支付函数 $u_i : A \times T \to \mathbb{R}$，依赖于所有参与者的行动与所有参与者的类型。

海萨尼的关键洞见在于通过引入虚拟的"自然"（Nature）作为博弈的第 0 号参与者解决了"对他人类型无知"的形式化困难。自然根据分布 $F$ 选择类型向量 $(t_1, \ldots, t_n)$，每个参与者 $i$ 观测到自己的 $t_i$ 但不观测他人的类型。在这一框架下，不完全信息被简化为每个参与者拥有对类型向量 $(t_1, \ldots, t_n)$ 的不同信息。

这一形式化的威力在于它把信息不对称问题转化为信息差异问题，所有参与者面对同一组基本不确定性（自然对类型的抽取），但每个人观测到不同的信号。基于自己的类型与公共先验 $F$，每个参与者可以运用贝叶斯法则形成对他人类型的后验信念。当所有参与者的信念构成一个相容系统时，博弈被称为是"贝叶斯一致的"。

海萨尼的类型空间使得"私人信息"成为一个可以形式化的数学对象，而非含混的直觉。这一概念工具在 1970 年代之后被广泛应用于机制设计、契约理论以及信息经济学的几乎所有分支。可以毫不夸张地说，没有 Harsanyi 的类型空间，整个信息经济学的形式化大厦无从建立。

不确定性下的竞争性均衡：Radner 的扩展

1968 年，拉德纳（Radner）在《经济学季刊》上发表了"不确定性下的竞争性均衡"，把 Arrow-Debreu 框架扩展到了信息不对称的情形。拉德纳的关键观察是：在 Arrow-Debreu 框架中，价格系统以状态依存商品的形式承担全部信息功能，但在信息不对称下，状态依存商品本身可能不可行，因为状态不可被法庭验证。

拉德纳区分了两种情形。第一种是自然状态型的不确定性（外生不确定性），此时状态本身是可观测的，Arrow-Debreu 框架的结论大致成立。第二种是私人信息型的不确定性（内生不确定性），此时状态是个体的私人属性，价格系统无法承担全部协调功能。

拉德纳的核心结论是负面的：在信息不对称的均衡中，竞争性均衡不再保证帕累托有效。他证明了所谓的拉德纳均衡（Radner equilibrium）只是帕累托有效配置集合的一个真子集，存在系统性的效率损失。这一结果为信息经济学的福利分析奠定了基础：信息差异不仅是分配问题，更是效率问题。

拉德纳的工作还引出了一个对后续研究有深远影响的区分：事前效率（ex ante efficiency）与事后效率（ex post efficiency）。事前效率指在自然抽取类型之前的最优，事后的"帕累托最优"指在类型抽取之后的最优。Arrow-Debreu 框架中这两者重合，信息不对称下两者分裂：一个机制可能事前有效率而事后无效率，或者反之。这一区分在 1970 年代之后的契约理论中成为标准工具。

信号与筛选：Spence 的工作

第三个准备性贡献来自斯彭斯（Spence）。他在哈佛大学完成的博士论文（1972 年）以及随后于 1973 年发表在《经济学季刊》上的"就业市场信号"奠定了信号理论的基础。斯彭斯考虑的是一个雇佣场景：雇主无法在事前观察求职者的真实能力，但求职者的教育水平是可观测的。如果教育成本对高能力者较低、对低能力者较高，那么教育就可以作为能力的信号。

形式地讲，设有两种能力类型：高能力 $H$ 与低能力 $L$，生产率分别为 $y_H > y_L$。教育水平 $e \ge 0$ 对两类求职者的成本分别为 $c_H(e) < c_L(e)$。雇主在观察到教育水平 $e$ 后，给出工资 $w(e)$。博弈的均衡是：存在一个临界教育水平 $e^*$，使得两类求职者选择不同的教育水平；高能力者选择 $e > e^*$，低能力者选择 $e < e^*$；雇主根据 $w(e^*)$ 给高能力者支付 $y_H$，根据 $w(0)$ 给低能力者支付 $y_L$。

斯彭斯模型的真正意义不在于这一特定结果，而在于它展示了内生信号可以分离不同类型。在 Arrow-Debreu 框架下，价格机制完成这一分离无需任何成本；但在真实市场中，分离需要耗费资源（教育、努力、搜寻），这些资源就是信息不对称的福利成本。这一观察后来被发展为信息经济学的核心议题：信息不对称的福利成本等于分离不同类型的资源消耗。

方法论准备的整体图景

把 Harsanyi、Radner 与 Spence 的贡献放在一起看，1970-1973 年间的信息经济学方法论准备呈现出清晰的逻辑结构。Harsanyi 提供了描述私人信息的形式化工具（类型空间与贝叶斯信念），Radner 提供了分析信息不对称下市场均衡的工具（拉德纳均衡），Spence 提供了分析信息不对称下个体策略行为的工具（信号博弈）。这三方面的工具在 1970 年之后被反复重组，形成了信息经济学从 1970 年代到 1980 年代的标准技术栈。

值得指出的是，阿克洛夫 1970 年的"柠檬市场"论文在发表时，并未完整使用这些工具。Harsanyi 的类型空间在阿克洛夫论文中只是隐含使用（柠檬与好车的二分类型），贝叶斯信念的更新也只是以口语化的方式描述。但阿克洛夫的洞见，信息结构差异导致均衡偏离理想结果，立即激发了后续研究者用更精细的工具重述这一洞见。这种"先有直觉，后有形式化"的顺序，在信息经济学的诞生过程中反复出现。阿克洛夫直觉的提供，加上 Harsanyi、Radner、Spenc