Husserl and Mathematics explains the development of Husserl's phenomenological method in the context of his engagement in modern mathematics and its foundations. Drawing on his correspondence and other written sources, Mirja Hartimo details Husserl's knowledge of a wide range of perspectives on the foundations of mathematics, including those of Hilbert, Brouwer and Weyl, as well as his awareness of the new developments in the subject during the 1930s. Hartimo examines how Husserl's philosophical views responded to these changes, and offers a (...) pluralistic and open-ended picture of Husserl's phenomenology of mathematics. Her study shows Husserl's phenomenology to be a method capable of both shedding light on and internally criticizing scientific practices and concepts. (shrink)

The paper discusses Husserl’s notion of definiteness as presented in his Göttingen Mathematical Society Double Lecture of 1901 as a defense of two, in many cases incompatible, ideals, namely full characterizability of the domain, i.e., categoricity, and its syntactic completeness. These two ideals are manifest already in Husserl’s discussion of pure logic in the Prolegomena: The full characterizability is related to Husserl’s attempt to capture the interconnection of things, whereas syntactic completeness relates to the interconnection of truths. In the Prolegomena (...) Husserl argues that an ideally complete theory gives an independent norm for objectivity for logic and experiential sciences, hence the notion is central to his argument against psychologism. In the Double Lecture the former is captured by non-extendibility, that is, categoricity of the domain, from which, so Husserl assumes, syntactic completeness is thought to follow. In the so-called ‘mathematical manifolds’ the expressions of the theory are equations that are reducible to equations between elements of the theory. With such an equational reduction structure individual elements of the domain are given criteria of identity and hence they are fully determined. (shrink)

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. (shrink)

The aim of this volume is to offer an updated account of the transcendental character of phenomenology. The main question concerns the sense and relevance of transcendental philosophy today: What can such philosophy contribute to contemporary inquiries and debates after the many reasoned attacks against its idealistic, aprioristic, absolutist and universalistic tendencies—voiced most vigorously by late 20th century postmodern thinkers—as well as attacks against its apparently circular arguments and suspicious metaphysics launched by many analytic philosophers? Contributors also aim to clarify (...) the relations of transcendental phenomenology to other post-Kantian philosophies, most importantly to pragmatism and Wittgenstein’s philosophical investigations. Finally, the volume offers a set of reflections on the meaning of post-transcendental phenomenology. (shrink)

ABSTRACT This paper seeks to clarify Husserl’s critical remarks about Kant’s view of logic by comparing their respective views of logic. In his Formal and Transcendental Logic Husserl criticizes Kant for not asking transcendental questions about formal logic, but rather ascribing an ‘extraordinary apriority’ to it. He thinks the reason for Kant’s uncritical attitude to logic lies in Kant’s view of logic as directed toward the subjective, instead of being concerned with a ‘“world” of ideal Objects’. Whereas for Kant, general (...) logic is about laws of reasoning. Husserl thinks that formal logic should describe formal structures. Husserl claims that if Kant had had a more comprehensive concept of logic, he would have thought of raising critical questions about how logic is possible. This kind of criticism cannot itself use forms of judgments or syllogisms of logic, nor even the ‘inferential’ [schliessende] method more generally, but should be descriptive in nature. Husserl's transcendental phenomenology is the method for such criticism. The paper argues that this results in reflection, and possibly revision, of the logical principles with respect to the normative goals governing the investigation in question. (shrink)

This book offers an updated and comprehensive phenomenology of norms and normativity. It is the first volume that systematically tackles both the normativity of experiencing and various experiences of norms. Part I begins with a discussion of the methodological resources that phenomenology offers for the critique of epistemological, social and cultural norms. It argues that these resources are powerful and have largely been neglected in contemporary philosophy as well as social and human sciences. The second part deepens the discussion by (...) studying the existential and moral-philosophical foundations of practical normativity. It takes on the task of illuminating the origins of normativity and offers phenomenological alternatives to the neo-Kantian and neo-Hegelian approaches that dominate contemporary debates on the sources of normativity. The final part proceeds from practical normativity to the analysis of the guiding powers of values, perceptual norms, instincts and drives. These are different forms of intentionality that in various manners contribute to the constitution of human practices. By clarifying their divergences and their interrelations, the volume demonstrates that normativity is not one phenomenon but a complex set of various phenomena, with multiple origins and sources. Contemporary Phenomenologies of Normativity will be of interest to researchers and advanced students working on issues of normativity in phenomenology, epistemology, ethics, and social philosophy. (shrink)

