下例是一個(gè)不可信論證，因?yàn)樗鼜?qiáng)但有一個(gè)假前提：

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

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

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

一個(gè)不可信論證是或者（a）弱，或者（b）強(qiáng)但至少有一個(gè)假前提。

需要注意，根據(jù)我們的定義，可靠論證都不是可信的，因?yàn)橛行У恼撟C都不是強(qiáng)的。類(lèi)似地，可信論證都不是可靠的，因?yàn)閺?qiáng)的論證都不是有效的。也需要注意，帶一個(gè)假前提的有效論證是不可靠的，但并不是不可信的，因?yàn)橐粋€(gè)有效論證既不是強(qiáng)的也不是弱的。

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

無(wú)效論證

強(qiáng)論證 弱論證

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

強(qiáng)論證是可信的 的強(qiáng)論證是不可信的

注意，至少有一個(gè)假前提的強(qiáng)論證都是不可靠的（也是不可信的）。理由有二：（a）它們都是無(wú)效的，（b）它們都有一個(gè)假前提。當(dāng)然，弱論證也都是不可靠的，因?yàn)樗腥跽撟C都是無(wú)效的。而且，如果一個(gè)弱論證有至少一個(gè)假前提，那么它是不可靠的，既因?yàn)樗鼰o(wú)效也因?yàn)樗幸粋€(gè)假前提。

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

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

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

一個(gè)不可信論證是或者（a）弱，或者（b）強(qiáng)但有至少一個(gè)假前提。

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

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

下列練習(xí)給予你一次機(jī)會(huì)來(lái)運(yùn)用本節(jié)中所介紹的概念。

練習(xí)

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

__1.有效 A.一個(gè)或者真或者假的語(yǔ)句。

__2.無(wú)效 B.一個(gè)或者無(wú)效或者有一個(gè)假前提的論證。

__3.強(qiáng) C.帶（全部）真前提的一個(gè)強(qiáng)論證。

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

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

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

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

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