Florian J. Boge

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.

The question of where, between theory and experiment, computer simulations (CSs) locate on the methodological map is one of the central questions in the epistemology of simulation (cf. Saam Journal for General Philosophy of Science, 48, 293–309, 2017). The two extremes on the map have them either be a kind of experiment in their own right (e.g. Barberousse et al. Synthese, 169, 557–574, 2009; Morgan 2002, 2003, Journal of Economic Methodology, 12(2), 317–329, 2005; Morrison Philosophical Studies, 143, 33–57, 2009; Morrison 2015; Massimi and Bhimji Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics, 51, 71–81, 2015; Parker Synthese, 169, 483–496, 2009) or just an argument executed with the aid of a computer (e.g. Beisbart European Journal for Philosophy of Science, 2, 395–434, 2012; Beisbart and Norton International Studies in the Philosophy of Science, 26, 403–422, 2012). There exist multiple versions of the first kind of position, whereas the latter is rather unified. I will argue that, while many claims about the ‘experimental’ status of CSs seem unjustified, there is a variant of the first position that seems preferable. In particular I will argue that while CSs respect the logic of (deductively valid) arguments, they neither agree with their pragmatics nor their epistemology. I will then lay out in what sense CSs can fruitfully be seen as experiments, and what features set them apart from traditional experiments nonetheless. I conclude that they should be seen as surrogate experiments, i.e. experiments executed consciously on the wrong kind of system, but with an exploitable connection to the system of interest. Finally, I contrast my view with that of Beisbart (European Journal for Philosophy of Science, 8, 171–204, 2018), according to which CSs are surrogates for experiments, arguing that this introduces an arbitrary split between CSs and other kinds of simulations.

Computer simulations are involved in numerous branches of modern science, and science would not be the same without them. Yet the question of how they can explain real-world processes remains an issue of considerable debate. In this context, a range of authors have highlighted the inferences back to the world that computer simulations allow us to draw. I will first characterize the precise relation between computer and target of a simulation that allows us to draw such inferences. I then argue that in a range of scientifically interesting cases they are particular abductions and defend this claim by appeal to two case studies.

A recent no-go theorem (Frauchiger and Renner in Nat Commun 9(1):3711, 2018) establishes a contradiction from a specific application of quantum theory to a multi- agent setting. The proof of this theorem relies heavily on notions such as ‘knows’ or ‘is certain that’. This has stimulated an analysis of the theorem by Nurgalieva and del Rio (in: Selinger P, Chiribella G (eds) Proceedings of the 15th international conference on quantum physics and logic (QPL 2018). EPTCS 287, Open Publishing Association, Waterloo, 2018), in which they claim that it shows the “[i]nadequacy of modal logic in quantum settings” (ibid.). In this paper, we will offer a significantly extended and refined reconstruction of the theorem in multi-agent modal logic. We will then show that a thorough reconstruction of the proof as given by Frauchiger and Renner requires the reflexivity of access relations (system T). However, a stronger theorem is possible that already follows in serial frames, and hence also holds in systems of doxastic logic (such as KD45). After proving this, we will discuss the general implications for different interpretations of quantum probabilities as well as several options for dealing with the result.

In this paper I investigate whether the phenomenon of quantum decoherence, the vanishing of interference and detectable entanglement on quantum systems in virtue of interactions with the environment, can be understood as the manifestation of a disposition. I will highlight the advantages of this approach as a realist interpretation of the quantum formalism, and demonstrate how such an approach can benefit from advances in the metaphysics of dispositions. I will also confront some commonalities with and differences to the many worlds interpretation, and address the difficulties induced by quantum non-locality. I conclude that there are ways to deal with these issues and that the proposal hence is an avenue worth pursuing.

Simon Friederich’s Therapeutic Approach to quantum theory (QT) sheds new light on the status of the quantum state. In particular, Friederich presents revisionary ideas on how to exactly differentiate objective from subjective elements of the theory and thereby improves upon previous stabs at an epistemic interpretation of quantum states. The book not only provides interesting perspectives for the cognoscenti but is also written with sufficient care and free of unnecessary technicalities so as to be accessible and worth reading for the physical layman interested in the foundations of QT. The main achievement of the book is an innovative outline for interpreting quantum states epistemically while avoiding many problems of previous attempts.

