I discuss the relationship between different versions of the equivalence principle in general relativity, among them Einstein's equivalence principle, the weak equivalence principle, and the strong equivalence principle. I show that Einstein's version of the equivalence principle is intimately linked to his idea that in GR gravity and inertia are unified to a single field, quite like the electric and magnetic field had been unified in special relativistic electrodynamics. At the (...) same time, what is now often called the strong equivalence principle, related to the local validity of special relativity, can also be found in Einstein's writings, albeit by a different name and clearly separated from what he calls the equivalence principle. I discuss both the development of Einstein's thoughts on the different versions of the equivalence principle, their relationship to the relativity principle, as well as later reflections and variants proposed. (shrink)

The equivalence principle has constituted one of the cornerstones of discussions in the foundations of spacetime theories over the past century. However, up to this point the principle has been considered overwhelmingly only within the context of relativistic physics. In this article, we demonstrate that the principle has much broader, super-theoretic significance: to do so, we present a unified framework for understanding the principle in its various guises, applicable to both relativistic and Newtonian contexts. We (...) thereby deepen significantly our understanding of the role played by the equivalence principle in a broad class of spacetime theories. (shrink)

A precise fomulation of the strong Equivalence Principle is essential to the understanding of the relationship between gravitation and quantum mechanics. The relevant aspects are reviewed in a context including General Relativity but allowing for the presence of torsion. For the sake of brevity, a concise statement is proposed for the Principle: An ideal observer immersed in a gravitational field can choose a reference frame in which gravitation goes unnoticed. This statement is given a clear mathematical meaning (...) through an accurate discussion of its terms. It holds for ideal observers (time-like smooth non-intersecting curves), but not for real, spatially extended observers. Analogous results hold for gauge fields. The difference between gravitation and the other fundamental interactions comes from their distinct roles in the equation of force. (shrink)

The validity of the equivalence principle is examined. Since classical physics is not valid for point particles, and a mass density over a finite volume tends to collapse, stabilizing forces are necessary. These cause a deviation from geodesic motion. That deviation is discussed in the light of recent results which provide approximate expressions for the self-force of a finite size particle due to both its mass and its charge. The equivalence principle appears to be violated.

BackgroundThe principle of equivalence in prison health has been established for nearly four decades. It seeks to ensure that prisoners have access to the same level of healthcare as members of society at large, which is entrenched within the international legal framework and England’s national health policies.AimsThis study examined how key policymakers interpret and implement the principle of equivalence in English prisons. It also identified opportunities and threats associated with the application of the principle.MethodsIn total, (...) 30 policymakers took part in this research. These participants engaged in policymaking activities and occupied positions of authority in the prison field.ResultsDespite the policymakers’ consensus on the importance of the equivalence principle, there was a varying degree of understanding regarding what constitutes ‘equivalence’. Participants described how the security culture impedes prisoners’ access to healthcare services. Additionally, the increasing size and complexity of the prison population, coupled with a diminishing level of resources, reduce the level of care being provided in prisons and thus compromise implementation of equivalence in English prisons.ConclusionsInconsistent interpretation of equivalence, the prevailing security drive, increasing numbers and health complexities of prisoners and fiscal austerity threaten the implementation of equivalence in English prisons. This research calls for new guidance on how to interpret and implement equivalence, along with measures to educate prison governors and staff on the prison rehabilitation value, ensure greater investment in prison health and consider alternatives to imprisonment to future-proof the principle of equivalence in the English prison system. (shrink)

Einstein’s equivalence principle has a number of problems, and it is often applied incorrectly. Clocks on the earth do not seem to be affected by the sun’s gravitational potential. The most commonly accepted reason given is a faulty application of the equivalence principle. While no valid reason is available within either the special or general theories of relativity, ether theories can provide a valid explanation. A clock bias of the correct magnitude and position dependence can convert (...) the Selleri transformation of ether theories into an apparent Lorentz transformation, which gives rise to an apparent equivalence of inertial frames. The results indicate that the special theory is invalid and that only an apparent relativity exists. (shrink)

This paper formulates generalized versions of the general principle of relativity and of the principle of equivalence that can be applied to general abstract spaces. It is shown that when the principles are applied to the Hilbert space of a quantum particle, its law of coupling to electromagnetic fields is obtained. It is suggested to understand the Aharonov-Bohm effect in light of these principles, and the implications for some related foundational controversies are discussed.

