※ 引述《sarsenwen (毕业就好)》之铭言： : 假设上帝全能 （恕删） 我想这里大概有些误解， 石头论证根本不需要去假设上帝全能，就能够得到上帝并非全能的结论。 因为它使用的并不是归缪证法。 让我们考虑「上帝能造出一个他举不起来的石头」这个句子。 排中律告诉我们，这个句子不是为真就是为假， 而不管是哪一种情况，都蕴涵了「有一件事是上帝作不到的」这个句子。 运用存在推广规则，所以上帝并非全能。 你瞧，这里头根本没有假设吧？ 如果你硬要假设的话，事情会变得很伤脑筋... 我们要怎麽「假设上帝全能」呢？ 根据上面的推论，「上帝是全能的」这个句子在我们的语句逻辑里是个矛盾句， 不管什麽情况下都不会为真。 这麽一来「假设上帝全能」这个步骤就像「假设A且非A」这个步骤一样了... 也不是说不能假设啦，只是干麽要这麽做？这个步骤什麽都做不了啊。 「假设」这个步骤使用的时机有条件证法和归缪证法两种， 对前者来说，我们根本不需要多写一个假设的步骤， 就能把一个矛盾句用conditional连接在任何句子前面。 对後者而言更加荒谬，因为在归缪证法里我们要得到的是一个矛盾， 然後我们最後会得到假设的否言这个结论。 然而对一个我们已经知道为假的句子，它的否言当然是真的， 我们根本不需要使用归缪证法。 总而言之，硬要假设的话，我们啥也得不到。 --

※ 发信站: 批踢踢实业坊(ptt.cc) ◆ From: 140.123.28.126 ※ 编辑: InAMinor 来自: 140.123.214.162 (10/09 23:08)