It is often claimed—especially by scientific realists—that science provides understanding of the world only if its theories are (at least approximately) true descriptions of reality, in its observable as well as unobservable aspects. This paper critically examines this ‘realist thesis’ concerning understanding. A crucial problem for the realist thesis is that (as study of the history and practice of science reveals) understanding is frequently obtained via theories and models that appear to be highly unrealistic or even completely fictional. So we (...) face the dilemma of either giving up the realist thesis that understanding requires truth, or allowing for the possibility that in many if not all practical cases we do not have scientific understanding. I will argue that the first horn is preferable: the link between understanding and truth can be severed. This becomes a live option if we abandon the traditional view that scientific understanding is a special type of knowledge. While this view implies that understanding must be factive, I avoid this implication by identifying understanding with a skill rather than with knowledge. I will develop the idea that understanding phenomena consists in the ability to use a theory to generate predictions of the target system’s behavior. This implies that the crucial condition for understanding is not truth but intelligibility of the theory, where intelligibility is defined as the value that scientists attribute to the theoretical virtues that facilitate the construction of models of the phenomena. I will show, first, that my account accords with the way practicing scientists conceive of understanding, and second, that it allows for the use of idealized or fictional models and theories in achieving understanding. (shrink)

Starting from the sixties of the past century theory change has become a main concern of philosophy of science. Two of the best known formal accounts of theory change are the post-Popperian theories of verisimilitude (PPV for short) and the AGM theory of belief change (AGM for short). In this paper, we will investigate the conceptual relations between PPV and AGM and, in particular, we will ask whether the AGM rules for theory change are effective means for approaching the truth, (...) i.e., for achieving the cognitive aim of science pointed out by PPV. First, the key ideas of PPV and AGM and their application to a particular kind of propositional theories - the so called "conjunctive propositions" - will be illustrated. Afterwards, we will prove that, as far as conjunctive propositions are concerned, AGM belief change is an effective tool for approaching the truth. (shrink)

A cognitive ethnography of how bioengineering scientists create innovative modeling methods. In this first full-scale, long-term cognitive ethnography by a philosopher of science, Nancy J. Nersessian offers an account of how scientists at the interdisciplinary frontiers of bioengineering create novel problem-solving methods. Bioengineering scientists model complex dynamical biological systems using concepts, methods, materials, and other resources drawn primarily from engineering. They aim to understand these systems sufficiently to control or intervene in them. What Nersessian examines here is how cutting-edge bioengineering (...) scientists integrate the cognitive, social, material, and cultural dimensions of practice. Her findings and conclusions have broad implications for researchers in philosophy, science studies, cognitive science, and interdisciplinary studies, as well as scientists, educators, policy makers, and funding agencies. In studying the epistemic practices of scientists, Nersessian pushes the boundaries of the philosophy of science and cognitive science into areas not ventured before. She recounts a decades-long, wide-ranging, and richly detailed investigation of the innovative interdisciplinary modeling practices of bioengineering researchers in four university laboratories. She argues and demonstrates that the methods of cognitive ethnography and qualitative data analysis, placed in the framework of distributed cognition, provide the tools for a philosophical analysis of how scientific discoveries arise from complex systems in which the cognitive, social, material, and cultural dimensions of problem-solving are integrated into the epistemic practices of scientists. Specifically, she looks at how interdisciplinary environments shape problem-solving. Although Nersessian’s case material is drawn from the bioengineering sciences, her analytic framework and methodological approach are directly applicable to scientific research in a broader, more general sense, as well. (shrink)

Scientists depend on complex computational systems that are often ineliminably opaque, to the detriment of our ability to give scientific explanations and detect artifacts. Some philosophers have s...

Computational systems biologists create and manipulate computational models of biological systems, but they do not always have straightforward epistemic access to the content and behavioural profile of such models because of their length, coding idiosyncrasies, and formal complexity. This creates difficulties both for modellers in their research groups and for their bioscience collaborators who rely on these models. In this paper we introduce a new kind of visualization that was developed to address just this sort of epistemic opacity. The visualization (...) is unusual in that it depicts the dynamics and structure of a computer model instead of that model’s target system, and because it is generated algorithmically. Using considerations from epistemology and aesthetics, we explore how this new kind of visualization increases scientific understanding of the content and function of computer models in systems biology to reduce epistemic opacity. (shrink)

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

