Curry’s Paradox
Updated 2026-09-10
INTRODUCTION
English translation pending.
CORE DEFINITION
Curry's paradox is a large family of paradoxes arising from self-reference or circularity, whose modern lineage traces to the work of Haskell Curry and Martin Lob. Their common feature is that they use a concept of implication, entailment, or consequence, either as a connective or as a predicate, to construct the paradox. Unlike the liar, it needs no negation, so it constrains proposed logical fixes more tightly.
SCAFFOLDING EFFECT
Reduce cognitive load
- Detect self-reference: when a sentence or rule points at itself, watch for paradoxical collapse. - Harden the system: check whether the reasoning admits self-reference, or any proposition becomes derivable. - Stress-test structure: build a self-referential conditional and see whether the theory entails arbitrary conclusions.
Anchor fast decisions
Curry's paradox needs very little: a self-referential sentence C whose content is that if C is true then an arbitrary proposition P, together with identity and detachment, yields any P and trivializes the theory. Unlike the liar paradox it does not depend on negation, so it cannot be defused by restricting negation, which is why it places stricter demands on proposed logical solutions.
MINIMUM ACTION
In progress 0/1Practice this model in one real situation:
account_treeGenealogyexpand_more
menu_bookReferencesexpand_more
Source support: Explicit
- plato.stanford.eduhttps://plato.stanford.edu/entries/curry-paradox/verified
PRIVATE NOTES · Only visible to you
SAVED Q&A
ENTRY Q&A · Private saving available
Ask with a clear boundary
thinkingmodels answers from published entry context only.
Your question is sent to thinkingmodels. The answer uses public entry context only.
RELATED MODELS