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. (shrink)

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.

The importation of computational methods into biology is generating novel methodological strategies for managing complexity which philosophers are only just starting to explore and elaborate. This paper aims to enrich our understanding of methodology in integrative systems biology, which is developing novel epistemic and cognitive strategies for managing complex problem-solving tasks. We illustrate this through developing a case study of a bimodal researcher from our ethnographic investigation of two systems biology research labs. The researcher constructed models of metabolic and cell-signaling (...) pathways by conducting her own wet-lab experimentation while building simulation models. We show how this coupling of experiment and simulation enabled her to build and validate her models and also triangulate and localize errors and uncertainties in them. This method can be contrasted with the unimodal modeling strategy in systems biology which relies more on mathematical or algorithmic methods to reduce complexity. We discuss the relative affordances and limitations of these strategies, which represent distinct opinions in the field about how to handle the investigation of complex biological systems. (shrink)

In this article, we provide a case study examining how integrative systems biologists build simulation models in the absence of a theoretical base. Lacking theoretical starting points, integrative systems biology researchers rely cognitively on the model-building process to disentangle and understand complex biochemical systems. They build simulations from the ground up in a nest-like fashion, by pulling together information and techniques from a variety of possible sources and experimenting with different structures in order to discover a stable, robust result. Finally, (...) we analyze the alternative role and meaning theory has in systems biology expressed as canonical template theories like Biochemical Systems Theory. (shrink)

Today's climate models are supported in a couple of ways that receive little attention from philosophers or climate scientists. In addition to standard 'model fit', wherein a model's simulation is compared to observational data, there is an additional type of confirmation available through the variety of instances of model fit. When a model performs well at fitting first one variable and then another, the probability of the model under some standard confirmation function, say, likelihood, goes up more than under each (...) individual case of fit alone. Thus, two instances of fit of distinct variables of a global climate model using distinct data sets considered collectively will provide stronger evidence for a model than either one of the instances considered individually. This has consequences for model robustness. Sets of models that produce robust results will, if their assumptions vary enough and they each are observationally sound, provide reasons to endorse common structures found in those models. Finally, independent empirical support for aspects and assumptions of the model provides an additional confirmational virtue for climate models, contrary to what is implied by some current philosophical writing on this topic. (shrink)

In this paper, we show that reproducibility is a severe problem that concerns simulation models. The reproducibility problem challenges the concept of numerical solution and hence the conception of what a simulation actually does. We provide an expanded picture of simulation that makes visible those steps of simulation modeling that are numerically relevant, but often escape notice in accounts of simulation. Examining these steps and analyzing a number of pertinent examples, we argue that numerical solutions are importantly different from usual (...) mathematical solutions. They are do not merely approximate the latter, but introduce new problems, including issues of artificiality, stability, and well-posedness. Consequently, simulation modelling can attain reproducibility only to a certain degree because it is working with numerical solutions. (shrink)

In this paper, we explore the extent to which issues of simulation model validation take on novel characteristics when the models in question become particularly complex. Our central claim is that complex simulation models in general, and global models of climate in particular, face a form of confirmation holism. This holism, moreover, makes analytic understanding of complex models of climate either extremely difficult or even impossible. We argue that this supports a position we call convergence skepticism: the belief that the (...) existence of a plurality of different models making a plurality of different forecasts of future climate is likely to be a persistent feature of global climate science. (shrink)

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. (shrink)

It has been convincingly argued that computer simulation modeling differs from traditional science. If we understand simulation modeling as a new way of doing science, the manner in which scientists learn about the world through models must also be considered differently. This article examines how researchers learn about environmental processes through computer simulation modeling. Suggesting a conceptual framework anchored in a performative philosophical approach, we examine two modeling projects undertaken by research teams in England, both aiming to inform flood risk (...) management. One of the modeling teams operated in the research wing of a consultancy firm, the other were university scientists taking part in an interdisciplinary project experimenting with public engagement. We found that in the first context the use of standardized software was critical to the process of improvisation, the obstacles emerging in the process concerned data and were resolved through exploiting affordances for generating, organizing, and combining scientific information in new ways. In the second context, an environmental competency group, obstacles were related to the computer program and affordances emerged in the combination of experience-based knowledge with the scientists’ skill enabling a reconfiguration of the mathematical structure of the model, allowing the group to learn about local flooding. (shrink)

