逻辑学

逻辑学 (Logic)

逻辑学是研究有效推理之规则与形式的学科。它不关心思维的具体内容，而是追问：给定一组前提，什么形式的推理能够必然导出真结论？这一追问贯穿哲学、数学、计算机科学以及经济学。在经济学中，逻辑是理论推演和实证论证的底层语法——没有逻辑一致性，经济模型便沦为任意的叙事。

演绎推理与归纳推理

演绎推理（deduction）从普遍命题走向特殊结论。若前提为真且推理形式有效，结论必然为真。经典的三段论——"所有人都会死；苏格拉底是人；所以苏格拉底会死"——即演绎推理的范式。经济学中的演绎典范是一般均衡理论：从理性选择、市场出清等公理出发，通过数学推导得出均衡存在性与帕累托效率的定理。这种推理保证了内部一致性，但结论的可信度完全取决于前提假设是否贴近现实。

归纳推理（induction）从特殊观察走向普遍概括。看到过去每一次降息后股市都上涨，便推断下一次降息也将推高股市——这是归纳。计量经济学的核心运作方式正是归纳：用样本数据估计总体参数，通过统计推断得出变量间关系的结论。归纳的结论不具备演绎的必然性（休谟归纳问题），但它是经验科学赖以建立的基础。实证经济学的全部知识本质上都是归纳性的。

溯因推理（abduction）由皮尔士提出，是从令人惊讶的观察回溯到其最佳解释的推理模式。当金融危机在2008年爆发，经济学家追溯至道德风险、资产证券化和影子银行的链条，运用的正是溯因逻辑——在所有可能的解释中寻求最具解释力和最简捷的那一个。

逻辑谬误与经济论证

经济讨论和公共政策辩论中常见逻辑谬误，识别它们是批判性思维的基本功。

合成谬误（fallacy of composition）。误认为对个体为真的事情对整体也必然为真。若一个农民丰收后收入增加，便推断所有农民同时丰收也能使全体收入增加，这就犯了合成谬误——因为总供给增加将压低价格（蛛网模型），个体加总后结论反转。节俭悖论是另一经典案例：个人增加储蓄是审慎的，但全体居民同时紧缩消费将导致总需求坍塌、收入下降，最终储蓄反而减少。凯恩斯经济学正是建立在对合成谬误的深刻认识之上。

分解谬误（fallacy of division）。合成谬误的反面：将整体的属性错误归于其组成部分。看到一国GDP高速增长便推断所有国民收入都在提升，忽视了分配维度的分化。

后此谬误（post hoc ergo propter hoc）。将时序先后误认为因果关系。最低工资法实施后失业率上升，不能直接推断前者导致了后者——这需要因果推断方法（如双重差分、工具变量）来识别。菲利普斯曲线在1970年代的崩溃提醒经济学家，相关性不是因果。

零和谬误。将一切经济交换视为一方受益、一方受损。比较优势理论和自愿交换的基本逻辑表明，贸易使双方受益——否则交换不会发生。但直觉上的零和思维在贸易政策辩论中反复出现。

命题逻辑、谓词逻辑与经济学形式化

现代逻辑学自弗雷格以来经历了从命题逻辑到谓词逻辑的深化，这一进程深刻塑造了数理经济学的表达方式。

命题逻辑处理命题及其真值函项联结——与、或、非、如果……则。经济学中的"若偏好满足完备性和传递性，则存在效用函数表示"这类条件性陈述，在逻辑结构上属于命题逻辑的蕴含式。

谓词逻辑进一步引入量词（全称量词$\forall$和存在量词$\exists$）和谓词，使形式化表达更加精细。瓦尔拉斯法则可写作$\forall p \in \mathbb{R}^n_{++}, p \cdot z(p) = 0$——对任意价格向量，超额需求值的总和为零。福利经济学第一定理的证明严格依赖于这层形式化：任何竞争均衡都是帕累托最优的——这一命题的推导必须在谓词逻辑加分析的框架内完成。

数理逻辑的分支——模型论在博弈论中有精巧应用：奥曼的"agreeing to disagree"定理证明，具有共同先验的贝叶斯理性人在共享信息后不可能对同一事件的后验概率存在分歧——这本质上是一个关于知识结构的逻辑定理，而非经验命题。

逻辑与经济学方法论

经济学方法论的核心争论——实证经济学与规范经济学的区分——可追溯到休谟关于"是"与"应当"的逻辑鸿沟。从描述性陈述（"最低工资减少了低技能就业"）不能逻辑有效地推出规范性结论（"因此应该废除最低工资"），中间必须插入价值判断前提。这一逻辑洞见划定了经济科学的边界。

弗里德曼的实证主义方法论认为，假设的现实性无关紧要，重要的是预测的准确性——这是一种以归纳后果评判理论的实用逻辑。与此对立，奥地利学派坚持演绎的纯粹性，从人的行动公理出发推导经济规律，拒斥任何经验检验对理论的裁定权。两派的争论本质上是关于经济学应采纳何种推理逻辑的元问题。

在应用层面，机制设计和拍卖理论将逻辑推理工程化：给定合意的社会目标，反向推导能实现该目标的博弈规则。这是逻辑学从描述思维走向设计工具的最高体现——从"如何正确思考"到"如何构建激励相容的制度"。