用的“柯里悖论”一词，指的是一类多样化的悖论，具有自指性（self-reference）或循环性（circularity），并且其悖论根源的发现可追溯到柯里（1942）和洛布（1955）的贡献。该悖论可以用自然语言和各种形式逻辑来表达，包括集合论、λ演算和组合逻辑的某些形式。所有可以称为“柯里悖论”的悖论共同特征是，它们以连接词或谓词形式利用蕴涵，蕴含或结果的概念。
分类.弗兰克·普伦普顿·拉姆齐于1925年最早把逻辑悖论（Logical Paradox）同语义悖论（Seman