一個無效論證的本質特征是：當其前提都真時，結論不必然真。

有效性本身并不要求一個論證的前提必須真實。但是，我們顯然又要求我們所進行的論證要有真實的前提。一個可靠論證（sound argument）有兩個本質特征：一是推理有效，二是前提都是真實的。注意，一個可靠論證不能有假結論。因為一個可靠論證是有效的，并且只能有真實的前提，所以，它必定有真實的結論。以下是兩個可靠論證：

23.所有牧羊犬是犬。所有犬是動物。所以，所有牧羊犬是動物。

24.如果阿科龍是俄亥俄人，那么阿科龍是美國人。阿科龍是俄亥俄人。所以，阿科龍是美國人。

有效+全部真前提=可靠

一個不可靠論證（unsound argument）有下列三種情況：

有效但至少有一個前提假。

無效但所有前提都真；

無效并且至少有一個假前提。

換句話說，一個不可靠論證，或者無效或者至少有一個前提假。例如，下列兩個論證都是不可靠的。

25.所有鳥是動物。有些灰熊不是動物。所以，有些灰熊不是鳥。

26.所有鳥是動物。所有灰熊是動物。所以，所有灰熊是鳥。

上例中的（25）是不可靠的，因為盡管該論證有效，但它有一個假前提，即第二個前提是假的。（26）也是不可靠的，因為盡管該論證的前提都是真的，但卻是無效的推理。我們還可以很容易地構造不可靠論證的第三種類型，即用“樹”來取代例（26）中的“鳥”，則推理就是無效的并且至少有一個假前提。

27.所有樹都是動物。所有熊都是動物。所以，所有熊都是樹。

一個不可靠論證是指，或者無效或者至少有一個假前提。

下面是我們到目前為止所討論過的主要概念圖表：

論證

有效論證 無效論證

所有前提真都真的 至少有一個前提假 所有無效論證都

有效論證是可靠的 的有效論證是不可靠的 是不可靠的

演繹邏輯是關于檢驗有效性和無效性的邏輯分支。3本書的絕大部分都是考察演繹邏輯的。事實上，接下來的兩節(jié)將提供給我們一些初步的檢驗方法，來確立論證的有效性和無效性。

本節(jié)著重是關于術語的解釋。根據(jù)我們的定義，論證既不真也不假，但一個陳述則是或者真、或者假的。另一方面，論證可以是有效的、無效的、可靠的、不可靠的；但陳述不能是有效的、無效的、可靠的、不可靠的。所以，一個給定前提（或者結論），是或者真或者假的，但它不能是有效的、無效的、可靠的、不可靠的。

定義概要

一個論證是一個陳述系列，其中一個稱為結論，該結論又是根據(jù)其它被稱為前提的陳述而得到斷定的。

邏輯是研究評價一個論證的前提是否足以支持（或者提供良好證據(jù)）其結論的方法。

一個有效論證具有如下本質特征：必然如果前提真，則結論真。

一個無效論證具有如下本質特征：當前提為真時，結論不必然真。

一個可靠論證具有兩個本質特征：有效和前提都真。

一個不可靠論證是或者無效或者有至少一個假前提。

演繹邏輯是關于檢驗有效性和無效性的邏輯分支。

下列練習提供給您一個機會，來檢查本節(jié)所介紹的概念。