After the Event Horizon Telescope Collaboration released in April 2019 the first empirical images of a black hole, an astrophysical object previously thought “unseeable,” much of the public discourse has approached these images as straightforward visual depictions of a black hole. This article challenges this view by showing that the first images of a black hole went beyond merely making an invisible cosmic object visible and that the images published in April 2019 were just the first in a series of (...) black hole images the researchers continue producing. Drawing primarily on Sybille Krämer’s concept of the cartographic impulse, the article demonstrates that the Event Horizon Telescope images are, first and foremost, epistemic tools. These epistemic tools enable researchers to actively explore various physical aspects and dynamic properties of a black hole’s immediate environment and test theoretical predictions about it, thus making this elusive environment empirically knowable. To demonstrate this, the article analyses the mapping operations that combined automated algorithmic procedures with expert human judgment and through which these images were produced, read, and interpreted. It also examines how the different Event Horizon Telescope images relate to one another, which particular epistemic functions they fulfil in the research context, under which conditions, and with which limitations, thus tracing how these images facilitate the production of new scientific knowledge about black holes. (shrink)

Despite its potential implications for the objectivity of scientific knowledge, the claim that “scientific instruments are perspectival” has received little critical attention. I show that this claim is best understood as highlighting the dependence of instruments on different perspectives. When closely analyzed, instead of constituting a novel epistemic challenge, this dependence can be exploited to mount novel strategies for resolving two old epistemic problems: conceptual relativism and theory-ladeness. The novel content of this article consists in articulating and developing these strategies (...) by introducing two fine-grained notions of perspectives as the key units of analysis: “broad perspectives” and “narrow perspectives.”. (shrink)

When radiocarbon dating techniques were applied to archaeological material in the 1950s they were hailed as a revolution. At last archaeologists could construct absolute chronologies anchored in temporal data backed by immutable laws of physics. This would make it possible to mobilize archaeological data across regions and time-periods on a global scale, rendering obsolete the local and relative chronologies on which archaeologists had long relied. As profound as the impact of 14C dating has been, it has had a long and (...) tortuous history now described as proceeding through three revolutions, each of which addresses distinct challenges of capturing, processing and packaging radiogenic data for use in resolving chronological puzzles with which archaeologists has long wrestled. In practice, mobilizing radiogenic data for archaeological use is a hard-won achievement; it involves multiple transformations that, at each step of the way, depend upon a diverse array of technical expertise and background knowledge. I focus on strategies of triangulation and traceability that establish the integrity of these data and their relevance as anchors for evidential reasoning in archaeology. (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)

Even though the philosophy of simulation is intended as a comprehensive reflection about the practice of computer simulation in contemporary science, its output has been disproportionately shaped by research on equation-based simulation in the physical and climate sciences. Hence, the particularities of alternative practices of computer simulation in other scientific domains are not sufficiently accounted for in the current philosophy of simulation literature. This article centres on agent-based social simulation, a relatively established type of simulation in the social sciences, to (...) exemplify this claim. The analysis advanced has a twofold goal. First, it shows that the philosophy of agent-based social simulation, mostly developed by practitioners themselves, is, on one hand, heavily influenced by the methodological features of agent-based modelling and by the loose and fragmented character of social theory and, on the other hand, distinctively shaped by contrasting views of what it implies to do social research with virtual or artificial societies. Second, it suggests ways in which cross-fertilisation could enrich the philosophical understanding of computer simulation both in agent-based social simulation and in the philosophy of simulation. (shrink)

Catherine Elgin has recently argued that a nonfactive conception of understanding is required to accommodate the epistemic successes of science that make essential use of idealizations and models. In this paper, I argue that the fact that our best scientific models and theories are pervasively inaccurate representations can be made compatible with a more nuanced form of scientific realism that I call Understanding Realism. According to this view, science aims at (and often achieves) factive scientific understanding of natural phenomena. I (...) contend that this factive scientific understanding is provided by grasping a set of true modal information about the phenomenon of interest. Furthermore, contrary to Elgin’s view, I argue that the facticity of this kind of scientific understanding can be separated from the inaccuracy of the models and theories used to produce it. (shrink)

