- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Computation and Indispensability
Logic and Logical Philosophy:1 (forthcoming)
Abstract
This article provides a computational example of a mathematical explanation within science, concerning computational equivalence of programs. In addition, it outlines the logical structure of the reasoning involved in explanations in applied mathematics. It concludes with a challenge that the nominalist provide a nominalistic explanation for the computational equivalence of certain programs.Author's Profile
Other Versions
No versions found
Links
PhilArchive
External links
(no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Through your library
- Sign in / register and customize your OpenURL resolver
- Configure custom resolver
My notes
Similar books and articles
The Logical Structure of Scientific Explanation and Prediction: Planetary Orbits in a Sun’s Gravitational Field.Neil Tennant - 2010 - Studia Logica 95 (1-2):207-232.
A Mechanistic Account of Computational Explanation in Cognitive Science and Computational Neuroscience.Marcin Miłkowski - 2016 - In Vincent C. Müller (ed.), Computing and philosophy: Selected papers from IACAP 2014. Cham: Springer. pp. 191-205.
Isomorphism Testing For Equivalence Relations.Edward Szczypka - 1996 - Reports on Mathematical Logic:101-109.
Are there genuine mathematical explanations of physical phenomena?Alan Baker - 2005 - Mind 114 (454):223-238.
Magicicada, Mathematical Explanation and Mathematical Realism.Davide Rizza - 2011 - Erkenntnis 74 (1):101-114.
Computation, individuation, and the received view on representation.Mark Sprevak - 2010 - Studies in History and Philosophy of Science Part A 41 (3):260-270.
Combining strategy and sub-models for the objectified communication of research programs.Ekkehard Finkeissen - 2002 - In L. Magnani, N. J. Nersessian & C. Pizzi (eds.), Logical and Computational Aspects of Model-Based Reasoning. Kluwer Academic Publishers. pp. 313--330.
No computation without implementation? A potential problem for the single hierarchy view of physical computation.Jesse Kuokkanen - 2022 - Synthese 200 (5):1-15.
Model-based recasting in answer-set programming.Thomas Eiter, Michael Fink, Jörg Pührer, Hans Tompits & Stefan Woltran - 2013 - Journal of Applied Non-Classical Logics 23 (1-2):75-104.
Analytics
Added to PP
2020-06-30
Downloads
46 (#460,186)
6 months
7 (#647,742)
2020-06-30
Downloads
46 (#460,186)
6 months
7 (#647,742)
Historical graph of downloads
Author's Profile
References found in this work
Science Without Numbers: A Defence of Nominalism.Hartry H. Field - 1980 - Princeton, NJ, USA: Princeton University Press.
Philosophy of Logic.Hilary Putnam - 1971 - New York, NY, USA: Routledge. Edited by Stephen Laurence & Cynthia Macdonald.
What is Mathematical Truth?Hilary Putnam - 1979 - In Philosophical Papers: Volume 1, Mathematics, Matter and Method. New York: Cambridge University Press. pp. 60--78.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-6f97f49787-zlfb6 uwo