就不可能 [13] 命题的换位而言，应该注意，在复合的意义上理解，不可能命题的换位恰如与它们相应的非模态命题的换位一样，只要这些相应的非模态命题是简单换位。因为在这样的情况下，人们根据“如果两个可以互换的命题中的一个是不可能的， 那么另一个也是不可能的” 这条规则进行论证。这条规则是真的。然而，如果相应的非模态命题仅仅是偶然地换位而不是简单地换位，那么一个复合意义上的不可能命题就不换位——任何与这样一个命题等价的命题也不换位。这是因为，除非根据“如果前提是不可能的， 结论就是不可能的” 这条规则，否则这样一个换位是不能成立的。但是这条规则是假的，因为前提是不可能的， 并且结论是必然的。

这样，下面这样的推论是有效的：“所有人不是动物是不可能的； 所以，所有动物不是人是不可能的”， “有的人是驴是不可能的； 所以，有的驴是人是不可能的”， “上帝是一个肉体的是者是不可能的； 所以，一个肉体是者是上帝是不可能的” 。然而，下面这样的推论不是有效的：“每个动物是人是不可能的； 所以，有的人是动物是不可能的”， “每个有行为或有潜能的是者是上帝是不可能的； 所以，上帝是一个有行为或有潜能的是者是不可能的” 如此等等。

另一方面，如果这样一个不可能 命题在划分的意义上理解或等价于一个这样理解的命题，那么它的换位就像与它相应的必然命题的换位一样。因此，“有的白东西不可能是一个人；所以，有的人不可能是白的”这个推论不是有效的。因为这个前提是真的，而结论是假的。实际上，这个前提应该换位成“所以，有的不可能是人的东西是白的”。（与此相似，“所有白东西都不可能是人”这个命题不换位成“所以，所有人都不可能是白的”。相反，它换位成“所以，有的不可能是人的东西是白的”。）

＜奥卡姆本人删去了下面一段。＞

现在应该注意，当一个否定在模式之前时，它以某种方式改变了这个模式，从而这个命题不应该叫做那个模式的命题。所以，“没有人可能是白的”这个命题是一个不可能 命题，而不是一个可能命题。同样，“没有人必然是白的”这个命题恰当地和严格地说不是一个必然命题。相反，它是一个可能命题，因为它等价于“每个人可能不是白的”。这样，由于模式是否定的命题等价于其他模式的肯定命题，因此这样的命题只是偶然地换位，而不是简单地换位。因此，“任何是者都不必然进行创造”这个命题不换位成“所以，任何进行创造的是者都不必然是一个是者”。因为后者是假的，这是由于它的矛盾命题，即“有的进行创造的是者必然是一个是者”，是真的。因为这个进行创造的是者，这里指上帝，必然是一个是者。我们所考虑的这个命题也不换位成“任何不必然进行创造的东西都不是一个是者”。由于前提是真的，而结论是假的，因此得不出这个推论。相反，这个命题换位成“所以，有的不必然进行创造的东西是一个是者”。

* * *

[1] 这是一个含否定词头“im ”的词，即“impossibili ”，因而叫做否定词，但形式是肯定形式。为了区别，以黑体表示。——译者