那天某教授演講的題目... - 推理遊戲

Queena avatar
By Queena
at 2006-11-29T19:32

Table of Contents

※ 引述《timsheu (心如緋炎)》之銘言:
: 題目是"邏輯趣談與布林代數",(這不是重點XD)
: 副標題是"若上帝是萬能的,他能創出一塊自己舉不起來的石頭嗎"
: 我想問的就是副標題的問題,
: 照邏輯來說,從副標題能導出"上帝不是萬能的"這句話,
: 但我有疑問的地方就是從根本來看,
: 他要在哪裡舉這塊石頭勒?
: 我的意思是如果題目本身不夠嚴謹,
: 那導出來的結論可以說是正確的嗎?
你抓到重點了,這個題目本身等價於想驗證「非A,且A」這個命題,等於是題目
本身就自我矛盾。當你要對一件事情做邏輯檢驗時,你必須要自己的命題也確保在邏
輯合理的範圍內,才能得出合於邏輯內的結果--也就是說該檢測才具有邏輯內的效
力。

就這個題目來講,這是問題本身自己就不合邏輯,亦即答案也跟著沒有需要合於
邏輯的義務。要「在邏輯內檢測『萬能』」,應該是以下的命題:

for all A合於邏輯,A都可以被完成 → true
exist A合於邏輯,A不能被完成 → false

拿一件不合邏輯的事來要求,是無法得出邏輯內結果的。意即,原命題回答能或
不能對於神是否邏輯上萬能都毫無影響。回答能,為什麼?因為你自己提出不合邏輯
的檢測,代表神不需要遵從邏輯,因此可以不合邏輯地創出一塊自己舉不起來的石頭
。回答不能,但是神還是可能為萬能,為什麼?因為命題本身不合邏輯,無法影響邏
輯檢測結果。

我們常在些地方會看到用這種詭辯問題想要證明神非萬能的理論,只能說叫他們
回去把邏輯學好再來XD
: 請各位解惑吧...

--
「探尋真實與探尋謊言的難度一樣,而要忘掉它們的難度也相同,因為你根本無
法預測你探尋到什麼,更無法預測什麼會被你忘掉。也就是說,就機率而言,你腦裡
的記憶其實有一半都是騙人的。放心吧,沒那一半你反而活不下去的。」

--克爾斯,謊言事務所暫時所長

--

All Comments

Andrew avatar
By Andrew
at 2006-12-01T13:21
推文...
Hedy avatar
By Hedy
at 2006-12-03T21:53
我也推
Kumar avatar
By Kumar
at 2006-12-08T19:48
大推
Odelette avatar
By Odelette
at 2006-12-12T16:38
想推可是看不懂~~@@

有趣的一題

Olga avatar
By Olga
at 2006-11-27T21:41
這個問題跟以下問題其實是一樣的: 拿一個不透明的碗蓋住一個骰子,搖一搖 等骰子停下來之後告訴你,是奇數就給你一百萬,是偶數就開槍打死你 請問你被打死的機率是多少? 被打死的機率當然是1/2啊 你難道要說,骰子已經停了,所以被打死的機率不是0就是100%嗎? 關鍵就是骰子的六個面出現機率各1/6,這是一個可 ...

有趣的一題

Lily avatar
By Lily
at 2006-11-27T21:09
純數論來看這一題的話 假設大師預測機率是x 則 1000x 選1大師對 1001000(1-x) 選1大師錯 1000000x 選2大師對 0 選2大師錯 選1的期望值是 1001000-1000000x 選2的期望值是 1000000 ...

數獨

Olivia avatar
By Olivia
at 2006-11-27T18:14
※ 引述《flexext (心之鏡)》之銘言: : 123 045 060 : 700 010 000 : 000 000 000 : 600 104 080 : 450 000 012 : 030 709 005 : 000 000 000 : 000 080 003 : 090 670 524 12 ...

數獨

Blanche avatar
By Blanche
at 2006-11-27T17:56
※ 引述《flexext (心之鏡)》之銘言: : 100 020 003 : 004 506 001 : 006 100 007 : 580 060 010 : 070 040 080 : 010 070 092 : 200 008 100 : 900 207 500 : 300 010 006 19 ...

數獨

Skylar Davis avatar
By Skylar Davis
at 2006-11-27T17:49
※ 引述《flexext (心之鏡)》之銘言: : 000 010 020 : 003 200 010 : 004 506 000 : 700 060 008 : 100 090 004 : 600 040 003 : 000 708 500 : 090 001 600 : 020 030 000 87 ...