David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
Minds and Machines 19 (4):543-555 (2009)
Computer simulations can be useful tools to support philosophers in validating their theories, especially when these theories concern phenomena showing nontrivial dynamics. Such theories are usually informal, whilst for computer simulation a formally described model is needed. In this paper, a methodology is proposed to gradually formalise philosophical theories in terms of logically formalised dynamic properties. One outcome of this process is an executable logic-based temporal specification, which within a dedicated software environment can be used as a simulation model to perform simulations. This specification provides a logical formalisation at the lowest aggregation level of the basic mechanisms underlying a process. In addition, dynamic properties at a higher aggregation level that may emerge from the mechanisms specified by the lower level properties, can be specified. Software tools are available to support specification, and to automatically check such higher level properties against the lower level properties and against generated simulation traces. As an illustration, three case studies are discussed showing successful applications of the approach to formalise and analyse, among others, Clark’s theory on extended mind, Damasio’s theory on core consciousness, and Dennett’s perspective on intertemporal decision making and altruism.
|Keywords||Computer simulation Dynamics Philosophy of mind|
|Categories||categorize this paper)|
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library|
References found in this work BETA
George Ainslie (2001). Breakdown of Will. Cambridge University Press.
Mark H. Bickhard (1993). Representational Content in Humans and Machines. Journal of Experimental and Theoretical Artificial Intelligence 5:285-33.
T. Bosse, C. Jonker & J. Treur (2008). Formalisation of Damasio's Theory of Emotion, Feeling and Core Consciousness. Consciousness and Cognition 17 (1):94-113.
Andy Clark (2001). Reasons, Robots and the Extended Mind. Mind and Language 16 (2):121-145.
Citations of this work BETA
No citations found.
Similar books and articles
By Nick Bostrom (2003). Are We Living in a Computer Simulation? Philosophical Quarterly 53 (211):243–255.
Eric B. Winsberg (2010). Science in the Age of Computer Simulation. The University of Chicago Press.
Stephan Hartmann (1996). The World as a Process: Simulations in the Natural and Social Sciences. In Rainer Hegselmann (ed.), Modelling and Simulation in the Social Sciences from the Philosophy of Science Point of View.
Wendy S. Parker (2009). Does Matter Really Matter? Computer Simulations, Experiments, and Materiality. Synthese 169 (3):483 - 496.
Nicola Angius & Guglielmo Tamburrini (2011). Scientific Theories of Computational Systems in Model Checking. Minds and Machines 21 (2):323-336.
Eric Winsberg (2009). Computer Simulation and the Philosophy of Science. Philosophy Compass 4 (5):835-845.
Johannes Lenhard (2007). Computer Simulation: The Cooperation Between Experimenting and Modeling. Philosophy of Science 74 (2):176-194.
Wendy S. Parker (2008). Computer Simulation Through an Error-Statistical Lens. Synthese 163 (3):371 - 384.
Nigel Gilbert & Pietro Terna (2000). How to Build and Use Agent-Based Models in Social Science. Mind and Society 1 (1):57-72.
Added to index2009-12-16
Total downloads24 ( #78,424 of 1,140,035 )
Recent downloads (6 months)2 ( #92,708 of 1,140,035 )
How can I increase my downloads?