为什么要建模？

以上讨论的全部四个问题都是用形式化模型所作的研究。形式化建模是一种尚未为很多政治学家所熟悉的研究策略。社会与政治世界无限复杂，形式化模型这种冷冰冰的简化又是如何能够提供关于这个世界的洞见的呢？

形式化建模的首要优势是它所要求的严密性和精确性。形式化地写下一个论述迫使建模者精准地确定该论述的所有假定分别是什么。政治学的很多用文字表达的论述可以用几种不同的方式来建模。这些用文字表达的论述无法完全明确它们的假定和主张。当我们把这些论述形式化时，它们可以揭示那些隐而未言的假定。这些论述的结论也许不能对所有个案都成立，因为它们依赖于那些尚未表达的假定。没有形式化模型的严密性，我们可能无法看到一个非形式化论述在推广性方面的欠缺。

同样，形式化模型能让我们准确看到为什么一个模型的结论是从其假定得出的。不是从假定得出的其他支持性论述将被排除。一些用文字表达的论述把相互矛盾的支持性论述堆砌起来，试图用大量的主张来吓唬读者。从假定推导出结论还能够提出新的论述思路，这些新思路可能会带来新的结论。这些思路还能够引出超出支撑模型的初始直觉的结论。

形式化建模还能创造逻辑结构，从而围绕越来越一般化的问题能积累起一系列的模型。许多形式化模型能得出一些与观察不相符的结论。模型的逻辑结构能让建模者往上添加内容，以便推导出可以对那些与现有模型不一致的现象作出解释的新结论。成功的形式化模型能生发出多个支派的研究，而这些研究会通向初期研究所预想不到的领域。任何一个特定模型都应被看作是研究链条的一个环节。即便如此，每个环节都拥有其自身的价值。研究链条内的单个模型必须分别带来新的真知灼见或澄清现有模型的问题。

概念的清晰和论述的严密显然是我们孜孜以求的，然而我们建模时是否牺牲了太多“现实主义”呢？模型就其本质而言就是抽象的。建模致力于以最简单的方式揭示社会互动。简化是一个优点。建模需要努力抓住社会情境的本质。任何论述都是一个无限复杂的世界的简化，即便它是最丰富的描述。与被公之于众的事情相比，更多的历史证据已经由于参与其中的人无法在当时收集资料而遗失。

判断一个论述是否“现实主义”的合适标准就是其结论的准确性。形式化模型能帮助我们明确我们的论述可观察到的结果。然后我们能够对照现实世界来检验这些假说。常常很难确定，从援引更为复杂世界的内容的非形式化论述中，能实际得出什么样的结论。在大多数情况下，那些似是而非的结论通常都是从这类论述中得出的。检验这样的论述无论如何也是很难的，因为，什么可以算作能驳斥这些论述的事实呢？相反，形式化模型常常表明，那些被广泛使用的对理论的检验是不合适的。有一些著名的形式化模型，在这些模型里几乎任何行为都可以得出结果。这样的模型以及它们所反映的论述无法通过检视特定行为而被检验，任何事实都是与该论述相一致的。

富有成效的模型能把对政治问题的直觉、建模技巧和常识等精心结合起来。通过规范我的直觉，形式化模型已经促进我对政治的理解。用模型作研究将迫使你提炼对一个论述的初始理解。解答模型中的数学问题会引导你看到为什么一些论述在逻辑上是合理的而另外一些论述则并非如此。随着时间的推移，你的直觉会改变以反映模型的规训。模型为初始直觉添加严密性，而被提炼的直觉则能够带出新的模型和更多的真知灼见。