Puppet

另頁的石頭問題你的比較有錯謬
石頭問題：上帝（未肯定是否全能）能否造一塊祂舉不起的石頭？
邏輯問題：邏輯（未肯定是否全能）能否推論出一個它不能證明/反證的命題？
請比較「能否...」部分

如透過邏輯「推論」出某個命題正確時，我們會說該命題邏輯上被證明了（反證亦然）

「推論（證明/反證）出一個它不能證明/反證的命題」是自我矛盾的
但「造一塊祂舉不起的石頭」是不矛盾的
人們覺得「造一塊祂舉不起的石頭」矛盾是因為先假設了上帝全能

Puppet

12# 抽刀斷水  
關於邏輯，邏輯之王數學早已為我們推論出principle of undecidability，邏輯證明他自己是無法證明/反證某些命題的真偽。
http://en.wikipedia.org/wiki/List_of_undecidable_problems
http://en.wikipedia.org/wiki/Continuum_hypothesis
這樣說來，邏輯到底是否全能？
jimmychauck 發表於 2009/3/5 09:54

不懂那麼多英文數學

「邏輯證明他自己是無法證明/反證某些命題的真偽。」
如果你的論證是基於這principle的話
我只能說你的論證中間有矛盾：「推論出一個它不能證明/反證的命題」
因此不能將石頭問題納入某些命題中

你將試圖將「邏輯問題」和「石頭問題」加上平行性
但，「可能一」的結論是沒必然性的