I criticise the view that the relativity and equivalence principles are consequences of the small-scale structure of the metric in general relativity, by arguing that these principles also apply to systems with non-trivial self-gravitation and hence non-trivial spacetime curvature (such as black holes). I provide an alternative account, incorporating aspects of the criticised view, which allows both principles to apply to systems with self-gravity.

Dark matter is an essential ingredient of the present Standard Cosmological Model, according to which only 5% of the mass/energy content of our universe is made of ordinary matter. In recent times, it has been argued that certain cases of gravitational lensing represent a new type of evidence for the existence of DM. In a recent paper, Peter Kosso attempts to substantiate that claim. His argument is that, although in such cases DM is only detected by its gravitational effects, gravitational (...) lensing is a direct consequence of Einstein's Equivalence Principle and therefore the complete gravitational theory is not needed in order to derive such lensing effects. In this paper I critically examine Kosso's argument: I confront the notion of empirical evidence involved in the discussion and argue that EEP does not have enough power by itself to sustain the claim that gravitational lensing in the Bullet Cluster constitutes evidence for the DM Hypothesis. As a consequence of this, it is necessary to examine the details of alternative theories of gravity to decide whether certain empirical situations are indeed evidence for the existence of DM. It may well be correct that gravitational lensing does constitute evidence for the DM Hypothesis—at present it is controversial whether the proposed modifications of gravitation all need DM to account for the phenomenon of gravitational lensing and if so, of which kind—but this will not be a direct consequence of EEP. (shrink)

A differential manifold (d-manifold, for short) can be defined as a pair (M, C), where M is any set and C is a family of real functions on M which is (i) closed with respect to localization and (ii) closed with respect to superposition with smooth Euclidean functions; one also assumes that (iii) M is locally diffeomorphic to Rn. These axioms have a straightforward physical interpretation. Axioms (i) and (ii) formalize certain “compatibility conditions” which usually are supposed to be assumed (...) tacitly by physicists. Axiom (iii) may be though of as a (nonmetric) version of Einstein's equivalence principle. By dropping axiom (iii), one obtains a more general structure called a differential space (d-space). Every subset of Rn turns out to be a d-space. Nevertheless it is mathematically a workable structure. It might be expected that somewhere in the neighborhood of the Big Bang there is a domain in which space-time is not a d-manifold but still continues to be a d-space. In such a domain we would have a physics without the (usual form of the) equivalence principle. Simple examples of d-spaces which are not d-manifolds elucidate the principal characteristics the resulting physics would manifest. (shrink)

We analyze the axiomatic strength of the following theorem due to Rival and Sands [28] in the style of reverse mathematics. Every infinite partial order P of finite width contains an infinite chain C such that every element of P is either comparable with no element of C or with infinitely many elements of C. Our main results are the following. The Rival–Sands theorem for infinite partial orders of arbitrary finite width is equivalent to $\mathsf {I}\Sigma ^0_{2} + \mathsf {ADS}$ (...) over $\mathsf {RCA}_0$. For each fixed $k \geq 3$, the Rival–Sands theorem for infinite partial orders of width $\leq \!k$ is equivalent to $\mathsf {ADS}$ over $\mathsf {RCA}_0$. The Rival–Sands theorem for infinite partial orders that are decomposable into the union of two chains is equivalent to $\mathsf {SADS}$ over $\mathsf {RCA}_0$. Here $\mathsf {RCA}_0$ denotes the recursive comprehension axiomatic system, $\mathsf {I}\Sigma ^0_{2}$ denotes the $\Sigma ^0_2$ induction scheme, $\mathsf {ADS}$ denotes the ascending/descending sequence principle, and $\mathsf {SADS}$ denotes the stable ascending/descending sequence principle. To the best of our knowledge, these versions of the Rival–Sands theorem for partial orders are the first examples of theorems from the general mathematics literature whose strength is exactly characterized by $\mathsf {I}\Sigma ^0_{2} + \mathsf {ADS}$, by $\mathsf {ADS}$, and by $\mathsf {SADS}$. Furthermore, we give a new purely combinatorial result by extending the Rival–Sands theorem to infinite partial orders that do not have infinite antichains, and we show that this extension is equivalent to arithmetical comprehension over $\mathsf {RCA}_0$. (shrink)

