Notre Dame Journal of Formal Logic

Book Review: Michael Potter. Reason's Nearest Kin. Philosophies of Arithmetic from Kant to Carnap

Richard Zach

Article information

Source
Notre Dame J. Formal Logic, Volume 46, Number 4 (2005), 503-513.

Dates
First available in Project Euclid: 12 December 2005

Permanent link to this document
https://projecteuclid.org/euclid.ndjfl/1134397665

Digital Object Identifier
doi:10.1305/ndjfl/1134397665

Subjects
Primary: 03A05: Philosophical and critical {For philosophy of mathematics, see also 00A30}
Secondary: 00A30: Philosophy of mathematics [See also 03A05]

Keywords
philosophy of arithmetic Hilbert's program finitism Goedel incompleteness theorems

Citation

Zach, Richard. Book Review: Michael Potter. Reason's Nearest Kin. Philosophies of Arithmetic from Kant to Carnap. Notre Dame J. Formal Logic 46 (2005), no. 4, 503--513. doi:10.1305/ndjfl/1134397665. https://projecteuclid.org/euclid.ndjfl/1134397665


Export citation

References

  • [1] Avigad, J., "Number theory and elementary arithmetic", Philosophia Mathematica, vol. 11 (2003), pp. 257--84.
  • [2] Bernays, P., "Die Philosophie der Mathematik und die Hilbertsche Beweistheorie", Blätter für deutsche Philosophie, vol. 4 (1930), pp. 326--67. English translation in [Mancosu:98?], pp. 234--65. JFM 56.0044.02.
  • [3] Demopoulos, W., "Critical notice of Michael Potter, Reason's Nearest Kin", British Journal for the Philosophy of Science, vol. 52 (2001), pp. 599--612.
  • [4] Detlefsen, M., Hilbert's Program, Reidel, Dordrecht, 1986.
  • [5] Detlefsen, M., "On an alleged refutation of Hilbert's program using Gödel's first incompleteness theorem", Journal of Philosophical Logic, vol. 19 (1990), pp. 343--77.
  • [6] Ewald, W. B., editor, From Kant to Hilbert: A Source Book in the Foundations of Mathematics, vol. 2, Oxford Science Publications, The Clarendon Press, New York, 1996.
  • [7] Feferman, S., "What rests on what? The proof-theoretic analysis of mathematics", pp. 147--71 in Philosophy of Mathematics. Proceedings of the Fifteenth International Wittgenstein-Symposium, Part 1, edited by J. Czermak, vol. 20/I of Schriftenreihe der Wittgenstein-Gesellschaft, Hölder-Pichler-Tempsky, Vienna, 1993.
  • [8] Gödel, K., Collected Works. Vol. III, edited by S. Feferman, J. W. Dawson, Jr., W. Goldfarb, C. Parsons, and R. M. Solovay, Oxford University Press, New York, 1995.
  • [9] Hallett, M., "Hilbert and logic", pp. 135--87 in Quebec Studies in the Philosophy of Science, vol. 1, edited by M. Marion and R. S. Cohen, Kluwer, Dordrecht, 1995.
  • [10] Hand, M., "Hilbert's iterativistic tendencies", History and Philosophy of Logic, vol. 11 (1990), pp. 185--92.
  • [11] Hilbert, D., "Neubegründung der Mathematik: Erste Mitteilung", Abhandlungen aus dem Seminar der Hamburgischen Universität, vol. 1 (1922), pp. 157--77. English translation in Mancosu:98?, pp. 198--214 and Ewald:96?, pp. 1115--1134.
  • [12] Hilbert, D., David Hilbert's Lectures on the Foundations of Arithmetic and Logic, 1917--1933, edited by W. Ewald and W. Sieg, Springer, New York, forthcoming in 2006.
  • [13] Hilbert, D. , and P. Bernays, Grundlagen der Mathematik, vol. 1, edited by W. Ewald and W. Sieg, Springer, Berlin, 1934. JFM 60.0017.02.
  • [14] Kreisel, G., "On the interpretation of non-finitist proofs. Part I", The Journal of Symbolic Logic, vol. 16 (1951), pp. 241--67.
  • [15] Landini, G., "Review of Michael Potter, Reason's Nearest Kin", History and Philosophy of Logic, vol. 21 (2000), pp. 231--34.
  • [16] MacFarlane, J., "Review of Michael Potter, Reason's Nearest Kin", Journal of the History of Philosophy, vol. 39 (2001), pp. 454--56.
  • [17] Mancosu, P., editor, From Brouwer to Hilbert. The Debate on the Foundations of Mathematics in the 1920s, Oxford University Press, New York, 1998. With the collaboration of Walter P. van Stigt and reproduced historical papers translated from the Dutch, French, and German.
  • [18] Parsons, C., "Finitism and intuitive knowledge", pp. 249--70 in The Philosophy of Mathematics Today (Munich, 1993), edited by M. Schirn, Oxford University Press, New York, 1998.
  • [19] Potter, M., Reason's Nearest Kin. Philosophies of Arithmetic from Kant to Carnap, Oxford University Press, New York, 2000.
  • [20] Tait, W. W., "Finitism", Journal of Philosophy, vol. 78 (1981), pp. 524--46. Reprinted in Tait:05?, pp. 21--42.
  • [21] Tait, W. W., "Remarks on finitism", pp. 410--19 in Reflections on the Foundations of Mathematics. Essays in Honor of Solomon Feferman (Stanford, 1998), edited by W. Sieg, R. Sommer, and C. Talcott, vol. 15 of Lecture Notes in Logic, Association for Symbolic Logic and A K Peters, Urbana and Natick, 2002. Reprinted in Tait:05?, pp. 43--53.
  • [22] Tait, W., The Provenance of Pure Reason. Essays in the Philosophy of Mathematics and Its History, Logic and Computation in Philosophy, Oxford University Press, New York, 2005.
  • [23] Zach, R., "The practice of finitism. Epsilon calculus and consistency proofs in Hilbert's Program", Synthèse, vol. 137 (2003), pp. 211--59. History of Logic (Helsinki, 2000).