This article refines a foundational tenet of rational choice theory known as the principle of description invariance. Attempts to apply this principle to human agents with imperfect knowledge have paid insufficient attention to two aspects: first, agents’ epistemic situations, i.e. whether and when they recognize alternative descriptions of an object to be equivalent; and second, the individuation of objects of description, i.e. whether and when objects count as the same or different. An important consequence is that many (...) apparent ‘framing effects’ may not violate the principle of description invariance, and the subjects of these effects may not be irrational. (shrink)

We discuss the possible breakdown of Lorentz invariance—at distances greater than the Planck length—from both the theoretical and the phenomenological point of view. The theoretical tool to deal with such a problem is provided by a “deformation” of the Minkowski metric, with parameters dependent on the energy of the physical system considered. Such a deformed metric realizes, for any interaction, the “solidarity principle” between interactions and spacetime geometry (usually assumed for gravitation), according to which the peculiar features of every (...) interaction determine—locally—its own spacetinie structure. The generalized theory of relativity, based on the locally deformed Minkowski spacetime, is called “deformed special relativity” (DSR). In the first part of the paper, we give the foundations and the basic laws of DSR. In the second part, we analyze some experimental data, which admit an interpretation in terms of the DSR formalism and are, therefore, candidates for displaying a breakdown of the Lorentz symmetry. They are (i) the superluminal propagation of evanescent electromagnetic waves in waveguides, (ii) the meanlife of the KS 0, (iii) the Bose-Einstein correlation in pion production and (iv) the comparison of clock rates in the gravitational field of Earth. Such analysis provides us with the explicit forms of the related deformed metrics as functions of the energy, thus putting in evidence, in all four cases (and therefore for all four fundamental interactions), departures from the usual Minkowski metric. This preliminary evidence for a broken Lorentz invariance may be regarded as the signature of possible nonlocal effects involved in the processes examined. Moreover, the corresponding deformed metrics obtained by our analysis provide an effective dynamical description of the interactions (at least in the energy range considered). (shrink)

It is known that an epsilon-invariant sentence has a first-order reformulation, although it is not in an explicit form, since, the proof uses the non-constructive interpolation theorem. We make an attempt to describe the explicit meaning of sentences containing epsilon-terms, adopting the strong assumption of their first-order reformulability. We will prove that, if a monadic predicate is syntactically independent from an epsilon-term and if the sentence obtained by substituting the variable of the predicate with the epsilon-term is epsilon-invariant, then the (...) sentence has an explicit first-order reformulation. Finally, we point out that the formula gives a contextual-quantificational meaning for the indefinite descriptions, provided that one accepts Kneebone’s read of epsilon-terms. (shrink)

This paper, like its companion explores some ways in which, on the one hand, normative theorizing about causation and causal reasoning and, on the other, empirical psychological investigations into causal cognition can be mutually illuminating. The topics considered include the connection between causal claims and claims about the outcomes of interventions and the various ways that invariance claims figure in causal judgment.

We generalize two concepts from special cases of Polish group actions to the general case. The two concepts are elementary embeddability, from model theory, and analytic sets, from the usual descriptive set theory.

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)

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

For the probabilistic description of all the joint von Neumann measurements on a D-dimensional quantum system, we present the specific example of a context-invariant quasi hidden variable model, proved in Loubenets to exist for each Hilbert space. In this model, a quantum observable X is represented by a variety of random variables satisfying the functional condition required in quantum foundations but, in contrast to a contextual model, each of these random variables equivalently models X under all joint von Neumann (...) measurements, regardless of their contexts. This, in particular, implies the specific local qHV model for an N-qudit state and allows us to derive the new exact upper bound on the maximal violation of 2\2-setting Bell-type inequalities of any type under N-partite joint von Neumann measurements on an N-qudit state. For d = 2, this new upper bound coincides with the maximal violation by an N-qubit state of the Mermin–Klyshko inequality. Based on our results, we discuss the conceptual and mathematical advantages of context-invariant and local qHV modelling. (shrink)

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

Humphreys and Forde conceptualize object representations as structural descriptions, without discussing the implications of structural description models. We argue that structural description models entail two major assumptions – a part-structure assumption and an invariance assumption. The invariance assumption is highly problematic because it contradicts a large body of findings which indicate that recognition performance depends on orientation and size. We will delineate relevant findings and outline an alternative conception.

A Lagrangian formulation is constructed for particle interpretations of quantum mechanics, a well-known example of such an interpretation being the Bohm model. The advantages of such a description are that the equations for particle motion, field evolution and conservation laws can all be deduced from a single Lagrangian density expression. The formalism presented is Lorentz invariant. This paper follows on from a previous one which was limited to the single-particle case. The present paper treats the more general case of (...) many particles in an entangled state. It is found that describing more than one particle while maintaining a relativistic description requires the specification of final boundary conditions as well as the usual initial ones, with the experimenter’s controllable choice of the final conditions thereby exerting a backwards-in-time influence. This retrocausality then allows an important theoretical step forward to be made, namely that it becomes possible to dispense with the usual, many-dimensional description in configuration space and instead revert to a description in space–time using separate, single-particle wavefunctions. (shrink)

