67.如果上帝不能阻止罪惡，那么上帝不是全能的。如果上帝不想阻止罪惡，那么上帝不是全善的?；蛘呱系鄄荒茏柚棺飷?，或者上帝不想阻止罪惡。因此，或者上帝不是全能的，或者上帝不是全善的。

上述推理很好地表明了，如何用邏輯通過(guò)反駁的方式來(lái)具體闡述一個(gè)問(wèn)題。因?yàn)樵撜撟C有效，所以如果前提真則結(jié)論必定真。而且，第一個(gè)前提似乎不可否定。就是直接反對(duì)上述論證的有神論者也幾乎不能否定第三（選言）個(gè)前提。（如果上帝能夠阻止罪惡，那么上帝必定是因?yàn)槟硞€(gè)理由而不想阻止它）。歷史上，爭(zhēng)論集中在第二個(gè)前提上，宗教學(xué)家認(rèn)為上帝并不想消除全部罪惡，因?yàn)樽飷簩?duì)于導(dǎo)致某種良好結(jié)果來(lái)說(shuō)是必要的（例如，自由人的精神成熟）。

過(guò)程

我們到現(xiàn)在所考察的“著名的”形式，對(duì)于判定論證的有效性是相當(dāng)有用的。許多論證或者具有這些形式之一，或者當(dāng)簡(jiǎn)化概括時(shí)自然地并入這些形式之一。為了充分利用這些新工具，我們采用下列過(guò)程。首先是識(shí)別一個(gè)陳述中的支陳述，并且像我們?cè)谡麄€(gè)本節(jié)中所做的那樣，用大寫字母在它們上面貼標(biāo)簽。為了避免出錯(cuò)，陳述的每一部份都寫一個(gè)大寫字母表示，并將否定考慮在內(nèi)。如下：

A B 非B 非A

68.肯老了，僅當(dāng)他過(guò)了七十歲。但肯并沒(méi)有過(guò)七十歲，因此他并不老。

其次，重寫論證，用大寫字母代替語(yǔ)言陳述，并消除變體。用這種方式重寫論證（68），我們得到：

69. 1.如果A，那么B。

2.非B。

因此，3.非A。

第三，識(shí)別任何出現(xiàn)的“著名的”形式并評(píng)價(jià)有效性。上述形式是否定后件式，因此該論證是有效的。如果我們的“著名”形式中沒(méi)有一個(gè)被用到，并且論證似乎無(wú)效，則盡力構(gòu)造一個(gè)反例。當(dāng)然，如果論證是有效的，則不可能構(gòu)造一個(gè)反例。而且，為了評(píng)價(jià)一個(gè)更廣范圍的有效論證，我們將需要另外的工具，如本書后續(xù)章節(jié)中引入的那些工具。

運(yùn)用形式判定有效性

第一步。識(shí)別論證中的支陳述，并用大寫字母標(biāo)明。

第二步。重寫論證，運(yùn)用大寫字母代替語(yǔ)言陳述。消除任意變體。

第三步。識(shí)別任何出現(xiàn)的“著名的”形式，并評(píng)價(jià)有效性。如果沒(méi)有采用任何“著名的”形式，而且論證似乎無(wú)效，則試圖構(gòu)造反例。

當(dāng)采用我們的三步驟時(shí)，點(diǎn)明一些可能引起的復(fù)雜性也許是有用的?？紤]下列論證：

A B

70.阿里斯是一個(gè)跑得快的人，如果她在4分鐘內(nèi)能跑完1英里。但阿里斯在4分鐘內(nèi)不能跑完1英里。所以，阿里斯不是一個(gè)跑得快的人。

非B 非A

當(dāng)我們用大寫字母重寫該論證并消除變體后，我們得到：

71. 1.如果B，那么A。

2.非B。

因此，3.非A。

我們貼標(biāo)簽的條件句是“如果B，那么A”，而不是“如果A，那么B”。但這不是一個(gè)問(wèn)題——不必試圖按字母順序來(lái)安排字母出現(xiàn)。重要的是要注意，第二個(gè)前提否定條件前提的前件，而結(jié)論否定條件前提的后件。所以，我們有一個(gè)否定前件謬誤的例證，而且該論證是無(wú)效的。

下面是另一個(gè)論證，它在應(yīng)用我們的三步驟時(shí)所引起的復(fù)雜性會(huì)少一些：

A B A B

72.太陽(yáng)在閃耀；但房間是熱的，倘若太陽(yáng)在閃耀；因此，房間是熱的。