Abstract
Annalisa Coliva (Int J Study Skept 10(3–4):346–366, 2020) asks, “Are there mathematical hinges?” I argue here, against Coliva’s own conclusion, that there are. I further claim that this affirmative answer allows a case to be made for taking the concept of a hinge to be a useful and general-purpose tool for studying mathematical practice in its real complexity. Seeing how Wittgenstein can, and why he would, countenance mathematical hinges additionally gives us a deeper understanding of some of his latest thoughts on mathematics. For example, a view of how mathematical hinges relate to Wittgenstein’s well-known river-bed analogy enables us to see how his way of thinking about mathematics can account nicely for a “dynamics of change” within mathematical research—something his philosophy of mathematics has been accused of missing (e.g., by Robert Ackermann (Wittgenstein’s city, The University of Massachusetts Press, Amherst, 1988) and Mark Wilson (Wandering significance: an essay on conceptual behavior, Oxford University Press, Oxford, 2006). Finally, the perspective on mathematical hinges ultimately arrived at will be seen to provide us with illuminating examples of how our conceptual choices and theories can be ungrounded but nevertheless the right ones (in a sense to be explained).
Similar content being viewed by others
Notes
Given his understanding of mathematics as “twisting and turning about within” and creating rules (Wittgenstein 1956/1983, I.§§165–168), discussion of mathematical propositions is sometimes deemed to be inappropriate in relation to Wittgenstein’s thought. See especially (Moyal-Sharrock 2004, Ch. 2) for this judgment in the present context. As a number of commentators have pointed out however [see, e.g., (Baker and 2009) Ch. VII. 4–6) and (Coliva 2010, pp. 80–82)], by the time of the Investigations Wittgenstein seems to view proposition itself as a family-resemblance concept [cf. Wittgenstein (1953/2009, §136) and Wittgenstein (1969, §320)]. His adoption of this perspective makes the objections to proposition-talk raised by Moyal-Sharrock et al. less pressing, at least for present purposes. See (Travis 2012) for a helpful discussion of the different understandings of ‘proposition’ Wittgenstein endorsed over the course of his career.
This phrase comes from (Coliva 2020, p. 365), which will be discussed in some detail presently.
For the purposes of this paper, I’ll be consistently using the now-firmly-established language of “hinges” and “hinge propositions.” Whether or not the general hinge approach to On Certainty is the most effective way to get a handle of this swath of Wittgenstein’s thinking is a larger question not taken up here.
See Eriksen (2020) for another recent discussion of Wittgenstein on the “dynamics of change.” Understanding the dynamics of change is of course also central to the large, on-going project of making sense of mathematical progress more generally. For a recent discussion of the state and goals of this project see Weisgerber (2022).
See, e.g., Wittgenstein (1969, §§110, 166) for the grounding metaphor.
I add this qualification because Coliva considers how hinges might find a place in Wittgenstein’s thought about mathematics both “on the vulgata,” where he takes mathematical statements to behave like rules, and according to a view where he gives them a more traditional understanding (Coliva 2020, p. 347). I take Shanker (1987) and Baker and (2009, Ch. VII), among others, to establish that a rule-like/normative role for mathematical statements must be taken on board for a view to count as being Wittgensteinian, so aside from parts of Sect. 3 I’ll only be speaking with the vulgar in what follows.
Given that the project of the paper is simply to consider the prospects for a hinge-based philosophy of mathematics deriving from On Certainty, I’ll not be trying to justify Wittgenstein’s general approach to certainty or our special commitment to hinges in what follows.
See, for example, Wittgenstein (1969, §§57, 268, 308). Cf. Moyal-Sharrock (2004, pp. 85–87). Coliva (2020, p. 439n6) suggests that Kusch doesn’t accept this normative role as being essential to hinges, but I take the following passage to put that conclusion in question: “McGinn and Moyal-Sharrock are right to stress this grammatical/linguistic role of certainties. But they pay too little attention to the various epistemic roles that certainties do also play” (Kusch 2016, p. 138).
See, e.g., Wittgenstein (1969, §§56, 231, 359, 454). Cf. Moyal-Sharrock (2004, p. 75–80). Kusch (2016, Sect. 9) argues that this characteristic isn’t shared by all hinges. One of the reasons he makes this claim, however, is that he holds mathematical propositions to be hinges and, citing (Wittgenstein 1969, §563), counts proofs as evidence for them. Since the status of mathematical propositions as hinges is in question here, it seems worth keeping this item as part of our characterization of hinges at least for now. Cf. Coliva (2020, p. 439n6).
Cf. Moyal-Sharrock (2004, p. 119).
There are subtle questions about what exactly justification is supposed to come to here raised by Wittgenstein’s repeated characterization of mathematics as “akin both to what is arbitrary and to what is non-arbitrary” (Wittgenstein 1967, §358). See, e.g., (Baker and 2009, Ch. VII.11–12) for discussion. The main question under discussion in what follows is addressable without fully engaging these other difficult questions though, so I’ll set them aside wherever possible.
Wittgenstein (1969, §563).
See Coliva (2020, pp. 347–348) for the later worry.
See Coliva (2020, p. 352).
Another important part of Coliva’s case is her explanation of why the following passage doesn’t immediately settle the question: “The mathematical proposition has, as it were officially, been given the stamp of incontestability. i.e.: “Dispute about other things; this is immovable—it is a hinge on which your dispute can turn” Wittgenstein (1969, §655). See Coliva (2020, pp. 359–360). I think she’s correct that this passage on its own is not enough to put the debate to rest, so I don’t rely on it here.
Wittgenstein (1956/1983, III.§18)
That is, if the system’s consistency isn’t called into question in the process.
Given that our system of naming numbers is set up appropriately. See (Kim 2021) for a discussion of what an appropriate setup might look like.
Whitehead and Russell (1927\(*\)110.643).
Cf. Mühlhölzer (2020, pp. 193–195).
Church (1956, p. 76).
See Coliva (2020, p. 352).
See Coliva (2020, pp. 352–354).
“In some sense” because it’s not clear how the \(1057\times 216=228,312\) learned prior to, say, \(2\times 2=4\) would relate to the equation \(1057\times 216=228,312\) as we know and relate to it now.
See, e.g., Wittgenstein (1969, §§106, 264).
This feature of the method to be discussed is noted, but not commented on at Coliva (2020).
See, e.g., https://www.popularmechanics.com/science/a32131826/ancient-multiplication-method/ (accessed 13 September 2022).
This sort of check is especially valuable because all the counting involved makes the intersection-counting technique more liable to error than our normal method of multiplying.
A practice that used Roman numerals instead of Arabic ones for calculation would similarly have a different collection of equations with a special logical status supporting justification within the practice. E.g., to multiply MLVII by CCXVI one would need to know that V times V is XXV, that L times V is CCL, and that five Cs add up to one D, and so on. These considerations are perhaps mundane, but they are part of a realistic investigation of this mathematical practice nonetheless. See Detlefsen et al. (1976) for more on techniques of Roman numeral arithmetic.
Something like this worry seems to lie behind the general thrust of Coliva’s arguments. See, e.g., Coliva (2020, pp. 347–348).
See van Gennip (2003) for discussion of the timeline of the manuscripts mined for the content of On Certainty.
Frege (1893/1964, p. xvii).
Pritchard (2021) provides a recent overview of this account.
This is likely the line Frege, for example, would take given the rest of his discussion in the Grundgesetze.
See, e.g., Wittgenstein (1953/2009, §216), where Wittgenstein suggests that there is “no finer example of a useless proposition” that the law of identity.
Cf. The discussion in Wittgenstein (1939/1989, pp. 41–42) considering the ways that even \(25\times 25=625\) might be deemed mathematical or not depending on usage.
See, e.g., Wittgenstein (1930/1975, §163): “‘Every symbol is what it is and not another symbol.’”
Sometimes logicians are interested in studying systems that do assert their own consistency though. E.g., Peano Arithmetic (PA) + “PA is consistent” is a so-called consistency extension of Peano Arithmetic that has been investigated. See, e.g., Franzén (2004, Ch. 13). The consistency of this larger system must still be asserted somehow too though if Poincaré’s idea is on the right track.
Pedersen (2021) argues that this type of consistency claim is in fact a hinge (or a “cornerstone proposition” as he puts it).
In order to make this commitment into a more evidently mathematical claim, it could be reformulated as a commitment to the claim that the axioms have a model.
See, e.g., Floyd (2021, Sec. 3.6) for discussion.
See, e.g., Wittgenstein (1939/1989, p. 210).
Again, see Pedersen (2021) here.
This is where Coliva thinks it’s wisest for us to look for mathematical hinges as well. See Coliva (2020, Sec. 6). The main differences between the account on offer here and Coliva’s own suggestions are that the present account is able to incorporate Wittgenstein’s insight that mathematical statements seem to behave uniformly in a rule-like fashion (see Friederich (2011) for persuasive way of making this case); it posits more hinges than just axioms; and it attempts to give a more detailed explanation of the difference between a proposition’s being listed as an axiom when stating a theory and its playing a truly axiomatic role within the practice. (Coliva briefly touches on this distinction at Coliva (2020, p. 363).)
Cf. Coliva (2020, p. 363).
Wittgenstein (1956/1983, VII.§73). This passage from Remarks on the Foundations of Mathematics is from the latest manuscript year to be represented in the work, 1944: it appears at MS 124, 197.
Wittgenstein (1956/1983, III.§46, emphasis in the original) (in Felix Mühlhölzer’s amended translation).
Wittgenstein (1956/1983, VII.§73).
cf. van Gennip (2003) for the relation between “Cause and Effect” and the On Certainty manuscripts.
Wittgenstein (1993, p. 397, emphasis in the original).
See MS 165, 24–25 and Bocompagni (2012, p. 3).
Wittgenstein (1993, p. 397, emphases added).
Wittgenstein (1969, §96).
Wittgenstein (1969, §97).
See, e.g., Quine (1951, p. 41).
See, e.g., the essays in Arrington and Glock (1996).
See Wilson (2020, p. 54) for a similar point about all “the mathematics science needs.”
See also Friedman (2001) and its notion of a “relativized a priori” for a better object of comparison to Wittgenstein’s late views.
“I can enumerate various typical cases, but not give any common characteristic” (Wittgenstein 1969, §674).
Cf. Travis (2011, p. 52) in relation to the question of when a system of concepts would be recognized by us as color-concepts. The idea that “the parochial” must do this kind of work for us in general plays a central role in Travis’s reading(s) of Wittgenstein. See also Thomasson (2020a, pp. 73–76) and (2020b) for discussions of how these judgments about sameness play a role in other Wittgenstein-inspired theorizing.
See Kleiner (1996) for more on the history of the abstract ring concept.
See Gross et al. (2013). For Conway’s problem, see https://oeis.org/A248380/a248380.pdf (accessed 13 September 2022).
See Burgess et al. (2020) for an overview of the conceptual engineering project.
Haslanger (2000, p. 35).
Hodges (1993, p. 10) suggests one reason that we might want to make this choice.
Although, see Mortensen (1995).
Cf. Frege (1893/1964, p. xvii). We are here again considering the hinge concept in general and not only as Wittgenstein would want to apply it.
See Wittgenstein (1969, §92). It’s worth noting that this comment comes just before the river-bed analogy. I’ll be suggesting below that it’s the realization, “Oh, that’s how things must be,” that leads to the shifting of the river-bed in this sort of case.
Wittgenstein (1939/1989, p. 24).
Cf. “How must we look at this problem in order for it to become solvable?” (Wittgenstein 1977, II.§11).
Wittgenstein (1953/2009, §1)
Weyl (1955/2009, p. vii). Mark Wilson often appeals to this example as well.
Wittgenstein (1969, §206).
This example has been discussed by philosophers in numerous places: see, e.g., Lange (2017, pp. 290–292), Leng (2011, p. 68), Steiner (1978, pp. 18–19), Waismann (1954/1982, pp. 29–30), and Wilson (2006, pp. 313–314). See (Shanker 1987, p. 338) for a very different take on the significance of the example.
Gamelin (2001, p. 146).
Ponnusamy and Silverman (2006, p. 188).
“Maclaurin series” is just another name for the Taylor series expansion about zero.
Needham (1997, pp. 64–67).
Waismann (1954/1982, p. 30).
See, e.g., Nahin (1998).
Cf. Wittgenstein (1969, §206).
Wilson (2020, p. 4).
See (Wilson 2020, p. 5).
Wilson himself thinks that the profession of the “if-thenist” doctrine is primarily a way for mathematicians to avoid pestering questions from philosophers anyway. See Wilson (2020, p. 39).
References
Ackermann R (1988) Wittgenstein’s city. The University of Massachusetts Press, Amherst
Arnold VI (2000) Polymathematics: is mathematics a single science or a set of arts? In: Arnold VI, Atiyah M, Lax P, Mazur B (eds) Mathematics: frontiers and perspectives. American Mathematical Society, Providence
Arrington R, Glock HJ (eds) (1996) Wittgenstein and Quine. Routledge, London
Baker A (2009) Mathematical accidents and the end of explanation. In: Linnebo Ø, Bueno O (eds) New waves in philosophy of mathematics. Springer, New York
Baker GP, Hacker PMS (2009) Wittgenstein: rules, grammar and necessity: essays and exegesis of §§\(185-242\), v.2 of an analytical commentary on the philosophical investigations. Wiley-Blackwell, New York
Bellomo A (2021) Domain extension and ideal elements in mathematics. Phil Math (III) 29(3):366–391
Bocompagni A (2012) Streams and river-beds: James’ stream of thought in Wittgenstein’s manuscripts 165 and 129. Eur J Pragmat Am Philos 4(2):2–18
Burgess A, Cappelen H, Plunkett D (eds) (2020) Conceptual engineering and conceptual ethics. Oxford University Press, Oxford
Church A (1956) Introduction to mathematical logic, vol 1. Princeton University Press, Princeton
Coliva A (2010) Moore and Wittgenstein: scepticism, certainty and common sense. Palgrave Macmillan, London
Coliva A (2015) Extended rationality: a hinge epistemology. Palgrave Macmillan, London
Coliva A (2020) Are there mathematical hinges? Int J Study Skept 10(3–4):346–366
Coliva A, Moyal-Sharrock D (eds) (2017) Hinge epistemology. Brill, Leiden
Corfield D (2012) Narrative and the rationality of mathematical practice. In: Doxiadis A, Mazur B (eds) Circles disturbed: the interplay of mathematics and narrative. Princeton University Press, Princeton
Davis P, Hersh R (1981) The mathematical experience. Houghton Mifflin, Boston
Detlefsen M, Erlandson D, Heston JC, Young C (1976) Computation with roman numerals. Arch Hist Exact Sci 15(2):141–148
Eriksen C (2020) Winds of change: the later Wittgenstein’s conception of the dynamics of change. Nord Wittgenstein Rev 9:79–105
Floyd J (2021) Wittgenstein’s philosophy of mathematics. Cambridge University Press, Cambridge
Franzén T (2004) Inexhaustibility: a non-exhaustive treatment. Association for symbolic logic. Cambridge University Press, Cambridge
Frege G (1893/1964) The basic laws of arithemtic: exposition of the system. University of California Press, Berkeley
Friederich S (2011) Motivating Wittgenstein’s perspective on mathematical sentences as norms. Philos Math (III) 19:1–19
Friedman M (2001) Dynamics of reason. CSLI Publications, Stanford
Gamelin T (2001) Complex analysis. Springer, New York
Gross J, Yellen J, Zhang P (2013) History of graph theory. In: Gross JL, Yellen J (eds) Handbook of graph theory. CRC Press, Boca Raton
Hacker PMS (1996) Wittgenstein and Quine: proximity at great distance. In: Glock HJ, Arrington R (eds) Wittgenstein and Quine. Routledge, London
Haslanger S (2000) Gender and race: (what) are they? (what) do we want them to be? Noûs 34(1):31–55
Herstein I (1964) Topics in algebra. Ginn and Company, Oxford
Hilbert D (1899/1980) Hilbert to Frege 29.12.1899. In: Gottlob Frege: philosophical and mathematical correspondence. Basil Blackwell
Hilbert D (1902) The foundations of geometry. Open Court, Chicago
Hodges W (1993) Model theory. Cambridge University Press, Cambridge
James W (1890) The principles of psychology. Harvard University Press, Harvard
Kim D (2021) On the buck-stopping identification of numbers. Philos Math 29(2):234–255
Kleiner I (1996) The genesis of the abstract ring concept. Am Math Mon 103(5):417–424
Kusch M (2016) Wittgenstein on mathematics and certainties. Int J Study Skept 6:120–142
Kuusela O (2019) Wittgenstein on logic as the method of philosophy: re-examining the roots and development of analytic philosophy. Oxford University Press, Oxford
Lang S (2002) Algebra. Springer, New York
Lange M (2017) Because without cause: non-causal explanations in science and mathematics. Oxford University Press, Oxford
Leng M (2011) Creation and discovery in mathematics. In: Polkinghorne J (ed) Meaning in mathematics. Oxford University Press, Oxford
MacIntyre A (1988) Whose justice? Which rationality? University of Notre Dame Press, Notre Dame
Manders K (1989) Domain extension and the philosophy of mathematics. J Phil 86(10):553–562
Martin JV (2021) Prolegomena to virtue-theoretic studies in the philosophy of mathematics. Synthese 199(1–2):1409–1434
Martin JV (2022) Indeterminacy, coincidence, and "Sourcing Newness" in Mathematical Research. Synthese 200:1–25
McGinn M (1989) Sense and certainty: a dissolution of scepticism. Basil Blackwell, Oxford
Mortensen C (1995) Inconsistent mathematics. Springer, New York
Moyal-Sharrock D (2000) Wittgenstein distinguished: a response to Pieranna Garavaso. Philos Invesitg 23(1):54–69
Moyal-Sharrock D (2004) Understanding Wittgenstein’s on certainty. Palgrave Macmillan, London
Mühlhölzer F (2020) Language-games and forms of life in mathematics. In: Martin C (ed) Language, form(s) of life, and logic. De Gruyter, Berlin
Nahin P (1998) An imaginary tale: the history of \(\sqrt{-1}\). Princeton University Press, Princeton
Needham T (1997) Visual complex analysis. Oxford University Press, Oxford
Pedersen NJLL (2021) Cornerstone epistemology: scepticism, mathematics, non-evidentialism, consequentialism, pluralism. In: Pedersen NJLL, Moretti L (eds) Non-evidentialist epistemology. Brill, Leiden
Poincaré H (1914/2001) Science and method. In: Gould S (ed) The value of science: essential writings of Henri Poincaré. The Modern Library
Ponnusamy S, Silverman H (2006) Complex variables with applications. Birkhäuser, Basel
Pritchard D (2016) Epistemic Angst: radical skepticism and the groundlessness of our believing. Princeton University Press, Princeton
Pritchard D (2021) On hinge epistemology. Sképsis Revista de Filosophia 12(23):1–17
Quine WVO (1951) Two dogmas of empiricism. Philos Rev 60(1):20–43
Resnik M (1974) The Frege-Hilbert controversy. Philos Phenomenol Res 34:386–403
Russell B (1903/2010) Principles of mathematics. Routledge
Schönbaumsfeld G (2016) The illusion of doubt. Oxford University Press, Oxford
Shanker S (1987) Wittgenstein and the turning-point in the philosophy of mathematics. Routledge, London
Steiner M (1978) Mathematics, explanation, and scientific knowledge. Noûs 12(1):17–28
Thomasson A (2020a) Norms and necessity. Oxford University Press, Oxford
Thomasson A (2020b) A pragmatic method for normative conceptual work. In: Cappelen H, Plunkett D, Burgess A (eds) Conceptual engineering and conceptual ethics. Oxford University Press, Oxford
Travis C (2009) Thought’s footing: themes in Wittgenstein’s philosophical investigations. Oxford University Press, Oxford
Travis C (2011) What the laws of logic say. In: Travis C (ed) Objectivity and the parochial. Oxford University Press, Oxford
Travis C (2012) The proposition’s progress. In: McGinn M, Kuusela O (eds) The Oxford handbook of Wittgenstein. Oxford University Press, Oxford
van Gennip K (2003) Connections and divisions in On Certainty. In: Löffler W, Weingartner P (eds) Papers of the 26th international wittgenstein symposium: Wissen und Glauben-Knowledge and Belief. Austrian Ludwig Wittgenstein Society
Waismann F (1954/1982) Discovering, creating, inventing. In: Grassl W (ed) Lectures on the philosophy of mathematics. Rodopi
Weisgerber S (2022) Mathematical progress–on Maddy and beyond. Philos Math 3:1–28
Weyl H (1955/2009) The concept of a riemann surface. Dover
Whitehead AN, Russell B (1927) Principia mathematica, vol II. Cambridge University Press, Cambridge
Wilson M (2006) Wandering significance: an essay on conceptual behavior. Oxford University Press, Oxford
Wilson M (2020) Innovation and certainty. Cambridge University Press, Cambridge
Wittgenstein L (1930/1975) Philosophical remarks. Basil Blackwell
Wittgenstein L (1939/1989) Wittgenstein’s lectures on the foundations of mathematics, Cora Diamond, (ed) University of Chicago Press
Wittgenstein L (1953/2009) Philosophical investigations. Wiley-Blackwell
Wittgenstein L (1956/1983) Remarks on the foundations of mathematics. The MIT Press
Wittgenstein L (1967) Zettel. University of California Press, Berkeley
Wittgenstein L (1969) On certainty. Basil Blackwell, Oxford
Wittgenstein L (1977) Remarks on colour. Basil Blackwell, Oxford
Wittgenstein L (1993) Philosophical occasions, 1912–1951. Hackett Publishing, Indianapolis
Wright C (1985) Facts and certainty. Proc Br Acad 71:429–472
Author information
Authors and Affiliations
Corresponding author
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 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.
About this article
Cite this article
Martin, J.V. On Certainty, Change, and “Mathematical Hinges”. Topoi 41, 987–1002 (2022). https://doi.org/10.1007/s11245-022-09834-w
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11245-022-09834-w