｜归纳推理和演绎推理｜
证实推理是一种归纳推理，而不证实推理则是一种演绎推理。证实推理的归纳推理性质和不证实推理的演绎推理性质都具有一些重要影响。要理解这些影响，我们首先需要明确归纳推理和演绎推理之间的不同之处。
你可能之前就已经听说过“归纳推理是从特殊到一般，而演绎推理则是从一般到特殊”。在某些情况下，归纳推理和演绎推理确实是像这样，但总的来说，这个说法并不准确，所以并不是概括归纳推理和演绎推理特点的好方法。
要概括归纳推理和演绎推理的特点，有一个更简明、准确，也更精辟的方法。下面我们举例说明，这个例子可以认为是典型的归纳推理：
美国一所大学的男子篮球队，从来没有赢得过美国大学男子篮球联赛冠军。事实上，在仅有的几次参赛经历中，这支篮球队从来没有进入过第二轮。今年，这支队伍的水平与以前相比并没有多大变化，大学男子篮球联赛赛制也没有发生重大改变。考虑到这些因素，这支男子篮球队基本不可能赢得今年的联赛冠军。
上面这个例子是一个令人信服的归纳推理论证过程。考虑到这个论证过程所列出的前提条件，其所得出的结论是非常有可能的。然而，即使所有前提条件和证据都是正确的，也仍然有可能得出错误结论。这正是归纳推理的标志性特点。不管可能性有多低，这支男子篮球队赢得美国大学男子篮球联赛冠军的可能性仍然是存在的。这就是归纳推理的特点：在一个好的归纳推理过程中，即使所有前提条件都是真的，所得出的结论也有可能是错的。
相比之下，在一个好的演绎推理论证过程中，真的前提条件就保证了真的结论。也就是说，在一个好的演绎推理论证过程中，如果所有前提条件都是真的，那么其所得出的结论就一定是真的。请思考一下下面这个借鉴了电影《谍海军魂》（No Way Out）的例子：
那天晚上在琳达房间的男人杀了琳达。不管是谁杀了琳达，这个人都被称为尤利。军官法瑞尔是那天晚上在琳达房间里的男人。所以，军官法瑞尔就是尤利。
这个论证过程与前面列举的归纳推理论证过程之间的不同点非常有趣。具体来说，如果这个论证过程的前提条件是真的，那么这就保证了这个论证过程的结论是真的。这就是演绎推理论证过程的特点：在一个好的演绎推理过程中，真的前提条件就保证了真的结论。
了解了这些，让我们回到关于证实推理和不证实推理的讨论。你应该还记得证实推理模式是一种归纳推理。正因如此，有时证实推理模式并不能保证结论的正确性。也就是说，证实推理所能达到的最好程度就是为某个理论提供支撑，但是不管存在多少被证实了的预言，仍然存在这个理论不正确的可能性，这完全是由证实推理模式的归纳推理性质造成的。
有时，你会听到关于某些科学理论永远都不可能被证明（从严格意义上证明）的说法，其中部分原因就是证实推理模式的归纳推理性质。大多数科学理论从很大程度上说都是由归纳证据所支撑的。正因如此，不管存在多少可以证实某个理论的证据，这个理论也仍然有可能被证明是错误的，这完全是由证实推理模式的归纳推理性质决定的。在正确性方面，科学领域的理论都不可避免地面临质疑，但这并不是这些理论的小瑕疵，也不是重大缺陷。相反，这种情况无非是两方面因素造成的，一方面是证实推理模式是广泛用于支撑科学理论的推理模式，另一方面是证实推理模式是一种归纳推理。
同样值得注意的是，实际的理论所涉及的因素和推理，在复杂性和相互交织程度上可能比我们截至目前的讨论中所谈到的要高得多。让我们用一个例子来说明这一点，请再思考一下爱因斯坦相对论对恒星光线弯曲的预言。这看起来是一个相当简单的预言和观察结论。人们都认可爱因斯坦的理论预言了恒星光线的弯曲，以及日全食将为观察这样的光线弯曲提供一个机会。所以，下次日全食的时候，实际去观测一下，看看恒星光线是否是弯曲的。实际观测可能并不那么简单，但这听起来确实是相当直接明确的方法。
然而事实上，这一点都不直接明确。举个例子：为了预测恒星光线上出现弯折的点的位置，需要进行一系列计算，为了进行这些计算，就需要运用大量简化了的假设，而这些假设严格说来都是不正确的。在1919年5月的实际观测中，为了将所需进行的计算控制在可操作的范围内，太阳被当作了一个正球体，不进行自转，且不受任何外力影响（比如地球、月球和其他行星的引力作用）。当然，太阳实际上并不是一个正球体，它本身有自转，而且会受到外力影响。总之，每个人都知道这些假设是错误的，但每个人同时也知道如果不用这些简化了的假设，就不可能进行所需的计算。
大多数（不是全部，但确实是大部分）熟悉1919年恒星光线弯曲观测的人，都同意这些简化了的假设不会改变观测整体结果，也就是说，这次观测结果为爱因斯坦的理论提供了证实证据。尽管如此，在这里我想得出的结论是：实际用于证实科学理论的证据所涉及的因素往往比人们通常所认识到的要复杂得多。
以上所说的并不是一个特例。通常，要看一个预言能否被观察得到，需涉及多个层次的重要理论和数据。总之，实际用于证实科学理论的证据通常非常复杂。所以，不仅证实推理模式的归纳推理性质意味着这种推理模式无法证明（这里指的是最严格意义上的“证明”）某个理论是正确的，而且这一推理模式中的实际证据和推理过程往往相互交织、非常复杂，从而使证实推理模式的证据通常也远不像它们乍看起来那样直接明确。
