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

柯里悖论(一)

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

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

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

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

柯里悖论的形式是:

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

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

破解

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

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

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

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

因此,柯里悖论的形式:

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

可以被改写为:

句子C:“F。”

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

摘自专栏《悖论》

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

相关小说

异世中原 连载中
异世中原
上官青鹤
异世界日记
0.2万字6个月前
源于创作的故事 连载中
源于创作的故事
创造者小桉
故事中,一个15岁的女孩dawn是一位小作家,某天,她笔下的人物来到了她的世界,他们会发生怎样的故事呢
1.8万字5个月前
亓妄 连载中
亓妄
十云逝
亓妄说过,他只爱沈晚烟,他只信余倞和余焚。沈晚烟和他的母亲,是亓妄最后的防线;可在不久后,这最后的防线也断裂了。
1.3万字2个月前
总有Alpha想泡我家老大 连载中
总有Alpha想泡我家老大
泡泡糖小姐
Omega老大的甜蜜爱情故事,顶着最温柔的名头,打最狠的架
10.2万字3周前
恋综:意外心动 连载中
恋综:意外心动
懒得去想la
第一次写小说,写的不好轻点骂,不喜欢左上角点点。参加恋爱综艺,顾清漓一眼沦陷在程梓穆的帅气与独特里,谁料他心有所属,顾清漓潇洒转身。入住豪华......
3.1万字2周前
我不想渣暴君的 连载中
我不想渣暴君的
铁甜甜
她是因他而天下皆知的废物,他是夜和昼是两个人的仙徒。师傅看上她,敌手看上她,她确定是自己口中的世界第一废?她是情缘之线修炼成魂的恶恨之源,可......
5.8万字5天前