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)

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)

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

Putnam coined what is now known as the no miracles argument “[t]he positive argument for realism”. In its opposition, he put an argument that by his own standards counts as negative. But are there no positive arguments against scientific realism? I believe that there is such an argument that has figured in the back of much of the realism-debate, but, to my knowledge, has nowhere been stated and defended explicitly. This is an argument from the success of quantum physics to (...) the unlikely appropriateness of scientific realism as a philosophical stance towards science. I will here state this argument and offer a detailed defence of its premises. The purpose of this is to both exhibit in detail how far the intuition that quantum physics threatens realism can be driven, in the light also of more recent developments, as well as to exhibit possible vulnerabilities, i.e., to show where potential detractors might attack. (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)

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)