Abstract
Even though Husserl and Brouwer have never discussed each other's work, ideas from Husserl have been used to justify Brouwer's intuitionistic logic. I claim that a Husserlian reading of Brouwer can also serve to justify the existence of choice sequences as objects of pure mathematics. An outline of such a reading is given, and some objections are discussed.
Similar content being viewed by others
REFERENCES
Aristotle: 1968, The physics, Vol. V/II of Aristotle in Twenty-Three Volumes, Harvard University Press, Cambridge, MA.
Becker, O.: 1923, ‘Beiträge zur phänomenologischen Begründung der Geometrie und ihrer physikalischen Anwendungen’, Jahrbuch für Philosophie und phänomenologische Forschung VI, 385–560.
Becker, O.: 1927, ‘Mathematische Existenz. Untersuchungen zur Logik und Ontologie mathematischer Phänomene’, Jahrbuch für Philosophie und phänomenologische Forschung VIII, 439–809.
Benacerraf, P. and H. Putnam (eds.): 1983, Philosophy of Mathematics: Selected Readings, Cambridge University Press, Cambridge.
Brouwer, L. E. J.: 1907, ‘Over de grondslagen der wiskunde’, PhD Thesis, Universiteit van Amsterdam (English translation in Brouwer 1975).
Brouwer, L. E. J.: 1952, ‘Historical Background, Principles and Methods of Intuitionism’, South African Journal of Science 49, 139–146 (also in Brouwer 1975).
Brouwer, L. E. J.: 1975, Collected Works. I: Philosophy and Foundations of Mathematics, North-Holland, Amsterdam.
Brouwer, L. E. J.: 1992, Intuitionismus, Bibliographisches Institut, Wissenschaftsverlag, Mannheim. Contains the text of Brouwer's 1927 Berlin lectures and a manuscript on the theory of real functions.
Dummett, M.: 1978, Truth and Other Enigmas, Harvard University Press, Cambridge,MA.
Fromondus, L.: 1631, Labyrinthus: sive, De compositione continui liber unus philosophis, mathematicis, theologis utilis ac jucundus. Ex officina Plantiniana Balthasaris Moreti, Antverpiae.
Hardy, G. H.: 1958, A Course of Pure Mathematics, 10th edn., Cambridge University Press, Cambridge.
Heyting, A.: 1930, ‘Die formalen Regeln der intuitionistischen Logik III’, Sitzungsberichte der Preussischen Akademie von Wissenschaften, pp. 158–169.
Heyting, A.: 1931, ‘Die intuitionistische Grundlegung der Mathematik’, Erkenntnis 2, 106–115. English translation in Benacerraf and Putnam 1983, pages 42-49.
Husserl, E.: 1952, Ideen zu einer reinen Phänomenologie und phänomenologischen Philosophie. Drittes Buch, Vol. V of Husserliana, Martinus Nijhoff, The Hague. English translation Ideas Pertaining to a Pure Phenomenology and to a Phenomenological Philosophy. Third book: Phenomenology and the Foundation of the Sciences, Vol. 1 of Husserliana: Edmund Husserl Collected Works, Martinus Nijhoff, The Hague, 1980.
Husserl, E.: 1974, Formale und Transzendentale Logik, Vol. XVII of Husserliana, Martinus Nijhoff, The Hague. English translation (of the 1929 original) Formal and Transcendental Logic, Martinus Nijhoff, The Hague, 1969.
Husserl, E.: 1975/1984, Logische Untersuchungen, Vols. XVIII (1974) and XIX (1984) of Husserliana, Martinus Nijhoff, The Hague. English translation Logical Investigations, Routledge and Kegan Paul, London, 1973. Reprinted 2000 by Prometheus Books, Amherst, NY.
Husserl, E.: 1994, Briefwechsel, Vols. I-X, Kluwer Academic Publishers, Dordrecht.
Kreisel, G.: 1968, ‘Lawless Sequences of Natural Numbers’, Compositio Mathematica 20, 222–248.
Kreisel, G.: 1980, ‘Kurt Gödel. 28 April 1906-14 January 1978’, Biographical Memoirs of Fellows of the Royal Society, pp. 149–224.
Leibniz, G. W.: 1999, ‘De libertate, contingentia et serie causarum, providentia’ [Summer 1689 (?)], in Sämtliche Schriften und Briefe, Vol. VI/4B, Akademie-Verlag, Berlin, pp. 1653–1659.
Lohmar, D.: 1993, 'On the Relation of Mathematical Objects to Time: Are Mathematical Objects Timeless, Overtemporal or Omnitemporal? Journal of Indian Council of Philosophical Research X(3), 73–87.
Mancosu, P.: 1998, From Brouwer to Hilbert. The Debate on the Foundations of Mathematics in the 1920s, Oxford University Press, Oxford.
Marion, M.: 1999, Wittgenstein, Finitism, and the Foundations of Mathematics, Clarendon Press, Oxford.
Placek, T.: 1999, Mathematical Intuitionism and Intersubjectivity. A Critical Exposition of Arguments for Intuitionism, Kluwer Academic Publishers, Dordrecht.
Sambin, G.: 1987, Intuitionistic Formal Spaces-A First Communication', in D. Skordev (ed.), Mathematical Logic and its Applications, Plenum, New York, pp. 187–204.
Sundholm, G.: 1983, ‘Constructions, Proofs and the Meaning of Logical Constants’, Journal of Philosophical Logic 12, 151–172.
Sundholm, G.: 1994, ‘Vestiges of Realism’, in B. McGuinness (ed.), The Philosophy of Michael Dummett, Kluwer Academic Publishers, Dordrecht, pp. 137–165.
Tieszen, R.: 2000, ‘The Philosophical Background of Weyl's Mathematical Constructivism’, Philosophia Mathematica 8, 274–301.
Tragesser, R.: 1977, Phenomenology and Logic, Cornell University Press, Ithaca.
Troelstra, A. S.: 1977, Choice Sequences. A Chapter of Intuitionistic Mathematics, Oxford University Press, Oxford.
Troelstra, A. S.: 1982, ‘On the Origin and Development of Brouwer's Concept of Choice Sequence’, In A. S. Troelstra and D. van Dalen (eds.), The L. E. J. Brouwer Centenary Symposium, North-Holland, Amsterdam, pp. 465–486.
Troelstra, A. S. and D. van Dalen: 1988, Constructivism in Mathematics, I, II, North-Holland, Amsterdam.
Valéry, P.: 1960, OEvres, II, Gallimard, Paris.
van Atten, M.: 1999, Phenomenology of Choice Sequences, PhD Thesis, Vol. XXXI of Quaestiones Infinitae, Utrecht University.
van Atten, M.: 2002a, ‘Why Husserl Should have been a Strong Revisionist in Mathematics’, Husserl Studies 18, 1–18.
van Atten, M.: 2002b, ‘The Irreflexivity of Brouwer's Philosophy’, Axiomathes 13, 65–77.
van Atten, M.: forthcoming, On Brouwer, Wadsworth, Belmont, CA.
van Atten, M. and D. van Dalen: 2002, ‘Arguments for the Continuity Principle’, Bulletin of Symbolic Logic 8, 329–347.
van Atten, M., D. van Dalen and R. Tieszen: 2002, ‘Brouwer and Weyl: The Phenomenology and Mathematics of the Intuitive Continuum’, Philosophia Mathematica 10, 203–226.
van Dalen, D.: 1995, ‘Hermann Weyl's Intuitionistic Mathematics’, Bulletin of Symbolic Logic 1, 145–169.
Weyl, H.: 1918, Das Kontinuum. Kritische Untersuchungen über die Grundlagen der Analysis, Veit, Leipzig. English translation The Continuum. A Critical Examination of the Foundation of Analysis, Dover, New York, 1994.
Weyl, H.: 1921, ‘Ñber die neue Grundlagenkrise der Mathematik’, Mathematische Zeitschrift 10, 39–79. English translation ‘On the New Foundational Crisis of Mathematics’, in Mancosu 1998, pp. 86-118.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
van Atten, M. Brouwer, as Never Read by Husserl. Synthese 137, 3–19 (2003). https://doi.org/10.1023/A:1026270631861
Issue Date:
DOI: https://doi.org/10.1023/A:1026270631861