Ⅳ.模型运用的程序问题

哲学家和逻辑学家会把模型应用的问题认为是基本上通过逻辑分析就能解决。另一方面，科学家只希望知道一个特定程序如何以及在什么样情况下被判断为正确或不正确。实际上，科学哲学家和逻辑学家之间的争论，反映出科学研究中在（所有类型的）“模型”运用上一些严重的程序困难。还有一些人进而怀疑经验科学中关于似乎是重大问题的许多冲突，实际上是由于在科学研究中所用模型的正确程序不一致而产生的。这一程序问题可以与两种方式联系起来阐明，其中一种是形式理论可以出现于科学中，另一种是模型在这种过程中所起的作用。简单地说，我们可以区分出后验（posteriori） 模型和先验（priori）模型。