In the Light of Logic

Oxford University Press (1998)
Abstract
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)
DOI 10.2307/2687778
Options
 Save to my reading list
Follow the author(s)
Edit this record
My bibliography
Export citation
Find it on Scholar
Mark as duplicate
Request removal from index
Revision history
Download options
Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 30,370
External links

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.

Add more references

Citations of this work BETA
The Mathematical Universe.Max Tegmark - 2008 - Foundations of Physics 38 (2):101-150.
On Naturalizing the Epistemology of Mathematics.Jeffrey W. Roland - 2009 - Pacific Philosophical Quarterly 90 (1):63-97.

View all 13 citations / Add more citations

Similar books and articles
Intensionality in Mathematics.Solomon Feferman - 1985 - Journal of Philosophical Logic 14 (1):41 - 55.
The Logic of Mathematical Discovery Vs. The Logical Structure of Mathematics.Solomon Feferman - 1978 - PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1978:309 - 327.
Reverse Mathematics: The Playground of Logic.Richard A. Shore - 2010 - Bulletin of Symbolic Logic 16 (3):378-402.
Added to PP index
2012-01-31

Total downloads
12 ( #386,460 of 2,193,782 )

Recent downloads (6 months)
1 ( #290,980 of 2,193,782 )

How can I increase my downloads?

Monthly downloads
My notes
Sign in to use this feature