香港 Xocat Forum 討論區 - Powered by Discuz! Board

標題: [檔案] 轉貼:如何用邏輯及集合論證明上帝不全能? [打印本頁]

作者: 花之慶次 時間: 2008-2-1 21:33 標題: 轉貼:如何用邏輯及集合論證明上帝不全能?

其實"上帝全能"可以有兩種定義:
命題1. 上帝能做所有合或不合乎邏輯的事情.
命題2. 上帝能做所有合乎邏輯的事情.

命題1, 可以舉出反例如下: 上帝不能畫出有角的圓 -> 上帝不全能.

因為有角的圓是邏輯上不可能, 因此上帝畫出一個有角的圓是不可能. 而有角的圓是沒有意思. "上帝能做所有合或不合乎邏輯的事情"當然是一個不對確的命題. 在這定義下, 上帝不全能.

設有一個集合Set A, 是所有合或不合乎邏輯的事情之集合. 這些事情, 在集合論中稱為原素Element.

集合Set A的原素有很多很多, 包括: 1. 能吃一碗飯. 2. 能造出任何合邏輯的東西. 3. 能畫出一個有角的圓, 或 4. 能舉起任何合邏輯的東西, ...等等

"3. 能畫出一個有角的圓"的不可能, 就是一反例. 所以命題1不成立.

但是, 我跟著會證明命題 2 下的所為"上帝全能", 也是不可能...
對命題2: "上帝能做所有合乎邏輯的事情." 為何不可能. 我用邏輯證明, 加集合論解釋.

用反證法證明上帝不全能更是簡單:

方法: 先假定上帝全能. 然後找出引至自相矛盾的例子 -> 否證上帝全能.
...
Steps: (如果上帝全能 -> 上帝可以做所有合乎邏輯的事情 -> 上帝可以造出任何石頭 -> 上帝可以做出衪舉不起的石頭 -> 但舉不起石頭即不全能 -> 所以上帝同時全能並且不全能 -> 矛盾)

因為上帝不是全能, 就是不全能. "上帝全能"及"上帝不全能"是排中關係, 而"上帝全能"可推出矛盾, 所以上帝只能為不全能.

=-> 上帝不全能.
針對命題2的另一種證法如下:

其實, 李天命博士提出的"上帝能否造出一塊衪舉不起的石頭" 正正就是針對命題2 所提出的兩難式排中反例對結構. 以證明上帝不是全能. 即是即使是上帝要能做到全部合邏輯的事情, 也是不可能. 因為要能做出所有合邏輯的事情, 本身就是不合邏輯.

我們先根據Set A, 把不合邏輯的事物棄掉. 其實就是在Set A取出一子集合Set B. Set B is a subset of Set A.

Set B 定為包括所有合邏輯原素的集合. 例如: 1. 能吃一碗飯. 2. 能造出任何合邏輯的東西. 3. 能舉起任何合邏輯的東西, ...等等

但"能畫出一個有角的圓"這種不合邏輯的事不屬於此集合 Set B. 而是屬於Set A\B, 而Set A\B是Set A 的另一子集. Set B 及 SetA\B 是互相排中的關係. 意思即((Set B) U (SetA\B)) = Set A 並且 ((Set B) Intersections (SetA\B)) = 空集.

上帝全能, 可化為全稱命題 " 對於所有原素 x 於Set B 內, P(x): 上帝能做出事情 x ".
即上帝能做出所有合邏輯的事情.

針對此, 不能簡單抽出一原素作為反例以證明上帝不全能. 原因是在邏輯學上, 任何合乎邏輯的命題, 都是邏輯上可能的. 即是你可以設想一種可能是上帝能造出所有石頭, 另一種可能是上帝能舉起所有石頭. 只要是兩種可能的其中一種都沒有問題. 但如是要兩種可能都實現, 便要再證明是否可能.

現在, 只能針對Set B, 並至少用兩個以上並且意思為互相矛盾的原素, 設計一組兩難式, 迫上帝在兩種排中的可能性下, 都必然做不到另一樣原素所描述的事情.

這所以邏輯學家在Set B中抽出其中一個原素如"能造出衪舉不起的石頭" .

再抽出另一個對應的原素"能舉起任何石頭".

然後設計兩個命題:

命題a = Q(y1): 上帝能造出y1 而Set Y 是一個包括所有石頭的集合. 而y1是代表衪舉不起的石頭並且是Set Y的其中一個原素.

命題~a = ~ Q(y1): 上帝不能造出y1 而Set Y 是一個包括所有石頭的集合. 而y1是代表衪舉不起的石頭並且是Set Y的其中一個原素. ~ 的意思為 "非".

以上並無假設上帝是全能或不全能. 而是設計兩難式及可能性反例.

現在, 根據邏輯學定律命題 a 及命題 ~ a 為互相矛盾的命題關係. 是與非的關係亦為邏輯排中律的關係. 在命題 a 及命題 ~ a 之外, 不可能有第3個命題能包括另外的可能性.

[(a) v (~a)] => T (恆真的對確)

而v 的意思為邏輯學上的 or (即"或者")

