Math 版 (精华区)

发信人: wanderer (海王星的小鱼), 信区: Math
标  题: 唯特根斯坦的狡辩 (转载)
发信站: 哈工大紫丁香 (2000年06月28日08:44:17 星期三), 转信

发信人: cutepig (聪明猪), 信区: MathTools
标  题: 唯特根斯坦的狡辩 (转载)
发信站: BBS 水木清华站 (Mon Jun 26 16:19:34 2000)

【 以下文字转载自 Linguistics 讨论区 】
【 原文由 cutepig 所发表 】
维特根斯坦认为数学中的命题都是重言式，
a=a什么也没说。

的确，在上帝那里，重言式什么也没说---
上帝无所不能，万物之间的联系皆在其掌握之中。

对人来说，“重言式什么也没说”就不成立了---
至少说了“那个东西是个重言式”。

在认识以前，二者处于孤立状态；在认识之后，
二者之间有等号相连---这个过程本身就是
一个发现，而用于发现这个事实的工具可能
是众多的发明，怎么能够说“重言式什么也没说”呢？

假设上帝偷偷地告诉我，在人类的物理学理论支持的
所有可能的探测工具的探测范围之外，有一个“美丽的
精灵”。感谢上帝告诉我这个“事实”，但这个“美丽
的精灵”对人类来说是没有任何意义的，因为除了我以外
的所有的人都不相信这个“美丽的精灵”的存在。

在维特根斯坦看来，数学中的真命题都是重言式，没有
说任何东西。我认为一个真命题P的涵义除了命题本身的
含义之外，还有“在某某公理假设之下，P为真（在其他
的公理假设之下P是否为真尚且不论）”，或者更直白
一点说“P是上帝接受某某公理假设后‘应该知道的’”。
--
 ■ ■ ■ ■ ■ ■ ■ ■ ■ ■ ■ ■ ■ ■ ■ ■ ■ ■ ■
 ─┐┌───┐┌───┐┌───┐┌───┐┌───┐┌
   ││      ││      ││      ││      ││      ││
   ││      ││      ││      ││      ││      ││
   ┘└───┘└───┘└───┘└───┘└───┘└─
    ■ ■ ■ ■ ■ ■ ■ ■ ■ ■ ■ ■ ■ ■ ■ ■ ■ ■ ■


--
宁可死个枫叶的红
     灿烂的狂舞天空
         去追向南飞的鸿雁
             驾着万里的长风
                 26/4/98

※ 来源:·哈工大紫丁香 bbs.hit.edu.cn·[FROM: 202.118.226.50]