In this paper we show how recent concepts from Dynamic Logic, and in particular from Dynamic Epistemic logic, can be used to model and interpret quantum behavior. Our main thesis is that all the non-classical properties of quantum systems are explainable in terms of the non-classical flow of quantum information. We give a logical analysis of quantum measurements (formalized using modal operators) as triggers for quantum information flow, and we compare them with other logical operators previously used to model various (...) forms of classical information flow: the “test” operator from Dynamic Logic, the “announcement” operator from Dynamic Epistemic Logic and the “revision” operator from Belief Revision theory. The main points stressed in our investigation are the following: (1) The perspective and the techniques of “logical dynamics” are useful for understanding quantum information flow. (2) Quantum mechanics does not require any modification of the classical laws of “static” propositional logic, but only a non-classical dynamics of information. (3) The main such non-classical feature is that, in a quantum world, all information-gathering actions have some ontic side-effects. (4) This ontic impact can affect in its turn the flow of information, leading to non-classical epistemic side-effects (e.g. a type of non-monotonicity) and to states of “objectively imperfect information”. (5) Moreover, the ontic impact is non-local: an information-gathering action on one part of a quantum system can have ontic side-effects on other, far-away parts of the system. (shrink)

Some authors have attempted to defend Leibniz’s Identity of Indiscernibles through weak discernibility. The idea is that if there is a symmetric, nonreflexive physical relation that holds between two particles, then those particles cannot be identical. In this article I focus only on Muller and Saunders’s account and argue that the means by which they achieve weak discernibility is not through a quantum mechanical observable but an alternate mathematical construction that is both unorthodox and incomplete.