Computational modeling should play a central role in philosophy. In this introduction to our topical collection, we propose a small topology of computational modeling in philosophy in general, and show how the various contributions to our topical collection ft into this overall picture. On this basis, we describe some of the ways in which computational models from other disciplines have found their way into philosophy, and how the principles one found here still underlie current trends in the feld. Moreover, we (...) argue that philosophers contribute to computational modeling not only by building their own models, but also by thinking about the various applications of the method in philosophy and the sciences. In this context, we note that models in philosophy are usually simple, while models in the sciences are often more complex and empirically grounded. Bridging certain methodological gaps that arise from this discrepancy may prove to be challenging and fruitful for the further development of computational modeling in philosophy and beyond. (shrink)

What are scientific models? Philosophers of science have been trying to answer this question during the last three decades by putting forward a number of different proposals. Some say that models are best understood as abstract Platonic objects or fictional entities akin to Sherlock Holmes, while others focus on their mathematical nature and see them as set theoretical structures. Although each account has its own strengths in offering various insights on the nature of models, several objections have been raised against (...) these views which still remain unanswered, making the debate on the ontology of models seem unresolvable. The primary aim of this paper is to show that a large part of these difficulties stems from an inappropriate reading of the main question on the ontology of models as a purely metaphysical question. Building on Carnap, it is argued that the question of the ontology of scientific models is either an internal theoretical question within an already accepted linguistic framework or an external practical question regarding the choice of the most appropriate form of language in order to describe and explain the practice of scientific modelling. The main implication of this view is that the question of the ontology of models becomes a means of probing other related questions regarding the overall practice of scientific modelling, such as questions on the capacity of models to provide knowledge and the relation of models with background theories. (shrink)

There are many tangled normative and technical questions involved in evaluating the quality of software used in epidemiological simulations. In this paper we answer some of these questions and offer practical guidance to practitioners, funders, scientific journals, and consumers of epidemiological research. The heart of our paper is a case study of the Imperial College London covid-19 simulator, set in the context of recent work in epistemology of simulation and philosophy of epidemiology.

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)

Pierre Duhem’s influential argument for holism relies on a view of the role that background theory plays in testing: according to this still common account of “auxiliary hypotheses,” elements of background theory serve as truth-apt premises in arguments for or against a hypothesis. I argue that this view is mistaken. Rather than serving as truth-apt premises in arguments, auxiliary hypotheses are employed as “epistemic tools”: instruments that perform specific tasks in connecting our theoretical questions with the world but that are (...) not premises in arguments. On the resulting picture, the acceptability of an auxiliary hypothesis depends not on its truth but on contextual factors such as the task or purpose it is put to and the other tools employed alongside it. (shrink)

In this paper, I utilise the growing literature on scientific modelling to investigate the nature of formal semantics from the perspective of the philosophy of science. Specifically, I incorporate the inferential framework proposed by Bueno and Colyvan : 345–374, 2011) in the philosophy of applied mathematics to offer an account of how formal semantics explains and models its data. This view produces a picture of formal semantic models as involving an embedded process of inference and representation applying indirectly to linguistic (...) phenomena. The final aim of the paper is directed at proposing a novel account of the syntax–semantics interface while shedding light on empty categories, semantically null forms, underspecified content and compositionality as a whole. (shrink)

Representationalism—the view that scientific modeling is best understood in representational terms—is the received view in contemporary philosophy of science. Contributions to this literature have focused on a number of puzzles concerning the nature of representation and the epistemic role of misrepresentation, without considering whether these puzzles are the product of an inadequate analytical framework. The goal of this paper is to suggest that this possibility should be taken seriously. The argument has two parts, employing the “can’t have” and “don’t need” (...) tactics drawn from philosophy of mind. On the one hand, I propose that representationalism doesn’t work: different ways to flesh out representationalism create a tension between its ontological and epistemological components and thereby undermine the view. On the other hand, I propose that representationalism is not needed in the first place—a position I articulate based on a pragmatic stance on the success of scientific research and on the feasibility of alternative philosophical frameworks. I conclude that representationalism is untenable and unnecessary, a philosophical dead end. A new way of thinking is called for if we are to make progress in our understanding of scientific modeling. (shrink)

