Off-campus access
Using PhilPapers from home?
Click here to configure this browser for off-campus access.
- Tibor Bosse, Martijn C. Schut & Jan Treur (2009). Formal Analysis of Dynamics Within Philosophy of Mind by Computer Simulation. Minds and Machines 19 (4):543-555.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.Reading list | Discuss | Edit | Categorize |My bibliography
| Export citation | Other links: springerlink.com dx.doi.org | Scholar | At my library 
Similar books and articles
In this paper, reduction and its pragmatics are discussed in light of the development in computer science of languages to describe processes. The design of higher-level description languages within computer science has had the aim of allowing for description of the dynamics of processes in the (physical) world on a higher level avoiding all (physical) details of these processes. The higher description levels developed have dramatically increased the complexity of applications that came within reach. The pragmatic attitude of a (scientific) practitioner in this area has become inherently anti-reductionist, but based on well-established reduction relations. The paper discusses how this perspective can be related to reduction in general, and to other domains where description of dynamics plays a main role, in particular, biological and cognitive domains.
Reading list
| Discuss | Edit | Categorize | My bibliography | Export citation | Other links: informaworld.com tandfonline.com dx.doi.org | Scholar | At my library | More options ...
| | Other links: informaworld.com tandfonline.com dx.doi.org | Scholar | At my library | More options ... Introduction -- Sanctioning models : theories and their scope -- Methodology for a virtual world -- A tale of two methods -- When theories shake hands -- Models of climate : values and uncertainties -- Reliability without truth -- Conclusion.
Reading list
| Discuss | Edit | Categorize | My bibliography | Export citation | Scholar | At my library | More options ...
| | Scholar | At my library | More options ... Simulation techniques, especially those implemented on a computer, are frequently employed in natural as well as in social sciences with considerable success. There is mounting evidence that the "model-building era" (J. Niehans) that dominated the theoretical activities of the sciences for a long time is about to be succeeded or at least lastingly supplemented by the "simulation era". But what exactly are models? What is a simulation and what is the difference and the relation between a model and a simulation? These are some of the questions addressed in this article. I maintain that the most significant feature of a simulation is that it allows scientists to imitate one process by another process. "Process" here refers solely to a temporal sequence of states of a system. Given the observation that processes are dealt with by all sorts of scientists, it is apparent that simulations prove to be a powerful interdisciplinarily acknowledged tool. Accordingly, simulations are best suited to investigate the various research strategies in different sciences more carefully. To this end, I focus on the function of simulations in the research process. Finally, a somewhat detailed case-study from nuclear physics is presented which, in my view, illustrates elements of a typical simulation in physics.
Reading list
| Discuss | Edit | Categorize | My bibliography | Export citation | Other links: hdl.handle.net | Scholar | At my library | More options ...
| | Other links: hdl.handle.net | Scholar | At my library | More options ... A number of recent discussions comparing computer simulation and traditional experimentation have focused on the significance of “materiality.” I challenge several claims emerging from this work and suggest that computer simulation studies are material experiments in a straightforward sense. After discussing some of the implications of this material status for the epistemology of computer simulation, I consider the extent to which materiality (in a particular sense) is important when it comes to making justified inferences about target systems on the basis of experimental results.
Reading list
| Discuss | Edit | Categorize | My bibliography | Export citation | Other links: jstor.org | Scholar | At my library | More options ...
| | Other links: jstor.org | Scholar | At my library | More options ... Model checking, a prominent formal method used to predict and explain the behaviour of software and hardware systems, is examined on the basis of reflective work in the philosophy of science concerning the ontology of scientific theories and model-based reasoning. The empirical theories of computational systems that model checking techniques enable one to build are identified, in the light of the semantic conception of scientific theories, with families of models that are interconnected by simulation relations. And the mappings between these scientific theories and computational systems in their scope are analyzed in terms of suitable specializations of the notions of model of experiment and model of data. Furthermore, the extensively mechanized character of model-based reasoning in model checking is highlighted by a comparison with proof procedures adopted by other formal methods in computer science. Finally, potential epistemic benefits flowing from the application of model checking in other areas of scientific inquiry are emphasized in the context of computer simulation studies of biological information processing.
No categories
Reading list
| Discuss | Edit | Categorize | My bibliography | Export citation | Other links: dx.doi.org | Scholar | At my library | More options ...
| | Other links: dx.doi.org | Scholar | At my library | More options ... A computer simulation runs a model generating a phenomenon under investigation. For the simulation to be explanatory, the model has to be explanatory. The model must be isomorphic to the natural system that realizes the phenomenon. This paper elaborates the method of assessing a simulation's explanatory power. Then it illustrates the method by applying it to two simulations in game theory. The first is Brian Skyrms's (1990) simulation of interactive deliberations. It is intended to explain the emergence of a Nash equilibrium in a noncooperative game. The second is Skyrms's (2004) simulation of the evolution of cooperation. It is intended to explain cooperation in assurance games. The final section suggests ways of enhancing the explanatory power of these simulations.
Reading list
| Discuss | Edit | Categorize | My bibliography | Export citation | Scholar | More options ...
| | Scholar | More options ... There are a variety of topics in the philosophy of science that need to be rethought, in varying degrees, after one pays careful attention to the ways in which computer simulations are used in the sciences. There are a number of conceptual issues internal to the practice of computer simulation that can benefit from the attention of philosophers. This essay surveys some of the recent literature on simulation from the perspective of the philosophy of science and argues that philosophers have a lot to learn by paying closer attention to the practice of simulation.
No categories
Reading list
| Discuss | Edit | Categorize | My bibliography | Export citation | Other links: blackwell-synergy.com dx.doi.org | Scholar | At my library | More options ...
| | Other links: blackwell-synergy.com dx.doi.org | Scholar | At my library | More options ... The goal of the present article is to contribute to the epistemology and methodology of computer simulations. The central thesis is that the process of simulation modeling takes the form of an explorative cooperation between experimenting and modeling. This characteristic mode of modeling turns simulations into autonomous mediators in a specific way; namely, it makes it possible for the phenomena and the data to exert a direct influence on the model. The argumentation will be illustrated by a case study of the general circulation models of meteorology, the major simulation models in climate research.
Reading list
| Discuss | Edit | Categorize | My bibliography | Export citation | Other links: journals.uchicago.edu dx.doi.org | Scholar | At my library | More options ...
| | Other links: journals.uchicago.edu dx.doi.org | Scholar | At my library | More options ... After showing how Deborah Mayo’s error-statistical philosophy of science might be applied to address important questions about the evidential status of computer simulation results, I argue that an error-statistical perspective offers an interesting new way of thinking about computer simulation models and has the potential to significantly improve the practice of simulation model evaluation. Though intended primarily as a contribution to the epistemology of simulation, the analysis also serves to fill in details of Mayo’s epistemology of experiment.
Reading list
| Discuss | Edit | Categorize | My bibliography | Export citation | Other links: jstor.org | Scholar | At my library | More options ...
| | Other links: jstor.org | Scholar | At my library | More options ... The use of computer simulation for building theoretical models in social science is introduced. It is proposed that agent-based models have potential as a third way of carrying out social science, in addition to argumentation and formalisation. With computer simulations, in contrast to other methods, it is possible to formalise complex theories about processes, carry out experiments and observe the occurrence of emergence. Some suggestions are offered about techniques for building agent-based models and for debugging them. A scheme for structuring a simulation program into agents, the environment and other parts for modifying and observing the agents is described. The article concludes with some references to modelling tools helpful for building computer simulations.
No categories
Reading list
| Discuss | Edit | Categorize | My bibliography | Export citation | Other links: dx.doi.org | Scholar | At my library | More options ...
| | Other links: dx.doi.org | Scholar | At my library | More options ... Discussion of Tibor Bosse , Martijn C. Schut & Jan Treur, Formal analysis of dynamics within philosophy of mind by computer simulation
 Back
All discussions
Start a new thread
|
There are no threads in this forum |
Nothing in this forum yet.
