作者MathTurtle (恩典)
看板Atheism
标题Re: [闲聊] 一个有趣的反石头论证
时间Sat Dec 6 03:08:54 2008
※ 引述《krisnight (krisnight)》之铭言：
: 嗯，最近在我部落格出现的留言，
: 虽然最终作法还是落在传统战术(即，主张神超越逻辑)里，
: 不过有一些有趣的铺陈，喜欢的人可以刺激一下。
: http://0rz.tw/92565
那位 Allen 网友的解法其实满好的,
但後来没有必要地被 i 网友引入「神超越逻辑」的主张里,
让我来帮他defence 一下吧。
首先我重新formulate 一下石头论证:
[ Let Sx be 'x is a stone', Lxy be 'x can lift up y',
g refers to God]
1. God is Omnipotent implies he can lift up everything.
2. God is Omnipotent implies he can create everything.
3. 'God can lift up everything' is '(x)(Lgy)'
4. God can create everything implies that,
given any F, he can make it true that (Ex)(Fx).
5. Putting Fx as (Sx & ~Lgx) in 4, we get (Ex)(Sx & ~Lgx).
6. (x)(Lxy) is logically contradictory to (Ex)(Sx & ~Lgx).
7. Therefore, God is Omnipotent implies a contradiction.
这里有一个proviso, 是Allen可以回应i网友的答案:
(*) F in (4) can only be logically possible predicate, namely,
it cannot be a logically contradictory predicate, or formally,
(Ex)(Fx) is not a logical contradiction.
这个 proviso 是合理的, 否则石头论证会变得trivial而只是稻草人而已。
i 网友的建议不能通过(*), 他的三个建议是:
(i) Fx = (Sx & Gx & ~Gx) [Gx = x is five kg]
(ii) Fx = (Sx & ~x=x)
(iii) Fx = (Sx & ~(Gx v ~Gx))
这三个我们都可以轻易得知, 在任何逻辑系统里 (Ex)(Fx) 都是contradiction.
但石头论证可以通过(*), 因为 (Ex)(Sx & ~Lgx) 并不是一个矛盾,
矛盾是在我们加上 (x)(Lgx) 後才发生了, 这解释了为何石头论证不是trivial。
现在来看看Allen提供的解答。
按我的读法, Allen的比谕是要建议, Lxy 并不适用於上帝
(i.e. 他所谓的「举起」并不适用上帝)
也就提直接否认前提(1), 以及(3)的formalization。
Logically speaking, 他的建议是: The variables only quantifiy over created
things. God is outside the domain of quantification。
Surely, this means that God is outside the 'ontology' in Quine's sense,
but we may also say God is in an 'outer domain' in which things have
another mode of being.
Theologically speaking, 他的建议是, 上帝与石头之间只能有创造者与被造者之间
的关系, 无法有「举起」的关系。(这点他用他的电脑工程师的比谕justify)
但像 k 一开始所问的, 有一点是很有趣的, 就是
人与上帝之间能否有「爱」的关系? 我想allen会说可以有,
而这并不造成「石头论证中的矛盾」(上帝能不能造出一个他爱不了的人?)
因为我们不太会觉得全能要包含「爱的能力」。
至於 i 网友问的「上帝能不能创造一片祂没办法分开的海洋？」
我想很清楚地 Allen 应该是要回答 上帝与海洋之间不存在「能分开」这关系,
上帝可以创造海洋, 可以使海洋分开, 但上帝使海洋分开的意思,
并不是有一个「能分开」的关系存在於上帝与海洋中间,
而是存在一个「海洋分开」的事件(an event which belongs to the type '海水分开'),
而上帝能使这个事件发生。
当然 Allen 的解法也有逻辑上和神学上的困难, 不过既然我是帮他defence,
我就忍住不讲好了。
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 131.111.224.87
※ 编辑: MathTurtle 来自: 131.111.224.87 (12/06 03:51)
1F：推 xavier800:推 09/09 21:18