In this article, I focus on the role of computer simulations as exploratory strategies. I begin by establishing the non-theory-driven nature of simulations. This refers to their ability to characterize phenomena without relying on a predefined conceptual framework that is provided by an implemented mathematical model. Drawing on Steinle’s notion of exploratory experimentation and Gelfert’s work on exploratory models, I present three exploratory strategies for computer simulations: (1) starting points and continuation of scientific inquiry, (2) varying the parameters, and (3) (...) scientific prototyping. (shrink)

Experiments in particle physics have hitherto failed to produce any significant evidence for the many explicit models of physics beyond the Standard Model (BSM) that had been proposed over the past decades. As a result, physicists have increasingly turned to model-independent strategies as tools in searching for a wide range of possible BSM effects. In this paper, we describe the Standard Model Effective Field Theory (SM-EFT) and analyse it in the context of the philosophical discussions about models, theories, and (bottom-up) (...) effective field theories. We find that while the SM-EFT is a quantum field theory, assisting experimentalists in searching for deviations from the SM, in its general form it lacks some of the characteristic features of models. Those features only come into play if put in by hand or prompted by empirical evidence for deviations. Employing different philosophical approaches to models, we argue that the case study suggests not to take a view on models that is overly permissive because it blurs the lines between the different stages of the SM-EFT research strategies and glosses over particle physicists' motivations for undertaking this bottom-up approach in the first place. Looking at EFTs from the perspective of modelling does not require taking a stance on some specific brand of realism or taking sides in the debate between reduction and emergence into which EFTs have recently been embedded. (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)

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 nowadays often directly involved in the generation of experimental results. Given this dependency of experiments on computer simulations, that of simulations on models, and that of the models on free parameters, how do researchers establish trust in their experimental results? Using high-energy physics (HEP) as a case study, I will identify three different types of robustness that I call conceptual, methodological, and parametric robustness, and show how they can sanction this trust. However, as I will also show, (...) simulation models in HEP themselves fail to exhibit a type of robustness I call inverse parametric robustness. This combination of robustness and failures thereof is best understood by distinguishing different epistemic capacities of simulations and different senses of trust: Trusting simulations in their capacity to facilitate credible experimental results can mean accepting them as means for generating belief in these results, while this need not imply believing the models themselves in their capacity to represent an underlying reality. (shrink)

In the late 19th century, physiologists such as David Ferrier, Eduard Hitzig, and Hermann Munk argued that cerebral brain functions are localized in discrete structures. By the early 20th century, this became the dominant position. However, another prominent physiologist, Friedrich Goltz, rejected theories of cerebral localization and argued against these physiologists until his death in 1902. I argue in this paper that previous historical accounts have failed to comprehend why Goltz rejected cerebral localization. I show that Goltz adhered to a (...) falsificationist methodology, and I reconstruct how he designed his experiments and weighted different kinds of evidence. I then draw on the exploratory experimentation literature from recent philosophy of science to trace one root of the debate to differences in how the German localizers designed their experiments and reasoned about evidence. While Goltz designed his experiments to test hypotheses about the functions of predetermined cerebral structures, the localizers explored new functions and structures in the process of constructing new theories. I argue that the localizers relied on untested background conjectures to justify their inferences about functional organization. These background conjectures collapsed a distinction between phenomena they produced direct evidence for (localized symptoms) and what they reached conclusions about (localized functions). (shrink)

In the theory-dominated view of scientific experimentation, all relations of theory and experiment are taken on a par; namely, that experiments are performed solely to ascertain the conclusions of scientific theories. As a result, different aspects of experimentation and of the relation of theory to experiment remain undifferentiated. This in turn fosters a notion of theory-ladenness of experimentation that is too coarse-grained to accurately describe the relations of theory and experiment in scientific practice. By contrast, in this article, I suggest (...) that TLE should be understood as an umbrella concept that has different senses. To this end, I introduce a three-fold distinction among the theories of high-energy particle physics as background theories, model theories and phenomenological models. Drawing on this categorization, I contrast two types of experimentation, namely, “theory-driven” and “exploratory” experiments, and I distinguish between the “weak” and “strong” senses of TLE in the context of scattering experiments from the history of HEP. This distinction enables to identify the exploratory character of the deep-inelastic electron-proton scattering experiments—performed at the Stanford Linear Accelerator Center between the years 1967 and 1973—thereby shedding light on a crucial phase of the history of HEP, namely, the discovery of “scaling”, which was the decisive step towards the construction of quantum chromo-dynamics as a gauge theory of strong interactions. (shrink)