Kittler was among the first to invite Derrida to lectures in Germany, and to translate Derrida’s texts into German. Yet a cursory tally in his references does not always do justice to what Kittler’s media theory owes to deconstruction. Discourse Networks credits Derrida with a mere ‘rediscovery’ of grammatology, although Wellbery’s foreword labors mightily to identify the deconstructive traits in Kittler’s work. Gramophone, Film, Typewriter reduces The Post Card’s complex networks to an allegation that ‘voice remains the other of typescripts' (...) – as if Kittler had not in fact taken a much more subtle evaluation of hearing oneself speak from Derrida. What happens to the writability and citability of texts if they are sorted into such neat binary distinctions of logical or poetic orientation? What, to Kittler, is the quotability and readability of the body of work titled Derrida? (shrink)

Es soll ein Beitrag zur epistemischen Charakterisierung von Computersimulationen als jenseits von Experiment und Theorie geleistet werden. Es wird argumentiert, dass die in der Simulationstechnik eingesetzten Verfahren nicht numerische Lösungen liefern, sondern deren Dynamik mittels generativer Mechanismen imitieren. Die Computersimulationen in der Klimatologie werden als systematisches wie historisches Fallbeispiel behandelt. Erst "Simulationsexperimente" gestatten es, mittels Modellen eine Dynamik zu imitieren, ohne deren Grundgleichungen zu "lösen". /// Computer simulations will be characterized in epistemic respect as a method between experiment and theory. (...) It will be argued that simulations do not provide numerical solutions, rather they use generative mechanisms to imitate a dynamics. Climate science will be considered as a case both systematically and historically. Only simulation experiments allow to build models that imitate a dynamics without solving the relevant equations. (shrink)

Es soll ein Beitrag zur epistemischen Charakterisierung von Computersimulationen als jenseits von Experiment und Theorie geleistet werden. Es wird argumentiert, dass die in der Simulationstechnik eingesetzten Verfahren nicht numerische Lösungen liefern, sondern deren Dynamik mittels generativer Mechanismen imitieren. Die Computersimulationen in der Klimatologie werden als systematisches wie historisches Fallbeispiel behandelt. Erst "Simulationsexperimente" gestatten es, mittels Modellen eine Dynamik zu imitieren, ohne deren Grundgleichungen zu "lösen". /// Computer simulations will be characterized in epistemic respect as a method between experiment and theory. (...) It will be argued that simulations do not provide numerical solutions, rather they use generative mechanisms to imitate a dynamics. Climate science will be considered as a case both systematically and historically. Only simulation experiments allow to build models that imitate a dynamics without solving the relevant equations. (shrink)

Computer simulations are widely used within the area of building science research. Building science research deals with the physical phenomena that affect buildings, including heat and mass transfer, lighting and acoustic transmission. This wide usage of computer simulations, however, is characterized by a divergence in thought on the composition of an epistemological framework that may provide guidance for their deployment in research. This paper undertakes a fundamental review of the epistemology of computer simulations within the context of the philosophy of (...) science. Thereafter, it reviews the epistemological framework within which computer simulations are used in practice within the area of building science research. A comparison between the insights obtained from the realms of theory and practice is made, which then interrogates the adequacy of the epistemological approaches that have been employed in previously published simulation-based research. These insights may help in informing a normative composition of an adequate epistemological framework within which computer simulation-based building science research may be conducted. (shrink)

