[论文解读] To Infinity and Beyond: A General Framework for Scaling Economic Theories

Yannai A. Gonczarowski, Scott Duke Kominers+1 more|arXiv (Cornell University)|Jun 25, 2019

Economic theories and models被引用 4

一句话总结

本文提出了一种基于模型论紧致性的通用逻辑框架，可在不改变原有证明的前提下，将有限设定下的经济定理扩展至无限设定。该方法仅需验证定理陈述的逻辑形式，即可从有限模型定理推导出无限时域或无限参与者的结论，从而在显示偏好理论与匹配理论等应用中实现简洁、可重用的证明。

ABSTRACT

Many economic theory models incorporate finiteness assumptions that, while introduced for simplicity, play a real role in the analysis. We provide a principled framework for scaling results from such models by removing these finiteness assumptions. Our sufficient conditions are on the theorem statement only, and not on its proof. This results in short proofs, and even allows to use the same argument to scale similar theorems that were proven using distinctly different tools. We demonstrate the versatility of our approach via examples from both revealed-preference theory and matching theory.

研究动机与目标

• 解决经济模型中因有限性假设而引入的概念与分析局限，这些局限可能掩盖理论的内在性质。
• 开发一种通用的、与证明无关的方法，使有限模型结果可扩展至无限设定，而无需修改原有证明。
• 通过在显示偏好理论与匹配理论的基础结果上应用该方法，展示其方法的通用性。
• 确立定理的可扩展性仅取决于其逻辑结构，而非原始证明的复杂性。
• 提供一种统一的方法，避免临时构造，并实现现有论证在不同经济语境中的复用。

提出的方法

• 利用一阶逻辑中的紧致定理，从有限子模型推断无限设定下模型的存在性。
• 构建一个一阶逻辑理论，通过命题变量与谓词变量编码给定经济模型的条件（例如偏好、容量、匹配）。
• 定义一组逻辑公式，以捕捉特定模型实例的所有相关约束，如稳定性、可行性与阻断条件。
• 应用有限子集性质：若该理论的每个有限子集均有模型，则整个理论均有模型，从而确保无限解的存在性。
• 利用逻辑紧致性，推导出有限定理的无限时域或无限参与者类比，例如具有无限医院的稳定匹配，或基于无限数据集的需求函数。
• 证明相同的逻辑框架可通过在相同逻辑结构中编码领域特定约束，而在不同领域（如显示偏好、匹配）中重复使用。

实验结果

研究问题

• RQ1 能否在不重新处理证明的前提下，系统性地将有限经济定理扩展至无限设定？
• RQ2 定理陈述的何种逻辑条件可确保其从有限模型向无限模型的可扩展性？
• RQ3 在完成扩展后，同一证明策略在不同经济理论之间可复用的程度如何？
• RQ4 如何通过逻辑一致性，从有限模型构建无限模型（如无限时域匹配、无限需求函数）？
• RQ5 与临时构造的无限扩展相比，使用模型论紧致性在概念与技术上具有哪些优势？

主要发现

• 该框架仅通过稳定性条件的逻辑形式，即可从有限稳定匹配推导出无限时域稳定匹配。
• 通过紧致性证明了无限设定下存在男性最优稳定匹配，而无需引入新的证明技术。
• 假设有限数据的显示偏好定理，可通过验证定理的逻辑结构，扩展至无限需求函数。
• 该方法通过抽象掉与证明相关的具体细节，在匹配理论与显示偏好等不同领域中产生简短、统一的证明。
• 该框架识别出可扩展性仅取决于定理的逻辑形式，而非其原始证明的复杂性。
• 该方法成功将匹配理论中的结果从有限设定推广至无限设定，包括双重无限时域与无限容量约束的情形。