形式逻辑错误：模态谬误

模态谬误（Modal Fallacy）：涉及必然性和可能性等模态概念的推理错误。也称：模态逻辑谬误、错误条件化、必然性谬误

例子：外星人有可能存在。因此，外星人肯定存在。

模态逻辑研究命题为真或为假的方式，最常见的是必然性和可能性。有些命题必然是真/假，而另一些命题可能是真/假。简而言之，模态谬误涉及通过混淆实际必要或可能的范围来使形式论证无效。

逻辑形式：

• 有条件的主张是使用必要的事实提出的。
• 因此，得出结论：可能的真理是必要的，没有条件陈述。

日常生活中常见的例子可能如下：

1. 米老鼠是美国总统。
2. 总统至少 35 岁。
3. 因此，米老鼠的年龄必须是 35 岁或以上。

这个结论是错误的，因为尽管米老鼠已经超过 35 岁，但从逻辑上讲，他没有这个必要。

例子：

• 如果 张三 和 李四 有两个儿子和两个女儿，那么他们肯定至少有一个儿子。
• 张三 和 李四 有两个儿子和两个女儿。因此，Debbie 和 TJ 一定至少有一个儿子。

或者说，在这种情况（上下文）下，是把适用于以 张三 和 李四 有两个儿子和两个女儿为条件的特定情况的或然事实，带到了他们不必有任何孩子的一般假设情况中去了。  

因此，如果他们不需要有任何孩子，那么他们当然也不需要（必然事实）至少有一个儿子。

模态谬误导致人们得出这样的结论：无论我们的计划、意图等如何，未来都将如此。因此，人们认为，既然两个事件中的一个在逻辑上必然为真，那么任何一方的行动都无法改变结果。

自由意志
自由意志论证存在模态谬误。

宿命论论证犯模态谬误，神学宿命论者给出了以下论点：

1. 当然，如果上帝知道你会做 X，那么你就会做 X。
2. 上帝知道你会做X。
3. 因此，你必然会做X。

该论证的形式无效。你会做X，但不是你一定会做X。
如果你是一个自由人，你可以做其他事情，如果你不这样做，那么上帝的预知就会不同。

无神论也会得出一个非常相似的宿命论论证：

• 必然地，如果这是真的，你会做 X，那么你就会做 X。
• 你确实会做X。
• 因此，你必然会做X。