This is a companion to another paper. Together they rebut two widespread philosophical doctrines about emergence. The first, and main, doctrine is that emergence is incompatible with reduction. The second is that emergence is supervenience; or more exactly, supervenience without reduction.In the other paper, I develop these rebuttals in general terms, emphasising the second rebuttal. Here I discuss the situation in physics, emphasising the first rebuttal. I focus on limiting relations between theories and illustrate my claims with four examples, each (...) of them a model or a framework for modelling, from well-established mathematics or physics.I take emergence as behaviour that is novel and robust relative to some comparison class. I take reduction as, essentially, deduction. The main idea of my first rebuttal will be to perform the deduction after taking a limit of some parameter. Thus my first main claim will be that in my four examples (and many others), we can deduce a novel and robust behaviour, by taking the limit N→∞ of a parameter N.But on the other hand, this does not show that the N=∞ limit is “physically real”, as some authors have alleged. For my second main claim is that in these same examples, there is a weaker, yet still vivid, novel and robust behaviour that occurs before we get to the limit, i.e. for finite N. And it is this weaker behaviour which is physically real.My examples are: the method of arbitrary functions (in probability theory); fractals (in geometry); superselection for infinite systems (in quantum theory); and phase transitions for infinite systems (in statistical mechanics). (shrink)

This is one of two papers about emergence, reduction and supervenience. It expounds these notions and analyses the general relations between them. The companion paper analyses the situation in physics, especially limiting relations between physical theories. I shall take emergence as behaviour that is novel and robust relative to some comparison class. I shall take reduction as deduction using appropriate auxiliary definitions. And I shall take supervenience as a weakening of reduction, viz. to allow infinitely long definitions. The overall claim (...) of this paper will be that emergence is logically independent both of reduction and of supervenience. In particular, one can have emergence with reduction, as well as without it; and emergence without supervenience, as well as with it. Of the subsidiary claims, the four main ones are: : I defend the traditional Nagelian conception of reduction ; : I deny that the multiple realizability argument causes trouble for reductions, or ``reductionism'' ; : I stress the collapse of supervenience into deduction via Beth's theorem ; : I adapt some examples already in the literature to show supervenience without emergence and vice versa. (shrink)

We advocate an account of dualities between physical theories: the basic idea is that dual theories are isomorphic representations of a common core. We defend and illustrate this account, which we call a Schema, in relation to symmetries. Overall, the account meshes well with standard treatments of symmetries. But the distinction between the common core and the dual theories prompts a distinction between three kinds of symmetry: which we call ‘stipulated’, ‘accidental’ and ‘proper’.

We discuss from a philosophical perspective the way in which the normal concept of time might be said to `emerge' in a quantum theory of gravity. After an introduction, we briefly discuss the notion of emergence, without regard to time. We then introduce the search for a quantum theory of gravity ; and review some general interpretative issues about space, time and matter. We then discuss the emergence of time in simple quantum geometrodynamics, and in the Euclidean approach. Section 6 (...) concludes. (shrink)

The main aim of this paper is to make a remark about the relation between dualities between theories, as `duality' is understood in physics and equivalence of theories, as `equivalence' is understood in logic and philosophy. The remark is that in physics, two theories can be dual, and accordingly get called `the same theory', though we interpret them as disagreeing---so that they are certainly not equivalent, as `equivalent' is normally understood. So the remark is simple: but, I shall argue, worth (...) stressing---since often neglected. My argument for this is based on the account of duality developed by De Haro: which is illustrated here with several examples, from both elementary physics and string theory. Thus I argue that in some examples, including in string theory, two dual theories disagree in their claims about the world. I also spell out how this remark implies a limitation of proposals to understand theoretical equivalence as either logical equivalence or a weakening of it. (shrink)

