In the Light of Logic
OUP USA (1999)
| Abstract | Solomon Feferman is one of the leading figures in the philosophy of mathematics. This volume brings together a selection of his most important recent writings, covering the relation between logic and mathematics, proof theory, objectivity and intentionality in mathematics, and key issues in the work of Gödel, Hilbert, and Turing. A number of the papers appeared originally in obscure places and are not well-known, and others are published here for the first time. All of the material has been revised and annotated to bring it up to date. | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | No categories specified (fix it) | |||||||||
| Buy the book | $94.86 direct from Amazon (25% off) Amazon page | |||||||||
| ISBN(s) | 9780195080308 0195080300 | |||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,679 |
| External links |
  Try with proxy. |
| Through your library | Configure |
Similar books and articlesAndrew 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.
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 (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.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2012-01-31Total downloads1 ( #274,830 of 549,078 )Recent downloads (6 months)1 ( #63,317 of 549,078 )How can I increase my downloads? |
My notes
Discussion
