柯里悖论

✍ dations ◷ 2025-04-02 16:52:32 #悖论,逻辑,哲学,哲学逻辑

柯里悖论(Curry's paradox)是一种悖论,这个悖论由美国数理逻辑学家哈斯凯尔·布鲁克·柯里提出,并且以其命名。它也与马丁·雨果·洛布(英语:Martin Löb)的洛布定理(英语:Löb's theorem)有关,故也被称为洛布悖论。

对于这样一个条件语句 C:“若C,则F”, 只需要一些显然无害的逻辑推导规则, 就可以推导出:仅从句子C的存在就证明了任意主张F。由于F是任意的,因此遵循这些逻辑规则的任何逻辑系统都可以证明所有命题, 这就引起矛盾(见:柯里悖论#自然语言论证), 违反了经典逻辑的无矛盾律;因此,这是一个悖论。

当今哲学家所使用的“柯里悖论”一词,指的是一类多样化的悖论,具有自指性(self-reference)或循环性(circularity),并且其悖论根源的发现可追溯到柯里(1942)和洛布(1955)的贡献。

该悖论可以用自然语言和各种形式逻辑来表达,包括集合论、λ演算和组合逻辑的某些形式。所有可以称为“柯里悖论”的悖论共同特征是,它们以连接词或谓词形式利用蕴涵,蕴含或结果的概念。

弗兰克·普伦普顿·拉姆齐于1925年最早把逻辑悖论(Logical Paradox)同语义悖论(Semantical Paradox)区别开来。罗素悖论属于前一类,说谎者悖论属于后者。 拉姆齐认为,逻辑矛盾涉及数学或逻辑术语(例如类,数),因此表明存在逻辑问题。而语义矛盾除纯逻辑术语外还涉及“思想”,“语言”,“符号”等概念, 它们是经验性(非形式)术语。语义矛盾也被称为认识论矛盾。 该方法被认为是当前的标准的悖论分类方法。

柯里悖论可以像罗素悖论一样,以集合论或属性论的悖论的形式出现(即逻辑悖论的形式); 但是,它也可以是类似于说谎者悖论的语义悖论的形式出现。

柯里悖论产生的根源和柯里悖论与罗素悖论和说谎者悖论类似,是违反了恶性循环原则(英语:Vicious-Circle Principle),具有自指性。 但也与柯里悖论与罗素悖论和说谎者悖论有不同的特点,因为它本质上并没有涉及否定的概念。

需要强调,因为柯里悖论并不在“本质上涉及否定”, 它与罗素悖论和说谎者悖论有实质性不同。一些具有弱否定原理的非经典逻辑(如次协调逻辑),可以解决罗素悖论和说谎者悖论,但仍然容易受到柯里悖论的影响。

条件命题形式为:“如果A,则B”

证明条件命题(命题形式为:“如果A,那么B”)的标准方法称为“条件证明”。 在该证明方法中,为了证明“如果A,则B”,1) 首先假设A,2) 然后在该假设下B被证明是正确的。

柯里悖论使用一种特殊的自指条件命题(self-referential conditional sentence),如以下示例所示:

按上面标准方法(“条件证明”),证明条件命题X时, 首先假设X成立, 由条件命题本身“如果X,则Y”, 则 “Y”成立; 因此推导出,X成立。 由于“Y”是任意的, 也可以用任何其他命题代替,因此,仅使用公认的逻辑推理方法,每个命题似乎都是可以证明的。不但可以证明Y,亦可以证明¬Y,这种情况是自相矛盾的。

另一个例子如下: 

尽管德国没有与中国接壤,但例句当然是自然语言的句子,因此可以分析该句子的真实性。悖论来自此分析, 分析包括下面两个步骤:

“德国与中国接壤”的命题可以用任何其他命题F代替,并且该命题F仍然可以被证明。

相关

  • 斯韦德贝里特奥多尔·斯韦德贝里(瑞典语:Theodor Svedberg,1884年8月30日-1971年2月25日),瑞典化学家,1926年获诺贝尔化学奖。斯韦德贝里1884年8月30日出生于瑞典耶夫勒堡省瓦尔布的弗莱伦,是
  • 后鞭毛界后鞭毛生物(学名:Opisthokont)是真核生物的一个范围广泛的主要类群,包括动物和真菌界,以及原生生物的领鞭毛虫门和Mesomycetozoa。基因和超结构的研究都强烈地支持后鞭毛生物会形
  • 探索者一号探险者一号(英语:Explorer 1)是美国于1958年1月31日在佛罗里达州卡拉维纳尔角发射的第一颗地球人造卫星,晚于前苏联于1957年10月4日发射的世界第一颗地球人造卫星史普尼克1号和
  • 弋阳县弋阳县位于中国江西省东北部,隶属于上饶市。东汉建安十五年(210年),东吴析余汗县置葛阳县。隋开皇十二年(592年),县治迁弋水之北(今弋江镇),改名为弋阳县。唐证圣元年(695年)分置玉山县;
  • 麦克默多干谷麦克默多干谷(英语:McMurdo Dry Valleys)为南极洲麦克默多湾西岸维多利亚地的一无雪山谷的统称。这些山谷由冰川后退而形成,约200多万年未有降水,是极度干燥的荒漠地区,是南极大陆
  • 帕维尔·卡尔洛维奇·斯滕伯格帕维尔·卡尔洛维奇·斯滕伯格 (俄语:Павел Карлович Штернберг;1865年4月2日–1920年2月1日),出生于奥廖尔市一个德国移民家庭,是一位俄罗斯天文学家和革
  • 惠灵 (印地安纳州特拉华县)惠灵(英语:Wheeling)是位于美国印地安纳州特拉华县的一个非建制地区。惠灵的座标为40°21′49″N 85°27′51″W / 40.36361°N 85.46417°W / 40.36361; -85.46417,而该地的平
  • 阿姆斯特丹博物馆阿姆斯特丹博物馆(Amsterdam Museum,2011年前称为阿姆斯特丹历史博物馆)是一座介绍阿姆斯特丹历史的博物馆。1975年开始,它就位于前市立孤儿院的建筑卡弗街和Nieuwezijds Voorbu
  • 频谱效率频谱效率(英语:Spectral efficiency)是指在数字通信系统中的带宽限制下,可以传送的资料总量。它是在有限的频谱下,物理层通信协议(有时是介质访问控制,信道接入协议)可以达到的使用
  • 纪和站纪和站(日语:紀和駅/きわえき  */?)是位于和歌山县和歌山市中之岛(日语:中之島 (和歌山市)),西日本旅客铁道(JR西日本)的纪势本线车站。在当初此站名为“和歌山站”,为和歌山市的代表