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)

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)

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 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.

We explore depth substitution invariance, or hyperformalism, and extend known results in this realm to justification logics extending weak relevant logics. We then examine the surprising invariance of justifications over formulas and restrict our attention to the substitution of proofs in the original relevant logic. The results of this paper indicate that depth invariance is a recalcitrant feature of the logic and that proof structures in hyperformal logics are quite inflexible.

The paper has three parts. In the first part ExtOSR, an extended version of Ontic Structural Realism, will be introduced. ExtOSR considers structural properties as ontological primitives, where structural properties are understood as comprising both relational and structurally derived intrinsic properties or structure invariants. It is argued that ExtOSR is best suited to accommodate gauge symmetry invariants and zero value properties. In the second part, ExtOSR will be given a Humean shape by considering structures as categorical and global. It will (...) be laid out how such structures serve to reconstruct non-essential structural kinds and laws. In the third part Humean structural realism will be defended against the threat of quidditism. (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)

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)

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)

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 paper has three main objectives: (a) Discuss the formal analogy between some important symmetry-invariance arguments used in physics, probability and statistics. Specifically, we will focus on Noether’s theorem in physics, the maximum entropy principle in probability theory, and de Finetti-type theorems in Bayesian statistics; (b) Discuss the epistemological and ontological implications of these theorems, as they are interpreted in physics and statistics. Specifically, we will focus on the positivist (in physics) or subjective (in statistics) interpretations vs. objective interpretations (...) that are suggested by symmetry and invariance arguments; (c) Introduce the cognitive constructivism epistemological framework as a solution that overcomes the realism-subjectivism dilemma and its pitfalls. The work of the physicist and philosopher Max Born will be particularly important in our discussion. (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.

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.

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)

The Representational Theory of Measurement conceives measurement as establishing homomorphisms from empirical relational structures into numerical relation structures, called models. Models function as measuring instruments by transferring observations of an economic system into quantitative facts about that system. These facts are evaluated by their accuracy. Accuracy is achieved by calibration. For calibration standards are needed. Then two strategies can be distinguished. One aims at estimating the invariant (structural) equations of the system. The other is to use known stable facts about (...) the system to adjust the model parameters. For this latter strategy, the requirement of models as homomorphic mappings is not required anymore. (shrink)

The isomorphism invariance criterion of logical nature has much to commend it. It can be philosophically motivated by the thought that logic is distinctively general or topic neutral. It is capable of precise set-theoretic formulation. And it delivers an extension of ‘logical constant’ which respects the intuitively clear cases. Despite its attractions, the criterion has recently come under attack. Critics such as Feferman, MacFarlane and Bonnay argue that the criterion overgenerates by incorrectly judging mathematical notions as logical. We consider (...) five possible precisifications of the overgeneration argument and find them all unconvincing. (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.

A number of papers have applied the CNI model of moral judgments to investigate deontological and consequentialist response tendencies (Gawronski et al., 2017). A controversy has emerged concerning the methodological assumptions of the CNI model (Baron & Goodwin, 2020, 2021; Gawronski et al. 2020). In this paper, we contribute to this debate by extending the CNI paradigm with a skip option. This allows us to test an invariance assumption that the CNI model shares with prominent process-dissociation models in cognitive (...) and social psychology (Klauer et al., 2015). Like for these models, the present experiments found violations of the invariance assumption for the CNI model. In Experiment 2, we replicate these results and selectively influence the new parameter for the skip option. In addition, structural equation modeling reveals that previous findings for the relationship between gender and the CNI parameters are completely mediated by the association of gender with primary psychopathy. (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 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)

Michel Janssen and Harvey Brown have driven a prominent recent debate concerning the direction of an alleged arrow of explanation between Minkowski spacetime and Lorentz invariance of dynamical laws in special relativity. In this article, I critically assess this controversy with the aim of clarifying the explanatory foundations of the theory. First, I show that two assumptions shared by the parties—that the dispute is independent of issues concerning spacetime ontology, and that there is an urgent need for a constructive (...) interpretation of special relativity—are problematic and negatively affect the debate. Second, I argue that the whole discussion relies on a misleading conception of the link between Minkowski spacetime structure and Lorentz invari-ance, a misconception that in turn sheds more shadows than light on our understand-ing of the explanatory nature and power of Einstein’s theory. I state that the arrow connecting Lorentz invariance and Minkowski spacetime is not explanatory and uni-directional, but analytic and bidirectional, and that this analytic arrow grounds the chronogeometric explanations of physical phenomena that special relativity offers. (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)

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)

Wigner's quantum-mechanical classification of particle-types in terms of irreducible representations of the Poincaré group has a classical analogue, which we extend in this paper. We study the compactness properties of the resulting phase spaces at fixed energy, and show that in order for a classical massless particle to be physically sensible, its phase space must feature a classical-particle counterpart of electromagnetic gauge invariance. By examining the connection between massless and massive particles in the massless limit, we also derive a (...) classical-particle version of the Higgs mechanism. (shrink)

How many senses can a given name have, with its reference held fixed? One, more than one? One answer that most would agree to is that sense is unique for each utterance of a name, that is, that a name can have no more than one sense on any given occasion. But is sense unique in any stronger sense than this? The answer that is typically attributed to Frege is that there is not, that, as Tyler Burge puts it, 1 (...) Frege “treats proper names as having different senses while applying to the same person.” There are a number of possibilities for the locus of this multiplicity of sense; the following remark by Ruth Marcus indicates the possibilities: “the sense of a term is whatever is grasped or understood by a speaker on a particular occasion of use and may vary from occasion to occasion as well as from speaker to speaker.”2 Of the views canvassed by Marcus, we can draw out a more conservative one, and one more extreme. On the more conservative view, Frege is holding that sense may vary from speaker to speaker; on the more extreme view, Frege holds not only this, but that sense may vary from context to context. Endorsements of the two views are not hard to find. For example, typical sorts of endorsement of the conservative view are found in Harold Noonan’s remark that “different senses [are] associated with the name ‘Aris-. (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.