Curry’s Paradox (opens in new tab)

“Curry’s paradox”, as the term is used by philosophers today, refers to a wide variety of paradoxes of self-reference or circularity that trace their modern ancestry to Curry (1942b) and Löb (1955).[1] The common characteristic of these so-called Curry paradoxes is the way they exploit a notion of implication, entailment, or consequence, either in the form of a connective or in the form of a predicate. Curry’s paradox arises in a number of different domains. Like Russell’s paradox, it can tak...