From geometry to phenomenology

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. The author wishes to thank Academy of Finland for financial assistance that enabled her to work on this article.     

Towards completeness: Husserl on theories of manifolds 1890–1901

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.     

No Magic: From Phenomenology of Practice to Social Ontology of Mathematics

Topoi - The paper shows how to use the Husserlian phenomenological method in contemporary philosophical approaches to mathematical practice and mathematical ontology. First, the paper...     

Logic as a Universal Medium or Logic as a Calculus? Husserl and the Presuppositions of “the Ultimate Presupposition of Twentieth Century Philosophy”

This paper discusses Jean van Heijenoort's (1967) and Jaakko and Merrill B. Hintikka's (1986, 1997) distinction between logic as a universal 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.     

Husserl and the Algebra of Logic: Husserl’s 1896 Lectures

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.