形式谬误
形式谬误与“非形式谬误”相对，指的是由于违反形式逻辑的规则而产生的推理形式不正确的各种谬误。主要指运用演绎推理的各种形式时违反相应推理的逻辑规则而引起的各种谬误。形式谬误的存在不需要检验论据的具体内容，只要将推论符号化并加以检验即可确认。与之相对的是非形式谬误，需要检验论据的具体内容。
内容简介
形式谬误涉及的是论证的形式结构，而非其内容的真实性。一个论证是有效的，当且仅当在该论证的前提全部为真时结论就不可能为假。有效的推论形式能确保前提为真时结论亦为真。在判断一个推论是否有效时，可以根据前提与结论的内容进行判断，也可以利用特定逻辑系统的形式语言将论证的前提与结论翻译后，根据其形式结构判断。凡是符合有效推论形式的论证都是有效的；反之，凡是符合无效推论形式且不符合任何有效推论形式的论证，就是无效的。当一个论证因为符合无效推论的形式而不符合任何有效推论形式时，我们称该论证犯了形式上的谬误。
形式谬误包括直接推理的逻辑错误，如由于违反换质法或换位法推理的规则而产生的错误（比如，由SAP系统推出PAS，由SOP推出SIP等）；由于违反三段论规则而产生的各种三段论逻辑错误。此外，还包括复合命题推理的逻辑错误，如充分条件假言推理中肯定后件到肯定前件的逻辑错误和否定前件到否定后件的逻辑错误，相容选言推理中由肯定一肢到否定其余肢的逻辑错误等。从逻辑指号学（符号学）的角度而言，这类谬误是一种产生于指号过程中语形方面的，即指号之间关系方面的谬误，故又可称为语形谬误。形式谬误可以用各种相应推理形式的规则予以明确判定。
示例
形式谬误的一个典型示例是：
1. 如果下雨，地面会湿。
2. 地面湿了。
3. 因此，一定是下雨了。
这个推理犯了肯定后件的形式谬误，因为地面湿可能有其他原因，如浇水等。正确的逻辑推理应该是：
1. 如果下雨，地面会湿。
2. 没有下雨。
3. 因此，地面不会湿。
这里遵循了否定前件的逻辑规则，没有犯形式谬误。