Howson famously argues that the no-miracles argument, stating that the success of science indicates the approximate truth of scientific theories, is a base rate fallacy: it neglects the possibility of an overall low rate of true scientific theories. Recently a number of authors has suggested that the corresponding probabilistic reconstruction is unjust, as it concerns only the success of one isolated theory. Dawid and Hartmann, in particular, suggest to use the frequency of success in some field of research \ to infer a probability of truth for a new theory from \. I here shed doubts on the justification of this and similar moves and suggest a way to directly bound the probability of truth. As I will demonstrate, my bound can become incompatible with the assumption specific testing and Dawid and Hartmann’s estimate for success.

This book explores the prospects of rivaling ontological and epistemic interpretations of quantum mechanics (QM). It concludes with a suggestion for how to interpret QM from an epistemological point of view and with a Kantian touch. It thus refines, extends, and combines existing approaches in a similar direction. The author first looks at current, hotly debated ontological interpretations. These include hidden variables-approaches, Bohmian mechanics, collapse interpretations, and the many worlds interpretation. He demonstrates why none of these ontological interpretations can claim to be the clear winner amongst its rivals. Next, coverage explores the possibility of interpreting QM in terms of knowledge but without the assumption of hidden variables. It examines QBism as well as Healey’s pragmatist view. The author finds both interpretations or programs wanting in certain respects. As a result, he then goes on to advance a genuine proposal as to how to interpret QM from the perspective of an internal realism in the sense of Putnam and Kant. The book also includes two philosophical interludes. One details the notions of probability and realism. The other highlights the connections between the notions of locality, causality, and reality in the context of violations of Bell-type inequalities.

This paper discusses one of the major problems for resemblance nominalism, posed by Bertrand Russell in 1911–12, and often referred to as Russell’s regress. It is the problem that resemblance must either be a universal, thus refuting a thorough nominalism, or must itself resemble other resemblances to count as a resemblance, which ultimately leads to an infinite regress of resemblances. I am going to discuss two solutions that have been proposed to this problem. I will then attempt to show in how far these are unsatisfactory, and propose my own solution which treats resemblance as a subject-relative phenomenon. My aim is to show that, on my account, there is no infinite regress and therefore no problem.

Quantum mechanics notoriously faces the measurement problem, the problem that if read thoroughly, it implies the nonexistence of definite outcomes in measurement procedures. A plausible reaction to this and to related problems is to regard a system's quantum state |ψ> merely as an indication of our lack of knowledge about the system, i.e., to interpret it epistemically. However, there are radically different ways to spell out such an epistemic view of the quantum state. We here investigate recent developments in the branch that introduces hidden variables λ in addition to the quantum state |ψ> and has its roots in Einstein's views. In particular, we confront purported achievements of a concrete model that has been considered to serve as evidence for an epistemic view of the envisioned kind, as well as specific no-go results and their import. It will be argued that while an epistemic account of the particular kind is not straightforwardly ruled out by the no-go results, they demonstrate that the evidential character of the model(s) discussed rests on a rather shaky foundation, and that they make some achievements widely recognized in the literature appear worthy of doubt.

Quantum Mechanics notoriously faces a measurement problem, the problem that the unitary time evolution, encoded in its dynamical equations, together with the kinematical structure of the theory generally implies the non-existence of definite measurement outcomes. There have been multiple suggestions to solve this problem, among them the so called many worlds interpretation that originated with the work of Hugh Everett III. According to it, the quantum state and time evolution fully and accurately describe nature as it is, implying that under certain conditions multiple measurement outcomes that are seemingly mutually exclusive can be realized at the same time – but as different 'worlds' contained in a global, quantum mechanical structure, sometimes referred to as 'the multiverse'. The many worlds interpretation has, however, been confronted with serious difficulties over the course of its development, some of which were solved by the advent of decoherence theory. The present thesis critically investi- gates the state of play on a key remaining problem of the many worlds interpretation, the problem of the meaning and quantification of probabilities in a quantum multiverse. Recent attempts of deriving the pivotal statistical ingredient of quantum mechanics, Born’s rule, from either principles of decision theory or from quantum mechanics alone, supplemented with a few general premises about probability are analyzed and their premises are scrutinized. It will be argued that, though both approaches yield promising results, they both ultimately fail to clearly establish the validity of Born’s rule in the context of the many worlds interpretation. It is hence suggested that further research on this problem is indicated.