Diffeomorphism invariance is sometimes taken to be a criterion of background independence. This claim is commonly accompanied by a second, that the genuine physical magnitudes (the ``observables'') of background-independent theories and those of background-dependent (non-diffeomorphism-invariant) theories are essentially different in nature. I argue against both claims. Background-dependent theories can be formulated in a diffeomorphism-invariant manner. This suggests that the nature of the physical magnitudes of relevantly analogous theories (one background free, the other background dependent) is essentially (...) the same. The temptation to think otherwise stems from a misunderstanding of the meaning of spacetime coordinates in background-dependent theories. (shrink)

The paper considers the "GR-desideratum", that is, the way general relativity implements general covariance, diffeomorphism invariance, and background independence. Two cases are discussed where 5-dimensional generalizations of general relativity run into interpretational troubles when the GR-desideratum is forced upon them. It is shown how the conceptual problems dissolve when such a desideratum is relaxed. In the end, it is suggested that a similar strategy might mitigate some major issues such as the problem of time or the embedding of (...) quantum non-locality into relativistic spacetimes. (shrink)

John Earman's recent proposal that a substantive version of general covariance consists in the requirement that diffeomorphism invariance be a gauge symmetry is critically assessed. I argue that such a principle does not serve to differentiate general relativity from pre-relativistic theories. A model-theoretic characterization of two formulations of specially-relativistic theories is suggested. Diffeomorphisms are symmetries of only one such style of formulation and, I argue, Earman's proposal does not provide a reason to deny diffeomorphisms the status of gauge (...) transformations relative to this formulation. Carlo Rovelli's distinction between "passive" and "active" diffeomorphism invariance is also clarified. (shrink)

This article deals with empty spacetime and the question of its physical reality. By “empty spacetime” we mean a collection of bare spacetime points, the remains of ridding spacetime of all matter and fields. We ask whether these geometric objects—themselves intrinsic to the concept of field—might be observable through some physical test. By taking quantum-mechanical notions into account, we challenge the negative conclusion drawn from the diffeomorphism invariance postulate of general relativity, and we propose new foundational ideas regarding (...) the possible observation—as well as conceptual overthrow—of this geometric ether. (shrink)

Background independence begins life as an informal property that a physical theory might have, often glossed as 'doesn't posit a fixed spacetime background'. Interest in trying to offer a precise account of background independence has been sparked by the pronouncements of several theorists working on quantum gravity that background independence embodies in some sense an essential discovery of the General Theory of Relativity, and a feature we should strive to carry forward to future physical theories. This paper has two goals. (...) The first is to investigate what a world must be like in order to be truly described by a background independent theory given extant accounts of background independence. The second is to argue that there are no non-empirical reasons to be more confident in theories that satisfy extant accounts of background independence than in theories that don't. The paper concludes by drawing a general moral about a way in which focussing primarily on mathematical formulations of our physical theories can adversely affect debates in the metaphysics of physics. (shrink)

It is widely recognized that ‘global’ symmetries, such as the boost invariance of classical mechanics and special relativity, can give rise to direct empirical counterparts such as the Galileo-ship phenomenon. However, conventional wisdom holds that ‘local’ symmetries, such as the diffeomorphism invariance of general relativity and the gauge invariance of classical electromagnetism, have no such direct empirical counterparts. We argue against this conventional wisdom. We develop a framework for analysing the relationship between Galileo-ship empirical phenomena on (...) the one hand, and physical theories that model such phenomena on the other, that renders the relationship between theoretical and empirical symmetries transparent, and from which it follows that both global and local symmetries can give rise to Galileo-ship phenomena. In particular, we use this framework to exhibit an analogue of Galileo’s ship for the local gauge invariance of electromagnetism. 1 Introduction2 Analogues of Galileo’s Ship? Faraday’s Cage and t’Hooft’s Beam-Splitter2.1 Faraday’s cage2.2 t’Hooft’s beam-splitter3 A Framework for Symmetries I: Systems and Subsystems4 An Example: Coulombic Electrostatics5 A Framework for Symmetries II: The Relationship between Theoretical and Empirical Symmetries6 Newtonian Gravity7 Local Symmetries that Are Not Boundary-Preserving: Classical Electromagnetism and Faraday’s Cage8 Local Boundary-Preserving Symmetries: Klein-Gordon-Maxwell Gauge Theory and t’Hooft’s Beam-Splitter9 Summary10 Conclusions. (shrink)

