The paper presents two case studies of multi-agent information exchange involving generalized quantifiers. We focus on scenarios in which agents successfully converge to knowledge on the basis of the information about the knowledge of others, so-called Muddy Children puzzle and Top Hat puzzle. We investigate the relationship between certain invariance properties of quantifiers and the successful convergence to knowledge in such situations. We generalize the scenarios to account for public announcements with arbitrary quantifiers. We show that the Muddy (...) Children puzzle is solvable for any number of agents if and only if the quantifier in the announcement is positively active (satisfies a version of the variety condition). In order to get the characterization result, we propose a new concise logical modeling of the puzzle based on the number triangle representation of generalized quantifiers. In a similar vein, we also study the Top Hat puzzle. We observe that in this case an announcement needs to satisfy stronger conditions in order to guarantee solvability. Hence, we introduce a new property, called bounded thickness, and show that the solvability of the Top Hat puzzle for arbitrary number of agents is equivalent to the announcement being 1-thick. (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 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 address the classification of the possible finitely-additive probability measures on the Boolean algebra of definable subsets of M which are invariant under the natural action of $\operatorname{Aut}(M)$ . This pursuit requires a generalization of Shelah's forking formulas [8] to "essentially measure zero" sets and an application of Myer's "rank diagram" [5] of the Boolean algebra under consideration. The classification is completed for a large class of ℵ 0 -categorical structures without the independence property including those which are stable.

The prevalence of overweight and obesity in young adults has increased dramatically in recent decades. The unhealthy eating habits that develop at this time can often lead to negative health consequences in the future. It is therefore important to learn about self-regulation and self-control strategies and help young adults to have healthy eating behaviours. This study aims to present an Italian version of the Tempest Self-Regulation Questionnaire for Eating adapted for young adults. The instrument assesses self-regulation and self-control strategies to (...) counteract the desire and temptation to eat unhealthy food and to choose healthy foods. A total of 645 students took part in the study. The results of the confirmatory factor analysis supported the six first-order factors model concerning specific self-regulation strategies and a higher-order structure of the TESQ-E [χ2 = 336.480, p < 0.001; CFI = 0.95; RMSEA = 0.04; SRMR = 0.04]: three correlated second-order factors and one-third-order factor. The results also confirmed the strong measurement invariance of the TESQ-E across gender. To have reliable comparisons across males and females, the latent mean differences tests were performed on the six specific self-regulation strategies. The analysis showed that females appear to prefer strategies that directly address the goal by expressing explicit intentions or plans to eat in a healthy way. Convergence validity was tested through correlations with Eating-Self-Efficacy Brief Scale, Emotional Eating Scale, Scale of Attitudes towards Healthy Eating, and Body Mass Index. In conclusion, the TESQ-E appears to be a psychometrically sound questionnaire that can be effectively used with young adults to measure self-regulation strategies in eating in order to plan personalised interventions for the prevention and control of the metabolic syndrome, and to reduce a wide range of diet-related diseases. (shrink)

The Resilience Scale for Adolescents is a highly rated scale for measuring protective factors of resilience. Even though the READ has been validated in several different cultural samples, no studies have validated the READ across samples in German from Switzerland and Germany. The purpose of this study was to explore the construct validity of the German READ version in two samples from two different countries and to test the measurement invariance between those two samples. A German sample and a (...) German-speaking Swiss sample of seventh graders completed the READ, Hopkins Symptom Checklist, Rosenberg Self-Esteem Scale, General Self-Efficacy Scale, and Satisfaction with Life Scale. The expected negative correlations between READ and HSCL-25 and the positive correlations between RSE, self-efficacy, and SWL were supported. Furthermore, the results of the measurement invariance demonstrated that the originally proposed five-dimensional structure is equal in the German and Swiss samples, and it can be assumed that the same construct was assessed by excluding one item. The five-factor, 27-item solution is a valid and reliable self-report measure of protective factors between two German-speaking samples. (shrink)

The Stress Mindset Measure consists of eight items to assess whether individuals hold a stress-is-enhancing or a stress-is-debilitating mindset. The current research is a cross-sectional study and aimed to investigate the factor structure, internal consistency reliability, and construct and convergent validity of the Farsi version of the Stress Mindset Measure. Prior to conducting the study, forward and backward translations of the SMM were performed. Using the convenience sampling method, we recruited 400 none-clinical sample. We utilized SPSS version 24, Amos, and (...) Mplus 7.1 software to analyze the data. Results revealed satisfactory reliability and validity indexes for the Farsi version of the Stress Mindset Measure. The internal consistency of the Farsi version of the Stress Mindset Measure was in the excellent range. The results of the confirmatory factorial analysis revealed two factors of the Stress Mindset Measure instead of the single factor suggested by the previous studies. Moreover, we found that the stress-is-debilitating mindset is positively associated with stress, depression, and anxiety. However, this mindset has been found to have no significant relationship with cognitive strategies of emotion regulation and life satisfaction. Also, findings showed no significant correlation between the stress-is-enhancing mindsets and the other variables. The results of this study suggest that the Farsi SMM has proper psychometric properties to assess stress mindsets. (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)

The paper discusses the invariance view of reality: a view inspired by the relativity and quantum theory. It is an attempt to show that both versions of Structural Realism (epistemological and ontological) are already embedded in the invariance view but in each case the invariance view introduces important modifications. From the invariance view we naturally arrive at a consideration of symmetries and structures. It is often claimed that there is a strong connection between invariance and (...) reality, established by symmetries. The invariance view seems to render frame-invariant properties real, while frame-specific properties are illusory. But on a perspectival, yet observer-free view of frame-specific realities they too must be regarded as real although supervenient on frame-invariant realities. Invariance and perspectivalism are thus two faces of symmetries. Symmetries also elucidate structures. Because of this recognition, the invariance view is more comprehensive than Structural Realism. Referring to broken symmetries and coherence considerations, the paper concludes that at least some symmetries are ontological, not just epistemological constraints. (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)

An early, very preliminary edition of this book was circulated in 1962 under the title Set-theoretical Structures in Science. There are many reasons for maintaining that such structures play a role in the philosophy of science. Perhaps the best is that they provide the right setting for investigating problems of representation and invariance in any systematic part of science, past or present. Examples are easy to cite. Sophisticated analysis of the nature of representation in perception is to be found (...) already in Plato and Aristotle. One of the great intellectual triumphs of the nineteenth century was the mechanical explanation of such familiar concepts as temperature and pressure by their representation in terms of the motion of particles. A more disturbing change of viewpoint was the realization at the beginning of the twentieth century that the separate invariant properties of space and time must be replaced by the space-time invariants of Einstein's special relativity. Another example, the focus of the longest chapter in this book, is controversy extending over several centuries on the proper representation of probability. The six major positions on this question are critically examined. Topics covered in other chapters include an unusually detailed treatment of theoretical and experimental work on visual space, the two senses of invariance represented by weak and strong reversibility of causal processes, and the representation of hidden variables in quantum mechanics. The final chapter concentrates on different kinds of representations of language, concluding with some empirical results on brain-wave representations of words and sentences. (shrink)

By focusing on players’ relative contributions, we study some properties for values in positive cooperative games with transferable utilities. The well-known properties of symmetry (also known as “equal treatment of equals”) and marginality are based on players’ marginal contributions to coalitions. Both Myerson’s balanced contributions property and its generalization of the balanced cycle contributions property (Kamijo and Kongo Int J of Game Theory 39:563–571, 2010; BCC) are based on players’ marginal contributions to other players. We define relative versions (...) of marginality and BCC by replacing marginal contributions with relative contributions, and examine efficient values satisfying each of the two properties. On the class of positive games, a relative variation of marginality is incompatible with efficiency, and together with efficiency and the invariance property with respect to the payoffs of players under a player deletion, a relative variation of BCC characterizes the proportional value and egalitarian value in a unified manner. (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)

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)

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. (shrink)

