David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
Philosophia Mathematica 3 (2):157-165 (1995)
Some issues raised by the notion of surveyability and how it is represented mathematically are explored. Wright considers the sense in which the positive integers are surveyable and suggests that their structure will be a weakly finite, but weakly infinite, totality. One way to expose the incoherence of this account is by applying Wittgenstein's distinction between intensional and extensional to it. Criticism of the idea of a surveyable proof shows the notion's lack of clarity. It is suggested that this concept should be replaced by that of a feasible operation, as strict finitism aims to understand the boundaries of legitimate mathematical knowledge
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library|
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
Edwin Coleman (2009). The Surveyability of Long Proofs. Foundations of Science 14 (1-2):27-43.
Matti Eklund (2006). Schiffer on Vagueness. Pacific Philosophical Quarterly 87 (1):12–23.
Michael Hand (1996). Surveyability and the Preface Paradox. Southwest Philosophy Review 12 (1):171-179.
Felix Mühlhölzer (2006). "A Mathematical Proof Must Be Surveyable" What Wittgenstein Meant by This and What It Implies. Grazer Philosophische Studien 71 (1):57-86.
Mark Colyvan (2010). A Topological Sorites. Journal of Philosophy 107 (6):311-325.
Ofra Magidor (2012). Strict Finitism and the Happy Sorites. Journal of Philosophical Logic 41 (2):471-491.
O. Bradley Bassler (2006). The Surveyability of Mathematical Proof: A Historical Perspective. Synthese 148 (1):99 - 133.
Charles F. Kielkopf (1995). ‘Surveyablity’ Should Not Be Formalized. Philosophia Mathematica 3 (2):175-178.
Added to index2009-01-28
Total downloads25 ( #75,548 of 1,139,861 )
Recent downloads (6 months)2 ( #96,101 of 1,139,861 )
How can I increase my downloads?