Margaret Morrison, (2015) Reconstructing Reality: Models, Mathematics, and Simulations. Oxford University Press, New York. -/- Scientific models, mathematical equations, and computer simulations are indispensable to scientific practice. Through the use of models, scientists are able to effectively learn about how the world works, and to discover new information. However, there is a challenge in understanding how scientists can generate knowledge from their use, stemming from the fact that models and computer simulations are necessarily incomplete representations, and partial descriptions, of their (...) target systems. In order to construct a model, one must make idealizations, approximations, and abstractions. Given these constraints in constructing models, there is a question of whether they can provide new insight into how real systems actually work. So, how is it that highly abstract models inform us about the nature of the world, and more specifically, how do they provide explanatory knowledge? In Reconstructing Reality: Models, Mathematics, and Simulations, philosopher Margaret Morrison undertakes this task of ... (shrink)

Una imagen muy generalizada a la hora de entender el software de computador es la que lo representa como una “caja negra”: no importa realmente saber qué partes lo componen internamente, sino qué resultados se obtienen de él según ciertos valores de entrada. Al hacer esto, muchos problemas filosóficos son ocultados, negados o simplemente mal entendidos. Este artículo discute tres unidades de análisis del software de computador, esto es, las especificaciones, los algoritmos y los procesos computacionales. El objetivo central es (...) entender las prácticas cientficas e ingenieriles detrás de cada unidad de software, así como analizar su metodología, ontología y epistemología. (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)

In silico medicine is still forging a road for itself in the current biomedical landscape. Discursively and rhetorically, it is using a three-way positioning, first, deploying discourses of personalised medicine, second, extending the 3Rs from animal to clinical research, and third, aligning its methods with experimental methods. The discursive and rhetorical positioning in promotions and statements of the programme gives us insight into the sociability of the scientific labour of advancing the programme. Its progress depends on complex social, institutional and (...) technological conditions which are not external to its epistemology, but intricately interwoven with it. This article sets out to show that this is the case through an analysis of the process of computational modelling that is at the core of its epistemology. In this paper I show that the very notion of ‘model’ needs to be re-thought for in silico medicine, and propose a replacement, in the form of the ‘Model-Simulation-Experiment-System’ or MSE-system, which is simultaneously an epistemological, social and technological system. I argue that the MSE-system is radically mediated by social relations, technologies and symbolic systems. We need now to understand how such mediations operate effectively in the construction of robust MSE-systems. (shrink)

This paper analyses the anti-reductionist argument from renormalisation group explanations of universality, and shows how it can be rebutted if one assumes that the explanation in question is captured by the counterfactual dependence account of explanation.

Many accounts of scientific modelling assume that models can be decomposed into the contributions made by their accurate and inaccurate parts. These accounts then argue that the inaccurate parts of the model can be justified by distorting only what is irrelevant. In this paper, I argue that this decompositional strategy requires three assumptions that are not typically met by our best scientific models. In response, I propose an alternative view in which idealized models are characterized as holistically distorted representations that (...) are justified by allowing for the application of various modelling techniques. (shrink)

I argue that mathematical representations can have heuristic power since their construction can be ampliative. To this end, I examine how a representation introduces elements and properties into the represented object that it does not contain at the beginning of its construction, and how it guides the manipulations of the represented object in ways that restructure its components by gradually adding new pieces of information to produce a hypothesis in order to solve a problem.In addition, I defend an ‘inferential’ approach (...) to the heuristic power of representations by arguing that these representations draw on ampliative inferences such as analogies and inductions. In effect, in order to construct a representation, we have to ‘assimilate’ diverse things, and this requires identifying similarities between them. These similarities form the basis for ampliative inferences that gradually build hypotheses to solve a problem.To support my thesis, I analyse two examples. The first one is intra-field, that is, the construction of an algebraic representation of 3-manifolds; the second is inter-fields, that is, the construction of a topological representation of DNA supercoiling. (shrink)

