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)

Computer simulations are widely used in current scientific practice, as a tool to obtain information about various phenomena. Scientists accordingly rely on the outputs of computer simulations to make statements about the empirical world. In that sense, simulations seem to enable scientists to acquire empirical knowledge. The aim of this paper is to assess whether computer simulations actually allow for the production of empirical knowledge, and how. It provides an epistemological analysis of present-day empirical science, to which the traditional epistemological (...) categories cannot apply in any simple way. Our strategy consists in acknowledging the complexity of scientific practice, and trying to assess its rationality. Hence, while we are careful not to abstract away from the details of scientific practice, our approach is not strictly descriptive: our goal is to state in what conditions empirical science can rely on computer simulations. In order to do so, we need to adopt a renewed epistemological framework, whose categories would enable us to give a finer-grained, and better-fitted analysis of the rationality of scientific practice. (shrink)

L’étude de l’évolution du climat passe nécessairement par des simulations numériques. Leur utilisation a été remise en cause en raison des incertitudes qui affectent leurs résultats. Cet article présente les différentes composantes des simulations numériques utilisées en climatologie et en propose une analyse épistémologique. La conclusion en est que ces simulations numériques procèdent des exigences scientifiques plus généralement à l’œuvre dans la science contemporaine.In order to study the evolution of global climate, computer simulation is required. The use of computer simulation (...) has been criticized since the results are uncertain. In this paper, I present the various components of the simulations used in climate studies and I analyze those components from an epistemological point of view. I conclude in showing that these simulations obey the scientific requirements usually governing contemporary science. (shrink)

This paper combines naturalized metaphysics and a philosophical reflection on a recently evolving interdisciplinary branch of quantum chemistry, ab initio molecular dynamics. Bridging the gaps among chemistry, physics, and computer science, this cutting-edge research field explores the structure and dynamics of complex molecular many-body systems through computer simulations. These simulations are allegedly crafted solely by the laws of fundamental physics, and are explicitly designed to capture nature as closely as possible. The models and algorithms employed, however, involve many approximations and (...) significant degrees of idealization of their target systems. Therefore, for philosophers of science the pivotal question of whether relying only on the fundamental laws of physics supports a reductionist or realist stance arises. One conceivable answer to this question is that the irreducible approximations and idealizations support rather anti-realist positions. After reviewing an influential attitude in the philosophy of computer simulations and the debate concerning scientific realism, I offer a fair interpretation of such ab initio modelling in quantum chemistry within a naturalistic metaphysical framework that gives rise to a specific type of ontic structural realism. (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)

‘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)

This paper starts by looking at the coincidence of surprising behavior on the nanolevel in both matter and simulation. It uses this coincidence to argue that the simulation approach opens up a pragmatic mode of understanding oriented toward design rules and based on a new instrumental access to complex models. Calculations, and their variation by means of explorative numerical experimentation and visualization, can give a feeling for a model's behavior and the ability to control phenomena, even if the model itself (...) remains epistemically opaque. Thus, the investigation of simulation in nanoscience provides a good example of how science is adapting to a new instrument: computer simulation. (shrink)

Mathematical models are a well established tool in most natural sciences. Although models have been neglected by the philosophy of science for a long time, their epistemological status as a link between theory and reality is now fairly well understood. However, regarding the epistemological status of mathematical models in the social sciences, there still exists a considerable unclarity. In my paper I argue that this results from specific challenges that mathematical models and especially computer simulations face in the social sciences. (...) The most important difference between the social sciences and the natural sciences with respect to modeling is that in the social sciences powerful and well confirmed background theories (like Newtonian mechanics, quantum mechanics or the theory of relativity in physics) do not exist in the social sciences. Therefore, an epistemology of models that is formed on the role model of physics may not be appropriate for the social sciences. I discuss the challenges that modeling faces in the social sciences and point out their epistemological consequences. The most important consequences are that greater emphasis must be placed on empirical validation than on theoretical validation and that the relevance of purely theoretical simulations is strongly limited. (shrink)

