Experiments are commonly thought to have epistemic privilege over simulations. Two ideas underpin this belief: first, experiments generate greater inferential power than simulations, and second, simulations cannot surprise us the way experiments can. In this article I argue that neither of these claims is true of experiments versus simulations in general. We should give up the common practice of resting in-principle judgments about the epistemic value of cases of scientific inquiry on whether we classify those cases as experiments or simulations, (...) per se. To the extent that either methodology puts researchers in a privileged epistemic position, this is context sensitive. (shrink)

Can computer simulation results be evidence for hypotheses about real-world systems and phenomena? If so, what sort of evidence? Can we gain genuinely new knowledge of the world via simulation? I argue that evidence from computer simulation is aptly characterized as higher-order evidence: it is evidence that other evidence regarding a hypothesis about the world has been collected. Insofar as particular epistemic agents do not have this other evidence, it is possible that they will gain genuinely new knowledge of the (...) world via simulation. I illustrate with examples inspired by uses of simulation in meteorology and astrophysics. (shrink)

As a device used by scientists in the course of performing research, the digital computer might be considered a scientific instrument. But if so, what is it an instrument for? This paper explores a number of answers to this question, focusing on the use of computers in a simulating mode.

If well-designed, the results of a Randomised Clinical Trial can justify a causal claim between treatment and effect in the study population; however, additional information might be needed to carry over this result to another population. RCTs have been criticized exactly on grounds of failing to provide this sort of information Evidence, inference and enquiry. Oxford University Press, New York, 2011), as well as to black-box important details regarding the mechanisms underpinning the causal law instantiated by the RCT result. On (...) the other side, so-called In Silico Clinical Trials face the same criticisms addressed against standard modelling and simulation techniques, and cannot be equated to experiments Philosophy of molecular medicine: foundational issues in research and practice, Routledge, New York, 2017; Parker in Synthese 169:483–496, 2009; Parke in Philos Sci 81:516–536, 2014; Diez Roux in Am J Epidemiol 181:100–102, 2015 and related discussions in Frigg and Reiss in Synthese 169:593–613, 2009; Winsberg in Synthese 169:575–592, 2009; Beisbart and Norton in Int Stud Philos Sci 26:403–422, 2012). We undertake a formal analysis of both methods in order to identify their distinct contribution to causal inference in the clinical setting. Britton et al.’s study :E2098–E2105, 2013) on the impact of ion current variability on cardiac electrophysiology is used for illustrative purposes. We deduce that, by predicting variability through interpolation, ISCTs aid with problems regarding extrapolation of RCTs results, and therefore in assessing their external validity. Furthermore, ISCTs can be said to encode “thick” causal knowledge —as opposed to “thin” difference-making information inferred from RCTs. Hence, ISCTs and RCTs cannot replace one another but rather, they are complementary in that the former provide information about the determinants of variability of causal effects, while the latter can, under certain conditions, establish causality in the first place. (shrink)

Microbial model systems have a long history of fruitful use in fields that include evolution and ecology. In order to develop further insight into modelling practice, we examine how the competitive exclusion and coexistence of competing species have been modelled mathematically and materially over the course of a long research history. In particular, we investigate how microbial models of these dynamics interact with mathematical or computational models of the same phenomena. Our cases illuminate the ways in which microbial systems and (...) equations work as models, and what happens when they generate inconsistent findings about shared targets. We reveal an iterative strategy of comparative modelling in different media, and suggest reasons why microbial models have a special degree of epistemic tractability in multimodel inquiry. (shrink)

We analyze the usage of computer simulation at the LHC and derive seven jointly necessary requirements for a simulation to be considered ’trustworthy’, such that it can be used as proxy for experiments. We show that these requirements can also be applied to systems without direct experimental access and discuss their validity for properties that have not yet been probed. While being necessary, these requirements are not sufficient. Such trustworthy simulations will be analyzed for the relative epistemic statuses of simulation (...) and material measurements, from which we argue that claims of their parity are unfounded. Instead, using credibility as a measure for epistemic status, and in view of the temporal and epistemic dependence of simulation on material measurements, we argue that the latter have a higher epistemic status than the former. We further argue that suggestions to qualify the epistemic status by ’defocussing’ on the material connection to the target system of either human or natural experiments are misleading. (shrink)