Let be a countable ℵ0‐homogeneous structure. The primary motivation of this work is to study different amenability properties of (subgroups of) the automorphism group of ; the secondary motivation is to study the existence of weakly generic automorphisms of. Among others, we present sufficient conditions implying the existence of automorphism invariant probability measures on certain subsets of A and of ; we also present sufficient conditions implying that the theory of is amenable. More concretely, we show that if the (...) set of locally finite automorphisms of is dense (in particular, if has weakly generic tuples of automorphisms of arbitrary finite length), then there exists a finitely additive probability measure μ on the subsets of definable with parameters such that μ is invariant under. Moreover, if is saturated and the set of its locally finite automorphisms is dense (in particular, if is saturated and has weak generics), then the theory of is amenable. (shrink)

A certain class of geometric objects is considered against the background of a classical gauge field associated with an arbitrary structural Lie group. It is assumed that the components of these objects depend on the gauge potentials and their first derivatives, and also on certain gauge-dependent parameters whose properties are suggested by the interaction of an isotopic spin particle with a classical Yang-Mills field. It is shown that the necessary and sufficient conditions for the invariance of the given (...) objects under a finite gauge transformation are embodied in a set of three relations involving the derivatives of their components. As a special case these so-called invariance identities indicate that there cannot exist a gauge-invariant Lagrangian that depends on the gauge potentials, the interaction parameters, and the4-velocity components of a test particle. However, the requirement that the equations of motion that result from such a Lagrangian be gauge-invariant, uniquely determines the structure of these equations. (shrink)

