Using H. Whitney's algebra of physical quantities and his definition of a similarity transformation, a family of similar systems (R. L. Causey [3] and [4]) is any maximal collection of subsets of a Cartesian product of dimensions for which every pair of subsets is related by a similarity transformation. We show that such families are characterized by dimensionally invariant laws (in Whitney's sense, [10], not Causey's). Dimensional constants play a crucial role in the formulation of such laws. They (...) are represented as a function g, known as a system measure, from the family into a certain Cartesian product of dimensions and having the property gφ =φ g for every similarity φ . The dimensions involved in g are related to the family by means of certain stability groups of similarities. A one-to-one system measure is a proportional representing function, which plays an analogous role in Causey's theory, but not conversely. The present results simplify and clarify those of Causey. (shrink)

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

A holistic account of the meaning of theoretical terms leads scientific realism into serious troubles. Alternative methods of reference fixing are needed by a realist who wishes to show how reference invariance is possible in spite of meaning variance. This paper argues that the similarity theory of truthlikeness and approximate truth, developed by logicians since the mid 1970s, helps to make precise the idea of charitable theoretical reference. Comparisons to the recent proposals by Kitcher and Psillos are given. (...) This argument helps to undermine the scepticist meta-induction about theories, and thereby to reevaluate Laudan's alleged confutation of scientific realism. (shrink)

The paper considers the "GR-desideratum", that is, the way general relativity implements general covariance, diffeomorphism invariance, and background independence. Two cases are discussed where 5-dimensional generalizations of general relativity run into interpretational troubles when the GR-desideratum is forced upon them. It is shown how the conceptual problems dissolve when such a desideratum is relaxed. In the end, it is suggested that a similar strategy might mitigate some major issues such as the problem of time or the embedding of quantum (...) non-locality into relativistic spacetimes. (shrink)

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)

Tarski defined a way of assigning to each Boolean algebra, B, an invariant inv(B) ∈ In, where In is a set of triples from ℕ, such that two Boolean algebras have the same invariant if and only if they are elementarily equivalent. Moreover, given the invariant of a Boolean algebra, there is a computable procedure that decides its elementary theory. If we restrict our attention to dense Boolean algebras, these invariants determine the algebra up to isomorphism. In this paper we (...) analyze the complexity of the question "Does B have invariant x?" For each x ∈ In we define a complexity class Γx that could be either Σⁿ, Πⁿ, Σⁿ ∧ Πⁿ, or Πω+1 depending on x, and we prove that the set of indices for computable Boolean algebras with invariant x is complete for the class Γx. Analogs of many of these results for computably enumerable Boolean algebras were proven in earlier works by Selivanov. In a more recent work, he showed that similar methods can be used to obtain the results for computable ones. Our methods are quite different and give new results as well. As the algebras we construct to witness hardness are all dense, we establish new similar results for the complexity of various isomorphism problems for dense Boolean algebras. (shrink)

We show that in an o-minimal expansion of an ordered group finite definable extensions of a definable group which is defined in a reduct are already defined in the reduct. A similar result is proved for finite topological extensions of definable groups defined in o-minimal expansions of the ordered set of real numbers.

This article argues that the much-maligned ‘notational variants’ of a given formal linguistic theory play a role similar to alternative numerical measurement scales. Thus, they can be used to identify the invariant components of the grammar; i.e., those features that do not depend on the choice of empirically equivalent representation. Treating these elements as the ‘meaningful’ structure of language has numerous consequences for the philosophy of science and linguistics. I offer several such examples of how linguistic theorizing can profit from (...) adopting a measurement-theoretic viewpoint. The first concerns a measurement-theoretic response to a famous criticism of Quine's. Others follow from issues of simplicity in the current biolinguistics program. An unexpected similarity with behaviorist practices is also uncovered. I then argue that managable and useful steps can be taken in this area. (shrink)

Humans are capable of extracting recurring patterns from their environment via statistical learning (SL), an ability thought to play an important role in language learning and learning more generally. While much work has examined statistical learning in infants and adults, less work has looked at the developmental trajectory of SL during childhood to see whether it is fully developed in infancy or improves with age, like many other cognitive abilities. A recent study showed modality‐based differences in the effect of age (...) during childhood: While visual SL improved with age, auditory SL did not. This finding was taken as evidence for modality‐based differences in SL. However, since that study used auditory linguistic stimuli (syllables), the differential effect of age may have been driven by stimulus type (linguistic vs. non‐linguistic) rather than modality. Here, we ask whether age will affect performance similarly in the two modalities when non‐linguistic auditory stimuli are used (familiar sounds instead of syllables). We conduct a large‐scale study of children's performance on visual and non‐linguistic auditory SL during childhood (ages 5–12 years). The results show a similar effect of age in both modalities: Unlike previous findings, both visual and non‐linguistic auditory SL improved with age. These findings highlight the stimuli‐sensitive nature of SL and suggest that modality‐based differences may be stimuli‐dependent, and that age‐invariance may be limited to linguistic stimuli. (shrink)

