Fiche du document
2009
- handle: 10670/1.ry83f4
- halshs: halshs-00791132
- doi: 10.1016/j.jtbi.2008.12.012
Ce document est lié à :
info:eu-repo/semantics/altIdentifier/doi/10.1016/j.jtbi.2008.12.012
info:eu-repo/semantics/OpenAccess
Mots-clés
R) systems (M Impredicativity Computability λ-calculus Robert Rosen Closure to efficient causationSujets proches
Causality Effect and cause Cause and effect Final causeCiter ce document
Matteo Mossio et al., « A computable expression of closure to efficient causation », HAL-SHS : histoire, philosophie et sociologie des sciences et des techniques, ID : 10.1016/j.jtbi.2008.12.012
Métriques
Partage / Export
Résumé
In this paper, we propose a mathematical expression of closure to efficient causation in terms of lambda-calculus; we argue that this opens up the perspective of developing principled computer simulations of systems closed to efficient causation in an appropriate programming language. An important implication of our formulation is that, by exhibiting an expression in lambda-calculus, which is a paradigmatic formalism for computability and programming, we show that there are no conceptual or principled problems in realizing a computer simulation or model of closure to efficient causation. We conclude with a brief discussion of the question whether closure to efficient causation captures all relevant properties of living systems. We suggest that it might not be the case, and that more complex definitions could indeed create crucial some obstacles to computability.