This paper draws attention to an increasingly common method of using computer simulations to establish evidential standards in physics. By simulating an actual detection procedure on a computer, physicists produce patterns of data (‘signatures’) that are expected to be observed if a sought-after phenomenon is present. Claims to detect the phenomenon are evaluated by comparing such simulated signatures with actual data. Here I provide a justification for this practice by showing how computer simulations establish the reliability of detection procedures. I (...) argue that this use of computer simulation undermines two fundamental tenets of the Bogen–Woodward account of evidential reasoning. Contrary to Bogen and Woodward’s view, computer-simulated signatures rely on ‘downward’ inferences from phenomena to data. Furthermore, these simulations establish the reliability of experimental setups without physically interacting with the apparatus. I illustrate my claims with a study of the recent detection of the superfluid-to-Mott-insulator phase transition in ultracold atomic gases. (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)

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)

Scientists of many disciplines use theoretical models to explain and predict the dynamics of the world. They often have to rely on digital computer simulations to draw predictions fromthe model. But to deliver phenomenologically adequate results, simulations deviate from the assumptions of the theoretical model. Therefore the role of simulations in scientific explanation demands itself an explanation. This paper analyzes the relation between real-world system, theoretical model, and simulation. It is argued that simulations do not explain processes in the real (...) world directly. The way in which simulations help explaining real-world processes is conceived as indirect, mediated by the theoretical model. Simulacra are characterized further, and turn out to be a priori measurable. This gives a clue to a better understanding of the epistemic role of computer simulations in scientific research. (shrink)

Allan Franklin has identified a number of strategies that scientists use to build confidence in experimental results. This paper shows that Franklin's strategies have direct analogues in the context of computer simulation and then suggests that one of his strategies—the so-called 'Sherlock Holmes' strategy—deserves a privileged place within the epistemologies of experiment and simulation. In particular, it is argued that while the successful application of even several of Franklin's other strategies (or their analogues in simulation) may not be sufficient for (...) justified belief in results, the successful application of a slightly elaborated version of the Sherlock Holmes strategy is sufficient. (shrink)

The need for fair and just AI is often related to the possibility of understanding AI itself, in other words, of turning an opaque box into a glass box, as inspectable as possible. Transparency and explainability, however, pertain to the technical domain and to philosophy of science, thus leaving the ethics and epistemology of AI largely disconnected. To remedy this, we propose an integrated approach premised on the idea that a glass-box epistemology should explicitly consider how to incorporate values and (...) other normative considerations, such as intersectoral vulnerabilities, at critical stages of the whole process from design and implementation to use and assessment. To connect ethics and epistemology of AI, we perform a double shift of focus. First, we move from trusting the output of an AI system to trusting the process that leads to the outcome. Second, we move from expert assessment to more inclusive assessment strategies, aiming to facilitate expert and non-expert assessment. Together, these two moves yield a framework usable for experts and non-experts when they inquire into relevant epistemological and ethical aspects of AI systems. We dub our framework ‘epistemology-cum-ethics’ to signal the equal importance of both aspects. We develop it from the vantage point of the designers: how to create the conditions to internalize values into the whole process of design, implementation, use, and assessment of an AI system, in which values (epistemic and non-epistemic) are explicitly considered at each stage and inspectable by every salient actor involved at any moment. (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)