I propose that a sociological and historical examination of nanotechnologists can contribute more to an understanding of nanotechnology than an ontological definition. Nanotechnology emerged from the convergent evolution of numerous "technical knowledge communities"-networks of tightly-interconnected people who operate between disciplines and individual research groups. I demonstrate this proposition by sketching the co-evolution of computational chemistry and computational nanotechnology. Computational chemistry arose in the 1950s but eventually segregated into an ab initio, basic research, physics-oriented flavor and an industry-oriented, molecular modeling and (...) visualization, biochemical flavor. Computational nanotechnology arose in the 1990s as a synthesis of these two subgroups, infused by people and practices from computational materials science, engineering, computer science, and elsewhere. I show that to understand the aims and outcomes of computational nanotechnology-and nanotechnology more generally-we need to understand relationships between different, but related, nano knowledge communities and their dependence on particular practices, artifacts, and theories. (shrink)

This paper offers a contribution to debates around integrative aspects of systems biology and engages with issues related to the circumstances under which physicists look at biological problems. We use oral history as one of the methodological tools to gather the empirical material, conducting interviews with physicists working in systems biology. The interviews were conducted at several institutions in Brazil, Germany, Israel and the U.S. Biological research has been increasingly dependent on computational methods, high-throughput technologies, and multidisciplinary skills. Quantitative scientists (...) are joining biological departments and collaborations between physicists and biologists are particularly vigorous. This state of affairs raises a number of questions, such as: What are the circumstances under which physicists approach biological problems in systems biology? What kind of interdisciplinary challenges must be tackled? The paper suggests that, concerning physicists’ move to work on biological systems, there are common reasons to move, the transition must be understood in terms of degrees, physicists have a rationale for simplifying systems, and distinct conceptions of model and modeling strategies are recurrent. We identified problems regarding linguistic clarity and integration of epistemological aims. We conclude that cultural unconformities within the systems biology community have important consequences to the flow of scientific knowledge. (shrink)

This paper offers a contribution to debates around integrative aspects of systems biology and engages with issues related to the circumstances under which physicists look at biological problems. We use oral history as one of the methodological tools to gather the empirical material, conducting interviews with physicists working in systems biology. The interviews were conducted at several institutions in Brazil, Germany, Israel and the U.S. Biological research has been increasingly dependent on computational methods, high-throughput technologies, and multidisciplinary skills. Quantitative scientists (...) are joining biological departments and collaborations between physicists and biologists are particularly vigorous. This state of affairs raises a number of questions, such as: What are the circumstances under which physicists approach biological problems in systems biology? What kind of interdisciplinary challenges must be tackled? The paper suggests that, concerning physicists’ move to work on biological systems, there are common reasons to move, the transition must be understood in terms of degrees, physicists have a rationale for simplifying systems, and distinct conceptions of model and modeling strategies are recurrent. We identified problems regarding linguistic clarity and integration of epistemological aims. We conclude that cultural unconformities within the systems biology community have important consequences to the flow of scientific knowledge. (shrink)

Empirical agreement is often used as an important criterion when assessing the validity of scientific models. However, it is by no means a sufficient criterion as a model can be so adjusted as to fit available data even though it is based on hypotheses whose plausibility is known to be questionable. Our aim in this paper is to investigate into the uses of empirical agreement within the process of model validation.

The following article treats the 'applicational turn' of modern fluid dynamics as it set in at the beginning of the 20th century with Ludwig Prandtl's concept of the boundary layer. It seeks to show that there is much more to applying a theory in a highly mathematical field like fluid dynamics than deriving a special case from a general explanatory theory under particular antecedent conditions. In Prandtl's case, the decisive move was to introduce a model that provided a physical/causal conception (...) of viscous flow at high Reynolds numbers. It facilitated an approximate solution to the Navier-Stokes equations, which in turn gave rise to many special applications. After a detailed account of Prandtl's achievement, the article discusses the role of the physical model and its experimental and mathematical significance. It is shown that the mathematical simplification provided by the physical model greatly expanded the explanatory capacity of the theory which the Navier-Stokes equations alone could not provide. (shrink)

