On Mathematical Instrumentalism
Journal of Symbolic Logic 70 (3):778 - 794 (2005)
| Abstract | In this paper we devise some technical tools for dealing with problems connected with the philosophical view usually called mathematical instrumentalism. These tools are interesting in their own right, independently of their philosophical consequences. For example, we show that even though the fragment of Peano's Arithmetic known as IΣ₁ is a conservative extension of the equational theory of Primitive Recursive Arithmetic (PRA). IΣ₁ has a super-exponential speed-up over PRA. On the other hand, theories studied in the Program of Reverse Mathematics that formalize powerful mathematical principles have only polynomial speed-up over IΣ₁ | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,865 |
| External links |
  Try with proxy. |
| Through your library | Configure |
Similar books and articlesJames Hawthorne (1996). Mathematical Instrumentalism Meets the Conjunction Objection. Journal of Philosophical Logic 25 (4):363-397.
Jean-Pierre Marquis (1999). Mathematical Engineering and Mathematical Change. International Studies in the Philosophy of Science 13 (3):245 – 259.
Izabela Bondecka-Krzykowska (2004). Strukturalizm jako alternatywa dla platonizmu w filozofii matematyki. Filozofia Nauki 1.
Nicholas Maxwell (1993). Does Orthodox Quantum Theory Undermine, or Support, Scientific Realism? Philosophical Quarterly 44 (171):139-157.
Davide Rizza (2011). Magicicada, Mathematical Explanation and Mathematical Realism. Erkenntnis 74 (1):101-114.
Elliott Sober (2001). Instrumentalism Revisited. The Proceedings of the Twentieth World Congress of Philosophy 2001 (91):3 - 39.
Patrick Yarnell (2002). Humean Instrumentalism and the Motivational Capacity of Reason. Journal of Philosophical Research 27:499-509.
Ken Dennis (1995). A Logical Critique of Mathematical Formalism in Economics. Journal of Economic Methodology 2 (2):181-200.
Stojan Obradović & Slobodan Ninković (2009). The Heuristic Function of Mathematics in Physics and Astronomy. Foundations of Science 14 (4).
Analytics
Monthly downloads |
Added to index2010-08-24Total downloads3 ( #203,740 of 556,772 )Recent downloads (6 months)2 ( #38,924 of 556,772 )How can I increase my downloads? |
My notes
Discussion