The paper examines Husserl’s phenomenology and Hilbert’s view of the foundations of mathematics against the backdrop of their lifelong friendship. After a brief account of the complementary nature of their early approaches, the paper focuses on Husserl’s Formale und transzendentale Logik viewed as a response to Hilbert’s “new foundations” developed in the 1920s. While both Husserl and Hilbert share a “mathematics first,” nonrevisionist approach toward mathematics, they disagree about the way in which the access to it should be construed: Hilbert (...) wanted to reach it and show it consistent by his formalism on the basis of sensuous signs, Husserl held that there should be a reduction to elementary judgements about individuals. Husserl’s reduction does not establish the consistency of mathematics but he claims it is important for the considerations of truth. (shrink)

The paper discusses Husserl’s method of historical reflection, radical Besinnung, as defined and used in Formale und transzendentale Logik (1929). Whereas Formal and Transcendental Logic introduces and displays Husserl’s usage of Besinnung in the context of the exact sciences, the paper seeks to develop it as a more general critical method with which to approach any rational goal-directed activity. Husserl defines Besinnung as a method that enables understanding agents and their actions by explicating agents’ typically implicit goals. It leads to (...) the inclusion of historical-teleological activities as part of Husserl’s natural understanding of the world. The transcendental reflection radicalizes Besinnung by clarifying the kinds of evidence sought for in activities and then suggesting revisions to the concepts and principles used. The result is inner critique, which means that the activities are criticized against the norms that arise from reflection on these activities themselves, and not from a comparison with external standards or measures. (shrink)

Husserl holds that the theoretical sciences should be value-free, i.e., free from the values of extra-scientific practices and guided only by epistemic values such as coherence and truth. This view does not imply that to Husserl the sciences would be immune to all criticism of interests, goals, and values. On the contrary, the paper argues that Husserlian phenomenology necessarily embodies reflection on the epistemic values guiding the sciences. The argument clarifies Husserl’s position by comparing it with the pluralistic position developed (...) in feminist epistemology, according to which sciences may be guided by several competing sets of epistemic values. Further, the existence of alternative epistemic values suggests that choices among such values are social and historically conditioned. Indeed, this is how Husserl’s mature discussion in The Crisis can be understood: his examination of Galileo’s contribution in physics operates as a criticism of the unquestioned dominance of certain set of inherited epistemic values, including the values of accuracy and universal applicability. Indeed, his The Origin of Geometry endorses another set of epistemic values, most importantly that of ontological heterogeneity. Husserl’s analysis demonstrates that the choice of any set of epistemic values is influenced by historical and social factors. Moreover, Husserl argues that we can only avoid biases due to “spells of the time” by continued reflection – Besinnung, in his terms – on the role of values in science. (shrink)

Richard Tieszen [Tieszen, R. (2005). Philosophy and Phenomenological Research, LXX(1), 153–173.] has argued that the group-theoretical approach to modern geometry can be seen as a realization of Edmund Husserl’s view of eidetic intuition. In support of Tieszen’s claim, the present article discusses Husserl’s approach to geometry in 1886–1902. Husserl’s first detailed discussion of the concept of group and invariants under transformations takes place in his notes on Hilbert’s Memoir Ueber die Grundlagen der Geometrie that Hilbert wrote during the winter 1901–1902. (...) Husserl’s interest in the Memoir is a continuation of his long-standing concern about analytic geometry and in particular Riemann and Helmholtz’s approach to geometry. Husserl favored a non-metrical approach to geometry; thus the topological nature of Hilbert’s Memoir must have been intriguing to him. The task of phenomenology is to describe the givenness of this logos, hence Husserl needed to develop the notion of eidetic intuition. (shrink)

The paper examines the roots of Husserlian phenomenology in Weierstrass's approach to analysis. After elaborating on Weierstrass's programme of arithmetization of analysis, the paper examines Husserl's Philosophy of Arithmetic as an attempt to provide foundations to analysis. The Philosophy of Arithmetic consists of two parts; the first discusses authentic arithmetic and the second symbolic arithmetic. Husserl's novelty is to use Brentanian descriptive analysis to clarify the fundamental concepts of arithmetic in the first part. In the second part, he founds the (...) symbolic extension of the authentically given arithmetic with stepwise symbolic operations. In the process of doing so, Husserl comes close to defining the modern concept of computability. The paper concludes with a brief comparison between Husserl and Frege. While Frege chose to subject arithmetic to logical analysis, Husserl wants to clarify arithmetic as it is given to us. Both engage in a kind of analysis, but while Frege analyses within Begriffsschrift, Husserl analyses our experiences. The difference in their methods of analysis is what ultimately grows into two separate schools in philosophy in the 20th century. (shrink)

