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

It is well-known that the conformal structure of a relativistic spacetime is of profound physical and conceptual interest. In this note, we consider the analogous structure for Newtonian theories. We show that the Newtonian Weyl tensor is an invariant of this structure.

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

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)

It is tempting to think that a process of choosing a point at random from the surface of a sphere can be probabilistically symmetric, in the sense that any two regions of the sphere which differ by a rotation are equally likely to include the chosen point. Isaacs, Hájek, and Hawthorne (2022) argue from such symmetry principles and the mathematical paradoxes of measure to the existence of imprecise chances and the rationality of imprecise credences. Williamson (2007) has argued from a (...) related symmetry principle to the failure of probabilistic regularity. We contend that these arguments fail, because they rely on auxiliary assumptions about probability which are inconsistent with symmetry to begin with. We argue, moreover, that symmetry should be rejected in light of this inconsistency, and because it has implausible decision- theoretic implications. -/- The weaker principle of probabilistic invariance says that the probabilistic comparison of any two regions is unchanged by rotations of the sphere. This principle supports a more compelling argument for imprecise probability. We show, however, that invariance is incompatible with mundane judgments about what is probable. Ultimately, we find reason to be suspicious of the application of principles like symmetry and invariance to nonmeasurable regions. (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)

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.

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

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

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)

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)

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.

This paper explores the relation between natural modality and our modelling practices. It will be argued that some modelling practices such as abstraction and idealization should be understood as presupposing empirical claims about objective modal features of the behavior of target systems. To establish the connection between natural modality on the one hand and modelling practices on the other an analysis of natural modality in terms of empirically accessible invariance relations will be provided.

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)

Let E be an analytic equivalence relation on a Polish space. We introduce a framework for studying the possible “reasonable” complete classifications and the complexity of possible classifying invariants for E, such that: (1) the standard results and intuitions regarding classifications by countable structures are preserved in this framework; (2) this framework respects Borel reducibility; and (3) this framework allows for a precise study of the possible invariants of certain equivalence relations which are not classifiable by countable structures, such as (...) E1. In this framework we show that E1 can be classified, with classifying invariants which are κ-sequences of E0-classes where κ=b, and it cannot be classified in such a manner if κ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.

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

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)

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)

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)

Causal assessment is the problem of establishing whether a relation between (variable) X and (variable) Y is causal. This problem, to be sure, is widespread across the sciences. According to accredited positions in the philosophy of causality and in social science methodology, invariance under intervention provides the most reliable test to decide whether X causes Y. This account of invariance (under intervention) has been criticised, among other reasons, because it makes manipulations on the putative causal factor fundamental for (...) the causal methodology; consequently, the argument goes, the account is ill-suited to those contexts where manipulations are not performed, for instance, the social sciences. The article aims to extend the account of invariance (under intervention), in a way that manipulations on the putative causal factors are not methodologically fundamental, and yet invariance remains key for causal assessment both in experimental and non-experimental contexts. (shrink)

A metric space (X, d) is monotone if there is a linear order < on X and a constant c such that d(x, y) ≤ c d(x, z) for all x < y < z in X. We investigate cardinal invariants of the σ-ideal Mon generated by monotone subsets of the plane. Since there is a strong connection between monotone sets in the plane and porous subsets of the line, plane and the Cantor set, cardinal invariants of these ideals are (...) also investigated. In particular, we show that non(Mon) ≥ ������ σ-linked , but non(Mon) < ������ σ-centered is consistent. Also cov(Mon) < c and cof(������) < cov(Mon) are consistent. (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)

Revision sequences are a kind of transfinite sequences which were introduced by Herzberger and Gupta in 1982 as the main mathematical tool for developing their respective revision theories of truth. We generalise revision sequences to the notion of cofinally invariant sequences, showing that several known facts about Herzberger’s and Gupta’s theories also hold for this more abstract kind of sequences and providing new and more informative proofs of the old results.

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)

Summary By introducing the concept of “invariants”, Koffka endowed perceptual psychology with a flexible theoretical tool, which is suitable for representing vision situations in which a definite part of the stimulus pattern is relevant but not sufficient to determine a corresponding part of the perceived scene. He characterised his “invariance principle” as a principle conclusively breaking free from the “old constancy hypothesis”, which rigidly surmised point-to-point relations between stimulus and perceptual properties. In this paper, we explain the basic terms (...) and assumptions implicit in Koffka’s concept, by representing them in a set-theoretic framework. Then, we highlight various aspects and implications of the concept in terms of answers to six separate questions: forms of invariants, heuristic paths to them, what is invariant in an invariant, roots of conditional indeterminacy, variability vs. indeterminacy, and overcoming of the indeterminacy. Lastly, we illustrate the lasting value and theoretical power of the concept, by showing that Koffka’s insights relating to it do occur in modern perceptual psychology and by highlighting its role in a model of perceptual transparency. (shrink)

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)

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.

We show the existence of Lorentz invariant Berry phases generated, in the Stueckelberg–Horwitz–Piron manifestly covariant quantum theory (SHP), by a perturbed four dimensional harmonic oscillator. These phases are associated with a fractional perturbation of the azimuthal symmetry of the oscillator. They are computed numerically by using time independent perturbation theory and the definition of the Berry phase generalized to the framework of SHP relativistic quantum theory.

The home environment is a particularly significant part of life that is supposed to satisfy inhabitants’ needs, form their identity, and contribute to psychological wellbeing. The construct of home attachment is especially relevant for students as a most mobile social group. This study is devoted to the validation of the Short Home Attachment Scale in a student sample from five countries. A total of 1,349 university students participated in the study and filled in the 14 items of HAS. In order (...) to avoid redundant items with high error covariances damaging the model, a new scale—the SHAS was developed by eliminating seven items. The shortened scale has satisfactory structure validity in terms of model fit in all countries except Indonesia; internal reliability values were acceptable in all countries. Measurement invariance across countries was tested with Multi-Group Confirmatory Factor Analysis and Alignment Analysis. MG CFA confirmed both configurational and metric invariance. The invariance of item factor loadings, as well as item intercepts, was also confirmed by the Alignment Analysis. The mean scores varied across cultures, with the highest in India and the lowest in Russia. The final version of SHAS is a valid, reliable tool that may be recommended for use in cross-cultural research. However, the SHAS factor structure robustness in the Indonesian population should be investigated thoroughly. (shrink)

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

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)

Einstein's conform-invariant light metrics g'ik=(WiklmWiklm)1/2 glk imply a Machian cosmology and exclude conformally flat space-times.

We give examples of (i) a simple theory with a formula (with parameters) which does not fork over [Formula: see text] but has [Formula: see text]-measure 0 for every automorphism invariant Keisler measure [Formula: see text] and (ii) a definable group [Formula: see text] in a simple theory such that [Formula: see text] is not definably amenable, i.e. there is no translation invariant Keisler measure on [Formula: see text]. We also discuss paradoxical decompositions both in the setting of discrete groups (...) and of definable groups, and prove some positive results about small theories, including the definable amenability of definable groups. (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)

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)

We show that ZF + DC + “all Turing invariant sets of reals have the perfect set property” implies that all sets of reals have the perfect set property. We also show that this result generalizes to all countable analytic equivalence relations.

We consider successor-invariant first-order logic (FO + succ)inv, consisting of sentences Φ involving an “auxiliary” binary relation S such that (.

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 show how a recently introduced retarded version of the Bohm Model evades the Hardy proof that hidden-variable models must violate Lorentz Invariance. We also discuss a possible test of such models.

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)