We study model theory of actions of finite groups on substructures of a stable structure. We give an abstract description of existentially closed actions as above in terms of invariants and PAC structures. We show that if the corresponding PAC property is first order, then the theory of such actions has a model companion. Then, we analyze some particular theories of interest (mostly various theories of fields of positive characteristic) and show that in all the cases considered the PAC (...) property is first order. (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)

We show that if κ is a weakly compact cardinal then the embeddability relation on trees of size κ is invariantly universal. This means that for every analytic quasi-order R on the generalized Cantor space View the MathML source there is an Lκ+κ-sentence φ such that the embeddability relation on its models of size κ, which are all trees, is Borel bi-reducible to R. In particular, this implies that the relation of embeddability on trees of size κ is complete for (...) analytic quasi-orders on View the MathML source. These facts generalize analogous results for κ=ω obtained in Louveau and Rosendal [17] and Friedman and Motto Ros [6], and it also partially extends a result from Baumgartner [3] concerning the structure of the embeddability relation on linear orders of size κ. (shrink)

We show that recurrence conditions do not yield invariant Borel probability measures in the descriptive set-theoretic milieu, in the strong sense that if a Borel action of a locally compact Polish group on a standard Borel space satisfies such a condition but does not have an orbit supporting an invariant Borel probability measure, then there is an invariant Borel set on which the action satisfies the condition but does not have an invariant Borel probability measure.

Abstract In this paper an algebraic method is presented to derive a 4 × 4 Hermitian Schrödinger equation from with and . The latter operator replacement is a common procedure in a quantum description of the total energy. In the derivation we don’t make use of Dirac’s method of four vectors. Moreover, the root operator isn’t squared either. Instead, use is made of the algebra of operators to derive a Hermitian matrix Schrödinger equation. We believe that new physics can (...) be obtained from an alternative quantization of the relativistic total energy. Note e.g. the pion physics behind the Klein–Gordon equation and the antimatter behind the Dirac quantization of the total relativistic energy. In this paper, for the sake of clarity, a time-only dependence of the electromagnetic potential vector is assumed. It is also demonstrated that a “latent” Lorentz invariance exists related to a derived expression for amplitude and phase. (shrink)

This book approaches classic epistemological problems from a contextualist perspective. The author takes as his point of departure the fact that we are situated beings, more specifically that every single moment in our lives is already given within the framework of a specific context in the midst of which we understand ourselves and what surrounds us. In the process of his investigation, the author explores, in a fresh way, the works of key thinkers in epistemology. These include Bernard Bolzano, René (...) Descartes, Gottlob Frege, Edmund Husserl, Immanuel Kant and Ludwig Wittgenstein, but also contemporary authors such as Stewart Cohen, Keith DeRose, David Lewis, Duncan Pritchard, Ernest Sosa and Charles Travis. Some of the topics covered are attributions of knowledge, the correspondence theory of truth, objectivity and subjectivity, possible worlds, primary and secondary evidence, scepticism, transcendentalism and relativism. The book also introduces a new contextualist thought-experiment for dealing with moral questions. Contextualism has received a great deal of attention in contemporary epistemology. It has the potential to resolve a number of issues that traditional epistemological approaches cannot address. In particular, a contextualist view opens the way to an understanding of those cognitive processes that require situational information to be fully grasped. However, contextualism poses serious difficulties in regard to epistemic invariance. This book offers readers an innovative approach to some fundamental questions in this field. (shrink)

An experiment aimed at detecting a DC voltage across a conductor induced by the steady magnetic field of a coil, carried out in 1998, provided a positive (although preliminary) evidence for such an effect, which might be interpreted as a breakdown of local Lorentz invariance. We repeated in 1999 the same experiment with a different experimental apparatus and a sensitivity improved by two orders of magnitude. The results obtained are discussed here in detail. They confirm the findings of the (...) previous experiment, and show, among the others, that the effect is independent of the direction of the current. A possible interpretation of the results is given in terms of a geometric description of the gravitational and the electromagnetic interactions by means of phenomenological, energy-dependent metrics. (shrink)

Henry Leonard and Karel Lambert first introduced so-called presupposition-free (or just simply: free) logics in the 1950’s in order to provide a logical framework allowing for non-denoting singular terms (be they descriptions or constants) such as “the largest prime” or “Pegasus” (see Leonard [1956] and Lambert [1960]). Of course, ever since Russell’s paradigmatic treatment of definite descriptions (Russell [1905]), philosophers have had a way to deal with such terms. A sentence such as “the..

