模态谬误

模态谬误的形式谬误是发生在模态逻辑中的一种特殊类型的谬误。它是将一个命题放在错误的模态范围内的谬误，最常见的是混淆了什么是必然真实的范围。当且仅当一个陈述不可能是不真实的，并且没有任何情况会导致该陈述是错误的，该陈述才被认为是必然真实的。一些哲学家进一步争辩说，一个必然是真的陈述必须在所有可能的世界中都是真的。在模态逻辑中，一个命题◻P{displaystyleBoxP}和◻¬P{displaystylelnotP}，分别意味着它在逻辑上必须是真的或假的；或者它有可能是真的或假的（表示为)，意味着它是真的或假的，但它在逻辑上并不是必须如此：它的真假是偶然的。当两者之间的区别被混淆时，就会出现模态谬误。

在模态逻辑中，有一个重要的区别，那就是什么是逻辑上必须是真的，什么是真的但不是逻辑上必须是的。

假设声明A的胜利是由以下因素造成的.在这里，只有A赢或B赢的陈述中的一个是真的，这是真的。换句话说，只有一个⋄.因此，人们认为，由于这两个事件中的一个在逻辑上必然是真实的，任何一个人的行动都不能改变结果。斯沃茨还认为，自由意志的论证受到模态谬误的影响。