Einstein’s Equivalence Principle implies that the Lorentz force equation can be derived from a geodesic equation by imposing a certain condition on the electromagnetic potential. We analyze the quantization of that constraint and find the corresponding differential equations for the phase of the wave function. We investigate these equations in the case of Coulomb potential and show that physically acceptable solutions do not exist. This result signals an inconsistency between Einstein’s Equivalence Principle and Relativistic Quantum Mechanics (...) at an atomic level. (shrink)

Two problems have long been confused with each other: the gravitational redshift as discussed by the equivalence principle; and the Doppler shift observed by a detector which moves with constant proper acceleration away from a stationary source. We here distinguish these two problems and give for the first time a solution of the former which is ‘exact’ within the context of the equivalence principle in a sense discussed in the paper. The equivalence principle leads (...) to transformations between flat spacetimes. These are analyzed, and a generalized Lorentz transformation is proposed which covers transformations from inertial to uniformly accelerated frames of reference. (shrink)

The strong continuity principle reads “every pointwise continuous function from a complete separable metric space to a metric space is uniformly continuous near each compact image.” We show that this principle is equivalent to the fan theorem for monotone \ bars. We work in the context of constructive reverse mathematics.

A quantum particle moving in a gravitational field may penetrate the classically forbidden region of the gravitational potential. This raises the question of whether the time of flight of a quantum particle in a gravitational field might deviate systematically from that of a classical particle due to tunnelling delay, representing a violation of the weak equivalence principle. I investigate this using a model quantum clock to measure the time of flight of a quantum particle in a uniform gravitational (...) field, and show that a violation of the equivalence principle does not occur when the measurement is made far from the turning point of the classical trajectory. The results are then confirmed using the so-called dwell time definition of quantum tunnelling. I conclude with some remarks about the strong equivalence principle in quantum mechanics. (shrink)

According to the standard interpretation of Einstein’s field equations, gravity consists of mass-energy curving spacetime, and an additional physical force or entity—denoted by Λ (the ‘cosmological constant’)—is responsible for the Universe’s metric-expansion. Although General Relativity’s direct predictions have been systematically confirmed, the dominant cosmological model thought to follow from it—the ΛCDM (Lambda cold dark matter) model of the Universe’s history and composition—faces considerable challenges, including various observational anomalies and experimental failures to detect dark matter, dark energy, or inflation-field candidates. This (...) paper shows that Einstein’s Equivalence Principle entails two possible physical interpretations of General Relativity’s field equations. Although the field equations facially appear to support the standard interpretation—that gravity consists of mass-energy curving spacetime—the field equations can be equivalently understood as holding that gravitational effects instead result from mass-energy accelerating the metric-expansion of a second-order spacetime fabric superimposed upon an absolute, first-order Euclidean space, resulting in the observational appearance of spacetime curvature. This alternative interpretation of relativity is shown to be empirically equivalent to the standard interpretation of relativity, albeit with a changing value for Λ (which is similar to how Λ is understood in the conception of Λ as ‘quintessence’, but in this case takes Λ to be gravity). The reconceptualization is then shown to potentially resolve major observational anomalies for the ΛCDM model, including recent observations conflicting with ΛCDM predictions, as well as failures to directly detect dark matter, dark energy, and inflation field/particle candidates. (shrink)

Curved multi-dimensional space-times (5D and higher) are constructed by embedding them in one higher-dimensional flat space. The condition that the embedding coordinates have a separable form, plus the demand of an orthogonal resulting space-time, implies that the curved multi-dimensional space-time has 4D de-Sitter subspaces (for constant extra-dimensions) in which the 3D subspace has an accelerated expansion. A complete determination of the curved multi-dimensional spacetime geometry is obtained provided we impose a new type of “equivalence principle”, meaning that there (...) is a geodesic which from the embedding space has a rectliniar motion. According to this new equivalence principle, we can find the extra-dimensions metric components, each curved multi-dimensional spacetime surface’s equation, the energy-momentum tensors and the extra-dimensions as functions of a scalar field. The generic geodesic in each 5D spacetime are studied: they include solutions where particle’s motion along the extra-dimension is periodic and the 3D expansion factor is inflationary (accelerated expansion). Thus, the 3D subspace has an accelerated expansion. (shrink)