I argue that the appropriateness of an assertion is sensitive to context—or, really, the “common ground”—in a way that hasn’t previously been emphasized by philosophers. This kind of context-sensitivity explains why some scientific conclusions seem to be appropriately asserted even though they are not known, believed, or justified on the available evidence. I then consider other recent attempts to account for this phenomenon and argue that if they are to be successful, they need to recognize the kind of context-sensitivity that (...) I argue for. (shrink)

This groundbreaking, open access volume analyses and compares data practices across several fields through the analysis of specific cases of data journeys. It brings together leading scholars in the philosophy, history and social studies of science to achieve two goals: tracking the travel of data across different spaces, times and domains of research practice; and documenting how such journeys affect the use of data as evidence and the knowledge being produced. The volume captures the opportunities, challenges and concerns involved in (...) making data move from the sites in which they are originally produced to sites where they can be integrated with other data, analysed and re-used for a variety of purposes. The in-depth study of data journeys provides the necessary ground to examine disciplinary, geographical and historical differences and similarities in data management, processing and interpretation, thus identifying the key conditions of possibility for the widespread data sharing associated with Big and Open Data. The chapters are ordered in sections that broadly correspond to different stages of the journeys of data, from their generation to the legitimisation of their use for specific purposes. Additionally, the preface to the volume provides a variety of alternative “roadmaps” aimed to serve the different interests and entry points of readers; and the introduction provides a substantive overview of what data journeys can teach about the methods and epistemology of research. (shrink)

The philosophy of science community mourns the loss of Margaret Catherine Morrison, who passed away on January 9, 2021, after a long battle with cancer. Margie, as she was known to all who knew her, was highly regarded for her influential contributions to the philosophy of science, particularly her studies of the role of models and simulations in the natural and social sciences. These contributions made her a world-leading philosopher of science, instrumental in shifting philosophers' attention from the structure of (...) scientific theories to the practice of science. Her sophisticated studies of the function of models in scientific practice drew on detailed knowledge of the theories and experiments of physics as well as the history of physics. In emphasizing the autonomy of scientific models and their interventional character, her insights had some affinity with Cartwright's and Hacking’s views on phenomenological laws, entity realism, the instrumentalist interpretation of scientific theories, and the disunity of science. But Morrison’s approach was distinguished by the conviction that the existence of unobservable entities cannot be defended independently of the theories that support their evidence, and that scientific practice cannot be adequately understood without examining the reasons for theory unification. (shrink)

Analogies between classical statistical mechanics and quantum field theory played a pivotal role in the development of renormalization group methods for application in the two theories. This paper focuses on the analogies that informed the application of RG methods in QFT by Kenneth Wilson and collaborators in the early 1970's. The central task that is accomplished is the identification and analysis of the analogical mappings employed. The conclusion is that the analogies in this case study are formal analogies, and not (...) physical analogies. That is, the analogical mappings relate elements of the models that play formally analogous roles and that have substantially different physical interpretations. Unlike other cases of the use of analogies in physics, the analogical mappings do not preserve causal structure. The conclusion that the analogies in this case are purely formal carries important implications for the interpretation of QFT, and poses challenges for philosophical accounts of analogical reasoning and arguments in defence of scientific realism. Analysis of the interpretation of the cutoffs is presented as an illustrative example of how physical disanalogies block the exportation of physical interpretations from from statistical mechanics to QFT. A final implication is that the application of RG methods in QFT supports non-causal explanations, but in a different manner than in statistical mechanics. (shrink)

I distinguish two versions of kin selection theory—a purely genetic version and a version that also appeals to cultural forms of cooperation —and present an argument in favor of using the former when it comes to accounting for the evolution of cooperation in non-human organisms. Specifically, I first show that both GKST and WKST are equally mathematically coherent—they can both be derived from the Price equation—but not necessarily equally empirically plausible, as they are based on different assumptions about the inheritance (...) system underlying the cooperative phenotype. Given this, I then, second, present a model selection theoretic argument in favor of GKST over WKST. This argument is based on the fact that, in non-human cases, the former theory is likely to be as empirically successful as WKST, while containing fewer degrees of freedom. I end by defending both the intrinsic importance of this argument and its relevance to the discussion surrounding the “gene’s eye view of evolution.”. (shrink)

