In the Light of Logic. Author: Solomon Feferman. (Oxford University Press, 1998, ISBN 0195080300, Logic and Computation in Philosophy series)
Description from the jacket flap:
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 twentiethcentury 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 twentythree 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 Cantor's continuum hypothesis have been of utmost importance to all subsequent work in logic. Though Gödel has been identified as the leading defender of settheoretical 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&emdash;if not all&emdash;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.
___
I FOUNDATIONAL PROBLEMS 


1. 
Deciding the undecidable: Wrestling with Hilbert's problems 

2. 
Infinity in mathematics: Is Cantor necessary? 


II FOUNDATIONAL WAYS 


3. 
The logic of mathematical discovery versus the logical structure of mathematics 

4. 
Foundational ways 

5. 
Working foundations 


III GÖDEL 


6. 
Gödel's life and work 

7. 
Kurt Gödel: Conviction and caution 

8. 
Introductory note to Gödel's 1933 lecture 


IV PROOF THEORY 


9. 
What does logic have to tell us about mathematical proofs? 

10. 
What rests on what? The prooftheoretic analysis of mathematics 

11. 
Gödel's Dialectica interpretation and its twoway stretch 


V COUNTABLY REDUCIBLE MATHEMATICS 


12. 
Infinity in mathematics: Is Cantor necessary? (Conclusion) 

13. 
Weyl vindicated: Das Kontinuum seventy years later 

14. 
Why a little bit goes a long way: Logical foundations of
scientifically applicable mathematics 