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)

Invariance criteria are widely accepted as a means to demarcate the logical vocabulary of a language. In previous work, I proposed a framework of “semantic constraints” for model theoretic consequence which does not rely on a strict distinction between logical and nonlogical terms, but rather on a range of constraints on models restricting the interpretations of terms in the language in different ways. In this paper I show how invariance criteria can be generalized so as to apply to semantic constraints (...) on models. Some obviously unpalatable semantic constraints turn out to be invariant under isomorphisms. I shall connect our discussion to known counterexamples to invariance criteria for logical terms, and so the generalization will also shed light on the current existing debate on logicality. I analyse the failure of invariance to fulfil its role as a criterion for logicality, and argue that invariance conditions should best be thought of as merely methodological meta-constraints restricting the ways the model-theoretic apparatus should be used. (shrink)

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

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)

The dual character of invariance under transformations and definability by some operations has been used in classical works by, for example, Galois and Klein. Following Tarski, philosophers of logic have claimed that logical notions themselves could be characterized in terms of invariance. In this article, we generalize a correspondence due to Krasner between invariance under groups of permutations and definability in L∞∞ so as to cover the cases that are of interest in the logicality debates, getting McGee’s theorem about quantifiers (...) invariant under all permutations and definability in pure L∞∞ as a particular case. We also prove some optimality results along the way, regarding the kinds of relations which are needed so that every subgroup of the full permutation group is characterizable as a group of automorphisms. (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)

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)

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.

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)

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)

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)

Scientific knowledge should not only be true, it should be as objective as possible. It should refer to a reality independent of any subject. What can we use as a criterion of objectivity? Intersubjectivity (i.e., intersubjective understandability and intersubjective testability) is necessary, but not sufficient. Other criteria are: independence of reference system, independence of method, non-conventionality. Is there some common trait? Yes, there is: invariance under some specified transformations. Thus, we say: A proposition is objective only if its truth is (...) invariant against a change in the conditions under which it was formulated. We give illustrations from geometry, perception, neurobiology, relativity theory, and quantum theory. Such an objectivist position has many advantages. (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)

In this article, the rotational invariance of entangled quantum states is investigated as a possible cause of the Pauli exclusion principle. First, it is shown that a certain class of rotationally invariant states can only occur in pairs. This is referred to as the coupling principle. This in turn suggests a natural classification of quantum systems into those containing coupled states and those that do not. Surprisingly, it would seem that Fermi–Dirac statistics follows as a consequence of this coupling while (...) the Bose–Einstein follows by breaking it. In Sec. 5, the above approach is related to Pauli's original spin-statistics theorem and finally in the last two sections, a theoretical justification, based on Clebsch–Gordan coefficients and the experimental evidence respectively, is presented. (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.

We prove some consistency results about and δ, which are natural generalisations of the cardinal invariants of the continuum and . We also define invariants cl and δcl, and prove that almost always = cl and = cl.

This chapter explores some issues having to do with the structure of the evidential reasoning we use to infer causal and lawful claims. It is argued that such reasoning always makes use of prior, causally, or nomologically committed information, thus undercutting various views that attempt to reduce causal and lawful claims to claims about regularities. A non-reductive account of laws and causes built around the notion of invariance is advanced as an alternative.

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.

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)

A moda logic Λ is called invariant if for all automorphisms α of NExt K, α = Λ. An invariant ogic is therefore unique y determined by its surrounding in the attice. It wi be established among other that a extensions of K.alt1S4.3 and G.3 are invariant ogics. Apart from the results that are being obtained, this work contributes to the understanding of the combinatorics of finite frames in genera, something wich has not been done except for transitive frames. Certain (...) useful concepts will be established, such as the notion of a d-homogeneous frame. (shrink)

This chapter contains sections titled: Invariance qua Uniform Applicability Invariance qua Transindividual Concurrence Invariance qua Timelessness and Ubiquity Limits on Invariance Concluding Remarks.