In 1905 Bertrand Russell took on the problem of definite descriptions, and his analysis became the standard up until 1950 when Peter Strawson criticised Russell’s solution as inadequate. Since then many opponents as well as proponents of the Russellian solution have been involved in a long-term debate on definite descriptions. In this paper I show that both sides of the contention are partly right and partly wrong, because sentences of the form “The F is a G” are ambiguous. However, the (...) ambiguity does not concern reference shift of the description ‘the F’. Rather, the ambiguity consists in different topic-focus articulations of a given sentence involving occurrences of ‘the F’. I demonstrate that when ‘the F’ is used as part of the topic of such a sentence the existence of the object denoted by ‘the F’ is not only entailed by but also presupposed by the sentence. On the other hand, ‘the F’ used in the focus of a sentence triggers merely existential entailment. Thus sentences differing only in their topic-focus articulation should have assigned different logical forms. In order to make such hidden features explicit, I apply the procedural semantics of Transparent Intensional Logic , furnishing sentences with hyperpropositions that are precisely defined in terms of TIL constructions. These are procedures assigned to sentences as their context-invariant structured meanings. Moreover, I generalise the phenomenon of the topic-focus distinction to sentences of any form, proposing an adequate analytic schema of sentences that come with a presupposition. (shrink)

In this paper, we review a general technique for converting the standard Lagrangian description of a classical system into a formulation that puts time on an equal footing with the system's degrees of freedom. We show how the resulting framework anticipates key features of special relativity, including the signature of the Minkowski metric tensor and the special role played by theories that are invariant under a generalized notion of Lorentz transformations. We then use this technique to revisit a classification (...) of classical particle-types that mirrors Wigner's classification of quantum particle-types in terms of irreducible representations of the Poincaré group, including the cases of massive particles, massless particles, and tachyons. Along the way, we see gauge invariance naturally emerge in the context of classical massless particles with nonzero spin, as well as study the massless limit of a massive particle and derive a classical-particle version of the Higgs mechanism. (shrink)

A framework for the mind-matter problem in a holistic universe which has no parts is outlined. The conceptual structure of modern quantum theory suggests to use complementary Boolean descriptions as elements for a more comprehensive non-Boolean description of a world without an a priori mind-matter distinction. Such a description in terms of a locally Boolean but globally non-Boolean structure makes allowance for the fact that Boolean descriptions play a privileged role in science. If we accept the insight that (...) there are no ultimate building blocks, the existence of holistic correlations between contextually chosen parts is a natural consequence. The main problem of a genuinely non-Boolean description is to find an appropriate partition of the universe of discourse. If we adopt the idea that all fundamental laws of physics are invariant under time translations, then we can consider a partition of the world into a tenseless and a tensed domain.In the sense of a regulative principle, the material domain is defined as the tenseless domain with its homogeneous time. The tensed domain contains the mental domain with a tensed time characterized by a privileged position, the Now. Since this partition refers to two complementary descriptions which are not given a priori we have to expect correlations between these two domains. In physics it corresponds to Newton 's separation of universal laws of nature and contingent initial conditions Both descriptions have a non-Boolean structure and can be encompassed into a single non-Boolean description. Tensed and tenseless time can be synchronized by holistic correlations. (shrink)

Proofs have been given that the light-cone approximation can be analyzed in terms of the extended quantum-mechanical description of the space-time measurements by the complex numbers. It is then proved that the so established description is able to support both the asymptotical scale-invariant cross sections and the threshold behavior of the high-energy production processes.

The past few decades have seen an explosion of research on causal reasoning in philosophy, computer science, and statistics, as well as descriptive work in psychology. In Causation with a Human Face, James Woodward integrates these lines of research and argues for an understanding of how each can inform the other: normative ideas can suggest interesting experiments, while descriptive results can suggest important normative concepts. Woodward's overall framework builds on the interventionist treatment of causation that he developed in Making Things (...) Happen. Normative ideas discussed include proposals about the role of invariant or stable relationships in successful causal reasoning and the notion of proportionality. He argues that these normative ideas are reflected in the causal judgments that people actually make as a descriptive matter. Woodward also discusses the common philosophical practice-particularly salient in philosophical accounts of causation--of appealing to intuitions or judgments about cases in support of philosophical theses. He explores how, properly understood, such appeals are not different in principle from appeals to results from empirical research, and demonstrates how they may serve as a useful source of information about causal cognition. (shrink)

