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)|
References found in this work BETA
Unto Others: The Evolution and Psychology of Unselfish Behavior.Elliott Sober & David Sloan Wilson - 1998 - Harvard University Press.
Being There: Putting Brain, Body, and World Together Again.Andy Clark - 1997 - MIT Press.
Citations of this work BETA
No citations found.
Similar books and articles
Are We Living in a Computer Simulation?By Nick Bostrom - 2003 - Philosophical Quarterly 53 (211):243–255.
The World as a Process: Simulations in the Natural and Social Sciences.Stephan Hartmann - 1996 - In Rainer Hegselmann (ed.), Modelling and Simulation in the Social Sciences from the Philosophy of Science Point of View.
Scientific Theories of Computational Systems in Model Checking.Nicola Angius & Guglielmo Tamburrini - 2011 - Minds and Machines 21 (2):323-336.
Computer Simulation and the Philosophy of Science.Eric Winsberg - 2009 - Philosophy Compass 4 (5):835-845.
Computer Simulation: The Cooperation Between Experimenting and Modeling.Johannes Lenhard - 2007 - Philosophy of Science 74 (2):176-194.
How to Build and Use Agent-Based Models in Social Science.Nigel Gilbert & Pietro Terna - 2000 - Mind and Society 1 (1):57-72.
Added to index2009-12-16
Total downloads60 ( #83,304 of 2,146,482 )
Recent downloads (6 months)2 ( #279,407 of 2,146,482 )
How can I increase my downloads?
There are no threads in this forum
Nothing in this forum yet.