Re: [閒聊] 石頭論證B版
※ 引述《sarsenwen (畢業就好)》之銘言：
: 假設上帝全能
（恕刪）
我想這裡大概有些誤解，
石頭論證根本不需要去假設上帝全能，就能夠得到上帝並非全能的結論。
因為它使用的並不是歸繆證法。
讓我們考慮「上帝能造出一個他舉不起來的石頭」這個句子。
排中律告訴我們，這個句子不是為真就是為假，
而不管是哪一種情況，都蘊涵了「有一件事是上帝作不到的」這個句子。
運用存在推廣規則，所以上帝並非全能。
你瞧，這裡頭根本沒有假設吧？
如果你硬要假設的話，事情會變得很傷腦筋...
我們要怎麼「假設上帝全能」呢？
根據上面的推論，「上帝是全能的」這個句子在我們的語句邏輯裡是個矛盾句，
不管什麼情況下都不會為真。
這麼一來「假設上帝全能」這個步驟就像「假設A且非A」這個步驟一樣了...
也不是說不能假設啦，只是幹麼要這麼做？這個步驟什麼都做不了啊。
「假設」這個步驟使用的時機有條件證法和歸繆證法兩種，
對前者來說，我們根本不需要多寫一個假設的步驟，
就能把一個矛盾句用conditional連接在任何句子前面。
對後者而言更加荒謬，因為在歸繆證法裡我們要得到的是一個矛盾，
然後我們最後會得到假設的否言這個結論。
然而對一個我們已經知道為假的句子，它的否言當然是真的，
我們根本不需要使用歸繆證法。
總而言之，硬要假設的話，我們啥也得不到。
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 140.123.28.126
※ 編輯: InAMinor 來自: 140.123.214.162 (10/09 23:08)
討論串 (同標題文章)
本文引述了以下文章的的內容：
閒聊
3
5
以下文章回應了本文 (最舊先)：
閒聊
2
2
完整討論串 (本文為第 5 之 18 篇)：
閒聊
1
1
閒聊
5
18
閒聊
3
5
閒聊
6
13
閒聊
2
2
閒聊
1
1