Calibrating a simulation is a crucial step for certain kinds of simulation modeling, and it results in a simulation that is epistemically different from its pre- or uncalibrated counterpart. This article discusses how simulation model builders mitigate uncertainty about model parameters that are necessary for modeling through calibration and argues that the simulation outcomes after calibration are physically meaningful and relevant. When evaluating the epistemic status of computer simulations, comparisons between computer simulations and traditional experiments need to consider this important (...) methodological step. (shrink)

In this paper I argue that the appropriate analogy for “understanding what makes simulation results reliable” in global climate modeling is not with scientific experimentation or measurement, but—at least in the case of the use of global climate models for policy development—with the applications of science in applied design problems. The prospects for using this analogy to argue for the quantitative reliability of GCMs are assessed and compared with other potential strategies.

In this paper I argue that the appropriate analogy for “understanding what makes simulation results reliable” in Global Climate Modeling is not with scientific experimentation or measurement, but—at least in the case of the use of global climate models for policy development—with the applications of science in engineering design problems. The prospects for using this analogy to argue for the quantitative reliability of GCMs are assessed and compared with other potential strategies.

This paper argues that a successful philosophical analysis of models and simulations must accommodate an account of mathematically rigorous results. Such rigorous results may be thought of as genuinely model-specific contributions, which can neither be deduced from fundamental theory nor inferred from empirical data. Rigorous results provide new indirect ways of assessing the success of models and simulations and are crucial to understanding the connections between different models. This is most obvious in cases where rigorous results map different models on (...) to one another. Not only does this put constraints on the extent to which performance in specific empirical contexts may be regarded as the main touchstone of success in scientific modelling, it also allows for the transfer of warrant across different models. Mathematically rigorous results can thus come to be seen as not only strengthening the cohesion between scientific strategies of modelling and simulation, but also as offering new ways of indirect confirmation. (shrink)

Scientific practices have been changed by the increasing use of computer simulations. A central question for philosophers is how to characterize computer simulations. In this paper, we address this question by analyzing simulations in biochemistry. We propose that simulations have been used in biochemistry long before computers arrived. Simulation can be described as a surrogate relationship between models. Moreover, a simulative aspect is implicit in the classical dichotomy between in vivo–in vitro conditions. Based on a discussion about how to characterize (...) a simulative aspect in this dichotomy, we will argue that an adequate understanding of computer simulations in biochemistry requires a previous understanding of simulations in experimental contexts. (shrink)

Computer simulations are an exciting tool that plays important roles in many scientific disciplines. This has attracted the attention of a number of philosophers of science. The main tenor in this literature is that computer simulations not only constitute interesting and powerful new science , but that they also raise a host of new philosophical issues. The protagonists in this debate claim no less than that simulations call into question our philosophical understanding of scientific ontology, the epistemology and semantics of (...) models and theories, and the relation between experimentation and theorising, and submit that simulations demand a fundamentally new philosophy of science in many respects. The aim of this paper is to critically evaluate these claims. Our conclusion will be sober. We argue that these claims are overblown and that simulations, far from demanding a new metaphysics, epistemology, semantics and methodology, raise few if any new philosophical problems. The philosophical problems that do come up in connection with simulations are not specific to simulations and most of them are variants of problems that have been discussed in other contexts before. (shrink)

Computer simulations are an exciting tool that plays important roles in many scientific disciplines. This has attracted the attention of a number of philosophers of science. The main tenor in this literature is that computer simulations not only constitute interesting and powerful new science, but that they also raise a host of new philosophical issues. The protagonists in this debate claim no less than that simulations call into question our philosophical understanding of scientific ontology, the epistemology and semantics of models (...) and theories, and the relation between experimentation and theorising, and submit that simulations demand a fundamentally new philosophy of science in many respects. The aim of this paper is to critically evaluate these claims. Our conclusion will be sober. We argue that these claims are overblown and that simulations, far from demanding a new metaphysics, epistemology, semantics and methodology, raise few if any new philosophical problems. The philosophical problems that do come up in connection with simulations are not specific to simulations and most of them are variants of problems that have been discussed in other contexts before. (shrink)

