caa a22 4500 605539138 CHVBK 20210128100905.0 cr unu---uuuuu 210128e20150801xx s 000 0 eng 10.1007/s10992-014-9336-4 doi (NATIONALLICENCE)springer-10.1007/s10992-014-9336-4 External Curries [Elektronische Daten] [Heinrich Wansing, Graham Priest] Curry's paradox is well known. The original version employed a conditional connective, and is not forthcoming if the conditional does not satisfy contraction. A newer version uses a validity predicate, instead of a conditional, and is not forthcoming if validity does not satisfy structural contraction. But there is a variation of the paradox which uses "external validity” (that is, essentially, preservation of theoremhood). And since external validity contracts, one might expect the appropriate version of the Curry paradox to be inescapable. In this paper we show that this is not the case. We consider two ways of formalising the notion of external validity, and show that in both of these the paradox is not forthcoming without the appropriate forms of contraction. Springer Science+Business Media Dordrecht, 2014 Curry paradox nationallicence Internal validity nationallicence External validity nationallicence Internal consequence relations nationallicence External consequence relations nationallicence Contraction nationallicence Higher-level sequent calculi nationallicence Wansing Heinrich Department of Philosophy II, Ruhr-University Bochum, Bochum, Germany aut Priest Graham The Graduate Center, City University of New York, New York, NY, USA aut Journal of Philosophical Logic Springer Netherlands 44/4(2015-08-01), 453-471 0022-3611 44:4<453 2015 44 10992 https://doi.org/10.1007/s10992-014-9336-4 text/html Onlinezugriff via DOI BK010053 XK010053 XK010000 Metadata rights reserved Springer special CC-BY-NC licence nationallicence 1 research-article jats NATIONALLICENCE NATIONALLICENCE NL-springer NATIONALLICENCE 856 40 https://doi.org/10.1007/s10992-014-9336-4 text/html Onlinezugriff via DOI NATIONALLICENCE 700 1- Wansing Heinrich Department of Philosophy II, Ruhr-University Bochum, Bochum, Germany aut NATIONALLICENCE 700 1- Priest Graham The Graduate Center, City University of New York, New York, NY, USA aut NATIONALLICENCE 773 0- Journal of Philosophical Logic Springer Netherlands 44/4(2015-08-01), 453-471 0022-3611 44:4<453 2015 44 10992