Purpose: According to literature, students' attitudes towards peers with disabilities are crucial for the social inclusion of students with disabilities.Therefore, knowledge about students' behavioral intention to interact with peers with intellectual disability can help improve the social inclusion of students with ID. This study aimed to examine the psychometric properties of the Arabic version of the Behavioral Intention to Interact with Peers with Intellectual Disability Scale.Data were collected from 887 elementary school students (591 female and 296 male) from third (...) to sixth grades in Saudi Arabia.Psychometric properties of the BIS were examined with a confirmatory factor analysis, measurement invariance analysis (across gender), and reliability scales (internal consistency).The results supported the two-dimensional structure of the BIS. The internal consistency of the BIS and each of its subscales was good.Furthermore, no measurement variance was found for male and female students.The Arabic version of the scale showed good psychometric properties and therefore can be recommended to measure students' behavioral intention to interact with peers with intellectual disability. (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)

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)

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)

In this paper we attempt to discuss what has Kochen-Specker theorem to say about physical invariance and quantum individuality. In particular, we will discuss the impossibility of making reference to objective physical properties within the orthodox formalism of quantum mechanics. Through an analysis of the meaning of physical invariance and quantum contextuality we will derive a Corollary to KS theorem that proves that a vector in Hilbert space cannot be interpreted coherently as an object possessing physical (...) class='Hi'>properties. As a consequence, the notion of quantum object can be only defined in terms of nomological properties. We conclude the paper by analyzing the consequences of this Corollary to KS theorem for the ongoing debate about quantum individuality. (shrink)

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)

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 study aimed to verify the psychometric properties of the Polish version of the Grit-S questionnaire. Grit is understood here as the perseverance and passion for long-term goals, and it encompasses two dimensions: Consistency of Interest and Perseverance of Effort. The sample comprised N = 270 participants aged 18-34. We performed confirmatory factor analyses to verify the dimensional structure of grit, multi-group confirmatory factor analysis to compare the structure across gender, and correlation analysis to examine external validity. Findings showed (...) satisfactory parameters for Grit-S including: reliability, structural and external validity, and measurement invariance across gender groups. The results support the possibility of using the Grit-S questionnaire in research exploring the predictors of success. (shrink)

The paper examines the invariance principles proposed by the analytical and phenomenological traditions for demarcating the boundaries of formal and regional ontologies. The principle of invariance with respect to isomorphic transformations, generalizing Alfred Tarski’s criterion for logical concepts, is extended to formal ontology as the theory of manifolds in its phenomenological interpretation. Isomorphism types, which are abstract individuals of the highest order, hypostases of forms of all possible ontologies, are considered as model-theoretical analogs of manifolds. The correlativity of (...) the phenomenological principles of demarcation of ontological regions and the criterion of invariance with respect to isomorphic transformations is demonstrated, leading to the convergence of logic and formal mathematics in both traditions and, at the same time, to the exclusion of geometry from formal ontology. Particular attention is paid to the discussion of the analytical and phenomenological traditions of the synthetic (material) a priori and the contribution that Wittgenstein’s doctrine on internal relations at different stages of its evolution makes to this discussion. The paper reveals the basis for later Wittgenstein’s criticism of his earlier project of creating a phenomenological language for expressing internal regional relations (such as the colours exclusion). The paper shows how Wittgenstein’s doubts about the possibility of an ideal notation based on the dichotomy of the logical and phenomenological led him to the study of invariants arising in language games. These invariants are not determined by the special properties of the categorical objects of formal ontology or the structures of regional subject matter, but are stable equilibria generated by the “consensus of actions.” New perspectives are outlined that are opened for logic and phenomenology by switching focus from the invariants of ontological structures to the invariants of structured interactions of various agents. (shrink)