With an eye on developing a quantum theory of gravity, many physicists have recently searched for quantum challenges to the equivalence principle of general relativity. However, as historians and philosophers of science are well aware, the principle of equivalence is not so clear. When clarified, we think quantum tests of the equivalence principle won’t yield much. The problem is that the clash/not-clash is either already evident or guaranteed not to exist. Nonetheless, this work does (...) help teach us what it means for a theory to be geometric. (shrink)

We consider tautologies expressing equivalence‐chain properties in the spirit of Thapen and Krajíček, which are candidates for exponentially separating depth k and depth Frege proof systems. We formulate a special case where the initial member of the equivalence chain is fully specified and the equivalence‐chain implications are actually equivalences. This special case is shown to lead to polynomial size resolution refutations. Thus it cannot be used for separating depth k and depth propositional systems. We state some Håstad (...) switching lemma conditions that restrict the possible propositional proofs in more general situations. (shrink)

It is widely accepted that EinstcinRi7;s general theory of relativity is an satisfactory description of gravity 0nly in the macroscopic limit, where quantum eiTcc1;s may be neglected. Presumably this theory is inapplicable at the Planck length, but recently much attention has been devoted to gravitational theory at intermediate length scales where quantum affects 0f matter are inescapable, but where there is an general assumption that the gravitational Held may bc treated as a classical background, augmented if necessary by quamtizcd linearized (...) pertur-. (shrink)

In this paper we scrutinize the so called Principle of Local Lorentz Invariance (PLLI) that many authors claim to follow from the Equivalence Principle. Using rigourous mathematics, we introduce in the General Theory of Relativity two classes of reference frames (PIRFs and LLRFγs) which as natural generalizations of the concept of the inertial reference frames of the Special Relativity Theory. We show that it is the class of the LLRFγs that is associated with the PLLI. Next we (...) give a definition of physically equivalent reference frames. Then, we prove that there are models of General Relativity Theory (in particular on a Friedmann universe) where the PLLI is false. However our finding is not in contradiction with the many experimental claims vindicating the PLLI, because theses experiments do not have enough accuracy to detect the effect we found. We prove moreover that PIRFs are not physically equivalent. (shrink)

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)

We argue that purely local experiments can distinguish a stationary charged particle in a static gravitational field from an accelerated particle in (gravity-free) Minkowski space. Some common arguments to the contrary are analyzed and found to rest on a misidentification of “energy.”.

The Mössbauer rotor effect recently gained a renewed interest due to the discovery and explanation of an additional effect of clock synchronization which has been missed for about 50 years, i.e. starting from a famous book of Pauli, till some recent experimental analyses. The theoretical explanation of such an additional effect is due to some recent papers in both the general relativistic and the special relativistic frameworks. In the first case the key point of the approach is the Einstein’s (...) class='Hi'>equivalence principle, which, in the words of the same Einstein, enables “the point of view to interpret the rotating system K’ as at rest, and the centrifugal field as a gravitational field”. In this paper, we analyse both the history of the Mössbauer rotor effect and its interpretation from the point of view of Einstein’s general theory of relativity by adding some new insight. In particular, it will be shown that, if on one hand the “traditional” effect of redshift has a strong analogy with the gravitational redshift, on the other hand the additional effect of clock synchronization has an intriguing analogy with the cosmological redshift. Finally, we show that a recent claim in the literature that the second effect of clock synchronization does not exist is not correct. (shrink)

Clinical guidelines summarise available evidence on medical treatment, and provide recommendations about the most effective and cost-effective options for patients with a given condition. However, sometimes patients do not desire the best available treatment. Should doctors in a publicly-funded healthcare system ever provide sub-optimal medical treatment? On one view, it would be wrong to do so, since this would violate the ethical principle of beneficence, and predictably lead to harm for patients. It would also, potentially, be a misuse of (...) finite health resources. In this paper, we argue in favour of permitting sub-optimal choices on the basis of value pluralism, uncertainty, patient autonomy and responsibility. There are diverse views about how to evaluate treatment options, and patients’ right to self-determination and taking responsibility for their own lives should be respected. We introduce the concept of cost-equivalence, as a way of defining the boundaries of permissible pluralism in publicly-funded healthcare systems. As well as providing the most effective, available treatment for a given condition, publicly-funded healthcare systems should provide reasonable suboptimal medical treatments that are equivalent in cost to the optimal treatment. We identify four forms of cost-equivalence, and assess the implications of CE for decision-making. We evaluate and reject counterarguments to CE. Finally, we assess the relevance of CE for other treatment decisions including requests for potentially superior treatment. (shrink)