Invariance is one of several dimensions of causal relationships within the interventionist account. The more invariant a relationship between two variables, the more the relationship should be considered paradigmatically causal. In this paper, I propose two formal measures to estimate invariance, illustrated by a simple example. I then discuss the notion of invariance for causal relationships between non-nominal (i.e., ordinal and quantitative) variables, for which Information theory, and hence the formalism proposed here, is not well suited. Finally, I propose how (...) invariance could be qualified for such variables. (shrink)

The Higgs mechanism gives mass to Yang-Mills gauge bosons. According to the conventional wisdom, this happens through the spontaneous breaking of gauge symmetry. Yet, gauge symmetries merely reflect a redundancy in the state description and therefore the spontaneous breaking can not be an essential ingredient. Indeed, as already shown by Higgs and Kibble, the mechanism can be explained in terms of gauge invariant variables, without invoking spontaneous symmetry breaking. In this paper, we present a general discussion of such gauge invariant (...) treatments for the case of the Abelian Higgs model, in the context of classical field theory. We thereby distinguish between two different notions of gauge: one that takes all local transformations to be gauge and one that relates gauge to a failure of determinism. (shrink)

This book seeks to answer the question "What explains CPT invariance and the spin-statistics connection?" These properties play foundational roles in relativistic quantum field theories, are supported by high-precision experiments, and figure into explanations of a wide range of phenomena, from antimatter, to the periodic table of the elements, to superconductors and superfluids. They can be derived in RQFTs by means of the famous CPT and Spin-Statistics theorems; but, the author argues, these theorems cannot be said to explain these properties, (...) at least under standard philosophical accounts of scientific explanation. This is because there are multiple, in some cases incompatible, ways of deriving these theorems, and, secondly, because the theorems fail for the types of theories that underwrite the empirical evidence: non-relativistic quantum theories, and realistic interacting RQFTs. The goal of this book is to work towards an understanding of CPT invariance and the spin-statistics connection by first providing an analysis of the necessary and sufficient conditions for these properties, and second by advocating a particular account of explanation appropriate for this context. (shrink)

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)

This study investigates measurement invariance of the 17-item-4-factor Love of Money Scale across gender and college major among university students in People’s Republic of China. Results revealed configural invariance across gender. Metric invariance across gender was not achieved based on chi-square change, but achieved based on fit indices change between unconstrained and constrained multi-group confirmatory factor analysis. Both configural invariance and metric invariance were achieved across college major. Results of this study suggest that the Love of Money Scale, developed in (...) the U.S., has achieved measurement invariance in this student sample in China. Future researchers will have some confidence in using this measurement when they examine the love of money in Chinese management and organizational studies. (shrink)

This paper represents an attempt to clarify a number of long-standing issues concerning the nature and status of the special and general principles of relativity in particular and symmetry or invariance principles in general. An analysis of the active and passive interpretations of symmetry operations is offered. This analysis yields an evaluation of the old covariance-invariance issue. It also demonstrates that the passive interpretation, insofar as it is not trivial, is parasitic on the active picture. Finally, the analysis shows that (...) grave difficulties lie in the way of any attempt to generalize the special principle of relativity in a manner like the one Einstein originally proposed. (shrink)

Most observers agree that modern physical theory attempts to provide objective representations of reality. However, the claim that these representations are based on conventional choices is viewed by many as a denial of their objectivity. As a result, objectivity and conventionality in representation are often framed as polar opposites. Offering a new appraisal of symmetry in modern physics, employing detailed case studies from relativity theory and quantum mechanics, Objectivity, Invariance, and Convention contends that the physical sciences, though dependent on convention, (...) may produce objective representations of reality. Talal Debs and Michael Redhead show that both realists and constructivists have recognized important elements of an understanding of science that may not be contradictory. The position--"perspectival invariantism"-- introduced in this book highlights the shortcomings of existing approaches to symmetry in physics, and, for the constructivist, demonstrates that a dependence on conventions in representation reaches into the domain of the most technical sciences. For the realist, it stands as evidence against the claim that conventionality must undermine objectivity. We can be committed to the existence of a single real ontology while maintaining a cultural view of science. (shrink)

