检验假说是指从
科学假说的基本理论观点和其他知识一起引申出来的关于事实的结论，它也许是个关于已知事实的陈述，也许是个未知事实的解释。如果科学假说检验所演绎出来的是个关于已知事实的陈述，那么这就是对已知事实的陈述，那么这就是对已知事实的解释。如果科学假说检验所演绎出来的是个关于未知事实的陈述，那么这就是对未知事实的预见。
首先，从科学假说的基本理论观点引申出关于事实的结论（单称的观察陈述）这是个假说检验演绎过程。我们应该明白，如果只是以假说的基本理论观点作为前提，那是不足以演绎出关于事实的陈述的。假说检验的演绎过程必须结合背景知识，在前提中引进先行条件的陈述以及其他的定律与原理。从科学假说的基本理论观点和其他知识一起引申出来的关于事实的结论，它也许是个关于已知事实的陈述，也许是个未知事实的解释。如果科学假说检验所演绎出来的是个关于已知事实的陈述，那么这就是对已知事实的陈述，那么这就是对已知事实的解释。如果科学假说检验所演绎出来的是个关于未知事实的陈述，那么这就是对未知事实的预见。解释已知的事实不过是假说理论观点的一般检验，而预测未知的事实则是对科学假说理论观点的严格检验。
（1）应当力求作出严格的检验，但不可忽视一般检验的意义。圆满地解释已知事实与成功地预测未知事实是不大相同的，后者给予理论的支持强度远远超出前者。所以，在检验假说的理论观点时，我们首先应当集中精力去预测未知的事实。
（2）应当改进辅助性假说为理论辩解，但不可做出特设性的假说。在科学假说检验的过程中，预测的失败即出现了反常，这并不意味着假说的基本理论观点已被证伪。我们可以通过改进辅助性假说继续为理论做出辩解。