Review: Solomon Feferman, In the Light of Logic

@article{Antonelli2001ReviewSF,
  title={Review: Solomon Feferman, In the Light of Logic},
  author={Gian Aldo Antonelli},
  journal={Bulletin of Symbolic Logic},
  year={2001},
  volume={7},
  pages={270 - 277}
}
  • G. Antonelli
  • Published 2001
  • Philosophy
  • Bulletin of Symbolic Logic
The Association for Symbolic Logic reviews selected books and articles in the field of symbolic logic. The reviews were published inThe journal of symbolic logic from the founding of the Journal in 1936 until the end of 1999. The Association moved the reviews to this Bulletin, beginning in 2000. The Reviews Section is edited by Herbert Enderton (Coordinating Editor), Geoffrey Hellman, Thomas Jech, Wolfram Pohlers, and Philip Scowcroft. Authors and publishers are requested to send, for review… Expand
3 Citations
Hilbert's program then and now
Hilbert’s program was an ambitious and wide-ranging project in the philosophy and foundations of mathematics. In order to “dispose of the foundational questions in mathematics once and for all,”Expand
2 9 A ug 2 00 5 Hilbert ’ s Program Then and Now
Hilbert’s program was an ambitious and wide-ranging project in the philosophy and foundations of mathematics. In order to “dispose of the foundational questions in mathematics once and for all,”Expand
Predicativity beyond Gamma_0
We reevaluate the claim that predicative reasoning (given the natural numbers) is limited by the Feferman-Schutte ordinal Gamma_0. First we comprehensively criticize the arguments that have beenExpand