Whereas computer simulations involve no direct physical interaction between the machine they are run on and the physical systems they are used to investigate, they are often used as experiments and yield data about these systems. It is commonly argued that they do so because they are implemented on physical machines. We claim that physicality is not necessary for their representational and predictive capacities and that the explanation of why computer simulations generate desired information about their target system is only (...) to be found in the detailed analysis of their semantic levels. We provide such an analysis and we determine the actual consequences of physical implementation for simulations. (shrink)

This paper examines the relationship between simulation and experiment. Many discussions of simulation, and indeed the term "numerical experiments," invoke a strong metaphor of experimentation. On the other hand, many simulations begin as attempts to apply scientific theories. This has lead many to characterize simulation as lying between theory and experiment. The aim of the paper is to try to reconcile these two points of viewto understand what methodological and epistemological features simulation has in common with experimentation, while at the (...) same time keeping a keen eye on simulation's ancestry as a form of scientific theorizing. In so doing, it seeks to apply some of the insights of recent work on the philosophy of experiment to an aspect of theorizing that is of growing philosophical interest: the construction of local models. (shrink)

This paper offers a contribution to debates around integrative aspects of systems biology and engages with issues related to the circumstances under which physicists look at biological problems. We use oral history as one of the methodological tools to gather the empirical material, conducting interviews with physicists working in systems biology. The interviews were conducted at several institutions in Brazil, Germany, Israel and the U.S. Biological research has been increasingly dependent on computational methods, high-throughput technologies, and multidisciplinary skills. Quantitative scientists (...) are joining biological departments and collaborations between physicists and biologists are particularly vigorous. This state of affairs raises a number of questions, such as: What are the circumstances under which physicists approach biological problems in systems biology? What kind of interdisciplinary challenges must be tackled? The paper suggests that, concerning physicists’ move to work on biological systems, there are common reasons to move, the transition must be understood in terms of degrees, physicists have a rationale for simplifying systems, and distinct conceptions of model and modeling strategies are recurrent. We identified problems regarding linguistic clarity and integration of epistemological aims. We conclude that cultural unconformities within the systems biology community have important consequences to the flow of scientific knowledge. (shrink)

In the last 20 years network science has become an independent scientific field. We argue that by building network models network scientists are able to tame the vagueness of propositions about complex systems and networks, that is, to make these propositions precise. This makes it possible to study important vague properties such as modularity, near-decomposability, scale-freeness or being a small world. Using an epistemic model of network science, we systematically analyse the specific nature of network models and the logic behind (...) the taming mechanism. (shrink)

Many philosophical accounts of scientific models fail to distinguish between a simulation model and other forms of models. This failure is unfortunate because there are important differences pertaining to their methodology and epistemology that favor their philosophical understanding. The core claim presented here is that simulation models are rich and complex units of analysis in their own right, that they depart from known forms of scientific models in significant ways, and that a proper understanding of the type of model simulations (...) are fundamental for their philosophical assessment. I argue that simulation models can be distinguished from other forms of models by the many algorithmic structures, representation relations, and new semantic connections involved in their architecture. In this article, I reconstruct a general architecture for a simulation model, one that faithfully captures the complexities involved in most scientific research with computer simulations. Furthermore, I submit that a new methodology capable of conforming such architecture into a fully functional, computationally tractable computer simulation must be in place. I discuss this methodology—what I call recasting—and argue for its philosophical novelty. If these efforts are heading towards the right interpretation of simulation models, then one can show that computer simulations shed new light on the philosophy of science. To illustrate the potential of my interpretation of simulation models, I briefly discuss simulation-based explanations as a novel approach to questions about scientific explanation. (shrink)