There is an ongoing debate on whether or to what degree computer simulations can be likened to experiments. Many philosophers are sceptical whether a strict separation between the two categories is possible and deny that the materiality of experiments makes a difference (Morrison 2009, Parker 2009, Winsberg 2010). Some also like to describe computer simulations as a “third way” between experimental and theoretical research (Rohrlich 1990, Axelrod 2003, Kueppers/Lenhard 2005). In this article I defend the view that computer simulations are (...) not experiments but that they are tools for evaluating the consequences of theories and theoretical assumptions. In order to do so the (alleged) similarities and differences between simulations and experiments are examined. It is found that three fundamental differences between simulations and experiments remain: 1) Only experiments can generate new empirical data. 2) Only Experiments can operate directly on the target system. 3) Experiments alone can be employed for testing fundamental hypotheses. As a consequence, experiments enjoy a distinct epistemic role in science that cannot completely be superseded by computer simulations. This finding in connection with a discussion of border cases such as hybrid methods that combine measurement with simulation shows that computer simulations can clearly be distinguished from empirical methods. It is important to understand that computer simulations are not experiments, because otherwise there is a danger of systematically underestimating the need for empirical validation of simulations. (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)

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

Simulations (both digital and analog) and experiments share many features. But what essential features distinguish them? I discuss two proposals in the literature. On one proposal, experiments investigate nature directly, while simulations merely investigate models. On another proposal, simulations differ from experiments in that simulationists manipulate objects that bear only a formal (rather than material) similarity to the targets of their investigations. Both of these proposals are rejected. I argue that simulations fundamentally differ from experiments with regard to the background (...) knowledge that is invoked to argue for the “external validity” of the investigation. (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)

I critically examine some recent work on the philosophy of scientific fictions, focusing on the work of Winsberg. By considering two case studies in fracture mechanics, the strip yield model and the imaginary crack method, I argue that his reliance upon the social norms associated with an element of a model forces him to remain silent whenever those norms fail to clearly match the characteristic of fictions or non-fictions. In its place, I propose a normative epistemology of fictions which clarifies (...) a model's ontological commitments when the community of scientists lack any clear, shared norms of use. Specifically, I will introduce a variational account of fictions as an extension of Laymon's monotonic improvability account of idealizations. I will conclude by connecting this variational account of fictions to didactic fictions in general. (shrink)

Funding policies for science are usually directed at supporting technological innovations. The im-pact and success of such policies depend crucially on how science and technology are connected to each other. I propose an “interactive view” of the relationship between basic science and technol-ogy development which comprises the following four claims: First, technological change derives from science but only in part. The local models used in accounting for technologically relevant phenomena contain theoretical and non-theoretical elements alike. Second, existing technologies and rules (...) of experience constitute another major repository of technological inventions. Third, technology dynamics is only weakly coupled to progress in basic science but it is closely related to science. There is a dependence of technological change on a more fundamental understanding, to be sure, but it is of an indirect and long-term character. Fourth, progress in basic research is some-times the effect of technological change. Technological change sometimes brings about increased theoretical understanding. (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)

Stať se zabývá diskusemi o epistemologicko-metodologické roli simulací v soudobé vědě. Soustředí se nejprve na aktuálnost těchto diskusí v současné metodologii vědy a následně na její návaznost na určitou myšlenkovou tradici z osmdesátých let 20. století, kdy diskuse kolem modelování vyvolaly řadu otázek zpochybňujících tradiční pojmové distinkce, především mezi experimentem a teorií. Stať se přiklání v rámci těchto diskusí k názorům, které řadí simulace k novým a specifickým nástrojům vědy, jež také vyžadují novou a specifickou metodologii a epistemologické postavení. Pro (...) podporu této názorové pozice jsou uvedeny některé aktuální analýzy konkrétních příkladů simulací a jejich specifického postavení v moderní vědě. (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)

Recent work by Frigg et. al. and Mayo-Wilson have called attention to a particular sort of error associated with attempts to model certain complex systems: structural modeling error. The assessment of the degree of SME in a model presupposes agreement between modelers about the best way to individuate natural systems, an agreement which can be more problematic than it appears. This problem, which we dub “the system individuation problem” arises in many of the same contexts as SME, and the two (...) often compound one another. This paper explores the common roots of the two problems in concerns about the precision of predictions generated by scientific models, and discusses how both concerns bear on the study of complex natural systems, particularly the global climate. (shrink)

