David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
Oxford University Press (1998)
In this collection of essays written over a period of twenty years, Solomon Feferman explains advanced results in modern logic and employs them to cast light on significant problems in the foundations of mathematics. Most troubling among these is the revolutionary way in which Georg Cantor elaborated the nature of the infinite, and in doing so helped transform the face of twentieth-century mathematics. Feferman details the development of Cantorian concepts and the foundational difficulties they engendered. He argues that the freedom provided by Cantorian set theory was purchased at a heavy philosophical price, namely adherence to a form of mathematical platonism that is difficult to support. Beginning with a previously unpublished lecture for a general audience, Deciding the Undecidable, Feferman examines the famous list of twenty-three mathematical problems posed by David Hilbert, concentrating on three problems that have most to do with logic. Other chapters are devoted to the work and thought of Kurt Gödel, whose stunning results in the 1930s on the incompleteness of formal systems and the consistency of Cantors continuum hypothesis have been of utmost importance to all subsequent work in logic. Though Gödel has been identified as the leading defender of set-theoretical platonism, surprisingly even he at one point regarded it as unacceptable. In his concluding chapters, Feferman uses tools from the special part of logic called proof theory to explain how the vast part--if not all--of scientifically applicable mathematics can be justified on the basis of purely arithmetical principles. At least to that extent, the question raised in two of the essays of the volume, Is Cantor Necessary?, is answered with a resounding no. This volume of important and influential work by one of the leading figures in logic and the foundations of mathematics is essential reading for anyone interested in these subjects.
|Keywords||Logic History of Mathematics Philosophy of Mathematics|
|Categories||categorize this paper)|
|Buy the book||$43.65 used (68% off) $90.04 new (34% off) $127.49 direct from Amazon (6% off) Amazon page|
|ISBN(s)||9780195080308 0195080300 (acidfree paper)|
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library|
References found in this work BETA
No references found.
Citations of this work BETA
Jeffrey W. Roland (2009). On Naturalizing the Epistemology of Mathematics. Pacific Philosophical Quarterly 90 (1):63-97.
Andrew Arana (2010). Proof Theory in Philosophy of Mathematics. Philosophy Compass 5 (4):336-347.
Srećko Kovač (2008). Gödel, Kant, and the Path of a Science. Inquiry : An Interdisciplinary Journal of Philosophy 51 (2):147-169.
Solomon Feferman (2012). And so On...: Reasoning with Infinite Diagrams. Synthese 186 (1):371 - 386.
Vojtěch Kolman (2010). Continuum, Name and Paradox. Synthese 175 (3):351 - 367.
Similar books and articles
Andrew Arana (2005). Review of S. Feferman's in the Light of Logic. [REVIEW] Mathematical Intelligencer 27 (4).
Kurt Gödel, Solomon Feferman, Charles Parsons & Stephen G. Simpson (eds.) (2010). Kurt Gödel: Essays for His Centennial. Association for Symbolic Logic.
Solomon Feferman, Harvey M. Friedman, Penelope Maddy & John R. Steel (2000). Does Mathematics Need New Axioms? Bulletin of Symbolic Logic 6 (4):401-446.
Solomon Feferman (1985). Intensionality in Mathematics. Journal of Philosophical Logic 14 (1):41 - 55.
Solomon Feferman, Presentation to the Panel, “Does Mathematics Need New Axioms?” Asl 2000 Meeting, Urbana Il, June 5, 2000.
Matthias Baaz (ed.) (2011). Kurt Gödel and the Foundations of Mathematics: Horizons of Truth. Cambridge University Press.
Solomon Feferman (1978). The Logic of Mathematical Discovery Vs. The Logical Structure of Mathematics. PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1978:309 - 327.
Richard L. Tieszen (2005). Phenomenology, Logic, and the Philosophy of Mathematics. Cambridge University Press.
Solomon Feferman, The Development of Programs for the Foundations of Mathematics in the First Third of the 20th Century.
Solomon Feferman (1988). Hilbert's Program Relativized: Proof-Theoretical and Foundational Reductions. Journal of Symbolic Logic 53 (2):364-384.
Richard A. Shore (2010). Reverse Mathematics: The Playground of Logic. Bulletin of Symbolic Logic 16 (3):378-402.
Added to index2012-01-31
Total downloads4 ( #364,784 of 1,696,171 )
Recent downloads (6 months)1 ( #333,658 of 1,696,171 )
How can I increase my downloads?