This paper forms part of a wider campaign: to deny pointillisme, the doctrine that a physical theory's fundamental quantities are defined at points of space or of spacetime, and represent intrinsic properties of such points or point-sized objects located there; so that properties of spatial or spatiotemporal regions and their material contents are determined by the point-by-point facts. More specifically, this paper argues against pointillisme about the concept of velocity in classical mechanics; especially against proposals by Tooley, Robinson and Lewis. (...) A companion paper argues against pointillisme about -geometry, as proposed by Bricker. To avoid technicalities, I conduct the argument almost entirely in the context of "Newtonian" ideas about space and time, and the classical mechanics of point-particles, i.e. extensionless particles moving in a void. But both the debate and my arguments carry over to relativistic physics. Introduction The wider campaign 2.1 Connecting physics and metaphysics 2.1.1 Avoiding controversy about the intrinsic–extrinsic distinction 2.1.2 Distinction from three mathematical distinctions 2.2 Classical mechanics is not pointilliste, and can be perdurantist 2.2.1 Two versions of pointillisme 2.2.2 Two common claims 2.2.3 My contrary claims 2.3 In more detail... 2.3.1 Four violations of pointillisme 2.3.2 For perdurantism Velocity as intrinsic? 3.1 Can properties represented by vectors be intrinsic to a point? 3.2 Orthodox velocity is extrinsic but local 3.2.1 A question and a debate 3.2.2 The verdict 3.3 Against intrinsic velocity 3.3.1 A common view—and a common problem 3.3.2 Tooley's proposal and his arguments 3.3.3 Tooley's further discussion "Shadow velocities": Lewis and Robinson 4.1 The proposal 4.2 Criticism: the vector field remains unspecified 4.3 Avoiding the presupposition of persistence, using Hilbert's symbol 4.4 Comparison with Robinson and Lewis. (shrink)

We discuss some aspects of the relation between dualities and gauge symmetries. Both of these ideas are of course multi-faceted, and we confine ourselves to making two points. Both points are about dualities in string theory, and both have the ‘flavour’ that two dual theories are ‘closer in content’ than you might think. For both points, we adopt a simple conception of a duality as an ‘isomorphism’ between theories: more precisely, as appropriate bijections between the two theories’ sets of states (...) and sets of quantities. The first point is that this conception of duality meshes with two dual theories being ‘gauge related’ in the general philosophical sense of being physically equivalent. For a string duality, such as T-duality and gauge/gravity duality, this means taking such features as the radius of a compact dimension, and the dimensionality of spacetime, to be ‘gauge’. The second point is much more specific. We give a result about gauge/gravity duality that shows its relation to gauge symmetries to be subtler than you might expect. For gauge theories, you might expect that the duality bijections relate only gauge-invariant quantities and states, in the sense that gauge symmetries in one theory will be unrelated to any symmetries in the other theory. This may be so in general; and indeed, it is suggested by discussions of Polchinski and Horowitz. But we show that in gauge/gravity duality, each of a certain class of gauge symmetries in the gravity/bulk theory, viz. diffeomorphisms, is related by the duality to a position-dependent symmetry of the gauge/boundary theory. (shrink)

In this paper we present a schema for describing dualities between physical theories, and illustrate it in detail with the example of bosonization: a boson-fermion duality in two-dimensional quantum field theory. The schema develops proposals in De Haro : these proposals include construals of notions related to duality, like representation, model, symmetry and interpretation. The aim of the schema is to give a more precise criterion for duality than has so far been considered. The bosonization example, or boson-fermion duality, has (...) the feature of being simple, yet rich enough, to illustrate the most relevant aspects of our schema, which also apply to more sophisticated dualities. The richness of the example consists, mainly, in its concern with two non-trivial quantum field theories: including massive Thirring-sine-Gordon duality, and non-abelian bosonization. This prompts two comparisons with the recent philosophical literature on dualities:--- Unlike the standard cases of duality in quantum field theory and string theory, where only specific simplifying limits of the theories are explicitly known, the boson-fermion duality is known to hold {\it exactly}. This exactness can be exhibited explicitly. The bosonization example illustrates both the cases of isomorphic and {\it non-isomorphic} models: which we believe the literature on dualities has not so far discussed. (shrink)

