形式謬誤

形式謬誤與“非形式謬誤”相對。指的是由於違反形式邏輯的規則而產生的推理形式不正確的各種謬誤。主要指運用演繹推理的各種形式時違反相應推理的邏輯規則而引起的各種謬誤。如由於違反換質法或換位法推理的規則而產生的直接推理的邏輯錯誤(比如，由SAP推出PAS，由SOP推出SIP等)；由於違反三段論規則而產生的各種三段論邏輯錯誤。

以及由於違反各種複合命題推理的規則而產生的複合命題推理形式不正確的邏輯錯誤。(比如，充分條件假言推理中肯定後件到肯定前件的邏輯錯誤和否定前件到否定後件的邏輯錯誤，相容選言推理中由肯定一肢到否定其餘肢的邏輯錯誤等。)從邏輯指號學(符號學)的角度而言，這類謬誤是一種產生於指號過程中語形方面的，即指號之間關係方面的謬誤，故又可稱為語形謬誤。形式謬誤可以用各種相應推理形式的規則予以明確判定。