The paper presents an argument for treating certain types of computer simulation as having the same epistemic status as experimental measurement. While this may seem a rather counterintuitive view it becomes less so when one looks carefully at the role that models play in experimental activity, particularly measurement. I begin by discussing how models function as “measuring instruments” and go on to examine the ways in which simulation can be said to constitute an experimental activity. By focussing on the connections (...) between models and their various functions, simulation and experiment one can begin to see similarities in the practices associated with each type of activity. Establishing the connections between simulation and particular types of modelling strategies and highlighting the ways in which those strategies are essential features of experimentation allows us to clarify the contexts in which we can legitimately call computer simulation a form of experimental measurement. (shrink)

Some psychologists aim to secure a role for psychological explanations in understanding contemporary social disparities, a concern that plays out in debates over the relevance of the Implicit Association Test. Meta-analysts disagree about the predictive validity of the IAT and about the importance of implicit attitudes in explaining racial disparities. Here, I use the IAT to articulate and explore one route to establishing the relevance of psychological attitudes with small effects: an appeal to a process of “accumulation” that aggregates small (...) effects into large harms. After characterizing mechanisms of accumulation and considering some candidate examples, I argue that such mechanisms suggest how a contemporary attitude with small effects could figure in the explanation of large disparities, but they do not vindicate the importance of such an attitude since such mechanisms are typically also determined by competing causes. I close by sketching several strategies for advancing a defense of the relevance of attitudes with small effects. (shrink)

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 an attempt to determine the epistemic status of computer simulation results, philosophers of science have recently explored the similarities and differences between computer simulations and experiments. One question that arises is whether and, if so, when, simulation results constitute novel empirical data. It is often supposed that computer simulation results could never be empirical or novel because simulations never interact with their targets, and cannot go beyond their programming. This paper argues against this position by examining whether, and under (...) what conditions, the features of empiricality and novelty could be displayed by computer simulation data. I show that, to the extent that certain familiar measurement results have these features, so can some computer simulation results. (shrink)

ABSTRACTExperimentation is traditionally considered a privileged means of confirmation. However, why and how experiments form a better confirmatory source relative to other strategies is unclear, and recent discussions have identified experiments with various modeling strategies on the one hand, and with ‘natural’ experiments on the other hand. We argue that experiments aiming to test theories are best understood as controlled investigations of specimens. ‘Control’ involves repeated, fine-grained causal manipulation of focal properties. This capacity generates rich knowledge of the object investigated. (...) ‘Specimenhood’ involves possessing relevant properties given the investigative target and the hypothesis in question. Specimens are thus representative members of a class of systems, to which a hypothesis refers. It is in virtue of both control and specimenhood that experiments provide powerful confirmatory evidence. This explains the distinctive power of experiments: although modelers exert extensive control, they do not exert this control over specimens; although natural experiments utilize specimens, control is diminished. (shrink)

Scientific classification has long been recognized as involving a specific style of reasoning and doing research, and as occasionally affecting the development of scientific theories. However, the role played by classificatory activities in generating theories has not been closely investigated within the philosophy of science. I argue that classificatory systems can themselves become a form of theory, which I call classificatory theory, when they come to formalize and express the scientific significance of the elements being classified. This is particularly evident (...) in some of the classification practices used in contemporary experimental biology, such as bio-ontologies used to classify genomic data and typologies used to classify “normal” stages of development in developmental biology. In this paper, I explore some characteristics of classificatory theories and ways in which they differ from other types of scientific theories and other components of scientific epistemology, such as models and background assumptions. (shrink)

