邏輯大全 · 26. 論不可能命題的換位

就不可能 [13] 命題的換位而言，應該注意，在複合的意義上理解，不可能命題的換位恰如與它們相應的非模態命題的換位一樣，只要這些相應的非模態命題是簡單換位。因為在這樣的情況下，人們根據「如果兩個可以互換的命題中的一個是不可能的， 那麼另一個也是不可能的」 這條規則進行論證。這條規則是真的。然而，如果相應的非模態命題僅僅是偶然地換位而不是簡單地換位，那麼一個複合意義上的不可能命題就不換位——任何與這樣一個命題等價的命題也不換位。這是因為，除非根據「如果前提是不可能的， 結論就是不可能的」 這條規則，否則這樣一個換位是不能成立的。但是這條規則是假的，因為前提是不可能的， 並且結論是必然的。 這樣，下面這樣的推論是有效的：「所有人不是動物是不可能的； 所以，所有動物不是人是不可能的」， 「有的人是驢是不可能的； 所以，有的驢是人是不可能的」， 「上帝是一個肉體的是者是不可能的； 所以，一個肉體是者是上帝是不可能的」 。然而，下面這樣的推論不是有效的：「每個動物是人是不可能的； 所以，有的人是動物是不可能的」， 「每個有行為或有潛能的是者是上帝是不可能的； 所以，上帝是一個有行為或有潛能的是者是不可能的」 如此等等。 另一方面，如果這樣一個不可能 命題在劃分的意義上理解或等價於一個這樣理解的命題，那麼它的換位就像與它相應的必然命題的換位一樣。因此，「有的白東西不可能是一個人；所以，有的人不可能是白的」這個推論不是有效的。因為這個前提是真的，而結論是假的。實際上，這個前提應該換位成「所以，有的不可能是人的東西是白的」。（與此相似，「所有白東西都不可能是人」這個命題不換位成「所以，所有人都不可能是白的」。相反，它換位成「所以，有的不可能是人的東西是白的」。） ＜奧卡姆本人刪去了下面一段。＞ 現在應該注意，當一個否定在模式之前時，它以某種方式改變了這個模式，從而這個命題不應該叫做那個模式的命題。所以，「沒有人可能是白的」這個命題是一個不可能 命題，而不是一個可能命題。同樣，「沒有人必然是白的」這個命題恰當地和嚴格地說不是一個必然命題。相反，它是一個可能命題，因為它等價於「每個人可能不是白的」。這樣，由於模式是否定的命題等價於其他模式的肯定命題，因此這樣的命題只是偶然地換位，而不是簡單地換位。因此，「任何是者都不必然進行創造」這個命題不換位成「所以，任何進行創造的是者都不必然是一個是者」。因為後者是假的，這是由於它的矛盾命題，即「有的進行創造的是者必然是一個是者」，是真的。因為這個進行創造的是者，這裡指上帝，必然是一個是者。我們所考慮的這個命題也不換位成「任何不必然進行創造的東西都不是一個是者」。由於前提是真的，而結論是假的，因此得不出這個推論。相反，這個命題換位成「所以，有的不必然進行創造的東西是一個是者」。 * * * [1] 這是一個含否定詞頭「im 」的詞，即「impossibili 」，因而叫做否定詞，但形式是肯定形式。為了區別，以黑體表示。——譯者