All the typical global quantum mechanical observables are complex relative phases obtained by interference phenomena. They are described by means of some global geometric phase factor, which is thought of as the “memory” of a quantum system undergoing a “cyclic evolution” after coming back to its original physical state. The origin of a geometric phase factor can be traced to the local phase invariance of the transition probability assignment in quantum mechanics. Beyond this invariance, transition probabilities also remain (...) invariant under the operation of complex conjugation. Most important, geometric phase factors distinguish between unitary and antiunitary transformations in terms of complex conjugation. These two types of invariance functions as an anchor point to investigate the role of loops and based loops in the state space of a quantum system as well as their links and interrelations. We show that arbitrary transition probabilities can be calculated using projective invariants of loops in the space of rays. The case of the double slit experiment serves as a model for this purpose. We also represent the action of one-parameter unitary groups in terms of oppositely oriented-based loops at a fixed ray. In this context, we explain the relation among observables, local Boolean frames of projectors, and one-parameter unitary groups. Next, we exploit the non-commutative group structure of oriented-based loops in 3-d space and demonstrate that it carries the topological semantics of a Borromean link. Finally, we prove that there exists a representation of this group structure in terms of one-parameter unitary groups that realizes the topological linking properties of the Borromean link. (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)

Objective: The main purpose of this study was the psychometric assessment of Jacelon’s Attributed Dignity Scale among Iranian older population. Methods: Using a standard “forward-backward” translation procedure, the original English version of Jacelon’s Attributed Dignity Scale was translated into Persian. Internal consistency of the scale was checked by the Cronbach’s α coefficient. Convergent validity of the instrument was appraised by the Social Skills Scale and General Health Questionnaire. Factor structure of the Iranian version of Jacelon’s Attributed Dignity Scale and possible (...) interplay between its subscales were checked through recruiting a convenient sample of 300 Iranian older people and performing the confirmatory factor analysis. Findings: The estimated Cronbach’s α and intraclass correlation coefficients for the Iranian version of Jacelon’s Attributed Dignity Scale were in the vicinity of acceptable range, that is, 0.87 and 0.93, respectively. The output of confirmatory factor analysis revealed that a four-factor model best fitted the study data (χ2 = 323.49; df = 129; p < 0.001; comparative fit index = 0.913; Tucker–Lewis index = 0.901; root mean square error approximation = 0.074; standardized root mean square residual = 0.078). Rasch estimates of item difficulty ranged from –1.28 (less difficult) to 1.33 (more difficult). No significant cross-gender differences were observed regarding the Iranian version of Jacelon’s Attributed Dignity Scale’s items indicating its invariant psychometric properties for use in the Iranian men and women subgroups. Ethical Considertaion: This study was approved by the Ethics Committee at the Tabriz university of medical science. Informed consent, information confidentiality, and voluntary participation were guaranteed. Conclusion: The study findings were indicative of applicability of the Iranian version of Jacelon’s Attributed Dignity Scale as a reliable tool in measurement of the perceived social dignity among Iranian and probably other Persian-speaking older populations. (shrink)

§1. Introduction.The motivation of this work comes from two different directions: infinite abelian groups, and ordered algebraic structures. A challenging problem in both cases is that of classification. In the first case, it is known for example (cf. [KA]) that the classification of abelian torsion groups amounts to that of reducedp-groups by numerical invariants called theUlm invariants(given by Ulm in [U]). Ulm's theorem was later generalized by P. Hill to the class of totally projective groups. As to the second case, (...) let us consider for instance the class of divisible ordered abelian groups. These may be viewed as ordered ℚ-vector spaces. Their theory being unstable, we cannot hope to classify them by numerical invariants. On the other hand, being o-minimal, the theory enjoys several good model theoretic properties (cf. [P-S]), so the search for some reasonable invariants is well motivated. The common denominator of the two cases, as well as of many others, is valuation theory. Indeed given an ordered vector space, one can consider it as a valued vector space, endowed with the natural valuation. Also, the socleG[p] of a reduced abelianp-groupG, endowed with the height functionhG, is a valued vector space over(the prime field of characteristicp) with values in the ordinals (cf. [F]). (shrink)