Scientific knowledge production is currently affected by the dissemination of data on an unprecedented scale. Technologies for the automated production and sharing of vast amounts of data have changed the way in which data are handled and interpreted in several scientific domains, most notably molecular biology and biomedicine. In these fields, the activity of data gathering has become increasingly technology-driven, with machines such as next generation genome sequencers and mass spectrometers generating billions of data points within hours, and with little (...) need for human supervision. Given the relative ease and low costs with which datasets can be produced (that is, once a laboratory has been able to afford .. (shrink)

This paper provides the first systematic epistemological account of simulated data in empirical science. We focus on the epistemic issues modelers face when they generate simulated data to solve problems with empirical datasets, research tools, or experiments. We argue that for simulated data to count as epistemically reliable, a simulation model does not have to mimic its target. Instead, some models take empirical data as a target, and simulated data may successfully mimic such a target even if the model does (...) not. We show how to distinguish between simulated and empirical data, and we also offer a definition of simulation that can accommodate Monte Carlo models. We shed light on the epistemology of simulated data by providing a taxonomy of four different mimicking relations that differ concerning the nature of the relation or relata. We illustrate mimicking relations with examples from different sciences. Our main claim is that the epistemic evaluation of simulated data should start with recognizing the diversity of mimicking relations rather than presuming that only one relation existed. (shrink)

Over the course of the twentieth century, hydraulic engineering has come to rely primarily on the use of computational models. Disco and van den Ende hint towards the reasons for widespread adoption of computational models by pointing out that such models fulfill a crucial role as management tools in Dutch water management, and meet a more general desire to quantify water-related phenomena. The successful application of computational models implies blackboxing : “[w]hen a machine runs efficiently … one need focus only (...) on its inputs and outputs and not on its internal complexity. Thus, paradoxically, the more science and technology succeed, the more opaque and obscure they become”.. (shrink)

Recently, Bechtel and Abrahamsen have argued that mathematical models study the dynamics of mechanisms by recomposing the components and their operations into an appropriately organized system. We will study this claim through the practice of combinational modeling in circadian clock research. In combinational modeling, experiments on model organisms and mathematical/computational models are combined with a new type of model—a synthetic model. We argue that the strategy of recomposition is more complicated than what Bechtel and Abrahamsen indicate. Moreover, synthetic modeling as (...) a kind of material recomposition strategy also points beyond the mechanistic paradigm. (shrink)

This paper examines two parallel discussions of scientific modeling which have invoked experimentation in addressing the role of models in scientific inquiry. One side discusses the experimental character of models, whereas the other focuses on their exploratory uses. Although both relate modeling to experimentation, they do so differently. The former has considered the similarities and differences between models and experiments, addressing, in particular, the epistemic value of materiality. By contrast, the focus on exploratory modeling has highlighted the various kinds of (...) exploratory functions of models in the early stages of inquiry. These two perspectives on modeling are discussed through a case study in the field of synthetic biology. The research practice in question explores biological control by making use of an ensemble of different epistemic means: mathematical models and simulations, synthetic genetic circuits and intracellular measuring devices, and finally electronic circuits. We argue that the study of exploratory modeling should trace the ways different epistemic means, in different materialities, are being combined over time. Finally, the epistemic status of such novel investigative objects as synthetic genetic circuits is evaluated, with the conclusion that they can function as both experiments and models. (shrink)

This paper distinguishes between causal isolation robustness analysis and independent determination robustness analysis and suggests that the triangulation of the results of different epistemic means or activities serves different functions in them. Circadian clock research is presented as a case of causal isolation robustness analysis: in this field researchers made use of the notion of robustness to isolate the assumed mechanism behind the circadian rhythm. However, in contrast to the earlier philosophical case studies on causal isolation robustness analysis (Weisberg and (...) Reisman in Philos Sci 75:106–131, 2008 ; Kuorikoski et al. in Br J Philos Sci 61:541–567, 2010 ), robustness analysis in the circadian clock research did not remain in the level of mathematical modeling, but it combined it with experimentation on model organisms and a new type of model, a synthetic model. (shrink)

This paper explores the case of using robots to simulate evolution, in particular the case of Hamilton’s Law. The uses of robots raises several questions that this paper seeks to address. The first concerns the role of the robots in biological research: do they simulate something or do they participate in something? The second question concerns the physicality of the robots: what difference does embodiment make to the role of the robot in these experiments. Thirdly, how do life, embodiment and (...) social behavior relate in contemporary biology and why is it possible for robots to illuminate this relation? These questions are provoked by a strange similarity that has not been noted before: between the problem of simulation in philosophy of science, and Deleuze’s reading of Plato on the relationship of ideas, copies and simulacra. (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)

It is often said that computer simulations generate new knowledge about the empirical world in the same way experiments do. My aim is to make sense of such a claim. I first show that the similarities between computer simulations and experiments do not allow them to generate new knowledge but invite the simulationist to interact with simulations in an experimental manner. I contend that, nevertheless, computer simulations and experiments yield new knowledge under the same epistemic circumstances, independently of any features (...) they may share. (shrink)

Some philosophers see an analogy between simulation and experiment. But, once we acknowledge some similarities between computer simulations and experiments, can we conclude from them that simulations generate empirical knowledge, as experiments do? In this paper, I argue that the similarities between simulation and experiment give the scientist at most the illusion that she is conducting an experiment, but cannot seriously ground the analogy. However, it does not follow that experiments are always epistemologically superior to simulations. I analyze the cases (...) when simulations and experiments equally yield new empirical knowledge. (shrink)

Astrophysics faces methodological challenges as a result of being a predominantly observation-based science without access to traditional experiments. In light of these challenges, astrophysicists frequently rely on computer simulations. Using collisional ring galaxies as a case study, I argue that computer simulations play three roles in reasoning in astrophysics: (1) hypothesis testing, (2) exploring possibility space, and (3) amplifying observations.

This article starts an engagement on the aesthetics of experiments and offers an account for analysing how aesthetics features in the design, evaluation and reception of experiments. I identify two dimensions of aesthetic evaluation of experiments: design and significance. When it comes to design, a number of qualities, such as simplicity, economy and aptness, are analysed and illustrated with the famous Meselson-Stahl experiment. Beautiful experiments are also regarded to make significant discoveries, but I argue against a narrow construal of experimental (...) aims. By drawing on the plurality of goals experimenters have and diversity of aesthetic responses, I argue that experiments are aesthetically appreciated both when they discover and when they produce disruptive results. (shrink)

The answer to the fine-tuning problem of the universe has been traditionally sought in terms of either design or multiverse. In philosophy circles, this is sometimes expanded by adding the option of explanatory nihilism—the claim that there is no explanation for statements of that high level of generality: fine-tunings are brute facts. In this paper, we consider the fourth option which, at least in principle, is available to us: co-evolution of the universe and observers. Although conceptual roots of this approach (...) could be found already in ancient stoicism, it is still the least investigated explanatory option for resolving the problem of empirical fine tunings. We offer two preliminary models along which the co-evolution hypothesis could be developed further. They are still on the level of speculative metaphysics, but there are opportunities along the way to generate predictions which are in principle testable, especially in the domain of large-scale numerical simulations. (shrink)

Animal models have received particular attention as key examples of material models. In this paper, we argue that the specificities of establishing animal models—acknowledging their status as living beings and as epistemological tools—necessitate a more complex account of animal models as materialised models. This becomes particularly evident in animal-based models of diseases that only occur in humans: in these cases, the representational relation between animal model and human patient needs to be generated and validated. The first part of this paper (...) presents an account of how disease-specific animal models are established by drawing on the example of transgenic mice models for Alzheimer’s disease. We will introduce an account of validation that involves a three-fold process including from human being to experimental organism; from experimental organism to animal model; and from animal model to human patient. This process draws upon clinical relevance as much as scientific practices and results in disease-specific, yet incomplete, animal models. The second part of this paper argues that the incompleteness of models can be described in terms of multi-level abstractions. We qualify this notion by pointing to different experimental techniques and targets of modelling, which give rise to a plurality of models for a specific disease. (shrink)

Between the fourth and the recent fifth IPCC report, science as well as policy making have made great advances in dealing with uncertainties in global climate models. However, the uncertainties public decision making has to deal with go well beyond what is currently addressed by policy makers and climatologists alike. It is shown in this paper that within an anthropocentric framework, a whole hierarchy of models from various scientific disciplines is needed for political decisions as regards climate change. Via what (...) is sometimes referred to as ‘uncertainty cascade’ in the technical literature, the uncertainties of various models accumulate in the input to political decision making. This paper aims to chart the uncertainties in the multi-disciplinary enterprise of current climate modeling in broad strokes. It is shown that the uncertainty cascade makes it impossible to quantify uncertainties in the form of probability estimates. Moreover the paper highlights how global climate models fail to provide probability estimates. A better treatment of the uncertainties of climate predictions on the political level would require an overhaul of the current IPCC practice that separates the various scientific fields in various working groups. (shrink)

In spite of their practical importance, the connections between technology and mathematics have not received much scholarly attention. This article begins by outlining how the technology–mathematics relationship has developed, from the use of simple aide-mémoires for counting and arithmetic, via the use of mathematics in weaving, building and other trades, and the introduction of calculus to solve technological problems, to the modern use of computers to solve both technological and mathematical problems. Three important philosophical issues emerge from this historical résumé: (...) how mathematical knowledge depends on technology, the definition of the hybrid concept of a computation, and the usefulness of mathematics in technology. Each of these issues is briefly discussed, and it is shown that in order to analyze them, we need to combine tools and ideas from both the philosophy of technology and the philosophy of mathematics. In conclusion, it is argued that much more of interest can be found in the historically and philosophically unexplored terrains of the technology–mathematics relationship. (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)

‘The problem with simulations is that they are doomed to succeed.’ So runs a common criticism of simulations—that they can be used to ‘prove’ anything and are thus of little or no scientific value. While this particular objection represents a minority view, especially among those who work with simulations in a scientific context, it raises a difficult question: what standards should we use to differentiate a simulation that fails from one that succeeds? In this paper we build on a structural (...) analysis of simulation developed in previous work to provide an evaluative account of the variety of ways in which simulations do fail. We expand the structural analysis in terms of the relationship between a simulation and its real-world target emphasizing the important role of aspects intended to correspond and also those specifically intended not to correspond to reality. The result is an outline both of the ways in which simulations can fail and the scientific importance of those various forms of failure. (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.

In this essay I consider, by way of the reflections of accomplished synthetic chemists, how the experimental work of the synthetic organic chemist supports the testing, refinement, and creation of theories of organic chemistry. The role of experiments in modern Baconian sciences like organic chemistry is contrasted with their role in fields of more traditional philosophical concern, such as experimental physics.

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)

Scientific results are often presented as ‘surprising’ as if that is a good thing. Is it? And if so, why? What is the value of surprise in science? Discussions of surprise in science have been limited, but surprise has been used as a way of defending the epistemic privilege of experiments over simulations. The argument is that while experiments can ‘confound’, simulations can merely surprise (Morgan, 2005). Our aim in this paper is to show that the discussion of surprise can (...) be usefully extended to thought experiments and theoretical derivations. We argue that in focusing on these features of scientific practice, we can see that the surprise-confoundment distinction does not fully capture surprise in science. We set out how thought experiments and theoretical derivations can bring about surprises that can be disruptive in a productive way, and we end by exploring how this links with their future fertility. (shrink)

Experiments (E), computer simulations (CS) and thought experiments (TE) are usually seen as playing different roles in science and as having different epistemologies. Accordingly, they are usually analyzed separately. We argue in this paper that these activities can contribute to answering the same questions by playing the same epistemic role when they are used to unfold the content of a well-described scenario. We emphasize that in such cases, these three activities can be described by means of the same conceptual framework—even (...) if each of them, because they involve different types of processes, fall under these concepts in different ways. We further illustrate our claims by presenting a threefold case study describing how a TE, a CS and an E were indeed used in the same role at different periods to answer the same questions about the possibility of a physical Maxwellian demon. We also point at fluid dynamics as another field where these activities seem to be playing the same unfolding role. We analyze the importance of unfolding as a general task of science and highlight how our description in terms of epistemic functions articulates in a noncommittal way with the epistemology of these three activities and accounts for their similarities and the existence of hybrid forms of activities. We finally emphasize that picturing these activities as functionally substitutable does not imply that they are epistemologically substitutable. (shrink)

This article on the epistemology of computational models stems from an analysis of the Gaia hypothesis (GH). It begins with James Kirchner’s criticisms of the central computational model of GH: Daisyworld. Among other things, the model has been criticized for being too abstract, describing fictional entities (fictive daisies on an imaginary planet) and trying to answer counterfactual (what-if) questions (how would a planet look like if life had no influence on it?). For these reasons the model has been considered not (...) testable and therefore not legitimate in science, and in any case not very interesting since it explores non actual issues. This criticism implicitly assumes that science should only be involved in the making of models that are ‘‘actual’’ (by opposition to what-if) and ‘‘specific’’ (by opposition to abstract). I challenge both of these criticisms in this article. First by showing that although the testability—understood as the comparison of model output with empirical data—is an important procedure for explanatory models, there are plenty of models that are not testable. The fact that these are not testable (in this restricted sense) has nothing to do with their being ‘‘abstract’’ or ‘‘what-if’’ but with their being predictive models. Secondly, I argue that ‘‘abstract’’ and ‘‘what-if’’ models aim at (respectable) epistemic purposes distinct from those pursued by ‘‘actual and specific models’’. Abstract models are used to propose how-possibly explanation or to pursue theorizing. What-if models are used to attribute causal or explanatory power to a variable of interest. The fact that they aim at different epistemic goals entails that it may not be accurate to consider the choice between different kinds of model as a ‘‘strategy‘‘. (shrink)

This article on the epistemology of computational models stems from an analysis of the Gaïa hypothesis. It begins with James Kirchner’s criticisms of the central computational model of GH: Daisyworld. Among other things, the model has been criticized for being too abstract, describing fictional entities and trying to answer counterfactual questions. For these reasons the model has been considered not testable and therefore not legitimate in science, and in any case not very interesting since it explores non actual issues. This (...) criticism implicitly assumes that science should only be involved in the making of models that are “actual” and “specific”. I challenge both of these criticisms in this article. First by showing that although the testability—understood as the comparison of model output with empirical data—is an important procedure for explanatory models, there are plenty of models that are not testable. The fact that these are not testable has nothing to do with their being “abstract” or “what-if” but with their being predictive models. Secondly, I argue that “abstract” and “what-if” models aim at epistemic purposes distinct from those pursued by “actual and specific models”. Abstract models are used to propose how-possibly explanation or to pursue theorizing. What-if models are used to attribute causal or explanatory power to a variable of interest. The fact that they aim at different epistemic goals entails that it may not be accurate to consider the choice between different kinds of model as a “strategy“. (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)

Several philosophical issues in connection with computer simulations rely on the assumption that results of simulations are trustworthy. Examples of these include the debate on the experimental role of computer simulations :483–496, 2009; Morrison in Philos Stud 143:33–57, 2009), the nature of computer data Computer simulations and the changing face of scientific experimentation, Cambridge Scholars Publishing, Barcelona, 2013; Humphreys, in: Durán, Arnold Computer simulations and the changing face of scientific experimentation, Cambridge Scholars Publishing, Barcelona, 2013), and the explanatory power of (...) computer simulations :277–292, 2008; Durán in Int Stud Philos Sci 31:27–45, 2017). The aim of this article is to show that these authors are right in assuming that results of computer simulations are to be trusted when computer simulations are reliable processes. After a short reconstruction of the problem of epistemic opacity, the article elaborates extensively on computational reliabilism, a specified form of process reliabilism with computer simulations located at the center. The article ends with a discussion of four sources for computational reliabilism, namely, verification and validation, robustness analysis for computer simulations, a history of successful implementations, and the role of expert knowledge in 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)

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)