Teleofunction in the Service of Computational Individuation

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.