海纳百川
登录 | 登录并检查站内短信 | 个人设置 网站首页 |  论坛首页 |  博客 |  搜索 |  收藏夹 |  帮助 |  团队  | 注册  | RSS
主题: 芦老，不好意思，刚才没看到你的回贴
回复主题   printer-friendly view    海纳百川首页 -> 罕见奇谈
阅读上一个主题 :: 阅读下一个主题  
作者 芦老，不好意思，刚才没看到你的回贴   
~浴火凤凰






加入时间: 2004/02/19
文章: 1603

经验值: 0
文章标题: 芦老，不好意思，刚才没看到你的回贴 (256 reads)      时间: 2004-3-07 周日, 下午10:45
作者：~浴火凤凰 在 罕见奇谈 发贴, 来自 http://www.hjclub.org

在本讲座第一讲中，我给出了一个“上帝万能的悖论”，即“万能的上帝能否创造出一块他举不起的石头来”。
学过初中平面几何的人都知道，有时无法正面证明一个命题，便假设它的反命题成立，推导出和前提相矛盾的结论，以此证明正命题的成立。这种解题方式叫“反证法”，在逻辑学叫“归谬法”。
有趣的是，对此问题的两个相反答案，都可以用归谬法来证明。
已知：上帝万能
求证：上帝能创造出一块他举不起的石头
证明：假设上帝不能创造出一块他举不起的石头，
所以，上帝也有作不到的事，这与已知前提矛盾，
所以，上帝能创造出一块他举不起的石头。（证毕）

类此可有：

已知：上帝万能
求证：上帝不能创造出一块他举不起的石头
证明：假设上帝能创造出一块他举不起的石头，
因为此石上帝举不起来，
所以，上帝也有作不到的事，这与已知前提矛盾，

所以，上帝不能创造出一块他举不起的石头。（证毕）


我没读完你的全文，主要是我不懂哲学，你们说的是什么我也看不懂。但是你所说的悖论的确是已经解决了的，最起码在数学上是这样的（哲学我就不知道了）。

其实这个悖论最开始是罗素提出的，罗素在他的一篇文章（“数学原理”？）里说过：排中律说所有命题非错即对，但是这个排中律自身也是一个命题，因此，尽管它意图断言逻辑定理的真伪，但它既然是一个命题，那么当然也有可能是错误的（大意是这样）。

所以罗素说，排中律的陈述是毫无意义的。

进一步的研究，发现这是语言本身造成的。“万能的上帝创造一块他举不起的石头”，在你这个例子里，“万能”这个词涉及到一个不合理的总体（换句话说，这是自己判断自己）。悖论的产生就在“万能”这词的用法，这个词本身是含糊。词分两种，一种可以修饰自己（autological），一种不能修饰自己（heterological）。那么我们现在考虑heterological这个词本身，如果它是heterological，那么它是不能描述自己的，但它已经说了自己是heterological，这就说明它能够描述自己，所以它就应该是autological。这样一来每个与这个词有关的假设都能导出矛盾，表达式是：

词X是heterological的，如X，则非X。

再说万能的上帝，按照罗素的话说就是：凡牵涉到一个集合整体的东西，必不能是该集合的一部分。

换句话说，上帝可以在宇宙中创造一块谁也举不动的石头，但是上帝可以举动，因为他还可以不在这个宇宙中。总之，按照数学的观点这个悖论是语义造成的，而不是真实的矛盾。

以上纯属胡说，再说下去就牵涉到歌德尔定理了，因为人类最基本的逻辑是1+1=2。


作者：~浴火凤凰 在 罕见奇谈 发贴, 来自 http://www.hjclub.org
返回顶端
阅读会员资料 ~浴火凤凰离线  发送站内短信
显示文章:     
回复主题   printer-friendly view    海纳百川首页 -> 罕见奇谈 所有的时间均为 北京时间


 
论坛转跳:   
您不能在本论坛发表新主题
您不能在本论坛回复主题
您不能在本论坛编辑自己的文章
您不能在本论坛删除自己的文章
您不能在本论坛发表投票
您不能在这个论坛添加附件
您不能在这个论坛下载文件


based on phpbb, All rights reserved.
[ Page generation time: 0.99078 seconds ] :: [ 25 queries excuted ] :: [ GZIP compression enabled ]