Convinced that the classically undecidable problems of mathematics possess determinate truth values, Gödel issued a programmatic call to search for new axioms for their solution. The platonism underlying his belief in the determinateness of those questions in combination with his conception of intuition as a kind of perception have struck many of his readers as highly problematic. Following Gödel's own suggestion, this article explores ideas from phenomenology to specify a meaning for his mathematical realism that allows for a defensible epistemology.

The philosopher Rudolf Carnap, although not himself an originator of mathematical advances in logic, was much involved in the development of the subject. He was the most important and deepest philosopher of the Vienna Circle of logical positivists, or, to use the label Carnap later preferred, logical empiricists. It was Carnap who gave the most fully developed and sophisticated form to the linguistic doctrine of logical and mathematical truth: the view that the truths of mathematics and logic do not describe (...) some Platonistic realm, but rather are artifacts of the way we establish a language in which to speak of the factual, empirical world, fallouts of the representational capacity of language. Carnap was also the thinker who, after Russell, most emphasized the importance of modern logic, and the distinctive advances it enables in the foundations of mathematics, to contemporary philosophy. It was through Carnap's urgings, abetted by Hans Hahn, once Carnap arrived in Vienna as Privatdozent in philosophy in 1926, that the Vienna Circle began to take logic seriously and that positivist philosophy began to grapple with the question of how an account of mathematics compatible with empiricism can be given.A particular facet of Carnap's influence is not widely appreciated: it was Carnap who introduced Kurt Gödel to logic, in the serious sense. Although Gödel seems to have attended a course of Schlick's on philosophy of mathematics in 1925–26, his second year at the University, he did not at that time pursue logic further, nor did the seminar leave much of a trace on him. In the early summer of 1928, however, Carnap gave two lectures to the Circle which Gödel attended, or so I surmise. At these occasions, Carnap presented material from his manuscript treatise, Untersuchungen zur allgemeinen Axiomatik, that is, “Investigations into general axiomatics”, which dealt with questions of consistency, completeness and categoricity. Carnap later circulated this material to various people including Gödel. (shrink)

This volume tackles Gödel's two-stage project of first using Husserl's transcendental phenomenology to reconstruct and develop Leibniz' monadology, and then founding classical mathematics on the metaphysics thus obtained. The author analyses the historical and systematic aspects of that project, and then evaluates it, with an emphasis on the second stage.