The paper studies the topography of the model landscape of the physics in the Higgs sector both within the Standard Model of Elementary Particle Physics and beyond in the months before the discovery of a SM Higgs boson. At first glance, this landscape appears fragmented into a large number of different models and research communities. But it also clusters around certain guiding ideas, among them supersymmetry or dynamical symmetry breaking, in which representative and narrative features of the models are combined. (...) These models do not stand for themselves, waiting to be experimentally confirmed and elevated to the status of theory. Rather do they, quite in the sense advocated by Morgan and Morrison, enjoy a far-reaching autonomy. Typically models in the Higgs sector entertain three types of mediating relationships. First, they mediate between the SM and the data in those instances where the SM contains some uncertainty in the values of its basic parameters. Second, they mediate between BSM physics and the data by instantiating the core ideas behind these often speculative generalizations of the SM as stories—in Hartmann’s sense—that motivate or justify the respective model. Third, the fact that Higgs models within BSM physics reproduce the SM predictions in the low-energy limit functions as a consistency constraint that does not involve any additional autonomy. Due to the second type of mediating relationship, the representative features of Higgs models BSM are complex. (shrink)

Philosophers of science diverge on the question what drives the growth of scientific knowledge. Most of the twentieth century was dominated by the notion that theories propel that growth whereas experiments play secondary roles of operating within the theoretical framework or testing theoretical predictions. New experimentalism, a school of thought pioneered by Ian Hacking in the early 1980s, challenged this view by arguing that theory-free exploratory experimentation may in many cases effectively probe nature and potentially spawn higher evidence-based theories. Because (...) theories are often powerless to envisage workings of complex biological systems, theory-independent experimentation is common in the life sciences. Some such experiments are triggered by compelling observation, others are prompted by innovative techniques or instruments, whereas different investigations query big data to identify regularities and underlying organizing principles. A distinct fourth type of experiments is motivated by a major question. Here I describe two question-guided experimental discoveries in biochemistry: the cyclic adenosine monophosphate mediator of hormone action and the ubiquitin-mediated system of protein degradation. Lacking underlying theories, antecedent data bases, or new techniques, the sole guides of the two discoveries were respective substantial questions. Both research projects were similarly instigated by theory-free exploratory experimentation and continued in alternating phases of results-based interim working hypotheses, their examination by experiment, provisional hypotheses again, and so on. These two cases designate theory-free, question-guided, stepwise biochemical investigations as a distinct subtype of the new experimentalism mode of scientific enquiry. (shrink)

Many decades ago Patrick Suppes argued rather convincingly that theoretical hypotheses are not confronted with the direct, raw results of an experiment, rather, they are typically compared with models of data. What exactly is a data model however? And how do the interactions of particles at the subatomic scale give rise to the huge volumes of data that are then moulded into a polished data model? The aim of this paper is to answer these questions by presenting a detailed case (...) study of the construction of data models at the LHCb for testing Lepton Flavour Universality in rare decays of B-mesons. The close examination of the scientific practice at the LHCb leads to the following four main conclusions: raw data in their pure form are practically useless for the comparison of experimental results with theory, and processed data are in some cases epistemically more reliable, real and simulated data are involved in the co-production of the final data model and cannot be easily distinguished, theory-ladenness emerges at three different levels depending on the scope and the purpose for which background theory guides the overall experimental process and the overall process of acquiring and analysing data in high energy physics is too complicated to be fully captured by a generic methodological description of the experimental practice. (shrink)