Using the Hilbert-Bernays account as a spring-board, we first define four ways in which two objects can be discerned from one another, using the non-logical vocabulary of the language concerned. Because of our use of the Hilbert-Bernays account, these definitions are in terms of the syntax of the language. But we also relate our definitions to the idea of permutations on the domain of quantification, and their being symmetries. These relations turn out to be subtle---some natural conjectures about them are (...) false. We will see in particular that the idea of symmetry meshes with a species of indiscernibility that we will call `absolute indiscernibility'. We then report all the logical implications between our four kinds of discernibility. We use these four kinds as a resource for stating four metaphysical theses about identity. Three of these theses articulate two traditional philosophical themes: viz. the principle of the identity of indiscernibles, and haecceitism. The fourth is recent. Its most notable feature is that it makes diversity weaker than what we will call individuality : two objects can be distinct but not individuals. For this reason, it has been advocated both for quantum particles and for spacetime points. Finally, we locate this fourth metaphysical thesis in a broader position, which we call structuralism. We conclude with a discussion of the semantics suitable for a structuralist, with particular reference to physical theories as well as elementary model theory. (shrink)

I compare deterministic and stochastic hidden variable models of the Bell experiment, exphasising philosophical distinctions between the various ways of combining conditionals and probabilities. I make four main claims. (1) Under natural assumptions, locality as it occurs in these models is equivalent to causal independence, as analysed (in the spirit of Lewis) in terms of probabilities and conditionals. (2) Stochastic models are indeed more general than deterministic ones. (3) For factorizable stochastic models, relativity's lack of superluminal causation does not favour (...) locality over completeness. (4) If we prohibit all superluminal causation, then the violation of the Bell inequality teaches us a lesson, besides quantum mechanics' familiar ones that quantities can lack precise values and that pairs of quantities can lack joint probabilities: namely, some pairs of events are not screened off by their common past. (shrink)

We survey some philosophical aspects of the search for a quantum theory of gravity, emphasising how quantum gravity throws into doubt the treatment of spacetime common to the two `ingredient theories' (quantum theory and general relativity), as a 4-dimensional manifold equipped with a Lorentzian metric. After an introduction (Section 1), we briefly review the conceptual problems of the ingredient theories (Section 2) and introduce the enterprise of quantum gravity (Section 3). We then describe how three main research programmes in quantum (...) gravity treat four topics of particular importance: the scope of standard quantum theory; the nature of spacetime; spacetime diffeomorphisms, and the so-called `problem of time' (Section 4). These programmes are the old particle-physics approach, superstring theory, and canonical quantum gravity. By and large, these programmes accept most of the ingredient theories' treatment of spacetime, albeit with a metric with some type of quantum nature; but they also suggest that the treatment has fundamental limitations. This prompts the idea of going further: either by quantizing structures other than the metric, such as the topology; or by regarding such structures as phenomenological. We discuss this in Section 5. (shrink)

We have two aims. The main one is to expound the idea of renormalization in quantum field theory, with no technical prerequisites. Our motivation is that renormalization is undoubtedly one of the great ideas—and great successes--of twentieth-century physics. Also it has strongly influenced in diverse ways, how physicists conceive of physical theories. So it is of considerable philosophical interest. Second, we will briefly relate renormalization to Ernest Nagel's account of inter-theoretic relations, especially reduction. One theme will be a contrast between (...) two approaches to renormalization. The old approach, which prevailed from ca. 1945 to 1970, treated renormalizability as a necessary condition for being an acceptable quantum field theory. On this approach, it is a piece of great good fortune that high energy physicists can formulate renormalizable quantum field theories that are so empirically successful. But the new approach to renormalization explains why the phenomena we see, at the energies we can access in our particle accelerators, are described by a renormalizable quantum field theory. For whatever non-renormalizable interactions may occur at yet higher energies, they are insignificant at accessible energies. Thus the new approach explains why our best fundamental theories have a feature, viz. renormalizability, which the old approach treated as a selection principle for theories. That is worth saying since philosophers tend to think of scientific explanation as only explaining an individual event, or perhaps a single law, or at most deducing one theory as a special case of another. Here we see a framework in which there is a space of theories. And this framework is powerful enough to deduce that what seemed “manna from heaven” is to be expected: the good fortune is generic. We also maintain that universality, a concept stressed in renormalization theory, is essentially the familiar philosophical idea of multiple realizability; and that it causes no problems for reductions of a Nagelian kind. (shrink)

In previous work, I described several examples combining reduction and emergence: where reduction is understood a la Ernest Nagel, and emergence is understood as behaviour that is novel. Here, my aim is again to reconcile reduction and emergence, for a case which is apparently more problematic than those I treated before: renormalization. My main point is that renormalizability being a generic feature at accessible energies gives us a conceptually unified family of Nagelian reductions. That is worth saying since philosophers tend (...) to think of scientific explanation as only explaining an individual event, or perhaps a single law, or at most deducing one theory as a special case of another. Here we see a framework in which there is a space of theories endowed with enough structure that it provides a family of reductions. (shrink)