This paper addresses the simultaneous attitude and position tracking of a target spacecraft in the presence of general unknown bounded disturbances in the framework of dual quaternions, which provides a concise and integrated description of the coupled rotational and translational motions. By virtue of the newly introduced dual direction cosine matrix, the dimension of the dual quaternion-based relative motion dynamics written in vector/matrix form can be lowered to six. Treating the disturbances as unknown parameters, a modular adaptive pose tracking control (...) scheme composed of two separately designed parts is then derived. One part is the adaptive disturbance estimator designed based on the immersion and invariance theory. Driven by the disturbance estimation errors, it can realize exponential convergence of the estimations and has the nice “parameter lock” property, which can hardly be expected in the conventional certainty equivalent adaptive controllers. The other part is a proportional-derivative-like pose tracking controller where the estimated disturbances are directly used. The closed-loop stability of the relative motion system under different kinds of disturbances is proven by Lyapunov stability analysis. Simulations and comparisons with two previous dual quaternion-based controllers demonstrate the novel features and performance improvements of the proposed control scheme. (shrink)

From the comparison of time in inertial frames, possible types of transformations between inertial frames are deduced. This elementary deduction directly relates the properties of time with the type of transformations. When all inertial frames measure the same time (time is absolute), the transformations are Galilean. When each inertial frame has its own time, different from the times of other inertial frames (time is not invariant) the transformations are Lorentz-like with the same positive parameter k. The parameter k is (...) the supremum of possible velocities in an inertial frame, the same for all inertial frames. Einstein's postulate about the invariance of the speed of light says more: there is a uniform motion with the supremum k, which is exactly the motion of light in a vacuum. At the end of the article, attempts to reduce the special theory of relativity to the principle of relativity are criticized. (shrink)

A universal property of visual word identification is position-invariant letter identification, such that the letter is coded in the same way in CAT and ACT. This should provide a fundamental constraint on theories of word identification, and, indeed, it inspired some of the theories that Frost has criticized. I show how the spatial coding scheme of Colin Davis can, in principle, account for contrasting transposed letter priming effects, and at the same time, position-invariant letter identification.

This paper examines some possibilities for the laws of nature changing over time. This is done within the context of recent literature on transformational emergence. Transformational emergence is a diachronic account of emergence that does not require the invariance of fundamental objects, properties, and laws. The requirement that no new laws are introduced after the first instance of the universe seems to indicate that all the laws of the universe are present from the outset. By using a dispositional (...) approach to fundamental properties, this restriction can be avoided. An argument appealing to quantitative laws of nature is then used to show that such laws are not, contrary to dispositional essentialism, metaphysically necessary. Further arguments are given to support the possibility of change of laws across time rather than across worlds and why the identity conditions for properties are different in the two cases. The paper is framed by an analysis of John Stuart Mill’s reasons for imposing the invariance requirement on fundamental laws. (shrink)

Background: The Self-Regulation of Eating Behavior Questionnaire is an economical way of assessing an individual's self-regulatory abilities regarding eating behavior. Such scales are needed in the German population; therefore, the purpose of the present study was the translation and validation of a German version of the SREBQ.Method: First, we conducted a pilot study after the translation procedure. Second, we assessed the final scale in a representative sample of the German population and its underlying factor structure. Further, we tested for measurement (...) invariance and evaluated the SREBQ's associations with related scales to explore convergent and discriminant validity. Finally, we considered differences in SREBQ based on sociodemographic variables and provided derived reference scores.Results: Factor analysis revealed deficiencies in the original model. Thus, we shortened the scale based on statistical considerations and the adapted version showed improved fit in Confirmatory Factor Analysis and reliability. We also found evidence for partial strict invariance, which means the measure is equivalent for the tested groups of age and gender. Item and scale psychometric properties of the shortened version were satisfactory. In terms of diagnostic validity, it was shown that individuals with higher body mass index have worse self-regulation of eating behavior than those with lower.Conclusion: In sum, the SREBQ evidenced good validity and reliability and is suitable for application in medical, psychological, and nutritional research. (shrink)

Carnap's early system of inductive logic make degrees of confirmation depend on the languages in which they are expressed. They are sensitive to which predicates are, in the language, taken as primitive. Hence they fail to be ‘linguistically invariant’. His later systems, in which prior probabilities are assigned to elements of a model rather than sentences of a language, are sensitive to which properties in the model are called primitive. Critics have often protested against these features of his work. (...) This paper shows how to make his systems independent of any choice of primitive predicates or primitive properties.The solution is related to another criticism of inductive logic. It has been noticed that Carnap's systems are too all-embracing. Hisc(h, e) is defined for all sentencesh ande. Yet for manyh ande, the evidencee does not warrant any assessment of the probability ofh. We need an inductive logic in whichc(h, e) is defined only whene really does bear onh. This paper sketches the measure theory of such a logic, and, within this measure theory, provides ‘relativized’ versions of Carnap's systems which are linguistically invariant. (shrink)