Large scale experiments at CERN’s Large Hadron Collider rely heavily on computer simulations, a fact that has recently caught philosophers’ attention. CSs obviously require appropriate modeling, and it is a common assumption among philosophers that the relevant models can be ordered into hierarchical structures. Focusing on LHC’s ATLAS experiment, we will establish three central results here: with some distinct modifications, individual components of ATLAS’ overall simulation infrastructure can be ordered into hierarchical structures. Hence, to a good degree of approximation, hierarchical (...) accounts remain valid at least as descriptive accounts of initial modeling steps. In order to perform the epistemic function Winsberg Model-based reasoning in scientific discovery. Kluwer Academic/plenum Publishers, New York, pp 255–269, 1999) assigns to models in simulation—generate knowledge through a sequence of skillful but non-deductive transformations—ATLAS’ simulation models have to be considered part of a network rather than a hierarchy, in turn making the associated simulation modeling messy rather than motley. Deriving knowledge-claims from this ‘mess’ requires two sources of justification: holistic validation :253–262, 2010; in Carrier M, Nordmann A Science in the context of application. Springer, Berlin, pp 115–130, 2011), and model coherence. As it turns out, the degree of model coherence sets HEP apart from other messy, simulation-intensive disciplines such as climate science, and the reasons for this are to be sought in the historical, empirical and theoretical foundations of the respective discipline. (shrink)

The 2011 Nobel Prize in Physics was awarded to researchers from the Supernova Cosmology Project and the High-z Supernova Search Team for the discovery of the accelerating expansion of the universe. In this paper, I provide a historical analysis of the supernova cosmology evidence put forward by these teams for the accelerating universe, in terms of an iterative model of scientific progress developed by Hasok Chang in the context of his study of the development of measurement standards. I argue, using (...) the key concept of epistemic iteration, that the iterative model adequately accounts for evidence production in experimental science as well. In order to apply Chang’s model to the experimental evidence for the accelerating universe, I introduce the concept of endorsement as a particular mode of progress, and argue that supernova scientists produced an endorsed measurement system to claim evidence for their discovery. Furthermore, I show that the credibility of the evidence was not based on a particular measurement, rather, what proved to be decisive was the “robust consistency” of many individual results. (shrink)

To explain their role in discovery and contrast them with theory-driven research, philosophers of science have characterized exploratory experiments in terms of what they lack: namely, that they lack direction from what have been called “local theories” of the target system or object under investigation. I argue that this is incorrect: it’s not whether or not there is direction from a local theory that matters, but instead how such a theory is used to direct an experiment that matters. Appealing to (...) contemporary exploratory experiments that involve the use of experimental techniques—specifically, examples where scientists explore the interaction of neural activity and human behavior by magnetically stimulating brains—I argue that local theories of a target system can inform auxiliary hypotheses in exploratory experiments, which direct these experiments. These examples illustrate how local theories can direct the exploration of target systems where researchers do not aim to evaluate these theories. (shrink)

This paper argues that there is no single universal conception of scientific explanation that is consistently employed throughout the whole domain of Higgs physics—ranging from the successful experimental search for a standard model Higgs particle and the hitherto unsuccessful searches for any particles beyond the standard model, to phenomenological model builders in the Higgs sector and theoretical physicists interested in how the core principles of quantum field theory apply to spontaneous symmetry breaking and the Higgs mechanism. Yet the coexistence of (...) deductive-statistical, unificationist, model-based, and statistical-relevance explanations does not amount to a fragmentation of the discipline, but allows elementary particle physicists to simultaneously pursue a plurality of research strategies and keep the field together by joint convictions about the SM and shared explanatory ideals. These convictions include that the SM both represents a successful explanation of the available particle data and contains aspects in need of further explanation. Especially in the domain of BSM physics, explanatory ideals typically appear as stories motivating the different models and linking them to the whole of the discipline. (shrink)

