Abstract
Husserl’s notion of definiteness, i.e., completeness is crucial to understanding Husserl’s view of logic, and consequently several related philosophical views, such as his argument against psychologism, his notion of ideality, and his view of formal ontology. Initially Husserl developed the notion of definiteness to clarify Hermann Hankel’s ‘principle of permanence’. One of the first attempts at formulating definiteness can be found in the Philosophy of Arithmetic, where definiteness serves the purpose of the modern notion of ‘soundness’ and leads Husserl to a ‘computational’ view of logic. Inspired by Gauss and Grassmann Husserl then undertakes a further investigation of theories of manifolds. When Husserl subsequently renounces psychologism and changes his view of logic, his idea of definiteness also develops. The notion of definiteness is discussed most extensively in the pair of lectures Husserl gave in front of the mathematical society in Göttingen (1901). A detailed analysis of the lectures, together with an elaboration of Husserl’s lectures on logic beginning in 1895, shows that Husserl meant by definiteness what is today called ‘categoricity’. In so doing Husserl was not doing anything particularly original; since Dedekind’s ‘Was sind und sollen die Zahlen’ (1888) the notion was ‘in the air’. It also characterizes Hilbert’s (1900) notion of completeness. In the end, Husserl’s view of definiteness is discussed in light of Gödel’s (1931) incompleteness results.
Similar content being viewed by others
References
Bachelard S. (1968). A study of Husserl’s formal and transcendental logic, Lester E. Embree (Transl.). Northwestern University Press, Evanston
Baldus R. (1928). Zur Axiomatik der Geometrie I. Über Hilberts Vollständigkeitsaxiom. Mathematische Annalen 100: 321–333
Bottazzini, U. (1986). The higher calculus: A history of real and complex analysis from Euler to Weierstrass, Warren Van Egmond (Transl.). New York, Berlin, Heidelberg, London, Paris, Tokyo: Springer-Verlag.
Corcoran J. (1980). Categoricity. History and Philosophy of Logic 1: 187–207
Corcoran J. (1981). From categoricity to completeness. History and Philosophy of Logic 2: 113–119
Da Silva J.J. (2000). Husserl’s two notions of completeness, Husserl and Hilbert on completeness and imaginary elements in mathematics. Synthese 125: 417–438
Dedekind, R. (1888). Was sind und was sollen die Zahlen? In Wooster Woodruff Beman (Transl.), Essays on the theory of numbers (pp. 29–115). Chicago: The Open Court [1901].
Dorier J.-L. (1995). A general outline of the genesis of vector space theory. Historia Mathematica 22: 227–261
Dreben B. and Kanamori A. (1997). Hilbert and set theory. Synthese 110: 77–125
Enderton, H. B. (1972). A Mathematical Introduction to Logic. Academic Press. San Diego, New York, Boston, London, Sydney, Tokyo, Toronto.
Etchemendy J. (1990). The concept of logical consequence. Harvard University Press, Cambridge, London
Ewald W. (1996). From Kant to Hilbert: A source book in the foundations of mathematics. Vols I and II. Clarendon Press, Oxford
Ferreirós J. (1999). Labyrinth of thought, a history of set theory and its role in modern mathematics. Birkhäuser Verlag, Basel, Boston, Berlin
Gilman B.I. (1892). On the properties of a one-dimensional manifold. Mind 1(New Series 4): 518–526
Grassmann, H. (2000). Extension theory. Lloyd C. Kannenberg (Transl.), American Mathematical Society, London Mathematical Society [1862].
Grattan-Guinness, I. (2000). The search for mathematical roots, 1870–1940. Logics, set theories and the foundations of mathematics from Cantor through Russell to Gödel. Princeton, Oxford: Princeton University Press.
Hartimo, M. (2003). Husserl’s prolegomena: A search for the essence of logic. In Daniel O. Dahlstrom (Ed.), Husserl’s Logical Investigations (pp. 123–146). Dordrecht, Boston, London: Kluwer.
Hilbert, D. (1902). The foundations of geometry. E. J. Townsend (Transl.), Chicago: Open Court.
Hilbert D. (1935). Gesammelte Abhandlungen Vol 3. Springer, Berlin
Hill, C. O. (1995). Husserl and Hilbert on completeness, In J. Hintikka (Ed.), From Dedekind to Gödel. Synthese Library v. 251. Dordrecht: Kluwer.
Hill C.O. and Haddock R. (2000). Husserl or Frege. Meaning, objectivity and mathematics. Open Court, Chicago and La Salle, Illinois
Klein, F. (1979). Development of mathematics in the 19th century. M. Ackerman (Transl.), Massachusetts: Math Sci Press. Translation of Vorlesungen über die Entwicklung der Mathematik im 19 Jahrhundert. Teil I, Berlin, 1928.
Kusch M. (1995). Psychologism, A case study in the sociology of philosophical knowledge. Routledge, London, New York
Lohmar D. (1989). Phänomenologie der Mathematik. Kluwer, Dordrecht, Boston, London
Mahnke D. (1977). From Hilbert to Husserl: First introduction to phenomenology, especially that of formal mathematics. Studies in History and Philosophy of Science 8: 71–84
Majer U. (1997). Husserl and Hilbert on completeness: A neglected chapter in early twentieth century foundation of mathematics. Synthese 110: 417–438
Miller P.J. (1982). Numbers in presence and absence: A study of Husserl’s philosophy of mathematics. Martinus Nijhoff Publishers, The Hague, Boston, London
Mohanty J.N. (1982). Husserl and Frege. Indiana University Press, Bloomington
Monna A.F. (1973). Hermann Hankel. Nieuw Archief voor Wiskunde 21(3): 64–87
Peucker H. (2002). Von der Psychologie zur Phänomenologie, Husserls Weg in die Phänomenologie der Logischen Untersuchungen. Felix Meiner Verlag, Hamburg
Post E.L. (1936). Finite combinatory processes—formulation I. Journal of Symbolic Logic 1(3): 103–105
Schuhmann E. and Schuhmann K. (2001). Husserls Manuskripte zu seinem Göttinger Doppelvortrag von 1901. Husserl Studies 17: 87–123
Schuhmann K. (1977). Husserl-Chronik. Denk- und Lebensweg Edmund Husserls. Martinus Nijhoff, Den Haag
Sturm R., Schröder E. and Sohncke L. (1878). Hermann Grassmann. Sein Leben und seine mathematisch-physikalischen Arbeiten. Mathematische Annalen 14: 1–45
Tieszen, R. (2005). Phenomenology, logic, and the philosophy of mathematics. Cambridge, New York, Melbourne, Madrid, Cape Town, Singapore, São Paulo: Cambridge University Press.
Toepell M. (1986). On the origins of David Hilbert’s Grundlagen der Geometrie. Archive for History of Exact Sciences 35(4): 329–344
Van Dalen D. (1984). Four letters from Edmund Husserl to Hermann Weyl. Husserl Studies 1: 1–12
Veblen O. (1904). A system of axioms for geometry. Transactions of the American Mathematical Society 5: 343–384
Webb J.C. (1980). Mechanism, mentalism and metamatemathics. Essay on finitism. Kluwer, Dordrecht
Weyl H. (1949). Philosophy of mathematics and natural science. Princeton University Press, Princeton
Willard D. (1984). Logic and the objectivity of knowledge: A study of Husserl’s early philosophy. Ohio University Press, Athens, Ohio
Zach R. (1999). Completeness before Post: Bernays, Hilbert and the development of propositional logic. The Bulletin of Symbolic Logic 5(3): 331–366
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Hartimo, M.H. Towards completeness: Husserl on theories of manifolds 1890–1901. Synthese 156, 281–310 (2007). https://doi.org/10.1007/s11229-006-0008-y
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11229-006-0008-y