Enactive autonomy in computational systems

Synthese 195 (5):1891-1908 (2018)
  Copy   BIBTEX


In this paper we will demonstrate that a computational system can meet the criteria for autonomy laid down by classical enactivism. The two criteria that we will focus on are operational closure and structural determinism, and we will show that both can be applied to a basic example of a physically instantiated Turing machine. We will also address the question of precariousness, and briefly suggest that a precarious Turing machine could be designed. Our aim in this paper is to challenge the assumption that computational systems are necessarily heteronomous systems, to try and motivate in enactivism a more nuanced and less rigid conception of computational systems, and to demonstrate to computational theorists that they might find some interesting material within the enactivist tradition, despite its historical hostility towards computationalism.

Author Profiles

Mario Villalobos
University of Edinburgh
Joe Dewhurst
Ludwig Maximilians Universit√§t, M√ľnchen


Added to PP

426 (#37,975)

6 months
108 (#33,307)

Historical graph of downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.
How can I increase my downloads?