Fabrizio Calzavarini Alfredo Paternoster Agostino Pinna-Pintor

What Does it Mean that Computation is Content-Involving?

Are you already subscribed?
Login to check whether this content is already included on your personal or institutional subscription.


In this article we analyze the thesis that computations are content-involving (CIC). We show that the thesis can be understood in a stronger and a weaker sense, depending on whether semantics affects both the individuation of computation and the transitions between computational states (the computational dynamics), or only the former (so that the formality condition is preserved). We argue against both versions of CIC. Then we put forward a moderate syntactic view, according to which the concept of computation as abstractly characterized is essentially syntactic, but the computational explanation of physical systems makes an unavoidable use of content-involving vocabulary. This does not mean that implemented computations get their content essentially


  • Content-Involving Computation
  • Formality Condition
  • Individuation
  • Explanation


Article first page

What do you think about the recent suggestion?

Trova nel catalogo di Worldcat