可能性 (3-2)

说完可能世界回到形而上可能性。一部分人觉得形而上可能性就是逻辑可能性。只要是逻辑上可能的就是可能的。理由是这样的：我们可以承认一个没有理由的事实(brute fact)，并且觉得这个事实就是没有理由的，比如世界上存在蚊子而不是不存在蚊子。至少我们理性上允许它可以是没有任何理由的（虽然不知道它到底是不是理由的），我们的世界大概最终也会有一些最基本的事实，这些事实就是没有理由的。但是我们很难说存在一些没有理由的不可能性/必然性(brute impossibility/necessity)。比如，你说这个世界不可能没有蚊子，而且没有理由，就是不可能没有。这个在我们的直觉看来是错的。当我们说一件事情是必然的时候，比如一顶绿色的帽子必然是有颜色的，我们一定有一个理由，这个理由便是逻辑规则（当然逻辑规则本身是直觉上的，本身没有理由），既绿色是有颜色的一种。因此，我们似乎找不到任何东西虽然是逻辑可能的，但是是形而上不可能的，因为既然逻辑上允许了这种可能性，你无法找到一个没有理由的理由去说这个东西就是不可能的。没有理由，就是不可能！

但是有些人认为有一些逻辑可能，但是形而上不可能，但是仍然是有逻辑规则做支撑的例子。虽然Kripke在他的《命名与必然性》(Naming and Necessity)中没有明确说明他觉得这是什么可能性，但他认为水必然是H2O，而且是in the highest sense（翻译不好，大概是最高意义上的可能，所以据此我觉得他想说的还是逻辑可能性...不过我教授不这么认为）。为什么认为水必然是H2O呢。举个例子，我眼前的这张桌子是由某块木头做成的。现在，如果我们用金属做成和这张桌子完全一样的样子，放到和它现在完全一样的位置，那么这张新的桌子是原来的桌子呢？显然不是。就算原来那张桌子从来没有被制作出来过，这张金属桌子也不是那张桌子。如果我们用的还是木头，但是不是原来那块木头来做一张新桌子呢？显然它还不是原来那张桌子，否则同一个批次做出来的一堆一样的桌子就都是一个了。因此，Kripke认为一个东西必然是由它实际上构成的东西组成的。然而直觉上，我们并不认为水一定是H2O啊？而且好像也没有啥逻辑规则在这啊？这里，[水不是H2O]就是一个一些人认为逻辑可能但是形而上不可能的事态。进阶可以看这个答案 如何理解克里普克的本质主义？ - 知乎 ，但是这个答案可以说是很进阶了，反正我是最近才看懂的...

但是我为什么认为这个还是逻辑上不可能的呢？因为这里就是有一个隐藏的逻辑规则，既一个东西必然是它自己。如果构成一个东西的质料不一样了，那么它就不是它自己了，那么当然这是逻辑上不可能的了...这就是为什么我在一开始说逻辑必然性的时候把[仅仅]加粗了，因为也许在某种定义上，我们可以定义逻辑可能性为有逻辑规则支撑就可以。在水必然是H2O这个例子上，我们有[一个东西必然是它自己]这个逻辑规则支撑，同时我们需要一个经验上的证据(empirical evidence)，既水是H2O构成的。因此原先的定义中[可先天认知的]这个条件也需要删除...

扯远了。还有一些人觉得存在一些逻辑可能，形而上不可能，而且不需要逻辑规则支撑的事态。这些人我觉得他们脑子有泡...

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