I discuss how modern cosmology illustrates under-determination of theoretical hypotheses by data, in ways that are different from most philosophical discussions. I emphasise cosmology's concern with what data could in principle be collected by a single observer ; and I give a broadly sceptical discussion of cosmology's appeal to the cosmological principle as a way of breaking the under-determination.I confine most of the discussion to the history of the observable universe from about one second after the Big Bang, as described (...) by the mainstream cosmological model: in effect, what cosmologists in the early 1970s dubbed the ‘standard model’, as elaborated since then. But in the closing Section 4, I broach some questions about times earlier than one second. (shrink)

We give an introductory review of gauge/gravity duality, and associated ideas of holography, emphasising the conceptual aspects. The opening sections gather the ingredients, viz. anti-de Sitter spacetime, conformal field theory and string theory, that we need for presenting, in Sect. 5, the central and original example: Maldacena’s AdS/CFT correspondence. Sections 6 and 7 develop the ideas of this example, also in applications to condensed matter systems, QCD, and hydrodynamics. Sections 8 and 9 discuss the possible extensions of holographic ideas to (...) de Sitter spacetime and to black holes. Section 10 discusses the bearing of gauge/gravity duality on two philosophical topics: the equivalence of physical theories, and the idea that spacetime, or some features of it, are emergent. (shrink)

This article develops an analogy proposed by Stachel between general relativity (GR) and quantum mechanics (QM) as regards permutation invariance. Our main idea is to overcome Pooley's criticism of the analogy by appeal to paraparticles. In GR, the equations are (the solution space is) invariant under diffeomorphisms permuting spacetime points. Similarly, in QM the equations are invariant under particle permutations. Stachel argued that this feature—a theory's ‘not caring which point, or particle, is which’—supported a structuralist ontology. Pooley criticizes this analogy: (...) in QM the (anti-)symmetrization of fermions and bosons implies that each individual state (solution) is fixed by each permutation, while in GR a diffeomorphism yields in general a distinct, albeit isomorphic, solution. We define various versions of structuralism, and go on to formulate Stachel's and Pooley's positions, admittedly in our own terms. We then reply to Pooley. Though he is right about fermions and bosons, QM equally allows more general types of particle symmetry, in which states (vectors, rays, or density operators) are not fixed by all permutations (called ‘paraparticle states’). Thus Stachel's analogy is revived. (shrink)

I have two main aims. The first is general, and more philosophical. The second is specific, and more closely related to physics. The first aim is to state my general views about laws and causation at different ”levels’. The main task is to understand how the higher levels sustain notions of law and causation that ”ride free’ of reductions to the lower level or levels. I endeavour to relate my views to those of other symposiasts. The second aim is to (...) give a framework for describing dynamics at different levels, emphasizing how the various levels’ dynamics can mesh or fail to mesh. This framework is essentially that of elementary dynamical systems theory. The main idea will be, for simplicity, to work with just two levels, dubbed ”micro’ and ”macro’, which are related by coarse-graining. I use this framework to describe, in part, the first four of Ellis’ five types of top-down causation. (shrink)

I discuss various formulations of stochastic Einstein locality (SEL), which is a version of the idea of relativistic causality, that is, the idea that influences propagate at most as fast as light. SEL is similar to Reichenbach's Principle of the Common Cause (PCC), and Bell's Local Causality. My main aim is to discuss formulations of SEL for a fixed background spacetime. I previously argued that SEL is violated by the outcome dependence shown by Bell correlations, both in quantum mechanics and (...) in quantum field theory. Here I reassess those verdicts in the light of some recent literature which argues that outcome dependence does not violate the PCC. I argue that the verdicts about SEL still stand. Finally, I briefly discuss how to formulate relativistic causality if there is no fixed background spacetime. (shrink)

The violation of the Bell inequality means that measurement-results in the two wings of the experiment cannot be screened off from one another, in the sense of Reichenbach. But does this mean that there is causation between the results? I argue that it does, according to Lewis's counterfactual analysis of causation and his associated views. The reason lies in his doctrine that chances evolve by conditionalization on intervening history. This doctrine collapses the distinction between the conditional probabilities that are used (...) to state screening off, and the counterfactuals with chance consequents that are used to state lack of causation. I briefly discuss ways to evade my argument. (shrink)

