从相同的事实中可能提出多种假说，为了从中选择理论，对所提出的假说进行检验是一件自然的事。正如其他认识过程一样，在检验过程中也存在多种方法，它们提供了各种不同的检验假说的标准。由于理论包含事实，因而基于事实来检验假说便是一件理所当然的事。一般称由此给出的标准为事实标准。现代以前，许多人相信，理论是一个经过证实的或至少在逻辑上能被证实的东西。根据事实提出的假说只有为事实所证实时，或至少在逻辑上能为事实所证实时，它才是真的。这就是所谓的证实标准。一个假说为事实证实是什么意思？假说无疑包含全称陈述，它或由某一全称陈述组成，或包含由多个全称陈述组成的陈述体系。全称陈述一般具有如下形式：所有F都是G。从形式上看，无论何种全称陈述，它都可能包含诸多个别性陈述。就“所有F都是G”而言，它表明，任何可能包含于F中的事物都具有G的特征，因此，它包含诸多单称陈述，这些单称陈述是对包含于F中的个别事物具有G特征的表达。这里所说的一个假说为事实证实就是指，此假说所包含的单称陈述都是事实或是事实的合取。历史上，证实标准曾被认为是理所当然的，甚至至今依然为一些人所认同。不过，略加思考就会发现，证实标准实际提出了一个 <<