形式謬誤

形式謬誤（Formal fallacies）是推理形式錯誤的論證。

當一個論證的推理形式有誤時，即使前提為真，也必然無法因此推理出結論為真。我們不需檢驗論據的具體內容，只要將推論符號化並加以檢驗，即可確認形式謬誤的存在。所有形式謬誤皆屬於演繹性謬誤。

§不當結論

不當結論（拉丁語：non sequitur）係指結論無法從已建立的前提推論出來。如果一個論證犯了形式謬誤，其結論即屬不當結論。

§示例

x比y大

y比z大

因此z比x大

問題在於：根據前題，x應比z大。「z比x大」背離了上述的對確形式，這就是形式謬誤。

§示例

油條是好吃的

油條是食物

因此食物是好吃的

問題在於：食物並不總是好吃的，這是非形式謬誤。（因为油条只是食物一种，并非全部食物都是油条）

§外部連結

• （英文） Logical Fallacy: Formal Fallacy
• （英文） http://editthis.info/logic/Formal_Fallacies