形式谬误（Formal fallacies）是推理形式错误的论证。
当一个论证的推理形式有误时，即使前提为真，也必然无法因此推理出结论为真。我们不需检验论据的具体内容，只要将推论符号化并加以检验，即可确认形式谬误的存在。
不当结论
不当结论（拉丁语：non sequitur）系指结论无法从已建立的前提推论出来。如果一个论证犯了形式谬误，其结论即属不当结论。
示例
- x比y大
- y比z大
- 因此z比x大
问题在于：根据前题，x应比z大。“z比x大”背离了上述的对确形式，这就是形式谬误。
示例
- 油条是好吃的
- 油条是食物
- 因此食物是好吃的
问题在于：食物并不总是好吃的，这是形式谬误。（因为油条只是食物一种，并非全部食物都是油条）