This book addresses key conceptual issues relating to the modern scientific and engineering use of computer simulations. It analyses a broad set of questions, from the nature of computer simulations to their epistemological power, including the many scientific, social and ethics implications of using computer simulations. The book is written in an easily accessible narrative, one that weaves together philosophical questions and scientific technicalities. It will thus appeal equally to all academic scientists, engineers, and researchers in industry interested in questions (...) related to the general practice of computer simulations. (shrink)

This paper provides a review of Raymond Turner’s book Computational Artefacts. Towards a Philosophy of Computer Science. Focus is made on the definition of program correctness as the twofold problem of evaluating whether both the symbolic program and the physical implementation satisfy a set of specifications. The review stresses how these are not two separate problems. First, it is highlighted how formal proofs of correctness need to rely on the analysis of physical computational processes. Secondly, it is underlined how software (...) testing requires considering the formal relations holding between the specifications and the symbolic program. Such a mutual dependency between formal and empirical program verification methods is finally shown to influence the debate on the epistemological status of computer science. (shrink)

This paper presents a case of severe uncertainty in the development of autonomous and intelligent systems in Artificial Intelligence and autonomous robotics. After discussing how uncertainty emerges from the complexity of the systems and their interaction with unknown environments, the paper describes the novel framework of explorative experiments. This framework presents a suitable context in which many of the issues relative to uncertainty, both at the epistemological level and at the ethical one, in this field should be reframed. The case (...) of autonomous robot systems for search and rescue is used to make the discussion more concrete. (shrink)

The epistemology of computer simulations has become a mainstream topic in the philosophy of technology. Within this large area, significant differences hold between the various types of models and simulation technologies. Agent-based and multi-agent systems simulations introduce a specific constraint on the types of agents and systems modelled. We argue that such difference is crucial and that simulation for the artificial sciences requires the formulation of its own specific epistemological principles. We present a minimally committed epistemology which relies on the (...) methodological principles of the Philosophy of Information and requires weak assumptions on the usability of the simulation and the controllability of the model. We use these principles to provide a new definition of simulation for the context of interest. (shrink)

In this article, I focus on the role of computer simulations as exploratory strategies. I begin by establishing the non-theory-driven nature of simulations. This refers to their ability to characterize phenomena without relying on a predefined conceptual framework that is provided by an implemented mathematical model. Drawing on Steinle’s notion of exploratory experimentation and Gelfert’s work on exploratory models, I present three exploratory strategies for computer simulations: (1) starting points and continuation of scientific inquiry, (2) varying the parameters, and (3) (...) scientific prototyping. (shrink)

Using the example of architecture, this article defends the thesis that designing should not be regarded as a kind of experimenting. This is in contrast to a widespread methodological claim that design processes are equivalent to experimentation processes. The contrary thesis can be proven by focusing on actual practices, techniques and design strategies. Closely connected with the thesis is an even more important epistemological claim, which contends that designing serves not only to develop artefacts but is also a means of (...) acquiring genuine knowledge. When the epistemic relevance of said practices, techniques and strategies is reassessed, designing emerges clearly as an independent epistemic praxis. To defend the thesis, the present article draws on and analyses empirical material from an ethnographic field study in order to back up the conceptual analysis. (shrink)