We consider a representation of the state reduction which depends neither on its reality nor on the details of when and how it emerges. Then by means of the representation we find necessary conditions, even if not the sufficient ones, for a decomposition of the state vector space to be a solution to the basis problem. The conditions are that the decomposition should be Lorentz invariant and orthogonal and that the associated projections should be continuous. They are shown to be (...) able to determine a decomposition in each of a few examples considered if the other circumstances are taken into account together. (shrink)

In this paper I attempt mainly to elucidate the claim, advanced by Woorward, that the key notion to characterize physical laws is that of invariance. I draw a distinction betwen two levels of invariance in order to elaborate that thesis. I maintain that distinctive marks of the nomic status of basic laws of physics are either that they hold invariantly, within a domain of applivation, or that they fulfill some principles of symmetry. The fomer mark relatesd to the manner in (...) which physical systems change invariantly whereas the latter concerns to the invariance of the laws themselves. This view contrats with the traditional philosophical thesis that physical laws are true universal statements with a necessary character which differentiate then from accidental true generalizations, which are contingent. (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)

Descriptions of social norms can be explanatory. The erotetic approach to explanation provides a useful framework. I describe one very broad kind of explanation-seeking why-question, a genus that is common to the special sciences, and argue that descriptions of norms can serve as an answer to such why-questions. I draw upon Woodward’s recent discussion of the explanatory role of generalizations with a significant degree of invariance. Descriptions of norms provide what is, in effect, a generalization regarding the kind of historically (...) contingent system— a group or society, a generalization with a significant degree of invariance. Key Words: explanation • invariance • norms • social sciences • erotetic • laws. (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)

CPT invariance and the spin-statistics connection are typically taken to be essential properties in relativistic quantum field theories (RQFTs), insofar as the CPT and Spin-Statistics theorems entail that any state of a physical system characterized by an RQFT must possess these properties. Moreover, in the physics literature, they are typically taken to be properties of particles. But there is a Received View among philosophers that RQFTs cannot fundamentally be about particles. This essay considers what proofs of the CPT and Spin-Statistics (...) theorems suggest about the ontology of RQFTs, and the extent to which this is compatible with the Received View. I will argue that such proofs suggest the Received View’s approach to ontology is flawed. (shrink)

This study investigates measurement invariance of the 17-item-4-factor Love of Money Scale across gender and college major among university students in People's Republic of China. Results revealed configural invariance across gender. Metric invariance across gender was not achieved based on chi-square change, but achieved based on fit indices change between unconstrained and constrained multi-group confirmatory factor analysis. Both configural invariance and metric invariance were achieved across college major. Results of this study suggest that the Love of Money Scale, developed in (...) the U.S., has achieved measurement invariance in this student sample in China. Future researchers will have some confidence in using this measurement when they examine the love of money in Chinese management and organizational studies. (shrink)

Properties and relations in general have a certain degree of invariance, and some types of properties/relations have a stronger degree of invariance than others. In this paper I will show how the degrees of invariance of different types of properties are associated with, and explain, the modal force of the laws governing them. This explains differences in the modal force of laws/principles of different disciplines, starting with logic and mathematics and proceeding to physics and biology.

Seven hundred adolescents with mean age of 15.3 years. Multigroup confirmatory factor analysis was performed to assess measurement invariance of the MSPSS scale across Chinese and South Asian ethnic minority samples. Results show that the original three-factor structure of the MSPSS was supported in both samples. Measurement invariance was supported in terms of configural, metric, and partial scalar invariance. Given partial scalar invariance was achieved, the latent mean differences were compared across samples. Chinese adolescents had higher levels of all three (...) types of social support when compared with their South Asian ethnic minority counterparts. The present study attempts to assess the measurement invariance of the MSPSS across ethnic groups in Asian society, which sheds light on future research that involves perceived social support among adolescents in Chinese culture contexts. (shrink)

