Mathematical Logic pp 1-9 | Cite as

# Introduction

## Abstract

Leafing through almost any exposition of modern mathematical logic, including this book, one will note the highly technical and purely mathematical nature of most of the material. Generally speaking this may seem strange to the novice, who pictures logic as forming the foundation of mathematics and expects to find many difficult discussions concerning the philosophy of mathematics. Even more puzzling to such a person is the fact that most works on logic presuppose a substantial amount of mathematical background, in fact, usually more set theory than is required for other mathematical subjects at a comparable level. To the novice it would seem more appropriate to begin by assuming nothing more than a general cultural background. In this introduction we want to try to justify the approach used in this book and similar ones. Inevitably this will require a discussion of the philosophy of mathematics. We cannot do full justice to this topic here, and the interested reader will have to study further, for example in the references given at the end of this introduction. We should emphasize at the outset that the various possible philosophical viewpoints concerning the nature or purpose of mathematics do not effect one way or the other the correctness of mathematical reasoning (including the technical results of this book). They do effect how mathematical results are to be intuitively interpreted, and which mathematical problems are considered as more significant.

## Preview

Unable to display preview. Download preview PDF.

### Bibliography

- 1.Bishop, E.
*Foundations of Constructive Analysis*. New York: McGraw-Hill (1967).MATHGoogle Scholar - 2.Cohen, P. Comments on the foundations of set theory. In:
*Axiomatic Set Theory*. Providence: Amer. Math. Soc. (1971), 9–16.Google Scholar - 3.Gödel, K. What is Cantor’s continuum problem?
*Amer. Math. Monthly*,**54**(1947), 515–525.Google Scholar - 4.Heyting, A.
*Intuitionism*. Amsterdam: North-Holland (1966).Google Scholar - 5.Hilbert, D. Die logischen Grundlagen der mathematik.
*Math. Ann.*,*88*(1923), 151–165.MathSciNetCrossRefGoogle Scholar - 6.Kalmar, L. Foundations of mathematics—whither now. In:
*Problems in the Philosophy of Mathematics*. Amsterdam: North-Holland (1967), 187–194.CrossRefGoogle Scholar - 7.Kreisel, G. Observations on popular discussions of foundations. In:
*Axiomatic Set Theory*. Providence: Amer. Math. Soc. (1971), 189–198.Google Scholar - 8.Monk, J. D.
*Introduction to Set Theory*. New York: McGraw-Hill (1969).MATHGoogle Scholar - 9.Monk, J. D. On the foundations of set theory.
*Amer. Math. Monthly*,*77*(1970), 703–711.MathSciNetMATHCrossRefGoogle Scholar - 10.Mostowski, A. Recent results in set theory. In:
*Problems in the Philosophy of Mathematics*. Amsterdam: North-Holland (1967), 82–96.CrossRefGoogle Scholar - 11.Robinson, A. Formalism 64. In:
*Logic*,*Methodology*,*and the Philosophy of Science*. Amsterdam: North-Holland (1964), 228–246.Google Scholar - 12.Rogers, R. Mathematical and philosophical analyses.
*Philos. Sci.*,*31*(1964), 255–264.CrossRefGoogle Scholar