The determinacy of computation

Synthese 200 (1):1-28 (2022)
  Copy   BIBTEX

Abstract

A skeptical worry known as ‘the indeterminacy of computation’ animates much recent philosophical reflection on the computational identity of physical systems. On the one hand, computational explanation seems to require that physical computing systems fall under a single, unique computational description at a time. On the other, if a physical system falls under any computational description, it seems to fall under many simultaneously. Absent some principled reason to take just one of these descriptions in particular as relevant for computational explanation, widespread failure of computational explanation would appear to follow. This paper advances a new solution to the indeterminacy of computation. Very roughly, I argue that the computational identity of a physical system is determinate relative to a contextually specified way of regarding that system computationally—known as a labelling scheme. When a system simultaneously implements multiple computations, it does so relative to different labelling schemes. But relative to a fixed labelling scheme, a physical system has a unique computational identity. I argue that this relativistic conception of computational identity vindicates computational explanation in the face of simultaneous implementation.

Links

PhilArchive



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

External links

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

Through your library

Similar books and articles

Why Do We Need a Theory of Implementation?André Curtis-Trudel - 2022 - British Journal for the Philosophy of Science 73 (4):1067-1091.
Long-arm functional individuation of computation.Nir Fresco - 2021 - Synthese 199 (5-6):13993-14016.
Against Computational Perspectivalism.Dimitri Coelho Mollo - 2021 - British Journal for the Philosophy of Science 72 (4):1129-1153.
Mechanistic Computational Individuation without Biting the Bullet.Nir Fresco & Marcin Miłkowski - 2019 - British Journal for the Philosophy of Science:axz005.
Computation, individuation, and the received view on representation.Mark Sprevak - 2010 - Studies in History and Philosophy of Science Part A 41 (3):260-270.
The varieties of computation: A reply.David Chalmers - 2012 - Journal of Cognitive Science 2012 (3):211-248.
A computational foundation for the study of cognition.David Chalmers - 2011 - Journal of Cognitive Science 12 (4):323-357.
Physical Computation: A Mechanistic Account.Gualtiero Piccinini - 2015 - Oxford, GB: Oxford University Press UK.

Analytics

Added to PP
2022-02-25

Downloads
36 (#442,490)

6 months
12 (#211,554)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Andre Curtis-Trudel
Lingnan University

Citations of this work

Add more citations

References found in this work

Idealization and the Aims of Science.Angela Potochnik - 2017 - Chicago: University of Chicago Press.
The foundations of arithmetic.Gottlob Frege - 1884/1950 - Evanston, Ill.,: Northwestern University Press.
On Computable Numbers, with an Application to the Entscheidungsproblem.Alan Turing - 1936 - Proceedings of the London Mathematical Society 42 (1):230-265.
Physical Computation: A Mechanistic Account.Gualtiero Piccinini - 2015 - Oxford, GB: Oxford University Press UK.

View all 43 references / Add more references