The idea that the world is made of particles — little discrete, interacting objects that compose the material bodies of everyday experience — is a durable one. Following the advent of quantum theory, the idea was revised but not abandoned. It remains manifest in the explanatory language of physics, chemistry, and molecular biology. Aside from its durability, there is good reason for the scientific realist to embrace the particle interpretation: such a view can account for the prominent epistemic fact that (...) only limited knowledge of a portion of the material universe is needed in order to make reliable predictions about that portion. Thus, particle interpretations can support an abductive argument from the epistemic facts in favor of a realist reading of physical theory. However, any particle interpretation with this property is untenable. The empirical adequacy of modern particle theories requires adoption of a postulate known as permutation invariance — the claim that interchanging the role of two particles of the same kind in a dynamical state description results in a description of the identical state. It is the central claim of this essay that PI is incompatible with any particle interpretation strong enough to account for the epistemic facts. This incompatibility extends across all physical theories. To frame and motivate the inconsistency argument, I begin by fixing the relevant notion of particle. To single out those accounts of greatest appeal to the realist, I develop the logically weakest particle ontology that entails the epistemic fact that the world is piecewise predictable, an ontology I call ‘minimal atomism’. The entire series of scientific conceptions of the particle, from Newton’s mechanically interacting corpuscles to the ‘centers of force’ in classical field theories, all comport with MA. As long as PI is left out, even quantum mechanics can be viewed this way. To assess the impact of PI on this picture, I present a framework for rigorously connecting interpretations to physical theories. In particular, I represent MA as a set of formal conditions on the models of physical theories, the mathematical structures taken to represent states of the world. I also formulate PI — originally introduced as a postulate of non-relativistic quantum mechanics — in theory independent terms. With all of these pieces in hand, I am then able to present a proof of the inconsistency of PI and MA. In the second part of the essay, I survey responses to the inconsistency result open to the scientific realist. The two most plausible approaches involve abandoning particles in one way or another. The first alternative interpretation considered takes the property bearing objects of the world to be regions of space rather than particles. In this view, the properties once attributed to particles in quantum states are attributed instead to one or more regions of space. PI no longer obtains in this case, at least not as a statement about the permutation symmetry of property bearers. Rather, the new interpretation naturally imposes an analogous constraint on quantum states. The second major approach to evading the inconsistency result is to dispense with objects altogether. This is the recommendation of so-called ‘Ontic Structural Realism’. The central OSR thesis is that structure rather than entities are the basic ontological components of the world. OSR is intended to embrace the ‘miracle’ argument in favor of scientific realism while avoiding the pessimistic meta-induction. I demonstrate that one principal motivation for OSR based on the under-determination of interpretations in QM is actually dissolved by the incompatibility result. At the same time, I suggest reasons to think that OSR fares no better with respect to the pessimistic meta-induction than traditional realism does. Thus, while PI and MA may be incompatible, object ontologies remain the best option for the realist. (shrink)

James Woodward offers a conception of explanation and mechanism in terms of interventionist counterfactuals. Based on a case from ecology, I show that ecologists’ approach to that case satisfies Woodward’s conditions for explanation and mechanism, but his conception does not fully capture what ecologists view as explanatory. The new mechanistic philosophy likewise aims to describe central aspects of mechanisms, but I show that it is not sufficient to account for ecological mechanisms. I argue that in ecology explanation involves identification of (...) invariant and insensitive causal relationships and descriptions of the mechanistic characteristics that make these relations possible. †To contact the author, please write to: Department of Philosophy, University of Dayton, 300 College Park, Dayton, OH 45469‐1546; e‐mail: [email protected]. (shrink)

We describe vacuum as a system of virtual particles, some of which have negative energies. Any system of vacuum particles is a part of a keneme, i.e., of a system of n particles which can, without violating the conservation laws, annihilate in the strict sense of the word (transform into nothing). A keneme is a homogeneous system, i.e., its state is invariant by all transformations of the invariance group. But a homogeneous system is not necessarily a keneme. In the (...) simple case of a spin system, where the invariance group is SU(2), a homogeneous system is a system whose total spin is unpolarized; a keneme is a system whose total spin is zero. The state of a homogeneous system is described by a statistical operator with infinite trace (von Neumann), to which corresponds a characteristic distribution. The characteristic distributions of the homogeneous systems of vacuum are defined and studied. Finally it is shown how this description of vacuum can be used to solve the frame problem posed in paper (I). (shrink)

Jeffrey (1983) proposed a generalization of conditioning as a means of updating probability distributions when new evidence drives no event to certainty. His rule requires the stability of certain conditional probabilities through time. We tested this assumption (“invariance”) from the psychological point of view. In Experiment 1 participants offered probability estimates for events in Jeffrey’s candlelight example. Two further scenarios were investigated in Experiment 2, one in which invariance seems justified, the other in which it does not. Results (...) were in rough conformity to Jeffrey (1983)’s principle. (shrink)

