Skip to main content

On mathematical instrumentalism*

  • Patrick Caldon (a1) (a2) and Aleksandar Ignjatović (a1) (a3)

In this paper we devise some technical tools for dealing with problems connected with the philosophical view usually called mathematical instrumentalism. These tools are interesting in their own right, independently of their philosophical consequences. For example, we show that even though the fragment of Peanos Arithmetic known as IΣ1 is a conservative extension of the equational theory of Primitive Recursive Arithmetic (PRA). IΣ1 has a super-exponential speed-up over PRA. On the other hand, theories studied in the Program of Reverse Mathematics that formalize powerful mathematical principles have only polynomial speed-up over IΣ1.

Hide All

This is a revised excerpt from the second author's Ph.D. Thesis submitted at the University of California at Berkeley in 1990. The author is grateful to his adviser. Professor Jack Silver, for his support, many helpful discussions and for sharing his insights, to Professor Charles Chihara for discussions and encouragements, to the referees for many most useful comments which reshaped the paper.

Hide All
[1]Avigad, J., Formalizing forcing arguments in subsystems of second-order arithmetic, Annals of Pure and Applied Logic, vol. 82 (1996), pp. 165191.
[2]Brown, D. K., Subsystems of second order arithmetic, Ph.D. thesis, Pennsylvania State University, 1987.
[3]Buss, S., Bounded Arithmetic, Bibliopolis, 1986.
[4]Enderton, H., A Mathematical Introduction to Logic, Academic Press, 1972.
[5]Feferman, S., Systems of predicative analysis, this Journal, vol. 29 (1964), pp. 130.
[6]Hájek, P., On interpretability of theories containing arithmetic, II, Commentationes Mathematical Universitatis Carolinae, vol. 22 (1981), pp. 667688.
[7]Hájek, P., Interpretability and fragments of arithmetic, Arithmetic, Proof Theory, and Computational Complexity (Clote, P. and Krajíček, J., editors), Oxford, 1993, pp. 185196.
[8]Hilbert, D. and Bernays, P., Grundlagen der Mathematik I, II, 2. Auflage, Springer, Berlin, 1968/1970.
[9]Ignjatović, A., Fragments of first- and second-order arithmetic and length of proofs, Ph.D. thesis, University of California at Berkeley, Berkeley, California, 1990.
[10]Ignjatović, A., Hilbert's program and the ω-rule, this Journal, vol. 59 (1994), no. 1, pp. 322343.
[11]Isaacson, D., Arithmetical truth and hidden higher-order concepts, Logic Colloquium '85, Paris Logic Group, North Holland, 1987.
[12]Kreisel, G., What can be done for Mathematical Logic, Bertrand Russell: Philosopher of the Century (Schoenman, R., editor), Allen and Unwin, London, 1967. pp. 273303.
[13]Paris, J. and Dimitracopulos, C., A note on undefinability of cuts, this Journal, vol. 48 (1983), pp. 564569.
[14]Pudlák, P., Cuts, consistency statements and interpretations, this Journal, vol. 50 (1985), pp. 423441.
[15]Pudlák, P., On the length of proofs offinitistic consistency statements in first-order theories, Logic Colloquium '84 (Paris, J. B., Wilkie, A. J., and Wilmers, G. M., editors), North-Holland, 1986.
[16]Sieg, W., Fragments of arithmetic, Annals of Pure and Applied Logic, vol. 28 (1985). pp. 3371.
[17]Simpson, S. G., Partial realization of Hilbert'sprogram, this Journal, vol. 53 (1988), pp. 349363.
[18]Simpson, S. G., Subsystems of second order arithmetic, Springer-Verlag, 1998.
[19]Simpson, S. G. and Smith, R. L., Factorization of polynomials and Σ10-induction, Annals of Pure and Applied Logic, vol. 31 (1986), pp. 289306.
[20]Solovay, R., Letter to P. Hájek, see also [6] and [13].
[21]Tait, W. W., Finitism, Journal of Philosophy, vol. 78 (1981), pp. 524546.
[22]Takeuti, G., Proof Theory, 2nd ed., North-Holland, 1987.
[23]Wainer, S. S., Ordinal recursion, and a refinement of the extended Grzegorczyk hierarchy, this Journal, vol. 37 (1972), pp. 281292.
Recommend this journal

Email your librarian or administrator to recommend adding this journal to your organisation's collection.

The Journal of Symbolic Logic
  • ISSN: 0022-4812
  • EISSN: 1943-5886
  • URL: /core/journals/journal-of-symbolic-logic
Please enter your name
Please enter a valid email address
Who would you like to send this to? *


Full text views

Total number of HTML views: 0
Total number of PDF views: 0 *
Loading metrics...

Abstract views

Total abstract views: 0 *
Loading metrics...

* Views captured on Cambridge Core between <date>. This data will be updated every 24 hours.

Usage data cannot currently be displayed