Although Maxwell theory is O(3,1)-covariant, electrodynamics only transforms invariantly between Lorentz frames for special forms of the field, and the generator of Lorentz transformations is not generally conserved. Bérard, Grandati, Lages, and Mohrbach have studied the O(3) subgroup, for which they found an extension of the rotation generator that satisfies the canonical angular momentum algebra in the presence of certain Maxwell fields, and is conserved by the classical motion. The extended generator depends on the field strength, but not the potential, (...) and so is manifestly gauge invariant. The conditions imposed on the Maxwell field by the algebra lead to a Dirac monopole solution.In this paper, we study the generalization of the Bérard, Grandati, Lages and Mohrbach construction to the full Lorentz group in N dimensions. The requirements can be maximally satisfied in a three-dimensional subspace of the full Minkowski space; this subspace can be chosen to describe either an O(3)-invariant space sector, or an O(2,1)-invariant restriction of spacetime. The field solution reduces to the Dirac monopole found in the nonrelativistic case when the O(3)-invariant subspace is selected. When an O(2,1)-invariant subspace is chosen, the field strength can be associated with a Coulomb-like potential of the type A μ(x) = n μ/ρ, where ρ = (x μ x μ)1/2, similar to that used by Horwitz and Arshansky to obtain a covariant generalization of the hydrogen-like bound state. In the presence of these fields, which are determined entirely by symmetry considerations, without reference to a source equation, the extended generator is conserved under classical relativistic system evolution. (shrink)

Visual objects can be represented by their similarities to a small number of reference shapes or prototypes. This method yields low-dimensional (and therefore computationally tractable) representations, which support both the recognition of familiar shapes and the categorization of novel ones. In this note, we show how such representations can be used in a variety of tasks involving novel objects: viewpoint-invariant recognition, recovery of a canonical view, estimation of pose, and prediction of an arbitrary view. The unifying principle in all these (...) cases is the representation of the view space of the novel object as an interpolation of the view spaces of the reference shapes. (shrink)

The purpose of this paper is to review relativistic quantum theories with an invariant evolution parameter. Parametrized relativistic quantum theories (PRQT) have appeared under such names as constraint Hamiltonian dynamics, four-space formalism, indefinite mass, micrononcausal quantum theory, parametrized path integral formalism, relativistic dynamics, Schwinger proper time method, stochastic interpretation of quantum mechanics and stochastic quantization. The review focuses on the fundamental concepts underlying the theories. Similarities as well as differences are highlighted, and an extensive bibliography is provided.

It is shown to be consistent with set theory that every set of reals of size ℵ1 is null yet there are ℵ1 planes in Euclidean 3-space whose union is not null. Similar results will be obtained for other geometric objects. The proof relies on results from harmonic analysis about the boundedness of certain harmonic functions and a measure theoretic pigeonhole principle.

The main models of scientific explanation assume the need for some kind of stable knowledge for assembling a good explanatory argument. While these approaches are useful in the natural sciences, it is doubtful that they are similarly applicable in the socioeconomic realm. In this paper it is expected to show that the logic of socioeconomic processes of being "possibility trees" or "open-ended results" makes regularities the exception rather than the rule. Alternatively, a mode of explanation that focuses on contextual factors (...) and people actions is proposed. Los principales modelos de explicación científica asumen la necesidad de utilizar algún tipo de conocimiento estable para el armado de un buen argumento explicativo. Si bien estos enfoques son muy útiles en las ciencias naturales, es dudoso que sean similarmente aplicables en el reino de lo socioeconómico. En el presente trabajo se prevé mostrar que la lógica de los “árboles de posibilidades” o “resultados de final abierto” propias de los procesos socioeconómicos hace que las regularidades sean más la excepción que la regla. Como alternativa, se propone un modo de explicación que focalice en los factores contextuales y en las acciones de las personas en el momento en que aconteció el fenómeno a explicar. (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)

