Science in a new sense arises in the first instance from Plato's establishing of logic, as a place for exploring the essential requirements of "genuine" ...

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 article examines the development of Husserl’s early philosophy from his Habilitationsschrift (1887) to the Philosophie der Arithmetik (1891). -/- An attempt will be made at reconstructing the lost Habilitationsschrift (of which only the first chapter survives, which we know as Über den Begriff der Zahl). The examined sources show that the original version of the Habilitationsschrift was by far broader than the printed version, and included most topics of the PA. -/- The article contains an extensive and detailed comparison (...) of these texts to illustrate the changes in Husserl’s position before and after February 1890. This date is taken as a turning point in his development, because of Husserl’s announcement in a letter to Carl Stumpf that he was mistaken in his basic assumption, i.e. that the (psychological) analysis of the concept of Anzahl would yield a foundation for arithmetic. Some interesting conclusions in this respect can also be drawn from an unpublished lecture that Husserl held in the WS 1889/90, in which he anticipates aspects of his position hitherto deemed to belong to the last phases of the PA. (shrink)

A comprehensive historical overview of formalist ideas in the philosophy of mathematics.

This volume will be of particular interest to researchers working in the history, and in the philosophy, of logic and mathematics, and more generally, to ...

In this paper I study the variants of the notion of completeness Husserl pre-sented in “Ideen I” and two lectures he gave in Göttingen in 1901. Introduced primarily in connection with the problem of imaginary numbers, this notion found eventually a place in the answer Husserl provided for the philosophically more im-portant problem of the logico-epistemological foundation of formal knowledge in sci-ence. I also try to explain why Husserl said that there was an evident correlation between his and Hilbert’s notion (...) of completeness introduced in connection with the axiomatisation of geometry and the theory of real numbers when, as many commen-tators have already observed, these two notions are independent. I show in this paper that if a system of axioms is complete in Husserl’s sense, then its formal domain, the manifold of formal objects it determines, does not admit any extension. This is precisely the idea behind Hilbert’s notion of completeness in question. Therefore, the correlation Husserl noted indeed exists. But, in order to see it, we must consider the formal domain determined by a formal theory, not its models. (shrink)

The article examines the development of Husserl’s early philosophy from his Habilitationsschrift to the Philosophie der Arithmetik . An attempt will be made at reconstructing the lost Habilitationsschrift . The examined sources show that the original version of the Habilitationsschrift was by far broader than the printed version, and included most topics of the PA. The article contains an extensive and detailed comparison of these texts to illustrate the changes in Husserl’s position before and after February 1890. This date is (...) taken as a turning point in his development, because of Husserl’s announcement in a letter to Carl Stumpf that he was mistaken in his basic assumption, i.e. that the analysis of the concept of Anzahl would yield a foundation for arithmetic. Some interesting conclusions in this respect can also be drawn from an unpublished lecture that Husserl held in the WS 1889/90, in which he anticipates aspects of his position hitherto deemed to belong to the last phases of the PA. (shrink)