Modern integrative systems biology defines itself by the complexity of the problems it takes on through computational modeling and simulation. However in integrative systems biology computers do not solve problems alone. Problem solving depends as ever on human cognitive resources. Current philosophical accounts hint at their importance, but it remains to be understood what roles human cognition plays in computational modeling. In this paper we focus on practices through which modelers in systems biology use computational simulation and other tools to (...) handle the cognitive complexity of their modeling problems so as to be able to make significant contributions to understanding, intervening in, and controlling complex biological systems. We thus show how cognition, especially processes of simulative mental modeling, is implicated centrally in processes of model-building. At the same time we suggest how the representational choices of what to model in systems biology are limited or constrained as a result. Such constraints help us both understand and rationalize the restricted form that problem solving takes in the field and why its results do not always measure up to expectations. (shrink)

This paper presents an artifactual approach to models that also addresses their fictional features. It discusses first the imaginary accounts of models and fiction that set model descriptions apart from imagined-objects, concentrating on the latter :251–268, 2010; Frigg and Nguyen in The Monist 99:225–242, 2016; Godfrey-Smith in Biol Philos 21:725–740, 2006; Philos Stud 143:101–116, 2009). While the imaginary approaches accommodate surrogative reasoning as an important characteristic of scientific modeling, they simultaneously raise difficult questions concerning how the imagined entities are related (...) to actual representational tools, and coordinated among different scientists, and with real-world phenomena. The artifactual account focuses, in contrast, on the culturally established external representational tools that enable, embody, and extend scientific imagination and reasoning. While there are commonalities between models and fictions, it is argued that the focus should be on the fictional uses of models rather than considering models as fictions. (shrink)

Building computational models of engineered exemplars, or prototypes, is a common practice in the bioengineering sciences. Computational models in this domain are often built in a patchwork fashion, drawing on data and bits of theory from many different domains, and in tandem with actual physical models, as the key objective is to engineer these prototypes of natural phenomena. Interestingly, such patchy model building, often combined with visualizations, whose format is open to a wide range of choice, leads to the discovery (...) of new concepts and control structures. Two key questions are raised by this practice: how could discoveries arise from building external representations for which there is wide latitude in choice of the components from which they are built, and thus can be considered significantly arbitrary, and how could such discoveries allow engineering a real-world prototype system. To examine these questions, we present two case studies of discoveries that emerged from the building of such computational models in the bioengineering sciences. We then develop a process model that accounts for the discovery and transfer problems raised by both these cases, focusing on the process of building the model. Specifically, to account for the discovery problem, we propose that the process of building such models gradually leads to a close coupling between the modeler’s internal processes and the external dynamic model. To account for the transfer problem, we propose that the process of building the model leads to the creation of an enactive model that is generic, which closely enacts, and thus reveals, the way the system-level behavior of the engineered prototype emerges in time through the interaction of its parts. This enactive replication process leads to the model and the prototype forming a new class, which allows concepts and control structures developed for the computational model to be transfered to the real-world prototype. We argue that this account requires rethinking correspondence in engineering sciences as a plastic and enactive relation. A closer focus on the process of building models is required to develop a general account of this emerging approach to discovery. (shrink)

Computer simulations constitute a significant scientific tool for promoting scientific understanding of natural phenomena and dynamic processes. Substantial leaps in computational force and software engineering methodologies now allow the design and development of large-scale biological models, which – when combined with advanced graphics tools – may produce realistic biological scenarios, that reveal new scientific explanations and knowledge about real life phenomena. A state-of-the-art simulation system termed Reactive Animation (RA) will serve as a study case to examine the contemporary philosophical debate (...) on the scientific value of simulations, as we demonstrate its ability to form a scientific explanation of natural phenomena and to generate new emergent behaviors, making possible a prediction or hypothesis about the equivalent real-life phenomena. (shrink)

Where should computer simulations be located on the ‘usual methodological map’ which distinguishes experiment from theory? Specifically, do simulations ultimately qualify as experiments or as thought experiments? Ever since Galison raised that question, a passionate debate has developed, pushing many issues to the forefront of discussions concerning the epistemology and methodology of computer simulation. This review article illuminates the positions in that debate, evaluates the discourse and gives an outlook on questions that have not yet been addressed.