This article aims to develop a new account of scientific explanation for computer simulations. To this end, two questions are answered: what is the explanatory relation for computer simulations? And what kind of epistemic gain should be expected? For several reasons tailored to the benefits and needs of computer simulations, these questions are better answered within the unificationist model of scientific explanation. Unlike previous efforts in the literature, I submit that the explanatory relation is between the simulation model and the (...) results of the simulation. I also argue that our epistemic gain goes beyond the unificationist account, encompassing a practical dimension as well. (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)

A chronicled approach to the notion of computer simulations shows that there are two predominant interpretations in the specialized literature. According to the first interpretation, computer simulations are techniques for finding the set of solutions to a mathematical model. I call this first interpretation the problem-solving technique viewpoint. In its second interpretation, computer simulations are considered to describe patterns of behavior of a target system. I call this second interpretation the description of patterns of behavior viewpoint of computer simulations. This (...) article explores these two interpretations of computer simulations from three different angles. First, I collect a series of definitions of computer simulation from the historical record. I track back definitions to the early 1960s and show how each viewpoint shares similar interpretations of computer simulations—ultimately clustering into the two viewpoints aforementioned. This reconstruction also includes the most recent literature. Second, I unpack the philosophical assumptions behind each viewpoint, with a special emphasis on their differences. Third, I discuss the philosophical implications of each viewpoint in the context of the recent discussion on the logic of scientific explanation for computer simulations. (shrink)

A chronicled approach to the notion of computer simulations shows that there are two predominant interpretations in the specialized literature. According to the first interpretation, computer simulations are techniques for finding the set of solutions to a mathematical model. I call this first interpretation the problem-solving technique viewpoint. In its second interpretation, computer simulations are considered to describe patterns of behavior of a target system. I call this second interpretation the description of patterns of behavior viewpoint of computer simulations. This (...) article explores these two interpretations of computer simulations from three different angles. First, I collect a series of definitions of computer simulation from the historical record. I track back definitions to the early 1960s and show how each viewpoint shares similar interpretations of computer simulations—ultimately clustering into the two viewpoints aforementioned. This reconstruction also includes the most recent literature. Second, I unpack the philosophical assumptions behind each viewpoint, with a special emphasis on their differences. Third, I discuss the philosophical implications of each viewpoint in the context of the recent discussion on the logic of scientific explanation for computer simulations. (shrink)

This paper proposes an extensionalist analysis of computer simulations (CSs). It puts the emphasis not on languages nor on models, but on symbols, on their extensions, and on their various ways of referring. It shows that chains of reference of symbols in CSs are multiple and of different kinds. As they are distinct and diverse, these chains enable different kinds of remoteness of reference and different kinds of validation for CSs. Although some methodological papers have already underlined the role of (...) these various relationships of reference in CSs and of cross-validations, this diversity is still overlooked in the epistemological literature on CSs. As a consequence, a particular outcome of this analytical view is an ability to classify existing epistemological theses on CSs according to what their authors choose to select and put at the forefront: either the extensions of symbols, or the symbol-types, or the symbol-tokens, or the internal denotational hierarchies of the CS or the reference of these hierarchies to external denotational hierarchies. Through the adoption of this extensionalist view, it also becomes possible to explain more precisely the reasons why some complete reduction of CSs to classical epistemic paradigms such as “experiment” or “theoretical argument” remains doubtful. On this last point, in particular, this paper is in agreement with what many epistemologists already have acknowledged. (shrink)

According to the "experimenter's regress", disputes about the validity of experimental results cannot be closed by objective facts because no conclusive criteria other than the outcome of the experiment itself exist for deciding whether the experimental apparatus was functioning properly or not. Given the frequent characterization of simulations as "computer experiments", one might worry that an analogous regress arises for computer simulations. The present paper analyzes the most likely scenarios where one might expect such a "simulationist's regress" to surface, and, (...) in doing so, discusses analogies and disanalogies between simulation and experimentation. I conclude that, on a properly broadened understanding of robustness, the practice of simulating mathematical models can be seen to have sufficient internal structure to avoid any special susceptibility to regress-like situations. (shrink)