Bibliography

Barker, S. F. (1964).

Philosophy of Mathematics.
Prentice-Hall.

Bell, D. (1979).

Frege's Theory of Judgement.
OUP.

Benacerraf, P. (1965).

What numbers could not be.
In Benacerraf and Putnam (1983).
2nd ed.

Benacerraf, P. (1973).

Mathematical truth.
In Benacerraf and Putnam (1983).
2nd ed.

Benacerraf, P. and Putnam, H., editors (1983).

Philosophy of Mathematics.
Cambridge University Press.
2nd ed.

Boolos, G. and Jeffrey, R. (1989).

Computability and Logic.
Routledge & Kegan Paul.

Burgess, J. (1990).

Epistemology and nominalism.
In Irvine (1990).

Detlefsen, M. (1986a).

Hilbert's Program: An Essay in Mathematical Instrumentalism.
Cambridge University Press.

Detlefsen, M. (1986b).

On an alleged refutation of hilbert's program using Gödel's first incompleteness theorem.
In Detlefsen, M., editor, Proof, Logic and Formalization. Routledge and Kegan Paul.

Detlefsen, M. (1992a).

Brouwerian intuitionism.
In Detlefsen (1992b).

Detlefsen, M., editor (1992b).

Proof and Knowledge in Mathematics.
Routledge and Kegan Paul.

Dummett, M. A. E. (1975).

The philosophical basis of intuitionistic logic.
In Benacerraf and Putnam (1983).
2nd ed.

Dummett, M. A. E. (1978).

The philosophical significance of Gödel's theorems.
In Truth and Other Enigmas. Duckworth.

Dummett, M. A. E. (1991a).

Frege: Philosophy of Mathematics.
Duckworth.

Dummett, M. A. E. (1991b).

What is mathematics about?
In George (1994).

Ewald, W., editor (1995).

From Kant to Hilbert, volume 2.
Oxford University Press.

Feferman, S. (1964).

Systems of predicative analysis.
Journal of Symbolic Logic, XXIX:1-30.
available online through JSTOR.

Field, H. (1980).

Science Without Numbers.
OUP.

Field, H. (1984).

Is mathematical knowledge just logical knowledge?
In Hart (1996).

Field, H. (1989).

Realism, Mathematics, and Modality.
Blackwell.

Frege, G. (1879).

The concept of number.
In Benacerraf and Putnam (1983).
2nd ed.

Frege, G. (1900).

Frege-Hilbert correspondence leading to On the Foundations of Geometry.
In On the Foundations of Geometry and Formal Theories of Arithmetic. Yale University Press.

Frege, G. (1980).

The Foundations of Arithmetic.
Northwestern University Press.

George, A., editor (1994).

Mathematics and Mind.
Oxford University Press.

George, A. and Velleman, D. (2002).

Philosophies of Mathematics.
Blackwell.

Gödel, K. (1944).

Russell's mathematical logic.
In Benacerraf and Putnam (1983).
2nd ed.

Hale, B. (1990).

Nominalism.
In Irvine (1990).

Hallett, M. (1990).

Physicalism, reductionism, and Hilbert.
In Irvine (1990).

Hallett, M. (1994).

Hilbert's axiomatic method and the laws of thought.
In George (1994).

Hart, W. D., editor (1996).

Philosophy of Mathematics.
OUP.

Hatcher, W. S. (1968).

Foundations of Mathematics.
Saunders and Co.

Hempel, C. (1945).

Geometry and empirical science.
American Mathematical Monthly, LII.
available online through JSTOR.

Heyting, A. (1983).

Disputation.
In Benacerraf and Putnam (1983).
2nd ed.

Hilbert, D. (1900).

Mathematical problems.
In Ewald (1995).

Hilbert, D. (1918).

Axiomatic method.
In Ewald (1995).

Hilbert, D. (1922).

The new grounding of mathematics.
In Ewald (1995).

Hilbert, D. (1926).

On the infinite.
In Benacerraf and Putnam (1983).
2nd ed.

Hilbert, D. (1930).

Logic and the knowledge of nature.
In Ewald (1995).

Hilbert, D. (1931).

The grounding of elementary number theory.
In Ewald (1995).

Horwich, P. (1982).

Probability and Evidence.
CUP.

Irvine, A. D., editor (1990).

Physicalism in Mathematics.
Cambridge University Press.

Kant, I. (1997a).

Critique of Pure Reason.
Cambridge University Press.

Kant, I. (1997b).

Prolegomena to Any Future Metaphysics.
Cambridge University Press.

Kilmister, C. W. (1967).

Language, Logic and Mathematics.
Barnes and Noble Inc.

Körner, S. (1964).

Philosophy of Mathematics.
OUP.

Kreisel, G. (1958).

Hilbert's programme.
In Benacerraf and Putnam (1983).
2nd ed.

Lavine, S. (1994).

Understanding the Infinite.
Cambridge University Press.

Nagel, E. and Newman, J. (1959).

Gödel's Proof.
Routledge & Kegan Paul.

Poincaré, H. (1963).

Last thoughts.
In Mathematics and Science: Last Essays. Dordrecht Reidel.

Poincaré, H. (1978a).

Science and Hypothesis.

Poincaré, H. (1978b).

Science and Method.

Poincaré, H. (1978c).

The Value of Science.

Resnik, M. D. (1974).

On the philosophical significance of consistency proofs.
In Shanker, S. G., editor, Gödel's Theorem in Focus. Croom Helm.

Resnik, M. D. (1980).

Frege and the Philosophy of Mathematics.
Cornell University Press.

Resnik, M. D. (1992).

Proof as a source of truth.
In Detlefsen (1992b).

Russell, B. A. W. (1908).

Mathematical logic as based on the theory of types.
American Journal of Mathematics, XXX:222-62.
available online through JSTOR.

Russell, B. A. W. (1919).

Selections from Introduction to Mathematical Philosophy.
In Benacerraf and Putnam (1983).
2nd ed.

Steiner, M. (1975).

Mathematical Knowledge.
Cornell University Press.

Steiner, M. (1992).

Mathematical rigor in physics.
In Detlefsen (1992b).

Steiner, M. (1998).

The Applicability of Mathematics as a Philosophical Problem.
Harvard University Press.

Stump, D. (1991).

Poincaré's thesis of the translatability of euclidean and non-euclidean geometries.
Noûs, 25:639-57.

Tait, W. W. (1981).

Truth and proof.
In Hart (1996).

Torretti, R. (1978).

Philosophy of Geometry from Riemann to Poincaré.
Dordrecht Reidel.

von Neumann, J. (1931).

The formalist foundations of mathematics.
In Benacerraf and Putnam (1983).
2nd ed.

Weyl, H. (1946).

Mathematics and logic.
American Mathematical Monthly, LIII:2-13.
available online through JSTOR.

Weyl, H. (1987).

The Continuum: A Critical Examination of the Foundation of Analysis.
Thomas Jefferson University Press.

Wright, C. J. G. (1983).

Frege's Conception of Numbers as Objects.
Aberdeen University Press.