In his entry on "Quantum Logic and Probability Theory" in the Stanford Encyclopedia of Philosophy, Alexander Wilce (2012) writes that "it is uncontroversial (though remarkable) the formal apparatus quantum mechanics reduces neatly to a generalization of classical probability in which the role played by a Boolean algebra of events in the latter is taken over the 'quantum logic' of projection operators on a Hilbert space." For a long time, Patrick Suppes has opposed this view (see, for example, the paper collected (...) in Suppes and Zanotti (1996). Instead of changing the logic and moving from a Boolean algebra to a non-Boolean algebra, one can also 'save the phenomena' by weakening the axioms of probability theory and work instead with upper and lower probabilities. However, it is fair to say that despite Suppes' efforts upper and lower probabilities are not particularly popular in physics as well as in the foundations of physics, at least so far. Instead, quantum logic is booming again, especially since quantum information and computation became hot topics. Interestingly, however, imprecise probabilities are becoming more and more popular in formal epistemology as recent work by authors such as James Joye (2010) and Roger White (2010) demonstrates. (shrink)

Philosophical work on explanation has focused on the following two topics: theories of explanation, intended to enumerate necessary and sufficient conditions for explanation, and inference to the best explanation as the strongest form of justification for ontological or metaphysical claims. I critically examine the most important philosophical work in both of these areas and defend my own conclusions about the connections between explanation and ontology. I argue that all of our inferences about the nature of the world, in ontology or (...) metaphysics, presuppose criteria for acceptable explanation. I first examine the metaphysics of Plato, Aristotle, and Leibniz, arguing that their metaphysical reasoning was guided by assumptions about the nature of explanation. I also survey some recent work in ontology and find inference to the best explanation offered as the strongest available method of defending existence claims. To conclude this discussion, I offer an original argument for the thesis that all reasoning about existence claims, being nondeductive, presupposes some criteria for acceptable explanations, or a theory of explanation. Carl Hempel and Wesley Salmon have been two of the most influential philosophers offering theories of explanation, and I examine their work with the intention of discovering ontological or metaphysical assumptions shaping their theories of explanation. I argue that Hempel's theory rests on deterministic assumptions, and I argue the Salmon's theory of causality, which he admits supports his theory of explanation, is subject to empiricist criticisms. Theories of explanation typically rest on assumptions about the nature of the world, I argue, and I explain why this is so with an original theory of explanation connecting it to the psychological phenomenon of understanding. We rely on understanding in the identification of explanations, and understanding requires establishing a metaphysical context for an explanandum-event. I end by indicating the possibility of generating vicious justificatory circles through the reciprocal relationship of support between explanation and ontology, and I argue that vicious circles can be avoided only by grounding all ontological reasoning in a fundamental explanatory task of giving order to experience through a system of categories. (shrink)

By briefly reviewing three well-known scientific revolutions in fundamental physics (the discovery of inertia, of special relativity and of general relativity), I claim that problems that were supposed to be crying for a dynamical explanation in the old paradigm ended up receiving a structural explanation in the new one. This claim is meant to give more substance to Kuhn’s view that revolutions are accompanied by a shift in what needs to be explained, while suggesting at the same time the existence (...) of a pattern that is common to all of the discussed case-studies. It remains to be seen whether also quantum mechanics, in particular entanglement, conforms to this pattern. (shrink)

Classical (Bayesian) probability (CP) theory has led to an influential research tradition for modeling cognitive processes. Cognitive scientists have been trained to work with CP principles for so long that it is hard even to imagine alternative ways to formalize probabilities. However, in physics, quantum probability (QP) theory has been the dominant probabilistic approach for nearly 100 years. Could QP theory provide us with any advantages in cognitive modeling as well? Note first that both CP and QP theory share the (...) fundamental assumption that it is possible to model cognition on the basis of formal, probabilistic principles. But why consider a QP approach? The answers are that (1) there are many well-established empirical findings (e.g., from the influential Tversky, Kahneman research tradition) that are hard to reconcile with CP principles; and (2) these same findings have natural and straightforward explanations with quantum principles. In QP theory, probabilistic assessment is often strongly context- and order-dependent, individual states can be superposition states (that are impossible to associate with specific values), and composite systems can be entangled (they cannot be decomposed into their subsystems). All these characteristics appear perplexing from a classical perspective. However, our thesis is that they provide a more accurate and powerful account of certain cognitive processes. We first introduce QP theory and illustrate its application with psychological examples. We then review empirical findings that motivate the use of quantum theory in cognitive theory, but also discuss ways in which QP and CP theories converge. Finally, we consider the implications of a QP theory approach to cognition for human rationality. (shrink)

David Lewis is a natural target for those who believe that findings in quantum physics threaten the tenability of traditional metaphysical reductionism. Such philosophers point to allegedly holistic entities they take both to be the subjects of some claims of quantum mechanics and to be incompatible with Lewisian metaphysics. According to one popular argument, the non-separability argument from quantum entanglement, any realist interpretation of quantum theory is straightforwardly inconsistent with the reductive conviction that the complete physical state of the world (...) supervenes on the intrinsic properties of and spatio-temporal relations between its point-sized constituents. Here I defend Lewis's metaphysical doctrine, and traditional reductionism more generally, against this alleged threat from quantum holism. After presenting the non-separability argument from entanglement, I show that Bohmian mechanics, an interpretation of quantum mechanics explicitly recognized as a realist one by proponents of the non-separability argument, plausibly rejects a key premise of that argument. Another holistic worry for Humeanism persists, however, the trouble being the apparently holistic character of the Bohmian pilot wave. I present a Humean strategy for addressing the holistic threat from the pilot wave by drawing on resources from the Humean best system account of laws. (shrink)

The economic paradigms of Ludwig von Mises on the one hand and of John Maynard Keynes on the other have been correctly recognized as antithetical at the theoretical level, and as antagonistic with respect to their practical and public policy implications. Characteristically they have also been vindicated by opposing sides of the political spectrum. Nevertheless the respective views of these authors with respect to the meaning and interpretation of probability exhibit a closer conceptual affinity than has been acknowledged in the (...) literature. In particular it is argued that in some relevant respects Ludwig von Mises´ interpretation of the concept of probability exhibits a closer affinity with the interpretation of probability developed by his opponent John Maynard Keynes than with the views on probability espoused by his brother Richard von Mises. Nevertheless there also exist significant differences between the views of Ludwig von Mises and those of John Maynard Keynes with respect to probability. One of these is highlighted more particularly: where John Maynard Keynes advocated a monist view of probability, Ludwig von Mises embraced a dualist view of probability, according to which the concept of probability has two different meanings each of which is valid in a particular area or context. It is concluded that both John Maynard Keynes and Ludwig von Mises presented highly nuanced views with respect to the meaning and interpretation of probability. (shrink)

The paper address the question of whether quantum mechanics (QM) favors Priority Monism, the view according to which the Universe is the only fundamental object. It develops formal frameworks to frame rigorously the question of fundamental mereology and its answers, namely (Priority) Pluralism and Monism. It then reconstructs the quantum mechanical argument in favor of the latter and provides a detailed and thorough criticism of it that sheds furthermore new light on the relation between parthood, composition and fundamentality in QM.

The aim of this essay is to introduce philosophers of science to some recent philosophical discussions of the nature and origin of the direction of time. The essay is organized around books by Hans Reichenbach, Paul Horwich, and Huw Price. I outline their major arguments and treat certain critical points in detail. I speculate at the end about the ways in which the subject may continue to develop and in which it may connect with other areas of philosophy.

There has been recent interest in formulating theories of non-representational indeterminacy. The aim of this paper is to clarify the relevance of quantum mechanics to this project. Quantum-mechanical examples of vague objects have been offered by various authors, displaying indeterminate identity, in the face of the famous Evans argument that such an idea is incoherent. It has also been suggested that the quantum-mechanical treatment of state-dependent properties exhibits metaphysical indeterminacy. In both cases it is important to consider the details of (...) the metaphysical account and the way in which the quantum phenomenon is captured within it. Indeed if we adopt a familiar way of thinking about indeterminacy and apply it in a natural way to quantum mechanics, we run into illuminating difficulties and see that the case is far less straightforward than might be hoped. (shrink)

Entropy is ubiquitous in physics, and it plays important roles in numerous other disciplines ranging from logic and statistics to biology and economics. However, a closer look reveals a complicated picture: entropy is defined differently in different contexts, and even within the same domain different notions of entropy are at work. Some of these are defined in terms of probabilities, others are not. The aim of this chapter is to arrive at an understanding of some of the most important notions (...) of entropy and to clarify the relations between them, After setting the stage by introducing the thermodynamic entropy, we discuss notions of entropy in information theory, statistical mechanics, dynamical systems theory and fractal geometry. (shrink)

In this paper we argue that structural explanations are an effective way of explaining well known relativistic phenomena like length contraction and time dilation, and then try to understand how this can be possible by looking at the literature on scientific models. In particular, we ask whether and how a model like that provided by Minkowski spacetime can be said to represent the physical world, in such a way that it can successfully explain physical phenomena structurally. We conclude by claiming (...) that a partial isomorphic approach to scientific representation can supply an answer only if supplemented by a robust injection of pragmatic factors. (shrink)

A recent theory of metaphysical indeterminacy says that metaphysical indeterminacy is multiple actuality: there is metaphysical indeterminacy when there are many 'complete precisifications of reality'. But it is possible for there to be metaphysical indeterminacy even when it is impossible to precisify reality completely. The orthodox interpretation of quantum mechanics illustrates this possibility. So this theory of metaphysical indeterminacy is not adequate.

I discuss the quantum mechanical theory of consciousness and freewill offered by Stapp (1993, 1995, 2000, 2004). First I show that decoherence-based arguments do not work against this theory. Then discuss a number of problems with the theory: Stapp's separate accounts of consciousness and freewill are incompatible, the interpretations of QM they are tied to are questionable, the Zeno effect could not enable freewill as he suggests because weakness of will would then be ubiquitous, and the holism of measurement in (...) QM is not a good explanation of the unity of consciousness for essentially the same reason that local interactions may seem incapable of accounting for it. (shrink)

There has been an intense discussion, albeit largely an implicit one, concerning the inference of causal hypotheses from statistical correlations in quantum mechanics ever since John Bell’s first statement of his notorious theorem in 1966. As is well known, its focus has mainly been the so-called Einstein-Podolsky-Rosen (“EPR”) thought experiment, and the ensuing observed correlations in real EPR like experiments. But although implicitly the discussion goes as far back as Bell’s work, it is only in the last two decades that (...) it has become recognizably and explicitly a debate about causal inference in the quantum realm. The bulk of this paper is devoted to a review of three influential arguments in the philosophical literature that aim to show that causal models for the EPR correlations are impossible, due to Bas Van Fraassen, Daniel Hausman and Huw Price. I contend that all these arguments are inconclusive since they contain premises or presuppositions that are false, unwarranted, or at least controversial. Five different common cause models are outlined that seem perfectly viable for the EPR correlations. These models are then employed to illustrate various difficulties with the premises and presuppositions underlying Van Fraassen’s, Hausman’s and Price’s arguments. In all these cases it is argued that the difficulties cut deep against these authors’ own theories of causation and causal inference. My conclusions are that causal models for the EPR correlations remain viable, that philosophical work is still required to assess their relative virtues, and that in any case the mere theoretical conceivability and empirical possibility of these models sheds doubts over Van Fraassen’s, Hausman’s and (important elements in) Price’s theories of causation and causal inference. (shrink)

We examine the question of whether scientific theories can ever be complete. For two closely related reasons, we will argue that they cannot. The first reason is the inability to determine what are “valid empirical observations”, a result that is based on a self-reference Gödel/Tarski-like proof. The second reason is the existence of “meta-empirical” evidence of the inherent incompleteness of observations. These reasons, along with theoretical incompleteness, are intimately connected to the notion of belief and to theses within the philosophy (...) of science: the Quine-Duhem (and underdetermination) thesis and the observational/theoretical distinction failure. Some puzzling aspects of the philosophical theses will become clearer in light of these connections. Other results that follow are: no absolute measure of the informational content of empirical data, no absolute measure of the entropy of physical systems, and no complete computer simulation of the natural world are possible. The connections with the mathematical theorems of Gödel and Tarski reveal the existence of other connections between scientific and mathematical incompleteness: computational irreducibility, complexity, infinity, arbitrariness and self-reference. Finally, suggestions will be offered of where a more rigorous (or formal) “proof” of scientific incompleteness can be found. (shrink)

On the basis of the Suppes–Sneed structuralview of scientific theories, we take a freshlook at the concept of refutability,which was famously proposed by K.R. Popper in 1934 as a criterion for the demarcation of scientific theories from non-scientific ones, e.g., pseudo-scientificand metaphysical theories. By way of an introduction we argue that a clash between Popper and his critics on whether scientific theories are, in fact, refutablecan be partly explained by the fact Popper and his criticsascribed different meanings to the term (...) theoryThen we narrow our attention to one particular theory,namely quantum mechanics, in order to elucidate general matters discussed. We prove that quantum mechanics is irrefutable in a rather straightforward sense, but argue that it is refutable in a more sophisticated sense, which incorporates someobservations obtained by looking closely at the practiceof physics. We shall locate exactly where non-rigourous elements enter the evaluation of a scientific theory – thismakes us see clearly how fruitful mathematics isfor the philosophy of science. (shrink)

I advance a new theory of causal relevance, according to which causal claims convey information about conditional probability functions. This theory is motivated by the problem of disjunctive factors, which haunts existing probabilistic theories of causation. After some introductory remarks, I present in Section 3 a sketch of Eells's (1991) probabilistic theory of causation, which provides the framework for much of the discussion. Section 4 explains how the problem of disjunctive factors arises within this framework. After rejecting three proposed solutions, (...) I offer in Section 6 a new approach to causation that avoids the problem. Decision-theoretic considerations also support the new approach. Section 8 develops the consequences of the new theory for causal explanation. The resulting theory of causal explanation incorporates the new insights while respecting important work on scientific explanation by Salmon (1971), Railton (1981), and Humphreys (1989). My conclusions are enumerated in Section 9. (shrink)

An epistemological interpretation of quantum mechanics hinges on the claim that the distinctive features of quantum mechanics can be derived from some distinctive features of an observational basis. Old and new variations of this theme are listed. The program has a limited success in non-relativistic quantum mechanics. The crucial issue is how far it can be extended to quantum field theory without introducing significant ontological postulates. A C*-formulation covers algebraic quantum field theory, but not the standard model. Julian Schwinger’s anabatic (...) methodology extended a strict measurement-based formulation of quantum mechanics through field theory. His extension also excluded the quark hypothesis and the standard model. Quarks and local gauge invariance are postulates that go beyond the limits of an epistemological interpretation of quantum mechanics. The ontological significance ascribed to these advances depends on the role accorded ontology. (shrink)

The concept of randomness has been unjustly neglected in recent philosophical literature, and when philosophers have thought about it, they have usually acquiesced in views about the concept that are fundamentally flawed. After indicating the ways in which these accounts are flawed, I propose that randomness is to be understood as a special case of the epistemic concept of the unpredictability of a process. This proposal arguably captures the intuitive desiderata for the concept of randomness; at least it should suggest (...) that the commonly accepted accounts cannot be the whole story and more philosophical attention needs to be paid. 1. Randomness in science1.1Random systems1.2Random behaviour1.3Random sampling1.4Caprice, arbitrariness and noise2. Concepts of randomness2.1Von Mises/church/martin-löf randomness2.2KCS-randomness3. Randomness is unpredictability: preliminaries3.1Process and product randomness3.2Randomness is indeterminism?4. Predictability4.1Epistemic constraints on prediction4.2Computational constraints on prediction4.3Pragmatic constraints on prediction4.4Prediction defined5. Unpredictability6. Randomness is unpredictability6.1Clarification of the definition of randomness6.2Randomness and probability6.3Subjectivity and context sensitivity of randomness7. Evaluating the analysis[R]andomness … is going to be a concept which is relative to our body of knowledge, which will somehow reflect what we know and what we don't know. Henry E. Kyburg, Jr ([1974], p. 217)Phenomena that we cannot predict must be judged random. Patrick Suppes ([1984], p. 32). (shrink)

I argue that any broadly dispositional analysis of probability will either fail to give an adequate explication of probability, or else will fail to provide an explication that can be gainfully employed elsewhere (for instance, in empirical science or in the regulation of credence). The diversity and number of arguments suggests that there is little prospect of any successful analysis along these lines.

The new logic of partitions is dual to the usual Boolean logic of subsets (usually presented only in the special case of the logic of propositions) in the sense that partitions and subsets are category-theoretic duals. The new information measure of logical entropy is the normalized quantitative version of partitions. The new approach to interpreting quantum mechanics (QM) is showing that the mathematics (not the physics) of QM is the linearized Hilbert space version of the mathematics of partitions. Or, putting (...) it the other way around, the math of partitions is a skeletal version of the math of QM. The key concepts throughout this progression from logic, to logical information, to quantum theory are distinctions versus indistinctions, definiteness versus indefiniteness, or distinguishability versus indistinguishability. The distinctions of a partition are the ordered pairs of elements from the underlying set that are in different blocks of the partition and logical entropy is defined (initially) as the normalized number of distinctions. The cognate notions of definiteness and distinguishability run throughout the math of QM, e.g., in the key non-classical notion of superposition (= ontic indefiniteness) and in the Feynman rules for adding amplitudes (indistinguishable alternatives) versus adding probabilities (distinguishable alternatives). (shrink)

We propose a novel interpretation of consciousness and an enlarged definition of locality, which provide a solution to the problem of the consistency of measurements in quantum mechanics: consciousness is a characteristics of the Universe as a whole. Besides its physical consequences, this interpretation has also moral implications: individuality comes out naturally to be just an accident functional to evolution which shaped past and present history through competition, and realizing this fact should enforce cooperation.

There is a deeply entrenched view in philosophy and physics, the closed systems view, according to which isolated systems are conceived of as fundamental. On this view, when a system is under the influence of its environment this is described in terms of a coupling between it and a separate system which taken together are isolated. We argue against this view, and in favor of the alternative open systems view, for which systems interacting with their environment are conceived of as (...) fundamental, and the environment's influence is represented via the dynamical equations that govern the system's evolution. Taking quantum theories of closed and open systems as our case study, and considering three alternative notions of fundamentality: (i) ontic fundamentality, (ii) epistemic fundamentality, and (iii) explanatory fundamentality, we argue that the open systems view is fundamental, and that this has important implications for the philosophy of physics, the philosophy of science, and for metaphysics. (shrink)

In Calosi and Wilson (Phil Studies 2019/2018), we argue that on many interpretations of quantum mechanics (QM), there is quantum mechanical indeterminacy (QMI), and that a determinable-based account of metaphysical indeterminacy (MI), as per Wilson 2013 and 2016, properly accommodates the full range of cases of QMI. Here we argue that this approach is superior to other treatments of QMI on offer, both realistic and deflationary, in providing the basis for an intelligible explanation of the interference patterns in the double-slit (...) experiment. We start with a brief overview of the motivations for QMI and for a determinable-based account of MI (§1). We then apply a developed 'glutty' implementation of determinable-based QMI to the superposition-based QMI present in the double-slit experiment, and positively compare the associated explanation of double-slit interference with that available on a metaphysical supervaluationist account of QMI (§2). We then present and respond to objections, due to Glick (2017) and Torza (2017), either to QMI (§3) or to our specific account of QMI (§4); in these sections we also positively compare our treatment of double-slit interference to that available on Glick's deflationary treatment of QMI. We conclude with some dialectical observations (§5). (shrink)

Heinz Von Forester characterizes the objects “known” by an autopoietic system as eigen-solutions, that is, as discrete, separable, stable and composable states of the interaction of the system with its environment. Previous articles have presented the FBST, Full Bayesian Significance Test, as a mathematical formalism specifically designed to access the support for sharp statistical hypotheses, and have shown that these hypotheses correspond, from a constructivist perspective, to systemic eigen-solutions in the practice of science. In this article several issues related to (...) the role played by language in the emergence of eigen-solutions are analyzed. The last sections also explore possible connections with the semiotic theory of Charles Sanders Peirce. (shrink)

The aim of this paper is to reconstruct and correct one argument in support of the symmetrization postulate in quantum mechanics. I identify the central premise of the argument as a thesis specifying a particular ontic property of quantum superpositions. The precise form of this thesis depends on some underlying assumptions of a metaphysical character. I compare the exchange degeneracy argument with alternative formal arguments for the symmetrization postulate, and I discuss the role and meaning of labels in the symmetric/antisymmetric (...) representations of the states of many particles. (shrink)

Conventional wisdom holds that the von Neumann entropy corresponds to thermodynamic entropy, but Hemmo and Shenker (2006) have recently argued against this view by attacking von Neumann's (1955) argument. I argue that Hemmo and Shenker's arguments fail due to several misunderstandings: about statistical-mechanical and thermodynamic domains of applicability, about the nature of mixed states, and about the role of approximations in physics. As a result, their arguments fail in all cases: in the single-particle case, the finite particles case, and the (...) infinite particles case. (shrink)

We present a derivation of the third postulate of relational quantum mechanics from the properties of conditional probabilities. The first two RQM postulates are based on the information that can be extracted from interaction of different systems, and the third postulate defines the properties of the probability function. Here we demonstrate that from a rigorous definition of the conditional probability for the possible outcomes of different measurements, the third postulate is unnecessary and the Born’s rule naturally emerges from the first (...) two postulates by applying the Gleason’s theorem. We demonstrate in addition that the probability function is uniquely defined for classical and quantum phenomena. The presence or not of interference terms is demonstrated to be related to the precise formulation of the conditional probability where distributive property on its arguments cannot be taken for granted. In the particular case of Young’s slits experiment, the two possible argument formulations correspond to the possibility or not to determine the particle passage through a particular path. (shrink)

This thesis is a study of the notion of time in modern physics, consisting of two parts. Part I takes seriously the doctrine that modern physics should be treated as the primary guide to the nature of time. To this end, it offers an analysis of the various conceptions of time that emerge in the context of various physical theories and, furthermore, an analysis of the relation between these conceptions of time and the more orthodox philosophical views on the nature (...) of time. In Part II I explore the interpretation of nonrelativistic quantum mechanics in light of the suggestion that an overly Newtonian conception of time might be contributing to some of the difficulties that we face in interpreting the quantum mechanical formalism. In particular, I argue in favour of introducing backwards-in-time causal influences as part of an alternative conception of time that is consistent with the picture of reality that arises in the context of the quantum formalism. Moreover, I demonstrate that this conception of time can already be found in a particular formulation of classical mechanics. One might see that one of the central themes of Part II originates from a failure to heed properly the doctrine of Part I: study into the nature of time should be guided by modern physics and thus we should be careful not to insert a preconceived Newtonian conception of time unwittingly into our interpretation of the quantum mechanical formalism. Thus, whereas Part I is intended as a demonstration of methodology with respect to the study of time, Part II in a sense explores a confusion that can be seen as arising in the absence of this methodology. (shrink)

How should we characterise the observable aspects of quantum theory? This paper argues that philosophers and physicists should jettison a standard dogma: that observables must be represented by self-adjoint or Hermitian operators. Four classes of non-standard observables are identified: normal operators, symmetric operators, real-spectrum operators, and none of these. The philosophical and physical implications of each are explored.

On many currently live interpretations, quantum mechanics violates the classical supposition of value definiteness, according to which the properties of a given particle or system have precise values at all times. Here we consider whether either metaphysical supervaluationist or determinable-based approaches to metaphysical indeterminacy can accommodate quantum metaphysical indeterminacy (QMI). We start by discussing the standard theoretical indicator of QMI, and distinguishing three seemingly different sources of QMI (S1). We then show that previous arguments for the conclusion that metaphysical supervaluationism (...) cannot accommodate QMI, due to Darby 2010 and Skow 2010, are unsuccessful, in leaving open several supervaluationist responses. We go on to provide more comprehensive argumentation for the negative conclusion. Here, among other results, we establish that the problems for supervaluationism extend far beyond the concern that is the focus of Darby's and Skow's discussions (according to which a supervaluationist approach is incompatible with the orthodox interpretation, in light of the Kochen-Specker theorem) to also attach to common understandings of other interpretations on which there is QMI (S2). We then argue that a determinable-based account can successfully accommodate all three varieties of QMI (S3). We close by observing the positive mutual bearing of our results on the coherence and intelligibility of both quantum mechanics and metaphysical indeterminacy (S4). (shrink)

The laws of classical logic are taken to be logical truths, which in turn are taken to hold objectively. However, we might question our faith in these truths: why are they true? One general approach, proposed by Putnam [8] and more recently Dickson [3] or Maddy [5], is to adopt empiricism about logic. On this view, logical truths are true because they are true of the world alone – this gives logical truths an air of objectivity. Putnam and Dickson both (...) take logical truths to be true in virtue of the world’s structure, given by our best empirical theory, quantum mechanics. This assumes a determinate logical structure of the world given by quantum mechanics. Here, I argue that this assumption is false, and that the world’s logical structure, and hence the related ‘true’ logic, is underdetermined. This leads to what I call empirical conventionalism. (shrink)

This article probes the question of what interpretations of quantum mechanics actually accomplish. In other domains, which are briefly considered, interpretations serve to make alien systematizations intelligible to us. This often involves clarifying the status of their implicit ontology. A survey of interpretations of non-relativistic quantum mechanics supports the evaluation that these interpretations make a contribution to philosophy, but not to physics. Interpretations of quantum field theory are polarized by the divergence between the Lagrangian field theory that led to the (...) Standard Model of Particle physics and the Algebraic quantum field theory, that discounts an ontology of particles. Ruetsche's interpretation, it is argued, offers a potential for loosening the sharp polarization that presently obtains. A brief evaluation focuses on the functional ontology of quantum field theory considered as an effective theory. (shrink)

The so-called classical limit of quantum mechanics is generally studied in terms of the decoherence of the state operator that characterizes a system. This is not the only possible approach to decoherence. In previous works we have presented the possibility of studying the classical limit in terms of the decoherence of relevant observables of the system. On the basis of this approach, in this paper we introduce the classical limit from a logical perspective, by studying the way in which the (...) logical structure of quantum properties corresponding to relevant observables acquires Boolean characteristics. (shrink)

I defend the Received View on scientific theories as developed by Carnap, Hempel, and Feigl against a number of criticisms based on misconceptions. First, I dispute the claim that the Received View demands axiomatizations in first order logic, and the further claim that these axiomatizations must include axioms for the mathematics used in the scientific theories. Next, I contend that models are important according to the Received View. Finally, I argue against the claim that the Received View is intended to (...) make the concept of a theory more precise. Rather, it is meant as a generalizable framework for explicating specific theories. (shrink)

The author endeavours to show two things: first, that Schrödingers (and Eckarts) demonstration in March (September) 1926 of the equivalence of matrix mechanics, as created by Heisenberg, Born, Jordan and Dirac in 1925, and wave mechanics, as created by Schrödinger in 1926, is not foolproof; and second, that it could not have been foolproof, because at the time matrix mechanics and wave mechanics were neither mathematically nor empirically equivalent. That they were is the Equivalence Myth. In order to make the (...) theories equivalent and to prove this, one has to leave the historical scene of 1926 and wait until 1932, when von Neumann finished his magisterial edifice. During the period 1926–1932 the original families of mathematical structures of matrix mechanics and of wave mechanics were stretched, parts were chopped off and novel structures were added. To Procrustean places we go, where we can demonstrate the mathematical, empirical and ontological equivalence of ‘the final versions of’ matrix mechanics and wave mechanics. -/- The present paper claims to be a comprehensive analysis of one of the pivotal papers in the history of quantum mechanics: Schrödingers equivalence paper. Since the analysis is performed from the perspective of Suppes structural view (‘semantic view’) of physical theories, the present paper can be regarded not only as a morsel of the internal history of quantum mechanics, but also as a morsel of applied philosophy of science. The paper is self-contained and presupposes only basic knowledge of quantum mechanics. For reasons of length, the paper is published in two parts; Part I appeared in the previous issue of this journal. Section 1 contains, besides an introduction, also the papers five claims and a preview of the arguments supporting these claims; so Part I, Section 1 may serve as a summary of the paper for those readers who are not interested in the detailed arguments. (shrink)

In this paper we argue that quantum mechanics provides a genuine kind of structural explanations of quantum phenomena. Since structural explanations only rely on the formal properties of the theory, they have the advantage of being independent of interpretative questions. As such, they can be used to claim that, even in the current absence of one agreed-upon interpretation, quantum mechanics is capable of providing satisfactory explanations of physical phenomena. While our proposal clearly cannot be taken to solve all interpretive issues (...) raised by quantum theory, we will argue that it can be successfully applied to some of its most puzzling phenomena, such Heisenberg's uncertainty relations and quantum non-locality. The discussion of these two case studies will also serve to illustrate the main properties of structural explanations and compare them to the DN and the unificationist models. Finally, we briefly discuss how structural explanations might relate to structural realism. (shrink)

According to conventional wisdom, local gauge symmetry is not a symmetry of nature, but an artifact of how our theories represent nature. But a study of the so-called theta-vacuum appears to refute this view. The ground state of a quantized non-Abelian Yang-Mills gauge theory is characterized by a real-valued, dimensionless parameter theta—a fundamental new constant of nature. The structure of this vacuum state is often said to arise from a degeneracy of the vacuum of the corresponding classical theory, which degeneracy (...) allegedly arises from the fact that “large” (but not “small”) local gauge transformations connect physically distinct states of zero field energy. If that is right, then some local gauge transformations do generate empirical symmetries. In defending conventional wisdom against this challenge I hope to clarify the meaning of empirical symmetry while deepening our understanding of gauge transformations. I distinguish empirical from theoretical symmetries. Using Galileo’s ship and Faraday’s cube as illustrations, I say when an empirical symmetry is implied by a theoretical symmetry. I explain how the theta-vacuum arises, and how “large” gauge transformations differ from “small” ones. I then present two analogies from elementary quantum mechanics. By applying my analysis of the relation between empirical and theoretical symmetries, I show which analogy faithfully portrays the character of the vacuum state of a classical non-Abelian Yang-Mills gauge theory. The upshot is that “large” as well as “small” gauge transformations are purely formal symmetries of non-Abelian Yang-Mills gauge theories, whether classical or quantized. It is still worth distinguishing between these kinds of symmetries. An analysis of gauge within the constrained-Hamiltonian formalism yields the result that “large” gauge transformations should not be classified as gauge transformations; indeed, nor should “global” gauge transformations. In a theory in which boundary conditions are modeled dynamically, “global” gauge transformations may be associated with physical symmetries, corresponding to translations of these extra dynamical variables. Such translations are symmetries if and only if charge is conserved. But it is hard to argue that these symmetries are empirical, and in any case they do not correspond to any constant phase change in a quantum state. (shrink)

(2007). Relativity Theory between Structural and Dynamical Explanations. International Studies in the Philosophy of Science: Vol. 21, No. 1, pp. 95-102.

This paper attempts an interpretation of Everett's relative state formulation of quantum mechanics that avoids the commitment to new metaphysical entities like ‘worlds’ or ‘minds’. Starting from Everett's quantum mechanical model of an observer, it is argued that an observer's belief to be in an eigenstate of the measurement (corresponding to the observation of a well-defined measurement outcome) is consistent with the fact that she objectively is in a superposition of such states. Subjective states corresponding to such beliefs are constructed. (...) From an analysis of these subjective states and their dynamics it is argued that Everett's pure wave mechanics is subjectively consistent with von Neumann's classical formulation of quantum mechanics. It follows from the argument that the objective state of a system is in principle unobservable. Nevertheless, an adequate concept of empirical reality can be constructed. (shrink)

The main aim of this work is to contribute tothe elucidation of the concept of informationby comparing three different views about thismatter: the view of Fred Dretske's semantictheory of information, the perspective adoptedby Peter Kosso in his interaction-informationaccount of scientific observation, and thesyntactic approach of Thomas Cover and JoyThomas. We will see that these views involvevery different concepts of information, eachone useful in its own field of application. This comparison will allow us to argue in favorof a terminological `cleansing': it (...) is necessaryto make a terminological distinction among thedifferent concepts of information, in order toavoid conceptual confusions when the word`information' is used to elucidate relatedconcepts as knowledge, observation orentropy. (shrink)

Translated here into Polish is Tim Maudlin’s “Distilling Metaphysics from Quantum Physics,” which is a chapter of The Oxford Handbook of Metaphysics. The author discusses six important metaphysical issues on which quantum physics sheds new light. He shows how differently each of the three main intepretations of quantum theory (von Neumann’s and GRW collapse theory, Bohm’s hidden variable theory, and Everett’s many-worlds theory) views each of them. The issues discussed are determinism, determinateness, the role of the observer, uncertainty and complementarity, (...) quantum logic, and entanglement and non-locality. (shrink)

It is argued that seemingly “merely technical” issues about the existence and uniqueness of self-adjoint extensions of symmetric operators in quantum mechanics have interesting implications for foundations problems in classical and quantum physics. For example, pursuing these technical issues reveals a sense in which quantum mechanics can cure some of the forms of indeterminism that crop up in classical mechanics; and at the same time it reveals the possibility of a form of indeterminism in quantum mechanics that is quite distinct (...) from the indeterminism of state vector collapse. More generally, the examples considered indicate that the classical–quantum correspondence is more intricate and delicate than is generally appreciated. The aim of the article is to give a series of examples that reveal why the technical issues about self-adjointness are relevant to the philosophy of science and that help to make the issues accessible to philosophers of science. (shrink)

A cura di Ignazio Licata, Ammar J. Sakaji Jeffrey A. Barrett, Enrico Celeghini, Leonardo Chiatti, Maurizio Consoli, Davide Fiscaletti, Ervin Goldfain, Annick Lesne, Maria Paola Lombardo, Mohammad Mehrafarin, Ronald Mirman, Ulrich Mohrhoff, Renato Nobili, Farrin Payandeh, Eliano Pessa, L.I Petrova, Erasmo Recami, Giovanni Salesi, Francesco Maria Scarpa, Mohammad Vahid Takook, Giuseppe Vitiello This volume comes out from an informal discussion between friends and colleagues on the answer:what topic do you think as fundamental in theoretical physics nowadays? Obviously wereceived different answers (...) according to the disposition and the different research areas, and answersin superposition state too. And yet some attractors have emerged pointing out the keys forthe Physicists conception of Nature, all of them converging towards a group of stronglyinterconnectedproblems. Let's see them one by one:. The concept of particle identity in Quantum Mechanics (QM) and Quantum Field Theory (QFT);. The relationship between QM and QFT, in particular the non -local aspects in Field Theory andthe problem of non-perturbative solutions;. The local/global problem in the relationship between particle physics and cosmology;. The role of Renormalization group in describing the meso and macroscopic emergent behaviour;. The possible extension of Poincaré symmetry group and Quantum cosmology;. Higgs "mechanism" and the origin of mass. (shrink)

This article presents a reconstruction of the so-called classical, formal or Mendelian genetics, which is intended to be more complete and adequate than existing reconstructions. This reconstruction has been carried out with the instruments, duly modified and extended with respect to the case under consideration, of the structuralist conception of theories. The so-called Mendel’s Laws, as well as linkage genetics and gene mapping are formulated in a precise manner while the global structure of genetics is represented as a theory-net. These (...) results are of methodological, philosophical and didactical relevance. (shrink)