Re: [閒聊] 石頭論證B版

看板W-Philosophy作者 (妖精尾巴魔導士)時間15年前 (2008/10/12 03:02), 編輯推噓2(2010)
留言12則, 2人參與, 最新討論串17/18 (看更多)
小弟是初學者 有錯請盡量鞭 我有一個提議 讓我們再看一次venner大大的文明語言 因為這些文明語言實在深奧又有趣 (就再看一次嘛 又不會少一塊肉 拜託) ※ 引述《venner (成功就在眼前)》之銘言: : 然而,其實"上帝不能造出自己舉不出來的石頭”這句話 :  並不能用來作為推翻"上帝是全能"的論據。 : 因為,當我們試圖用邏輯來論證或推翻一個論點時,必須用 :  符合邏輯的語言來進行。在這裡,全能是一個無限大的能力。 ^^^^^^ ^^^^^^^^^^^^^^^^^^^^^^ 這說法頗新鮮的 全能是一個能力 而且 這個能力無限大 我不知道這說法有沒有問題 因為我看不懂這句話的意思 (我是念番文長大的嘛) 但是我看的出來 venner大大要解釋「不能用來作為推翻『上帝是全能』的論據」 如果「上帝是全能」而且「在這裡,全能是一個無限大的能力」  那麼「上帝是一個無限大的能力」 原來這才是venner大大所關心的問題阿 (我比較關心石頭論證) :  假設上帝有能力造出無限大的石頭。並且,他也能舉起無限大的 : 石頭。那麼,這兩種無限大的能力比較起,究竟是哪一個比較大呢? : 答案是無法比較。雖然高等數學會說: :    當 無限大A+1=無限大B時 無限大B > 無限大A : 但實質上這種等式是假設的 根本就不可能有這種等式成立 : 這等於是說 假設1+1=1 是一種不存在可能性的假設 讓我們稍微簡化這個論證  無限大A+1=無限大B 根本就不可能有這種等式成立  這等於是說 假設1+1=1 是一種不存在可能性的假設 我猜venner大大的意思是        假設x+1=x 是一種不存在可能性的假設 如果我的猜測沒錯 那麼 venner大大想說的是 無限大A=無限大B              因此 兩個無限大的能力「無法比較」 (果然 文明語言很有趣) : 既然上帝的這兩種能力是無法比較的 : "上帝不能造出自己舉不出來的石頭"這種試圖比較這兩種能力 : 的假設就是無意義的 當一個人用無意義的假設來進行論證時 : 由於前題不具有意義 推論就不可能成真 : 所以 結論"上帝不是全能"就不能成真 嗯丟喔 邏輯學有一些基礎概念 其中包含︰ 1. 一個valid argument不一定是sound argument 2. 如果(P→Q) 那麼 ~P不保證~Q (好險 我學過初階邏輯) -- ※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 61.59.12.56

10/12 13:15, , 1F
補充一下:無限大可以有較大的無限大和較小的無限大
10/12 13:15, 1F

10/12 13:16, , 2F
integer和natural number都是無限大的集合
10/12 13:16, 2F

10/12 13:18, , 3F
而integer比natural大,因為integer包含了natural所有的數
10/12 13:18, 3F

10/12 13:19, , 4F
又包含了natural沒有的數:0
10/12 13:19, 4F

10/12 13:20, , 5F
我猜venner應該搞混無限的概念,所以我建議改用"無所不能"
10/12 13:20, 5F

10/12 13:20, , 6F
來表達石頭論證裡上帝的能力
10/12 13:20, 6F

10/12 13:32, , 7F
我以前曾經想過全能要如何表達的問題。我的proposal是這
10/12 13:32, 7F

10/12 13:33, , 8F
樣︰S是全能的iff對於任何命題p和任何時間t,S有能力使
10/12 13:33, 8F

10/12 13:34, , 9F
p在t時為真。
10/12 13:34, 9F

10/12 13:35, , 10F
如果要規避石頭論證,也可以改成,S是全能的iff對於任何
10/12 13:35, 10F

10/12 13:36, , 11F
時間t和任何融貫的命題集合sp,S有能力使所有屬於sp的命
10/12 13:36, 11F

10/12 13:36, , 12F
題在t時為真。
10/12 13:36, 12F
文章代碼(AID): #18yFX1cp (W-Philosophy)
討論串 (同標題文章)
文章代碼(AID): #18yFX1cp (W-Philosophy)