H. Collins has challenged the empiricist understanding of experimentation by identifying what he thinks constitutes the experimenter’s regress: an instrument is deemed good because it produces good results, and vice versa. The calibration of an instrument cannot alone validate the results: the regressive circling is broken by an agreement essentially external to experimental procedures. In response, A. Franklin has argued that calibration is a key reasonable strategy physicists use to validate production of results independently of their interpretation. The physicists’ arguments (...) about the merits of calibration are not coextensive with the interpretation of results, and thus an objective validation of results is possible. I argue, however, that the in-situ calibrating and measurement procedures and parameters at the Large Hadron Collider are closely and systematically interrelated. This requires empiricists to question their insistence on the independence of calibration from the outcomes of the experiment and rethink their position. Yet this does not leave the case of in-situ calibration open to the experimenter’s regress argument; it is predicated on too crude a view of the relationship between calibration and measurement that fails to capture crucial subtleties of the case. (shrink)

Theory-ladenness is the view that observation cannot function in an unbiased way in the testing of theories because observational judgments are affected by the theoretical beliefs of the observer. Its more radical cousin, incommensurability, argues that because there is no theory-neutral language, paradigms, or worldviews, cannot be compared because in different paradigms the meaning of observational terms is different, even when the word used is the same. There are both philosophical and practical components to these problems. I argue, using a (...) procedurally-defined, theory-neutral experiment that paradigms are indeed commensurable. The practical problems of theory ladenness include experimental design, failure to interpret observations correctly, possible experimenter bias, and difficulties in data acquisition. I suggest that there are methods to deal with these problems, although sometimes they cannot be dealt with completely. I believe that the philosophical problems of theory-ladenness have been solved, although the practical problems remain. (shrink)

Farmers all over the world perform experiments, and have done so since long before modern experimental science and its recognized forerunners. There is a rich anthropological literature on these experiments, but the philosophical issues that they give rise to have not received much attention. Based on the anthropological literature, this study investigates methodological and philosophical issues pertaining to farmers’ experiments, including the choice of interventions to be tested, the planning of experiments, and the use of control fields and other means (...) to deal with confounding factors. Farmers’ experiments have some advantages over the field trials of agricultural scientists, but also some comparative disadvantages. The two experimental traditions are complementary, and neither of them can replace the other. Several aspects of farmers’ experiments are shown to have a direct bearing on central topics in the philosophy of science. (shrink)

The life sciences are said to be in the midst of a replication crisis because a majority of published results are irreproducible, and scientists rarely replicate existing data. Here I argue that point 2 of this assessment is flawed because there is a hitherto unidentified form of replication in the experimental life sciences, which I call ‘microreplications’. Using a case study from biochemistry, I illustrate how MRs depend on a key element of experimentation, namely, experimental controls. I end by reflecting (...) on what MRs mean for the broader debate about the replication crisis. (shrink)

: Our paper discusses the epistemic attitudes of particle physicists on the discovery of the Higgs boson at the Large Hadron Collider. It is based on questionnaires and interviews made shortly before and shortly after the discovery in 2012. We show, to begin with, that the discovery of a Standard Model Higgs boson was less expected than is sometimes assumed. Once the new particle was shown to have properties consistent with SM expectations – albeit with significant experimental uncertainties –, there (...) was a broad agreement that ‘a’ Higgs boson had been found. Physicists adopted a two-pronged strategy. On the one hand, they treated the particle as a SM Higgs boson and tried to establish its properties with higher precision; on the other hand, they searched for any hints of physics beyond the SM. This motivates our first philosophical thesis: the Higgs discovery, being of fundamental importance and establishing a new kind of particle, represented a crucial experiment if one interprets this notion in an appropriate sense. By embedding the LHC into the tradition of previous precision experiments and the experimental strategies thus established, underdetermination and confirmational holism are kept at bay. Second, our case study suggests that criteria of theory preference should be understood as epistemic and pragmatic values that have to be weighed in factual research practice. The Higgs discovery led to a shift from pragmatic to epistemic values as regards the mechanisms of electroweak symmetry breaking. Complex criteria, such as naturalness, combine epistemic and pragmatic different values, but are coherently applied by the community. (shrink)

Many areas of frontier physics are confronted with the crisis of a lack of accessible, direct evidence. As a result, direct model building has failed to lead to any new empirical discoveries. In this paper I argue that these areas of frontier physics have developed common methods for turning precision measurements of known quantities into potential evidence for anomalies hinting at new physics. This method of framework generalization has arisen as a sort of model-independent method for generalizing beyond known physics (...) and organizing experimental searches. I argue that this method is well-justified given the current epistemic landscape, and that theory construction in general is much broader than simply building new dynamical models. (shrink)