Synthetic biology is often understood in terms of the pursuit for well-characterized biological parts to create synthetic wholes. Accordingly, it has typically been conceived of as an engineering dominated and application oriented field. We argue that the relationship of synthetic biology to engineering is far more nuanced than that and involves a sophisticated epistemic dimension, as shown by the recent practice of synthetic modeling. Synthetic models are engineered genetic networks that are implanted in a natural cell environment. Their construction is (...) typically combined with experiments on model organisms as well as mathematical modeling and simulation. What is especially interesting about this combinational modeling practice is that, apart from greater integration between these different epistemic activities, it has also led to the questioning of some central assumptions and notions on which synthetic biology is based. As a result synthetic biology is in the process of becoming more “biology inspired.”. (shrink)

Since their inception in the 1980s, complexity sciences have been described as a revolutionary new domain of research. By describing some of the practices and assumptions of its representatives, the present article shows that this field is an association of subdisciplines laying on existing disciplinary footholds. The general question guiding us here is: On what basis do complexity scientists consider their inquiry methods and results as valuable? To answer it, I describe five “epistemic argumentative regimes,” namely the ways in which (...) complexity scientists argue the credibility of their research, and five “ontological views,” that is the ways in which they interpret the material and formal causes of their study objects and models. Finally, the article proposes the term of “regime of evidence” to designate the specific combination of one ontological view with one or more epistemic argumentative regimes. (shrink)

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)

The main thesis of the paper is that in the case of modern statistics, the differences between the various concepts of models were the key to its formative controversies. The mathematical theory of statistical inference was mainly developed by Ronald A. Fisher, Jerzy Neyman, and Egon S. Pearson. Fisher on the one side and Neyman–Pearson on the other were involved often in a polemic controversy. The common view is that Neyman and Pearson made Fisher's account more stringent mathematically. It is (...) argued, however, that there is a profound theoretical basis for the controversy: both sides held conflicting views about the role of mathematical modelling. At the end, the influential programme of Exploratory Data Analysis is considered to be advocating another, more instrumental conception of models. Introduction Models in statistics—‘of what population is this a random sample?’ The fundamental lemma Controversy about models Exploratory data analysis as a model-critical approach. (shrink)

Making sense of why something succeeded or failed is central to scientific practice: it provides an interpretation of what happened, i.e. an hypothesized explanation for the results, that informs scientists’ deliberations over their next steps. In philosophy, the realism debate has dominated the project of making sense of scientists’ success and failure claims, restricting its focus to whether truth or reliability best explain science’s most secure successes. Our aim, in contrast, will be to expand and advance the practice-oriented project sketched (...) by Arthur Fine in his work on the Natural Ontological Attitude. An important obstacle to articulating a positive program, we suggest, has been overlooking how scientists adopt standardized rules and procedures in order to define and operationalize meanings for success and failure relative to their situated goals. To help fill this gap, we introduce two new ideas, design specifications and track records, and show how they advance our ability to make sense of scientific modeling practices while maintaining a deflationary stance toward the realism debate. (shrink)

In a previous article, I argued that some recent philosophical work on the use of fictions in science is, while illuminating about some aspects of current scientific practice, unduly limited to cases of well-established fictions. In other words, this earlier work contended, a philosophical account of scientific fictions can do more than merely describe scientific practices, but can aid in the resolution of disputes about the proper interpretation of scientific theories and the epistemic status of some scientific models. In the (...) present paper, I expand upon the variational account of fictions and idealizations... (shrink)

Computer simulations and experiments share many important features. One way of explaining the similarities is to say that computer simulations just are experiments. This claim is quite popular in the literature. The aim of this paper is to argue against the claim and to develop an alternative explanation of why computer simulations resemble experiments. To this purpose, experiment is characterized in terms of an intervention on a system and of the observation of the reaction. Thus, if computer simulations are experiments, (...) either the computer hardware or the target system must be intervened on and observed. I argue against the first option using the non-observation argument, among others. The second option is excluded by e.g. the over-control argument, which stresses epistemological differences between experiments and simulations. To account for the similarities between experiments and computer simulations, I propose to say that computer simulations can model possible experiments and do in fact often do so. (shrink)