例如: 你不能說上帝同時能及不能造出他舉不起的石頭. 因犯邏輯矛盾律.
你也不能說上帝不為便可. 因為"能與不能"問題不處理"為與不為", 因為即使上帝不為, 你也只能說根本不知上帝能否造出一塊衪舉不起的可頭. 但他的能力仍被困在兩種可能性之間的一種. 因此, "為"不是另一可能, 而是另一題材. 硬加入"為與不為", 就是違反邏輯排中律. 並且是離題.

如果你把"上帝全能論", 偷換為"上帝全為論", 更是犯上偷換命題的謬誤.

現在回到兩難式為中:

第一難是命題 a ->上帝不全能, 因為上帝舉不起石頭是反例m.
第二難是命題 ~ a ->上帝不全能, 因為上帝造不出衪舉不起的石頭也是反例n.

兩難式為 [(a) v (~a)] -> ~"對於所有x於Set B, P(x): 上帝能做事情 x ."

即等於說 "至少有一個 x 於Set B, ~P(x): 上帝不能做事情 x ."

現在不是一定引伸出反例m, 也不是一定引伸出反例n. 而是"全能論"若不是引伸出反例m就是引伸出反例n, 反之亦然. 不過, 當中必然至少有一個反例出現以推翻上帝全能論.

由於用 Set B 之原素造出的兩難反例對: "上帝不能做出衪舉不起的石頭" 或 "上帝不能舉起衪所做的衪舉不起的石頭"的二者只能選一; 與由Set A \ B 之原素做出的反例: "上帝不能畫出有角的圓" 是不同範疇原素的命題. 因此, 如果有人說 "上帝能不能造出一塊衪舉不起的石頭?"相等於問"上帝能不能造出有角的圓"的論調是牽強比乎, 並且不成立.

因此, 上帝全能即使是指上帝能做出任何合邏輯的事情, 也不成立.

所以最後的結論是: 上帝並不全能.

作者: aloys 時間: 2008-2-1 23:24

提示: 作者被禁止或刪除內容自動屏蔽

作者: 花之慶次 時間: 2008-2-1 23:35

引用:

原帖由 aloys 於 2008-2-1 23:24 發表
^_^，朋友，妳犯叻兩個基本的錯誤
1 我們都知道一句話是：沒有見到過並不代錶不存在。就好像妳從來沒有看到過外星人，但是妳就說不存在外星人嗎？
2 妳用的是科學的方法趨證明上帝的非全能性，但是妳用的“有 ...

本來我可以完全不需要理會你的所謂的回應,
之不過好明顯你錯別字實在太多!!
亦即是說可以完全把你當廢話來看待!!
你好可悲!!

[ 本帖最後由花之慶次於 2008-2-1 23:39 編輯 ]

作者: badboy888 時間: 2008-2-1 23:59

引用:

原帖由 花之慶次 於 2008-2-1 23:35 發表

本來我可以完全不需要理會你的所謂的回應,
之不過好明顯你錯別字實在太多!!
亦即是說可以完全把你當廢話來看待!!
你好可悲!!

佢果啲似乎唔係錯別字！　而係佢篇文唔知點解中間多左啲奇奇怪怪的字！　可能係佢果個上帝作怪瓜！　

作者: 雄叔2007 時間: 2008-2-2 01:28

提示: 作者被禁止或刪除內容自動屏蔽

作者: 花之慶次 時間: 2008-2-2 22:15

引用:

原帖由 雄叔2007 於 2008-2-2 01:28 發表

唔夠人講所以作人身攻擊啦 ?!

不過我已經寬恕了他啦!!!
上帝無同你講嗎??

[ 本帖最後由花之慶次於 2008-2-2 22:18 編輯 ]

作者: yl_cheng 時間: 2008-2-3 02:43

引用:

1 我們都知道一句話是：沒有見到過並不代錶不存在。就好像妳從來沒有看到過外星人，但是妳就說不存在外星人嗎?

ｏ甘我話比你聽維多利亞港有海怪，你未見過唔代表唔存在．

作者: khadafy 時間: 2008-2-3 06:57

引用:

原帖由 yl_cheng 於 2008-2-3 02:43 發表

ｏ甘我話比你聽維多利亞港有海怪，你未見過唔代表唔存在．

我話比聽....唔只維多利亞港有海怪啊....
呢度都有好多怪啦！

作者: 雄叔2007 時間: 2008-2-4 10:36

提示: 作者被禁止或刪除內容自動屏蔽

作者: badboy888 時間: 2008-2-4 12:03

上帝的存在是先於邏輯, 所以上帝的存在是不合乎邏輯, 也就是說上帝並不存在!

作者: 雄叔2007 時間: 2008-2-4 18:14

提示: 作者被禁止或刪除內容自動屏蔽

作者: onemore 時間: 2008-2-4 18:29

提示: 作者被禁止或刪除內容自動屏蔽

作者: 花之慶次 時間: 2008-2-4 23:52

引用:

原帖由 雄叔2007 於 2008-2-4 10:36 發表

你一開始已經犯左錯誤. 神係超越一切的, 亦超越邏輯.
你想用邏輯去證明神存在或唔存在, 係唔可能的!

神從虛無中創世, 點算為之虛無, 麻煩雄叔解釋一下!!!!!

歡迎光臨香港 Xocat Forum 討論區 (http://p.xocat.com/p/)