We prove that the determinacy of all Lipschitz games, the determinacy of all Wadge games, and the semi-linear ordering principle for Lipschitz maps are all equivalent.

Interprétant l’histoire de l’humanité comme la suite discontinue dans le temps des différents degrés d’ouverture de l’âme humaine au mystère du fondement de l’être, Eric Voegelin a cherché à rompre avec toutes les visions unilinéaires de l’histoire qui ont caractérisé la pensée occidentale depuis le XVIIIe siècle et ont constitué une forme désastreuse d’impérialisme spirituel. En 1970, le philosophe a voulu rendre explicites les principes de sa démarche dans un article intitulé « Equivalences of experience and symbolisation in history ». (...) C’est ce texte qui est ici traduit en français pour la première fois.Les équivalences de l’expérience et de la symbolisation dans l’histoire Interpreting the history of mankind as the discontinued temporal succession of the various degrees of openness of the human soul to the mystery of the ground of being, Eric Voegelin has tried to break with all the one-line histories, characteristic of the Western thought since the eighteenth century and forming a disastrous kind of spiritual imperialism. In 1970, the philosopher wanted to clarify the principles of his thought processes in an article entitled « Equivalences of experience and symbolisation in history ». This text is translated here in French for the first time. (shrink)

Hodges' Extension Theorem is perfectly designed for the kind of extension problem of principle of compositionality, which arises in the so-called IF languages. These languages satisfy the conditions of the application of the Extension Theorem. They are extensions of standard first-order languages closed under atomic and negations of atomic formulas and disjunctions and conjunctions of IF-formulas. Hodges' extension theorem shows that when certain conditions are satisfied, a language has a unique compositional interpretation, which agrees with the initially given partial (...) one. Accordingly, any two such compositional interpretations must be formally equivalent. Kaplan separates the indices, which contribute to the semantic value of a sentence into those that make the context of utterance, and those that constitute the circumstances of evaluation. The former determine what is said and the latter determine whether what is said is true or false. (shrink)

Decompositional equivalence is the principle that there is no preferred decomposition of the universe into subsystems. It is shown here, by using a simple thought experiment, that quantum theory follows from decompositional equivalence together with Landauer’s principle. This demonstration raises within physics a question previously left to psychology: how do human—or any—observers identify or agree about what constitutes a “system of interest”?

In spite of the work of Gödel and Cohen, which showed the undecidability of the Generalized Continuum Hypothesis from the axioms of set theory, the problem still remains to decide GCH on the basis of new axioms. It is almost 100 years since Cantor first conjectured the Continuum Hypothesis, yet we seem to be no closer to determining its truth. Nevertheless, it is a sound methodological principle that given any undecidable set-theoretical statement, we should search for “other axioms of (...) set theory which a more profound understanding of the concepts underlying logic and mathematics would enable us to recognize as implied by these concepts”. (shrink)

Chs. 9 convert the two basic forms of slingshot argument—one used by Alonzo Church, W. V. Quine, and Donald Davidson, the other by Kurt Gödel—into knock‐down deductive proofs that Donald Davidson's and Richard Rorty's cases against facts and the representation of facts are unfounded, and their slingshot arguments for discrediting the existence of facts unsatisfactory. The proofs are agnostic on key semantic issues; in particular, they assume no particular account of reference and do not even assume that sentences have references. (...) Using the same procedure as in Chs. 8 and 9 shows that a slingshot argument engendered by Gödel's suggestions can be converted into a proof that delivers an exacting constraint on non‐extensional discourse—the Descriptive Constraint—and that is more general than anything Gödel appears to have had in mind. The proof of this constraint is constructed without appeal to logical equivalences, without assuming that a semantic theory must treat sentences as having references, without presupposing anything contentious about the semantics of singular terms, and without commitment to any particular semantics for definite descriptions. A constraint on facts, situations, states of affairs, and propositions—indeed on anything that is expressed or represented sententially—drops out as a trivial consequence of a constraint on non‐extensional discourse. The three sections of the chapter are: Principles of Conversion for Descriptions; Gödel's Proof in Quinean Format; and A Stronger Slingshot? (shrink)