As climate policy decisions are decisions under uncertainty, being based on a range of future climate change scenarios, it becomes a crucial question how to set up this scenario range. Failing to comply with the precautionary principle, the scenario methodology widely used in the Third Assessment Report of the International Panel on Climate Change (IPCC) seems to violate international environmental law, in particular a provision of the United Nations Framework Convention on Climate Change. To place climate policy advice on a (...) sound methodological basis would imply that climate simulations which are based on complex climate models had, in stark contrast to their current hegemony, hardly an epistemic role to play in climate scenario analysis at all. Their main function might actually consist in ‘foreseeing future ozone-holes’. In order to argue for these theses, I explain first of all the plurality of climate models used in climate science by the failure to avoid the problem of underdetermination. As a consequence, climate simulation results have to be interpreted as modal sentences, stating what is possibly true of our climate system. This indicates that climate policy decisions are decisions under uncertainty. Two general methodological principles which may guide the construction of the scenario range are formulated and contrasted with each other: modal inductivism and modal falsificationism. I argue that modal inductivism, being the methodology implicitly underlying the third IPCC report, is severely flawed. Modal falsificationism, representing the sound alternative, would in turn require an overhaul of the IPCC practice. (shrink)

In computer simulations of physical systems, the construction of models is guided, but not determined, by theory. At the same time simulations models are often constructed precisely because data are sparse. They are meant to replace experiments and observations as sources of data about the world; hence they cannot be evaluated simply by being compared to the world. So what can be the source of credibility for simulation models? I argue that the credibility of a simulation model comes not only (...) from the credentials supplied to it by the governing theory, but also from the antecedently established credentials of the model building techniques employed by the simulationists. In other words, there are certain sorts of model building techniques which are taken, in and of themselves, to be reliable. Some of these model building techniques, moreover, incorporate what are sometimes called “falsifications.” These are contrary-to-fact principles that are included in a simulation model and whose inclusion is taken to increase the reliability of the results. The example of a falsification that I consider, called artificial viscosity, is in widespread use in computational fluid dynamics. Artificial viscosity, I argue, is a principle that is successfully and reliably used across a wide domain of fluid dynamical applications, but it does not offer even an approximately “realistic” or true account of fluids. Artificial viscosity, therefore, is a counter-example to the principle that success implies truth – a principle at the foundation of scientific realism. It is an example of reliability without truth. (shrink)

The main thesis of the paper is that in the case of modern statistics, the differences between the various concepts of models were the key to its formative controversies. The mathematical theory of statistical inference was mainly developed by Ronald A. Fisher, Jerzy Neyman, and Egon S. Pearson. Fisher on the one side and Neyman–Pearson on the other were involved often in a polemic controversy. The common view is that Neyman and Pearson made Fisher's account more stringent mathematically. It is (...) argued, however, that there is a profound theoretical basis for the controversy: both sides held conflicting views about the role of mathematical modelling. At the end, the influential programme of Exploratory Data Analysis is considered to be advocating another, more instrumental conception of models. 1. Introduction2. Models in statistics—‘of what population is this a random sample?’3. The fundamental lemma4. Controversy about models5. Exploratory data analysis as a model-critical approach. (shrink)

The paper discusses modelling uncertainties in climate models and how they can be addressed based on physical principles as well as based on how the models perform in light of empirical data. We ar...