Let us sum up. We began with the question, “What is the interest of a model-theoretic definition of validity?” Model theoretic validity consists in truth under all reinterpretations of non-logical constants. In this paper, we have described for each necessity concept a corresponding modal invariance property. Exemplification of that property by the logical constants of a language leads to an explanation of the necessity, in the corresponding sense, of its valid sentences. I have fixed upon the epistemic modalities in characterizing (...) the logical constants: to be a logical constant in the language of a population is to be invariant over a modality describing complete possible epistemic states of that population (or an idealized analogue thereof). The grounds for this characterization are these: (1) It leads, I believe, to an extensionally reasonable demarcation of the logical constants, including clear cases and excluding clear non-cases. It gives a principled criterion for deciding unclear cases. (2) It provides an analysis of the topic-neutrality of logic. (3) It leads to an explanation of the epistemic necessity of the logical truths in terms of the topic-neutrality of the logical constants.All the same, it is reasonable to ask, even if the suggested demarcation of logic is extensionally correct, whether it can reasonably be expected to be fundamental. The epistemic invariance of an expression is a rather striking property, one which we should want to explain. What is missing, then, is an explanation of the distinguishing epistemic properties of the constants in terms of more fundamental properties involving their understanding and use. It would be these that properly define the nature, not just the extent, of logic. (shrink)

This is a survey of work on set-theoretical invariance criteria for logicality. It begins with a review of the Tarski-Sher thesis in terms, first, of permutation invariance over a given domain and then of isomorphism invariance across domains, both characterized by McGee in terms of definability in the language L∞,∞. It continues with a review of critiques of the Tarski-Sher thesis, and a proposal in response to one of those critiques via homomorphism invariance. That has quite divergent characterization results depending (...) on its formulation, one in terms of FOL, the other by Bonnay in terms of L∞,∞, both without equality. From that we move on to a survey of Bonnay’s work on similarity relations between structures and his results that single out invariance with respect to potential isomorphism among all such. Turning to the critique that calls for sameness of meaning of a logical operation across domains, the paper continues with a result showing that the isomorphism invariant operations that are absolutely definable with respect to KPU−Inf are exactly those definable in full FOL; this makes use of an old theorem of Manders. The concluding section is devoted to a critical discussion of the arguments for set-theoretical criteria for logicality. (shrink)

This note contains a corrective and a generalization of results by Borsboom et al. (2008), based on Heesen and Romeijn (2019). It highlights the relevance of insights from psychometrics beyond the context of psychological testing.

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 role of the concept of invariance in physics and geometry is analyzed, with attention to the closely connected concepts of symmetry and objective meaning. The question of why the fundamental equations of physical theories are not invariant, but only covariant, is examined in some detail. The last part of the paper focuses on the surprising example of entropy as a complete invariant in ergodic theory for any two ergodic processes that are isomorphic in the measure-theoretic sense.

The property of fundamental mechanical theories which allows to treat compound objects as particles under suitable conditions is considered. It is argued that such a property, called compoundation invariance, is a nonreleasable property of any mechanical theory not declaring to which elementary constituents it applies. Compoundation invariance is discussed in the framework of Bohmian mechanics. It is found that standard Bohmian mechanics satisfies the requirement of compoundation invariance, with some reservation in the case of compound objects with spin. On the (...) contrary that requirement is violated when additional terms are added to the standard velocity. (shrink)

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)

Some philosophers say that in special relativity, four-dimensional stuff is invariant in some sense that three-dimensional stuff is not. I show that this claim is false.

A number of arguments have been given to show that the modal interpretation of ordinary nonrelativistic quantum mechanics cannot be consistently extended to the relativistic setting. We find these arguments inconclusive. However, there is a prima facie reason to think that a tension exists between the modal interpretation and relativistic invariance; namely, the best candidate for a modal interpretation adapted to relativistic quantum field theory, a prescription due to Rob Clifton, comes out trivial when applied to a number of systems (...) of physical interest. However, it is far from clear whether this difficulty for the modal interpretation is traceable to relativistic invariance per se or to the infinite number of degrees of freedom involved. In any case, the proponents of the modal interpretation have work to do. (shrink)