This article surveys the latest research on risky-choice framing effects, focusing on the implications for rational decision-making. An influential program of psychological research suggests that people's judgements and decisions depend on the way in which information is presented, or ‘framed’. In a central choice paradigm, decision-makers seem to adopt different preferences, and different attitudes to risk, depending on whether the options specify the number of people who will be saved or the corresponding number who will die. It is standardly assumed (...) that such responses violate a foundational tenet of rational decision-making, known as the principle of description invariance. We discuss recent theoretical and empirical research that challenges the dominant ‘irrationalist’ narrative. These approaches typically pay close attention to how decision-makers represent decision problems (including their interpretation of numerical quantifiers or predicate choice) and they highlight the need for a more robust characterization of the description invariance principle. We conclude by indicating avenues for future research that could bring us closer to a complete—and potentially rationalizing—explanation of framing effects. (shrink)

The normative principle of description invariance presupposes that rational preferences must be complete. The completeness axiom is normatively dubious, however, and its rejection opens the door to rational framing effects. In this commentary, we suggest that Bermúdez's insightful challenge to the standard normative view of framing can be clarified and extended by situating it within a broader critique of completeness.

Cognitive science is, of course, not really a new discipline, but a recognition of a fundamental set of common concerns shared by the disciplines of psychology, computer science, linguistics, economics, epistemology, and the social sciences generally. All of these disciplines are concerned with information processing systems, and all of them are concerned with systems that are adaptive—that are what they are from being ground between the nether millstone of their physiology or hardware, as the case may be, and the upper (...) millstone of a complex environment in which they exist. Systems that are adaptive may equally well be described as “artificial,” for as environments change, they can be expected to change too, as though they were deliberately designed to fit those environments (as indeed they sometimes are).The task of empirical science is to discover and verify invariants in the phenomena under study. The artificiality of information processing systems creates a subtle problem in defining empirical invariants in such systems. For observed regularities are very likely invariant only within a limited range of variation in their environments, and any accurate statement of the laws of such systems must contain reference to their relativity to environmental features. It is a common experience in experimental psychology, for example, to discover that we are studying sociology—the effects of the past histories of our subjects—when we think we are studying physiology—the effects of properties of the human nervous system. Similarly, business cycle economists are only now becoming aware of the extent to which the parameters of the system they are studying are dependent on the experiences of a population with economic events over the previous generation.In artificial sciences, the descriptive and the normative are never far apart. Thus, in economics, the “principle of rationality” is sometimes asserted as a descriptive invariant, sometimes as advice to decision makers. Similarly, in psychology, the processes of adaptation (learning) have always been a central topic, at one time a topic that dominated the whole field of research. Linguistics, too, has suffered its confusions between descriptive and normative attitudes towards its subject. But we must avoid the error, in studying information processing systems, of thinking that the adaptive processes themselves must be invariant; and we must be prepared to face the complexities of regression in the possibility that they themselves may be subject to improvement and adaptation.It might have been necessary a decade ago to argue for the commonality of the information processes that are employed by such disparate systems as computers and human nervous systems. The evidence for that commonality is now overwhelming, and the remaining questions about the boundaries of cognitive science have more to do with whether there also exist nontrivial commonalities with information processing in genetic systems than with whether men and machines both think. (shrink)

Trolley-like dilemmas are other cases of what Bermúdez refers to as (conscious) quasi-cyclical preferences. In these dilemmas, identical outcomes are obtained through morally non-identical actions. I will argue that morality is the context where descriptive invariance and ecological relevance may be crucially distinguished. Logically irrational moral choices in the short term may promote greater social benefits in the longer term.

A framing effect occurs when an agent's choices are not invariant under changes in the way a decision problem is presented, e.g. changes in the way options are described (violation of description invariance) or preferences are elicited (violation of procedure invariance). Here we identify those rationality violations that underlie framing effects. We attribute to the agent a sequential decision process in which a “target” proposition and several “background” propositions are considered. We suggest that the agent exhibits a (...) framing effect if and only if two conditions are met. First, different presentations of the decision problem lead the agent to consider the propositions in a different order (the empirical condition). Second, different such “decision paths” lead to different decisions on the target proposition (the logical condition). The second condition holds when the agent's initial dispositions on the propositions are “implicitly inconsistent,” which may be caused by violations of “deductive closure.” Our account is consistent with some observations made by psychologists and provides a unified framework for explaining violations of description and procedure invariance. (shrink)

Gauge invariance of a manifestly covariant relativistic quantum theory with evolution according to an invariant time τ implies the existence of five gauge compensation fields, which we shall call pre-Maxwell fields. A Lagrangian which generates the equations of motion for the matter field (coinciding with the Schrödinger type quantum evolution equation) as well as equations, on a five-dimensional manifold, for the gauge fields, is written. It is shown that τ integration of the equations for the pre-Maxwell fields results in (...) the usual Maxwell equations with conserved current source. The analog of the O (3, 1) symmetry of the usual Maxwell theory is found to be O (3, 2) or O (4, 1), depending on the space-time Fourier spectrum of the field. We argue that the structure that is relevant to the description of radiation in interaction with matter evolving in a timelike sense is that of O (3, 2). The noncovariant form of the field equations is given; there are two fields of electric type and one (divergenceless) magnetic type field. The Noether currents are studied, and some remarks are made on second quantization. (shrink)