According to the algebraic approach to spacetime, a thoroughgoing dynamicism, physical fields exist without an underlying manifold. This view is usually implemented by postulating an algebraic structure (e.g., commutative ring) of scalar-valued functions, which can be interpreted as representing a scalar field, and deriving other structures from it. In this work, we point out that this leads to the unjustified primacy of an undetermined scalar field. Instead, we propose to consider algebraic structures in which all (and only) physical fields are (...) primitive. We explain how the theory of natural operations in differential geometry—the modern formalism behind classifying diffeomorphism-invariant constructions—can be used to obtain concrete implementations of this idea for any given collection of fields. For concrete examples, we illustrate how our approach applies to a number of particular physical fields, including electrodynamics coupled to a Weyl spinor. (shrink)

I argue that, contrary to the recent claims of physicists and philosophers of physics, general relativity requires no interpretation in any substantive sense of the term. I canvass the common reasons given in favor of the alleged need for an interpretation, including the difficulty in coming to grips with the physical significance of diffeomorphism invariance and of singular structure, and the problems faced in the search for a theory of quantum gravity. I find that none of them shows (...) any defect in our comprehension of general relativity as a physical theory. I conclude by comparing general relativity with quantum mechanics, a theory that manifestly does stand in need of an interpretation in an important sense. Although many aspects of the conceptual structure of general relativity remain poorly understood, it suffers no incoherence in its formulation as a physical theory that only an ‘interpretation’ could resolve. *Received November 2007; revised February 2009. †To contact the author, please write to: Center for Philosophy of Science, University of Pittsburgh, 817 Cathedral of Learning, Pittsburgh, PA 15260; e‐mail: [email protected] . When science starts to be interpretive it is more unscientific even than mysticism. (D. H. Lawrence, “Self‐Protection”). (shrink)

It generally agreed that the requirement of formal general covariance is a condition of the well-formedness of a spacetime theory and not a restriction on its content. Physicists commonly take the substantive requirement of general covariance to mean that the laws exhibit diffeomorphism invariance and that this invariance is a gauge symmetry. This latter requirement does place restrictions on the content of a spacetime theory. The present paper explores the implications of these restrictions for interpreting the ideology (...) and ontology of classical general relativity theory and loop quantum gravity. (shrink)

Ontic structuralism or ontic structural realism in the philosophy of physics can be broadly considered as an interpretative strategy providing a set of conceptual and metaphysical tools—or, more ambitiously, an ontological framework—in order to account for central features of current fundamental physics. This article aims to review the main structuralist interpretative moves in the context of our two best fundamental physical theories of matter and spacetime, namely, quantum theory and general relativity. We highlight in particular the structuralist understanding of permutation (...) invariance, entanglement and nonlocality in quantum theory, and of the dynamical features of spacetime, diffeomorphism invariance and background independence in general relativity. (shrink)

It is generally acknowledged that the requirement that the laws of a spacetime theory be covariant under a general coordinate transformation is a restriction on the form but not the content of the theory. The prevalent view in the physics community holds that the substantive version of general covariance – exhibited, for example, by Einstein’s general theory of relativity – consists in the requirement that diffeomorphism invariance is a gauge symmetry of the theory. This conception of general covariance (...) is explained and confronted by two challenges. One challenge claims, in effect, that substantive general covariance is not deserving of the name since, just as it is possible to rewrite any spacetime so that it satisfies formal general covariance, so it is also possible to rewrite the theory so that it satisfies the proffered version of substantive general covariance. The other challenge claims that the proffered version of substantive general covariance is not strong enough to guarantee the intended meaning of general covariance. Both challenges are discussed in terms of concrete examples. It is argued that both challenges fail but, at the same time, that they help to clarify what is at stake on the seemingly never ending dispute over the nature and status of general covariance. (shrink)

