作者dementia (妖精尾巴魔导士)
看板W-Philosophy
标题Re: [闲聊] 石头论证B版
时间Sun Oct 12 03:02:13 2008
小弟是初学者
有错请尽量鞭
我有一个提议
让我们再看一次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
1F：推 zoneline:补充一下:无限大可以有较大的无限大和较小的无限大 10/12 13:15
2F：→ zoneline:integer和natural number都是无限大的集合 10/12 13:16
3F：→ zoneline:而integer比natural大,因为integer包含了natural所有的数 10/12 13:18
4F：→ zoneline:又包含了natural没有的数:0 10/12 13:19
5F：→ zoneline:我猜venner应该搞混无限的概念,所以我建议改用"无所不能" 10/12 13:20
6F：→ zoneline:来表达石头论证里上帝的能力 10/12 13:20
7F：推 krisnight:我以前曾经想过全能要如何表达的问题。我的proposal是这 10/12 13:32
8F：→ krisnight:样︰S是全能的iff对於任何命题p和任何时间t，S有能力使 10/12 13:33
9F：→ krisnight:p在t时为真。 10/12 13:34
10F：→ krisnight:如果要规避石头论证，也可以改成，S是全能的iff对於任何 10/12 13:35
11F：→ krisnight:时间t和任何融贯的命题集合sp，S有能力使所有属於sp的命 10/12 13:36
12F：→ krisnight:题在t时为真。 10/12 13:36