In this thesis, we study the complexity of some mathematical problems: in particular, those arising in computable analysis and algorithmic learning theory for algebraic structures. Our study is not limited to these two areas: indeed, in both cases, the results we obtain are tightly connected to ideas and tools coming from different areas of mathematical logic, including for example descriptive set theory and reverse mathematics.After giving the necessary preliminaries, we first study the uniform computational strength of the Cantor–Bendixson theorem in (...) the Weihrauch lattice. This work falls into the program connecting reverse mathematics and computable analysis via the framework of Weihrauch reducibility. We concentrate on problems related to perfect subsets of Polish spaces, studying the perfect set theorem, the Cantor–Bendixson theorem, and various problems arising from them. As far as we know, this is the first systematic study of problems at the level of $\mathbf {\Pi }^1_1\mathsf {-CA}_0$ in the Weihrauch lattice. We show that the strength of some of the problems we study depends on the topological properties of the Polish space under consideration, while others have the same strength once the space is rich enough.We continue considering problems related to (induced) subgraphs. We provide results on the (effective) Wadge complexity of sets of graphs, that are also used to determine the Weihrauch degree of certain decision problems. The decision problems we consider are defined for a fixed graph G, and they take as input a graph H, answering whether G is an (induced) subgraph of H: we also consider the opposite problem (i.e., answering whether H is an induced subgraph of G). We conclude this part on (induced) subgraphs considering the Weihrauch degree of “search problems.”These problems are defined for a fixed graph G, and they take as input a graph H such that G is an (induced) subgraph H: the output is a copy of G in H. In both cases, we highlight differences and analogies between the subgraph and the induced subgraph relation.We then move our attention to algorithmic learning theory, and we present the framework we use to study the learnability of families of algebraic structures: here, given a countable family of pairwise nonisomorphic structures $\mathfrak {K}$, a learner receives larger and larger pieces of an arbitrary copy of a structure in $\mathfrak {K}$ and, at each stage, is required to output a conjecture about the isomorphism type of such a structure. We say that $\mathfrak {K}$ is learnable if there exists a learner which eventually stabilizes to a correct guess. The framework was lacking a method for comparing the complexity of nonlearnable families, and so we propose a solution to this problem using tools coming from invariant descriptive set theory. To do so, we first prove that a family of structures is learnable if and only if its learning domain is continuously reducible to the relation $E_0$ of eventual agreement on infinite binary sequences and then, replacing $E_0$ with Borel equivalence relations of higher complexity, we obtain a new hierarchy of learning problems. This leads to the notion of E-learnability, where a family of structures $\mathfrak {K}$ is E-learnable, for a Borel equivalence relation E, if there is a continuous reduction from the isomorphism relation associated with $\mathfrak {K}$ to E. It is then natural to ask how the notion of E-learnability interacts with “classical” learning paradigms.Finally, we study the number of mind changes that a learner needs to learn a given family, both from a topological and a combinatorial point of view, and we consider how the complexity of a learner (in terms of Turing reducibility) affects the number of mind changes for learning a given family.Abstract prepared by Vittorio Cipriani.E-mail: [email protected]: https://air.uniud.it/handle/11390/1252226. (shrink)

Abstract: Laws of computer science are prescriptive in nature but can have descriptive analogs in the physical sciences. Here, we describe a law of conservation of information in network programming, and various laws of computational motion (invariants) for programming in general, along with their pedagogical utility. Invariants specify constraints on objects in abstract computational worlds, so we describe language and data abstraction employed by software developers and compare them to Floridi's concept of levels of abstraction. We also consider Floridi's structural (...) account of reality and its fit for describing abstract computational worlds. Being abstract, such worlds are products of programmers' creative imaginations, so any "laws" in these worlds are easily broken. The worlds of computational objects need laws in the form of self-prescribed invariants, but the suspension of these laws might be creative acts. Bending the rules of abstract reality facilitates algorithm design, as we demonstrate through the example of search trees. (shrink)

This note responds to criticism put forth by Jessica Keiser against a theory of lying as Stalnakerian assertion. According to this account, to lie is to say something one believes to be false and thereby propose that it become common ground. Keiser objects that this view wrongly counts particular kinds of non-literal speech as instances of lying. In particular, Keiser argues that the view invariably counts metaphors and certain uses of definite descriptions as lies. It is argued here that both (...) these claims are false. (shrink)