In another paper, one of us argued that emergence and reduction are compatible, and presented four examples illustrating both. The main purpose of this paper is to develop this position for the example of phase transitions. We take it that emergence involves behaviour that is novel compared with what is expected: often, what is expected from a theory of the system's microscopic constituents. We take reduction as deduction, aided by appropriate definitions. Then the main idea of our reconciliation of emergence (...) and reduction is that one makes the deduction after taking a limit of an appropriate parameter $N$. Thus our first main claim will be that in some situations, one can deduce a novel behaviour, by taking a limit $N\to\infty$. Our main illustration of this will be Lee-Yang theory. But on the other hand, this does not show that the $N=\infty$ limit is physically real. For our second main claim will be that in such situations, there is a logically weaker, yet still vivid, novel behaviour that occurs before the limit, i.e. for finite $N$. And it is this weaker behaviour which is physically real. Our main illustration of this will be the renormalization group description of cross-over phenomena. (shrink)

Abstract: This paper assesses the Everettian approach to the measurement problem, especially the version of that approach advocated by Simon Saunders and David Wallace. I emphasise conceptual, indeed metaphysical, aspects rather than technical ones; but I include an introductory exposition of decoherence. In particular, I discuss whether---as these authors maintain---it is acceptable to have no precise definition of 'branch' (in the Everettian kind of sense). (A version of this paper will appear in a CTNS/Vatican Observatory volume on Quantum Theory and (...) Divine Action, ed. Robert Russell et al.). (shrink)

I discuss the idea of relativistic causality, i.e., the requirement that causal processes or signals can propagate only within the light-cone. After briefly locating this requirement in the philosophy of causation, my main aim is to draw philosophers' attention to the fact that it is subtle, indeed problematic, in relativistic quantum physics: there are scenarios in which it seems to fail. I set aside two such scenarios, which are familiar to philosophers of physics: the pilot-wave approach, and the Newton-Wigner representation. (...) I instead stress two unfamiliar scenarios: the Drummond-Hathrell and Scharnhorst effects. These effects also illustrate a general moral in the philosophy of geometry: that the mathematical structures, especially the metric tensor, that represent geometry get their geometric significance by dint of detailed physical arguments. (shrink)

The current status of localization and related concepts, especially localized statevectors and position operators, within Lorentz-invariant Quantum Theory (LIQT) is ambiguous and controversial.1 Ever since the early work of Newton & Wigner (1949), and the subsequent extensions of their work, particularly by Hegerfeldt (1974, 1985), it has seemed impossible to identify localized statevectors or position operators in LIQT that were not counterintuitive—strange—in one way or another; the most striking strange property being the superluminal propagation of the localized states. The ambiguous (...) and controversial status of these concepts arises from the varied reactions that workers have to the strange properties. Some regard them, particularly the superluminal propagation, as utterly unacceptable, and conclude that no precise concepts of localized statevectors and position operators exist in LIQT (Wigner 1973, p. 325-327; 1983, pp. 310-313; Malament 1996). Others downplay the whole issue, on the grounds that current theoretical and experimental practice has no need of sharply formulated concepts of localization, localized states etc. (Birrell & Davies 1984, pp. 48-59; Haag 1992, p. 34). Still others, including ourselves, believe that the superluminal propagation does not lead to causal contradictions, and is not in conflict with available empirical data: so that it should not be ruled out. We also believe that the other strange properties are merely unfamiliar novelties of LIQT which we must simply learn to accept. (Like the superluminal propagation, they do not lead to causal contradictions, nor conflict with available data.) So in this paper, we aim to help remove the ambiguous and controversial status of localization concepts in LIQT. Overall, our strategy will be to assess a number of localization concepts, and thereby clarify the often complex relationships among them. (shrink)

This paper expounds the modern theory of symplectic reduction in finite-dimensional Hamiltonian mechanics. This theory generalizes the well-known connection between continuous symmetries and conserved quantities, i.e. Noether's theorem. It also illustrates one of mechanics' grand themes: exploiting a symmetry so as to reduce the number of variables needed to treat a problem. The exposition emphasises how the theory provides insights about the rotation group and the rigid body. The theory's device of quotienting a state space also casts light on philosophical (...) issues about whether two apparently distinct but utterly indiscernible possibilities should be ruled to be one and the same. These issues are illustrated using ``relationist'' mechanics. (shrink)