Adequate measurement is an essential component of the assessment of mental health disorders and symptoms such as depression and anxiety. The present study investigated sex-specific differences in the Patient Health Questionnaire-9 and Generalized Anxiety Disorder-7. This comprehensive cross-sectional design study pursued four objectives: measurement invariance of PHQ-9 and GAD-7 between male and female; depression and anxiety prevalence differences; cross-sex differences in the relationship between depression and anxiety; and a comparison of symptom heterogeneity. A sample of 1966 students from South (...) Africa completed the PHQ-9 and the GAD-7. Data analyses for measurement invariance, latent class analysis, inter-variable correlations and group comparisons were conducted in Mplus. The two-dimensional PHQ-9 achieved scalar invariance, while the GAD-7 yielded metric invariance. The somatic and non-somatic latent dimensions of depression were compared and showed no significant difference between male and female groups. The positive relationship between depression and anxiety was also not significantly different between the two groups. While the PHQ-9 symptoms formed three classes in the male group, and four classes in the female group, the GAD-7 had the same number of classes and a similar pattern between the two groups. These findings hold implications for the measurement, assessment and understanding of symptom manifestation and distribution, as well as the treatment of depression and anxiety in South Africa. (shrink)

A completely Lorentz-invariant Bohmian model has been proposed recently for the case of a system of non-interacting spinless particles, obeying Klein-Gordon equations. It is based on a multi-temporal formalism and on the idea of treating the squared norm of the wave function as a space-time probability density. The particle’s configurations evolve in space-time in terms of a parameter σ with dimensions of time. In this work this model is further analyzed and extended to the case of an interaction with an (...) external electromagnetic field. The physical meaning of σ is explored. Two special situations are studied in depth: (1) the classical limit, where the Einsteinian Mechanics of Special Relativity is recovered and the parameter σ is shown to tend to the particle’s proper time; and (2) the non-relativistic limit, where it is obtained a model very similar to the usual non-relativistic Bohmian Mechanics but with the time of the frame of reference replaced by σ as the dynamical temporal parameter. (shrink)

Filling out long questionnaires can be frustrating, unpleasant, and discouraging for respondents to continue. This is why shorter forms of long instruments are preferred, especially when they have comparable reliability and validity. In present study, two short forms of the Cross-cultural Personality Assessment Inventory were developed and validated. The items of the short forms were all selected from the 28 personality scales of the CPAI-2 based on the norm sample. Based on some priori criteria, we obtained the appropriate items and (...) constructed the 56-item Chinese Personality Assessment Inventory and the 28-item CPAI. Then, we examined the factor structure of both short forms with Exploratory SEM and replicated the four-factor structure of the original CPAI-2, reflecting the four personality domains of Chinese people, namely, Social Potency, Dependability, Accommodation, and Interpersonal Relatedness. Further analyses with ESEM models demonstrate full measurement invariance across gender for both short forms. The results show that females score lower than males on Social Potency. In addition, these four factors of both short forms have adequate internal consistency, and the correlation patterns of the four factors, the big five personality traits, and several health-related variables are extremely similar across the two short forms, reflecting adequate and comparable criterion validity, convergent validity, and discriminant validity. Overall, the short versions of CPAI-2 are psychometrically acceptable and have practically implications for measuring Chinese personality and cross-cultural research. (shrink)

Despite the burgeoning research in recent years on what is called analogical reasoning and transfer, the problem of how similarity or invariant relations are fundamentally accessed is typically either unrecognized, or ignored in componential and computational analyses. The access problematic is not a new one, being outlined by the paradox found in Plato’s Meno. In order to understand the analogical-access problematic, it is suggested that the concepts of analogical relations including the lexical concept metaphor, isomorphic relation in mathematics, homology (...) in biology, stimulus generalization in psychology, transfer of learning in education, and transposition phenomena in perception, be reconceptualized as subsets of a higher-order domain as all share the problem of how invariance relations are generated and accessed. A solution is suggested based on two specific evolutionary and neurological models, coupled with findings regarding the cognitive importance of knowledge-base. The paper constitutes a reciprocal complementarity analysis of a previous paper on metaphor. A higher-order form of analogical reasoning called analogical progression is introduced. Implications for research are discussed that indicate the need for a paradigm shift. The paper concludes with a four-stage model of analogical access. (shrink)

