Zmn-0271 薛问天： 说谎者悖论的隐含假定到底是什么，同文兰先生商榷。

【编者按。下面是薛问天发来的文章。是对《Zmn-0193》文兰先生的文章评论。现在发布如下，供网友们共享。请大家关注并积极评论。另外本《专栏》重申，这里纯属学术讨论，所有发布的各种意见仅代表作者本人，不代表本《专栏》编辑部的意见。】

说谎者悖论的隐含假定到底是什么，

-同文兰先生商榷。

薛问天

xuewentian2006@sina.cn

。

大家都知道任何悖论都有一个隐含的假定。当发现、认识和去掉这个隐含的假定之后，悖论就可随之消解。文兰先生在《 Zmn-0193 文兰：关于三卡悖论的说明》一文中说【 说谎者悖论的推理是有假设的：它假设了“方程有解”！】【 三卡悖论是一个代数学问题的语言表述，表面上是语言学问题，实际上是代数学问题。三卡悖论告诉我们：说谎者悖论不是一个纯语言问题，而是语言学中的一种代数学现象。】

我不这样认为。我认为这些悖论的隐含假定并不是【布尔方程有解】，而是语言学中的问题，允许「语句 (卡片)表述的语义同语句 (卡片)的真假任意直接关联」， 允许「语句 (卡片)表述的语义直接或间接否定该语句 (卡片)的真假」。有了这个假定，这才形成了布尔方程，才归结为无解的布尔方程，形成了悖论。

(一)，存在无解的布尔方程，这是事实，不是假定。

布尔方程，有的有解，有的无解。存在着无解的布尔方程。这是规律，是代数学中的不争事实，而不是假定。说谎者悖论不可能，也並没有假定布尔方程有解。恰恰是揭示了该布尔方程无解，才产生的矛盾形成悖论。既使承认存在布尔方程无解，去除了所谓的这个【布尔方程有解】的【隐含假定】，并不能消解说谎者悖论和类似的多卡悖论。 这些悖论仍然可以归结为无解的布尔方程，产生不可解的矛盾，产生悖论。悖论仍然存在。

(二)，说谎者悖论的隐含假定是允许把语句表示的内容归结为不可解的布尔方程。

我认为，这个说谎者悖论的隐含假定并不是【布尔方程有解】，而是语言学中的语义问题，允许「语句 (卡片)表述的语句的语义同语句 (卡片)的真假任意直接关联」， 允许「语句 (卡片)表述的语义直接或间接否定该语句 (卡片)的真假」。即 允许「把语句 (卡片)表示的内容归结为不可解的布尔方程。」有了这个假定，这才由语句 (卡片)形成了布尔方程，才归结为无解的布尔方程，形成了矛盾和悖论。

如果去掉这个隐含假定，即在语言的语义学中 ，不允许「语句(卡片)表述的语义同语句 (卡片)的真假任意直接关联」，不允许「语句 (卡片)表述的语义直接或间接否定该语句 (卡片)的真假」。即不允许「 把语句 (卡片)表示的内容归结为不可解的布尔方程。」有了这个否定，就不可能由语句 (卡片)任意形成布尔方程，也就不可能把语句(卡片)归结为无解的布尔方程，就不可能形成矛盾和悖论。于是就消解了说谎者悖论和多卡悖论的存在。

(三)，说谎者悖论的反证法的【头尾】是什么。

文兰先生说【 容易看出说谎者悖论的推理是布尔方程 x =﹁x无解的反证法的掐头去尾的翻译。（反证法的“头”是宣布某个假设，“尾”是宣布该假设不成立。这是反证法的例行格式。）】我很同意文兰先生关于悖论和反证法的掐头去尾的对比。关键是要搞清这个说谎者悖论的反证法的【头尾】是什么。

说谎者悖论说的是，「我是说谎者」这句话可以归结为布尔方程 x = ﹁x，而这个布方程无解，固而产生矛盾。

反证法的头，即隐含假定，是允许「语句 (卡片)表述的语义直接或间接否定该语句 (卡片)的真假」。即允许「把语句 (卡片)表示的内容归结为不可解的布尔方程。」
正是由于有了这样的假定， 「我是说谎者」这句话才可以归结为布尔方程 x = ﹁x，而这个布方程无解，固而产生矛盾。而反证法的头，即隐含假定不是假定［布尔方程有解］.

因而要消鲜说谎者悖论，反证法的尾，就是 不允许「语句 (卡片)表述的语义直接或间接否定该语句 (卡片)的真假」。即不允许「把语句 (卡片)表示的内容归结为不可解的布尔方程。」而不是承认［布尔方程无解］.

(全文完)

返转到：

   zmn-000文清慧：发扬啄木鸟精神-《数学啄木鸟专栏》开场白及目录

• Zmn-0271 薛问天   说谎者悖论的隐含假定到底是什么，同文兰先生商榷。   2020-7-24 21:07

