Book Review: Michael Potter. Reason's Nearest Kin. Philosophies of Arithmetic from Kant to Carnap
Richard Zach
Source: Notre Dame J. Formal Logic Volume 46, Number 4
(2005), 503-513.
First Page:
Show
Hide
Reviewed Works:
Michael Potter, Reason's Nearest Kin. Philosophies of Arithmetic from Kant to Carnap. Oxford University Press, Oxford, 2000. x + 305 pages
Full-text: Open access
Links and Identifiers
Permanent link to this document: http://projecteuclid.org/euclid.ndjfl/1134397665
Digital Object Identifier: doi:10.1305/ndjfl/1134397665
References
[1] Avigad, J., "Number theory and elementary arithmetic", Philosophia Mathematica, vol. 11 (2003), pp. 257--84.
Mathematical Reviews (MathSciNet): MR2006194
Zentralblatt MATH: 1050.03005
[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.
Zentralblatt MATH: 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.
Mathematical Reviews (MathSciNet): MR1077716
Zentralblatt MATH: 0732.03003
Digital Object Identifier: doi:10.1007/BF00263316
[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.
Mathematical Reviews (MathSciNet): MR1465678
Zentralblatt MATH: 0859.01002
[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.
Mathematical Reviews (MathSciNet): MR1282041
Zentralblatt MATH: 0836.00022
[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.
Mathematical Reviews (MathSciNet): MR1332489
Zentralblatt MATH: 0826.01038
[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.
Mathematical Reviews (MathSciNet): MR1069617
Zentralblatt MATH: 0703.01005
[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.
Zentralblatt MATH: 48.1188.01
[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.
Mathematical Reviews (MathSciNet): MR2090759
[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.
Zentralblatt MATH: 0009.14501
[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.
Mathematical Reviews (MathSciNet): MR1685779
Zentralblatt MATH: 0941.01003
[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.
Mathematical Reviews (MathSciNet): MR1701943
Zentralblatt MATH: 0918.03003
[19] Potter, M., Reason's Nearest Kin. Philosophies of Arithmetic from Kant to Carnap, Oxford University Press, New York, 2000.
Mathematical Reviews (MathSciNet): MR1859099
Zentralblatt MATH: 1016.03003
[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.
Mathematical Reviews (MathSciNet): MR1943318
Zentralblatt MATH: 1024.03008
[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).
Mathematical Reviews (MathSciNet): MR2038463
Digital Object Identifier: doi:10.1023/A:1026247421383
Notre Dame Journal of Formal Logic