Being building block of data sciences, link prediction plays a vital role in revealing the hidden mechanisms that lead the networking dynamics. Since many techniques depending in vertex similarity and edge features were put forward to rule out many well-known link prediction challenges, many problems are still there just because of unique formulation characteristics of sparse networks. In this study, we applied some graph transformations and several inequalities to determine the greatest value of first and second Zagreb invariant, S (...) K and S K 1 invariants, for acyclic connected structures of given order, diameter, and pendant vertices. Also, we determined the corresponding extremal acyclic connected structures for these topological indices and provide an ordering giving a sequence of acyclic connected structures having these indices from greatest in decreasing order. (shrink)

This essay calls for an independent theory of features in object-oriented philosophy. Theories of features are in general motivated by at least two interconnected demands: 1) to explain why objects have the characteristics they have, 2) to explain how regular divisions in those characteristics can be intuited. While a theory of universal properties may be the most internally consistent means of addressing these demands, an object-oriented metaphysics needs to address them without a concept of shared features. This means that regular (...) divisions of invariant features and our intuitions of them cannot be explained by the repetition of self-same characteristics or natural laws. They can instead be explained by the immanent repetition of similar features. However, this requires a new, radically aesthetic understanding of what it means to be similar in the first place, one in which similarity is an emergent process rather than a state of affairs existing between resembling particulars. (shrink)

There were in the past, just as there are in the present, several diverse attempts to establish a unique theory capable of identifying in all natural languages a similar, invariable basic structure of a logical nature. If such a theory exists, then there must be principles that rule the functioning of these languages and they must have a logical origin. Based on a work by the French linguist, Oswald Ducrot, entitled D’un mauvais usage de la logique, this paper aims to (...) present in a concise manner two of the above mentioned attempts. They were elaborated in diverse epochs and different arguments were put forward to support them. The first attempt was in XVII century France and its theoretic basis was the renowned ‘Port-Royal Logic’. The second attempt is recent and its theoretic support comes from Contemporary Logic. (shrink)

In this article, Arnon explores the link between implicit learning, statistical learning and language development. She focuses on two central themes, namely the issue of age invariance and the question of variation in learning outcomes. Arnon suggests that the two literatures are studying a fundamentally similar phenomenon and argues in favor of a closer alignment. However, she also raises important methodological concerns.

There were in the past, just as there are in the present, several diverse attempts to establish a unique theory capable of identifying in all natural languages a similar, invariable basic structure of a logical nature. If such a theory exists, then there must be principles that rule the functioning of these languages and they must have a logical origin. Based on a work by the French linguist, Oswald Ducrot, entitled D’un mauvais usage de la logique , this paper aims (...) to present in a concise manner two of the above mentioned attempts. They were elaborated in diverse epochs and different arguments were put forward to support them. The first attempt was in XVII century France and its theoretic basis was the renowned ‘Port-Royal Logic’. The second attempt is recent and its theoretic support comes from Contemporary Logic. DOI: 10.5007/1808-1711.2011v15n1p111. (shrink)

In this paper I investigate, within the framework of realistic interpretations of the wave function in nonrelativistic quantum mechanics, the mathematical and physical nature of the wave function. I argue against the view that mathematically the wave function is a two-component scalar field on configuration space. First, I review how this view makes quantum mechanics non- Galilei invariant and yields the wrong classical limit. Moreover, I argue that interpreting the wave function as a ray, in agreement many physicists, Galilei (...) class='Hi'>invariance is preserved. In addition, I discuss how the wave function behaves more similarly to a gauge potential than to a field. Finally I show how this favors a nomological rather than an ontological view of the wave function. (shrink)

This is an interesting book in many ways. But, it is not a study of creativity in American philosophy. It is more accurate to call it a labyrinth through which Charles Hartshorne’s view of creativity finally emerges. It is a sketch of how Hartshorne reacted to those in the philosophical tradition to whom he was exposed and, more specifically, what he found worthwhile or enduring, from his perspective, in their philosophical outlooks. There is more candor and objectivity to his approach (...) than one finds in Bertrand Russell’s history of Western philosophy, but the purpose served by the exploration is similar. Invariably there are omissions and distortions. (shrink)