The rotating discs argument against perdurantism has been mostly discussed by metaphysicians, though the argument of course appeals to ideas from classical mechanics, especially about rotation. In contrast, I assess the RDA from the perspective of the philosophy of physics. I argue for three main conclusions. The first conclusion is that the RDA can be formulated more strongly than is usually recognized: it is not necessary to ‘imagine away’ the dynamical effects of rotation. The second is that in general relativity, (...) the RDA fails because of frame-dragging. The third conclusion is that even setting aside general relativity, the strong formulation of the RDA can after all be defeated, namely, by the perdurantist taking objects in classical mechanics to have only temporally extended temporal parts, which immediately blocks the RDA. Admittedly, this version of perdurantism defines persistence in a weaker sense of ‘definition’ than pointilliste versions that aim to define persistence assuming only instantaneous temporal parts. But I argue that temporally extended temporal parts can do the jobs within the endurantism– perdurantism debate that the perdurantist wants temporal parts to do and are supported by both classical and quantum mechanics. Introduction The story so far 2.1 The RDA 2.2 Intrinsic properties and the idea of velocity 2.2.1 The intrinsic–extrinsic distinction 2.2.2 Velocity to the rescue? 2.3 ‘Naturalism’ 2.4 The accompaniments of rotation 2.5 Two kinds of reply: against the consensus Describing rotation 3.1 Rotation is kinematic 3.2 Beware of rigidity 3.3 An improved RDA: allowing the actual accompaniments 3.4 The RDA fails in general relativity Perdurantism without tears: the classical case 4.1 Rejecting instantaneous temporal parts 4.2 Replying to the RDA 4.2.1 ‘Kinematics’ 4.2.2 ‘Dynamics’ 4.2.3 An ‘anti-pointilliste’ objection and reply 4.3 Intrinsic properties of non-instantaneous temporal parts 4.3.1 Can the perdurantist appeal to them? 4.3.2 Temporal intrinsicality at an instant is rare 4.3.3 A better reason for temporal intrinsicality 4.4 Non-instantaneous parts can do the jobs 4.4.1 Humean supervenience revisited 4.4.2 The problem of change 4.4.3 Puzzles of coincidence 4.5 Instantaneous velocity is hardly extrinsic Support from decoherence in quantum theory 5.1 Classical and quantum: relativizing the intrinsic–extrinsic distinction 5.1.1 Unitarity: momentum as temporally intrinsic 5.2 Position and existence as nomically extrinsic. (shrink)

I discuss how modern cosmology illustrates underdetermination of theoretical hypotheses by data, in ways that are different from most philosophical discussions. I confine the discussion to the history of the observable universe from about one second after the Big Bang, as described by the mainstream cosmological model: in effect, what cosmologists in the early 1970s dubbed the ‘standard model’, as elaborated since then. Or rather, the discussion is confined to a few aspects of that history. I emphasize that despite the (...) underdetermination, a scientific realist can, and should, endorse this description. (shrink)

I discuss Julian Barbour's Machian theories of dynamics, and his proposal that a Machian perspective enables one to solve the problem of time in quantum geometrodynamics (by saying that there is no time!). I concentrate on his recent book, The End of Time (1999). A shortened version will appear in The British Journal for Philosophy of Science}.

Any attempt to construct a realist interpretation of quantum theory founders on the Kochen-Specker theorem, which asserts the impossibility of assigning values to quantum quantities in a way that preserves functional relations between them. We construct a new type of valuation which is defined on all operators, and which respects an appropriate version of the functional composition principle. The truth-values assigned to propositions are (i) contextual; and (ii) multi-valued, where the space of contexts and the multi-valued logic for each context (...) come naturally from the topos theory of presheaves. The first step in our theory is to demonstrate that the Kochen-Specker theorem is equivalent to the statement that a certain presheaf defined on the category of self-adjoint operators has no global elements. We then show how the use of ideas drawn from the theory of presheaves leads to the definition of a generalised valuation in quantum theory whose values are sieves of operators. In particular, we show how each quantum state leads to such a generalised valuation. A key ingredient throughout is the idea that, in a situation where no normal truth-value can be given to a proposition asserting that the value of a physical quantity A lies in a set D of real numbers , it is nevertheless possible to ascribe a partial truth-value which is determined by the set of all coarse-grained propositions that assert that some function f(A) lies in f(D), and that are true in a normal sense. The set of all such coarse-grainings forms a sieve on the category of self-adjoint operators, and is hence fundamentally related to the theory of presheave. (shrink)