Recently, Dewar (2019) has suggested that one can apply the strategy of 'sophistication' - as exemplified by sophisticated substantivalism as a response to the diffeomorphism invariance of General Relativity - to gauge theories such as electrodynamics. This requires a shift to the formalism of fibre bundles. In this paper, I develop and defend this suggestion. Where my approach differs from previous discussions is that I focus on the metaphysical picture underlying the fibre bundle formalism. In particular, I aim (...) to affirm the physical reality of gauge properties. I argue that this allows for a local and separable explanation of the Aharonov-Bohm effect. Its puzzling features are explained by a form of holism inherent to fibre bundles. (shrink)

The Hole Argument was originally formulated by Einstein and it haunted him as he struggled to understand the meaning of spacetime coordinates in the context of the diffeomorphism invariance of general relativity. This argument has since been put to philosophical use by Earman and Norton to argue against a substantival conception of spacetime. In the present work I demonstrate how Earman and Norton’s Hole Argument can be extended to exclude everything and not merely substantival manifolds. These casualties of (...) the hole demonstrate that the Hole Argument hinges essentially on our notion of determinism and not on the diffeomorphic freedom of general relativity. Just as Earman and Norton argue that we should not let our metaphysics run roughshod over the structure of our physical theories, so I will argue that, in particular, we should not uncritically allow our metaphysics to dictate what our physical theories must determine. The central conviction which drives the arguments of this paper is that deterministic theories are not required to determine for future moments what they cannot determine for any present or past moments. I provide two arguments to the effect that a physically informed notion of determinism does not require general relativity to determine substantival facts. Consequently the Hole Argument cannot be used against substantival spacetime. The position that I advocate is an instance of “sophisticated determinism.”. (shrink)

The hole argument purports to show that all spacetime theories of a certain form are indeterministic, including the General Theory of Relativity. The argument has given rise to an industry of searching for a metaphysics of spacetime that delivers the right modal implications to rescue determinism. In this paper, I first argue that certain prominent extant replies to the hole argument—namely, those that appeal to an essentialist doctrine about spacetime—fail to deliver the requisite modal implications. As part of my argument, (...) I show that threats to determinism of the sort brought out by the hole argument are more general than has heretofore been recognized. I then use these results to propose a novel essentialist doctrine about spacetime that successfully rescues determinism, what I call sufficiency metric essentialism. However, I go on to argue that once we realize what an essentialist doctrine about spacetime must look like in order to address the hole argument, we should reject all such doctrines, because they can't fulfill their ambition of improving on standard modal replies to the argument. I close by suggesting some lessons for future work on spacetime and the metaphysics of physics more broadly, and also drawing some general morals for contemporary metaphysics, in particular about (i) whether essence can be used to articulate a precise structuralist doctrine, and (ii) the relationship between essence and modality. (shrink)

In this paper I analyse two closely related examples of duality and of emergence of gravity, namely AdS/CFT and Verlinde's scheme. Based on the notion of duality introduced in Dieks et al., I here elaborate on the conditions necessary for AdS/CFT to be a duality, in particular the condition of completeness. I also address what is usually seen as a desideratum for any candidate theory of quantum gravity: the background-independence of the theory and the diffeomorphism invariance of the (...) observables. Then I discuss Verlinde's scheme and the extent to which it gives a clear case of emergence of gravity. Finally, I give a novel derivation of the Bekenstein-Hawking black hole entropy formula based on Verlinde's scheme. (shrink)

We outline three principles that should guide us in the construction of a theory of canonical quantum gravity: diffeomorphism invariance, implementing the proper dynamics and related constraint algebra, local Lorentz invariance. We illustrate each of them with its role in model calculations in loop quantum gravity.

The various physical aspects of the general relativistic principles of covariance and strong equivalence are discussed, and their mathematical formulations are analyzed. All these aspects are shown to be present in classical general relativity, although no contemporary formulation of canonical or covariant quantum gravity has succeeded to incorporate them all. This has, in part, motivated the recent introduction of a geometro-stochastic framework for quantum general relativity, in which the classical frame bundles that underlie the formulation of parallel transport in classical (...) general relativity are replaced by quantum frame bundles. It is shown that quantum frames can take over the role played by complete sets of observables in conventional quantum theory, so that they can mediate the natural transference of the general covariance and the strong equivalence principles from the classical to the quantum general relativistic regime. This results in a geometrostochastic mode of quantum propagation in general relativistic quantum bundles, which is mathematically implemented by path integration methods based on parallel transport along horizontal lifts of geodesics for the vacuum expectation values of a quantum gravitational field in a quantum spacetime supermanifold. The covariance features of this field are embedded in a quantum gravitational supergroup, which incorporates Poincaré as well as diffeomorphism invariance, and resolves the issue of time in quantum gravity. (shrink)