The Gratitude Questionnaire-Six Item Form (GQ-6; McCullough et al., 2002) is a well-established instrument for measuring gratitude. Recently, the Multi-Component Gratitude Measure (MCGM) was developed as a more holistic approach (Morgan et al., 2017). While the GQ-6 mainly focuses on the emotional component of gratitude, the MCGM encompasses conceptual, attitudinal and behavioral aspects. As of today, there is no validated German measure for gratitude. In order to close that research gap, the present study focused on validating the German versions of (...) the GQ-6 (GQ-6-G) and of the MCGM (MCGM-G). In addition, multi-group comparisons were conducted to test for cultural measurement invariance. Construct validity was tested similar to original validation studies of the two scales focusing on affect, well-being, empathy, anxiety and depression. The online survey was completed in random order by 508 participants. The one-factor model of the GQ-6-G and the hierarchical structure of the MCGM-G could be replicated. However, model fit of the Gratitude Questionnaire was significantly better after eliminating one item (GQ-5-G). Multi-group comparisons revealed cultural measurement invariance was established for the GQ-5-G and partial measurement invariance for five of six factors of the MCGM-G, respectively. Reliability analyses revealed good internal consistency for both instruments and measures for criterion-related and discriminant validity have shown hypothesized relationships. Thus, the GQ-5-G and the MCGM-G are two instruments with good reliability and validity for measuring gratitude in Germany. (shrink)

A generalized and unifying viewpoint to both general relativity and quantum mechanics and information is investigated. It may be described as a generaliztion of the concept of reference frame from mechanics to thermodynamics, or from a reference frame linked to an element of a system, and thus, within it, to another reference frame linked to the whole of the system or to any of other similar systems, and thus, out of it. Furthermore, the former is the viewpoint of general relativity, (...) the latter is that of quantum mechanics and information. Ciclicity in the manner of Nicolas Cusanus (Nicolas of Cusa) is complemented as a fundamental and definitive property of any totality, e.g. physically, that of the universe. It has to contain its externality within it somehow being namely the totality. This implies a seemingly paradoxical (in fact, only to common sense rather logically and mathematically) viewpoint for the universe to be repesented within it as each one quant of action according to the fundamental Planck constant. That approach implies the unification of gravity and entanglement correspondiing to the former or latter class of reference frames. An invariance, more general than Einstein's general covariance is to be involved as to both classes of reference frames unifying them. Its essence is the unification of the discrete and cotnitinuous (smooth). That idea underlies implicitly quantum mechanics for Bohr's principle that it study the system of quantum microscopic entities and the macroscopic apparatus desribed uniformly by the smmoth equations of classical physics. (shrink)

Tsui and Weymark (Economic Theory, 1997) have shown that the only continuous social welfare orderings on the whole Euclidean space which satisfy the weak Pareto principle and are invariant to individual-specific similarity transformations of utilities are strongly dictatorial. Their proof relies on functional equation arguments which are quite complex. This note provides a simpler proof of their theorem.

For a complete first order theory of Boolean algebras T which has nonisomorphic countable models, we determine the first limit ordinal α = α(T) such that We show that for some and for all other T‘s, A nonprincipal ideal I of B is almost principal, if a is a principal ideal of B} is a maximal ideal of B. We show that the theory of Boolean algebras with an almost principal ideal has complete extensions and characterize them by invariants similar (...) to the Tarski’s invariants. (shrink)

The paper discusses the origin of dark matter and dark energy from the concepts of time and the totality in the final analysis. Though both seem to be rather philosophical, nonetheless they are postulated axiomatically and interpreted physically, and the corresponding philosophical transcendentalism serves heuristically. The exposition of the article means to outline the “forest for the trees”, however, in an absolutely rigorous mathematical way, which to be explicated in detail in a future paper. The “two deductions” are two successive (...) stage of a single conclusion mentioned above. The concept of “transcendental invariance” meaning ontologically and physically interpreting the mathematical equivalence of the axiom of choice and the well-ordering “theorem” is utilized again. Then, time arrow is a corollary from that transcendental invariance, and in turn, it implies quantum information conservation as the Noether correlate of the linear “increase of time” after time arrow. Quantum information conservation implies a few fundamental corollaries such as the “conservation of energy conservation” in quantum mechanics from reasons quite different from those in classical mechanics and physics as well as the “absence of hidden variables” (versus Einstein’s conjecture) in it. However, the paper is concentrated only into the inference of another corollary from quantum information conservation, namely, dark matter and dark energy being due to entanglement, and thus and in the final analysis, to the conservation of quantum information, however observed experimentally only on the “cognitive screen” of “Mach’s principle” in Einstein’s general relativity. therefore excluding any other source of gravitational field than mass and gravity. Then, if quantum information by itself would generate a certain nonzero gravitational field, it will be depicted on the same screen as certain masses and energies distributed in space-time, and most presumably, observable as those dark energy and dark matter predominating in the universe as about 96% of its energy and matter quite unexpectedly for physics and the scientific worldview nowadays. Besides on the cognitive screen of general relativity, entanglement is available necessarily on still one “cognitive screen” (namely, that of quantum mechanics), being furthermore “flat”. Most probably, that projection is confinement, a mysterious and ad hoc added interaction along with the fundamental tree ones of the Standard model being even inconsistent to them conceptually, as far as it need differ the local space from the global space being definable only as a relation between them (similar to entanglement). So, entanglement is able to link the gravity of general relativity to the confinement of the Standard model as its projections of the “cognitive screens” of those two fundamental physical theories. (shrink)