The Fregean analysis of definite descriptions as referring expressions predicts that copular sentences with definite descriptions in postcopular position are invariably interpreted as identity statements. But as numerous diagnostics show, such sentences are frequently capable of receiving a predicational reading. A uniform Fregean analysis therefore won’t do. Things aren’t that simple, however. I show that descriptions which exhibit the structure [the + N + of + Proper Name] fall into two semantically distinct classes, and that the members of one of (...) these classes of descriptions (those I call “identifying”) pattern with proper names in resisting a predicative reading. I argue that a proposal according to which referring expressions can quite generally undergo a type shift that transforms them into predicates thus fails on grounds of overgeneration. I propose that we can account for the data by instead appealing to two definite determiners: a Fregean determiner ‘the r ’ which forms referring descriptions, and a determiner ‘the p ’ which forms predicative descriptions. I argue that this proposal also correctly predicts that copular sentences with proper names in postcopular position fail to have a predicational reading. I conclude the paper by defending the analysis of names to which I appeal against an alternative view inspired by Burge (J Philos 70(14):425–439, 1973), and suggest a way in which the desired results could be achieved while making do with a single definite article. (shrink)

_Contemporary discussions of self and consciousness have for some time incorporated Hindu-Buddhist dialogue on the existence and nature of self (Ram-Prasad 2012). The ideal of responsibly_ _incorporating this dialogue raises an interpretive dilemma: on the one hand, we should eschew the simplistic picture of a “sterile contest” in which all Hindu schools are committed to the doctrine of the self (ātmavāda) and all Buddhists are invariantly committed to denying its existence (2012: 3). To treat Hindu ātmavādins as monolithically opposed to (...) Buddhist no-self theorists without attending to disagreements within the two camps would be to woefully underrepresent the complexity of the terrain at hand. Yet, we should not forget that what we are dealing with is still a structured debate of some sort. I propose that two Jaina “disambiguation strategies” (Balcerowicz 2017)—the theory of viewpoints (naya-vāda) and the theory of sevenfold predication (syād-vāda), also called the sevenfold formula (__sapta-bha__ṅ__g__ī__)—can together facilitate a re-imaginative reconstruction of Hindu-Buddhist dialogue on the self as something other than a two-sided battle or an arbitrary cluster of views. Following superimposition of the __sapta-bha__ṅ__g__ī__ onto what I temporarily term “the debate,” wherein each figure (bha__ṅ__ga)__ is understood as indexed in part by a specific viewpoint (naya) or a set thereof, we find a dynamic description of an indeterminate phenomenon, embracing affirmation and negation of the “self” (ātman) without antecedent commitment to the substantive existence of the referent of the term. This exercise in working with Jaina tools has implications for broader methodological concerns facing cross-cultural philosophical projects, and bears on how we might fruitfully re-imagine otherwise stymied contemporary debates. _. (shrink)

The quantum mechanical description of the evolution of an unstable system defined initially as a state in a Hilbert space at a given time does not provide a semigroup (exponential) decay, law. The Wigner–Weisskopf survival amplitude, describing reversible quantum transitions, may be dominated by exponential type decay in pole approximation at times not too short or too long, but, in the two channel case, for example, the pole residues are not orthogonal, and the evolution does riot correspond to a (...) semigroup (experiments on the decay of the neutral K-meson system strongly support the semigroup evolution postulated, by Lee, Oehme and Yang, and Yang and Wu). The scattering theory of Lax and Phillips, originally developed for classical wave equations, has been recently extended to the description of the evolution of resonant states in the framework of quantum theory. The resulting evolution law of the unstable system is that of a semigroup, and the resonant state is a well-defined function in the Lax–Phillips Hilbert space. In this paper we apply this theory to a relativistically covariant quantum field theoretical form of the (soluble) Lee model. We construct the translation representations with the help of the wave operators, and show that the resulting Lax–Phillips S-matrix is an inner function (the Lax–Phillips theory is essentially a theory of translation invariant subspaces). In the special case that the S-matrix is a rational inner function, we obtain the resonant state explicitly and analyze its particle (V, N, θ) content. If there is an exponential bound, the general case differs only by a so-called trivial inner factor, which does not change the complex spectrum, but may affect the wave function of the resonant state. (shrink)

Expressives like damn and bastard have, when uttered, an immediate and powerful impact on the context. They are performative, often destructively so. They are revealing of the perspective from which the utterance is made, and they can have a dramatic impact on how current and future utterances are perceived. This, despite the fact that speakers are invariably hard-pressed to articulate what they mean. I develop a general theory of these volatile, indispensable meanings. The theory is built around a class of (...) expressive indices. These determine the expressive setting of the context of interpretation. Expressives morphemes act on that context, actively changing its expressive setting. The theory is multidimensional in the sense that descriptives and expressives are fundamentally different but receive a unified logical treatment. (shrink)

SummaryAfter exposing certain confusions , 1 give a sketch of a non‐metaphysical realism which involves the construction of a world‐O, mainly by means of criteria of invariance and of independence of variables.This world‐O facilitates description of the relationships of sensations among themselves and with actions. It includes the subject objectivized with his subjectivity , which makes it possible to describe without difficulty the relationship between this subject and the world. This realism reconstructs as it were realism from an (...) idealist standpoint, but allows for all the distinctions characteristic of realism: between illusion and reality, between that which represents and that which is represented, etc. Finally, the world‐O is not its own standard: the sensations for which it makes prediction are compared with those that are actually perceived, thus allowing its appropriateness to be verified. (shrink)

