Abstract
The paper provides an interpretation of Wittgenstein’s claim that a mathematical proof must be surveyable. It will be argued that this claim specifies a precondition for the applicability of the word ‘proof’. Accordingly, the latter is applicable to a proof-pattern only if we can come to agree by mere observation whether or not the pattern possesses the relevant structural features. The claim is problematic. It does not imply any questionable finitist doctrine. But it cannot be said to articulate a feature of our actual usage of the word ‘proof’. The claim can be dissociated, however, from two tenable doctrines of Wittgenstein, namely that proofs can be used as paradigms for corresponding proof concepts and that a proof is not an experiment.
Similar content being viewed by others
Notes
The point actually seems to be acknowledged by Wittgenstein (cf. 1978, III, §10).
In this connection, Addis has argued that a ‘strict finitist’ in Dummett’s sense need not rely on such a vague notion as surveyability and would indeed be better advised to develop a sufficiently strict notion of a feasible operation (Addis 1995, p. 165).
Therefore, Shanker is right to maintain that, according to Wittgenstein, it would make no sense, for instance, ‘to speak of Appel and Haken “proving” the “four-colour theorem”’, since their ‘solution of the four-colour problem is empirical rather than mathematical’ (Shanker 1987, p. 157).
References
Addis M (1995) Surveyability and Sorites paradox. Philos Math 3(3):157–165
Baker GP, Hacker PMS (2009) Wittgenstein: rules, grammar and necessity. Blackwell, Oxford
Bassler OB (2006) The surveyability of mathematical proof: a historical perspective. Synthese 148(1):99–133
Benacerraf P (1973) Mathematical truth. J Philos 70(19):661–679
Dummett MAE (1978) Truth and other enigmas. Duckworth, London
Frascolla P (1994) Wittgenstein’s philosophy of mathematics. Routledge, London
Kant I (1997) Critique of pure reason. Cambridge University Press, Cambridge
Marion M (1998) Wittgenstein, finitism, and the foundations of mathematics. Clarendon Press, Oxford
Marion M (2011) Wittgenstein on the surveyability of proofs. In: McGinn M, Kuusela O (eds) The Oxford handbook of Wittgenstein. Oxford University Press, Oxford
Mühlhölzer F (2005) “A mathematical proof must be surveyable”—what Wittgenstein meant by this and what it implies. Grazer Philosophische Studien 71:57–86
Quine WVO (1992) Pursuit of truth. Harvard University Press, Cambridge
Shanker SG (1987) Wittgenstein and the turning-point in the philosophy of mathematics. SUNY Press, Albany
Steiner M (1975) Mathematical knowledge. Cornell University Press, Ithaca
Stevenson CL (1938) Persuasive definitions. Mind 47(187):331–350
Wittgenstein L (1958) Philosophical investigations, 2nd edn. Blackwell, Oxford
Wittgenstein L (1961) Tractatus logico-philosophicus. Routledge and Kegan Paul, London
Wittgenstein L (1969) The blue and the brown books. Blackwell, Oxford
Wittgenstein L (1974) Philosophical grammar. Blackwell, Oxford
Wittgenstein L (1975) Philosophical remarks. Blackwell, Oxford
Wittgenstein L (1976) Lectures on the foundations of mathematics. Harvester Press Ltd, Hassocks
Wittgenstein L (1978) Remarks on the foundations of mathematics. Blackwell, Oxford
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Büttner, K.M. Surveyability and Mathematical Certainty. Axiomathes 27, 113–128 (2017). https://doi.org/10.1007/s10516-016-9292-4
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10516-016-9292-4