下例是一个不可信论证，因为它强但有一个假前提：

86.水星、金星、地球、木星、天王星、海王星、冥王星等行星上都有智能生物。因此，火星上也有智能生物。8

就目前所知，上述论证的前提为假，并且结论也为假。但不大可能假设前提真而结论假。因此，该论证强却不可信。

一个可信论证有两个本质特征：强并且所有前提都真。

一个不可信论证是或者（a）弱，或者（b）强但至少有一个假前提。

需要注意，根据我们的定义，可靠论证都不是可信的，因为有效的论证都不是强的。类似地，可信论证都不是可靠的，因为强的论证都不是有效的。也需要注意，带一个假前提的有效论证是不可靠的，但并不是不可信的，因为一个有效论证既不是强的也不是弱的。

我们已经将演绎逻辑定义为关于评价论证有效性和无效性的方法的逻辑分支。让我们现在做一补充，归纳逻辑（inductive logic）是关于评价论证强弱的方法的逻辑分支。所以，我们定义演绎逻辑和归纳逻辑，并不是根据它们所处理的论证类型，而是根据所采用的标准和方法。而且，事实上，我们可以采用两种逻辑分支的方法于同样的论证。例如，我们可以运用演绎逻辑方法来判定一个论证是无效的，进而又用归纳逻辑方法来判定同样的论证是强的（或者弱的）。根据定义，既然任一或者强或者弱的论证都是无效的，那么我们可以将本节讨论过的主要概念勾画如下：

无效论证

强论证 弱论证

所有前提都真的 至少有一个假前提 弱论证都是不可信的

强论证是可信的 的强论证是不可信的

注意，至少有一个假前提的强论证都是不可靠的（也是不可信的）。理由有二：（a）它们都是无效的，（b）它们都有一个假前提。当然，弱论证也都是不可靠的，因为所有弱论证都是无效的。而且，如果一个弱论证有至少一个假前提，那么它是不可靠的，既因为它无效也因为它有一个假前提。

一个强论证有如下本质特征：如果前提真，那么结论真是很可能的（但不必然）。

一个弱论证有如下本质特征：不大可能如果前提那么结论就真。

一个可信论证有两个本质特征：强和所有前提都真。

一个不可信论证是或者（a）弱，或者（b）强但有至少一个假前提。

归纳逻辑是关于检验强和弱的逻辑分支。

依次对术语做些一般性评述。注意，根据我们的定义，论证可以是强的、弱的、可信的、不可信的。但论证绝不会是真的，也绝不会是假的。前提和结论是或者真、或者假。但前提和结论都绝不会是强的、弱的、可信的、不可信的。

下列练习给予你一次机会来运用本节中所介绍的概念。

练习

一、匹配 将右栏中最符合左栏特征的字母填写在空格中。

__1.有效 A.一个或者真或者假的语句。

__2.无效 B.一个或者无效或者有一个假前提的论证。

__3.强 C.带（全部）真前提的一个强论证。

__4.弱 D.关于检验有效性和无效性的逻辑分支。

__5.可靠 E.如果前提真那么结论真是不大可能的。

__6.可信 F.带（全部）真前提的一个有效论证。

__7.陈述 G.关于检验强和弱的逻辑分支。

__8.不可靠 H.研究检验一个论证的前提是否足以支持其结论的方法。