Quantum field theories are notoriously difficult to understand, physically as well as philosophically. The aim of this paper is to contribute to a better conceptual understanding of gauge quantum field theories, such as quantum chromodynamics, by discussing a famous physical limit, the ’t Hooft limit, in which the theory concerned often simplifies. The idea of the limit is that the number N of colours goes to infinity. The simplifications that can happen in this limit, and that we will consider, are: (...) the theory’s Feynman diagrams can be drawn on a plane without lines intersecting ; and the theory, or a sector of it, becomes integrable, and indeed corresponds to a well-studied system, viz. a spin chain. Planarity is important because it shows how a quantum field theory can exhibit extended, in particular string-like, structures; in some cases, this gives a connection with string theory, and so with its representation of gravity. Previous philosophical literature about how one theory might be emergent from, and-or reduced to, another one has tended to emphasize cases, such as occur in statistical mechanics, where the system before the limit has finitely many degrees of freedom. But here, our quantum field theories, including those on the way to the ’t Hooft limit, will have infinitely many degrees of freedom. Nevertheless, we will show how a recent schema by Butterfield and taxonomy by Norton apply to the quantum field theories we consider; and we will classify three physical properties of our theories in these terms. These properties are planarity and integrability, as in and above; and the behaviour of the beta-function reflecting, for example, asymptotic freedom. Our discussion of these properties, especially the beta-function, will also relate to recent philosophical debate about the propriety of assessing quantum field theories, whose rigorous existence is not yet proven. (shrink)

give a proof of the existence of nonlocal influences acting on correlated spin-1/2 particles in the singlet state which does not require any particular interpretation of quantum mechanics (QM). (Except Stapp holds that the proof fails under a many-worlds interpretation of QM—a claim we analyse in 1.2.) Recently, in responding to Redhead's ([1987], pp. 90-6) criticism that the Stapp 1 proof fails under an indeterministic interpretation of QM, Stapp [1989] (henceforth Stapp 2), has revised the logical structure of his proof (...) including its crucial locality assumption. Our main aim is to show that this revision is a step in the wrong direction because it faces two difficulties which undermine the resulting proof's significance (3.1) and validity (3. 2). We also clarify and extend the Stapp 1 proof (1. 1) with the aid of Lewis' analysis of counterfactuals (1. 2) and causal dependence (2. 2 and 2. 3). In so doing, we are able to identify two new defects in the Stapp 1 proof (1. 3 and 2. 1) in addition to corroborating Redhead's criticism (2. 2). Also, the additional assumptions which save the Stapp 1 proof's validity are detailed (2. 3) and some new difficulties for the determinist are pointed out by exploiting a slightly extended version of the proof (2. 4). In providing this full analysis of the Stapp 1 proof, we also construct the necessary framework within which to provide a critique of Stapp 2's proof (3). *Portions of this paper were presented by R. K. Clifton to the 1988 British Society for the Philosophy of Science Conference at the University of Southampton. R. K. Clifton wishes to thank the Natural Sciences and Engineering Research Council of Canada, the Royal Commission for the Exhibition of 1851, and the Governing Body of Peterhouse at Cambridge University for support during this work. (shrink)

This paper is about the metaphysical debate whether objects persist over time by the selfsame object existing at different times (nowadays called “endurance” by metaphysicians), or by different temporal parts, or stages, existing at different times (called “perdurance”). I aim to illuminate the debate by using some elementary kinematics and real analysis: resources which metaphysicians have, surprisingly, not availed themselves of. There are two main results, which are of interest to both endurantists and perdurantists. (1) I describe a precise formal (...) equivalence between the way that the two metaphysical positions represent the motion of the objects of classical mechanics (both point-particles and continua). (2) I make precise, and prove a result about, the idea that the persistence of objects moving in a void is to be analysed in terms of tracking the continuous curves in spacetime that connect points occupied by matter. The result is entirely elementary: it is a corollary of the Heine–Borel theorem. (shrink)