With the advent of powerful parallel computers, efforts have commenced to simulate complete mammalian brains. However, so far none of these efforts has produced outcomes close to explaining even the behavioral complexities of animals. In this article, we suggest four challenges that ground this shortcoming. First, we discuss the connection between hypothesis testing and simulations. Typically, efforts to simulate complete mammalian brains lack a clear hypothesis. Second, we treat complications related to a lack of parameter constraints for large-scale simulations. To (...) demonstrate the severity of this issue, we review work on two small-scale neural systems, the crustacean stomatogastric ganglion and the Caenorhabditis elegans nervous system. Both of these small nervous systems are very thoroughly, but not completely understood, mainly due to issues with variable and plastic parameters. Third, we discuss the hierarchical structure of neural systems as a principled obstacle to whole-brain simulations. Different organizational levels imply qualitative differences not only in structure, but in choice and appropriateness of investigative technique and perspective. The challenge of reconciling different levels also undergirds the challenge of simulating and hypothesis testing, as modeling a system is not the same thing as simulating it. Fourth, we point out that animal brains are information processing systems tailored very specifically for the ecological niches the respective animals live in. (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)

En los inicios del siglo XXI está desarrollándose una e-ciencia, una ciencia electrónica y altamente computarizada que exige un replanteamiento sobre la epistemología científica. A través del ejemplo de la Bioinformática y las Biotecnologías, el autor muestra algunas características de esta nueva e-ciencia e indica algunos de los problemas con los que deben enfrentarse los filósofos de la ciencia contemporáneos. Right at the beginning of the 21st century an e-Science is emerging, a highly computerized electronic science which demands a new (...) way of understanding scientific epistemology. Through Bioinformatics and Biotechnologies, the author analyzes some of the characteristics of this new e-Science and shows several problems which contemporary philosophers of science must face. (shrink)

: Understanding Helmholtz's philosophy of science requires attention to his experimental practice. I sketch out such a project by showing how experiment shapes his theory of perception in three ways. One, the theory emerged out of empirical and experimental research. Two, the concept of experiment fills a critical conceptual gap in his theory of perception. Experiment functions not merely as a scientific technique, but also as a general epistemological strategy. Three, Helmholtz's experimental practice provides essential clues to the interpretation of (...) his theory of perception. A case study from experimental investigation of hearing shows how he designed such studies in accordance with the epistemological commitments of the theory of perception. Yet, while the theory was important to his experiments, the soundness of the experimental strategy was epistemically independent of those commitments. Secondly, the case study illustrates how Helmholtz consistently held that causal inferences underwrite reference to a real, but indirectly experienced external world. (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)

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)

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)

Computer models and simulations have become, since the 1960s, an essential instrument for scientific inquiry and political decision making in several fields, from climate to life and social sciences. Philosophical reflection has mainly focused on the ontological status of the computational modeling, on its epistemological validity and on the research practices it entails. But in computational sciences, the work on models and simulations are only two steps of a longer and richer process where operations on data are as important as, (...) and even more time and energy-consuming than modeling itself. Drawing on two study cases—computational embryology and computational epidemiology—this article contributes to filling the gap by focusing on the operations of producing and re-using data in computational sciences. The different phases of the scientific and artisanal work of modelers include data collection, aggregation, homogenization, assemblage, analysis and visualization. The article deconstructs the ideas that data are self-evident informational aggregates and that data-driven approaches are exempted from theoretical work. More importantly, the paper stresses the fact that data are constructed and theory laden not only in their fabrication, but also in their reusing. (shrink)

Both thought experiments and simulation experiments apparently belong to the family of experiments, though they are somewhat special members because they work without intervention into the natural world. Instead they explore hypothetical worlds. For this reason many have wondered whether referring to them as “experiments” is justified at all. While most authors are concerned with only one type of “imagined” experiment – either simulation or thought experiment – the present chapter hopes to gain new insight by considering what the two (...) types of experiment share, and what they do not. A close look reveals at least one fundamental methodological difference between thought and simulation experiments: while thought experiments are a cognitive process that employs intuition, simulation experiments rest on automated iterations of formal algorithms. It will be argued that this difference has important epistemological ramifications. (shrink)