PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1992:442 - 455 (1992)
Does science justify any part of mathematics and, if so, what part? These questions are related to the so-called indispensability arguments propounded, among others, by Quine and Putnam; moreover, both were led to accept significant portions of set theory on that basis. However, set theory rests on a strong form of Platonic realism which has been variously criticized as a foundation of mathematics and is at odds with scientific realism. Recent logical results show that it is possible to directly formalize almost all, if not all, scientifically applicable mathematics in a formal system that is justified simply by Peano Arithmetic (via a proof-theoretical reduction). It is argued that this substantially vitiates the indispensability arguments.
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
References found in this work BETA
No references found.
Citations of this work BETA
Similar books and articles
On the Scope and Force of Indispensability Arguments.Geoffrey Hellman - 1992 - PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1992:456-464.
Confirmation and the Indispensability of Mathematics to Science.Susan Vineberg - 1996 - Philosophy of Science 63 (3):263.
The Development of Programs for the Foundations of Mathematics in the First Third of the 20th Century.Solomon Feferman - manuscript -
The Indispensability Argument and Multiple Foundations for Mathematics.Alan Baker - 2003 - Philosophical Quarterly 53 (210):49–67.
The Foundations of Mathematics and Other Logical Essays.Frank Plumpton Ramsey - 1931 - Paterson, N.J., Littlefield, Adams.
Reflections on Mathematics.Edward N. Zalta - 2007 - In V. F. Hendricks & Hannes Leitgeb (eds.), Philosophy of Mathematics: Five Questions. Automatic Press/VIP.
Foundations of Mathematics: Metaphysics, Epistemology, Structure.Stewart Shapiro - 2004 - Philosophical Quarterly 54 (214):16 - 37.
Quine, Putnam, and the 'Quine-Putnam' Indispensability Argument.David Liggins - 2007 - Erkenntnis 68 (1):113 - 127.
Set-Theoretic Foundations.Stewart Shapiro - 2000 - The Proceedings of the Twentieth World Congress of Philosophy 2000:183-196.
Mengenlehre—Vom Himmel Cantors Zur Theoria Prima Inter Pares.Peter Schreiber - 1996 - NTM International Journal of History and Ethics of Natural Sciences, Technology and Medicine 4 (1):129-143.
Review of M. Giaquinto, The Search for Certainty. [REVIEW]Carlo Cellucci - 2003 - European Journal of Philosophy 11:420-423.
Logical Consequence for Nominalists.Marcus Rossberg & Daniel Cohnitz - 2009 - Theoria. An International Journal for Theory, History and Foundations of Science 24 (2):147-168.
Scientific Vs. Mathematical Realism: The Indispensability Argument.Michael Resnik - 1995 - Philosophia Mathematica 3 (2):166-174.
Indispensability Arguments and Instrumental Nominalism.Richard Pettigrew - 2012 - Review of Symbolic Logic 5 (4):687-709.
Proof-Theoretic Reduction as a Philosopher's Tool.Thomas Hofweber - 2000 - Erkenntnis 53 (1-2):127-146.
Added to index2010-12-22
Total downloads42 ( #116,931 of 2,121,232 )
Recent downloads (6 months)4 ( #201,341 of 2,121,232 )
How can I increase my downloads?
There are no threads in this forum
Nothing in this forum yet.