This paper explicates Husserl’s usage of what he calls “radical Besinnung” in Formale und transzendentale Logik. Husserl introduces radical Besinnung as his method in the introduction to FTL. Radical Besinnung aims at criticizing the practice of formal sciences by means of transcendental phenomenological clarification of its aims and presuppositions. By showing how Husserl applies this method to the history of formal sciences down to mathematicians’ work in his time, the paper explains in detail the relationship between historical critical Besinnung and (...) transcendental phenomenology. Ultimately the paper suggests that radical Besinnung should be viewed as a general methodological framework within which transcendental phenomenological descriptions are used to criticize historically given goal-directed practices. (shrink)

This volume aims to establish the starting point for the development, evaluation and appraisal of the phenomenology of mathematics.

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. (shrink)

The paper aims to capture a form of naturalism that can be found “built-in” in phenomenology, namely the idea to take science or mathematics on its own, without postulating extraneous normative “molds” on it. The paper offers a detailed comparison of Penelope Maddy’s naturalism about mathematics and Husserl’s approach to mathematics in Formal and Transcendental Logic. It argues that Maddy’s naturalized methodology is similar to the approach in the first part of the book. However, in the second part Husserl enters (...) into a transcendental clarification of the evidences and presuppositions of the mathematicians’ work, thus “transcendentalizing” his otherwise naturalist approach to mathematics. The result is a moderately revisionist view that takes the existing mathematical practices seriously, calls for reflection on them, and eventually gives suggestions for revisions if needed. (shrink)

The paper examines Husserl’s interactions with logicians in the 1930s in order to assess Husserl’s awareness of Gödel’s incompleteness theorems. While there is no mention about the results in Husserl’s known exchanges with Hilbert, Weyl, or Zermelo, the most likely source about them for Husserl is Felix Kaufmann (1895–1949). Husserl’s interactions with Kaufmann show that Husserl may have learned about the results from him, but not necessarily so. Ultimately Husserl’s reading marks on Friedrich Waismann’s Einführung in das mathematische Denken: die (...) Begriffsbildung der modernen Mathematik, 1936, show that he knew about them before his death in 1938. (shrink)

This essay presents Husserl’s Formal and Transcendental Logic (1929) in three main sections following the layout of the work itself. The first section focuses on Husserl’s introduction where he explains the method and the aim of the essay. The method used in FTL is radical Besinnung and with it an intentional explication of proper sense of formal logic is sought for. The second section is on formal logic. The third section focuses on Husserl’s “transcendental logic,” which is needed to make (...) Husserl’s conception complete, i.e., to understand what makes Besinnung radical, how the proper sense of formal logic has been reached and how all this relates to transcendental constitution of an object in the world. Husserl’s work is connected to his context (in exact sciences) and the relevance of his views for the contemporary approaches is discussed. (shrink)

This paper discusses Jean van Heijenoort’s (1967) and Jaakko and Merrill B. Hintikka’s (1986, 1997) distinction between logic as auniversal language and logic as a calculus, and its applicability to Edmund Husserl’s phenomenology. Although it is argued that Husserl’s phenomenology shares characteristics with both sides, his view of logic is closer to the model-theoretical, logic-as-calculus view. However, Husserl’s philosophy as transcendental philosophy is closer to the universalist view. This paper suggests that Husserl’s position shows that holding a model-theoretical view of (...) logic does not necessarily imply a calculus view about the relations between language and the world. The situation calls for reflection about the distinction: It will be suggested that the applicability of the van Heijenoort and the Hintikkas distinction either has to be restricted to a particular philosopher’s views about logic, in which case no implications about his or her more general philosophical views should be inferred from it; or the distinction turns into a question of whether our human predicament is inescapable or whether it is possible, presumably by means of model theory, to obtain neutral answers to philosophical questions. Thus the distinction ultimately turns into a question about the correct method for doing philosophy. (shrink)

The paper shows how to use the Husserlian phenomenological method in contemporary philosophical approaches to mathematical practice and mathematical ontology. First, the paper develops the phenomenological approach based on Husserl's writings to obtain a method for understanding mathematical practice. Then, to put forward a full-fledged ontology of mathematics, the phenomenological approach is complemented with social ontological considerations. The proposed ontological account sees mathematical objects as social constructions in the sense that they are products of culturally shared and historically developed practices. (...) At the same time the view endorses the sense that mathematical reality is given to mathematicians with a sense of independence. As mathematical social constructions are products of highly constrained, intersubjective practices and accord with the phenomenologically clarified experience of mathematicians, positing them is phenomenologically justified. The social ontological approach offers a way to build mathematical ontology out of the practice with no metaphysical magic. (shrink)