Along three measurements at the Large Hadron Collider (LHC), a high energy particle accelerator, we analyze procedures and consequences of exploratory experimentation (EE). While all of these measurements fulfill the requirements of EE: probing new parameter spaces, being void of a target theory and applying a broad range of experimental methods, we identify epistemic differences and suggest a classification of EE. We distinguish classes of EE according to their respective goals: the exploration where an established global theory cannot provide the (...) details of a local phenomenon, exploration of an astonishing discovery and exploration to find a new entity. We find that these classes also differ with respect to the existence of an identifiable target and their impact on the background theory. The characteristics distinguish EE from other kinds of experimentation, even though these different kinds have not yet been systematically studied. The formal rigor and precision of LHC physics facilitates to analyze concept formation in its early state. In particular we emphasize the importance for nil–results for conceptualization and argue that conceptualization can also be achieved from nil–results only. (shrink)

There is a complex interplay between the models in dark matter detection experiments that have led to a difficulty in interpreting the results of the experiments and ascertain whether we have detected the particle or not. The aim of this paper is to categorise and explore the different models used in said experiments, by emphasizing the distinctions and dependencies among different types of models used in this field. With a background theory, models are categorised into four distinct types: background theory, (...) theoretical, phenomenological, experimental and data. This taxonomy highlights how each model serves a unique purpose and operates under varying degrees of independence from their respective frameworks. A key focus is on the experimental model, which is shown to rely on constraints from both data and phenomenological ones. The article argues that while theoretical models provide a backdrop for understanding the nature of dark matter, the experimental models must stand independently, particularly in their methodological approaches. This is done via a discussion of the inherent challenges in dark matter detection, such as inconsistent results and difficulties in cross-comparison, stemming from the diverse modelling approaches. (shrink)

Since the discovery of the Higgs boson in 2012, particle physicists have not found any statistically significant deviations from the Standard Model. This has led to a shift of emphasis from model t...

In this paper, I propose an account that accommodates the possibility of experimentation being exploratory in cases where the procedures necessary to plan and perform an experiment are dependent on the theoretical accounts of the phenomena under investigation. The present account suggests that experimental exploration requires the implementation of an exploratory procedure that serves to extend the range of possible outcomes of an experiment, thereby enabling it to pursue its objectives. Furthermore, I argue that the present account subsumes the notion (...) of exploratory experimentation, which is often attributed in the relevant literature to the works of Friedrich Steinle and Richard Burian, as a particular type of experimental exploration carried out in the special cases where no well-formed theoretical framework of the phenomena under investigation exists. I illustrate the present account in the context of the ATLAS experiment at CERN’s Large Hadron Collider, where the long-sought Higgs boson has been discovered in 2012. I argue that the data selection procedure carried out in the ATLAS experiment illustrates an exploratory procedure in the sense suggested by the present account. I point out that this particular data selection procedure is theory-laden in that its implementation is crucially dependent on the theoretical models of high energy particle physics which the ATLAS experiment is aimed to test. However, I argue that the foregoing procedure is not driven by the above-mentioned theoretical models, but rather by a particular data selection strategy. I conclude that the ATLAS experiment illustrates that, contrary to what previous studies have suggested, there are cases of experimentation in which exploration serves to test theoretical predictions and that theory-ladenness plays an essential role in experimentation being exploratory. (shrink)

Computational modeling is one of the primary approaches to constructing protein–protein interfaces in the laboratory. The algorithm-driven computational protein design has been successfully applied to the construction of functional proteins with improved binding affinity and increased thermostability. It is intriguing how a computational protein modeling approach can construct and shape the reality of new functional proteins from scratch. I articulate an account of abstraction and exploration-driven strategies in this computational endeavor. I aim to show that how a computational modelling approach, (...) which is laden with mathematics and algorithms, can have a constructive force on the target protein. (shrink)