Thoroughly Muddled Mctaggart Let's Begin with What We Agree On

Total Page:16

File Type:pdf, Size:1020Kb

Thoroughly Muddled Mctaggart Let's Begin with What We Agree On Just when the hubbub over the infamous hole argument seemed to have died down, and you thought it was safe go back into the placid pool of classical GTR (away from the white-water rapids of quantum gravity), John Earman has conjured up yet another monster to trouble poor old Ein- stein.1 This time, a sprinkling of the magic powder of the constrained Hamiltonian formalism has been employed to Thoroughly Muddled resurrect the decomposing flesh of McTaggart, who intones that the GTR (yes, the plain old vanilla GTR) implies that "no McTaggart genuine physical magnitude countenanced in GTR changes over time" (p. 6), i.e., that if the GTR is complete, we not only live in a block universe, but the block is "frozen", with no Or real physical quantities changing. I hope to drive a stake through the heart of the undead McTaggart and end this How to Abuse Gauge Freedom to new rampage before it has begun. Generate Metaphysical Monstrosities I choose the image of driving a stake through the heart with some care. There is much in this paper, especially in the latter sections, which will be of considerable use to phi- losophers of physics. Professor Earman has, as usual, mas- tered quite a lot of mathematical physics that would be be- Tim Maudlin yond the grasp of most of us, and has done us the great fa- vor of reviewing many technically demanding programs that are of especial interest to philosophers of physics. But With a Response by the motor of this project is supposed to be a very, very sur- John Earman prising feature of the "deep structure" (p. 6) of GTR: namely that according to the deep structure, nothing physically real changes. This, and only this, is the claim I seek to demolish. Even if I succeed, much of interest may be found in the dis- jecta membra of Professor Earman's paper. Philosophers' Imprint <www.philosophersimprint.org/002004/> 1 "Thoroughly Modern McTaggart: Or What McTaggart Would Have Said Volume 2, No. 4 If He Had Learned the General Theory of Relativity," Philosophers' Imprint August 2002 Vol. 2, No. 3 (August 2002): http://www.philosophersimprint.org/002003/. © 2002 Tim Maudlin and John Earman Tim Maudlin is Professor of Philosophy at Rutgers University. Tim Maudlin Thoroughly Muddled McTaggart Let's begin with what we agree on. Earman rejects the definition of an observable in GTR, which I dub the "Ob- original McTaggart's A-series/B-series argument. He agrees servables Argument". I will treat these two arguments sepa- that if one means by a "block universe" only a universe rately, since they rely on different principles. which can, in its entirety, be modeled by a single 4- dimensional manifold with Lorentz metric, then a block uni- The Hamiltonian Argument verse can contain real physical change. This is, I think, the The Hamiltonian Argument derives from the work of Dirac common sense view. The sort of models of the GTR we are on the "constrained Hamiltonian" formalism for presenting a most familiar with, the solutions of the Einstein Field Equa- physical theory. Earman presents this formalism and its in- tions, represent worlds in which things change: stars col- terpretation very compactly. I would like to explicate the lapse, perihelions precess, binary star systems radiate leading ideas in a somewhat different and, I think, more in- gravitational waves and increase their rate of spin. The rep- tuitive way. I will not touch on many of the technical details resentation, as a mathematical object, does not change, but which, I think, play no essential role in understanding the fi- that's just because no mathematical object changes. As Ear- nal result. Let us then approach the Hamiltonian argument man approvingly paraphrases Savitt: to have a picture of in a series of steps. animation, one doesn't have to provide an animated picture. First, we are to cast the GTR in Hamiltonian form. We But more than that is here conceded. Earman characterizes then notice that, so cast, the dynamics of the theory appears the common sense argument for physical change in the GTR to be indeterministic. Next we consider similar cases in as which apparent indeterminism arises because of a "gauge based on a naively realistic reading of the surface struc- ture of the theory-tensor, vector, and scalar fields on freedom" of the theory. We review a standard method for manifolds. But this naive reading must be radically removing this indeterminism by "quotienting out" the gauge modified if GTR is to count as a deterministic theory, freedom in the phase space of the theory. Applying this and the modification undercuts the common sense pic- standard method to the GTR does indeed restore the deter- ture of change by freezing the dynamics. [p. 7] minism of the theory—but at a price. The price is that the So whatever the new threat to change is supposed to be, it dynamics of the theory becomes "pure gauge"; that is, states does not appear in the "naive reading". The new problem is of the mathematical model which we had originally taken to not to be founded, for example, on the absence of a preferred represent physically different conditions occurring at differ- foliation of space-time into instantaneous spaces, since no ent times are now deemed equivalent since they are related such foliation exists in the "naive reading". Rather, the by a "gauge transformation". We find that what we took to problem only appears when the GTR is recast in a way be an "earlier" state of the universe is "gauge equivalent" to somewhat different from its usual presentation. what we took to be a "later" state. If gauge equivalent states There are two wholly distinct arguments for this new are taken to be physically equivalent, it follows that there is "problem of change" for GTR. One argument involves re- no physical difference between the "earlier" and the "later" states: writing the GTR Hamiltonian form, which I will call the there is no real physical change. "Hamiltonian Argument". The other turns on the proper The key step to this argument lies in the technique for 2 Tim Maudlin Thoroughly Muddled McTaggart removing indeterminism by quotienting the phase space. In satisfies the equations of motion. order to understand the nature and prima facie justification of Now, it is well known that if a classical electromagnetic this apparatus, it is best to begin on familiar territory: gauge field satisfies Maxwell's equations, then the field can be rep- freedom in classical electromagnetic theory. resented by vector and scalar electromagnetic potentials, A Φ If we take the ontology of Maxwellian electrodynamics at and , such that face value, we get a picture like this. The complete electro- magnetic state of the universe at some moment is specified E = -grad Φ - ∂A/c ∂t by the values of the electric and magnetic fields at every point of space at that moment, together with their first de- and rivatives. (This gives the free field. We may want to add the distribution of electric charge and its flux to this state, in B = curl A. which case there will be constraints between the field values and the charge densities, but these complications are not of It is equally well known that the relation between the poten- the moment here.) Maxwell's equations then provide the tials and the fields is many-one: different scalar and vector dynamics of this system: they specify how the electric and potentials yield the very same electric and magnetic fields. magnetic fields evolve through time. Generically, the state A mathematical operation changing one pair of potentials of the universe changes deterministically under this dy- into another that yields the same fields is a gauge transforma- namics. tion, and the potentials themselves are said to be gauge We can reformulate this theory in Hamiltonian form as equivalent. The justification for this terminology is clear: follows. We begin with a Hamiltonian function that, since the fields are taken to be the fundamental ontology, roughly, specifies the total energy of the system. We then potentials that are gauge equivalent are taken to represent construct a phase space of the system. Each point in the the very same physical state of affairs. The freedom to choose phase space specifies the complete global distribution of the among gauge-equivalent potentials is not a physical degree electric and magnetic fields, as well as their conjugate mo- of freedom: it rather results from the fact that we have many menta. The time evolution of the system is specified by distinct mathematical objects all of which represent the same Hamilton's equations: the rate of change of any of the ca- physical state. nonical variables is given by a partial differential of the Now suppose we wish to formulate the dynamics of the Hamiltonian. The net result of all this is that the history of theory in terms of the potentials rather than the fields. the entire system is now represented by a trajectory through Without any further ado, we should automatically expect phase space, parameterized by time, which solves Hamil- that (unless something is done), the dynamics in terms of the ton's equations. And since the development of the electro- potentials ought to be indeterministic. For if the original magnetic field in the original (Maxwell) theory was determi- dynamics implies that a state of the electromagnetic field E0- nistic, we expect the dynamics here to be deterministic: each B0 will evolve, after a period of time, into E1-B1, then we point in phase space will belong to a unique trajectory which should expect the new dynamics only to demand that a pair 3 Tim Maudlin Thoroughly Muddled McTaggart of potentials which yields (by the equations given above) E0- namics of electromagnetic theory in terms of potentials B0 ought to evolve into some pair of potentials which yields rather than fields will yield an indeterministic dynamics, E1-B1.
Recommended publications
  • Here’S No Speed of Light, So What the Heck Did Michelson Measure?” “What the Humean Should Say About Quantities: a Reply to Bricker”
    Hellems Building, Office 282 [email protected] CU Boulder, Dept of Philosophy (215)-262-3126 Boulder, CO 80309 www.zrperry.com Zee R. Perry curriculum vitae Employment 2018–present Center Visiting Scholar Center for the Study of Origins, University of Colorado, Boulder 2018–present Visiting Instructor Department of Philosophy, University of Colorado, Boulder 2016–2018 Andrew W. Mellon Foundation Postdoctoral Associate Department of Philosophy, Rutgers University, New Brunswick Education 2009–2016 Ph.D. in Philosophy, New York University. Dissertation: Physical Quantities: Mereology and Dynamics Committee: Tim Maudlin (chair), Cian Dorr, Hartry Field, Shamik Dasgupta (ex- ternal, Princeton) 2007–2009 B.A. in Philosophy, Rutgers University Summa Cum Laude. 2005–2007 Moravian College Areas of Specialization Metaphysics, Philosophy of Physics Areas of Competence Philosophy of Science, Philosophy of Art, Logic Fellowships and Awards Summer Early Career Researcher Visiting Fellowship, ANU School of Philosophy and Centre 2019 for the Philosophy of the Sciences 2018–present Visiting Scholarship Award (Project: Origins of Measurement), Center for the Study of Origins, CU Boulder 2015–2016 Mellon Dissertation Fellowship, NYU 2015 Student Senator’s Council Conference Funding Travel Award, NYU 2015 Outstanding Teaching Award, NYU 2014 Graduate School of Arts and Sciences Dean’s Student Travel Grant, NYU 2009–2014 MacCracken Fellowship, NYU 1 Publications 2017 “How to be a Substantivalist Without Getting Shifty About It”. Philosophical Issues: Metaphysics. 27, (1). (2017). http://philpapers.org/rec/PERHTB 2017 “What the Humean Should Say about Entanglement” (with Harjit Bhogal). Noûs. 51, (1). (2017). http://philpapers.org/rec/BHOWTH 2015 “Properly Extensive Quantities”. Philosophy of Science. University of Chicago Press.
    [Show full text]
  • 2008. Pruning Some Branches from 'Branching Spacetimes'
    CHAPTER 10 Pruning Some Branches from “Branching Spacetimes” John Earman* Abstract Discussions of branching time and branching spacetime have become com- mon in the philosophical literature. If properly understood, these concep- tions can be harmless. But they are sometimes used in the service of debat- able and even downright pernicious doctrines. The purpose of this chapter is to identify the pernicious branching and prune it back. 1. INTRODUCTION Talk of “branching time” and “branching spacetime” is wide spread in the philo- sophical literature. Such expressions, if properly understood, can be innocuous. But they are sometimes used in the service of debatable and even downright per- nicious doctrines. The purpose of this paper is to identify the pernicious branching and prune it back. Section 2 distinguishes three types of spacetime branching: individual branch- ing, ensemble branching, and Belnap branching. Individual branching, as the name indicates, involves a branching structure in individual spacetime models. It is argued that such branching is neither necessary nor sufficient for indeterminism, which is explicated in terms of the branching in the ensemble of spacetime mod- els satisfying the laws of physics. Belnap branching refers to the sort of branching used by the Belnap school of branching spacetimes. An attempt is made to sit- uate this sort of branching with respect to ensemble branching and individual branching. Section 3 is a sustained critique of various ways of trying to imple- ment individual branching for relativistic spacetimes. Conclusions are given in Section 4. * Department of History and Philosophy of Science, University of Pittsburgh, Pittsburgh, USA The Ontology of Spacetime II © Elsevier BV ISSN 1871-1774, DOI: 10.1016/S1871-1774(08)00010-7 All rights reserved 187 188 Pruning Some Branches from “Branching Spacetimes” 2.
    [Show full text]
  • Paradox Regained? a Brief Comment on Maudlin on Black Hole Information Loss
    (Information) Paradox Regained? A Brief Comment on Maudlin on Black Hole Information Loss JB Manchak, James Owen Weatherall Department of Logic and Philosophy of Science University of California, Irvine Abstract We discuss some recent work by Tim Maudlin concerning Black Hole Information Loss. We argue, contra Maudlin, that there is a paradox, in the straightforward sense that there are propositions that appear true, but which are incompatible with one another. We discuss the significance of the paradox and Maudlin's response to it. Keywords: Black holes; Information loss paradox; Kodama-Wald theorem; evaporation event; Global hyperbolicity The black hole information loss paradox (Hawking, 1976) is a widely discussed (putative) puzzle that arises when one attempts to make sense of physicists' expectation that global quantum dynamics will be unitary in light of the postulated phenomenon of black hole evaporation (Hawking, 1974, 1975; Unruh, 1976), which is apparently a consequence of Hawking radiation.1 In a provocative recent manuscript, Tim Maudlin (2017) forcefully argues that \There is no `information loss' paradox." The \solution" to the \paradox", he claims, requires no new physics and indeed, was already available, though not appreciated, in 1975. The appearance of paradox arises only because of persistent errors, both mathematical and conceptual in character, by prominent members of the physics community. There is much to admire in Maudlin's treatment of the subject. We agree, for instance, with his discussion of the (non-)role of \information" in the putative paradox. What is really at issue is predictability, or even better, retrodictability, and not information (at least in the sense of information theory): as we will describe in more detail below, the puzzle concerns whether any specification of data on a particular surface is sufficient to retrodict the physical process by which that data came about.
    [Show full text]
  • Lost in the Tensors: Einstein's Struggles with Covariance Principles 1912-1916"
    JOHN EARMAN and CLARK GL YMOUR LOST IN THE TENSORS: EINSTEIN'S STRUGGLES WITH COVARIANCE PRINCIPLES 1912-1916" Introduction IN 1912 Einstein began to devote a major portion of his time and energy to an attempt to construct a relativistic theory of gravitation. A strong intimation of the struggle that lay ahead is contained in a letter to Arnold Sommerfeld dated October 29, 1912: At the moment I am working solely on the problem of gravitation and believe 1 will be able to overcome all difficulties with the help of a local, friendly mathemat- ician. But one thing is certain, that I have never worked so hard in my life, and that I have been injected with a great awe of mathematics, which in my naivet~ until now I only viewed as a pure luxury in its subtler forms! Compared to this problem the original theory of relativity is mere child's play.' Einstein's letter contained only a perfunctory reply to a query from Sommerfeld about the Debye-Born theory of specific heats. Obviously disappointed, Som- merfeld wrote to Hilbert: 'My letter to Einstein was in vain . Einstein is evidently so deeply mired in gravitation that he is deaf to everything else? Sommerfeld's words were more prophetic than he could possibly have known; the next three years were to see Einstein deeply mired in gravitation, sometimes seemingly hopelessly so. In large measure, Einstein's struggle resulted from his use and his misuse, his understanding and his misunderstanding of the nature and implications of covariance principles. In brief, considerations of general covariance were bound up with Einstein's motive for seeking a 'generalized' theory of relativity; mis- understandings about the meaning and implementation of this motivation threatened to wreck the search; and in the end, the desire for general covariance helped to bring Einstein back onto the track which led to what we now recognize *Present address c/o Department of Philosophy, University of Minnesota, Minneapolis, Minn, U.S.A.
    [Show full text]
  • II Physical Geometry and Fundamental Metaphysics
    ! 1 II Physical Geometry and Fundamental Metaphysics CIAN DORR Final version: Thursday, 16 September 2010 I. Tim Maudlin’s project sets a new standard for fruitful engagement between philosophy, mathematics and physics. I am glad to have a chance to be part of the conversation. I think we can usefully distinguish two different strands within the project: one more conceptual, the other more straightforwardly metaphysical. The conceptual strand is an attempt to clarify certain concepts, such as continuity, connectedness, and boundary, which are standardly analysed in terms of the topological concept of an open set. The metaphysical strand is a defence of a hypothesis about the geometric aspects of the fun- damental structure of reality—the facts in virtue of which the facts of physical geometry are what they are. What I have to say mostly concerns the metaphysical side of things. But I will begin by saying just a little bit about the conceptual strand. II. In topology textbooks, expressions like ‘continuous function’, ‘connected set of points’, and ‘boundary of a set of points’ are generally given stipulative definitions, on a par with the definitions of made-up words like ‘Hausdorff’ (the adjective) and ‘paracompact’. But as Maudlin emphasises, the former expressions can be used to express concepts of which we have enough of an independent grip to make it reasonable to wonder whether the topological definitions are even extensionally adequate. And he argues quite persuasively that we have no reason to believe that they are. The most important and general argu- ment concerns the live epistemic possibility that physical space is discrete, for example by ! 2 containing only finitely many points.
    [Show full text]
  • Credence—And Chance—Without Numbers (And with the Euclidean Property)
    Credence—and Chance—Without Numbers (and with the Euclidean Property) Tim Maudlin NYU and John Bell Institute Abstract Accounts of both rational credence and of objective chance have always confronted difficulties associated with events that are assigned “probability zero” by the usual Kolmogorov probability function used to model the situation. One sort of solution recommends extending the number field used to represent credences and chance to the surreals or hyperreals. But the correct solution—the solution that always respects the Euclidean property—is to eliminate numbers from the fundamental representation of credence and chance altogether in favor of a system of relations. This solution also sheds light on other paradoxes, such as the Banach-Tarski paradox and the St. Petersburg paradox. The Problem (?) Suppose that an infinitely sharp dart is thrown at a circular dartboard in such a way that each individual point might be hit: nothing would prevent the dart from landing there. In other words, suppose that a point is randomly chosen from a disk in such a way that every point might be chosen. Let two of these points be labeled p and q. Here are some propositions about credence and chance that every rational person should accept. First, the proposition that either p or q will be chosen is strictly more credible—more rationally believable—than the proposition that p will be hit. If someone did not believe the former more firmly or to a higher degree than the latter then we would have no idea how to make sense of their state of belief. We can illustrate our bewilderment by appeal to practical rationality.
    [Show full text]
  • Lawrence Sklar
    LAWRENCE SKLAR Born: June 25, 1938 in Baltimore, MD Married to: Elizabeth S. Sklar; one child Education Oberlin College, B.A., 1958 Princeton University, M.A., 1960; Ph.D., 1964 Fellowships, Awards and National Offices Held Undergraduate Ford Foundation Early Admission Scholarship Honors List (all years) Phi Beta Kappa (elected in junior year) Sigma Xi (associate member) Graduate Woodrow Wilson Fellowship, 1959-60 Chancellor Green Fellowship, 1960-61 Charlotte Elizabeth Proctor Advanced Fellowship (awarded to top ten students in third year graduate class), 1961-62 National Science Foundation Cooperative Fellowship, 1962-63 Post-Graduate American Council of Learned Societies Study Fellowship (held at Oxford University), 1965-66 John Simon Guggenheim Memorial Foundation Fellowship, 1974-75 Franklin J. Matchette Prize. Awarded by the American Philosophical Association to Space, Time, and Spacetime as outstanding philosophical book of 1973 and 1974 National Science Foundation Research Grants, 1977-78, 1979-80, 1982, 1984-85, 1986-87, 1988-89, 1998-2001, 2002-03 Rackham Foundation Summer Research Fellowship, 1983, 1994 2 Nelson Fellow, Philosophy Department, University of Michigan, l991-l994, 1995- James B. and Grace J. Nelson Professorship, Philosophy Department, University of Michigan, 1994-95 National Endowment for the Humanities Fellowship, 1995-96 Faculty Recognition Award, University of Michigan, 1995-98 William K. Frankena Collegiate Professorship, University of Michigan, 1995-2002 Lakatos Award. Awarded to Physics and Chance as outstanding book in the philosophy of science for 1995. Physics and Chance selected by Choice Magazine as Outstanding Academic Book in philosophy of science for 1995 Fellow, American Academy of Arts and Sciences John Locke Lectureship in Philosophy, 1998, Oxford University Visiting Fellowship, All Souls College, Oxford University, 1998 Michigan Humanities Award, 1998-99.
    [Show full text]
  • Determinism and General Relativity
    Determinism and General Relativity Chris Smeenk and Christian W¨uthrich∗ 16 September 2020 Abstract We investigate the fate of determinism in general relativity (GR), comparing the philosopher's account with the physicist's well-posed initial value formulations. The fate of determinism is interwoven with the question of what it is for a spacetime to be `physically reasonable'. A central concern is the status of global hyperbolicity, a putatively necessary condition for determinism in GR. While global hyperbolicity may fail to be true of all physically reasonable models, we analyze whether global hyperbolicity should be (i) imposed by fiat; (ii) established from weaker assumptions, as in cosmic censorship theorems; or (iii) justified by beyond-GR physics. 1 Introduction Two foundational questions one might ask about any physical theory bring out particularly subtle and interesting features of general relativity (GR). First, is GR a deterministic theory? Second, do all mathematical models of the theory represent physically possible spacetimes? There is a tight connection in GR between these two questions, i.e., between an assessment of what spacetimes are physically possible or reasonable and of whether determinism holds. It is this connection that we explore in this essay. Determinism holds if specifying the state of a system uniquely fixes its dynamical evolution. Spacetimes with exotic causal structure raise a distinctive set of questions regarding the status of determinism in GR, differing from those raised by the (in)famous hole argument. Below we will bypass the hole argument by assuming that the existence of a unique solution `up to diffeomor- phism invariance' is sufficient for determinism in GR.
    [Show full text]
  • Indeterminism Is a Modal Notion: Branching Spacetimes and Earman’S Pruning
    Indeterminism is a modal notion: branching spacetimes and Earman’s pruning Tomasz Placek and Nuel Belnap Contents 1 Three types of branching 4 1.1 Ensemble and individual branching defined . 5 1.2 BST branching . 6 2 BT/BST branching 8 2.1 BST: Our World and its point events . 8 2.2 BST: histories . 9 2.3 BST: axioms . 10 2.4 BST: space-like relatedness . 10 2.5 BST: modal thickness and thinness . 10 2.6 BST: applications . 11 2.7 Spatiotemporal locations . 12 3 Physically-motivated BST models 13 3.1 Minkowskian Branching Structures . 13 3.2 Defining MBS’s . 18 3.3 Takingstock............................ 22 3.4 Historical remarks . 23 4 Further replies to Earman 24 4.1 BST: Hausdorffproperty..................... 24 4.2 The thin red line . 31 4.3 Semantic rule (R)......................... 33 4.4 Past/future asymmetry . 35 5 Indeterminism 37 1 6 Final 40 2 Abstract The paper defends an Aristotelian notion of indeterminism, as rig- orously formulated in the framework of branching space-times (BST) of Belnap (1992), against criticism by Earman (2008) based on a model-theoretic characterization of indeterminism. It delineates BST branching against the background provided by Earman’s (2008) dis- tinction between individual vs. ensemble branching. Partly in order to motivate our responses to Earman, it describes a construction of physically-motivated BST models, in which histories are isomorphic to Minkowski spacetime. Finally it responds to Earman’s criticisms leveled against BST by addressing a topological issue, the question of an actual future, the past/future asymmetry, and some semantical questions.
    [Show full text]
  • 1 Fundamentality and Time's Arrow Christian Loew (University
    Fundamentality and Time’s Arrow Christian Loew (University of Luxembourg, University of Cologne) ABSTRACT. The distribution of matter in our universe is strikingly time asymmetric. Most famously, the Second Law of Thermodynamics says that entropy tends to increase toward the future but not toward the past. But what explains this time-asymmetric distribution of matter? In this paper, I explore the idea that time itself has a direction by drawing from recent work on grounding and metaphysical fundamentality. I will argue that positing such a direction of time, in addition to time-asymmetric boundary conditions (such as the so-called “past hypothesis”), enables a better explanation of the thermodynamic asymmetry than is available otherwise. Contact Information. Université du Luxembourg, Maison des Sciences Humaines; 11, Porte des Sciences; L-4366 Esch-sur-Alzette. Email: [email protected] Acknowledgments. I am grateful to Eddy Keming Chen, Florian Fischer, Roman Frigg, Richard Healey, Andreas Hüttemann, David Glick, Marc Lange, Tim Maudlin, Carlo Rovelli, and two anonymous referees for this journal for their helpful comments and suggestions. Special thanks to Siegfried Jaag for helpful discussion and for comments on earlier drafts of this paper. 1 §1 Introduction The distribution of matter in our universe is strikingly time asymmetric. Most famously, the Second Law of Thermodynamic says that entropy tends to increase toward the future but not toward the past. But what explains this time-asymmetric distribution of matter? The received understanding in the philosophy of physics is that the thermodynamic asymmetry is fully explicable from time-asymmetric boundary conditions, including the low entropy of the early universe (see, e.g., Albert 2015 and Loewer 2012).
    [Show full text]
  • Aspects of Determinism in Modern Physics
    ASPECTS OF DETERMINISM IN MODERN PHYSICS John Earman 1 INTRODUCTION The aims of this chapter are to review some aspects of determinism that are famil- iar to physicists but are little discussed in the philosophical literature and to show how these aspects connect determinism to issues about symmetries in physics, the structure and ontological status of spacetime, predictability, and computability.1 It will emerge that in some respects determinism is a robust doctrine and is quite hard to kill, while in other respects it is fragile and requires various enabling as- sumptions to give it a fighting chance. It will also be seen that determinism is far from a dead issue. Whether or not ordinary non-relativistic quantum mechanics (QM) admits a viable deterministic underpinning is still a matter of debate. Less well known is the fact that in some cases QM turns out to be more deterministic than its classical counterpart. Quantum field theory (QFT) assumes determinism, at least at the classical level, in order to construct the field algebra of quantum observables. Determinism is at the heart of the cosmic censorship hypothesis, the most important unsolved issue in classical general relativity theory (GTR). And issues about the nature and status of determinism lie at the heart of key foundation issues in the search for a theory of quantum gravity. 2 PRELIMINARIES 2.1 The metaphysics of determinism The proposal is to begin by getting a grip on the doctrine of determinism as it was understood pre-GTR and pre-QM, and then subsequently to try to understand how the doctrine has to be adjusted to accommodate these theories.
    [Show full text]
  • The Logic of Consistent Histories: a Reply to Maudlin
    The Logic of Consistent Histories: A Reply to Maudlin Robert B. Griffiths∗ Department of Physics, Carnegie-Mellon University, Pittsburgh, PA 15213, USA Version of 26 September 2011 Abstract The relationship between quantum logic, standard propositional logic, and the (consistent) histories rules for quantum reasoning is discussed. It is shown that Maudlin’s claim [1], that the histories ap- proach is inconsistent, is incorrect. The histories approach is both internally consistent and adequate for discussing the physical situations considered by Maudlin. Contents 1 Introduction 1 2 Logic and Quantum Mechanics 2 2.1 Propositional logic . ....... 2 2.2 QuantumLogic...................................... ...... 2 2.3 Histories Logic and Its Consistency . ........... 2 2.4 RoleofLogicinQuantumTheory . .. .. .. .. .. .. .. .. .. .. .. ....... 3 3 Spins Prepared in Boxes 3 4 GHZ Paradox 4 5 Conclusion 5 1 Introduction The argument for the locality of quantum mechanics in [2] based on the (“consistent” or “decoherent”) histories interpretation has been criticized by Maudlin [1] who claims that the histories approach is inconsis- arXiv:1110.0974v1 [quant-ph] 5 Oct 2011 tent. It will be shown here that Maudlin’s arguments are incorrect: the histories approach is both internally consistent as a form of quantum logic, and also an appropriate tool for consistently analyzing the two specific physical situations mentioned in [1]. Naturally, a system of reasoning that is internally consistent may not be appropriate or adequate when applied to a particular problem, and it could be that Maudlin’s complaint about inconsistency is really about, or perhaps includes, something which might better be called inadequacy. In what follows some attempt will be made to address adequacy along with consistency in the narrower sense, though the emphasis will be on the latter.
    [Show full text]