逻辑可能性

逻辑可能性指的是使用特定逻辑系统的公理和规则，不能被反驳的逻辑命题。一个命题的逻辑可能性取决于所考虑的逻辑系统，而不是取决于对任何单一规则的违反。有些逻辑系统限制从不一致的命题中进行推论，甚至允许真正的矛盾存在。其他逻辑系统有两个以上的真值，而不是这种值的二进制。然而，在谈论逻辑可能性时，人们往往假定有关的系统是经典的命题逻辑。同样，逻辑可能性的标准往往是基于一个命题是否矛盾，因此，常常被认为是最广泛的可能性类型。在模态逻辑中，如果一个逻辑命题在某个可能世界中是真的，那么它就是可能的。可能世界的范围取决于我们所处的逻辑系统的公理和规则，但是给定一些逻辑系统，任何逻辑上一致的语句集合都是一个可能世界。模态钻石算子逻辑可能性应该与其他种类的从句可能性区分开来。

但是模态之间的关系（如果有的话）是辩论的主题，可能取决于人们如何看待逻辑，以及逻辑与形而上学之间的关系。例如，许多追随索尔-克里普克的哲学家认为，诸如Hesperus=Phosphorus这样被发现的同一性在形而上学上是必要的，因为它们在术语有所指的所有可能世界中挑出了同一个对象。然而，”赫斯珀勒斯=磷”在逻辑上仍有可能是假的，因为否认它并不违反一致性这样的逻辑规则。其他哲学家也认为，逻辑上的可能性比形而上学的可能性更广泛，因此，任何在形而上学上可能的东西在逻辑上也是可能的。