Leibniz’s conception of the relativity of motion has been discussed at length for a very long time. This paper doesn’t aim to give a full solution to this question, but to contribute to the debate by clarifying how the principle of relativity is introduced, justified and used in the “Dynamica”. Four different principles are identified : one purely geometrical, and three (meta) physical principles, which express God’s wisdom : a principle of equivalence of hypotheses linked to the (...) action/reaction principle, a Galilean principle of relativity and a general principle which apply not only to rectilinear motions but also to circular ones. I argue that to appreciate the coherence of Leibniz’ approach, we should distinguish these principles more sharply than he himself did and pay more attention to their status : are they consequences of the definition of motion, consequences of the physical laws or necessary conditions for any physical theory? (shrink)

Leibniz Equivalence is a principle of applied mathematics that is widely assumed in both general relativity textbooks and in the philosophical literature on Einstein’s hole argument. In this article, I clarify an ambiguity in the statement of this Leibniz Equivalence, and argue that the relevant expression of it for the hole argument is strictly false. I then show that the hole argument still succeeds as a refutation of manifold substantivalism; however, recent proposals that the hole argument is (...) undermined by principles of representational equivalence do not fare so well. (shrink)

The properties, theoretical magnitudes, and natural kinds which science seeks to characterize, and not the sense or meanings which parts of speech may possess, are the subject of this paper. Many philosophers (e.g., Putnam [1971] and Achinstein [1974]) have agreed that two predicates of different meaning may pick out the same property, but they usually hold that that logically equivalent predicates must pick out the same properties. I propose to deny this thesis. My argument is by way of an example (...) and by appeal to a principle. The principle connects propertyhood with causal efficacy. The example situation I will describe in what follows is intended to show that the property of being a closed straight-sided figure having three sides is not the same property as that of being a closed straight-sided figure having three angles (a triangle). (shrink)

One way to study and understand the notion of truth is to examine principles that we are willing to associate with truth, often because they conform to a pre-theoretical or to a semi-formal characterization of this concept. In comparing different collections of such principles, one requires formally precise notions of inter-theoretic reduction that are also adequate to compare these conceptual aspects. In this work I study possible ways to make precise the relation of conceptual equivalence between notions of truth (...) associated with collections of principles of truth. In doing so, I will consider refinements and strengthenings of the notion of relative truth-definability proposed by Fujimoto (2010): in particular I employ suitable variants of notions of equivalence of theories considered in Visser (2006) and Friedman & Visser (2014) to show that there are better candidates than mutual truth-definability for the role of sufficient condition for conceptual equivalence between the semantic notions associated with the theories. In the concluding part of the paper, I extend the techniques introduced in the first and show that there is a precise sense in which ramified truth (either disquotational or compositional) does not correspond to iterations of comprehension. (shrink)

Einstein considered general covariance to characterize the novelty of his General Theory of Relativity (GTR), but Kretschmann thought it merely a formal feature that any theory could have. The claim that GTR is ``already parametrized'' suggests analyzing substantive general covariance as formal general covariance achieved without hiding preferred coordinates as scalar ``clock fields,'' much as Einstein construed general covariance as the lack of preferred coordinates. Physicists often install gauge symmetries artificially with additional fields, as in the transition from Proca's to (...) Stueckelberg's electromagnetism. Some post-positivist philosophers, due to realist sympathies, are committed to judging Stueckelberg's electromagnetism distinct from and inferior to Proca's. By contrast, physicists identify them, the differences being gauge-dependent and hence unreal. It is often useful to install gauge freedom in theories with broken gauge symmetries (second-class constraints) using a modified Batalin-Fradkin-Tyutin (BFT) procedure. Massive GTR, for which parametrization and a Lagrangian BFT-like procedure appear to coincide, mimics GTR's general covariance apart from telltale clock fields. A generalized procedure for installing artificial gauge freedom subsumes parametrization and BFT, while being more Lagrangian-friendly than BFT, leaving any primary constraints unchanged and using a non-BFT boundary condition. Artificial gauge freedom licenses a generalized Kretschmann objection. However, features of paradigm cases of artificial gauge freedom might help to demonstrate a principled distinction between substantive and merely formal gauge symmetry. (shrink)