The association between online Flow and Internet Gaming Disorder (IGD) has attracted significant attention. Despite the consensus that online Flow plays a pivotal role in the development of IGD and other Internet addictive behaviours, there has been a lack of consistency in measurement scales used to assess online Flow. Even widely used measures of online Flow have not been psychometrically assessed across culturally diverse populations of gamers. Such an assessment would enhance the accuracy of cross-cultural comparisons regarding the association between (...) online Flow and IGD. Attending to this need, the present study assessed the psychometric properties of the binary coded (i.e. Yes, No) Online Flow Questionnaire (OFQ), while concurrently taking into consideration country, age, language, and mode of data collection (online or face-to-face) differences. Two sequences of successive multiple group confirmatory factor analyses were used to assess the psychometric properties of the OFQ, between: a) emergent adults from the United States of America (N = 482, Mage = 25.23, SD = 2.746) and Australia (N = 168, Mage = 23.55, SD = 3.37) and b) adolescents from Greece (N = 1579, Mage = 16.12, SD =.849) and Cyprus (N = 1372, Mage = 15.54, SD =.656). Configural and partial metric invariance were confirmed between the USA and Australian samples. For the Greek and Cypriot samples, results indicated full configural and metric invariance. These results provide initial information to researchers and clinicians of the extent to which the OFQ maintains its consistency when used across cultures and invite for further cross-cultural studies in the field. Implications, as well as limitations, are discussed. (shrink)

We illustrate a novel conception of linguistic invariant which applies to grammars of different natural languages even though they may use different categories and have difl'erent rules. We illustrate formally how semantically defined notions, such as "is an anaphor" may be invariant in all linguistically motivated grammars, and we show that individual morphemes, such as case markers, may be invariant in grammars that have them in exactly the same sense in which properties, such as "is a Verb Phrase" or (...) relations such as "is a constituent of". (shrink)

The concepts in the title refer to properties of physical theories and this paper investigates their nature and relations. The first three concepts, especially gauge invariance and indeterminism, have been widely discussed in connection to spacetime theories and the hole argument. Since the gauge invariance principle is at the crux of the issue, this paper aims at clarifying the nature of gauge invariance. I first explore the following chain of relations: gauge invariance $\Rightarrow $ the (...) conservation laws $\Rightarrow $ the Cauchy problem $\Rightarrow $ indeterminism. Then I discuss gauge invariance in light of our understanding of the above relations and the possibility of spontaneous symmetry breaking. (shrink)

The philosophy of science of Patrick Suppes is centered on two important notions that are part of the title of his recent book (Suppes 2002): Representation and Invariance. Representation is important because when we embrace a theory we implicitly choose a way to represent the phenomenon we are studying. Invariance is important because, since invariants are the only things that are constant in a theory, in a way they give the “objective” meaning of that theory. Every scientific theory (...) gives a representation of a class of structures and studies the invariant properties holding in that class of structures. In Suppes’ view, the best way to define this class of structures is via axiomatization. This is because a class of structures is given by a definition, and this same definition establishes which are the properties that a single structure must possess in order to belong to the class. These properties correspond to the axioms of a logical theory. In Suppes’ view, the best way to characterize a scientific structure is by giving a representation theorem for its models and singling out the invariants in the structure. Thus, we can say that the philosophy of science of Patrick Suppes consists in the application of the axiomatic method to scientific disciplines. What I want to argue in this paper is that this application of the axiomatic method is also at the basis of a new approach that is being increasingly applied to the study of computer science and information systems, namely the approach of formal ontologies. The main task of an ontology is that of making explicit the conceptual structure underlying a certain domain. By “making explicit the conceptual structure” we mean singling out the most basic entities populating the domain and writing axioms expressing the main properties of these primitives and the relations holding among them. So, in both cases, the axiomatization is the main tool used to characterize the object of inquiry, being this object scientific theories (in Suppes’ approach), or information systems (for formal ontologies). In the following section I will present the view of Patrick Suppes on the philosophy of science and the axiomatic method, in section 3 I will survey the theoretical issues underlying the work that is being done in formal ontologies and in section 4 I will draw a comparison of these two approaches and explore similarities and differences between them. (shrink)