Abstract
A Curry paradox about truth is generated by the following sentence, written on the board in room 101:
-
If the sentence on the board in room 101 is true then 1 ≠ 1.
A Curry paradox about validity is generated by the following argument, written on the board in room 102:
-
The argument on the board in room 102 is valid. Therefore, 1 ≠ 1.
Though the sentence and the argument generate Curry paradoxes, they also generate more basic paradoxes, in a sense to be made clear. I argue that if we solve these more basic paradoxes, we have solutions to both kinds of Curry paradox. The positive proposal is in part inspired by a brief remark of Gödel’s, that the paradoxes might appear “as something analogous to dividing by zero”—so that the concepts of truth and validity, for example, are everywhere applicable except for certain singular points or singularities. A second central claim is that 'true' and 'valid' are context-sensitive predicates. This contextual-singularity approach to the Curry paradoxes applies also to other paradoxes of truth, validity, denotation, and predicate-extension. So a more general aim of the paper is to provide a unified response to semantic paradox.
Similar content being viewed by others
Availability of data and materials
Not applicable.
Code availability
Not applicable.
Notes
Assuming SL, we may deduce p from the negation of if p then q.
Assuming SL, we may deduce if p then q from the negation of p.
Paradoxes of denotation and of predicate-extension also generate repetitions. Suppose I write on the board just these three expressions: ‘pi’, ‘six’, ‘the sum of the numbers denoted by expressions on the board’. If we assume that the third expression denotes a number, say k, we reach absurdity: k = π + 6 + k. So the third expression is pathological, and fails to denote. But then, since the third expression fails to denote, we may conclude: the sum of the numbers denoted by expressions on the board is π + 6. And here we have a repetition of the third expression which is not pathological—it denotes a number, namely π + 6.
Or suppose I write on the board just these two predicates: ‘moon of the Earth’, ‘one-membered extension of a predicate on the board’. Suppose the second predicate has a determinate extension. Then we reach absurdity: the second predicate has a one-membered extension if and only if it has a two-membered extension. So the second predicate is pathological, and fails to have an extension. So we may conclude: the extension of the first predicate is the only one-membered extension of a predicate on the board. Here, in our conclusion, is a repetition of the first predicate, and it isn’t pathological—its extension is the extension whose only member is the Moon.
See Simmons (2018).
Op. cit., p. 150.
John MacFarlane characterizes relativism about truth this way: “To be a relativist about truth is to hold that languages with assessment-sensitive expressions are at least conceptually possible”. And “To be a relativist about truth in English (or some other natural language) is to hold that some expressions of English are assessment-sensitive” (MacFarlane 2014, p. 65). The case of T—and other cases of pathology—may be seen as counterexamples to MacFarlane’s characterization of relativism about truth.
This then is in opposition to those who take the Curry to be a different kind of paradox from the liar. Graham Priest claims that the Curry is different, because it has nothing to do with negation—see Priest (1995, p. 186). Weber et al. take the Curry to be different from the liar because the Curry does not fit the inclosure schema—see Weber et al. (2014, p. 823).
So the notion of validity that I am working with is to be contrasted with what might be called ‘logical validity’, the Tarskian notion where, roughly, validity is truth-preservation in virtue of logical form.
For further analysis of this validity paradox, see Simmons (2021).
For more discussion of these validity paradoxes, see Simmons (2021). Woodbridge and Armour-Garb (2008) call for ‘a single treatment of validity’s pathological features” (op. cit., p71). The suggestion of the present approach is that the underlying pathological feature is ungroundedness, and the treatment is to identify the singularities of the context-sensitive validity predicate.
Here’s a variant of the argument V. Suppose the following sentence is written on the board in room 103:
- (P/):
-
The argument from the sentence on the board in room 103 to ‘1 ≠ 1’ is valid.
Let the argument to which P/ refers be V/. Then we can reason about V/ exactly as we originally reasoned about V. Take the original reasoning 1–11 of Sect. 5, replace ‘V’ by ‘V/’ and ‘P’ by ‘P/’, and we obtain an argument that establishes that V/ cannot be assessed by the validity /P/ -schema (with the modest subscript in place). We establish that V/ and P/ are pathologicalP/, V/ is not validP/, and P/ is not true /P/ .
Curry reasoning parallel to 1–10/ of Sect. 6 goes wrong at the corresponding point. A repetition of V/ is obtained, and then it is falsely assumed that this repetition is assessable by VAL /P/ , as valid /P/ .
A version of P/ is the main focus of Beall and Murzi (2013). Beall and Murzi explore a substructural approach which rejects Structural Contraction. According to the present singularity proposal, classical logic is fully preserved.
Tarski (1969, p. 89).
Again, see Simmons (2018) for a fully developed singularity theory of truth, denotation, and predicate-extension.
References
Ashworth, E. J. (1974). Language and logic in the post-medieval period. Reidel.
Beall, J., & Murzi, J. (2013). Two flavors of curry paradox. Journal of Philosophy, 110, 143–165.
Brown, G., & Yule, G. (1983). Discourse analysis. Cambridge University Press.
Chafe, W. (1976). Givenness, contrastiveness, definiteness, subjects, topics, and point of view. In C. Li (Ed.), Subject and topic (pp. 25–55). Academic Press.
Clark, H., & Haviland, S. (1977). Comprehension and the given-new contract. In R. Freedle (Ed.), Discourse production and comprehension (pp. 1–40). Lawrence Erlbaum Associates.
Gödel, K. (1944). Russell’s mathematical logic. In P. A. Schilpp (Ed.), The philosophy of Bertrand Russell (pp. 123–153). Tudor.
Grosz, B., & Sidner, C. (1986). Attention, intention, and the structure of discourse. Computational Linguistics, 12, 175–204.
Halliday, M. A. K. (1967). Notes on transitivity and theme in English: Part 2. Journal of Linguistics, 3, 199–244.
Heim, I. (1988). The semantics of definite and indefinite noun phrases. Garland Publishing.
Kripke, S. (1975). Outline of a theory of truth. Journal of Philosophy, 72, 690–716.
Lewis, D. (1979). Scorekeeping in a language game. Journal of Philosophical Logic, 8, 339–359.
MacFarlane, J. (2014). Assessment sensitivity: Relative truth and its applications. Oxford University Press.
Priest, G. (1995). Beyond the limits of thought. Cambridge University Press.
Read, S. (2001). Self-reference and validity revisited. In M. Yrjönsuuri (Ed.), Medieval formal logic (pp. 183–196). Kluwer.
Reinhart, T. (1981). Pragmatics and linguistics: An analysis of sentence topics. Philosophica, 27(1), 53–94.
Roure, M. L. (1962). Le traité ‘Des Propositions Insolubles’ de Jean de Celaya. Archives D’histoire Doctrinale Et Littéraire Du Moyen Age, 29, 235–336.
Schilpp, P. A. (Ed.). (1944). The philosophy of Bertrand Russell. Open Court.
Simmons, K. (1993). Universality and the liar: An essay on truth and the diagonal argument. Cambridge University Press.
Simmons, K. (2018). Semantic singularities: Paradoxes of reference, predication, and truth. Oxford University Press.
Simmons, K. (2021). Paradoxes of validity. Philosophical Studies, 179, 383–403.
Stalnaker, R. C. (1975). Indicative conditionals. Philosophia, 5, 269–286.
Tarski, A. (1933/1986). The concept of truth in formalized languages (pp. 152–278).
Tarski, A. (1969). Truth and proof. Scientific American, 220, 63–77.
Tarski, A. (1986). Logic, semantics, metamathematics (2nd ed.). Hackett.
Weber, Z., Ripley, D., Priest, G., Hyde, D., & Colyvan, M. (2014). Tolerating gluts. Mind, 123(491), 813–828.
Woodbridge, J., & Armour-Garb, B. (2008). The pathology of validity. Synthese, 160, 63–74.
Funding
Not applicable.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
Not applicable.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Springer Nature or its licensor (e.g. a society or other partner) holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law.