※ 引述《sarsenwen (畢業就好)》之銘言： : 假設上帝全能 （恕刪） 我想這裡大概有些誤解， 石頭論證根本不需要去假設上帝全能，就能夠得到上帝並非全能的結論。 因為它使用的並不是歸繆證法。 讓我們考慮「上帝能造出一個他舉不起來的石頭」這個句子。 排中律告訴我們，這個句子不是為真就是為假， 而不管是哪一種情況，都蘊涵了「有一件事是上帝作不到的」這個句子。 運用存在推廣規則，所以上帝並非全能。 你瞧，這裡頭根本沒有假設吧？ 如果你硬要假設的話，事情會變得很傷腦筋... 我們要怎麼「假設上帝全能」呢？ 根據上面的推論，「上帝是全能的」這個句子在我們的語句邏輯裡是個矛盾句， 不管什麼情況下都不會為真。 這麼一來「假設上帝全能」這個步驟就像「假設A且非A」這個步驟一樣了... 也不是說不能假設啦，只是幹麼要這麼做？這個步驟什麼都做不了啊。 「假設」這個步驟使用的時機有條件證法和歸繆證法兩種， 對前者來說，我們根本不需要多寫一個假設的步驟， 就能把一個矛盾句用conditional連接在任何句子前面。 對後者而言更加荒謬，因為在歸繆證法裡我們要得到的是一個矛盾， 然後我們最後會得到假設的否言這個結論。 然而對一個我們已經知道為假的句子，它的否言當然是真的， 我們根本不需要使用歸繆證法。 總而言之，硬要假設的話，我們啥也得不到。 --

※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 140.123.28.126 ※ 編輯: InAMinor 來自: 140.123.214.162 (10/09 23:08)