Graduate-level historical study is ideal for students intending to specialize in the topic, as well as those who only need a general treatment. Part I discusses traditional and symbolic logic. Part II explores the foundations of mathematics, emphasizing Hilbert’s metamathematics. Part III focuses on the philosophy of mathematics. Each chapter has extensive supplementary notes; a detailed appendix charts modern developments.

This essay is an attempt to take stock of what has been done by those who have worked on the foundations of mathematics and to suggest, very inadequately in so short a space, what may be a satisfactory approach to this subject for one who is not an expert in it. The subject is one that neither mathematicians nor philosophers can any longer afford to ignore, but in the technicalities of which they may not be very interested.

In a short article, published in an earlier volume of Philosophy 1 under the title “Philosophy and Mathematics,” I tried to explain the current conception of pure mathematics as the study of abstract structure by construction and elaboration of appropriate axiomatic formalisms. In the present paper I propose to consider certain philosophical problems, of interest to philosophers and mathematicians alike, which have their origin in the relation between such formalisms and any applications to experience that they may possess. Consideration of (...) problems of this kind is no new undertaking, and in Reichenbach's Wahrscheinlichkeitslehre , for instance, a considerable amount of space is devoted to the Anwendungsproblem or problem of application of the formal calculus under consideration. Most such discussions, however, are at bottom an appendage to an account of the formalism itself, and the author's interest is primarily mathematical. The result is that the philosophical issues involved are not given due weight; and it is these philosophical issues that I wish to discuss in the present paper. (shrink)