In recent years, there has been a substantial amount of work in reverse mathematics concerning natural mathematical principles that are provable from RT, Ramsey's Theorem for Pairs. These principles tend to fall outside of the "big five" systems of reverse mathematics and a complicated picture of subsystems below RT has emerged. In this paper, we answer two open questions concerning these subsystems, specifically that ADS is not equivalent to CAC and that EM is not equivalent to RT.

We investigate the complexity of various combinatorial theorems about linear and partial orders, from the points of view of computability theory and reverse mathematics. We focus in particular on the principles ADS (Ascending or Descending Sequence), which states that every infinite linear order has either an infinite descending sequence or an infinite ascending sequence, and CAC (Chain-AntiChain), which states that every infinite partial order has either an infinite chain or an infinite antichain. It is well-known that Ramsey's Theorem for pairs (...) (RT₂²) splits into a stable version (SRT₂²) and a cohesive principle (COH). We show that the same is true of ADS and CAC, and that in their cases the stable versions are strictly weaker than the full ones (which is not known to be the case for RT₂² and SRT₂²). We also analyze the relationships between these principles and other systems and principles previously studied by reverse mathematics, such as WKL₀, DNR, and BΣ₂. We show, for instance, that WKL₀ is incomparable with all of the systems we study. We also prove computability-theoretic and conservation results for them. Among these results are a strengthening of the fact, proved by Cholak, Jockusch, and Slaman, that COH is Π₁¹-conservative over the base system RCA₀. We also prove that CAC does not imply DNR which, combined with a recent result of Hirschfeldt, Jockusch, Kjos-Hanssen, Lempp, and Slaman, shows that CAC does not imply SRT₂² (and so does not imply RT₂²). This answers a question of Cholak, Jockusch, and Slaman. Our proofs suggest that the essential distinction between ADS and CAC on the one hand and RT₂² on the other is that the colorings needed for our analysis are in some way transitive. We formalize this intuition as the notions of transitive and semitransitive colorings and show that the existence of homogeneous sets for such colorings is equivalent to ADS and CAC, respectively. We finish with several open questions. (shrink)

We prove an Ax-Kochen-Ershov like transfer principle for groups acting on groups. The simplest case is the following: let B be a soluble group acting on an abelian group G so that G is a torsion-free divisible module over the group ring Z[B], then the theory of B determines the one of the two-sorted structure $\langle G, B, *\rangle$ , where * is the action of B on G. More generally, we show a similar principle for structures $\langle (...) G, B, *\rangle$ , where G is a torsion-free divisible module over the quotient of Z[B] by the annulator of G. Two applications come immediately from this result: First, for not necessarily commutative domains, where we consider the action of a subgroup of the invertible elements on the additive group. We obtain then the decidability of a weakened structure of ring, with partial multiplication. The second application is to pure groups. The semi-direct product of G by B is bi- interpretable with our structure $\langle G, B, *\rangle$ . Thus, we obtain stable decidable groups that are not linear over a field. (shrink)

The claim that the free energy principle is somehow related to Hamilton’s principle in statistical mechanics is ubiquitous throughout the subject literature. However, the exact nature of this relationship remains unclear. According to some sources, the free energy principle is merely similar to Hamilton’s principle of stationary action; others claim that it is either analogous or equivalent to it, while yet another part of the literature espouses the claim that it is a version of Hamilton’s (...) class='Hi'>principle. In this article, we aim to clarify the nature of the relationship between the two principles by investigating the two most likely interpretations of the claims that can be found in the subject literature. According to the strong interpretation, the two principles are equivalent and apply to the same subset of physical phenomena; according to the weak interpretation, the two principles are merely analogous to each other by virtue of their similar formal structures. As we show, adopting the stronger reading would lead to a dilemma that is untenable for the proponents of the free energy principle, thus supporting the adoption of the weaker reading for the relationship between the two constructs. (shrink)

