Abstract
The article deals with Cantor’s argument for the non-denumerability of reals somewhat in the spirit of Lakatos’ logic of mathematical discovery. At the outset Cantor’s proof is compared with some other famous proofs such as Dedekind’s recursion theorem, showing that rather than usual proofs they are resolutions to do things differently. Based on this I argue that there are “ontologically” safer ways of developing the diagonal argument into a full-fledged theory of continuum, concluding eventually that famous semantic paradoxes based on diagonal construction are caused by superficial understanding of what a name is.
Similar content being viewed by others
References
Bishop E., Bridges D. (1980) Constructive analysis. Springer, Berlin
Bolzano B. (1817) Rein analytischer Beweis des Lehrsatzes, dass zwischen je zwey Werthen, die ein entgegengesetztes Resultat gewähren, wenigstens eine reelle Wurzel der Gleichung liege. Prag, Gottlieb Hasse
Brandom R. (1994) Making it explicit. Harvard University Press, Cambridge MA
Brouwer, L. E. J. (1907). Over de grondslagen der wiskunde. Amsterdam, Dissertation. English translation in: Brouwer (1972).
Brouwer, L. E. J. (1908a). Die möglichen Mächtigkeiten. In Atti IV. Congr. internaz. matematici Bologna, pp. 569–571. English translation in: Brouwer (1972).
Brouwer L.E.J. (1908) Over de onbetrouwebaarheid der logische principes. Tijdschrift voor wijsbegeerte 8: 152–158. English translation in: Brouwer (1972)
Brouwer L.E.J. (1918) Begründung der Mengenlehre unabhängig vom logischen Satz vom ausgeschlossenen Dritten. Erster Teil: Allgemeine Mengenlehre. Verhandelingen der Koninklijke Nederlandse Akademie van Wetenschappen te Amsterdam 12: 1–43
Brouwer L.E.J. (1930) Die Struktur des Kontinuums. Wien, Gottlob Gistel
Brouwer L.E.J. (1972) Collected works. North-Holland Publishing Company, Amsterdam
Cantor, G. (1932). Gesammelte Abhandlungenmathematischen und philosophischen Inhalts. In E. Zermelo (Ed.). Berlin: Springer.
Coffa A. (1982) Kant, Bolzano and the emergence of logicism. The Journal of Philosophy 74: 679–689. doi:10.2307/2026544
Dedekind R. (1888) Was sind und was sollen die Zahlen. Vieweg, Braunschweig
Feferman S. (1998) In the light of logic. Oxford University Press, Oxford
Fowler D. (1999) The mathematics of Plato’s academy. Oxford University Press, Oxford
Frege G. (1879) Begriffsschrift, eine der arithmetischen nachgebildete Formesprache des reinen Denkens. Halle, L. Nebert
Frege G. (1884) Die Grundlagen der Arithmetik. Eine logisch mathematische Untersuchung über den Begriff der Zahl. Breslau, Köbner
Frege, G. (1893/1903). Grundgesetze der Arithmetik. Begriffsschriftlich abgeleitet I, II. Jena: Hermann Pohle.
Frege G. (1976) Wissenschaftlicher Briefwechsel. Felix Meiner, Hamburg
Gericke H. (1984) Mathematik in Antike und Orient. Springer, Berlin
Grattan-Guinness I. (eds) (1980) From the calculus to set theory 1630–1910. Princeton University Press, Princeton
Heck J.R. (1995) Definition by induction in Frege’s Grundgesetze der Arithmetik. In: Demopoulos W. (eds) Frege’s philosophy of mathematics. Harvard University Press, Harvard, pp 295–333
Hesseling D.E. (2003) Gnomes in the Fog. The reception of Brouwer’s intuitionism in the 1920s. Birkhäuser, Basel
Hilbert D. (1899) Grundlagen der Geometrie. Festschrift zu Feier der Enthüllung des Gauss-Weber- Denkmals in Göttingen. Leipzig, Teubner
Hilbert, D. (1922). Neubegründung der Mathematik. Erste Mitteilung. Abhandlungen aus dem mathematischen Seminar der Hamburgischen Universität 1. pp. 151–165. Page references are to the reprint in Hilbert (1935).
Hilbert D. (1930) Naturerkennen und Logik. Die Naturwissenschaften 18: 959–963. Page references are to the reprint in Hilbert (1935)
Hilbert D. (1931) Die Grundlegung der elementaren Zahlentheorie. Mathematische Annalen 104: 485–495. doi:10.1007/BF01457953
Hilbert D. (1935) Gesammelte Abhandlungen. Springer, Berlin
Jahnke H.N. (eds) (1999) Geschichte der Analysis. Spektrum, Heidelberg
Kolman V. (2005) Lässt sich der Logizismus retten?. Allgemeine Zeitschrift für Philosophie 30: 159–174
Lakatos I. (1976) Proofs and refutations. The logic of mathematical discovery. Cambridge University Press, Cambridge
Lorenzen P. (1955) Einführung in die operative Logik und Mathematik. Springer, Berlin
Lorenzen P. (1962) Gleichheit und Abstraktion. Ratio 4: 77–81
Lorenzen P. (1965) Differential und integral. Frankfurt am Main, Akademische Verlagsgesellschaft
Mancosu P. (eds) (1998) From Brouwer to Hilbert. The debate on the foundations of mathematics in the 1920s. Oxford University Press, Oxford
Odifreddi P. (1989) Classical recursion theory. Elsevier, Amsterdam
Potter M. (2000) Reason’s nearest kin. Oxford University Press, Oxford
Quine W.V.O. (1960) Word and Object. MIT Press, Cambridge MA
Shapiro S. (1991) Foundations without foundationalism. A case for second-order logic. Clarendon Press, Oxford
Stekeler-Weithofer P. (1986) Grundprobleme der Logik. de Gruyter, Berlin
Tarski A. (1948) A decision method for elementary algebra and geometry. RAND Corporation, Santa Monica, CA
Troelstra A.S., van Dalen D. (1988) Constructivism in mathematics I, II. North-Holland Publishing Company, Amsterdam
van Dalen D. (1999) Mystic, geometer and intuitionist. The life of L.E.J. Brouwer (The Dawning Revolution) (Vol. 1). Clarendon Press, Oxford
Weyl H. (1910) Kontinuum. Leipzig, Veit
Wittgenstein L. (1983) Philosophische Bemerkungen. Frankfurt am Main, Suhrkamp
Wittgenstein L. (1984) Bemerkungen über die Grundlagen der Mathematik. Frankfurt am Main, Suhrkamp
Zermelo E. (1932) Über Stufen der Quantifikation und die Logik des Unendlichen. Jahresbericht der Deutschen Mathematiker-Vereinigung 41: 85–88
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Kolman, V. Continuum, name and paradox. Synthese 175, 351–367 (2010). https://doi.org/10.1007/s11229-009-9527-7
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11229-009-9527-7