Abstract
This paper investigates the determinacy of mathematics. We begin by clarifying how we are understanding the notion of determinacy (Sect. 1) before turning to the questions of whether and how famous independence results bear on issues of determinacy in mathematics (Sect. 2). From there, we pose a metasemantic challenge for those who believe that mathematical language is determinate (Sect. 3), motivate two important constraints on attempts to meet our challenge (Sect. 4), and then use these constraints to develop an argument against determinacy (Sect. 5) and discuss a particularly popular approach to resolving indeterminacy (Sect. 6), before offering some brief closing reflections (Sect. 7). We believe our discussion poses a serious challenge for most philosophical theories of mathematics, since it puts considerable pressure on all views that accept a non-trivial amount of determinacy for even basic arithmetic.
Similar content being viewed by others
Notes
Throughout we assume classical logic—an untendentious assumption in mainstream mathematics—for full generality we would need to distinguish between, for different logics L, different notions of L-independence.
See Sect. 4 of Warren (2015) for a relevant general characterization of conceptual pluralism.
Williamson (1994) sees the indeterminacy induced by vagueness as being merely epistemic in this sense.
This is roughly equivalent to notions of “super-truth” as used in supervaluationist treatments of vagueness.
Of course, if ZFC is inconsistent then no sentence in the language of set theory, including both CH and its negation, is independent of the theory.
The Rosser sentence R intuitively “says” that if R is provable, then there is a shorter proof of \(\lnot R\). Unlike the standard Gödel sentence, the negation of the Rosser sentence for a theory extending arithmetic can be shown to be independent of the theory without assuming that the theory is \(\omega \)-consistent. See Rosser (1936).
Just to make sure that there isn’t any confusion here: recall that Indeterminacy applies to subject matters by way of a notion of determinate truth that applies to sentences concerning the subject matter.
There are explicit arguments for this, but in the background to such arguments is typically the thought that syntax is determinate, and so, since the canonical examples of undecidable arithmetical sentences (Gödel sentences, Rosser sentences, consistency sentences) all concern, in some sense, syntactic facts about provability, they must be fully determinate. However, it is worth noting that not all examples of arithmetical incompleteness are of this nature; see Paris and Harrington (1977) for an example with no prima facie connection to the syntax of arithmetic.
Other possible disanalogies include (i) the extent of disagreement over proposed alternative axioms and related claims (see Clarke-Doane 2013) and (ii) the potentially different role that considerations concerning nonstandard models may legitimately play in indeterminacy arguments in set theory as opposed to arithmetic (see Gaifman 2004). The first type of disanalogy noted here may also be relevant to the plausibility of mathematical pluralism.
Here and throughout we assume that words and sentences are individuated syntactically. Of course the very same metasemantic questions will arise, in a slightly altered form, if linguistic items are individuated semantically.
Of course, saying that indeterminacy is often easy to explain, metasemantically, is not the same thing as saying that the concept of indeterminacy, or the semantics of an indeterminacy-operator, is easy to explain.
Cf. Schechter (2010). In Warren and Waxman (Unpublished) we develop and endorse a generalized epistemological argument against realism along the lines suggested by Schechter.
Our distinction between the first and second grades of platonic involvement is similar to Field’s (1984) distinction between “moderate” and “heavy-duty” platonism, though we don’t focus just on relations between abstract and physical objects but rather on the explanatory role played by the former.
See Woods (2016) for some related thoughts.
This is important to note because the physical significance of some scientific theories—such as quantum mechanics—is hotly contested. For some relevant discussion of the quantum mechanical case, in the context of whether and how nominalist programs such as Field’s (1980) could apply to quantum mechanics, see Malament (1982) and Balaguer (1996) for discussion.
See Leeds (1978) for relevant discussion.
For this reason, we also accept a general version of the metaphysical constraint, applying to the metasemantics of all other domains. However, since our concern here is with mathematics alone, that is the focus of our attention.
(McGee, 1991, p. 117).
See any recursion theory textbook for details, e.g., Odifreddi (1989).
It also has non-trivial repercussions; see McGee (1991).
Quoted from (Carnap, 1934, p. 173).
See Shapiro (1991) for details of standard and other semantics for second-order logic.
This type of criticism was pioneered by Weston (1976).
See the discussion in Field (2001).
(Field, 1998b, p. 342); a similar quote from page 418 of his earlier (1994) is still ambivalent, but slightly less skeptical of his own approach and slightly more skeptical of alternatives: “I am sure that some will feel that making the determinateness of the notion of finite depend upon cosmology is unsatisfactory; perhaps, but I do not see how anything other than cosmology has a chance of making it determinate”.
(Parsons, 2001, p. 22).
A referee for this journal has noted to us that it might be possible to develop certain conditional limits on Field’s approach in moving from first to second-order arithmetic. The idea being that even if Field’s approach secures determinacy for first-order arithmetic, given the cognitive constraint, this determinacy couldn’t plausibly be extended to (for example) all claims concerning \(\Pi _{2}^{1}\)-sets. One interesting point here is that this criticism can be made while allowing that the interaction of the world and our practice extends determinacy beyond what is accounted for by either factor, all on its own.
See Gödel (1964) for some relevant further discussion.
See the final section of Quine (1951).
The talk of “singling out” here concerns our practice singling out a determinate theory, rather than our theory singling out (determinately) certain mathematical objects. That is: we are still talking about determinate truth rather than determinate reference to mathematical objects.
We’re grateful to Jack Woods and two referees for comments. Thanks also to audiences at NYU and Vienna, where an early version of this paper was presented by DW.
References
Balaguer, M. (1996). Towards a nominalization of quantum mechanics. Mind, 105(418), 209–226.
Beltrami, E. (1868a). Saggio di interpretazione della geometria non-euclidea. Giornale di Mathematiche, VI, 285–315.
Beltrami, E. (1868b). Teoria fondamentale degli spazii di curvatura costante. Annali di Matematica Pura ed Applicata, 2, 232–255.
Benacerraf, P. (1967). God, the Devil, and Gödel. The Monist, 51, 9–32.
Benacerraf, P. (1973). Mathematical truth. Journal of Philosophy, 70, 661–680.
Boolos, G. (1990). On “seeing” the truth of the Gödel sentence. Behavioral and Brain Sciences, 13(4), 655–656.
Button, T., & Smith, P. (2011). The philosophical significance of Tennenbaum’s theorem. Philosophia Mathematica (III), 00, 1–8.
Carnap, R. (1934). The logical syntax of language. London: Routledge & Kegan Paul.
Chalmers, D. J. (2012). Constructing the world. Oxford: Oxford University Press.
Clarke-Doane, J. (2013). What is absolute undecidability? Noûs, 47(3), 467–481.
Cohen, P. (1963). The independence of the continuum hypothesis I. Proceedings of the National Academy of Sciences of the United States, 50(6), 1143–1148.
Cohen, P. (1964). The independence of the continuum hypothesis II. Proceedings of the National Academy of Sciences of the United States, 51(1), 105–110.
Dean, W. (2002). Models and recursivity. Replacement posted in http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.136.446
Field, H. (1980). Science without numbers. Princeton: Princeton University Press.
Field, H. (1984). Can we dispense with space-time. PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association, 1984(2), 33–90.
Field, H. (1989). Realism, mathematics and modality. Oxford: Blackwell.
Field, H. (1994). Are our mathematical and logical concepts highly indeterminate. In P. French, T. Uehling, & H. Wettstein (Eds.), Midwest studies in philosophy. New York: Blackwell.
Field, H. (1998a). Do we have a determinate conception of finiteness and natural number. In M. Schirn (Ed.), The philosophy of mathematics today. Oxford: Oxford University Press.
Field, H. (1998b). Which undecidable mathematical sentences have determinate truth values. In H. G. Dales & G. Olivari (Eds.), Truth in mathematics. Oxford: Oxford University Press.
Field, H. (2001). Truth and the absence of fact. Oxford: Oxford University Press.
Gaifman, H. (2004). Non-standard models in a broader perspective. In A. Enayat & R. Kossak (Eds.), Contemporary mathematics: Nonstandard models of arithmetic and set theory (Vol. 361, pp. 1–22). Providence: American Mathematical Society.
Gödel, K. (1931). On formally undecidable propositions of principia mathematica and related systems I. Monatshefte für Mathematik und Physik, 38, 173–198.
Gödel, K. (1939). Consistency proof for the generalized continuum-hypothesis. Proceedings of the National Academy of Sciences, 25(4), 220–224.
Gödel, K. (1964). What is Cantor’s continuum problem. In P. Benacerraf & H. Putnam (Eds.), Philosophy of Mathematics: Selected Readings (2nd ed.). New York: Cambridge University Press.
Goodstein, R. (1944). On the restricted ordinal theorem. Journal of Symbolic Logic, 9, 33–41.
Hale, B. (1987). Abstract objects. Oxford: Basil Blackwell.
Hale, B., & Wright, C. (2001). The reason s proper study. Oxford: Oxford University Press.
Horwich, P. (1998). Truth (2nd ed.). Oxford: Clarendon Press.
Isaacson, D. (2011). The reality of mathematics and the case of set theory. In Z. Novak & A. Simonyi (Eds.), Truth, reference and realism (pp. 1–76). Budapest: Central European University Press.
Jech, T. (1967). Non-provability of Souslin’s hypothesis. Commentationes Mathematicae Universitatis Carolinae, 8, 291–305.
Kirby, L., & Paris, J. (1982). Accessible independence results for Peano arithmetic. Bulletin of the London Mathematical Society, 14(4), 285.
Koellner, P. (2010). On the question of absolute undecidability. In K. Gödel, S. Feferman, C. Parsons & S. G. Simpson (eds.), Philosophia mathematica. Association for symbolic logic (pp. 153–188).
Lavine, S. (Unpublished). Skolem was wrong.
Leeds, S. (1978). Theories of reference and truth. Erkenntnis, 13(1), 111–129.
Lucas, J. R. (1961). Minds, machines and Gödel. Philosophy, 36, 112–127.
Maddy, P. (1997). Naturalism in mathematics. Oxford: Oxford University Press.
Maddy, P. (2007). Second philosophy: A naturalistic method. Oxford: Oxford University Press.
Malament, D. (1982). Science without numbers by Hartry Field. Journal of Philosophy, 79(9), 523–534.
McGee, V. (1991). We turing machines aren’t expected-utility maximizers (even Ideally). Philosophical Studies, 64(1), 115–123.
McGee, V. (1997). How we learn mathematical language. Philosophical Review, 106, 35–68.
Odifreddi, P. (1989). Classical recursion theory: The theory of functions and sets of natural numbers. Amsterdam: Elsevier.
Paris, J., & Harrington, L. (1977). A mathematical incompleteness in Peano arithmetic. In J. Barwise (Ed.), Handbook of mathematical logic (pp. 1133–1142). Amsterdam: Elsevier.
Parsons, C. (2001). Communication and the uniqueness of the natural numbers. The Proceedings of the First Seminar of the Philosophy of Mathematics in Iran, Shahid University.
Penrose, R. (1989). The emperor’s new mind. New York: Oxford University Press.
Penrose, R. (1994). Shadows of the mind. Oxford: Oxford University Press.
Putnam, H. (1967a). The thesis that mathematics is logic. In R. Schoenman (Ed.), Bertrand russell: Philosopher of the century (pp. 273–303). London: Allen and Unwin.
Putnam, H. (1967b). Mathematics without foundations. Journal of Philosophy, 64(1), 5–22.
Putnam, H. (1980). Models and reality. Journal of Symbolic Logic, 45(3), 464–482.
Quine, W. V. O. (1951). Two dogmas of empiricism. Philosophical Review, 60(1), 20–43.
Rosser, J. B. (1936). Extensions of some theorems of Gödel and Church. Journal of Symbolic Logic, 1, 230–235.
Schechter, J. (2010). The reliability challenge and the epistemology of logic. Philosophical Perspectives, 24, 437–464.
Shapiro, S. (1991). Foundations without foundationalism: A case for second-order logic. Oxford: Oxford University Press.
Shapiro, S. (1998). Incompleteness, mechanism, and optimism. Bulletin of Symbolic Logic, 4(3), 273–302.
Shapiro, S. (2003). Mechanism, truth, and Penrose’s new argument. Journal of Philosophical Logic, 32(1), 19–42.
Solovay, R. M., & Tennenbaum, S. (1971). Iterated Cohen extensions and Souslin’s problem. Annals of Mathematics, 94(2), 201–245.
Suslin, M. (1920). Probléme 3. Fundamenta Mathematicae, 1, 223.
Tennenbaum, S. (1968). Souslin’s problem. U.S.A. Proceedings of the National Academy of Sciences, 59, 60–63.
Warren, J. (2015). Conventionalism, consistency, and consistency sentences. Synthese, 192(5), 1351–1371.
Warren, J. (2016). Epistemology versus non-causal realism. Synthese. doi:10.1007/s11229-015-1010-z
Warren, J. & Waxman, D. (Unpublished). Reliability, explanation, and the failure of mathematical realism.
Weir, A. (2010). Truth through proof: A formalist foundation for mathematics. Oxford: Clarendon Press.
Weston, T. (1976). Kreisel, the continuum hypothesis and second order set theory. Journal of Philosophical Logic, 5(2), 281–298.
Williamson, T. (1994). Vagueness. London and New York: Routledge.
Woods, J. (2016). Mathematics, morality, and self-effacement. Noûs.
Wright, C. (1983). Frege’s conception of numbers as objects. Aberdeen: Aberdeen University Press.
Zermelo, E. (1930). Über stufen der quantifikation und die logik des unendlichen. Jahresbericht der Deutschen Mathematiker-Vereinigung (Angelegenheiten), 31, 85–88.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Warren, J., Waxman, D. A metasemantic challenge for mathematical determinacy. Synthese 197, 477–495 (2020). https://doi.org/10.1007/s11229-016-1266-y
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11229-016-1266-y