In accordance with an old suggestion of Asher Peres (1962), we consider the electromagnetic field as fundamental and the metric as a subsidiary field. In following up this thought, we formulate Maxwell’s theory in a diffeomorphism invariant and metric-independent way. The electromagnetic field is then given in terms of the excitation $H = ({\cal H}, {\cal D})$ and the field strength F = (E,B). Additionally, a local and linear “spacetime relation” is assumed between H and F, namely H ~ (...) κ F, with the constitutive tensor κ. The propagation is studied of electromagnetic wave fronts (surfaces of discontinuity) with a method of Hadamard. We find a generalized Fresnel equation that is quartic in the wave covector of the wave front. We discuss under which conditions the waves propagate along the light cone. Thereby we derive the metric of spacetime, up to a conformal factor, by purely electromagnetic methods. (shrink)

In this paper, I argue that the Hole Argument can be formulated without using the notion of isomorphism, and for this reason it is not threatened by the criticism of Halvorson and Manchak (Br J Philos Sci, 2022. https://doi.org/10.1086/719193). Following Earman and Norton (Br J Philos Sci 38, pp. 515–525, 1987), I divide the Hole Argument into two steps: the proof of the Gauge Theorem and the transition from the Gauge Theorem to the conclusion of radical indeterminism. In the analaysis (...) of the first step, I argue that the Gauge Theorem does not rely on the notion of isomorphism but on the notion of the diffeomorphism-invariance of the equations of local spacetime theories; however, for this approach to work, the definition of local spacetime theories needs certain amendments with respect to Earman and Norton’s formulation. In the analysis of the second step, I postulate that we should use the notion of radical indeterminism instead of indeterminism simpliciter and that we should not decide in advance what kind of maps are to be used in comparing models. Instead, we can tentatively choose some kind of maps for this purpose and check whether a given choice leads to radical indeterminism involving empirically indistinguishable models. In this way, the use of the notion of isomorphism is also avoided in the second step of the Hole Argument. A general picture is that physical equivalence can be established by means of an iterative procedure in which we examine various candidate classes of maps, and, depending on the outcomes, we need to broaden or narrow these classes. The Hole Argument can be viewed as a particular instance of this procedure. (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)

Gauge theories are theories that are invariant under a characteristic group of "gauge" transformations. General relativity is invariant under transformations of the diffeomorphism group. This has prompted many philosophers and physicists to treat general relativity as a gauge theory, and diffeomorphisms as gauge transformations. I argue that this approach is misguided.

Non-commuting quantities and hidden parameters – Wave-corpuscular dualism and hidden parameters – Local or nonlocal hidden parameters – Phase space in quantum mechanics – Weyl, Wigner, and Moyal – Von Neumann’s theorem about the absence of hidden parameters in quantum mechanics and Hermann – Bell’s objection – Quantum-mechanical and mathematical incommeasurability – Kochen – Specker’s idea about their equivalence – The notion of partial algebra – Embeddability of a qubit into a bit – Quantum computer is not Turing machine – (...) Is continuality universal? – Diffeomorphism and velocity – Einstein’s general principle of relativity – „Mach’s principle“ – The Skolemian relativity of the discrete and the continuous – The counterexample in § 6 of their paper – About the classical tautology which is untrue being replaced by the statements about commeasurable quantum-mechanical quantities – Logical hidden parameters – The undecidability of the hypothesis about hidden parameters – Wigner’s work and и Weyl’s previous one – Lie groups, representations, and psi-function – From a qualitative to a quantitative expression of relativity − psi-function, or the discrete by the random – Bartlett’s approach − psi-function as the characteristic function of random quantity – Discrete and/ or continual description – Quantity and its “digitalized projection“ – The idea of „velocity−probability“ – The notion of probability and the light speed postulate – Generalized probability and its physical interpretation – A quantum description of macro-world – The period of the as-sociated de Broglie wave and the length of now – Causality equivalently replaced by chance – The philosophy of quantum information and religion – Einstein’s thesis about “the consubstantiality of inertia ant weight“ – Again about the interpretation of complex velocity – The speed of time – Newton’s law of inertia and Lagrange’s formulation of mechanics – Force and effect – The theory of tachyons and general relativity – Riesz’s representation theorem – The notion of covariant world line – Encoding a world line by psi-function – Spacetime and qubit − psi-function by qubits – About the physical interpretation of both the complex axes of a qubit – The interpretation of the self-adjoint operators components – The world line of an arbitrary quantity – The invariance of the physical laws towards quantum object and apparatus – Hilbert space and that of Minkowski – The relationship between the coefficients of -function and the qubits – World line = psi-function + self-adjoint operator – Reality and description – Does a „curved“ Hilbert space exist? – The axiom of choice, or when is possible a flattening of Hilbert space? – But why not to flatten also pseudo-Riemannian space? – The commutator of conjugate quantities – Relative mass – The strokes of self-movement and its philosophical interpretation – The self-perfection of the universe – The generalization of quantity in quantum physics – An analogy of the Feynman formalism – Feynman and many-world interpretation – The psi-function of various objects – Countable and uncountable basis – Generalized continuum and arithmetization – Field and entanglement – Function as coding – The idea of „curved“ Descartes product – The environment of a function – Another view to the notion of velocity-probability – Reality and description – Hilbert space as a model both of object and description – The notion of holistic logic – Physical quantity as the information about it – Cross-temporal correlations – The forecasting of future – Description in separable and inseparable Hilbert space – „Forces“ or „miracles“ – Velocity or time – The notion of non-finite set – Dasein or Dazeit – The trajectory of the whole – Ontological and onto-theological difference – An analogy of the Feynman and many-world interpretation − psi-function as physical quantity – Things in the world and instances in time – The generation of the physi-cal by mathematical – The generalized notion of observer – Subjective or objective probability – Energy as the change of probability per the unite of time – The generalized principle of least action from a new view-point – The exception of two dimensions and Fermat’s last theorem. (shrink)

We study vertex operators in 4D conformal field theory derived from quantized gravity, whose dynamics is governed by the Wess-Zumino action by Riegert and the Weyl action. Conformal symmetry is equal to diffeomorphism symmetry in the ultraviolet limit, which mixes positive-metric and negative-metric modes of the gravitational field and thus these modes cannot be treated separately in physical operators. In this paper, we construct gravitational vertex operators such as the Ricci scalar, defined as space-time volume integrals of them are (...) invariant under conformal transformations. Short distance singularities of these operator products are computed and it is shown that their coefficients have physically correct signs. Furthermore, we show that conformal algebra holds even in the system perturbed by the cosmological constant vertex operator as in the case of the Liouville theory shown by Curtright and Thorn. (shrink)

We develop the theory of symmetry for a two-level quantum system in oder to illustrate the main ideas of the general theory of symmetry in quantum theory. It is based on the diffeomorphism of the two-dimensional sphere S 2 onto the space of states ℂP 1 and the isomorphism between the groups Pℳ(2) and SO 3 (ℝ). In particular, rotational invariance leads to the appearance of the spin1/2 in a natural way.

The paper summarizes, generalizes and reveals the physical content of a recently proposed framework that unifies the standard formalisms of special relativity and quantum mechanics. The framework is based on Hilbert spaces H of functions of four space-time variables x,t, furnished with an additional indefinite inner product invariant under Poincaré transformations. The indefinite metric is responsible for breaking the symmetry between space and time variables and for selecting a family of Hilbert subspaces that are preserved under Galileo transformations. Within these (...) subspaces the usual quantum mechanics with Shrödinger evolution and t as the evolution parameter is derived. Simultaneously, the Minkowski space-time is embedded into H as a set of point-localized states, Poincaré transformations obtain unique extensions to H and the embedding commutes with Poincaré transformations. Furthermore, the framework accommodates arbitrary pseudo-Riemannian space-times furnished with the action of the diffeomorphism group. (shrink)

Eino Kaila's thought occupies a curious position within the logical empiricist movement. Along with Hans Reichenbach, Herbert Feigl, and the early Moritz Schlick, Kaila advocates a realist approach towards science and the project of a “scientific world conception”. This realist approach was chiefly directed at both Kantianism and Poincaréan conventionalism. The case in point was the theory of measurement. According to Kaila, the foundations of physical reality are characterized by the existence of invariant systems of relations, which he called structures. (...) In a certain sense, these invariant structures, he maintained, are constituted in the act of measuring. By “constitution”, however, Kaila meant neither the dependency of the objects of measurement on a priori concepts (or Kantian categories) nor their being effected by conventional stipulations in a Poincaréan sense. He held that invariant structures are, quite literally, real: they exist prior to and independently of our theoretical capacity. By executing measurements, invariant structures are detected and objectively determinable by laws of nature. (shrink)

Although the invariance criterion of logicality first emerged as a criterion of a purely mathematical interest, it has developed into a criterion of considerable linguistic and philosophical interest. In this paper I compare two different perspectives on this criterion. The first is the perspective of natural language. Here, the invariance criterion is measured by its success in capturing our linguistic intuitions about logicality and explaining our logical behavior in natural-linguistic settings. The second perspective is more theoretical. Here, the (...) invariance criterion is used as a tool for developing a theoretical foundation of logic, focused on a critical examination, explanation, and justification of its veridicality and modal force. (shrink)

We present a method to characterize the preferences of a decision maker in decisions with multiple attributes. The approach modifies the outcomes of a multivariate lottery with a multivariate transformation and observes the change in the decision maker’s certain equivalent. If the certain equivalent follows this multivariate transformation, we refer to this situation as multiattribute transformation invariance, and we derive the functional form of the utility function. We then show that any additive or multiplicative utility function that is formed (...) of continuous and strictly monotonic utility functions of the individual attributes must satisfy transformation invariance with a multivariate transformation. This result provides a new interpretation for multiattribute utility functions with mutual utility independence as well as a necessary and sufficient condition that must be satisfied when assuming these widely used functional forms. We work through several examples to illustrate the approach. (shrink)

The most compelling extant accounts of explanation casts all explanations as causal. Yet there are sciences, theoretical population biology in particular, that explain their phenomena by appeal to statistical, non-causal properties of ensembles. I develop a generalised account of explanation. An explanation serves two functions: metaphysical and cognitive. The metaphysical function is discharged by identifying a counterfactually robust invariance relation between explanans event and explanandum. The cognitive function is discharged by providing an appropriate description of this relation. I offer (...) examples of explanations from portfolio theory and population genetics that meet this characterisation. In each case the invariance relation holds between a statistical property of an ensemble and a change in structure of the ensemble. In neither case, however, does the statistical property cause the outcome it explains. There are genuine statistical, non-causal scientific explanations. (shrink)

The presence of symmetries in physical theories implies a pernicious form of underdetermination. In order to avoid this theoretical vice, philosophers often espouse a principle called Leibniz Equivalence, which states that symmetry-related models represent the same state of affairs. Moreover, philosophers have claimed that the existence of non-trivial symmetries motivates us to accept the Invariance Principle, which states that quantities that vary under a theory’s symmetries aren’t physically real. Leibniz Equivalence and the Invariance Principle are often seen as (...) part of the same package. I argue that this is a mistake: Leibniz Equivalence and the Invariance Principle are orthogonal to each other. This means that it is possible to hold that symmetry-related models represent the same state of affairs whilst having a realist attitude towards variant quantities. Various arguments have been presented in favour of the Invariance Principle: a rejection of the Invariance Principle is inter alia supposed to cause indeterminism, undetectability or failure of reference. I respond that these arguments at best support Leibniz Equivalence. (shrink)

In this article I assess the Invariance Principle, which states that only quantities that are invariant under the symmetries of our theories are physically real. I argue, contrary to current orthodoxy, that the variance of a quantity under a theory’s symmetries is not a sufficient basis for interpreting that theory as being uncommitted to the reality of that quantity. Rather, I argue, the variance of a quantity under symmetries only ever serves as a motivation to refrain from any commitment (...) to the quantity in question. (shrink)

I argue that in order to apply the most common type of criteria for logicality, invariance criteria, to natural language, we need to consider both invariance of content—modeled by functions from contexts into extensions—and invariance of character—modeled, à la Kaplan, by functions from contexts of use into contents. Logical expressionsshould be invariant in both senses. If we do not require this, then old objections due to Timothy McCarthy and William Hanson, suitably modified, demonstrate that content invariant expressions (...) can display intuitive marks of non-logicality. If we do require this, we neatly avoid these objections while also managing to demonstrate desirable connections of logicality to necessity. The resulting view is more adequate as a demarcation of the logical expressions of natural language. (shrink)

This paper defends a counterfactual account of explanation, according to which successful explanation requires tracing patterns of counterfactual dependence of a special sort, involving what I call active counterfactuals. Explanations having this feature must appeal to generalizations that are invariant--stable under certain sorts of changes. These ideas are illustrated by examples drawn from physics and econometrics.

Many philosophers are baffled by necessity. Humeans, in particular, are deeply disturbed by the idea of necessary laws of nature. In this paper I offer a systematic yet down to earth explanation of necessity and laws in terms of invariance. The type of invariance I employ for this purpose generalizes an invariance used in meta-logic. The main idea is that properties and relations in general have certain degrees of invariance, and some properties/relations have a stronger degree (...) of invariance than others. The degrees of invariance of highly-invariant properties are associated with high degrees of necessity of laws governing/describing these properties, and this explains the necessity of such laws both in logic and in science. This non-mysterious explanation has rich ramifications for both fields, including the formality of logic and mathematics, the apparent conflict between the contingency of science and the necessity of its laws, the difference between logical-mathematical, physical, and biological laws/principles, the abstract character of laws, the applicability of logic and mathematics to science, scientific realism, and logical-mathematical realism. (shrink)

In this paper I will present conceptions of state reduction and particle and/or system localization which render these subjects fully compatible with the general requirements of a relativistic, i.e. Lorentz invariant, quantum theory. The approach consists of a systematic generalization of the concepts of initial data assignment at definite times, initiation and completion of measurements at definite times, and dynamical evolution as time dependence, to the concepts of initial data assignment on arbitrary space-like hyperplanes, initiation and completion of measurements on (...) arbitrary space-like hyperplanes, and dynamical evolution as space-like hyperplane dependence, respectively. I also briefly discuss the superluminal propagation which emerges from the localization study and the manner in which causal anomalies are nevertheless avoided. (shrink)

The problem of finding a covariant expression for the distribution and conservation of gravitational energy-momentum dates to the 1910s. A suitably covariant infinite-component localization is displayed, reflecting Bergmann's realization that there are infinitely many gravitational energy-momenta. Initially use is made of a flat background metric (or rather, all of them) or connection, because the desired gauge invariance properties are obvious. Partial gauge-fixing then yields an appropriate covariant quantity without any background metric or connection; one version is the collection of (...) pseudotensors of a given type, such as the Einstein pseudotensor, in _every_ coordinate system. This solution to the gauge covariance problem is easily adapted to any pseudotensorial expression (Landau-Lifshitz, Goldberg, Papapetrou or the like) or to any tensorial expression built with a background metric or connection. Thus the specific functional form can be chosen on technical grounds such as relating to Noether's theorem and yielding expected values of conserved quantities in certain contexts and then rendered covariant using the procedure described here. The application to angular momentum localization is straightforward. Traditional objections to pseudotensors are based largely on the false assumption that there is only one gravitational energy rather than infinitely many. (shrink)

Excerpts from Robert Nozick's "Invariances" Necessary truths are invariant across all possible worlds, contingent ones across only some.

Computational complexity theory is a branch of computer science dedicated to classifying computational problems in terms of their difficulty. While computability theory tells us what we can compute in principle, complexity theory informs us regarding our practical limits. In this chapter I argue that the science of \emph{quantum computing} illuminates complexity theory by emphasising that its fundamental concepts are not model-independent, but that this does not, as some suggest, force us to radically revise the foundations of the theory. For model-independence (...) never has been essential to those foundations. The fundamental aim of complexity theory is to describe what is achievable in practice under various models of computation for our various practical purposes. Reflecting on quantum computing illuminates complexity theory by reminding us of this, too often under-emphasised, fact. (shrink)

We review several no-go theorems attributed to Gisin and Hardy, Conway and Kochen purporting the impossibility of Lorentz-invariant deterministic hidden-variable model for explaining quantum nonlocality. Those theorems claim that the only known solution to escape the conclusions is either to accept a preferred reference frame or to abandon the hidden-variable program altogether. Here we present a different alternative based on a foliation dependent framework adapted to deterministic hidden variables. We analyse the impact of such an approach on Bohmian mechanics and (...) show that retrocausation necessarily comes out without time-loop paradox. (shrink)

The recent discovery of an interpretation of constructive type theory into abstract homotopy theory suggests a new approach to the foundations of mathematics with intrinsic geometric content and a computational implementation. Voevodsky has proposed such a program, including a new axiom with both geometric and logical significance: the Univalence Axiom. It captures the familiar aspect of informal mathematical practice according to which one can identify isomorphic objects. While it is incompatible with conventional foundations, it is a powerful addition to homotopy (...) type theory. It also gives the new system of foundations a distinctly structural character. (shrink)

A series of experiments was performed in which subjects indicated whether two four-dot patterns were the same, although possibly viewed from different directions, or different, paired at random. Analyses of responses times and error rates suggest that the subjects' performance in this affine matching task is based on non-accidental properties such as convexity, parallelism, collinearity, and proximity, rather than on real affine invariants such as the ratio of triangular areas.

This volume is presented in honour of Heinz Post, who founded a distinc tive and distinguished school of philosophy of science at Chelsea College, University of London. The 'Chelsea tradition' in philosophy of science takes the content of science seriously, as exemplified by the papers presented here. The unifying theme of this work is that of 'Correspondence, Invariance and Heuristics', after the title of a classic and seminal paper by Heinz Post, published in 1971, which is reproduced in this (...) volume with the kind permission of the editors and publishers of Studies in History and Philosophy of Science. Described by Paul Feyerabend in Against Method as "brilliant" and " . . . a partial antidote against the view which I try to defend" (1975, p. 61, fn. 17), this paper, peppered with illustrative examples from the history of science, brings to the fore some of Heinz Post's central concerns: the heuristic criteria used by scientists in constructing their theories, the intertheoretic relationships which these criteria reflect and, in particular, the nature of the correspondence that holds between a theory and its predecessors (and its suc cessors). The appearance of this volume more than twenty years later is an indica tion of the fruitfulness of Post's contribution: philosophers of science continue to explore the issues raised in his 1971 paper. (shrink)

We study invariant types in NIP theories. Amongst other things: we prove a definable version of the [Formula: see text]-theorem in theories of small or medium directionality; we construct a canonical retraction from the space of [Formula: see text]-invariant types to that of [Formula: see text]-finitely satisfiable types; we show some amalgamation results for invariant types and list a number of open questions.

It is now standard to interpret symmetry-related models of physical theories as representing the same state of affairs. Recently, a debate has sprung up around the question when this interpretational move is warranted. In particular, Møller-Nielsen :1253–1264, 2017) has argued that one is only allowed to interpret symmetry-related models as physically equivalent when one has a characterisation of their common content. I disambiguate two versions of this claim. On the first, a perspicuous interpretation is required: an account of the models’ (...) common ontology. On the second, stricter, version of this claim, a perspicuous formalism is required in addition: one whose mathematical structures ‘intrinsically’ represent the physical world, in the sense of Field. Using Dewar’s :485–521, 2019) distinction between internal and external sophistication as a case study, I argue that the second requirement is decisive. This clarifies the conditions under which it is warranted to interpret symmetry-related models as physically equivalent. (shrink)

We consider probabilistic theories in which the most elementary system, a two-dimensional system, contains one bit of information. The bit is assumed to be contained in any complete set of mutually complementary measurements. The requirement of invariance of the information under a continuous change of the set of mutually complementary measurements uniquely singles out a measure of information, which is quadratic in probabilities. The assumption which gives the same scaling of the number of degrees of freedom with the dimension (...) as in quantum theory follows essentially from the assumption that all physical states of a higher dimensional system are those and only those from which one can post-select physical states of two-dimensional systems. The requirement that no more than one bit of information (as quantified by the quadratic measure) is contained in all possible post-selected two-dimensional systems is equivalent to the positivity of density operator in quantum theory. (shrink)