Critical views of logic are presented. These are views that are critical of logic in a sense akin to the way in which Kant is critical rather than dogmatic about traditional metaphysics. Such approaches differ from the Fregean ‘logic-first’ view. In accordance with the latter, logic is often regarded as epistemologically and methodologically fundamental. Hence, all disciplines – including mathematics – are considered as answerable to logic, rather than vice versa. In critical views of logic, by contrast, the logical principles (...) that govern some subject matter may depend on the metaphysics of this subject matter or on the semantics of our discourse about it. Space is thereby carved out between a Fregean position on the one hand and thoroughgoing holism à la Quine on the other. (shrink)

It is beginning to be rather well known that Edmund Husserl, the founder of phenomenological philosophy, was originally a mathematician; he studied with Weierstrass and Kronecker in Berlin, wrote his doctoral dissertation on the calculus of variations, and was then a colleague of Cantor in Halle until he moved to the Göttingen of Hilbert and Klein in 1901. Much of Husserl’s writing prior to 1901 was about mathematics, and arguably the origin of phenomenology was in Husserl’s attempts to give philosophical (...) foundations first for analysis and later for the formal sciences in general. However, what exactly Husserl’s thoughts about mathematics were is relatively little known. Stefania Centrone’s book Logic and Philosophy of Mathematics in the Early Husserl fills this lacuna. Centrone deciphers Husserl’s early texts about mathematics and logic somewhat selectively, but also extremely accurately and carefully into lucid English and in terms we know, without however reading contemporary views into Husserl’s views. Her analysis reveals for example that Husserl’s view of logic is close to what is today taught in the standard textbooks and that he viewed abstract mathematics as a theory of structures. Her work also uncovers Husserl’s relationship to the algebraists of logic as well as to Bolzano, Frege, and Hilbert.The book is composed of three rather independent chapters. In contrast to most of the other commentaries on early Husserl, the organization of the book is thematic rather than an attempt to document the various stages in the development of Husserl’s views. The first chapter discusses Husserl’s major work on arithmetic, the second the idea of pure logic, and the last the imaginary in mathematics. (shrink)

In his 1896 lecture course on logic–reportedly a blueprint for the Prolegomena to Pure Logic –Husserl develops an explicit account of logic as an independent and purely theoretical discipline. According to Husserl, such a theory is needed for the foundations of logic (in a more general sense) to avoid psychologism in logic. The present paper shows that Husserl’s conception of logic (in a strict sense) belongs to the algebra of logic tradition. Husserl’s conception is modeled after arithmetic, and respectively logical (...) inferences are viewed as analogical to arithmetical calculation. The paper ends with an examination of Husserl’s involvement with the key characters of the algebra of logic tradition. It is concluded that Ernst Schröder, but presumably also Hermann and Robert Grassmann influenced Husserl most in his turn away from psychologism. (shrink)

Proceedings of the annual congress of the Finnish Philosophical Association in 2013. Theme: memory.

ABSTRACT. The paper compares the views of Edmund Husserl (1859-1938) and Charles Sanders Peirce (1839-1914) on mathematics around the turn of the century. The two share a view that mathematics is an independent and theoretical discipline. Both think that it is something unrelated to how we actually think, and hence independent of psychology. For both, mathematics reveals the objective and formal structure of the world, and both think that modern mathematics is a Platonist enterprise. Husserl and Peirce also share a (...) teleological conception of the development of mathematics: both view it to evolve towards a goal. This is where the primary difference between the two can be found: while for Husserl the goal of mathematics is to characterize definite manifolds, for Peirce it is to discover the real potential world as expressed by his conception of continuum. Peirce elaborates the continuum with the notion ‘potential aggregate,’ a totality of the series of uncountable sets (each created by Cantor’s theorem) briefly discussed and compared to Husserl’s notion of definite manifolds. (shrink)

The paper discusses Husserl’s criticism of Frege in Philosophy of Arithmetic (1891) and then his later attitude towards logicism as expressed in Logical Investigations (1900-01). In Philosophy of Arithmetic Husserl holds that logicists offer needless and artificial definitions of notions such as equivalence and number. Frege criticized Husserl’s approach in Philosophy of Arithmetic as psychological, thus shifting the focus of the debate away from logicism. However, Frege’s criticism could be seen to lead Husserl to his later transcendental phenomenological concept of (...) correlation and, with it, to a more developed criticism of logicism. In this regard the division of labor between mathematics and philosophy established in Prolegomena to the Logical Investigations (1900) is central. It implies that in Husserl’s view formal methods fail to shed philosophical insight into the essence of mathematics. In his picture the central notions in need of philosophical clarification are, instead of number and quantity, the notions that are central to abstract structural mathematics. Contrary to Frege who can only elucidate the primitive concepts, Husserl engages in detailed description of their constitution. (shrink)