形式謬誤

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

任何論證都可依其前提與結論之間的關係分成「有效」（valid）和「無效」（invalid）的。一個論證是有效的，若且唯若在該論證的前提全部為真時結論就不可能為假，換言之，對一有效論證來說，當其前提全部為真時就能確保其結論亦為真。在判斷一個推論是否有效時，我們可以直接根據前提與結論的內容進行判斷，也可以利用特定邏輯系統的形式語言適當地翻譯一個論證的前提與結論，再根據該論證之前提與結論的形式結構將論證分成有效的推論形式與無效的推論形式。凡是符合某個有效推論形式的論證都是有效論證；反之，凡是符合某個無效推論形式，且不符合任何有效推論形式的論證，就都是無效論證。（有些論證可以同時符合某個有效推論的形式與某個無效推論的形式，此時會基於該論證符合某個有效推論的形式而使該論證為有效論證。）當一個論證因為符合某個無效推論的形式，且又不符合任何有效推論形式時，我們便稱該論證犯了形式上的謬誤。與非形式謬誤不同，我們不需檢驗論據的具體內容，只要將推論符號化並加以檢驗，即可確認形式謬誤的存在。