送交者: bluesea 于 2005-9-14, 16:55:22:
回答: sorry, never learn those in Chinese, not sure if I know exactly 由 steven 于 2005-9-14, 16:24:01:
[ 哲学家罗素曾经认真地思考过这个悖论，并试图找到解决的办法。他在《我
的哲学的发展》第七章《数学原理》里说道：“自亚里士多德以来，无论哪一个
学派的逻辑学家，从他们所公认的前提中似乎都可以推出一些矛盾来。这表明有
些东西是有毛病的，但是指不出纠正的方法是什么。在１９０３年的春季，其中
一种矛盾的发现把我正在享受的那种逻辑蜜月打断了。”
他说：谎言者悖论最简单地勾画出了他发现的那个矛盾：“那个说谎的人说：
‘不论我说什么都是假的’。事实上，这就是他所说的一句话，但是这句话是指
他所说的话的总体。只是把这句话包括在那个总体之中的时候才产生一个悖论。”
（同上）]
这个问题虽然是别人描述的，但是真正从逻辑意义上去
思考的依然以罗素为标志。
一阶逻辑在很多情况下描述不清楚，这也是后来我们要
用模态逻辑替换的原因。实际上在形式逻辑上，我们描述哥
倍尔的第一定理几乎和描述谎言逻辑没有什么区别。但是哥
倍尔的论述本身是完全建立在数学上的。他冲击了所有公理
基础上数学公理。但是在逻辑上这未必是形式本身的问题。
比如我们把前件变成真，即一个说真话的人，说我说的每一
句话都是真的。是成立的。也既这个问题对逻辑来说是特定
情况下的悖论。与之相当的悖论还有很多。罗素用分层的方
法在逻辑意义上解决这个问题，但在数学集合上依然绕不
开。
请您仔细读：http://www.xys.org/xys/magazine/GB/1999/articles/991208.txt