David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
OUP USA (1999)
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)|
No categories specified
(categorize this paper)
|Buy the book||$24.91 new (81% off) $24.93 used (81% off) $118.75 direct from Amazon (5% off) Amazon page|
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.
Vojtěch Kolman (2010). Continuum, Name and Paradox. Synthese 175 (3):351 - 367.
Solomon Feferman (2012). And so On...: Reasoning with Infinite Diagrams. Synthese 186 (1):371 - 386.
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 downloads3 ( #293,241 of 1,101,088 )
Recent downloads (6 months)1 ( #290,992 of 1,101,088 )
How can I increase my downloads?