Computation and Indispensability

Logic and Logical Philosophy:1 (forthcoming)
  Copy   BIBTEX

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.

Categories

Keywords

Reprint years

DOI

10.12775/llp.2020.011

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Naturalizing indispensability: a rejoinder to ‘The varieties of indispensability arguments’.Henri Galinon - 2016 - Synthese 193 (2).
Explanatory Indispensability and Deliberative Indispensability: Against Enoch's Analogy.Alex Worsnip - 2016 - Thought: A Journal of Philosophy 5 (4):226-235.
Quine's Weak and Strong Indispensability Argument.Lieven Decock - 2002 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 33 (2):231-250.
On Frege's Alleged Indispensability Argument.Pieranna Garavaso - 2005 - Philosophia Mathematica 13 (2):160-173.
Indispensability arguments and instrumental nominalism.Richard Pettigrew - 2012 - Review of Symbolic Logic 5 (4):687-709.
Isn’t the Indispensability Argument Necessarily Analogical?Woosuk Park - 2008 - Proceedings of the Xxii World Congress of Philosophy 41:13-18.
Grounding and the indispensability argument.David Liggins - 2016 - Synthese 193 (2):531-548.
The varieties of indispensability arguments.Marco Panza & Andrea Sereni - 2016 - Synthese 193 (2):469-516.
Indispensability Without Platonism.Anne Newstead & James Franklin - 2012 - In Alexander Bird, Brian Ellis & Howard Sankey (eds.), Properties, Powers, and Structures: Issues in the Metaphysics of Realism. New York, USA: Routledge. pp. 81-97.
Troubles with indispensability: Applying pure mathematics in physical theory.Anthony F. Peressini - 1997 - Philosophia Mathematica 5 (3):210-227.
Evidential Holism and Indispensability Arguments.Joe Morrison - 2012 - Erkenntnis 76 (2):263-278.
Troubles with indispensability: Applying Pure Mathematics in Physical Theory.Peressini Anthony - 1997 - Philosophia Mathematica 5 (3):210-227.
In defence of indispensability.Mark Colyvan - 1998 - Philosophia Mathematica 6 (1):39-62.
Autonomy Platonism and the Indispensability Argument.Russell Marcus - 2015 - Lanham: Lexington Books.
Dynamical Systems Theory and Explanatory Indispensability.Juha Saatsi - 2017 - Philosophy of Science 84 (5):892-904.

Analytics

Added to PP
2020-06-30

Downloads
31 (#504,675)

6 months
12 (#202,587)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

No citations found.

Add more citations

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 - London,: Allen & Unwin. Edited by Stephen Laurence & Cynthia Macdonald.
Philosophy of Logic.Hilary Putnam - 1971 - New York, NY, USA: Routledge.
The ways of paradox.W. V. Quine - 1966 - New York,: Random.

View all 16 references / Add more references