数学联邦政治世界观
超小超大

柯里悖论(一)

“假如我说的这句话是真的,那么地球是方的。”

这么说当然是正确的。假如我说的这句话是真的,那么地球是方的;假如我说的这句话不是真的,那么地球不是方的。既然承认这么说是正确的,那么这句话是真的。既然这句话是真的,那么就满足了“假如我说的这句话是真的”这一前提,因此可以得出结论:地球是方的。

同样地,用“假如我说的这句话是真的,那么……”可以推导出任何命题都是真的。

柯里悖论以美国数学家和逻辑学哈斯凯尔·布鲁克斯·柯里(Haskell Brooks Curry)的名字命名。

柯里悖论的形式是:

句子C:“如果C,则F。”

如果句子C是真的,那么任意的陈述都可以是真的。这种推理与陈述本身的真假没有关系。荒谬之处在于:这样一个句子C的存在可以推理出任意命题的真实性。

破解

“假如我说的这句话是真的……”或者“假如我没搞错的话……”是英语文化中一种通俗的表达方式。其表达的意思是,“我不能保证我接下来要说的这句话是不是真的,假如是真的,你们就姑且一听,假如是假的,就当我没说……”在这种意思表达中,说话的人假设的是接下来要说的话是真的,当然不会产生悖论。而柯里悖论的形式中把判断的对象改为包括“假如我说的这句话是真的……”这半句在内的说话人说的整句话,由此产生了悖论。

认为存在悖论的推理基于这样一个前提——“假如我说的这句话是真的,那么地球是方的。”这句话是真的。但这个前提未必成立。在逻辑上判断一句陈述是否成立要有充足理由,而此处并不存在这样的充足理由。

任何陈述都隐含了陈述者对陈述的肯定,因此这句话可以改写为“我说的这句话是真的,并且假如我说的这句话是真的,那么地球是方的。”这句话等价于“地球是方的。”后者相比于前者既不增添也不减损任何信息。这样我们就会发现,并没有理由说这句话一定是真的。

所以,陈述中的前提部分“我说的这句话是真的”只是句废话。整句话所表达的仅仅是“地球是方的”这么一个简单的陈述。对这个陈述的真假判断在现实中我们有很多依据,但在这个悖论的上下文中并不存在这种判断依据。

因此,柯里悖论的形式:

句子C:“如果C,则F。”

可以被改写为:

句子C:“F。”

句子C就是“F”,“F”就是句子C。句子C的真假取决于“F”的真假。就是这么简单。

摘自专栏《悖论》

数学联邦政治世界观提示您:看后求收藏(笔尖小说网http://www.bjxsw.cc),接着再看更方便。

相关小说

外星少女在民国 连载中
外星少女在民国
忆轩孤梦
[这一本我更新的非常慢,原因是在于想完结其他本,然后再更新这个。先看其他的哦]【一本男女都可以看的小说】她是银河深处的紫幽星少女,身怀魔力。......
4.5万字6个月前
十二星座:方寸死斗 连载中
十二星座:方寸死斗
简思达江斯特
〖星座文内含cp向注意避雷〗因为杀死所爱之人而被困在噩梦里无法解脱这一次,饱受折磨的少年做了变成女孩子的梦(有刀哈,心理承受能力较差的老婆酌......
1.6万字5个月前
残梦遗记 连载中
残梦遗记
时间独角兽的小号吖
原创作品,禁止抄袭,违反必究!!!作者原名:时间独角兽(墨怨)简介正文:——哥哥,我做了一场梦……像碎片一样的记忆涌入我的脑海,——是谁在呼......
2.1万字4个月前
重逢及相识 连载中
重逢及相识
Luan鸾梨
全都是作者幻想的,与实际不符,勿喷,作者新手小白,文笔不算多好既然我们别来无恙,那么就别过了吧下一次重逢即是相识--------------......
0.3万字2个月前
快穿:三千妄念缚明月 连载中
快穿:三千妄念缚明月
我心许月
【双男主+快穿+万人迷+1vN+主受视角】长衡宗长老温简言心怀道义,怜悯苍生,白雪仙尘,天人之姿。是无数人心中肖想的,可望而不可即的明月。温......
9.9万字3周前
快穿:一统乙女游的白月光 连载中
快穿:一统乙女游的白月光
遥望星星的月
她是一统乙女游的白月光是所有人的月亮是所有人的心头肉是所有人的掌上明珠1:娱乐圈的白月光在组合内,她是当之无愧的顶流女爱豆,公司要求演戏,她......
10.2万字2周前