We discuss scientific realism from the perspective of modern cosmology, especially primordial cosmology: i.e. the cosmological investigation of the very early universe. We first state our allegiance to scientific realism, and discuss what insights about it cosmology might yield, as against "just" supplying scientific claims that philosophers can then evaluate. In particular, we discuss: the idea of laws of cosmology, and limitations on ascertaining the global structure of spacetime. Then we review some of what is now known about the early (...) universe : meaning, roughly, from a thousandth of a second after the Big Bang onwards. The rest of the paper takes up two issues about primordial cosmology, i.e. the very early universe, where "very early" means, roughly, much earlier than one second after the Big Bang: say, less than 10^{-11} seconds. Both issues illustrate that familiar philosophical threat to scientific realism, the under-determination of theory by data---on a cosmic scale. The first issue concerns the difficulty of observationally probing the very early universe. More specifically, the difficulty is to ascertain details of the putative inflationary epoch. The second issue concerns difficulties about confirming a cosmological theory that postulates a multiverse, i.e. a set of domains each of whose inhabitants cannot directly observe, or otherwise causally interact with, other domains. This again concerns inflation, since many inflationary models postulate a multiverse. For all these issues, it will be clear that much remains unsettled, as regards both physics and philosophy. But we will maintain that these remaining controversies do not threaten scientific realism. (shrink)

Relationism claims that our physical theory does not commit us to spacetime points. I consider how a relationist might rewrite physical theories without referring to spacetime points, by appealing to possible objects and possible configurations of objects. I argue that a number of difficulties confront this project. I also argue that a relationist need not be Machian in the sense of claiming that objects' spatiotemporal relations determine whether any object is accelerating.

I survey some of the connections between the metaphysics of the relation between mind and matter, and quantum theory’s measurement problem. After discussing the metaphysics, especially the correct formulation of physicalism, I argue that two state-reduction approaches to quantum theory’s measurement problem hold some surprises for philosophers’ discussions of physicalism. Though both approaches are compatible with physicalism, they involve a very different conception of the physical, and of how the physical underpins the mental, from what most philosophers expect. And one (...) approach exemplifies a a problem in the definition of physicalism which the metaphysical literature has discussed only in the abstract. A version of the paper has appeared in Consciousness and Human Identity, ed. John Cornwell, OUP 1998. (shrink)

Its interpretation, however, is as unsettled now as in the heroic days of Einstein and Bohr.This book focuses on quantum non-locality, the curious quantum ...

This paper forms part of a wider campaign: to deny pointillisme. That is the doctrine that a physical theory's fundamental quantities are defined at points of space or of spacetime, and represent intrinsic properties of such points or point-sized objects located there; so that properties of spatial or spatiotemporal regions and their material contents are determined by the point-by-point facts. Elsewhere, I argued against pointillisme about chrono-geometry, and about velocity in classical mechanics. In both cases, attention focussed on temporal extrinsicality: (...) i.e. on what an ascription of a property implies about other times. Therefore, I also discussed the metaphysical debate whether persistence should be understood as endurance or perdurance. In this paper, I focus instead on spatial extrinsicality: i.e. on what an ascription of a property implies about other places. The main idea will be that the classical mechanics of continuous media involves a good deal of spatial extrinsicality---which seems not to have been noticed by philosophers, even those who have no inclination to pointillisme. I begin by describing my wider campaign. Then I present some elementary aspects of stress, strain and elasticity---emphasising the kinds of spatial extrinsicality they each involve. I conduct the discussion entirely in the context of `Newtonian' ideas about space and time. But my arguments carry over to relativistic physics. (shrink)

This paper forms part of a wider campaign: to deny pointillisme. That is the doctrine that a physical theory's fundamental quantities are defined at points of space or of spacetime, and represent intrinsic properties of such points or point-sized objects located there; so that properties of spatial or spatiotemporal regions and their material contents are determined by the point-by-point facts. More specifically, this paper argues against pointillisme about the structure of space and-or spacetime itself, especially a paper by Bricker (1993). (...) A companion paper argues against pointillisme in mechanics, especially about velocity; it focusses on Tooley, Robinson and Lewis. To avoid technicalities, I conduct the argument almost entirely in the context of ``Newtonian'' ideas about space and time. But both the debate and my arguments carry over to relativistic, and even quantum, physics. (shrink)