We introduce a novel point of view on the “models as mediators” framework in order to emphasize certain important epistemological questions about models in science which have so far been little investigated. To illustrate how this perspective can help answer these kinds of questions, we explore the use of simplified models in high energy physics research beyond the Standard Model. We show in detail how the construction of simplified models is grounded in the need to mitigate pressing epistemic problems concerning (...) the uncertainty inherent in the present theoretical and experimental contexts. (shrink)

In this paper, I first argue against various attempts to justify idealizations in scientific models that explain by showing that they are harmless and isolable distortions of irrelevant features. In response, I propose a view in which idealized models are characterized as providing holistically distorted representations of their target system. I then suggest an alternative way that idealized modeling can be justified by appealing to universality.

Abstraction and idealization are the two notions that are most often discussed in the context of assumptions employed in the process of model building. These notions are also routinely used in philosophical debates such as that on the mechanistic account of explanation. Indeed, an objection to the mechanistic account has recently been formulated precisely on these grounds: mechanists cannot account for the common practice of idealizing difference-making factors in models in molecular biology. In this paper I revisit the debate and (...) I argue that the objection does not stand up to scrutiny. This is because it is riddled with a number of conceptual inconsistencies. By attempting to resolve the tensions, I also draw several general lessons regarding the difficulties of applying abstraction and idealization in scientific practice. Finally, I argue that more care is needed only when speaking of abstraction and idealization in a context in which these concepts play an important role in an argument, such as that on mechanistic explanation. (shrink)

This paper presents an account of how to evaluate formal models of science: models and simulations in social epistemology designed to draw normative conclusions about the social structure of scientific research. I argue that such models should be evaluated according to their representational and predictive accuracy. Using these criteria and comparisons with familiar models from science, I argue that most formal models of science are incapable of supporting normative conclusions.

It is assumed that scientific models contain no superfluous model elements in scientific representation. A representational model is constructed with all the model elements serving the representational purpose. The received view has it that there are no redundant model elements which are non-representational. Contrary to this received view, I argue that there exist some non-representational model elements which are essential in scientific representation. I call them representation-supporting model elements in virtue of the fact that they play the role to support (...) the representational role of representational model elements. Representation-supporting model elements, which have a characteristic of dependability, are not to be eliminated in the process of modeling although they are playing second fiddle to representational model elements in scientific representation. (shrink)

Conceptual constructive models are a type of scientific model that can be used to construct or reshape the target phenomenon conceptually. Though it has received scant attention from the philosophers, it raises an intriguing issue of how a conceptual constructive model can construct the target phenomenon in a conceptual way. Proponents of the conception of conceptual constructive models are not being explicit about the application of the constructive force of a model in the target construction. It is far from clear (...) that how a conceptual constructive model exerts its constructive force on the constructed phenomenon of interest. Consequently, the function and the epistemic status of a conceptual constructive model are dubious at best. Making use of the conception of abstraction-as-aggregation, I argue that a conceptual constructive model can be used to construct the phenomenon of interest conceptually via a two-step process of abstraction: (1) abstracting away the lower-level details; and (2) aggregating the relevant information into a higher-level composite element. I contend that this process of abstraction, which is not playing the representational role as in a typical representational model, confers the constructive force on a model. (shrink)

Generative models have been proposed as a new type of non-representational scientific models recently. A generative model is characterized with the capacity of producing new models on the basis of the existing one. The current accounts do not explain sufficiently the mechanism of the generative capacity of a generative model. I attempt to accomplish this task in this paper. I outline two antecedent accounts of generative models. I point out that both types of generative models function to generate new homogenous (...) models in the sense that the latter is a straightforward derivative of the former, both of which share many similar features. Unfortunately, both accounts are implicit about the generative capacity of generative models. Using a case study, I articulate that a two-staged process of abstraction and idealization in modeling may contribute to the generative capacity of a scientific model. I also demonstrate that this two-staged process may go beyond the capacity of generating new homogenous models to generating new heterogeneous models. (shrink)