The remarkable successes of the physical sciences have been built on highly general quantitative laws, which serve as the basis for understanding an enormous variety of specific physical systems. How far is it possible to construct universal principles in the cognitive sciences, in terms of which specific aspects of perception, memory, or decision making might be modelled? Following Shepard (e.g.,1987), it is argued that some universal principles may be attainable in cognitive science. Here, 2 examples are proposed: the simplicity principle (...) (which states that the cognitive system prefers patterns that provide simpler explanations of available data); and the scale‐invariance principle, which states that many cognitive phenomena are independent of the scale of relevant underlying physical variables, such as time, space, luminance, or sound pressure. This article illustrates how principles may be combined to explain specific cognitive processes by using these principles to derive SIMPLE, a formal model of memory for serial order (Brown, Neath, & Chater, 2007), and briefly mentions some extensions to models of identification and categorization. This article also considers the scope and limitations of universal laws in cognitive science. (shrink)

We criticise Shepard's notions of “invariance” and “universality,” and the incorporation of Shepard's work on inference into the general framework of his paper. We then criticise Tenenbaum and Griffiths' account of Shepard (1987b), including the attributed likelihood function, and the assumption of “weak sampling.” Finally, we endorse Barlow's suggestion that minimum message length (MML) theory has useful things to say about the Bayesian inference problems discussed by Shepard and Tenenbaum and Griffiths. [Barlow; Shepard; Tenenbaum & Griffiths].

Shepard’s (1987) universal law of generalisation (ULG) illustrates that an invariant gradient of generalisation across species and across stimuli conditions can be obtained by mapping the probability of a generalisation response onto the representations of similarity between individual stimuli. Tenenbaum and Griffiths (2001) Bayesian account of generalisation expands ULG towards generalisation from multiple examples. Though the Bayesian model starts from Shepard’s account it refrains from any commitment to the notion of psychological similarity to explain categorisation. This chapter presents (...) the conceptual spaces theory (Gärdenfors 2000, 2014) as a mediator between Shepard’s and Tenenbaum & Griffiths’ conflicting views on the role of psychological similarity for a successful model of categorisation. It suggests that the conceptual spaces theory can help to improve the Bayesian model while finding an explanatory role for psychological similarity. (shrink)

We investigate the relative probabilistic support afforded by the combination of two analogies based on possibly different, structural similarity (as opposed to e.g. shared predicates) within the context of Pure Inductive Logic and under the assumption of Language Invariance. We show that whilst repeated analogies grounded on the same structural similarity only strengthen the probabilistic support this need not be the case when combining analogies based on different structural similarities. That is, two analogies may provide less support (...) than each would individually. (shrink)

With the help of syncretiсs as a new philosophical logic, the philosophy of carriers, the theory of similarity and the theory of Infinite Hierarchical Nesting of Matter, the problems of modern physics are analyzed. We consider the classical and relativistic mechanics, the special and general theories of relativity, the theory of electromagnetic and gravitational fields, of weak and strong interactions. The goal is axiomatization of these theories, building models of elementary particles and of their interactions with each other. The (...) main obtained results are: description of the electrokinetic theory of the origin of magnetic fields in cosmic bodies; calculation of metric in the uniformly accelerated reference frame; the axiomatic construction of electrodynamics, Lorentz invariant (LITG) and covariant theories of gravitation (CTG); comparing CTG with the general theory of relativity and with the results of gravitational experiments. Among other results – the analysis of the properties of ether as the medium responsible for transfer of electromagnetic and gravitational waves, and derivation of the formula for entropy in a tensor form. For students and researchers, as well as for those interested in physical and philosophical problems. (shrink)