• Zmn-0270 薛问天：重温微分标注的定义，澄清对概念的混淆。-评师教民先生的《0268》   2020-7-22 13:05

• Zmn-0269 薛问天：这些关于「√2是无理数」的证明，都有效。-评杨六省先生的《0239》   2020-7-21 08:54

• Zmn-0268 师教民： 评《师教民先生不愿直接回答，我来替你回答-评<0265>》   2020-7-20 15:40

• Zmn-0267 薛问天： 师教民先生不愿直接回答，我来替你回答。-评《0265》   2020-7-17 22:32

• Zmn-0266 沈卫国：新导数定义下的、不涉及分母的无矛盾最简求导法   2020-7-16 21:35

• Zmn-0265 师教民：评《师教民先生的混淆概念澄清表——评<0262>》   2020-7-16 10:09

• Zmn-0264 薛问天：师教民先生的混淆概念澄清表-评《0262》   2020-7-12 21:28

• Zmn-0263 杨六省：答“Zmn-0255”   2020-7-11 08:42

• Zmn-0262 师教民   评《说不清〖复合函数的f〗是什么，计划泡汤．评师教民先生的<0256>》   2020-7-10 11:40

• Zmn-0261 薛问天：论逻辑推理的认知能力-评新华先生的【不可能的】   2020-7-9 09:49

• Zmn-0260 薛问天：也谈新华先生的有趣问题   2020-7-7 21:29

• Zmn-0259 新   华   关于第一次数学危机的困惑   2020-7-7 08:52

• Zmn-0258 师教民：关于讨论复合函数的再总结   2020-7-5 09:03

• Zmn-0257 薛问天：说不清 〖复合函数的f 〗是什么，计划泡汤。评师教民先生的《0256》    2020-7-4 09:29

• Zmn-0256 师教民：评《终于水落石出，得出结论：师先生错了》   2020-7-3 08:31

• Zmn-0255 新   华：看到√2不是有理数的证明有感   2020-7-2 21:01

• Zmn-0254 薛问天：全面认识数学的「相对独立性」-评新华先生的议论   2020-7-2 08:29

• Zmn-0253 新   华：一个有趣的问题   2020-7-1 21:43

• Zmn-0252 薛问天：终于水落石出，得出结论: 师先生错了。   2020-6-30 20:43

• Zmn-0251 师教民：关于讨论复合函数的总结   2020-6-28 13:40

• Zmn-0250 新   华：几点说明   2020-6-28 09:04

• Zmn-0249 新   华：关于y=ax^n的图像问题   2020-6-27 19:52

• Zmn-0248 师教民：评《不能不说这是一大进步——评师教民先生评漫画的评论》   2020-6-25 14:53

• Zmn-0247 师教民：评《条条评论条条错．评师教民先生的七个评论》   2020-6-25 14:41

• Zmn-0246 薛问天：师教民先生给出的四个【证明】全部是错的   2020-6-23 21:25

• Zmn-0245 沈卫国：薛先生已经来的了创新的大门口：评薛先生的“有洞”、“无洞”函数论   2020-6-23 08:15

• Zmn-0244 沈卫国：新诠释下的牛顿、莱布尼兹求导本质动画图   2020-6-22 19:29

• Zmn-0243 新   华： 三者都有错-评《条条评论条条错》   2020-6-22 09:00

• Zmn-0242 薛问天： 不能不说这是一大进步-评师教民先生评漫画的评论。   2020-6-21 13:14

• Zmn-0241 师教民： 评《「漫画」魔术师的魔裙》   2020-6-21 08:50

• Zmn-0240 新   华： 迟到的表白   2020-6-20 13:24

• Zmn-0239 杨六省：毕达哥拉斯学派及后世关于√2不是有理数的证明，是有效的吗？   2020-6-20 08:55

• Zmn-0238 薛问天：条条评论条条错-评师教民先生的七个评论。   2020-6-19 11:24

• Zmn-0237 新   华：关于几个问题的说明   2020-6-19 08:42

• Zmn-0236 师教民：郑重声明，请薛问天先生直接逐篇评论《再评》至《七评》。   2020-6-18 16:47

• Zmn-0235 薛问天：「漫画」魔术师的魔裙   2020-6-18 08:55

• Zmn-0234 师教民：六、七评《混淆了函数h同函数f的微分-评师教民先生的<0214>》   2020-6-17 17:24

• Zmn-0233 沈卫国：对薛问天先生zmn-0222对我文章评论的评论…。   2020-6-17 09:00

• Zmn-0232 薛问天：谈数学中的「微分」和「极限」概念-评新华先生的错误观点   2020-6-16 09:23

• Zmn-0231 薛问天：一种暂时避开「极限」概念引入导数的方案   2020-6-15 09:07

• 科学网《数学啄木鸟专栏》Zmn-000 到 Zmn-0250 期目录 2020-6-28 09:19