Advertisement

Springer Nature is making Coronavirus research free. View research | View latest news | Sign up for updates

Continuum, name and paradox

  • 117 Accesses

  • 2 Citations

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.

This is a preview of subscription content, log in to check access.

References

  1. Bishop E., Bridges D. (1980) Constructive analysis. Springer, Berlin

  2. 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

  3. Brandom R. (1994) Making it explicit. Harvard University Press, Cambridge MA

  4. Brouwer, L. E. J. (1907). Over de grondslagen der wiskunde. Amsterdam, Dissertation. English translation in: Brouwer (1972).

  5. 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).

  6. Brouwer L.E.J. (1908) Over de onbetrouwebaarheid der logische principes. Tijdschrift voor wijsbegeerte 8: 152–158. English translation in: Brouwer (1972)

  7. 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

  8. Brouwer L.E.J. (1930) Die Struktur des Kontinuums. Wien, Gottlob Gistel

  9. Brouwer L.E.J. (1972) Collected works. North-Holland Publishing Company, Amsterdam

  10. Cantor, G. (1932). Gesammelte Abhandlungenmathematischen und philosophischen Inhalts. In E. Zermelo (Ed.). Berlin: Springer.

  11. Coffa A. (1982) Kant, Bolzano and the emergence of logicism. The Journal of Philosophy 74: 679–689. doi:10.2307/2026544

  12. Dedekind R. (1888) Was sind und was sollen die Zahlen. Vieweg, Braunschweig

  13. Feferman S. (1998) In the light of logic. Oxford University Press, Oxford

  14. Fowler D. (1999) The mathematics of Plato’s academy. Oxford University Press, Oxford

  15. Frege G. (1879) Begriffsschrift, eine der arithmetischen nachgebildete Formesprache des reinen Denkens. Halle, L. Nebert

  16. Frege G. (1884) Die Grundlagen der Arithmetik. Eine logisch mathematische Untersuchung über den Begriff der Zahl. Breslau, Köbner

  17. Frege, G. (1893/1903). Grundgesetze der Arithmetik. Begriffsschriftlich abgeleitet I, II. Jena: Hermann Pohle.

  18. Frege G. (1976) Wissenschaftlicher Briefwechsel. Felix Meiner, Hamburg

  19. Gericke H. (1984) Mathematik in Antike und Orient. Springer, Berlin

  20. Grattan-Guinness I. (eds) (1980) From the calculus to set theory 1630–1910. Princeton University Press, Princeton

  21. 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

  22. Hesseling D.E. (2003) Gnomes in the Fog. The reception of Brouwer’s intuitionism in the 1920s. Birkhäuser, Basel

  23. Hilbert D. (1899) Grundlagen der Geometrie. Festschrift zu Feier der Enthüllung des Gauss-Weber- Denkmals in Göttingen. Leipzig, Teubner

  24. 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).

  25. Hilbert D. (1930) Naturerkennen und Logik. Die Naturwissenschaften 18: 959–963. Page references are to the reprint in Hilbert (1935)

  26. Hilbert D. (1931) Die Grundlegung der elementaren Zahlentheorie. Mathematische Annalen 104: 485–495. doi:10.1007/BF01457953

  27. Hilbert D. (1935) Gesammelte Abhandlungen. Springer, Berlin

  28. Jahnke H.N. (eds) (1999) Geschichte der Analysis. Spektrum, Heidelberg

  29. Kolman V. (2005) Lässt sich der Logizismus retten?. Allgemeine Zeitschrift für Philosophie 30: 159–174

  30. Lakatos I. (1976) Proofs and refutations. The logic of mathematical discovery. Cambridge University Press, Cambridge

  31. Lorenzen P. (1955) Einführung in die operative Logik und Mathematik. Springer, Berlin

  32. Lorenzen P. (1962) Gleichheit und Abstraktion. Ratio 4: 77–81

  33. Lorenzen P. (1965) Differential und integral. Frankfurt am Main, Akademische Verlagsgesellschaft

  34. Mancosu P. (eds) (1998) From Brouwer to Hilbert. The debate on the foundations of mathematics in the 1920s. Oxford University Press, Oxford

  35. Odifreddi P. (1989) Classical recursion theory. Elsevier, Amsterdam

  36. Potter M. (2000) Reason’s nearest kin. Oxford University Press, Oxford

  37. Quine W.V.O. (1960) Word and Object. MIT Press, Cambridge MA

  38. Shapiro S. (1991) Foundations without foundationalism. A case for second-order logic. Clarendon Press, Oxford

  39. Stekeler-Weithofer P. (1986) Grundprobleme der Logik. de Gruyter, Berlin

  40. Tarski A. (1948) A decision method for elementary algebra and geometry. RAND Corporation, Santa Monica, CA

  41. Troelstra A.S., van Dalen D. (1988) Constructivism in mathematics I, II. North-Holland Publishing Company, Amsterdam

  42. van Dalen D. (1999) Mystic, geometer and intuitionist. The life of L.E.J. Brouwer (The Dawning Revolution) (Vol. 1). Clarendon Press, Oxford

  43. Weyl H. (1910) Kontinuum. Leipzig, Veit

  44. Wittgenstein L. (1983) Philosophische Bemerkungen. Frankfurt am Main, Suhrkamp

  45. Wittgenstein L. (1984) Bemerkungen über die Grundlagen der Mathematik. Frankfurt am Main, Suhrkamp

  46. Zermelo E. (1932) Über Stufen der Quantifikation und die Logik des Unendlichen. Jahresbericht der Deutschen Mathematiker-Vereinigung 41: 85–88

Download references

Author information

Correspondence to Vojtěch Kolman.

Rights and permissions

Reprints 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

Download citation

Keywords

  • Continuum
  • Linguistic turn
  • Diagonal argument
  • Reference
  • Richard’s paradox
  • Constructivist mathematics