Contraction

⇄ Curry’s paradox, not the liar, is the real test of a theory of truth, and most theories fail it

Every proposed solution to the liar ("this sentence is false") is usually judged by what it says about negation. Some say the liar is neither true nor false; dialetheists say it is both. But Haskell Curry showed in 1942 that you can…