Teleofunction in the Service of Computational Individuation

Abstract

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.

Cite this work

No public copy is stored for this record, so only the metadata is cited.

Stored only when both papers are in the corpus — 5 citations exist upstream.

Papers that cite the same references — the relational fallback while embeddings are still backfilling.