邏輯效度

效度haau6 dou6（英文：validity）喺邏輯學上係指論證可以有嘅一種特性。如果話一個論證缺乏邏輯效度，即係話個論證嘅結論唔可以由啲前件嗰度合理噉推理出嚟。

概論

内文：形式謬論

喺哲學同邏輯學上，有效嘅論證（valid argument）指緊某一類嘅論證，佢哋嘅結論係可以合理噉樣由啲前件命題嗰度推理出嚟嘅，所以如果佢啲前件命題係合理嘅話，噉佢個結論都實會合理（但如果啲前件唔真確，噉結論就未必真確）。用行話講嘅話就係，如果一個論證有效嘅話，噉佢啲前件嘅真確性會保證到結論嘅真確性。

否定前項（denying the antecedent）係一種常見嘅形式謬論（唔有效嘅論證），指個論證靠否定一個前件嚟否定個前項嚟「證明」個後項。一個否定前項嘅謬論結構係以下噉樣嘅：

如果 ${\text{P}}$ 係真確，${\text{Q}}$ 就會係真確。

${\text{P}}$ 唔係真確。

結論：${\text{Q}}$ 唔係真確。

舉個例說明：

如果一個人係蘇格拉底（${\text{P}}$），噉「佢係一個人」（${\text{Q}}$）呢句嘢會係真確，${\text{P}}\rightarrow {\text{Q}}$。

阿里士多德唔係蘇格拉底（${\text{P}}$ 唔真確）。

阿里士多德唔係一個人（荒謬嘅結論）。

否定前項呢個謬論可以用集合論（set theory）嘅角度嚟思考。想像家陣有三個集（set），${\text{A}}$、${\text{B}}$ 同 ${\text{C}}$，當中 ${\text{A}}$ 係 ${\text{B}}$ 嘅子集（subset；簡單講即係屬 ${\text{A}}$ 嘅嘢冚唪唥都屬 ${\text{B}}$），而 ${\text{B}}$ 係 ${\text{C}}$ 嘅子集（睇下圖）。如果有嚿嘢屬 ${\text{A}}$，噉嚿嘢實會屬 ${\text{B}}$，但就算一嚿嘢唔屬 ${\text{A}}$，嚿嘢依然有可能會屬 ${\text{B}}$ 。

睇埋

• 歸納同歸納問題