Syntactic reduction in Husserl’s early phenomenology of arithmetic

Synthese 193 (3):937-969 (2016)
  Copy   BIBTEX


The paper traces the development and the role of syntactic reduction in Edmund Husserl’s early writings on mathematics and logic, especially on arithmetic. The notion has its origin in Hermann Hankel’s principle of permanence that Husserl set out to clarify. In Husserl’s early texts the emphasis of the reductions was meant to guarantee the consistency of the extended algorithm. Around the turn of the century Husserl uses the same idea in his conception of definiteness of what he calls “mathematical manifolds.” The paper argues that the notion anticipates the notion of reduction in term rewrite theory in computer science. The role of the reduction for Husserl is, however, primarily epistemological: its purpose is to impart clarity to formal mathematics



    Upload a copy of this work     Papers currently archived: 92,873

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Mathematical roots of phenomenology: Husserl and the concept of number.Mirja Hartimo - 2006 - History and Philosophy of Logic 27 (4):319-337.
Husserl's phenomenology.Dan Zahavi - 2003 - Stanford, Calif.: Stanford University Press.
The phenomenology of Husserl.R. O. Elveton - 1970 - Chicago,: Quadrangle Books.


Added to PP

75 (#225,005)

6 months
11 (#270,674)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Citations of this work

Husserl on completeness, definitely.Mirja Hartimo - 2018 - Synthese 195 (4):1509-1527.
Maddy On The Multiverse.Claudio Ternullo - 2019 - In Stefania Centrone, Deborah Kant & Deniz Sarikaya (eds.), Reflections on the Foundations of Mathematics: Univalent Foundations, Set Theory and General Thoughts. Springer Verlag. pp. 43-78.

Add more citations