Many mathematical objects arise from equivalence classes and invite implementation as those classes. Set-existence principles that would enable this are incompatible with ZFC's unrestricted _aussonderung_ but there are set theories which admit more instances than does ZF. NF provides equivalence classes for stratified relations only. Church's construction provides equivalence classes for "low" sets, and thus, for example, a set of all ordinals. However, that set has an ordinal in turn which is not a member of the set (...) constructed; so no set of _all_ ordinals is obtained thereby. This "recurrence problem" is discussed. (shrink)

In 1981, Takeuti introduced quantum set theory as the quantum counterpart of Boolean valued models of set theory by constructing a model of set theory based on quantum logic represented by the lattice of closed subspaces in a Hilbert space and showed that appropriate quantum counterparts of ZFC axioms hold in the model. Here, Takeuti's formulation is extended to construct a model of set theory based on the logic represented by the lattice of projections in an arbitrary von Neumann algebra. (...) A transfer principle is established that enables us to transfer theorems of ZFC to their quantum counterparts holding in the model. The set of real numbers in the model is shown to be in one-to-one correspondence with the set of self-adjoint operators affiliated with the von Neumann algebra generated by the logic. Despite the difficulty pointed out by Takeuti that equality axioms do not generally hold in quantum set theory, it is shown that equality axioms hold for any real numbers in the model. It is also shown that any observational proposition in quantum mechanics can be represented by a corresponding statement for real numbers in the model with the truth value consistent with the standard formulation of quantum mechanics, and that the equality relation between two real numbers in the model is equivalent with the notion of perfect correlation between corresponding observables (self-adjoint operators) in quantum mechanics. The paper is concluded with some remarks on the relevance to quantum set theory of the choice of the implication connective in quantum logic. (shrink)

To save antirealism from Fitch's Paradox, Tennant has proposed to restrict the scope of the antirealist principle that all truths are knowable to truths that can be consistently assumed to be known. Although the proposal solves the paradox, it has been accused of doing so in an ad hoc manner. This paper argues that, first, for all Tennant has shown, the accusation is just; second, a restriction of the antirealist principle apparently weaker than Tennat's yields a non-ad hoc (...) solution to Fitch's Paradox; and third, the alternative is only apparently weaker than, and even provably equivalent to, Tennant's. It is thereby shown that the latter is not ad hoc after all. (shrink)

This article refines a foundational tenet of rational choice theory known as the principle of description invariance. Attempts to apply this principle to human agents with imperfect knowledge have paid insufficient attention to two aspects: first, agents’ epistemic situations, i.e. whether and when they recognize alternative descriptions of an object to be equivalent; and second, the individuation of objects of description, i.e. whether and when objects count as the same or different. An important consequence is that many apparent (...) ‘framing effects’ may not violate the principle of description invariance, and the subjects of these effects may not be irrational. (shrink)

The concept of substantial equivalence,introduced for the risk assessment of geneticallymodified (GM) food, is a reducing concept because itignores the context in which these products have beenproduced and brought to the consumer at the end of thefood chain. Food quality cannot be restricted to meresubstance and food acts on human beings not only atthe level of nutrition but also through theirrelationship to environment and society. To make thiscontext explicit, I will introduce an ``equivalencescale'' for the evaluation of food chains (...) (GM or notGM). By contrast with substantial equivalence, whichinvolves mainly quantitative, analytical methods ofevaluation, ``qualitative equivalence'' refers to ``less''or non-substantial factors that require new methodsof evaluation based on qualitative principles.``Ethical equivalence'' refers to factors that show themoral value contained in food products. To analyze thedifferent levels at which ethics is needed in foodchains, I will use the French principles: ``Liberty,Equality, Fraternity,'' or freedom, equality,solidarity, and add a fourth principle:sustainability. Sustainability, solidarity, andfreedom can be applied to the evaluation ofenvironmental, socio-economic, and socio-culturalethical equivalence, respectively. Equality refers tojustice and should operate so as to guarantee thatsustainability, solidarity, and freedom are satisfied.I suggest that ethics can provide a basis for arenewal of the food chain concept. Besides QualityAssurance, it is now essential to develop an ``EthicalAssurance'' and this equivalence scale could provide abasis to set up ``Ethical Assurance Standards'' (EAS)for food chains. (shrink)