Conditionals and Curry

Curry’s paradox for “if. then.” concerns the paradoxical features of sentences of the form “If this very sentence is true, then 2 + 2 = 5”. Standard inference principles lead us to the conclusion that such conditionals have true consequents: so, for example, 2 + 2 = 5 after all. There has been a lot of technical work done on formal options for blocking Curry paradoxes while only compromising a little on the various central principles of logic and meaning that are under threat. Once we have a sense of the technical options, though, a philosophical choice remains. When dealing with puzzles in the logic of conditionals, a natural place to turn is independently motivated semantic theories of the behaviour of “if.. then..”. This paper argues that a closest-worlds approach outlined in previous work offers a philosophically satisfying reason to deny conditional proof and so block the paradoxical Curry reasoning, and can give the verdict that standard Curry conditionals are false, along with related “contraction conditionals”.