逻辑检验即运用逻辑手段对理论或假说进行逻辑判断的方法和过程。其目的是弄清被检验对象与现有理论和经验之间是否存在逻辑矛盾。逻辑检验的步骤有三:(一)检验被检对象内部的逻辑一致性。从逻辑上说,如果一个学说系统的内部存有相互矛盾的命题,便可引出任何结论;因而,被检验对象内部的一致性,是其真理性的必要条件。(二)对被检对象进行外部考察,揭示它与其它理论是否有逻辑上或经验上的矛盾,考察在它与其它理论的关系上是否有逻辑的或经验的根据。这一步的主要内容有:被检验对象与原有理论在逻辑上是否一致;它是从原有理论中分化派生出来的还是对原有理论的概括和提高;与原有理论相比,它在形式上和逻辑上是更简明还是更复杂;它与已有经验是否相符。(三)对被检对象进行动态考察,即推测其理论意义、实践意义与发展前景。
此时需变换被检对象的各种变量,从多方面考察其变动趋势、它在应用方面的先进性和优越性,并确定被检对象与整个与之相关的理论体系是否在发展上步调协调。逻辑检验具有省时省力、使用简便的优点,能使人们尽早发现问题,消除逻辑谬误,是检验认识真理性的重要手段和环节,它在科学研究、社会生活实践中均有重要作用。但是,从性质上说,逻辑检验只是检验认识真理性的辅助手段,它不能代替社会实践成为认识真理性的标准。科学史上一些学说和划时代的创造,开始时常常经受不住逻辑检验,但却经得住实践检验而获得最后胜利。这里的一个重要原因是:一定逻辑检验手段,不仅与逻辑形式相联系,而且有着某种理论负载,因而它只可运用于某种理论负载所来源的理论系统;离开这一系统,该手段就会失效。因此,逻辑检验证明为正确性的理论,仍要接受社会实践的检验。