ion is one of the important processes in scientific modeling. It has always been implied that abstraction is an agent-centric activity that involves the cognitive processes of scientists in model building. I contend that there is an autonomous aspect of abstraction in many modeling activities. I argue that the autonomous process of abstraction is continuous with the agent-centric abstraction but capable of evolving independently from the modeler’s abstraction activity.

Mitchell & Gronenborn propose that we account for the presence of multiple models of protein structure, each produced in different contexts, through the framework of integrative pluralism. I argue that two interpretations of this framework are available, neither of which captures the relationship between a model and the protein structure it represents or between multiple models of protein structure. Further, it inclines us toward concluding prematurely that models of protein structure are right in their contexts and makes extrapolation of findings (...) from one context to another seem unwarranted. Instead, protein structure determination ought to be understood as modestly monistic. There is one model for every protein in each physicochemical context, and models of the same protein produced in different contexts are compatible with one another. ‘Integrating’ multiple models amounts to extrapolating from one context to another; this is possible because the effect of context on protein folding is relatively weak and predictable. Modest monism better describes the practice of protein structure determination than integrative pluralism and enables greater attention to how context affects protein folding. (shrink)

What does it mean to trust the results of a computer simulation? This paper argues that trust in simulations should be grounded in empirical evidence, good engineering practice, and established theoretical principles. Without these constraints, computer simulation risks becoming little more than speculation. We argue against two prominent positions in the epistemology of computer simulation and defend a conservative view that emphasizes the difference between the norms governing scientific investigation and those governing ordinary epistemic practices.

We address some of the epistemological challenges highlighted by the Critical Data Studies literature by reference to some of the key debates in the philosophy of science concerning computational modeling and simulation. We provide a brief overview of these debates focusing particularly on what Paul Humphreys calls epistemic opacity. We argue that debates in Critical Data Studies and philosophy of science have neglected the problem of error management and error detection. This is an especially important feature of the epistemology of (...) Big Data. In “Error” section we explain the main characteristics of error detection and correction along with the relationship between error and path complexity in software. In this section we provide an overview of conventional statistical methods for error detection and review their limitations when faced with the high degree of conditionality inherent to modern software systems. (shrink)

This essay examines the issue of false assumptions in models via a case study of a prominent economic model of sustainable development, wherein the assumption of an infinite future plays a central role. Two proposals are found to be helpful for this case, one based on the concept of derivational robustness and the other on understanding. Both suggest that the assumption of an infinite future, while arguably legitimate in some applications of the model, is problematic with respect to what I (...) call “Parfitian” welfare functions. This result is relevant to debates about discounting the future in economics and environmental ethics. (shrink)

Computer simulations have conventionally been understood to be either extensions of formal methods such as mathematical models or as special cases of empirical practices such as experiments. Here, I argue that computer simulations are best understood as instruments. Understanding them as such can better elucidate their actual role as well as their potential epistemic standing in relation to science and other scientific methods, practices and devices.

Reports of quantitative experimental results often distinguish between the statistical uncertainty and the systematic uncertainty that characterize measurement outcomes. This article discusses the practice of estimating systematic uncertainty in high-energy physics. The estimation of systematic uncertainty in HEP should be understood as a minimal form of quantitative robustness analysis. The secure evidence framework is used to explain the epistemic significance of robustness analysis. However, the empirical value of a measurement result depends crucially not only on the resulting systematic uncertainty estimate, (...) but on the learning aims for which that result will be used. Important conceptual and practical questions regarding systematic uncertainty assessment call for further investigation. _1_ Introduction _2_ Systematic Uncertainty: The Very Idea _3_ Systematic Uncertainty in High-Energy Physics _4_ Methodological Debates in High-Energy Physics _5_ The Secure Evidence Framework _6_ Systematic Uncertainty Assessment as Robustness Analysis _7_ Security and Sensitivity _8_ Conclusion Appendix. (shrink)

