柯里悖論

柯里悖論（Curry's paradox） ^[1]  是這樣一種悖論： 句子C： “如果C，則F” 。

只需要一些顯然無害的邏輯推導規則， 則僅從句子C的存在就證明了任意主張F， 產生了矛盾。

由於F是任意的，因此具有這些規則的任何邏輯都可以證明一切。 悖論可以用自然語言和各種邏輯來表達，包括集合論，λ演算和組合邏輯的某些形式。

這個悖論由美國數理邏輯學家哈斯凱爾·布魯克·柯里（Haskell Brooks Curry）於1942年提出， 並且以其命名。

所有可以稱為“柯里悖論”的悖論共同特徵是，它們以連接詞或謂詞形式，利用藴涵等概念。 柯里悖論出現於許多不同的領域。 就像羅素悖論一樣，它可以是集合論或屬性論的悖論的形式出現。 但是，它也可以是類似於説謊者悖論的語義悖論的形式出現。 柯里悖論與羅素悖論和説謊者悖論都不同，因為它本質上並沒有涉及否定的概念。 常見的真，理論版本包含一個句子，該句子對的自身説明：如果它是真實的，那麼任意選擇的主張是真實的。或者使用更差的實例來説明自身，如果它是真實的，那麼每一個虛假都是真實的。這樣一個句子的存在似乎暗示着任意選擇的主張的真實性，或者（在更差的情況下）每一個虛假的事實都是如此， 所以是悖論。

其形式為， “如果X，則Y”的句子稱為條件句。

柯里悖論使用一種特殊的自指條件句（self-referential conditional sentence），如以下示例所示：

“如果這句話是正確的，那麼德國與中國接壤。”

儘管德國沒有與中國接壤，但例句當然是自然語言的句子，因此可以分析該句子的真實性。悖論來自此分析。分析包括兩個步驟。

“德國與中國接壤”的主張可以用任何其他主張代替，並且該判決仍然可以證明。因此，每個句子似乎都是可以證明的。因為證明僅使用公認的推論方法，並且由於這些方法似乎都不正確，所以這種情況是自相矛盾的。

關於柯里悖論的討論強調，因為其並不“本質上涉及否定”, 它與羅素悖論和説謊者悖論有實質性不同。 一些具有弱否定原理的非經典邏輯(比如， 次協調邏輯)， 可以解決羅素悖論和説謊者悖論，但仍然容易受到柯里悖論的影響。希望能夠避免柯里悖論的這一要求在非經典邏輯的發展中起了重要作用。 ^[1] 

英國數學家、哲學家兼經濟學家拉姆齊(FrankPlumpton Ramsey) ^[3]  於1925年最早把邏輯悖論(英文:Logical Paradox)同語義悖論(英文:Semantical Paradox)區別為兩個類別, 見文獻 ^[3]  的第二章邏輯與數學基礎(The Foundations of Logic and Mathematics)，羅素悖論屬於前一類，説謊者悖論屬於後者。拉姆齊認為，邏輯矛盾涉及數學或邏輯術語(例如類，數)，因此表明我們的邏輯或數學存在問題。而語義矛盾除純邏輯術語外還涉及“思想”，“語言”，“符號”等概念, 根據拉姆齊的觀點，它們是經驗性(非形式)術語。 ^[2-3] 

柯里悖論可以像羅素悖論一樣，採取集合論或屬性論的邏輯悖論的形式。 但是它也可以採取語義悖論的形式，非常類似於説謊者悖論。 ^[1]