Fresco, Nir and Artiga, Marc and Wolf, Marty J.
(2024)
Teleofunction in the Service of Computational Individuation.
[Preprint]
Abstract
One type of computational indeterminacy arises from partitioning a system’s physical state space into state types that correspond to the abstract state types underlying the computation concerned. The mechanistic individuative strategy posits that computation can be uniquely identified through either narrow physical properties exclusively or wide, proximal properties. The semantic strategy posits that computation should be uniquely identified through semantic properties. We develop, and defend, an alternative functional individuative strategy that appeals—when needed—to wide, distal functions. We claim that there is no actual computation outside of a functional context. Desiderata for the underlying notion of teleofunction are discussed.
Monthly Views for the past 3 years
Monthly Downloads for the past 3 years
Plum Analytics
Actions (login required)
![View Item View Item](/style/images/action_view.png) |
View Item |