Amidst long-running debates within the field, high energy physics has adopted a statistical methodology that primarily employs standard frequentist techniques such as significance testing and confidence interval estimation, but incorporates Bayesian methods for limited purposes. The discovery of the Higgs boson has drawn increased attention to the statistical methods employed within HEP. Here I argue that the warrant for the practice in HEP of relying primarily on frequentist methods can best be understood as pragmatic, in the sense that statistical methods (...) are chosen for their suitability for the practical demands of experimental HEP, rather than reflecting a commitment to a particular epistemic framework. In particular, I argue that understanding the statistical methodology of HEP through the perspective of pragmatism clarifies the role of and rationale for significance testing in the search for new phenomena such as the Higgs boson. (shrink)

This article elaborates the epistemic indispensability argument, which fully embraces the epistemic contribution of mathematics to science, but rejects the contention that such a contribution is a reason for granting reality to mathematicalia. Section 1 introduces the distinction between ontological and epistemic readings of the indispensability argument. Section 2 outlines some of the main flaws of the first premise of the ontological reading. Section 3 advances the epistemic indispensability argument in view of both applied and pure mathematics. And Sect. 4 (...) makes a case for the epistemic approach, which firstly calls into question the appeal to inference to the best explanation in the defense of the indispensability claim; secondly, distinguishes between mathematical and physical posits; and thirdly, argues that even though some may think that inference to the best explanation works in the postulation of physical posits, no similar considerations are available for postulating mathematicalia. (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)

A persistent criticism of radical embodied cognitive science is that it will be impossible to explain “real cognition” without invoking mental representations. This paper provides an account of explicit, real-time thinking of the kind we engage in when we imagine counter-factual situations, remember the past, and plan for the future. We first present a very general non-representational account of explicit thinking, based on pragmatist philosophy of science. We then present a more detailed instantiation of this general account drawing on nonlinear (...) dynamics and ecological psychology. (shrink)

Computational modeling should play a central role in philosophy. In this introduction to our topical collection, we propose a small topology of computational modeling in philosophy in general, and show how the various contributions to our topical collection fit into this overall picture. On this basis, we describe some of the ways in which computational models from other disciplines have found their way into philosophy, and how the principles one found here still underlie current trends in the field. Moreover, we (...) argue that philosophers contribute to computational modeling not only by building their own models, but also by thinking about the various applications of the method in philosophy and the sciences. In this context, we note that models in philosophy are usually simple, while models in the sciences are often more complex and empirically grounded. Bridging certain methodological gaps that arise from this discrepancy may prove to be challenging and fruitful for the further development of computational modeling in philosophy and beyond. (shrink)

In this paper, we argue that rather than exclusively focusing on trying to determine if an idealized model fits a particular account of scientific explanation, philosophers of science should also work on directly analyzing various explanatory schemas that reveal the steps and justification involved in scientists’ use of highly idealized models to formulate explanations. We develop our alternative methodology by analyzing historically important cases of idealized statistical modeling that use a three-step explanatory schema involving idealization, mathematical operation, and explanatory interpretation.

Continuous culture techniques were developed in the early twentieth century to replace cumbersome studies of cell growth in batch cultures. In contrast to batch cultures, they constituted an open concept, as cells are forced to proliferate by adding new medium while cell suspension is constantly removed. During the 1940s and 1950s new devices have been designed—called “automatic syringe mechanism,” “turbidostat,” “chemostat,” “bactogen,” and “microbial auxanometer”—which allowed increasingly accurate quantitative measurements of bacterial growth. With these devices cell growth came under the (...) external control of the experimenters and thus accessible for developing a mathematical theory of growth kinetics—developed mainly by Jacques Monod, Aron Novick and Leo Szilard in the early 1950s and still in use today. The paper explores the development of continuous culture devices and claims that these devices are simulators for standard cells following specific requirements, in particular involving mathematical constraints in the design and setting of the devices as well as experiments. These requirements have led to contemporary designs of continuous culture techniques realizing a specific event-based flow algorithm able to simulate directed evolution and produce artificial cells and microorganisms. This current development is seen as an alternative approach to today’s synthetic biology. (shrink)