可能性 (3-1)

逻辑可能性(logical possibility) 指的是可先天认知的(a priori)，仅仅由逻辑规则(only by logical rules)决定的可能性。比如1+1=3是逻辑上不可能的，我身高1米6是逻辑上可能的，一个东西是它本身是逻辑上必然的(logically necessary)。

形而上可能性(metaphysical possibility)：当一个事态(state of affairs)至少在一个可能世界(possible world)中为真时，这个事态是形而上可能的。我们先介绍可能世界再回来继续说形而上可能性。

可能世界(possible world)比较复杂，大致上来说，可能世界是被用来讨论什么是可能(what could have been the case)的工具。我个人比较认同Kripke而不是David Lewis的解释，虽然当年（2，3个月之前）也挺喜欢David Lewis的解释来着...Kripke的解释大致为可能世界是被我们通过操纵/改变一些事态的真值（也就是真假）所构建出来的一个世界。比如你可以说在一个可能世界中，我的身高是1米6。这就是你把现实世界中[我的身高是1米6]这个事态的真值[假]改成了[真]所构建的可能世界。一般来说，你所关心的只是你所改变的这些事态，世界上的其他无关事态都不变（比如2002年的第一场雪什么时候来的），而一些其他可能受到影响的事态（比如我能不能找到女朋友）则会受到讨论。David Lewis则是觉得可能世界也是真实(real)的世界，所有的可能的世界都是真实的，和我们现实世界一样的真实...我之前听到这个理论觉得，哇，牛逼！我也这么觉得！多看了两遍Kripke之后觉得，哦，Lewis应该是错的...可以再看看 什么是「可能世界」(Possible World)？ 了解一下。

最近可能世界(nearest world)用的不多，我其实完全没有看到人用过，大概就是只改变一个事态的真值构建出来的世界，【我猜Lewis用的比较多，估计用来解决跨世界身份同一(transworld indentity)的吧...transworld identity是说，根据Lewis的理论，既然可能世界和我们的世界同样真实，那么我们怎么能说那个世界的我就是这个世界的我呢？就像有两个苹果同样真实，它们怎么可能是一个呢...Lewis就说了，啊有个东西叫counterpart（对应的东西），两个东西在重要的方面很像的话他们就是counterparts，我们说在这个可能世界中的这个人是我的counterparts就是因为这个人和我很多方面很像，比如都长这样，父母都长这样（我们还得考虑父母的transworld identity...)。然后我想到这就开始觉得Lewis的理论其实还是在扯着玩罢了...】

数学联邦政治世界观提示您：看后求收藏（同人小说网http://tongren.me），接着再看更方便。