看不见的变量
第1章 看不见的变量
1954年，阿罗与德布鲁各自独立地证明了一般均衡的存在定理。这座建筑被视为新古典综合派的巅峰之作。在它的蓝图里，每个消费者了解自己的偏好函数，每个生产者了解自己的生产技术，所有人在一个共同的、完全可观测的价格向量面前做出决策。信息在这座城堡里不存在，它只是墙基里的一块砖，被默认为永远在场。
问题来了：这块砖真的是"被遗忘"的，还是被"故意藏起来"的？回答这个问题，是理解后面所有章节的前提。
一、Arrow-Debreu城堡里的沉默前提
要理解信息的缺席，得先看清它缺席的方式。Arrow-Debreu模型的核心可以概括为几个看似无害的假设：完备的市场（每个"状态-日期"组合都对应一种商品）、完全竞争（价格是参数）、完全信息（每个人知道所有相关经济变量）。这三者共同支撑起一个结论：均衡存在，且在某种意义上帕累托有效。
这里的关键不是"信息"被否定，而是它根本无需出场。模型里没有"谁知道什么"的变量，没有信号传递的机制，没有因为信息不对称导致的均衡多重性。价格承担了所有的协调功能，它既反映稀缺，也反映偏好，还反映对未来的预期。
这种简化并非偶然。回到上世纪40年代末，希克斯在《价值与资本》中构建一般均衡的动态版本时，他关心的核心命题是"稳定性的恢复"，即价格偏离均衡后能否回到原点。萨缪尔森1947年的《经济分析基础》则把经济学重新表述为最大化问题的统一框架，约束条件中的信息完全是共同知识。库普曼斯1951年的《活动分析》延续了这一传统，把资源配置还原为线性规划，偏好、技术、资源这些"已知量"构成了模型的全部外生变量。
这套语言之所以强大，是因为它把经济学从"描述具体市场"提升为"研究一般规律"。但任何抽象都有代价。代价在这里表现为：模型越完美，它描述的对象就越稀薄。当我们用Arrow-Debreu的框架去分析二手车市场、医疗保险、信贷配给时，会发现模型里那块"信息"的砖头根本不存在。这不是数学上的缺陷，而是范式承诺上的取舍。新古典综合派选择用均衡的存在性证明经济学的科学性，选择用价格机制承担一切协调职能。信息在这种选择里注定要让位。
1969年，德布鲁在苏塞克斯大学的一次讲座中说过一段话，大意是：在一般均衡框架里引入信息成本，会让模型的数学结构变得极其笨拙，而得到的洞见又非常有限。这句话后来被引用过很多次，但它真正的意思被忽视了。德布鲁不是在为"忽略信息"辩护，而是在描述一种学科的代价结构：当时可用的数学工具根本无法优雅地处理信息不对称，而经济学家面临的选择是要么放弃，要么另起炉灶。他们选择了前者，至少在1969年之前是这样。
把信息视为给定，究竟付出了多大的认知代价？我们可以用一个具体的诊断框架来测量。在任何一个主流经济学模型中，询问以下三个问题：
1. 模型里是否存在"私人信息"或"信息结构"的显式变量？ 2. 信息获取是否需要耗费资源（即信息是否有价格或成本）？ 3. 信息不对称是否会导致均衡的扭曲、消失或多重性？
如果三个答案都是"否"，那么这个模型就是把信息当作隐含前提来处理的。它可以是对的（在某些理想化的场景下），也可以是有用的（作为比较的基准），但它不是真正处理了信息问题的模型。
这套诊断框架会伴随我们走完整本书。每一个即将登场的人物——阿克洛夫、斯彭斯、斯蒂格利茨、罗斯柴尔德——他们的工作之所以重要，恰恰是因为他们让上面三个问题中的一个或多个从"否"变成了"是"。
```mermaid flowchart LR A[消费者偏好] --> C[商品空间<br/>完备市场] B[生产技术] --> C D[初始禀赋] --> C C --> E{一般均衡<br/>存在性定理} E --> F[价格向量<br/>完全信息参数] F --> G[资源配置<br/>帕累托有效] H[私人信息结构] -.缺失.-> E I[信息获取成本] -.缺失.-> F J[信息不对称下的<br/>均衡扭曲] -.缺失.-> G ```
这张图的实线部分，就是Arrow-Debreu的完整论证链。虚线则是被悬置起来的所有可能性。整本书要做的事情，就是把这些虚线一条一条地补回经济学的主流叙事里。
二、角落里未被命名的难题
信息问题并非一直沉睡。它在保险市场、劳动雇佣、信贷配给这些角落，其实早就以"风险"的形式出现过。只是当时的学者没有把它识别为"信息问题"，而是把它纳入了既有的概率论框架。
最经典的例子发生在人寿保险市场。1936年，犹太裔统计学家雅罗夫在《美国统计学会杂志》上发表了一篇看似技术性的文章，讨论人寿保险公司为什么不能无歧视地承保所有人。他发现，如果保险公司对所有人收取同样的保费，那么健康的人会退出，只有高风险的人留下，保险池的赔付成本上升，保费被迫上调，更多健康人退出，循环往复，最终市场瓦解。
这个观察的数学结构就是后来的"逆向选择"。但雅罗夫自己并没有用这个词，他用的是"风险池的退化"（deterioration of the risk pool）。他在文章末尾谨慎地提出，这或许意味着保险公司应该要求投保人提供体检证明，或者根据年龄分组定价。但他没有把这个问题上升为对一般均衡理论的挑战，也没有追问"为什么信息获取是有成本的"。
阿罗在1970年代之前也对医疗信息有过零星讨论。他在1963年的《不确定性与医疗福利经济学》中指出，医生作为患者的代理人，天然掌握更多信息，这种信息不对称可能扭曲医疗资源的配置。但同样，阿罗没有把这个问题系统化，他依然在用"不确定性"这个概率论词汇来描述它。
劳动力市场里也有类似的盲区。斯宾塞后来回忆，他在研究生阶段读过的一篇1950年代文献讨论过工会会员的筛选问题，但当时的处理方式是把它当成"劳动力质量的统计分布"问题，仍然是在已知分布的框架里讨论，没有进入"分布本身由信息决定"的层面。
更值得注意的是信贷市场。1950年代后期，美国的中小企业信贷已经出现了严重的配给现象。银行不是通过利率出清市场，而是通过各种非价格手段筛选借款人。1966年，霍顿和米勒在《金融与数量分析杂志》上发表的论文里描述了这种现象，但他们把它归类为"风险管理的实践"，没有抽象为"信息不对称下的均衡特征"。
这些零散的观察为什么没有破局？因为它们缺乏一个统一的概念框架。经济学家手里没有"逆向选择""信号""筛选""道德风险"这些工具，他们只能用"风险""不确定性""偏好分布"这些词汇来处理，而这些词汇恰恰掩盖了信息的私人性。
换句话说，问题早就存在，只是命名系统不存在。
三、1961年的芝加哥午餐会
1961年秋天，乔治·斯蒂格勒在芝加哥大学的一间教员俱乐部里，与几位同事进行了一场非正式的讨论。讨论的议题是：消费者在搜寻商品最低价格时，究竟会投入多少时间和精力？斯蒂格勒把这个问题形式化为一个边际条件：搜寻的边际成本等于边际收益。这在今天看来是理所当然的，但在1961年，它是石破天惊的。
同一年，斯蒂格勒在《政治经济学杂志》上发表了《信息经济学》一文。这篇文章的核心论点是：信息是一种商品，获取它需要耗费资源，因此信息本身是有价格的，搜寻行为应该被纳入经济学分析。这篇文章的篇幅不长，但它的引用率在当时异常高，因为它触碰了一个被默认的边界。
斯蒂格勒的处理方式有一个微妙之处。他把信息当作商品来分析，假定信息可以像橘子一样被买卖、被储存、被复制。但他没有处理信息的根本特征——它一旦被获取，其社会价值不会因为多一个人知道而减少（这在后来被称为"信息的非竞争性"），而获取信息的人在传播时也无法被有效约束（"信息的非排他性"）。这两个特征决定了信息市场无法像普通商品市场那样运作。
更重要的是，斯蒂格勒的框架里仍然没有"私人信息"这个变量。他讨论的是"所有人的共同信息不充分"，是大家一起去搜寻一个客观存在的最低价格。这意味着，在斯蒂格勒的1961年论文里，信息不对称还没有出现。他只是让"信息获取"进入了经济学，而不是让"信息分布"进入经济学。
这两者的区别至关重要。前者是一个技术性的扩展，后者是一个范式的革命。斯蒂格勒打开了门，但他自己还站在门外。
1968年春天，斯蒂格勒在芝加哥的一次午餐会上，正式提出"信息经济学"这个学科名称。这次午餐会的参加者包括贝克尔、弗里德曼、舒尔茨等。据说，舒尔茨听完之后问了一个尖锐的问题：如果信息真的像你说的那样重要，为什么我们之前的理论都运行得这么好？斯蒂格勒的回答是：因为之前的理论在处理信息稀缺的场景时，根本不适用。
这次午餐会后来被信息经济学的史学家反复提及。它标志着信息作为一个研究领域被正式承认，但承认的形式仍然是温和的：斯蒂格勒没有颠覆Arrow-Debreu的范式，他只是在范式的外围加了一圈围墙。
真正的破局还需要两个条件：一个反例和一套工具。
四、即将到来的工具箱
1960年代末到1970年代初，经济学家开始系统化不完备信息下的决策问题。海萨尼在1967-1968年间发表的三篇论文，把"不完备信息"形式化为"对类型的概率分布"，这是后来的贝叶斯博弈论的起点。塞尔腾1965年的论文则引入了"颤抖手均衡"，为不完全信息下的博弈解概念提供了候选方案。赫维茨则在1972年提出了"机制设计"的基本框架，回答的问题是：在信息不对称的环境下，什么样的制度安排能够让诚实的报告成为参与者的最优策略？
但这些工具在1968年尚未成熟。海萨尼的类型空间在当时还只是一个数学构造，经济学家没有意识到它可以用来描述真实的市场失灵。机制设计在1970年代初还停留在理论层面，距离解决具体的现实问题还很远。
真正点燃火种的是一组即将出现的新概念。它们不是凭空发明的，而是从前面那些零散的观察里被提炼出来的。
逆向选择（adverse selection）：在交易之前，信息多的一方利用信息优势获取利益，导致市场参与者的分布偏离最优。这是雅罗夫的人寿保险观察的正式版本。
信号（signaling）：信息多的一方主动采取某种可观测的行动，以低成本地传递自己的真实类型。这是斯彭斯1973年论文的核心，他在分析劳动力市场时发现，教育可以作为高能力者的信号。
筛选（screening）：信息少的一方设计某种机制或合同，让不同类型的对方自我选择。这是斯蒂格利茨1976年在保险市场研究中提出的概念。
道德风险（moral hazard）：在交易之后，信息多的一方改变行为，使对方受损。这是阿罗1970年代初在医疗和保险研究中逐渐成型的概念。
委托代理（principal-agent）：委托人设计一个合同来激励代理人采取符合委托人利益的行为，但代理人的行动不可完全观测。这是罗斯、霍姆斯特罗姆、格罗斯曼等人在1970年代中后期系统化的框架。
这五个概念构成了信息经济学的工具箱。它们之间的关系不是并列的，而是有内在结构的：逆向选择和道德风险关注信息不对称的两个阶段（事前与事后），信号和筛选关注信息传递的两个方向（主动与被动），委托代理则是处理信息不对称下激励问题的统一框架。
工具准备好了，但真正把它们用于分析现实市场的第一篇论文，还需要一段曲折的命运。
五、被拒四次的那篇论文
1970年，加州大学伯克利分校的一位年轻经济学家乔治·阿克洛夫完成了一篇论文，标题是《柠檬市场：质量不确定性与市场机制》。他投给了《美国经济评论》，被拒。改投《政治经济学杂志》，被拒。再投《经济理论杂志》，依然被拒。最后投给《经济学季刊》，编辑犹豫了一段时间，最终在1970年发表了它。
这篇论文的命运后来成了经济学界的经典故事。审稿人拒绝它的原因五花八门：有审稿人说它"缺乏数学严谨性"，有审稿人说它"应用面太窄"，有一位审稿人在审稿意见里写道：二手车市场是一个无关紧要的案例，不值得用一整篇论文的篇幅讨论。
阿克洛夫后来回忆，他在收到前三次拒稿信时，以为是自己的模型有问题。他在伯克利的一位同事威尔逊（Robert Wilson）后来成为博弈论和信息经济学的核心人物之一，威尔逊建议他改一改形式，强调"信息不对称"这个核心机制。阿克洛夫照做了，但仍然被拒。
直到多年以后，经济学家才普遍意识到，这篇论文之所以被拒，不是因为它不够好，而是因为它太超前。1970年的主流经济学还没有准备好接受一个核心结论：信息不对称可以使整个市场消失。这不是一个温和的扩展，而是对一个范式的直接挑战。
阿克洛夫的论文做了什么呢？他用一个简单的模型证明了：当卖方知道二手车的真实质量而买方不知道时，买方只愿意按平均质量出价，卖方中质量高于平均的车主会退出，市场上剩下的车越来越差，买方进一步压价，最终所有交易都可能停止。
这个结论违背了Arrow-Debreu范式的基本信条：均衡总是存在的，市场总是出清的。在阿克洛夫的模型里，均衡可能不存在，市场可能完全失灵。信息不对称不仅是"市场的一个特征"，它可以是"市场的毁灭者"。
论文发表后，第一年只被引用了三次。第二年引用量翻倍。到1970年代末，它成了信息经济学最重要的引用来源之一。1996年，希勒在为《经济学季刊》百年纪念撰写的回顾里，把这篇论文列为该刊历史上最有影响力的文章之一。2001年，阿克洛夫、斯彭斯、斯蒂格利茨因为"对不对称信息市场分析"的贡献共享诺贝尔经济学奖。
这是一个关于学科惯性的故事。一个范式一旦建立，它的边界就不仅是认知的边界，也是审稿的边界、期刊的边界、引用的边界。阿克洛夫的论文用了将近十年时间，才从"边缘观察"变成"范式起点"。
本章小结
这一章要建立的核心判断是：信息在主流经济学中长期缺席，不是因为经济学家忽视了它，而是因为当时的范式承诺无法容纳它。Arrow-Debreu的均衡存在定理用价格承担了所有的协调功能，在这种安排里，信息只能是共同知识。雅罗夫、斯蒂格勒、阿罗等人在各自领域里的零散观察已经触及了信息不对称的核心，但它们没有找到统一的概念框架，也没有足够的工具来挑战范式。
1961年的斯蒂格勒打开了门，但还在门外。1970年的阿克洛夫最终把门踹开了，但踹门的代价是被主流期刊拒稿四次。这一踹的余波，会在后面的章节里持续扩散。
下一章我们会回到阿克洛夫的论文本身，拆解他的模型，看看"柠檬市场"这个看似简单的比喻，究竟包含着多少未被穷尽的理论可能性。它不仅仅是一个关于二手车的故事，而是一个关于任何质量参差、信息不透明的市场的故事。
延伸论证：信息缺席的三重根源
到目前为止，我们用五个小节铺陈了信息经济学诞生的前史。但有一个根本问题还没有得到充分的正面回答：为什么信息缺席能持续这么久？仅仅是因为数学工具不够吗？还是因为更深层的学科结构原因？
我们这一节的判断是：信息长期缺席，并非单一原因所致，而是三个层面的范式承诺共同作用的结果。这三个层面分别是：方法论的简化主义、范式的均衡取向、和学科边界的画地为牢。每一个层面都有具体的人物、具体的著作、具体的事件作为证据。
先看方法论的简化主义。希克斯、萨缪尔森、库普曼斯这三个人，几乎涵盖了上世纪40年代末到50年代初经济学方法论的所有主流。他们的共同特点是：把经济学重新表述为约束条件下的最大化问题。
希克斯在1939年的《价值与资本》中已经把一般均衡理论动态化，他关心的核心命题是稳定性——价格偏离均衡后能否回到原点。但希克斯的稳定性分析有一个隐含前提：所有市场参与者在每一期都知道当前的价格向量，且对未来的预期是基于共同的"前瞻预期"机制。这种处理方式把信息问题完全外包给了预期理论，而预期理论在那个时代还停留在静态或准静态的层面，没有触及私人信息的分布问题。
萨缪尔森1947年的《经济分析基础》走得更远。他把"显示性偏好"理论作为统一框架的核心命题：消费者的选择行为可以反向推断其偏好函数，前提是观察者知道所有的预算集。这种"可识别性"假设，本质上就是共同知识假设的另一种表述。如果不同观察者掌握的信息不同，那么显示性偏好的推断就不再是唯一的。萨缪尔森没有处理这个问题，他把信息视为完全可观测的。
库普曼斯1951年的《活动分析》则把资源配置问题还原为线性规划。所有约束条件——资源禀赋、技术可行性、最终需求——都被视为模型的外生参数。库普曼斯在书的第一章明确说明，他关心的是资源配置的"效率条件"，不涉及参与者是否知道这些条件。这种抽象让模型变得极其强大，但也让信息问题完全消失在约束条件里。
这三位方法论巨头的共同选择是：把信息视为约束条件的外生给定，而不是约束条件本身的来源。这是简化主义的核心：用更少的变量解释更多的现象。Arrow-Debreu范式把这种方法论推向极致：所有约束条件都是共同知识，价格是参数，均衡是结果。信息在这种框架里没有任何"位置"——它不是变量，不是约束，甚至不是隐含假设。它是模型地基里的一块砖，被默认为永远在场。
再看范式的均衡取向。Arrow-Debreu的证明给出了均衡存在性的充分条件：连续性、凸性、局部非饱和性。这些条件都和经济行为人的偏好、技术、资源禀赋有关，但和信息无关。模型里不存在"信息不对称"这种状态——如果存在，它要么会破坏均衡的唯一性（多重均衡），要么会破坏均衡的存在性本身。
这种范式取向的后果是深远的。在Arrow-Debreu之后的几十年里，经济学家把"市场失灵"主要理解为外部性、公共物品、规模报酬递增这些偏离完全竞争条件的情形。信息不对称没有被纳入"市场失灵"的清单，因为它在范式承诺的层面就根本不存在。
阿罗在1950年代写过几篇关于"风险分担"的论文，讨论的是在给定信息分布下的最优保险合同。但这些论文的处理方式是：信息分布是外生给定的，求解最优合同。这种"给定信息结构下的最优设计"思路，是后来机制设计理论的雏形，但它离"信息不对称导致市场不存在"的结论还非常远。
范式的均衡取向带来的另一个后果是：经济学家更关心"均衡是什么"，而不是"均衡如何达到"。在Arrow-Debreu范式里，均衡达到的过程被抽象掉了。Walras的"拍卖人"假说虽然给出了动态调整的意象，但这种假说本身依赖于信息完全可观测的假设。拍卖人知道所有的需求和供给，因为他观察到了所有的报价。信息的私人性在Walrasian调整过程中根本没有"角色"。
最后看学科边界的画地为牢。经济学家为什么没有把信息问题识别为独立的研究对象？一个重要原因是学科边界的画地为牢。在1950年代的学科分类里，"风险"和"不确定性"是统计学和概率论的领地，经济学家借用这些工具就够了。
奈特1921年的《风险、不确定性与利润》是这一传统的奠基之作。奈特区分了"风险"（可度量的概率分布）和"不确定性"（不可度量的未知）。但奈特的处理方式有一个微妙之处：他把"不确定性"主要归因于"判断的差异"，而不是"信息的差异"。不同的人对不完全相同的未知事物有不同的判断，但奈特没有追问：为什么不同的人会有不同的判断？是因为偏好不同，还是因为掌握的信息不同？
在奈特的框架里，"风险"和"不确定性"都被视为经济行为的外生约束，而不涉及经济行为人之间的信息分布。这种处理方式让经济学可以借用概率论的工具，而不必深入信息本身。
更值得注意的是，统计学传统里有一个根深蒂固的假设：概率分布是给定的，统计推断