Curry, Yablo and duality
Roy T. Cook · Analysis · 2009
The Liar paradox is (or involves, depending on one's definition of ‘paradox’) the directly self-referential Liar statement: This statement is false. or (where T is a truth predicate): Λ: ∼ T()1 T() ↔ Λ The Curry paradox demonstrates that neither negation nor a falsity predicate is required in order to generate semantic paradoxes. Given any statement Φ whatsoever, we need merely consider the statement: If this statement is true, then Φ or: Ξ: T() → Φ