Mechanistic computational individuation without biting the bullet

Nir Fresco, Marcin Miłkowski

Research output: Contribution to journalArticlepeer-review

7 Scopus citations

Abstract

Is the mathematical function being computed by a given physical system determined by the system’s dynamics? This question is at the heart of the indeterminacy of computation phenomenon (Fresco et al. [unpublished]). A paradigmatic example is a conventional electrical AND-gate that is often said to compute conjunction, but it can just as well be used to compute disjunction. Despite the pervasiveness of this phenomenon in physical computational systems, it has been discussed in the philosophical literature only indirectly, mostly with reference to the debate over realism about physical computation and computationalism. A welcome exception is Dewhurst’s ([2018]) recent analysis of computational individuation under the mechanistic framework. He rejects the idea of appealing to semantic properties for determining the computational identity of a physical system. But Dewhurst seems to be too quick to pay the price of giving up the notion of computational equivalence. We aim to show that the mechanist need not pay this price. The mechanistic framework can, in principle, preserve the idea of computational equivalence even between two different enough kinds of physical systems, say, electrical and hydraulic ones.

Original languageEnglish
Pages (from-to)431-438
Number of pages8
JournalBritish Journal for the Philosophy of Science
Volume72
Issue number2
DOIs
StatePublished - 1 Jun 2021

Fingerprint

Dive into the research topics of 'Mechanistic computational individuation without biting the bullet'. Together they form a unique fingerprint.

Cite this