In which respects do modeling and experimenting resemble or differ from each other? We explore this question through studying in detail the combinatorial strategy in synthetic biology whereby scientists triangulate experimentation on model organisms, mathematical modeling, and synthetic modeling. We argue that this combinatorial strategy is due to the characteristic constraints of the three epistemic activities. Moreover, our case study shows that in some cases materiality clearly matters, in fact it provides the very rationale of synthetic modeling. We will show (...) how the materialities of the different kinds of models – biological components versus mathematical symbols – in combination with their different structures – the complexity of biological organisms versus the isolated network structure and its mathematical dynamics - define the spectrum of epistemic possibilities in synthetic biology. Furthermore, our case shows that from the perspective of scientific practice the question of whether or not simulations are like or unlike experiments is often beside the point, since they are used to accomplish different kinds of things. (shrink)

Deep neural networks have become increasingly successful in applications from biology to cosmology to social science. Trained DNNs, moreover, correspond to models that ideally allow the prediction of new phenomena. Building in part on the literature on ‘eXplainable AI’, I here argue that these models are instrumental in a sense that makes them non-explanatory, and that their automated generation is opaque in a unique way. This combination implies the possibility of an unprecedented gap between discovery and explanation: When unsupervised models (...) are successfully used in exploratory contexts, scientists face a whole new challenge in forming the concepts required for understanding underlying mechanisms. (shrink)

Computer simulations are often claimed to be opaque and thus to lack transparency. But what exactly is the opacity of simulations? This paper aims to answer that question by proposing an explication of opacity. Such an explication is needed, I argue, because the pioneering definition of opacity by P. Humphreys and a recent elaboration by Durán and Formanek are too narrow. While it is true that simulations are opaque in that they include too many computations and thus cannot be checked (...) by hand, this doesn’t exhaust what we might want to call the opacity of simulations. I thus make a fresh start with the natural idea that the opacity of a method is its disposition to resist knowledge and understanding. I draw on recent work on understanding and elaborate the idea by a systematic investigation into what type of knowledge and what type of understanding are required if opacity is to be avoided and why the required sort of understanding, in particular, is difficult to achieve. My proposal is that a method is opaque to the degree that it’s difficult for humans to know and to understand why its outcomes arise. This proposal allows for a comparison between different methods regarding opacity. It further refers to a kind of epistemic access that is important in scientific work with simulations. (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)

Novel computational representations, such as simulation models of complex systems and video games for scientific discovery, are dramatically changing the way discoveries emerge in science and engineering. The cognitive roles played by such computational representations in discovery are not well understood. We present a theoretical analysis of the cognitive roles such representations play, based on an ethnographic study of the building of computational models in a systems biology laboratory. Specifically, we focus on a case of model-building by an engineer that (...) led to a remarkable discovery in basic bioscience. Accounting for such discoveries requires a distributed cognition analysis, as DC focuses on the roles played by external representations in cognitive processes. However, DC analyses by and large have not examined scientific discovery, and they mostly focus on memory offloading, particularly how the use of existing external representations changes the nature of cognitive tasks. In contrast, we study discovery processes and argue that discoveries emerge from the processes of building the computational representation. The building process integrates manipulations in imagination and in the representation, creating a coupled cognitive system of model and modeler, where the model is incorporated into the modeler's imagination. This account extends DC significantly, and we present some of the theoretical and application implications of this extended account. (shrink)

This paper offers an analytic perspective on epistemic dependence that is grounded in theoretical discussion and field observation at the same time. When in the course of knowledge creation epistemic labor is divided, collaborating scientists come to depend upon one another epistemically. Since instances of epistemic dependence are multifarious in scientific practice, I propose to distinguish between two different forms of epistemic dependence, opaque and translucent epistemic dependence. A scientist is opaquely dependent upon a colleague if she does not possess (...) the expertise necessary to independently carry out, and to profoundly assess, the piece of scientific labor which her colleague is contributing. If the scientist does possess the necessary expertise, I argue, her dependence is translucent. However, the distinction between opaque and translucent epistemic dependence does not exhaust dependence relations in scientific practice, because many dependence relations are neither entirely opaque nor translucent. I will discuss why this is the case, and show how we can make sense of the gray zone between opaque and translucent epistemic dependence. (shrink)

An overview of the German philosophy of science community is given for the years 1992–2012, based on a survey in which 159 philosophers of science in Germany participated. To this end, the institutional background of the German philosophy of science community is examined in terms of journals, centers, and associations. Furthermore, a qualitative description and a quantitative analysis of our survey results are presented. Quantitative estimates are given for: (a) academic positions, (b) research foci, (c) philosophers’ of science most important (...) publications, and (d) externally funded projects, where for (c) all survey participants had indicated their five most important publications in philosophy of science. In addition, the survey results for (a)–(c) are also qualitatively described, as they are interesting in their own right. With respect to (a), we estimated the gender distribution among academic positions. Concerning (c), we quantified philosophers’ of science preference for (i) journals and publishers, (ii) publication format, (iii) language, and (iv) coauthorship for their most important publications. With regard to research projects, we determined their (i) prevalence, (ii) length, and (iii) trend (an increase in number?) as well as their most frequent (iv) research foci and (v) funding organizations. We also distinguished between German-based and non-German-based journals, publishers, and funding institutions, making it thereby possible to evaluate the involvement of the German philosophy of science community in the international research landscape. Finally, we discuss some implications of our findings. (shrink)

