42）和洛布（1955）的贡献。该悖论可以用自然语言和各种形式逻辑来表达，包括集合论、λ演算和组合逻辑的某些形式。所有可以称为“柯里悖论”的悖论共同特征是，它们以连接词或谓词形式利用蕴涵，蕴含或结果的概念。
分类.弗兰克·普伦普顿·拉姆齐于1925年最早把逻辑悖论（Logical Paradox）同语义悖论（Semantical Paradox）区别开来。罗素悖论属于前一类，说谎者悖论属于后者。 拉姆齐认为，逻辑矛盾涉及数学或逻辑术语(例如类，数)，因此表明存在逻辑问题。而语义