文丨张是之
是之按：最近因为对于价格如何形成这样的具体观点，芝加哥学派和奥地利学派继续延续了多年以来的“战火”。虽然我认为在一定程度上，这样的“战火”是有利于各方观点的阐述的，但隔空对战的“战火”很容易掺进一些情绪化的表达，使得那些有价值的信息湮灭在口水之中，不免让人可惜。我自己的看法是，芝加哥学派和奥地利学派虽然在方法论上有着巨大的差异，但很多具体问题上有共识，特别是对自由市场的支持上。差异的部分是有分歧，但观点上的分歧不足以彻底割裂开来。说的俗气一点，有价值的论战应该是求同存异吧。具体到这次论战的谢老师这边，我是最近在整理书稿，偶然读到了谢老师发表在 2007 年的这篇方法论的文章。我惊讶地发现，谢老师的观点，其实非常接近奥派。甚至于，我认为他对奥派经济学方法论的接近，连他自己可能都没有意识到。当然我不会乱说，在读到谢老师文章之前，弗里德曼、科斯、张五常，当然也包括米塞斯关于经济学方法论的论述我都看了几遍，做了笔记。在我写本文之前，我把结论中的三条，在不曲解愿意的情况下，进行了精简。让一位平时是谢老师的支持者，也是芝加哥学派的忠实支持者的经济学学者来判断，这三条是芝加哥学派还是奥地利学派的观点，是否同意这三条陈述。他的回答是，这三条都是奥地利学派的观点，而且并不同意这三条。我个人的看法是，2009 年张维迎老师的学术转向也才刚刚转向奥地利学派。谢老师在成文和发表的 2007 年，没有引用一篇奥地利学派的文献观点，谢老师凭借自己的推理，所形成的经济学方法论认识，已经超越了芝加哥学派，超越了他所解读的弗里德曼，而更接近奥地利学派的方法论观点。空口无凭，你将在我下面分享的谢老师原文和我的注释中找到答案。我仍然需要强调，有价值的讨论，需要尽量摒除情绪和成见，坦诚地把观点陈述出来。本文的注释解读尚未经谢老师亲证，如有误解之处，还请谢老师海涵。我的注释用【】和蓝色标注，我认为谢老师原文重点的地方，用加粗做了强调。长文预警，两万多字，也可以直接看我标注的重点和注释。
谢作诗：弗里德曼的《实证经济学方法论》：缘起、内容及再解读
谢作诗 李平
内容提要：本文再解读《实证经济学方法论》，探讨和回答了如下问题：（1）理论的本质是什么？（2）理论的假设需要具有现实性吗？什么样的理论其假设需要具有现实性，什么样的理论其假设反而不能都具有现实性？（3）利润最大化假设真的不具有现实性吗？到底应该怎样来检验一个理论的假设的现实性？（4）理论可能被证实吗？可能被证伪吗？又该怎样来对一种理论实施检验？说起弗里德曼的学术贡献，人们容易想到他在货币理论和消费函数方面的研究，这二者共同成就他于1976年荣获诺贝尔经济学奖。然而，若要全面评价其学术贡献，我们还必须补充他于1953年发表的《实证经济学方法论》（以下简称《实证》）一文。这篇现已成为经济学方法论经典的论文，从发表以来就饱受争议。当时，不少经济学界泰斗，比如萨缪尔森（Samuelson, 1963, 1964）、库普曼斯（Koopmans, 1956, 1979）、西蒙（Simon, 1963）等，都曾直接撰文参与论战。时至今日，有关这篇文章的各种争论、解读和再解读仍在继续。2003年，为纪念该文发表50周年，西方学者还特地举行了一场专场研讨会。的确，《实证》一文极富洞见，就是国内较为有名的方法论论文《理解现代经济学》（钱颖一，2002）、《经济学、经济学家与经济学教育》（许成钢，2002），其中许多重要观点都没有超越其见解。但是弗里德曼的论证多少有些晦涩和难以理解，主要是把不同层次的问题放在了一起来加以说明，因而难免显得晦涩和让人难以理解。本文我们结合自己对于方法论问题的某些理解，用新的体系对《实证》的主要论点及其证明进行梳理，做一个再解读。
弄清《实证》一文的缘起和写作目的，对于理解该文不无裨益。《实证》一文的初稿，大概写成于1948年底，最初的直接目的是为了反对历史主义者对于边际分析方法的否定。众所周知，1920年代之前，美国经济学界的主流是以凡勃伦（Veblen）和康芒斯（Commons）为代表的制度学派理论。随着价格理论在30年代的兴起，40年代不少研究者纷纷质疑边际分析方法。例如，莱斯特（Lester, 1946）通过问卷调查发现，企业普遍使用平均成本加成定价，而不是等边际原则定产定价，似乎并没有追求利润最大化。于是他主张应该放弃假设企业追求利润最大化的新古典厂商理论，取而代之以更现实的假设作为研究的起点。对此，马克卢普（Machlup, 1946, 1947）和斯蒂格勒（Stigler, 1947）从莱斯特的问卷调查方法有问题入手做了回应。然而在弗里德曼看来，他们的回应和莱斯特的质疑都犯了同样的错误，即都试图用假设的现实性来检验理论本身是否正确。因此弗里德曼《实证》一文最初的主旨，应在于论证不能用假设的现实性来衡量理论本身正确与否。《实证》一文还源于弗里德曼1946年发表在《美国经济评论》上的评论文章《奥斯卡·兰格有关价格灵活性与就业的论述》。在这篇评论中，弗里德曼批评兰格（Lange）只关心经济模型之形式完美，忽视了应用经验数据检验这些模型，使经济学最终退化为数学的仆人。该文发表后不久，美国数学、统计学专家威尔逊（Wilson）给弗里德曼去了一封信，大概意思是反对其对兰格追求经济学科学化努力的“吹毛求疵”。他指出，形式化、科学化的经济学只是观察现实世界的有用窗口，不应强求经济理论的经验蕴涵。弗里德曼不同意威尔逊的看法，在随后的回信中他指出，作为社会科学的经济学和自然科学[①]不同，它不仅需要形式化，同时还要有充分的经验证据，否则没有任何意义，并且列举米切尔（Mitchell）有关经济周期的研究作了进一步的说明。另外，弗里德曼本人的工作经历和知识背景是《实证》一文的又一重要写作背景。他不仅具有极高的统计天赋，而且具有丰富的统计实践经验。从学校毕业后，弗里德曼在美国经济研究局、国家资源委员会、哥伦比亚大学统计小组以及威斯康星大学的工作，主要都集中在数理统计理论与实践领域。他曾担任库兹涅茨（Kuznets）的研究助手，战时和各个自然科学领域的科学家一道用统计方法预测飞机、炮弹等军用物质的用材，积累了丰富的统计工作经验，这些实际工作经历，可能使他意识到，由于经验事实的无限性，理论将永远无法被证实，因此能否不被经验事实反驳，就成为评判理论是否“好用”，能否暂时被接受的合适标准[②]。【脚注2：这个认识的形成还要依赖于对证实与证伪的特定理解。证实仅仅是理论的逻辑结论与经验事实相一致，证伪则仅仅是理论的逻辑结论与经验事实不相一致，这种证实与证伪观才是形成上述认识的主要原因。】值得一提的是，汉蒙德（Hammond, 1991）在《弗里德曼方法文章的背景》一文中，还考察了一个非常有价值的细节：弗里德曼的方法论文章从1948年的第一稿到1951年的第二稿之间有较大的补充，尤其是增加了一大节有关假设在假说、理论中的作用的说明。通过查阅弗里德曼和斯蒂格勒有关这篇文章的通信，汉蒙德指出，弗里德曼从原本消极地看待假设的作用，到行文后半部分对假设的积极意义作了“画蛇添足”式的补充，很大程度上是受斯蒂格勒评论的影响。在《实证》一文中，弗里德曼清楚地表达了他写作该文的目的：“论述在创立凯恩斯所倡导的‘性质截然不同的实证科学’时引起的一些方法问题，特别是探讨如何决定提出的假说或理论是否应当被暂时接受为是关于“是什么”的系统知识这样的问题。”核心一点，《实证》一文是要证明不能根据假设的现实性来检验理论正确与否。
在弗里德曼看来，理论首先是一个形式体系。理论“是一种被设计用于促进系统和有组织的推理方法的语言”，“就一种‘语言’来说，理论没有实质性内容，……形式逻辑准则可以说明特殊语言是完整的前后一致的语言。”毫无疑问，人类认识自然和社会的一般规律是先有归纳，然后才有演绎。先观察到三片秋叶、三头黄牛、……、三颗星星这些赋有经验含义的事物，然后才抽象出数“3”的概念。数“3”就是一个形式化的东西，“2+3=5”也是一个形式化的东西，全部数学就是一个形式体系。我们可以赋予它们经验含义，甚至之所以能够抽象出这样的形式化东西可能正是得益于经验上的观察和归纳，但是反过来，数“3”却不是因为有经验含义而成为数“3”，数学也不是因为有经验含义而成为数学。理论只要符合“内在一致性”[③]即可，是不需要一定地具有经验含义的。我们可以给形式化的理论体系赋予经验含义，但是它们不是因为有经验含义而成其为理论，而是因为它们本身是形式体系而成其为理论。适者生存，不适者淘汰。无可否认，在对待理论的态度上，人类同样不得不表现出极大的功利性。在理论构建过程中，虽然不排除出于对纯形式美的追求和好奇心而展开研究，例如，数学中许多重大理论都是出于数学家们对于纯数学美的追求和好奇心而发展起来的，但是一般来说人们总是努力赋予它们经验含义。不过反过来，我们的确不应该以是否具有经验含义来作为理论的评判标准，甚至都不能以是否具有经验含义来作为是否是有用的理论的评判标准，因为我们根本就不知道那些没有经验含义的纯形式化的理论什么时候就会发挥出巨大用场，又会以怎样的方式发挥出用场。【论文PDF 版没有：数论就是很好的例子。数论历来被认为是纯粹数学的代表。近代英国杰出的数学家之一哈代（Hardy）说，他搞数学纯粹是为了追求数学的美，而不是因为数学有什么实际用处。哈代还充满自信地说，他看不出数论会派上什么用场。然而，40多年之后，抽象的数论竟与安全和保密这样的事情发生了联系，素数的性质成了编制一种新密码的基础。近40年来，数论在密码学、结晶学、理想气体、计算机理论、随机数的产生等方面产生了广泛的应用。非欧几何在创立之后的几十年时间里都看不到它与物质世界的任何直接关联，大多数数学家也就把它看作是逻辑上的珍奇瑰宝。在非欧几何出现半个多世纪之后的1883年，著名的英国数学家凯莱（Cayley）还说道，非欧空间是一个先验性的思想，并不具有独立的存在性。谁又料到，爱因斯坦应用非欧几何的理论说明了他的关于引力的基本思想，建立了相对论。某种意义上讲，是非欧几何预见了相对论。复数以及在其基础之上形成的复变函数理论也是纯思辨的产物，但是今天，复变函数已经成为描述流体流动、汽车设计、轮船设计的重要工具。《美国数学的现在和未来》一书这样概括道：“人们现在更深刻地认识到一个事实：那些仅仅靠着整理自然界秩序的冲动而得以发展起来的深奥抽象的数学思想系统，最后几乎总无例外地在科学中得到了应用。”】如果我们承认数学是具有最严密的演绎体系的理论的话，那么我们就必须接受理论不是因为有经验含义而成其为理论，而是因为它们本身是形式体系而成其为理论这样的判断。不过，在弗里德曼看来，作为实证科学的经济学到底与一般性理论有所不同。实证科学是研究“是什么”的系统知识，其终极目标是发展能够对观察到的现象提供有效的解释，并对尚未观察到的现象提供既有效又有意义的预测的理论[④]。“这样的理论是两种要素的混合体：一方面，它是一种被设计用于促进系统的与有组织的推理方法的语言；另一方面，它是一个被设计用于抽象复杂现实本质特征的实质性假说体系。”在弗里德曼看来，作为一种实质性假说体系，理论又需要被检验，不仅要具有“内在一致性”，还要保持“外在一致性”。他在《奥斯卡·兰格有关价格灵活性与就业的论述》这篇评论中，就曾批评兰格只关心经济模型之形式完美，忽视了应用经验数据检验这些模型，使经济学最终退化为数学的仆人。面对威尔逊的形式化、科学化的经济学只是观察现实世界的有用窗口，不应强求经济理论的经验蕴涵的指责，他在随后给威尔逊的回信中又进一步指出，作为社会科学的经济学和自然科学[⑤]不同，它不仅需要形式化，同时还要有充分的经验证据，否则没有任何意义。关于一般性理论与实证科学理论的这种区分，弗里德曼在《实证》一文中并没有明确地表达出来，但究其精神，这种区分却是清晰可见的。这种区分正是我们理解弗里德曼“从原本消极地看待假设的作用，到行文后半部分对假设的积极意义作了‘画蛇添足’式的补充”这种“矛盾”现象的关键所在：仅仅就作为形式体系的理论本身而言，假设的确不重要[⑥]，但是就具有解释和预测能力的实证科学理论的而言，假设就是重要的了。当弗里德曼讲假设不重要的时候，他强调的是作为形式体系的理论本身；而当他讲假设重要的时候，他强调的是理论的实证特性、理论的解释和预测能力。在我们看来，作为理论的形式体系还必然表现为公理体系。【是之注：，划重点，公理体系】由于“归纳问题”不可克服，因此任何科学的理论体系必然是逻辑演绎体系[⑦]。但哪里才是逻辑演绎恰当的起点呢？答案是：理论构建的逻辑起点只能是不定义概念和公理假设。【PDF 版本没有：试想，要说明甲概念，我们将不得不借助乙概念，要说明乙概念，又不得不借助丙概念……如此等等，总有一个概念是不能用别的概念来说明的，相反，它是用来说明别的概念的逻辑基础，不然就会陷入循环逻辑。这个概念就是不定义概念。数学中的“集合”、经济学中的“偏好”就是这样的概念。“点”、“线”、“面”也是这样的概念。同样的道理，要证明甲命题，我们不得不借助乙命题，要证明乙命题，又不得不借助丙命题……如此等等，总有一个命题是不能用别的命题来证明的，相反，它是用来证明别的命题的逻辑基础，不然也会陷入循环逻辑。这样的命题就是公理。“两点决定一条直线”，“不在同一直线上的三点决定一个平面”，“在平面上，过直线外一点能且只能引一条直线与这条直线平行”等等，这些就是欧几里德几何的公理。“人是自利的”，“消费者的偏好满足完备性、自反性和传递性”，“消费者的偏好具有连续性、单调性和凸性”等等，这些就是微观经济学消费者理论的公理。】【是之注：这里提到了欧氏几何，提到了公理化的论证方法，这已经是非常强调推理了。】一切科学的理论，归根结底都是由不定义概念和公理假设（广义地统称为公理假设）、逻辑推导、逻辑结论三个部分有机构成的公理体系。牛顿的物理学是公理体系，爱因斯坦的相对论是公理体系，经济学的阿罗—德布鲁体系是公理体系，……。事实上，我们是找不到不是公理体系的科学理论的。【是之注：这里略有瑕疵，假设是假设，公理是公理。理性人是假设，可以被反驳，说人是非理性的。但人的行动是有目的的，这个则无法反驳】在什么是科学理论的问题上，也就是在科学理论与非科学理论的分界问题上，我们是不折不扣的理性主义者，强调理论的本质是形式体系，而且这种形式体系还必然地表现为公理体系。历史地看，经验归纳在演绎体系的形成过程中的确起了重要作用，而形式逻辑的规定为什么是这样的而不是那样的，同样与经验归纳不无关系。不过一旦形式化的抽象形成了，反过来其存在就不需要依赖于经验含义了。【是之注：不折不扣的理性主义者，强调理论的本质是形式体系，而且这种体系还必然表现为公理体系，这是弗里德曼、张五常和科斯都没有强调的。这一点上，谢老师在方法论上超越了他们。与奥派经济学方法论上，仅仅是对经验作用的理解和强调的程度问题。】在我们看来，公理体系的要义不仅仅是对待前提假设的态度，同样包括对待逻辑推导，也就是形式逻辑本身的态度。当然，我们并不否认并不是任何理论都可以容易地形式化。要知道，欧几里德几何经历了2200年才被最终构建成完备的公理体系。也不是说还没有被最终构建成完备的公理体系的理论就没有科学的成分，是没有用处的。理论总是要逐步地被完善，最终成为科学的理论。我们要表达的是，一个理论，只有最终被构建成完备的公理体系才能真正算做科学的理论。【是之注：谢老师强调逻辑推导、强调形式逻辑本身也很重要，再次提到欧几里得几何，这几点都与奥派不谋二和。】
三、 何谓理论之“对”与“错”，经验事实可以验证理论吗既然理论首先是一个形式体系，需要符合“内在一致性”，自然，我们可以用“内在一致性”作为标准来定义理论正确与否：如果理论不符合“内在一致性”，那么我们就认定这个理论是错误的；反过来，如果理论符合“内在一致性”，那么我们就认定这个理论是正确的。对于纯粹形式体系的理论来说，由于并不要求其一定地具有经验含义，甚而至于根本就没有经验含义，“内在一致性”自然可以作为理论正确与否的全部规定。不过，对于实证科学来说，由于我们还关注理论的解释和预测能力，还关注理论的逻辑结论是否与经验事实相一致，也就是说，我们还关注理论的“外在一致性”问题，那么“内在一致性”还是不是理论正确与否的全部规定呢？【是之注：这一段的前半部分，谢老师强调理论的“内在一致性”，但后半部分对于经济学是一门实证科学的认识，明显受到了弗里德曼的局限。】直觉上，既具有“内在一致性”，又具有“外在一致性”，这样的理论才算是正确的实证科学理论；二者之中任何一个得不到满足，那么该理论就是错误的实证科学理论。这正是我们通常对于实证科学理论正确与否的规定[⑧]。“实践是检验真理的唯一标准”就含有这样的意思。很不幸，我们不可以简单地以理论的逻辑结论是否与经验事实相一致来定义“外在一致性”，然后以这样定义的“外在一致性”来判定理论正确与否。【是之注：这里谢老师否认了“实践是检验真理的唯一标准”这句话的重要性，这点奥派理论持有相同看法。】为了说明这个问题，不妨考虑一个具有“内在一致性”的实证科学理论的“外在一致性”问题，也就是说，我们排除逻辑错误的可能性，排除形式上可能的错误，单纯地考察理论与经验事实之间的关系。既然理论是由公理假设、逻辑推导和逻辑结论三个部分构成的有机整体，那么我们就不能不同时关注局限条件是否与理论的公理假设相符合。如果局限条件与公理假设相符合，经验事实又与理论的逻辑结论相一致，那么我们就认为理论经受了经验的检验，就认定这个理论是对的、正确的。这没有问题。问题在于，如果经验事实与理论的逻辑结论不一致怎么办？由于我们排除了逻辑错误的可能性，因此经验事实与理论的逻辑结论不一致只能是局限条件与公理假设不相符合的缘故。【是之注：谢老师从这里开始试图回答“实践如何检验真理”的问题，主要是经验与理论不符怎么办？因为排除了理论逻辑错误的可能性，所以只能是局限条件与公理假设的不相符合。】可是，我们不能因为局限条件与公理假设不相符合，从而经验事实与理论的逻辑结论不一致，便去否定理论本身。【是之注：这里谢老师先给出了结论，经验并不能构成对理论的“证伪”。】一个具有“内在一致性”的理论，即使它的逻辑结论与经验事实不相一致，也只是与我们所处的现实世界的经验事实不一致，在另一个世界，在该公理体系所刻画的世界里，其逻辑结论与那里的经验事实却是一致的。这就是说，条件变了，环境变了，“错误的理论”可以变得正确了，而“正确的理论”反而要变得错误了。由于现实世界的局限条件千变万化，因此仅以理论的逻辑结论是否与经验事实相一致来看，我们根本就无法判定一个理论是对还是错，在什么时候就会变得对起来，又在什么时候会变得错起来。既然如此，我们怎可以仅以理论的逻辑结论是否与经验事实相一致来做理论正确与否的判定标准呢？【是之注：这里谢老师详细解释了一个“内在一致”的理论，是无法简单地通过经验世界来检验的。谢老师还特意用了一个“平行宇宙”另外一个世界，这种假构其实就是完全的逻辑推演、思想实验，这点本身是奥派理论的常用方法。】我们在现实生活中观察到市场能够有效运行，不需要需求管理，需求管理没有效果，我们能够因此就否定凯恩斯经济学吗？反过来，我们在现实生活中观察到市场不能有效运行，需要需求管理，需求管理是有效的，我们能够因此就否定古典新古典经济学吗？都不能，两种理论的前提条件不一样，不过是分别适用于不同的场合罢了。凯恩斯经济学假设名义工资刚性；短期里，名义工资刚性，经济表现出凯恩斯经济学的特征：市场不能有效运行，需要需求管理，而总需求的变化既影响产量又影响价格。古典新古典经济学假设名义工资弹性；长期里，名义工资弹性，经济表现出古典新古典经济学的特征：市场能够有效运行，不需要需求管理，总需求只对价格有影响。弗里德曼在自由落体定律的例子中这样讲到：“公式[⑨]之所以得到认可，是因为它有效，而不是因为我们生活在近似的真空中。”“有效”是什么意思？在我们看来，其意无非是说公式指定的前提条件发生了，那么公式指明的结果就一定会发生。我们观察到羽毛在空中下落不符合公式所指明的结果，但这并不否定公式本身，只是因为羽毛在空中下落不满足公式的前提条件罢了。这是把理论作为公理假设、逻辑推导、逻辑结论三位一体的有机整体来看待。对此，弗里德曼进一步讲到：“与假说相关的重要问题是具体说明公式有效的环境。”【是之注：虽然谢老师在此引用了弗里德曼在《实证》一文中所用的自由落体定律的例子，但这个例子并不理想，更符合谢老师这篇文章立论的例子，仍然是欧氏几何的各种定理，而不是物理学的案例。】这正是“外在一致性”概念的正确含义：如果理论的公理假设与局限条件相符合，理论的逻辑结论又与经验事实相一致，那么该理论就具有“外在一致性”。“外在一致性”概念必须是在把理论作为公理假设、逻辑推导、逻辑结论的有机整体来对待的框架下才是有意义的，而不能是简单地指理论的逻辑结论与经验事实相一致。当然，在这样的概念框架下，“外在一致性”概念并不能够多告诉我们什么，不过是说理论的公理假设与现实的局限条件相一致，而理论同时具备“内在一致性”罢了。因而自然地，理论评价的恰当标准就只能是“内在一致性”，而不是“外在一致性”，理论对错与否的含义也就必须回到“内在一致性”标准上来。某种意义上，我们的确可以通过“外在一致性”来检验理论，但我们一定要明白，这种检验是通过“外在一致性”间接地验证理论的“内在一致性”，进而验证理论本身，因为在这样的概念框架下，一个具有“外在一致性”的理论一定是具有“内在一致性”的。【是之注：谢老师在这里仍然强调了，“外在一致性”概念并不能够多告诉我们什么，不过是说理论的公理假设与现实的局限条件相一致。这里“外在的”其实就是相对于理论本身，说的是“经验的”。】如果局限条件与公理假设相符合，经验事实又与理论的逻辑结论相一致，那么我们就认为经验事实证实了理论。再说一遍，这种证实只是表明理论具有“内在一致性”。反过来，如果局限条件与公理假设相符合，但是经验事实却与理论的逻辑结论不一致，那么我们就认为经验事实证伪了理论。同样，这种证伪只是表明理论不具有“内在一致性”。更为一般的情况是，我们观察到经验事实与理论的逻辑结论不一致，但这是由于局限条件与理论的公理假设不相符合的缘故，这并不表明经验事实就真的证伪了理论，只能说理论不适用于这个（类）现象罢了。也有可能，经验事实与理论的逻辑结论相一致，但是局限条件却与理论的公理假设不相符合。这不过是巧合罢了，是不能真正证实理论的[⑩]。【是之注：这一段虽然谢老师有写证实与证伪的问题，但是谢老师是强调了，那只是看上去的证实和证伪。实际上，理论既不能被经验证实，也不能被经验证伪。】一般来说，在可控实验的情况下，像这样通过“外在一致性”来实施理论检验才是可能的；在不可控实验的情况下，这种检验就困难得多，因为我们很难知道理论的公理假设是否与局限条件相符合。而如果我们不能判定公理假设是否与局限条件相符合，那么即使经验事实与理论的逻辑结论相一致，我们也不能得出结论说理论得到证实了；或者，经验事实与理论的逻辑结论不一致，我们也不能得出结论说理论被证伪了。【是之注：仍然是强调理论不能被证实，也不能被证伪。同时，这里强调了可控实验和不可控实验的区别，这里弗里德曼是进行了淡化处理的。谢老师在这里明确指出了不可控实验对于检验理论的局限所在，而正如张五常和科斯所强调的，经济学需要解释的是真实的世界。谢老师指出了不可控则不可检验理论，只是行文至此，谢老师没有强调经济学要解释的真实世界是不可控的。这一段重点仍然是理论的不可证实，也不可证伪。这个重点并不是芝加哥学派的要义，而是奥地利学派反复强调的。弗里德曼、张五常和科斯，在这里恐怕都不会同意谢老师，但谢老师在这里超越了他们。】【PDF 版本没有：我们的理论可以被证实的观点使我们具有了实证主义[11]的色彩。实证主义主张理论必须接受经验事实的检验。极端经验主义甚至主张理论的前提假设必须与现实世界相吻合。逻辑实证主义则主张基于逻辑力量而形成命题，同时把这些命题与经验事实相对照，去检验命题是否真。逻辑实证主义是最有影响的实证主义，要点有二：其一，科学理论必须用逻辑学家发展出的某种形式语言加以表述，从公理假设出发，所有的定理在形式上都能以纯粹形式推导出来；其二，理论必须接受经验事实的检验，理论正确与否要经由经验事实来检验（丹尼尔·豪斯曼，2007，P.11）。我们的科学理论观与逻辑实证主义的第一点主张无疑是一致的。但是在什么是理论检验，该怎样来实施理论检验的问题上，我们与逻辑实证主义是有重大分歧的。他们一方面将理论视为公理化的形式体系，但是另一方面，在实施理论检验的时候却又忽视了将其视为公理假设、逻辑推导、逻辑结论的有机整体，只是关注于理论的逻辑结论是否与经验事实相一致[12]。我们则彻底地坚持了公理体系的要义——不仅是对待前提假设的态度，同时要求把理论视为公理假设、逻辑推导、逻辑结论的有机整体。一旦将理论视为公理假设、逻辑推导、逻辑结论的有机整体，那么就只能有本文的理论检验观——理论的本质是形式体系，理论正确与否的标准只能是“内在一致性”标准；我们可以用经验事实去检验理论，但那不过是利用“外在一致性”间接地验证理论的“内在一致性”，进而验证理论本身。一个重要而又普遍认同的观点是，逻辑实证主义排除了形而上学的论述，也排除了那些无法得到可信地验证的论述。不过在我们看来，做到这一点重要的不是逻辑实证主义所主张的第二点，而是其主张的第一点。因为作为公理假设、逻辑推导、逻辑结论的有机整体的理论，一定是一个清晰地界定了前提条件和清晰地表述了逻辑结论的肯定陈述，而一个清晰地界定了前提条件和清晰地表述了逻辑结论的肯定陈述一定是可验证的。我们的理论可以被证伪的观点又使我们与以波普尔（Popper）为代表的证伪主义有着表面上的相似之处。证伪主义主张理论不可能被经验事实所证实，但可以为经验事实所证伪。在《科学发现的逻辑》（1959）中，波普尔明确地指出：虽然我们难以用一个证据证实一个命题的真实性，但是我们却可以用一个反例驳倒一个命题的真实性。认为经验事实不能证实理论的理由有二：其一，理论陈述是全称陈述，而经验观察是单称陈述。就算我们已知的所有经验事实都支持理论，又怎么知道在无限尽头的经验事实也支持该理论呢？其二，如果某个假说与已获得的证据相一致，那么总会有无数的假说与之相一致（Friedman, 1953）。这样的认识本身就表明他们没有对理论假设与局限条件是否相符合给予应有的重视，没有将理论视为公理假设、逻辑推导、逻辑结论的有机整体，也就是没有将理论视为一种条件依存的肯定陈述。因为假如将理论视为公理假设、逻辑推导、逻辑结论的有机整体，也就是将理论视为一种条件依存的肯定陈述，并且严格地考察理论假设是否与局限条件相符合的话，那么就只能有如本文所述的证伪观——必须局限条件与公理假设相符合，但是经验事实却与理论的逻辑结论不一致，经验事实才真正证伪了理论，并且这种证伪只是表明理论不具有“内在一致性”罢了。证伪主义的证实观同样只是指理论的逻辑结论与经验事实相一致，而其证伪观则只是指理论的逻辑结论与经验事实不一致。】【是之注：这两段在 PDF 版本中没有，但实际上这里谢老师详细探讨了为什么波普尔的“证伪性”是不可能的。】在我们看来，由于通常意义上的理论检验只是简单地以理论的逻辑结论与经验事实是否相一致作评价标准，所以是不能对理论提供真正检验的，只能从否定的角度表明特定的理论是不是适合于解释、预测特定的行为和现象。例如，我们观察到市场能够有效运行，不需要需求管理，需求管理没有效果，这并不能否定凯恩斯经济学，只能说凯恩斯经济学不适合于长期分析。我们观察到市场不能有效运行，需要需求管理，需求管理是有效的，这也不能否定古典新古典经济学，只能说古典新古典经济学不适合于短期分析。这种“检验”只是、也只能是起到对理论进行区分和筛选的作用——从众多理论中区分和选择出实用的、能够有效解释观察到的现象和有效预测未观察到的现象的理论，分离出那些不实用的、不能够有效解释观察到的现象和有效预测未观察到的现象的理论。这是理论选择问题，不是理论评估问题。应该说，《实证》一文实际已经包含了本文的理论观及理论检验观的要素，只是没有清楚地表达出来，甚至有些似乎矛盾的表达。弗里德曼显然已经把理论作为公理假设、逻辑推导和逻辑结论的有机整体来看待了，所以他强调不能因为羽毛在空中下落不符合自由落体公式所指明的结果，就否定公式本身，“与假说相关的重要问题是具体说明公式有效的环境”。但是另一方面，他又主张理论不可能被经验事实所证实。他明确讲到：“理论应该通过对它意在加以解释的那一类现象的预测能力来检验。……实际证据永远也不能‘证实’某一假说的正确性，它只能通过无法将该假说驳倒来显示该假说的‘正确性’。”这里证实与证伪的含义显然仅仅关注于理论的逻辑结论是否与经验事实相一致。这正是《实证》一文前后不一致和晦涩难懂的又一地方。单看他的这一论述，颇有些类似于波普尔的证伪主义。不过，如果我们将其放在整篇文章的背景中来理解，那么就是有别于证伪主义的。弗里德曼的证伪不是用来批判理论的真实性，而是用于界定理论的适用范围。他所做的不是理论的评估问题，而是理论的选择问题。也就是说，他并不因为有一个“反例”就否定掉该理论，而是认为该理论不适用于这个（类）现象。【是之注：很明显，这里谢老师并不愿意彻底“放弃”弗里德曼的主张，而是试图“挽救”他的经济学方法论，帮弗里德曼把话“说圆”。但在我看来，谢老师在此文成文和发表的 2007 年，国内还没有广泛引入奥地利学派的时候（张维迎教授也是在 2009 年才接触到奥派），参考文献中也没有引用奥派的理论和观点，仅凭借原有的芝加哥学派方法论框架，有此见地，我觉得某种程度上是超越了弗里德曼和张五常的。】【PDF 版本没有：严格来讲，在弗里德曼那里，理论是没有“正确”与“错误”（以逻辑结论与经验事实是否相一致作评价标准）之分的，所以他讲“……更恰当地讲，尝试性地‘接受为’有效理论，或加以‘拒绝’”。我们讲，理论既要有被证实（按通常意义来理解的证实）的可能性，又要有被证伪（按通常意义来理解的证伪）的可能性。其实，如果一个理论既有被证实（按通常意义来理解的证实）的可能性，又有被证伪（按通常意义来理解的证伪）的可能性，那么它一定是一个清晰地界定了前提条件和清晰地表述了逻辑结论的理论，这个理论也就只能是由公理假设、逻辑推导和逻辑结论有机构成的有机整体了。科学理论是证实（按通常意义来理解的证实）可能性与证伪（按通常意义来理解的证伪）可能性的有机统一。这也是说，任何科学理论都是有其特定的适用范围，绝对真理是不存在的[13]。】【是之注：我个人认为，未发表的这一段，谢老师仍然受到了弗里德曼的局限。而不是坚持最开始立论的时候用欧氏几何来阐释自己的观点】
由于理论的本质是形式体系，要害不在于公理假设是否与局限条件相符合，而在于它们之间是否满足独立性、相容性和完备性[14]；也不在于这个体系的逻辑结论是否与经验事实相一致，而在于从公理假设到逻辑结论的推导是否严谨可信，因此理论上，我们可以“任意”地做公理假设来构建理论，只要这些公理假设满足独立性、相容性和完备性，就能够构建出“内在一致的”理论体系来。我们可以用与局限条件不相符合的公理假设构造出“内在一致的”公理体系。尽管由与局限条件不相符合的公理假设所构造出的公理体系的逻辑结论与经验事实一般是不一致的，但这个公理体系仍然是“内在一致的”、标准的理论体系。我们完全可以假设人不是自利的而是利他的来构建一个新的经济学。只要这个新的经济学体系能够满足独立性[15]、相容性和完备性，就是一个“内在一致的”、“完美的”经济学理论体系。我们的确可以“任意”选择公理假设来构建理论，只要满足独立性、相容性和完备性，那么这个理论就是“内在一致的”。但是，这却不是说任何“内在一致的”理论都是有解释力的，都能有效解释现实世界的现象和行为，并对尚未观察到的现象提供既有效又有意义的预测。这也是说，对于实证科学来说，假设是不可以“任意”做出的。确实，实践中我们一般不会凭空构建理论，并且当理论的逻辑结论被检验与经验事实不一致的时候，我们就会修改理论的公理假设，或者抛弃这个理论体系。那么，不可以“任意”做假设，是不是就意味着理论的假设要具有现实性呢？在弗里德曼看来，理论的实证科学性质与“有效性”同假设的现实性是没有关系的。“如果一个假说能够通过极为有限的资料进行大量的‘阐述’以抽出共同而关键的因素，并能保证在这些有限的资料的基础上做出合理的预测，那么这一假说就具有重要意义。”他甚至认为，理论的重要性与它的假设的现实性之间是呈反向关系的。他清楚地讲到：“一种理论的重要性与它的假设的现实性之间几乎呈现出相反的关系。人们会发现真正重要的有意义的假说，其假设往往是对现实的很不精确的描述。一般来说，理论越重要，其假设越不现实。不在于是否把假设描述为是现实的，因为它们从来就不是现实的，而在于理论是否做出精确的预测。”他甚至明确地指出：“完全‘现实主义’的理论是一种全无用处的理论。”弗里德曼正确地指出不能以假设的现实性来做理论评价的标准，他甚至敏锐地感觉到理论的重要性与它的假设的现实性之间可能是呈反向关系的。他强调的是理论的预测能力，但是具有理想化假设的理论一般是不具有直接的预测能力的。例如我们接受完全竞争理论，主要就不是因为完全竞争理论的预测能力；我们接受科斯定理，主要也不是因为科斯定理的预测能力。所以，允许理论的假设不具有现实性是一回事，应该怎样对待具有理想化假设的理论则是另外一回事。这个问题弗里德曼没有讲清楚（虽然他已经接近问题的答案了，但毕竟没有明确地指出来）。他也没有清楚地告诉我们什么样的理论其假设应该具有现实性，什么样的理论其假设反而不能都具有现实性。这两个问题的答案依赖于对经济模型（理论）的类型和作用的划分，是钱颖一（2002）、许成钢（2002）使得我们逐渐清晰起来的。【是之注：弗里德曼这里不是没有讲清楚，而是讲错了，科斯在他的《经济学家应该如何选择》一文中详细反驳弗里德曼。但这里其实只需要按照谢老师本文此前强调的理论是一个公理体系来判断即可，这些假设如果作为公理体系的起点，如果假设是与现实性没有关系的、是不真实的，那么如何保证后面推理出来的结论是真实有效的？】实际上，有两类经济模型（理论），一类是作为理论“基准”的经济模型，一类是直接解释经济现象和行为的经济模型。关于前者的作用，钱颖一（2002）、许成钢（2002）有过精辟的论述。理论“基准”的主要作用在于发挥“参照系”的功能。“参照系”不是目标模式。所谓“参照系”，是说模型为我们提供了一个分析框架、分析平台。我们把某个新的因素加入进来，利用模型所建立的既有平台做分析，然后和模型的既有结构和结果进行比较，就可以观察新因素的作用机制和效果了。我们以MM定理为参照，看现实中是什么违反了这一定理的假设条件，就知道是什么因素使得不同的金融工具收益不一样了。我们以科斯定理为参照，看现实中是什么违反了这一定理的假设条件，就知道是什么因素使得产权与效率相关的。我们以阿罗－德布鲁体系为参照，看现实中是什么违反了这一理论的假设条件，就知道是什么因素使得不同经济体制的经济效益不一样了（许成钢，2002）。现实中完全竞争的市场是极其少见的，但是对完全竞争市场的分析可以为真实市场提供一个有用的参照。一般来说，这样的“参照系”是一些无关性命题。所谓无关性命题，就是一种在理想的经济环境下结果与工具或者方式或者资源配置不相关的命题。例如，MM定理、科斯定理、阿罗－德布鲁体系，都是无关性命题。几乎所有的诺贝尔经济学获奖理论工作都是一些无关性命题。作为理论“基准”，我们需要的恰恰是无关性命题。在这里，模型的前提假设可以与现实不相符，也一定与现实不相符，至少不会都与现实相符合。这些无关性命题所描述的，只是现实世界的极限状态。由于经济世界具有连续性[16]，极限状态本身就是对于接近极限状态之状态的一个极好描述，因此没有人否认，作为“参照系”和理论“基准”的无关性命题本身就给了我们某种直接的启示。例如，科斯定理就给予我们低交易费用情况下外部效应问题存在市场解的直接启示。不过就这些无关性命题来说，要点却不是对其直接加以应用，而是在其基础之上加约束条件找到变量之间的因果关系或者相关关系，最终得出相关性命题来。正是在这个意义上，张五常（2001a）讲：科斯的贡献并不在于什么定理，而在于促使我们关注约束条件。张五常（2001b）、谢作诗（2004）也正是从这个意义来批判格雷欣定律的。他们要表达的是，在理想的经济环境中，劣币和良币的收益是相等的。这是一个无关性命题。在这个无关性命题之上，加上正交易费用，或者收币的人不能拒绝付币人用劣币的支付的约束条件，总可以得到劣币驱逐良币的结论；加上收币的人可以拒绝付币人用劣币的支付的约束条件，又可以得到良币驱逐劣币的结论。因此，如果我们承认劣币驱逐良币是定律的话，那么就得承认良币驱逐劣币也是定律。而如果这样的定律真的算做定律的话，那么每一个事件都要对应一个定律的；如果经济学充斥着的是这样一些定律，那么不仅是无趣的，也是极不深刻的[17]。是的，重要而深刻的不是那些形形色色的相关性命题，而是那些无关性命题。重要而深刻的不是你看到债券、股票的收益可以不等，而是你看到理论上债券和股票的收益应该是相等的；重要而深刻的不是你看到劣币的收益可以不等于良币的收益，而是你看到理论上劣币的收益应该等于良币的收益。一切经济分析，归根结底都要以某个无关性命题作为起点来展开。弗里德曼讲“一般来说，理论越重要，其假设越不现实”，我们猜测，他看到和强调的可能正是那些作为“参照系”和理论“基准”的无关性命题的重要性。作为“参照系”和理论“基准”，它要建立的恰恰是无关性命题，其假设一定不能都是现实的，我们根本就不应该要求其理论假设具有现实性。【是之注：这里谢老师受到了弗里德曼的误导。因为弗里德曼用物理学来帮助他阐释他的经济学方法论，这样的理解在物理学中也许是对的。但经济学并不等同于物理学，方法论上的直接类比是有问题的。这里谢老师仍然放弃了最开始使用几何学的立论，而沿用了弗里德曼的思路。】当然，我们要知道，理论基准不是越多越好，而是越少越好。更多的经济模型是直接解释、预测经济现象和行为的经济模型。就这类模型来说，就要求理论的前提假设与现实世界相符合了。张五常（2001a）反复讲，经济学的功能是经济解释，经济解释的重心在于考察现实世界的约束条件。在这里，张五常强调的正是假设的现实性。不过，即便是对于这些直接解释、预测经济现象和行为的经济模型来说，其前提假设与现实世界完全符合也是不可能的，要做到的是基本符合。毕竟理论是信息节约的工具，理论模型并不是越复杂越好，而是要尽可能地简化，因此保留重要的约束条件，舍像掉一些无关紧要的约束条件不仅是可行的，而且是必须的，否则理论没有节约信息，也就不成其为理论了。一方面，要保持理论的简约性，另一方面，理论的假设又不能过于偏离现实，从而有损理论的解释和预测力。什么是不过于偏离现实，例如什么情况下可以假定交易费用为零，什么情况下交易费用必须作为主要的条件，要依据问题的性质而定，并没有简单的规则可以遵循（林毅夫，2005，P.114-121）。
批评者认为新古典厂商理论的利润最大化假设不具有现实性，弗里德曼则说理论的假设不需要具有现实性。他强调的是理论的解释和预测能力。他用树叶吸收阳光和台球手击球的例子来说明这个问题。假设每一片树叶好像都知道在什么地方吸收阳光，能够自发地快速地移动到想得到但未占有的位置上，以求吸收最大量的阳光。这个假设显然不具有现实性，因为我们知道树叶不会“自觉”地追求阳光，它们也没有上过学从而学习过有关科学规律，也没有掌握计算最佳位置所要求的数学。但是，是不是建立在这个不具有现实性的假设基础之上的假说就是不可接受或者无效的了呢？弗里德曼认为，未必。因为从这个假设可以推导出出朝南比朝北的叶子更加浓密的明确含义，而这个含义与经验事实是高度一致的。假设台球高手得分就好像他精通复杂的数学公式，通过目测角度能够利用公式精确计算出最优的运行方向，并使台球按照计算出的最优方向运行。这个假设当然也不具有现实性。是不是建立在这个不具有现实性的假设基础之上的假说也是不可接受或者无效的了呢？弗里德曼认为，不是。相反，他认为应该对这个假设充满信心；之所以应该对这个假设充满信心，不是因为我们相信台球高手能够精确完成上述计算和控制，而是因为建立在这个假设基础上的假说可以做出极其精确的预测。不过在我们看来，要得到弗里德曼所说的精确的预测，上述假设实在是过多地做出了，而多出来的那部分不但不是要害之所在，而且还是产生歧义的根源。就树叶吸收阳光的例子来说，要害不在于树叶能够“主动地”适应环境，追求吸收最大量的阳光，而在于树叶是否追求吸收最大量的阳光本身；就台球手击球的例子来说，要害不在于台球高手精通复杂的数学公式，通过目测角度能够利用公式精确计算出最优的运行方向，并使台球按照计算出的最优方向运行，而在于台球高手是否在追求让台球按最优方向运行本身。要得到朝南比朝北的叶子更加浓密的精确预测，我们不需要假设树叶能够“主动地”适应环境，追求吸收最大量的阳光，只需要假设树叶追求吸收最大量的阳光即可。后者才是对于行为主体行为动机的某种刻画，而前者则不过是行为主体实现其行为动机的一种方式罢了。我们可以假设树叶“主动地”寻找阳光以吸收最大的阳光，但是由于阳光有利于叶子的生长，我们假设树叶被动地适应环境，同样会获得相同的预测结果。我们可以假设台球高手好像是通过精确计算来击球的，但是台球高手通过经验来击球同样会获得相同的结果。问题的实质不在于树叶是怎样来使吸收的阳光量最大的，而在于树叶必须是使得其吸收的阳光量最大；问题的实质也不在于台球高手是怎样来找到最优的运行方向的，而在于台球高手必须是使得他的球按照最优的方向来运行。【PDF 版本没有：在科学上，精确解的存在性解决了，一般是怎样去找出这个精确解的呢？是用一系列的近似值把那个精确解逼近出来。圆面积的精确解是πr2，但真正具有革命意义的找到这个精确解的办法不是中国人的古老算法，而是用一系列越来越接近精确解的内接正n边形的面积把这个圆面积的精确解逼近出来的办法。农民种菜，有一个最优的行距和间距，可以通过复杂的数学计算找到这个最优的行距和间距，也可以通过无数次的试错把这个最优行距和间距逼近出来；台球手击球，有一个最优的击球路线，可以通过复杂的数学计算找到这个最优击球路线，也可以通过无数次的试错把这个最优击球路线逼近出来。这后者正是通过无数的越来越接近的近似值把那要找的精确解逼近出来。】【是之注：这里谢老师再次提到了几何学计算圆的面积的方法，很显然这是一个纯理论推导的算法，而不是经验的总结。】我们真正要问的是，树叶在“追求”吸收最大量的阳光的假设具有现实性吗？台球高手在追求让台球按最优方向运行的假设具有现实性吗？如果这样的假设不具有现实性的话，我们还能够得出精确的预测吗？这个问题的答案和我们关心的利润最大化假设是否具有现实性的问题是相同的。我们承认理论（作为“参照系”和理论“基准”的理论）的假设可以不具有现实性，但是我们更为关心怎样来检验一个理论的假设是否具有现实性。我们关心利润最大化假设真的不具有现实性吗？那些持利润最大化假设不具有现实性观点的批评者们，以为厂商不能掌握有关的需求和成本函数，不能准确计算边际成本和边际收益并使各项经济活动按照等边际原则进行，就否定了利润最大化假设的现实性。他们没有弄清楚，他们否定的只是厂商以特定的方式来实现其最大化利润的可能性，并没有否定利润最大化假设本身。他们全然不清楚，厂商是否坚持利润最大化与厂商以怎样的方式去实现其最大化的利润完全是两个问题。正确的对于利润最大化假设的检验，不是去问厂商是否掌握有关的需求和成本函数，能否准确计算边际成本和边际收益并使各项经济活动按照等边际原则进行，而是去问如果厂商的产量比目前的产量高一点或低一点，相应的利润会不会降低。如果厂商做出肯定的回答，那么它实际上就是在追求利润最大化。利润最大化这一假设的一个重要含义，正是产量偏离均衡产量时利润一定会比产量为均衡产量时要低。行为动机与实现行为动机的方式不是一回事。关于行为动机的假设是不可观察的，我们不可以直接对其进行检验，必须通过检验从理论中推导出来的、可以被事实验证的含义来间接检验这样的假设。这种间接检验的原理在于，在由多个假设（绝大多数理论都包含多个假设）构成的理论中，如果某个假设之外的其它假设与局限条件是相符合的（由直接检验来给定），理论又是“内在一致性”的（由形式逻辑准则独立得到说明），并且理论的逻辑结论与经验事实也是一致的，那么我们就认为这个假设与局限条件也是符合的。如果我们用正确的方法对利润最大化假设实施检验的话，那么我们就会发现厂商的确在坚持利润最大化，利润最大化假设的确具有现实性。【原文脚注：当然，利润必须要是广义而言的利润（有记录的销售收入与所有者—经营者的工作中消费之和与支付给其他要素投入者的报酬之间的差额），而不能仅仅是有记录的利润（有记录的销售收入与支付给其他要素投入者的报酬之间的差额），因为所有者—经营者在企业内消费而不是在家庭中消费效率可能更高，这会使均衡中的企业的有记录的利润下降[18]。还要强调的是，如果不是直接用于解释、预测经济现象和行为，那么使用最大化有记录的利润的假设仍然是可以的。新古典厂商最大化的就是有记录的利润。现实中厂商当然未必真的仅仅最大化有记录的利润，但这无损于新古典利润最大化模型的有用性，因为我们只需在该模型基础上将所有者—经营者的工作中消费加入进来，就可以有效解释、预测现实世界的经济现象和行为了（谢作诗，2001）。这正是新古典厂商理论在发挥其“参照系”和理论“基准”的作用了。还是那句话：作为“参照系”和理论“基准”的经济模型，其假设可以不具有现实性，也一定不会都是现实的。作为直接解释、预测经济现象和行为的经济模型，其假设必须具有现实性，必须符合现实世界的约束条件；完全符合是不可能的，但是不可以过于偏离了现实。】
我们对本文主要观点做一个概括性的总结以作为本文结束语。这些观点，有的是弗里德曼《实证》一文的直接观点，更多的则是我们在《实证》一文的基础上延伸而推导得到的。第一，理论的本质是形式体系，并且是由公理假设、逻辑推导、逻辑结论三位一体有机构成的形式体系。理论只要符合“内在一致性”即可，是不需要一定地具有经验含义的。我们可以给形式化的理论体系赋予经验含义，但是它们不是因为有经验含义而成其为理论，而是因为它们本身是形式体系而成其为理论。第二，仅仅就作为形式体系的一般性理论而言，假设的确不重要；只要满足独立性、相容性和完备性即可，是不需要多做要求的。但是要使理论具有解释和预测能力，假设就是重要的了，是不可以“任意”做出的。这也是说，对实证科学来说，理论的假设是不可以“任意”做出的。【是之注：是的，但是谢老师这里和前一条把“公理”和“假设”放在了一起，用“公理假设”来作为理论体系的起点，而忽视了“公理”和“假设”两者之间的区别。】第三，实证科学是不可以“任意”做假设的。不过，这并不意味着其假设就一定要具有现实性。对于作为“参照系”和理论“基准”的经济学模型来说，其假设可以与现实不相符，也一定与现实不相符，至少不会都与现实相符合，我们根本就不应该要求其理论假设具有现实性。对于直接解释、预测经济现象和行为的经济模型来说，就要求理论的前提假设与现实世界相符合了；完全符合是不可能的，要做到的是理论假设不能过于偏离现实。但是什么是不过于偏离现实，要依据问题的性质而定，并没有简单的规则可以遵循。【是之注：弗里德曼和张五常都将经济学定义为实证科学，而芝加哥学派的分析起点使用的是“理性人假设”，无论怎么对“理性人假设”来反复重申，都没能阻挡后来的行为经济学使用了一个“非理性人假设”，芝加哥学派和奥地利学派都不同意行为经济学的分析方法和观点，但这并不能阻止它的影响力的扩大，几位诺奖得主就是影响力的证明。而芝加哥学派的所使用的“理性人假设”符合弗里德曼所说的“假设真实与否不重要”的观点，也确实建立起了强大的分析框架和理论体系，但这个假设却给反对它的人留下了巨大的发挥空间。正如我在前面所做的注释，谢老师在这里受到了弗里德曼的局限，强调使用的是“假设”而不是“公理”。而如果谢老师坚持使用自己开篇立论时所强调的几何学的推演方式，谢老师应该追问的是，作为经济学分析起点的那个“公理”是什么？问“公理”是什么，而不是问“假设”是什么，到这一步，谢老师就和奥地利学派的方法论一步之遥了。公理不同于假设，公理要求不证自明，要求无法给出它的相反的命题。芝加哥学派使用的”理性人假设“，很显然行为经济学家们提出一个”非理性人假设“，这就是它的反命题。暂时不管这两个命题的真假，理性人假设的确可以提出非理性人假设。而奥地利学派使用的出发点公理是”人的行动是有目的的“，这个公理既是不证自明，又是无法反驳的。因为你想反驳”人的行动是有目的的“这个命题，那么你的行动本身就是在证明了这个命题的正确性。所以，假设和公理的不同，谢老师在文中没有作出区分，而同时又被弗里德曼所局限。在前面整体的论述中，谢老师对理论和现实的理解，强调理论的“内在一致性”，强调经验对理论的不可证实与不可证伪，基本上都不是芝加哥学派的主张，而是更接近奥利地学派的主张。】第四，“外在一致性”概念必须是在把理论作为公理假设、逻辑推导、逻辑结论的有机整体来对待的框架下才是有意义的，而不能是简单地指理论的逻辑结论与经验事实相一致。如果理论的公理假设与局限条件相符合，理论的逻辑结论又与经验事实相一致，那么该理论就具有“外在一致性”。在这样的概念框架下，“外在一致性”概念并不能够多告诉我们什么，不过是说理论的公理假设与现实的约束条件相一致，而理论同时具备“内在一致性”罢了。【是之注：重点，“外在一致性”概念并不能够多告诉我们什么，也就是经验符合理论也不是对理论的证实。】第五，理论评价的恰当标准只能是“内在一致性”，而不是“外在一致性”，理论正确与否的含义必须回到“内在一致性”标准上来。某种意义上，我们的确可以通过“外在一致性”来检验理论，但是这种检验是通过“外在一致性”间接地验证理论的“内在一致性”，进而验证理论本身。一般来说，在可控实验的情况下这种间接检验才是可能的，在不可控实验的情况下，这种间接检验就困难得多。【是之注：划重点，理论评价的恰当标准只能是“内在一致性”，也就是奥地利学派强调经验和理论之间的关系。同时，谢老师说，在不可控实验的情况下，这种检验就困难得多。实际上，真实世界的不可控，让这种对经济学理论的检验完全不可能。谢老师的观点，也与奥派不谋而合。】第六，理论可以被证实，或者被证伪。证实决不仅仅是理论的逻辑结论与经验事实相一致，证伪也不仅仅是理论的逻辑结论与经验事实不一致。必须要把理论看成是由公理假设、逻辑推导和逻辑结论三个部分构成的有机整体，必须要在这个概念框架下来谈论理论之检验问题。如果局限条件与公理假设相符合，经验事实又与理论的逻辑结论相一致，那么经验事就实证实了理论。如果局限条件与公理假设相符合，但是经验事实却与理论的逻辑结论不一致，那么经验事实就证伪了理论。一旦理论被证实，就不存在被证伪的可能了；一旦理论被证伪，就不存在被证实的可能了，不可以说理论既存在被证实的可能性，又存在被证伪的可能性。更为一般的情况是，经验事实与理论的逻辑结论不一致，但这是由于局限条件与理论的公理假设不相符合的缘故，这并不表明经验事实就证伪了理论，只能说理论不适用于这个（类）现象罢了。也有可能，经验事实与理论的逻辑结论相一致，但是局限条件却与理论的公理假设不相符合。这不过是巧合罢了，是不能真正证实理论的。【是之注：这一段的标题有误导，虽然标题写的是“理论可以被证实，或者被证伪。”但实际上，谢老师在“更为一般的情况是”这句话之后，所强调的，恰恰是理论既不能被证实，也不能被证伪。】第七，通常意义上的理论检验，因为只是简单地以理论的逻辑结论与经验事实是否相一致作评价标准，所以是不能对理论提供真正检验的，只能从否定的角度表明特定的理论是不是适合于解释、预测特定的现象和行为。这种“检验”只是、也只能是起到对理论进行区分和筛选的作用——从众多理论中区分和选择出实用的、能够有效解释观察到的现象和有效预测未观察到的现象的理论，分离出那些不实用的、不能够有效解释观察到的现象和有效预测未观察到的现象的理论。这是理论选择问题，不是理论评估问题。我们可以利用“外在一致性”来进行理论检验，但这一般是难于做到的。不过理论本身是不需要一定通过经验来证明其正确性的，理论正确与否完全由“内在一致性”来规定，形式逻辑可以对此给出说明。在经验上，我们真正需要解决的不是理论评估问题，而是理论选择问题。通常意义上的理论检验虽然不能对理论提供真正的检验，但却可以有效解决理论选择问题。【是之注：划重点，谢老师再次强调，理论本身是不需要一定通过经验来证明其正确性的，理论正确与否完全由“内在一致性”来规定，形式逻辑可以对此给出说明。】第八，厂商是否追求利润最大化与厂商以怎样的方式实现其最大化的利润不是一回事。前者是对行为主体行为动机的刻画，后者是对行为主体实现其行为动机的方式的刻画。如果我们用正确的方法对利润最大化假设实施检验的话，那么我们就会发现厂商的确在坚持利润最大化，利润最大化假设的确具有现实性。如果我们正确地看待模型的划分和作用的话，那么我们就能够正确地认识一个不具有现实性的利润最大化模型的应有功能和作用了。
PDF 版本查阅地址：
https://wenku.baidu.com/view/ba363dd73186bceb19e8bbf0.html
题图：Henri-Edmond Cross，Fisherman