I present a case study of scientific discovery, where building two functional and behavioral approximations of neurons, one physical and the other computational, led to conceptual and implementation breakthroughs in a neural engineering laboratory. Such building of external systems that mimic target phenomena, and the use of these external systems to generate novel concepts and control structures, is a standard strategy in the new engineering sciences. I develop a model of the cognitive mechanism that connects such built external systems with (...) internal models, and I examine how new discoveries, and consensus on discoveries, could arise from this external‐internal coupling and the building process. The model is based on the emerging framework of common coding, which proposes a shared representation in the brain between the execution, perception, and imagination of movement. (shrink)

In climate science, climate models are one of the main tools for understanding phenomena. Here, we develop a framework to assess the fitness of a climate model for providing understanding. The framework is based on three dimensions: representational accuracy, representational depth, and graspability. We show that this framework does justice to the intuition that classical process-based climate models give understanding of phenomena. While simple climate models are characterized by a larger graspability, state-of-the-art models have a higher representational accuracy and representational (...) depth. We then compare the fitness-for-providing understanding of process-based to data-driven models that are built with machine learning. We show that at first glance, data-driven models seem either unnecessary or inadequate for understanding. However, a case study from atmospheric research demonstrates that this is a false dilemma. Data-driven models can be useful tools for understanding , specifically for phenomena for which scientists can argue from the coherence of the models with background knowledge to their representational accuracy and for which the model complexity can be reduced such that they are graspable to a satisfactory extent. When citing this paper, please use the full journal title Studies in History and Philosophy of Science. (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)

It is sometimes said that simulation can serve as epistemic substitute for experimentation. Such a claim might be suggested by the fast-spreading use of computer simulation to investigate phenomena not accessible to experimentation. But what does that mean? The paper starts with a clarification of the terms of the issue and then focuses on two powerful arguments for the view that simulation and experimentation are ‘epistemically on a par’. One is based on the claim that, in experimentation, no less than (...) in simulation, it is not the system under study that is manipulated but a system that ‘stands-in’ for it. The other one highlights the pervasive use of models in experimentation. It will be argued that these arguments, as compelling as they might seem, are each based on a mistaken interpretation of experimentation and that, far from simulation and experimentation being epistemically on a par, they do not have the same epistemic function, do not produce the same kind of epistemic results. (shrink)

In this paper, we pursue three general aims: (I) We will define a notion of fundamental opacity and ask whether it can be found in High Energy Physics (HEP), given the involvement of machine learning (ML) and computer simulations (CS) therein. (II) We identify two kinds of non-fundamental, contingent opacity associated with CS and ML in HEP respectively, and ask whether, and if so how, they may be overcome. (III) We address the question of whether any kind of opacity, contingent (...) or fundamental, is unique to ML or CS, or whether they stand in continuity to kinds of opacity associated with other scientific research. (shrink)

Explanation is commonly considered one of the central goals of science. Although computer simulations have become an important tool in many scientific areas, various philosophical concerns indicate that their explanatory power requires further scrutiny. We examine a case study in which atomistic simulations have been used to examine the factors responsible for the transport selectivity of certain channel proteins located at cell membranes. By elucidating how precisely atomistic simulations helped scientists draw inferences about the molecular system under investigation, we respond (...) to some concerns regarding their explanatory power. We argue that atomistic simulations can be tools for managing molecular complexity and for systematically assessing how the occurrence of the explanandum is sensitive to a range of factors. (shrink)

Mathematical models are often expected to provide not only predictions about the phenomenon that they represent, but also explanations. These explanations are answers to why-questions and particularly answers to why the predicted phenomenon should occur. For instance, models can be used to calculate when the next total solar eclipse will happen, and then to explain why it will take place on July 2, 2019. In this regard we can obtain explanations from a model if we can solve the model equations (...) which govern the phenomenon under study. But some equations have no explicit solution or are too complicated to solve. In these cases it is difficult for a... (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)