This essay aims to provide a modal logic for rational intuition. Similarly to treatments of the property of knowledge in epistemic logic, I argue that rational intuition can be codified by a modal operator governed by the modal $\mu$-calculus. Via correspondence results between fixed point modal propositional logic and the bisimulation-invariant fragment of monadic second-order logic, a precise translation can then be provided between the notion of 'intuition-of', i.e., the cognitive phenomenal properties of thoughts, and the modal operators regimenting the (...) notion of 'intuition-that'. I argue that intuition-that can further be shown to entrain conceptual elucidation, by way of figuring as a dynamic-interpretational modality which induces the reinterpretation of both domains of quantification and the intensions and hyperintensions of mathematical concepts that are formalizable in monadic first- and second-order formal languages. Hyperintensionality is countenanced via a topic-sensitive epistemic two-dimensional truthmaker semantics. (shrink)

This paper explores the similarities between the conceptual structure of quantum theory and relational biology as developed within the Rashevsky-Rosen-Louie school of theoretical biology. With this aim, generalized quantum theory and the abstract formalism of (M,R)-systems are briefly presented. In particular, the notion of organizational invariance and relational identity are formalized mathematically and a particular example is given. Several quantum-like attributes of Rosen’s complex systems such as complementarity and nonseparability are discussed. Taken together, this work emphasizes the possible role (...) of self-referentiality and impredicativity in quantum theory. (shrink)

The chapter explores the similarities between the human mind and the patterns of the parable which are vital to daily thought, action, and reasoning. Spatial stories involving actors and bodily action are projected onto stories involving spatial and nonspatial events and actions with and without actors to support the book's basic premise. The parable is able to expand the range of a simple action story by projecting this onto unfamiliar or complex event stories through patterns such as events are actions, (...) and this is illustrated with a passage from Homer's Odyssey. Events are then shown to possess internal structures based on image schemas, enabling humans to process and understand them. A section is also devoted to the discussion of “the invariance principle”, which states that projections are not arbitrary and avoid image-schematic clashes in the target. Excerpts from Robert Browning's “Porphyria's Lover” and Euripides' Alcestis are used to illustrate this principle. (shrink)

We find symmetry attractive. It interests us. Symmetry is often an indicator of the deep structure of things, whether they be natural phenomena, or the creations of artists. For example, the most fundamental conservation laws of physics are all based in symmetry. Similarly, the symmetries found in religious art throughout the world are intended to draw attention to deep spiritual truths. Not only do we find symmetry pleasing, but its discovery is often also surprising and illuminating as well. For these (...) reasons, we are inclined to think that symmetries are informative, and that symmetries contain information. On the other hand, symmetries represent a kind of invariance under transformation. Such invariance implies that symmetrical things contain redundancies. Redundancy, in turn, implies that the information content of a symmetrical structure or configuration is less than that of a similar nonsymmetrical structure. Symmetry, then, entails a reduction in information content. These considerations present us with somewhat of a paradox: On the one hand, many symmetries that we find in the world are surprising, and surprise indicates informativeness. On the other hand, the surprise value of information arises because it presents us with the unexpected or improbable, but symmetries, far from creating the unexpected, ensure that the known can be extended through invariant transformations. How can this paradox be resolved? (shrink)

In his analysis of “the essential tension between tradition and innovation” Thomas S. Kuhn focused on the apparent paradox that, on the one hand, normal research is a highly convergent activity based upon a settled consensus, but, on the other hand, the ultimate effect of this tradition-bound work has invariably been to change the tradition. Kuhn argued that, on the one hand, without the possibility of divergent thought, fundamental innovation would be precluded. On the other hand, without a strong emphasis (...) on convergent thought, science would become a mess created by continuous theory changes and scientific progress would again be precluded. On Kuhn’s view, both convergent and divergent thought are therefore equally necessary for the progress of science. In this paper, I shall argue that a similar fundamental tension exists between the demands we see for novel insights of an interdisciplinary nature and the need for established intellectual doctrines founded in the classical disciplines. First, I shall revisit Kuhn’s analysis of the essential tension between tradition and innovation. Next, I shall argue that the tension inherent in interdisciplinary research between, on the one hand, intellectual independence and critical scrutiny and, on the other hand, epistemic dependence and trust is a complement to Kuhn’s essential tension within mono-disciplinary science between convergent and divergent thought. (shrink)

