External Curries
| LEADER | caa a22 4500 | ||
|---|---|---|---|
| 001 | 605539138 | ||
| 003 | CHVBK | ||
| 005 | 20210128100905.0 | ||
| 007 | cr unu---uuuuu | ||
| 008 | 210128e20150801xx s 000 0 eng | ||
| 024 | 7 | 0 | |a 10.1007/s10992-014-9336-4 |2 doi |
| 035 | |a (NATIONALLICENCE)springer-10.1007/s10992-014-9336-4 | ||
| 245 | 0 | 0 | |a External Curries |h [Elektronische Daten] |c [Heinrich Wansing, Graham Priest] |
| 520 | 3 | |a 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. | |
| 540 | |a Springer Science+Business Media Dordrecht, 2014 | ||
| 690 | 7 | |a Curry paradox |2 nationallicence | |
| 690 | 7 | |a Internal validity |2 nationallicence | |
| 690 | 7 | |a External validity |2 nationallicence | |
| 690 | 7 | |a Internal consequence relations |2 nationallicence | |
| 690 | 7 | |a External consequence relations |2 nationallicence | |
| 690 | 7 | |a Contraction |2 nationallicence | |
| 690 | 7 | |a Higher-level sequent calculi |2 nationallicence | |
| 700 | 1 | |a Wansing |D Heinrich |u Department of Philosophy II, Ruhr-University Bochum, Bochum, Germany |4 aut | |
| 700 | 1 | |a Priest |D Graham |u The Graduate Center, City University of New York, New York, NY, USA |4 aut | |
| 773 | 0 | |t Journal of Philosophical Logic |d Springer Netherlands |g 44/4(2015-08-01), 453-471 |x 0022-3611 |q 44:4<453 |1 2015 |2 44 |o 10992 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/s10992-014-9336-4 |q text/html |z Onlinezugriff via DOI |
| 898 | |a BK010053 |b XK010053 |c XK010000 | ||
| 900 | 7 | |a Metadata rights reserved |b Springer special CC-BY-NC licence |2 nationallicence | |
| 908 | |D 1 |a research-article |2 jats | ||
| 949 | |B NATIONALLICENCE |F NATIONALLICENCE |b NL-springer | ||
| 950 | |B NATIONALLICENCE |P 856 |E 40 |u https://doi.org/10.1007/s10992-014-9336-4 |q text/html |z Onlinezugriff via DOI | ||
| 950 | |B NATIONALLICENCE |P 700 |E 1- |a Wansing |D Heinrich |u Department of Philosophy II, Ruhr-University Bochum, Bochum, Germany |4 aut | ||
| 950 | |B NATIONALLICENCE |P 700 |E 1- |a Priest |D Graham |u The Graduate Center, City University of New York, New York, NY, USA |4 aut | ||
| 950 | |B NATIONALLICENCE |P 773 |E 0- |t Journal of Philosophical Logic |d Springer Netherlands |g 44/4(2015-08-01), 453-471 |x 0022-3611 |q 44:4<453 |1 2015 |2 44 |o 10992 | ||