下例是一個不可信論證，因為它強但有一個假前提：

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

就目前所知，上述論證的前提為假，并且結(jié)論也為假。但不大可能假設(shè)前提真而結(jié)論假。因此，該論證強卻不可信。

一個可信論證有兩個本質(zhì)特征：強并且所有前提都真。

一個不可信論證是或者（a）弱，或者（b）強但至少有一個假前提。

需要注意，根據(jù)我們的定義，可靠論證都不是可信的，因為有效的論證都不是強的。類似地，可信論證都不是可靠的，因為強的論證都不是有效的。也需要注意，帶一個假前提的有效論證是不可靠的，但并不是不可信的，因為一個有效論證既不是強的也不是弱的。

我們已經(jīng)將演繹邏輯定義為關(guān)于評價論證有效性和無效性的方法的邏輯分支。讓我們現(xiàn)在做一補充，歸納邏輯（inductive logic）是關(guān)于評價論證強弱的方法的邏輯分支。所以，我們定義演繹邏輯和歸納邏輯，并不是根據(jù)它們所處理的論證類型，而是根據(jù)所采用的標準和方法。而且，事實上，我們可以采用兩種邏輯分支的方法于同樣的論證。例如，我們可以運用演繹邏輯方法來判定一個論證是無效的，進而又用歸納邏輯方法來判定同樣的論證是強的（或者弱的）。根據(jù)定義，既然任一或者強或者弱的論證都是無效的，那么我們可以將本節(jié)討論過的主要概念勾畫如下：

無效論證

強論證 弱論證

所有前提都真的 至少有一個假前提 弱論證都是不可信的

強論證是可信的 的強論證是不可信的

注意，至少有一個假前提的強論證都是不可靠的（也是不可信的）。理由有二：（a）它們都是無效的，（b）它們都有一個假前提。當然，弱論證也都是不可靠的，因為所有弱論證都是無效的。而且，如果一個弱論證有至少一個假前提，那么它是不可靠的，既因為它無效也因為它有一個假前提。

一個強論證有如下本質(zhì)特征：如果前提真，那么結(jié)論真是很可能的（但不必然）。

一個弱論證有如下本質(zhì)特征：不大可能如果前提那么結(jié)論就真。

一個可信論證有兩個本質(zhì)特征：強和所有前提都真。

一個不可信論證是或者（a）弱，或者（b）強但有至少一個假前提。

歸納邏輯是關(guān)于檢驗強和弱的邏輯分支。

依次對術(shù)語做些一般性評述。注意，根據(jù)我們的定義，論證可以是強的、弱的、可信的、不可信的。但論證絕不會是真的，也絕不會是假的。前提和結(jié)論是或者真、或者假。但前提和結(jié)論都絕不會是強的、弱的、可信的、不可信的。

下列練習給予你一次機會來運用本節(jié)中所介紹的概念。

練習

一、匹配 將右欄中最符合左欄特征的字母填寫在空格中。

__1.有效 A.一個或者真或者假的語句。

__2.無效 B.一個或者無效或者有一個假前提的論證。

__3.強 C.帶（全部）真前提的一個強論證。

__4.弱 D.關(guān)于檢驗有效性和無效性的邏輯分支。

__5.可靠 E.如果前提真那么結(jié)論真是不大可能的。

__6.可信 F.帶（全部）真前提的一個有效論證。

__7.陳述 G.關(guān)于檢驗強和弱的邏輯分支。

__8.不可靠 H.研究檢驗一個論證的前提是否足以支持其結(jié)論的方法。