Several authors have made claims about the compatibility between the Free Energy Principle and theories of autopoiesis and enaction. Many see these theories as natural partners or as making similar statements about the nature of biological and cognitive systems. We critically examine these claims and identify a series of misreadings and misinterpretations of key enactive concepts. In particular, we notice a tendency to disregard the operational definition of autopoiesis and the distinction between a system’s structure and its organization. Other misreadings (...) concern the conflation of processes of self-distinction in operationally closed systems and Markov blankets. Deeper theoretical tensions underlie some of these misinterpretations. FEP assumes systems that reach a non-equilibrium steady state and are enveloped by a Markov blanket. We argue that these assumptions contradict the historicity of sense-making that is explicit in the enactive approach. Enactive concepts such as adaptivity and agency are defined in terms of the modulation of parameters and constraints of the agent-environment coupling, which entail the possibility of changes in variable and parameter sets, constraints, and in the dynamical laws affecting the system. This allows enaction to address the path-dependent diversity of human bodies and minds. We argue that these ideas are incompatible with the time invariance of non-equilibrium steady states assumed by the FEP. In addition, the enactive perspective foregrounds the enabling and constitutive roles played by the world in sense-making, agency, development. We argue that this view of transactional and constitutive relations between organisms and environments is a challenge to the FEP. Once we move beyond superficial similarities, identify misreadings, and examine the theoretical commitments of the two approaches, we reach the conclusion that far from being easily integrated, the FEP, as it stands formulated today, is in tension with the theories of autopoiesis and enaction. (shrink)

This article develops an analogy proposed by Stachel between general relativity (GR) and quantum mechanics (QM) as regards permutation invariance. Our main idea is to overcome Pooley's criticism of the analogy by appeal to paraparticles. In GR, the equations are (the solution space is) invariant under diffeomorphisms permuting spacetime points. Similarly, in QM the equations are invariant under particle permutations. Stachel argued that this feature—a theory's ‘not caring which point, or particle, is which’—supported a structuralist ontology. Pooley criticizes this (...) analogy: in QM the (anti-)symmetrization of fermions and bosons implies that each individual state (solution) is fixed by each permutation, while in GR a diffeomorphism yields in general a distinct, albeit isomorphic, solution. We define various versions of structuralism, and go on to formulate Stachel's and Pooley's positions, admittedly in our own terms. We then reply to Pooley. Though he is right about fermions and bosons, QM equally allows more general types of particle symmetry, in which states (vectors, rays, or density operators) are not fixed by all permutations (called ‘paraparticle states’). Thus Stachel's analogy is revived. (shrink)

We demonstrate that the quantum-mechanical description of composite physical systems of an arbitrary number of similar fermions in all their admissible states, mixed or pure, for all finite-dimensional Hilbert spaces, is not in conflict with Leibniz's Principle of the Identity of Indiscernibles (PII). We discern the fermions by means of physically meaningful, permutation-invariant categorical relations, i.e. relations independent of the quantum-mechanical probabilities. If, indeed, probabilistic relations are permitted as well, we argue that similar bosons can also be discerned in all (...) their admissible states; but their categorical discernibility turns out to be a state-dependent matter. In all demonstrated cases of discernibility, the fermions and the bosons are discerned (i) with only minimal assumptions on the interpretation of quantum mechanics; (ii) without appealing to metaphysical notions, such as Scotusian haecceitas, Lockean substrata, Postian transcendental individuality or Adamsian primitive thisness; and (iii) without revising the general framework of classical elementary predicate logic and standard set theory, thus without revising standard mathematics. This confutes: (a) the currently dominant view that, provided (i) and (ii), the quantum-mechanical description of such composite physical systems always conflicts with PII; and (b) that if PII can be saved at all, the only way to do it is by adopting one or other of the thick metaphysical notions mentioned above. Among the most general and influential arguments for the currently dominant view are those due to Schrodinger, Margenau, Cortes, Dalla Chiara, Di Francia, Redhead, French, Teller, Butterfield, Giuntini, Mittelstaedt, Castellani, Krause and Huggett. We review them succinctly and critically as well as related arguments by van Fraassen and Massimi. (shrink)

Starting with Popper, social theorists across the board have acknowledged that traditions serve socially valuable functions. However, while traditions are usually understood as ‘living’ entities that come in overlapping varieties and evolve over time, the socially valuable functions attributed to tradition tend to presuppose invariability in ways of thinking and acting. Addressing this tension, this article provides a detailed analysis of the concept of tradition, and directs special attention to conceivable criteria for the authentic continuation of a tradition. It is (...) argued that the ways of thinking and acting that constitute the material of a tradition must – among faithful members of that tradition – stand in a relation of equivalence – not identity or similarity. The implications of this account concern our ability to decide (normatively) conflicts over authenticity among rival tradition branches as well as the role that traditions play in policy-making. (shrink)