Analogue Gravity Phenomenology is a collection of contributions that cover a vast range of areas in physics, ranging from surface wave propagation in fluids to nonlinear optics. The underlying common aspect of all these topics, and hence the main focus and perspective from which they are explained here, is the attempt to develop analogue models for gravitational systems. The original and main motivation of the field is the verification and study of Hawking radiation from a horizon: the enabling feature is (...) the possibility to generate horizons in the laboratory with a wide range of physical systems that involve a flow of one kind or another. The years around 2010 and onwards witnessed a sudden surge of experimental activity in this expanding field of research. However, building an expertise in analogue gravity requires the researcher to be equipped with a rather broad range of knowledge and interests. The aim of this book is to bring the reader up to date with the latest developments and provide the basic background required in order to appreciate the goals, difficulties and success stories in the field of analogue gravity. Each chapter of the book treats a different topic explained in detail by the major experts for each specific discipline. The first chapters give an overview of black hole spacetimes and Hawking radiation before moving on to describe the large variety of analogue spacetimes that have been proposed and are currently under investigation. This introductory part is then followed by an in-depth description of what are currently the three most promising analogue spacetime settings, namely surface waves in flowing fluids, acoustic oscillations in Bose-Einstein condensates and electromagnetic waves in nonlinear optics. Both theory and experimental endeavours are explained in detail. The final chapters refer to other aspects of analogue gravity beyond the study of Hawking radiation, such as Lorentz invariance violations and Brownian motion in curved spacetimes, before concluding with a return to the origins of the field and a description of the available observational evidence for horizons in astrophysical black holes. (shrink)

We study the problem of existence and generic existence of ultrafilters on ω. We prove a conjecture of $J\ddot{o}rg$ Brendle's showing that there is an ultrafilter that is countably closed but is not an ordinal ultrafilter under CH. We also show that Canjar's previous partial characterization of the generic existence of Q-points is the best that can be done. More simply put, there is no normal cardinal invariant equality that fully characterizes the generic existence of Q-points. We then sharpen results (...) on generic existence with the introduction of $\sigma-compact$ ultrafilters. We show that the generic existence of said ultrafilters is equivalent to $\delta = c$ . This result taken along with our result that there exists a $K_{\sigma}$ non-countably closed ultrafilter under CH, expands the size of the class of ultrafilters that were known to fit this description before. From the core of the proof, we get a new result on the cardinal invariants of the continuum, i.e., the cofinality of the sets with $\sigma-compact$ closure is δ. (shrink)

Does Keith Donnellan's referential/attributive distinction have ‘semantic significance’? Howard Wettstein has claimed (in several papers) that it does; Nathan Salmon has responded (in several papers) that it does not. Specifically, while Wettstein has claimed that definite descriptions, used referentially, function semantically as demonstratives, Salmon has responded to Wettstein's claims by defending a unitary Russellian account of such expressions, according to which they invariably function as quantifiers. This paper involves a critique of the debate between Wettstein and Salmon, and offers a (...) tentative resolution of that debate: one that favors Wettstein's ‘ambiguity’ account over the unitary Russellian account defended by Salmon. (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)

A fiber bundle constructed over spacetime is used as the basic underlying framework for a differential geometric description of extended hadrons. The bundle has a Cartan connection and possesses the de Sitter groupSO(4, 1) as structural group, operating as a group of motion in a locally defined space of constant curvature (the fiber) characterized by a radius of curvatureR≈10−13 cm related to the strong interactions. A hadronic matter field ω(x, ζ) is defined on the bundle space, withx the spacetime (...) coordinate and ζ varying in the local fiber. The components of a generalized tensor current ℑ μab (M) (x) are introduced, involving a bilinear expression in the fields ω(x, ζ) and ωΔ(x, ζ) integrated over the local fiber at the pointx. This hadronic matter current is considered as a source current for the underlying fiber geometry by coupling it in a gauge-invariant manner to the curvature expressions derived from the bundle connection coefficients, which are associated here with strong interaction effects, i.e., play the role of meson fields induced in the geometry. Studying discrete symmetry transformations between the 16 differently soldered Cartan bundles, a generalized matter-antimatter conjugation Ĉ is established which leaves the basic current-curvature equations Ĉ-invariant. The discrete symmetry transformation Ĉ turns out to be the direct product of an ordinary charge conjugation for the Dirac point-spinor part of ω(x, ζ) and an internal $\hat P\hat T$ transformation applied globally on the bundle to the fiber (i.e., de Sitter) part of ω(x, ζ). (shrink)