老調重彈

殘劍·2003/1/22 下午09:51
老調重彈 有些想法希望與各位分享和討論, 小弟沒有受過正式的邏輯訓練, 對於symbolic logic也只稍涉基礎, 以下是關於「全能者」這招牌問題的淺見: (A)= universal qualifier (E)= existential qualifier y, y(1), y(2) = elements in the universal set C = create D = destroy 全能的定義: (E)x [f1(x)^f2(x)^…. ^fn(x)]--> (A)y(1) [xCy] ^ (A)y(2) [xDy] 若問「全能者能否創造不能毀滅之物」 就等於去判斷這個命題: (E)y [ xCy --> - (xDy) ] 由此可見, 無論C或D代表些什麼, 只要採取這命題形式, 必然會令”全能”這概念產生矛盾, 例如: “能否穿一隻令祂自己不能走動的鞋” “能否吃一條令祂自己不能思考的咸魚”… 問題出在哪兒呢?---- let [xDy] be atomic proposition; [ xCy --> - (xDy) ] be complex proposition 在建立complex proposition的時候, 我們是否應該考慮atomic proposition? 若然, 則[ xCy --> - (xDy) ]根本不可以成立. 如果不考慮atomic/complex proposition, 套用這問題形式到”至能論”, 我們會問--- “至能者”是不是全宇宙”至無能”的存在? (同一存在不可能同時”至有能”並且”至無能”) 應該怎去處理這疑難? 希望各位多多賜教, 當然最希望李sir有空在此親自指導… ------------------ the last night here for you, same old songs, just once more, the last night here with you, may be yes, may be no... (eyes on me)

💬 1 則回應

殘劍·2003/1/23 上午12:22
sorry 全能的定義should be: (E)x [f1(x)^f2(x)^…. ^fn(x)]--> (A)y[xCy] ^ (A)y[xDy] [f1(x)^f2(x)^…. ^fn(x)] = all possible functions of x ------------- and im suffering from 失眠...
🔒

此話題已封存

這是一個歷史話題,無法新增回應。
(This is a historic thread. Replies are disabled.)