The paper introduces a broad family of metrics applicable to finite and countably infinite strings, or, by extension, to formal structures serving as semantics for countable languages. The main focus is on applications to sets of pointed Kripke models, a semantics for modal logics. For the resulting metric spaces, the paper classifies topological properties including which metrics are topologically equivalent, providing sufficient conditions for compactness, characterizing clopen sets and isolated points, and characterizing the metrical topologies by a (...) concept of logical convergence. We then apply the approach to maps from dynamic epistemic logic, showing that product updates with action models yield continuous maps, hence allowing for an interpretation of the iterated updates as discrete time dynamical systems. (shrink)

The localic completion of a metric space induces a canonical notion of continuous map between metric spaces. It is shown that these maps are continuous in the sense of Bishop constructive mathematics, i.e., uniformly continuous near every compact image.

Distributive justice deals with allocations of goods and bads within a group. Different principles and results of distributions are seen as possible ideals. Often those normative approaches are solely framed verbally, which complicates the application to different concrete distribution situations that are supposed to be evaluated in regard to justice. One possibility in order to frame this precisely and to allow for a fine-grained evaluation of justice lies in formal modelling of these ideals by metrics. Choosing a metric (...) that is supposed to map a certain ideal has to be justified. Such justification might be given by demanding specific substantiated axioms, which have to be met by a metric. This paper introduces such axioms for metrics of distributive justice shown by the example of needs-based justice. Furthermore, some exemplary metrics of needs-based justice and a three dimensional method for visualisation of non-comparative justice axioms or evaluations are presented. Therewith, a base worth discussing for the evaluation and modelling of metrics of distributive justice is given. (shrink)

We show that the set of points of an overt closed subspace of a metric completion of a Bishop-locally compact metric space is located. Consequently, if the subspace is, moreover, compact, then its collection of points is Bishop-compact. © 2011 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim.

As artificial intelligence (AI) deployment is growing exponentially, questions have been raised whether the developed AI ethics discourse is apt to address the currently pressing questions in the field. Building on critical theory, this article aims to expand the scope of AI ethics by arguing that in addition to ethical principles and design, the organizational dimension (i.e. the background assumptions and values influencing design processes) plays a pivotal role in the operationalization of ethics in AI development and deployment contexts. Through (...) the prism of critical theory, and the notions of underdetermination and technical code as developed by Feenberg in particular, the organizational dimension is related to two general challenges in operationalizing ethical principles in AI: (a) the challenge of ethical principles placing conflicting demands on an AI design that cannot be satisfied simultaneously, for which the term ‘inter-principle tension’ is coined, and (b) the challenge of translating an ethical principle to a technological form, constraint or demand, for which the term ‘intra-principle tension’ is coined. Rather than discussing principles, methods or metrics, the notion of technical code precipitates a discussion on the subsequent questions of value decisions, governance and procedural checks and balances. It is held that including and interrogating the organizational context in AI ethics approaches allows for a more in depth understanding of the current challenges concerning the formalization and implementation of ethical principles as well as of the ways in which these challenges could be met. (shrink)

We show that the formulations of non-relativistic quantum mechanics can be derived from an extended least action principle. The principle can be considered as an extension of the least action principle from classical mechanics by factoring in two assumptions. First, the Planck constant defines the minimal amount of action a physical system needs to exhibit during its dynamics in order to be observable. Second, there is constant vacuum fluctuation along a classical trajectory. A novel method is introduced to define the (...) information metrics to measure additional observability due to vacuum fluctuations, which is then converted to an additional action through the first assumption. Applying the variational principle to minimize the total actions allows us to recover the basic quantum formulations including the uncertainty relation and the Schrödinger equation in the position representation. In the momentum representation, the same method can be applied to obtain the Schrödinger equation for a free particle while further investigation is still needed for a particle with an external potential. Furthermore, the principle brings in new results on two fronts. At the conceptual level, we find that the information metrics for vacuum fluctuations are responsible for the origin of the Bohm quantum potential. Even though the Bohm potential for a bipartite system is inseparable, the underlying vacuum fluctuations are local. Thus, inseparability of the Bohm potential does not justify a non-local causal relation between the two subsystems.responsible for manifesting entanglement effects without underlying physical interactions, implying that entanglement effects are non-causal. At the mathematical level, quantifying the information metrics for vacuum fluctuations using more general definitions of relative entropy results in a generalized Schrödinger equation that depends on the order of relative entropy. The extended least action principle is a new mathematical tool. It can be applied to derive other quantum formalisms such as quantum scalar field theory. (shrink)

The definition of a pseudofinite structure can be translated verbatim into continuous logic, but it also gives rise to a stronger notion and to two parallel concepts of pseudocompactness. Our purpose is to investigate the relationship between these four concepts and establish or refute each of them for several basic theories in continuous logic. Pseudofiniteness and pseudocompactness turn out to be equivalent for relational languages with constant symbols, and the four notions coincide with the standard pseudofiniteness in the case of (...) classical structures, but the details appear to be slightly more important here than in the usual translation of definitions from classical logic. We also prove that injective “formula-definable” endofunctions are surjective, and conversely, in strongly pseudofinite omega-saturated structures. (shrink)

Hayes & MacEachern’s study of quatrain stanzas in English folk songs was the first application of stochastic Optimality Theory to a large corpus of data.1 It remains the most extensive study of versification that OT has to offer, and the most careful and perceptive formal analysis of folk song meter in any framework. In a follow-up study, Hayes concludes that stress and meter — or more generally, the prosodic structure of language and verse — are governed by separate constraint (...) systems which must be jointly satisfied by well-formed verse. Apart from its convincing arguments for a modular approach to metrics, it is notable for successfully implementing the analysis in OT, a framework whose parallelist commitments might seem philosophically at odds with modularity. (shrink)

We propose a logic for reasoning about metric spaces with the induced topologies. It combines the ‘qualitative’ interior and closure operators with ‘quantitative’ operators ‘somewhere in the sphere of radiusr’ including or excluding the boundary. We supply the logic with both the intended metric space semantics and a natural relational semantics, and show that the latter (i) provides finite partial representations of (in general) infinite metric models and (ii) reduces the standard ‘ε-definitions’ of closure and interior to simple constraints on (...) relations. These features of the relational semantics suggest a finite axiomatisation of the logic and provide means to prove its EXPTIME-completeness (even if the rational numerical parameters are coded in binary). An extension with metric variables satisfying linear rational (in)equalities is proved to be decidable as well. Our logic can be regarded as a ‘well-behaved’ common denominator of logical systems constructed in temporal, spatial, and similarity-based quantitative and qualitative representation and reasoning. Interpreted on the real line (with its Euclidean metric), it is a natural fragment of decidable temporal logics for specification and verification of real-time systems. On the real plane, it is closely related to quantitative and qualitative formalisms for spatial representation and reasoning, but this time the logic becomes undecidable. (shrink)

We propose a logic for reasoning about metric spaces with the induced topologies. It combines the 'qualitative' interior and closure operators with 'quantitative' operators 'somewhere in the sphere of radius r.' including or excluding the boundary. We supply the logic with both the intended metric space semantics and a natural relational semantics, and show that the latter (i) provides finite partial representations of (in general) infinite metric models and (ii) reduces the standard '∈-definitions' of closure and interior to simple constraints (...) on relations. These features of the relational semantics suggest a finite axiomatisation of the logic and provide means to prove its EXPTIME-completeness (even if the rational numerical parameters are coded in binary). An extension with metric variables satisfying linear rational (in)equalities is proved to be decidable as well. Our logic can be regarded as a 'well-behaved' common denominator of logical systems constructed in temporal, spatial, and similarity-based quantitative and qualitative representation and reasoning. Interpreted on the real line (with its Euclidean metric), it is a natural fragment of decidable temporal logics for specification and verification of real-time systems. On the real plane, it is closely related to quantitative and qualitative formalisms for spatial representation and reasoning, but this time the logic becomes undecidable. (shrink)

Novelty is a key concept to understand creativity. Evaluating a piece of artwork or other creation in terms of novelty requires comparisons to other works and considerations about the elements that have been reused in the creative process. Human beings perform this analysis intuitively, but in order to simulate it using computers, the objects to be compared and the similarity metrics to be used should be formalized and explicitly implemented. In this paper we present a study on relevant elements (...) for the assessment of novelty in computer-generated narratives. We focus on the domain of folk-tales, working with simple plots and basic narrative elements: events, characters, props and scenarios. Based on the empirical results of this study we propose a set of computational metrics for the automatic assessment of novelty. Although oriented to the implementation of our own story generation system, the measurement methodology we propose can be easily generalized to other creative systems. (shrink)

We study the decidability problem for metric and layered temporal logics. The logics we consider are suitable to model time granularity in various contexts, and they allow one to build granular temporal models by referring to the "natural scale" in any component of the model and by properly constraining the interactions between differently-grained components. A monadic second-order language combining operators such as temporal contextualization and projection, together with the usual displacement operator of metric temporal logics, is considered, and the theory (...) of finitely-layered metric temporal structures is shown to be decidable. (shrink)

This paper introduces a formal view of the semantics and pragmatics of corrective feedback in dialogues between adults and children. The goal of this research is to give a formal account of language coordination in dialogue, and semantic coordination in particular. Accounting for semantic coordination requires (1) a semantics, i.e. an architecture allowing for dynamic meanings and meaning updates as results of dialogue moves, and (2) a pragmatics, describing the dialogue moves involved in semantic coordination. We illustrate the (...) general approach by applying it to some examples from the literature on corrective feedback, and provide a fairly detailed discussion of one example using TTR (Type Theory with Records) to formalize concepts. TTR provides an analysis of linguistic content which is structured in order to allow modification and similarity metrics, and a framework for describing dialogue moves and resulting updates to linguistic resources. (shrink)

For a locally compact group G, we show that it is possible to present the class of continuous unitary representations of G as an elementary class of metric structures, in the sense of continuous logic. More precisely, we show how nondegenerate ∗-representations of a general ∗-algebra A (with some mild assumptions) can be viewed as an elementary class, in a many-sorted language, and use the correspondence between continuous unitary representations of G and nondegenerate ∗-representations of L1(G). We relate the notion (...) of ultraproduct of logical structures, under this presentation, with other notions of ultraproduct of representations appearing in the literature, and we characterize property (T) for G in terms of the definability of the sets of fixed points of L1 functions on G. (shrink)

This monograph aims to mathematically codify the notion of "moral systems" and define a sensible distance between them. It consists of three parts, aimed at an audience with varying interests and mathematical backgrounds. The first part steers philosophical, formally defining moral systems and several related concepts. The second part studies black box algorithms, including questions of inference and metric construction. The third part explores the technical construction of metrics amongst conditional probability distributions.

We present a formal derivation of the Mino–Sasaki–Tanaka–Quinn–Wald (MSTQW) equation describing the self-force on a (semi-) classical relativistic point mass moving under the influence of quantized linear metric perturbations on a curved background space–time. The curvature of the space–time implies that the dynamics of the particle and the field is history-dependent and as such requires a non-equilibrium formalism to ensure the consistent evolution of both particle and field, viz., the worldline influence functional and the closed- time-path (CTP) coarse-grained effective (...) action. In the spirit of effective field theory, we regularize the formally divergent self-force by smearing the local part of the retarded Green’s function and employing a quasi-local expansion. We derive the MSTQW–Langevin equations describing the perturbations of the particle’s worldline about its semi-classical trajectory resulting from interactions with the quantum fluctuations of the linear metric perturbations. Finally, we demonstrate that the quantum fluctuations of the field could, in principle, leave imprints on gravitational waveforms expected to be observed by gravitational interferometers, thereby encoding information about tree-level perturbative quantum gravity. (shrink)

Relational complexity provides a metric for measuring task demands, and in this respect has much in common with the cognitive complexity and control theory. However, relational complexity does not account for the relative difficulty of different relational types, and appears to underestimate the importance of changes in children's ability to act on the basis of their understanding.

ABSTRACT This article distinguishes nine senses of polarization and provides formal measures for each one to refine the methodology used to describe polarization in distributions of attitudes. Each distinct concept is explained through a definition, formal measures, examples, and references. We then apply these measures to GSS data regarding political views, opinions on abortion, and religiosity—topics described as revealing social polarization. Previous breakdowns of polarization include domain-specific assumptions and focus on a subset of the distribution’s features. This has (...) conflated multiple, independent features of attitude distributions. The current work aims to extract the distinct senses of polarization and demonstrate that by becoming clearer on these distinctions we can better focus our efforts on substantive issues in social phenomena. (shrink)

In a previous paper we constructed a full and faithful functor ℳ from the category of locally compact metric spaces to the category of formal topologies . Here we show that for a real-valued continuous function f, ℳ factors through the localic positive reals if, and only if, f has a uniform positive lower bound on each ball in the locally compact space. We work within the framework of Bishop constructive mathematics, where the latter notion is strictly stronger than (...) point-wise positivity. (shrink)

Formal spaces have become commonplace conceptual and computational tools in a large array of scientific disciplines, including both the natural and the social sciences. Morphological spaces are spaces describing and relating organismal phenotypes. They play a central role in morphometrics, the statistical description of biological forms, but also underlie the notion of adaptive landscapes that drives many theoretical considerations in evolutionary biology. We briefly review the topological and geometrical properties of the most common morphospaces in the biological literature. In (...) contemporary geometric morphometrics, the notion of a morphospace is based on the Euclidean tangent space to Kendall’s shape space, which is a Riemannian manifold. Many more classical morphospaces, such as Raup’s space of coiled shells, lack these metric properties, e.g., due to incommensurably scaled variables, so that these morphospaces typically are affine vector spaces. Other notions of a morphospace, like Thomas and Reif’s skeleton space, may not give rise to a quantitative measure of similarity at all. Such spaces can often be characterized in terms of topological or pretopological spaces. (shrink)

Many formalisms for reasoning about knowing commit an agent to be logically omniscient. Logical omniscience is an unrealistic principle for us to use to build a real-world agent, since it commits the agent to knowing infinitely many things. A number of formalizations of knowledge have been developed that do not ascribe logical omniscience to agents. With few exceptions, these approaches are modifications of the possible-worlds semantics. In this paper we use a combination of several general techniques for building non-omniscient reasoners. (...) First we provide for the explicit representation of notions such as problems, solutions, and problem solving activities, notions which are usually left implicit in the discussions of autonomous agents. A second technique is to take explicitly into account the notion of resource when we formalize reasoning principles. We use the notion of resource to describe interesting principles of reasoning that are used for ascribing knowledge to agents. For us, resources are abstract objects. We make extensive use of ordering and inaccessibility relations on resources, but we do not find it necessary to define a metric. Using principles about resources without using a metric is one of the strengths of our approach.We describe the architecture of a reasoner, built from a finite number of components, who solves a puzzle, involving reasoning about knowing, by explicitly using the notion of resource. Our approach allows the use of axioms about belief ordinarily used in problem solving – such as axiom K of modal logic – without being forced to attribute logical omniscience to any agent. In particular we address the issue of how we can use resource-unbounded (e.g., logically omniscient) reasoning to attribute knowledge to others without introducing contradictions. We do this by showing how omniscient reasoning can be introduced as a conservative extension over resource-bounded reasoning. (shrink)

Dini's theorem says that compactness of the domain, a metric space, ensures the uniform convergence of every simply convergent monotone sequence of real-valued continuous functions whose limit is continuous. By showing that Dini's theorem is equivalent to Brouwer's fan theorem for detachable bars, we provide Dini's theorem with a classification in the recently established constructive reverse mathematics propagated by Ishihara. As a complement, Dini's theorem is proved to be equivalent to the analogue of the fan theorem, weak König's lemma, in (...) the original classical setting of reverse mathematics started by Friedman and Simpson. (shrink)

The paper analyses the formal features of the characters of Oresteia in Greek tragedy. The protagonists and the minor characters are compared, for which the rhythmical liveliness and variability of the personages’ utterances, the length and number of utterances, and the number of dialogue verses in the metrical repertoire of the corresponding personage are taken into account. The analysis revealed that the data of Sophocles and Euripides are more close to each other both in the respect of general “liveliness” (...) and the “liveliness” of characters’ utterances. Certain differences in the metrics and rhythmics of the main and minor characters’ verses become most obvious when we compare Electra’s part with minor characters (e. g., in Electra’s part there is always the biggest proportion of lyrical parts, more unstandard settlements, more verses with splits than any other character). The index of liveliness of Electra’s part is almost the same in all the authors. Although the same tendencies in Orestes are more schematical, the metrics and rhythmics of his utterances are rather similar to those of Electra. Thus, in respect of the proportion of lyrical verses, he always comes second after Electra; he also has quite many split verses. The parts of minor characters are usually made up entirely of iambic trimesters, the rhythmical variety of their speeches is higher than average, but there are no splits in their parts (except for Aegisthus). However, there are characters which parts have unstandard rhythm, e.g., the pedagogue in Sophocles or Chrysothemis, who is a contrast to Electra by her nature as well as her rhythmics. The contrast with other minor characters is even bigger. Clytaemnestra’s part is both rhythmically and metrically intermediate: inAeschylus her utterances consist entirely of iambic trimeters, but in Sophocles and Euripides she pronounces also a couple of lyrical verses. There are alsosome splits in her verses which usually do not occur in minor persons. (shrink)

The paper analyses the formal features of the characters of Oresteia in Greek tragedy. The protagonists and the minor characters are compared, for which the rhythmical liveliness and variability of the personages’ utterances, the length and number of utterances, and the number of dialogue verses in the metrical repertoire of the corresponding personage are taken into account. The analysis revealed that the data of Sophocles and Euripides are more close to each other both in the respect of general “liveliness” (...) and the “liveliness” of characters’ utterances. Certain differences in the metrics and rhythmics of the main and minor characters’ verses become most obvious when we compare Electra’s part with minor characters (e. g., in Electra’s part there is always the biggest proportion of lyrical parts, more unstandard settlements, more verses with splits than any other character). The index of liveliness of Electra’s part is almost the same in all the authors. Although the same tendencies in Orestes are more schematical, the metrics and rhythmics of his utterances are rather similar to those of Electra. Thus, in respect of the proportion of lyrical verses, he always comes second after Electra; he also has quite many split verses. The parts of minor characters are usually made up entirely of iambic trimesters, the rhythmical variety of their speeches is higher than average, but there are no splits in their parts (except for Aegisthus). However, there are characters which parts have unstandard rhythm, e.g., the pedagogue in Sophocles or Chrysothemis, who is a contrast to Electra by her nature as well as her rhythmics. The contrast with other minor characters is even bigger. Clytaemnestra’s part is both rhythmically and metrically intermediate: inAeschylus her utterances consist entirely of iambic trimeters, but in Sophocles and Euripides she pronounces also a couple of lyrical verses. There are alsosome splits in her verses which usually do not occur in minor persons. (shrink)

This paper gives a formalization of general topology in second-order arithmetic using countably based MF spaces. This formalization is used to study the reverse mathematics of general topology. For each poset P we let MF denote the set of maximal filters on P endowed with the topology generated by {Np | p ∈ P}, where Np = {F ∈ MF | p ∈ F}. We define a countably based MF space to be a space of the form MF for some (...) countable poset P. The class of countably based MF spaces includes all complete separable metric spaces as well as many nonmetrizable spaces. The following reverse mathematics results are obtained. The proposition that every nonempty Gδ subset of a countably based MF space is homeomorphic to a countably based MF space is equivalent to [Formula: see text] over ACA0. The proposition that every uncountable closed subset of a countably based MF space contains a perfect set is equivalent over [Formula: see text] to the proposition that [Formula: see text] is countable for all A ⊆ ℕ. The proposition that every regular countably based MF space is homeomorphic to a complete separable metric space is equivalent to [Formula: see text] over [Formula: see text]. (shrink)

We show that in the Gromov space of isometry classes of pointed proper metric spaces, the equivalence relations defined by existence of coarse quasi-isometries or being at finite Gromov–Hausdorff distance cannot be reduced to the equivalence relation defined by any Polish action.

We develop measure theory in the context of subsystems of second order arithmetic with restricted induction. We introduce a combinatorial principleWWKL (weak-weak König's lemma) and prove that it is strictly weaker thanWKL (weak König's lemma). We show thatWWKL is equivalent to a formal version of the statement that Lebesgue measure is countably additive on open sets. We also show thatWWKL is equivalent to a formal version of the statement that any Borel measure on a compact metric space is (...) countably additive on open sets. (shrink)

Equal Justice explores the role of the idea of equality in liberal theories of justice. The title indicates the book’s two-part thesis: first, I claim that justice is the central moral category in the socio-political domain; second, I argue for a specific conceptual and normative connection between the ideas of justice and equality. This pertains to the age-old question concerning the normative significance of equality in a theory of justice. The book develops an independent, systematic, and comprehensive theory of equality (...) and egalitarianism. The principal question is about the importance of equality in a theory of justice. More precisely, we should pose questions in four contracting circles: 1. Is justice the supreme value guiding our setup of the basic structure of society, or are there other, equally important values, such as recognition, care, communal belonging? 2. If justice is the highest guiding principle, which competing ideals—especially equality and freedom—ought to have precedence in a policy oriented toward justice? What status does the ideal of equality have in that framework? 3. If equality is a basic ideal of just policy, how should it be practically realized? What sort of equality (equal opportunity, equality of welfare, resource equality) should be demanded? 4. What patterned distribution of which specific goods does the ideal of equality demand? Which principles of distribution can be justified according to our justice ideal? To conclude and summarize: 5. What is the essential core of an egalitarian theory of justice, as opposed to an inegalitarian theory? These five questions structure the work’s order of argumentation. Part A elaborates the conceptual foundations and basic moral principles of justice and equality. Chapter I sets out to install justice as the central moral category in the socio-political domain. At the beginning of the first chapter, the conceptual foundations of justice are clarified. While not eliminating the classical distinctions between different forms of justice, I argue that the distributive paradigm is of primary importance. The primacy of justice in the socio-political domain is developed out of a confrontation with alternative positions, those which maintain either that justice generally, or distributive justice in particular, are subsidiary virtues. At the end of Chapter I, the first of the questions mentioned above is answered in a way that establishes justice as the guiding normative concept for the foundation and evaluation of any social order. To clarify the role of equality in a theory of justice, Chapter II separates the idea of equality into four different principles. They are organized in a way that begins with the most general and uncontroversial principle of equality, and progresses towards increasingly detailed and contested principles. There are two theses that articulate and defend the significance of equality for justice: First there is a conceptual connection between justice and equality, in that principles of formal and proportional equality are necessary in order to explicate the concept of justice. These two principles establish an unbreakable bond between justice and equality. Justice can only be explained—or so I argue—by reference to these and other (normative) principles of equality. The second thesis posits a normative relationship between justice and equality, which is disclosed by three substantive principles of equality: moral equality, the presumption of equality, and the principle of responsibility. I argue that the normative core of an egalitarian theory of justice is expressed by the latter two principles, which are themselves based on the first principle, that of moral equality. When we view one another as persons, what form of equality or equal treatment is normatively demanded? I argue that the answer to this question is given by the procedural principle of the presumption of equality: regardless of their apparent differences, all persons deserve strictly equal treatment, unless certain kinds of differences have whatever particular relevance would justify, on generally acceptable grounds, unequal treatment or unequal distribution. The justification of the presumption of equality is central to this work and has considerable importance. If the presumption principle’s validity can be justified by enlisting the principle of general justification, then the primacy of equality, and the essential argument for an egalitarian theory of justice, is established. This would likewise provide a procedure for the construction of a material theory of justice. The second question is answered thereby at the end of Chapter II: Equality should have primacy over competing ideals within a justice-oriented policy. The presumption of equality establishes this primacy and, at the same time, offers an appropriate metric and guideline for the construction of a material theory of distributive justice. The presumption of equality in Part B offers an elegant procedure for the development of a theory of distributive justice. Chapter III clearly sets out the necessary prerequisites that a theory of distribution must satisfy in order to determine a liberal-egalitarian distributional framework. We need to specify in which situation the distribution takes place; which goods are and are not to be distributed; in which respect the presumptive equality is to be produced; and by and to whom, and for what period, the relevant goods are to be distributed. The distribution is based on resources understood as general-purpose means. It is necessary to divide goods into different categories, since the justification for unequal treatment in one domain will not carry over into another. This makes presumptive equality necessarily complex. To that end, four spheres of justice are distinguished: (1) the political sphere, which involves allocating rights through the distribution of civil liberties; (2) the democratic sphere, in which political power and the rights of political participation are regulated; (3) the economic sphere, in which income and property are distributed; (4) the social sphere, in which social positions and opportunities are distributed. This framework of distributive justice answers the third of our guiding questions, about the nature of equality, in terms of equality of resources. Chapters IV and V set out the egalitarian distributive criteria for each sphere. I argue that the generally accepted, fundamental rights of classical liberalism are more effectively reconstructed by reference to the equal resource distribution presumptively required in those spheres. Chapter IV shows that when it comes to the first two spheres, those involving basic rights and freedoms and entitlement political participation, there can be no justified exceptions to the equal distribution of the relevant goods. That section argues, contrary to what we commonly find in theories of freedom or popular sovereignty, that the value of freedom and self-determination as the political basis of autonomy is best realized through the presumption of equal distribution. Chapter V deals with the other two spheres, those of economic goods and social positions, and argues for justified exceptions to equal distribution. In the economic sphere we find one principal reason favouring unequal distribution of resources, and three restrictions and compensations limiting that inequality. The basic exception to equal economic distribution arises from the unequal consequences of personal responsibility. From a suitably egalitarian standpoint, the principle of responsibility is the normative principle that determines which reasons justify economic inequality. Here the basic idea is that unequal shares of social goods are fair if they result from the choices and deliberate actions of the relevant parties. That individuals have to bear the costs of their own choices is a condition of autonomy. However, benefits or disadvantages arising from arbitrary and unmerited differences in social circumstances or natural endowments is unfair. The unequal consequences of independent decision-making and action must therefore be limited by compensating first for preferences, secondly for disadvantages, and thirdly by redistributing wealth in aid of the worse-off. I situations of emergency, compensating for disadvantages has priority over all other claims, owing to the urgency of the situation. Social inequalities go beyond the permissible limit if it is possible to improve the long-term social or economic situation of the worse-off by redistributing wealth to them. These exceptions lead to a complex system of free economic action within a framework of compensatory tax and transfer mechanisms. Finally, in the social sphere, the distribution of social positions, offices and opportunities must be structured to ensure that equally talented and motivated citizens have roughly equal chances of obtaining those offices or positions, irrespective of their economic or social class backgrounds. This compromise is permissible for reasons of freedom and prudence, and it makes a certain measure of inequality acceptable. The fourth of our guiding questions is answered accordingly. There are five principles of justice for the basic structure of society, and five legal principles that govern the special distribution of goods in the respective spheres—all are ranked according to their most defensible grounds of priority, ensuring that everyone is accorded equal justice. Chapter VI recapitulates the initial question of equality’s value. The conception of equal justice developed in this work postulates five principles of equality and five principles of law; these constitute an egalitarian framework because they support and promote social justice. Equality has value with respect to them, but is not given any independent, intrinsic value. That is why I call the account developed here a form of constitutive egalitarianism: justice is realized through the realization of equality, itself accomplished by applying the five postulates of equality and five distributive principles of law. This is an egalitarianism on two levels. The first level is involves the claim that morality or justice is conceptually connected with equality. The second level gives equality a substantial weight in what is conceptually validated at the first level, namely the presumption of equality, and constructs an appropriate interpretation and conception of distributive justice through principles of distribution for the individual spheres. The weight and importance of equality is shown by the distributive criteria applied to those spheres. This answers our final guiding question about the nature of an egalitarian theory. (shrink)

A great deal of interest in codes of ethics exists in both the business community and the academic community. Within the academic community, this interest has given rise to a number of studies of codes of ethics. Many of these studies have focused on the content of various codes.One important way the study of codes of ethics can be advanced is by applying formal tools of analysis to codes of ethics. An understanding of important dimensions that may differ across (...) codes of ethics, a common terminology to describe these dimensions, and a means to measure these dimensions will facilitate applying such tools. They will also facilitate discussion, enable comparisons, and advance our understanding of codes of ethics. The present paper describes a classification scheme to use in studying codes of ethics. This scheme uses six important dimensions to distinguish among codes of ethics: length, focus, level of detail, shape, thematic content, and tone. The paper also introduces metrics that can be used to measure the dimensions. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Alcaics In Exile: W. H. Auden’s “In Memory Of Sigmund Freud”Rosanna WarrenOn September 23, 1939, Sigmund Freud died in exile in London, a refugee from Nazi Austria. Within a month, Auden, who had been living in the United States since January of that year, wrote a friend in England that he was working on an elegy for Freud. 1 The poem appeared in The Kenyon Review early in 1940. (...) A stately public ode, the poem mourns not only the death of a publicly significant individual, but the collapse of a world. Hitler had overrun Austria, Czechoslovakia, Poland; assaults on Jews had intensified; England and France had just declared war on Germany. There would be, indeed, many who would have to be mourned:When there are so many we shall have to mourn, when grief has been made so public, and exposed to the critique of whole epoch the frailty of our conscience and anguish,of whom shall we speak?...Someone encountering this poem for the first time, on the page or in the ear, might be pardoned for puzzling over its form. It sounds prosy. It seems to have some recognizable English cadences, pentameters (“[inline-graphic 01]”), tetrameters (“ ”), and even trimeters (“ ”). But the pattern seems unruly, with some [End Page 111] lines stretching out beyond five traditional beats, and ignoring any iambic order: “turned elsewhere with their disappointment as he.” Groping for a more satisfactory principle of organization, a reader with some knowledge of versification may be moved to count syllables. Such a reader will discover that the poem is indeed organized syllabically in lines of 11, 11, 9, and 10 syllables. “Aha,” says the reader, alert to Auden’s intimacy with Classical civilization: “A Horatian ode. Not inappropriate for a formal elegy.” Reflecting further, and leafing through the pages of Horace, that reader will find, or remember, that two thirds of Horace’s odes are in these quatrains, the alcaic stanza. Auden, it appears, has composed his elegy in some version of the meter of Alcaeus, the 7th century b.c.e. Greek poet whose stanza became second nature to Horace. And we cannot enter the world of Auden’s poem without asking, why alcaics? And how do they work here?“In Memory of Sigmund Freud” is sometimes said to be Auden’s first syllabic poem. 2 Others demur, proposing both earlier and later examples. 3 Whatever the spats about dating Auden’s early syllabic practice, scholars conventionally agree that his turn toward syllabic composition reflects his evolving interest in a discursive poetry; in the poet as a private intelligence with a public voice; and in the work, respectively, of Horace and Marianne Moore. Having identified the poem as syllabic, many critics move on to heftier topics like psychoanalysis versus Marxism, Auden more than most poets having laid himself open to an overridingly thematic criticism of Big Ideas. But if, having acknowledged the influence of Horace and Moore in Auden’s refusal of English iambic lyricism here, we stay with the question of meter, we are led back to the older progenitor, Alcaeus, a great poet of exile, whose stanza Auden adopts and adapts. I shall ask how it affects our reading to observe that the stanza itself has a genealogy, and brings its expressive burden to bear on Auden’s poem.“In Memory of Sigmund Freud” relies on a counterpoint of two metrical systems, the largely iambic accentual/syllabic system, traditional in English since Wyatt, and a flattened version of Greek quantitative meter, which was a musical notation of syllable length. For Auden, whose great prosodic facility was almost a handicap, the problem was, “not how to write in iambics but how not to write in them from automatic habit.” 4 Throughout his poetic life, he reached for cadences to interrupt the “natural” iambics, sometimes recalling the Old English alliterative beat, and often turning to ballads and popular tunes for rhythmical variation. By the late thirties, he was not only disillusioned [End Page 112] with the Spanish Civil War and his role as quasi-Socialist bard, but was seeking new compositional principles as well. Free verse was not an alternative: his ear required an evident... (shrink)

This paper assumes the success of arguments against the view that informal mathematical proofs secure rational conviction in virtue of their relations with corresponding formal derivations. This assumption entails a need for an alternative account of the logic of informal mathematical proofs. Following examination of case studies by Manders, De Toffoli and Giardino, Leitgeb, Feferman and others, this paper proposes a framework for analysing those informal proofs that appeal to the perception or modification of diagrams or to the inspection (...) or imaginative manipulation of mental models of mathematical phenomena. Proofs relying on diagrams can be rigorous if it is easy to draw a diagram that shares or otherwise indicates the structure of the mathematical object, the information thus displayed is not metrical and it is possible to put the inferences into systematic mathematical relation with other mathematical inferential practices. Proofs that appeal to mental models can be rigorous if the mental models can be externalised as diagrammatic practice that satisfies these three conditions. (shrink)

It is a commonplace in the philosophy of physics that any local physical theory can be represented using arbitrary coordinates, simply by using tensor calculus. On the other hand, the physics literature often claims that spinors \emph{as such} cannot be represented in coordinates in a curved space-time. These commonplaces are inconsistent. What general covariance means for theories with fermions, such as electrons, is thus unclear. In fact both commonplaces are wrong. Though it is not widely known, Ogievetsky and Polubarinov constructed (...) spinors in coordinates in 1965, enhancing the unity of physics and helping to spawn particle physicists' concept of nonlinear group representations. Roughly and locally, these spinors resemble the orthonormal basis or "tetrad" formalism in the symmetric gauge, but they are conceptually self-sufficient and more economical. The typical tetrad formalism is de-Ockhamized, with six extra field components and six compensating gauge symmetries to cancel them out. The Ogievetsky-Polubarinov formalism, by contrast, is Ockhamized, with most of the fluff removed. As developed nonperturbatively by Bilyalov, it admits any coordinates at a point, but "time" must be listed first. Here "time" is defined in terms of an eigenvalue problem involving the metric components and the matrix $diag$, the product of which must have no negative eigenvalues in order to yield a real symmetric square root that is a function of the metric. Thus even formal general covariance requires reconsideration; the atlas of admissible coordinate charts should be sensitive to the types and \emph{values} of the fields involved. Apart from coordinate order and the usual spinorial two-valuedness, Ogievetsky-Polubarinov spinors form, with the metric, a nonlinear geometric object, for which important results on Lie and covariant differentiation are recalled. Such spinors avoid a spurious absolute object in the Anderson-Friedman analysis of substantive general covariance. They also permit the gauge-invariant localization of the infinite-component gravitational energy in General Relativity. Density-weighted spinors exploit the conformal invariance of the massless Dirac equation to show that the volume element is absent. Thus instead of an arbitrary nonsingular matrix with 16 components, 6 of which are gauged away by a new local $O$ gauge group and one of which is irrelevant due to conformal covariance, one can, and presumably should, use density-weighted Ogievetsky-Polubarinov spinors coupled to the 9-component symmetric square root of the part of the metric that fixes null cones. Thus $\frac{7}{16}$ of the orthonormal basis is eliminated as surplus structure. Greater unity between spinors and tensors and the like is achieved, such as regarding conservation laws. Regarding the conventionality of simultaneity, an unusually wide range of $\epsilon$ values is admissible, but some extreme values are inadmissible. Standard simultaneity uniquely makes the spinor transformation law linear and independent of the metric, because transformations among the standard Cartesian coordinate systems fall within the conformal group, for which the spinor transformation law is linear. The surprising mildness of the restrictions on coordinate order as applied to the Schwarzschild solution is exhibited. (shrink)

It is a commonplace in the philosophy of physics that any local physical theory can be represented using arbitrary coordinates, simply by using tensor calculus. On the other hand, the physics literature often claims that spinors \emph{as such} cannot be represented in coordinates in a curved space-time. These commonplaces are inconsistent. What general covariance means for theories with fermions, such as electrons, is thus unclear. In fact both commonplaces are wrong. Though it is not widely known, Ogievetsky and Polubarinov constructed (...) spinors in coordinates in 1965, enhancing the unity of physics and helping to spawn particle physicists' concept of nonlinear group representations. Roughly and locally, these spinors resemble the orthonormal basis or "tetrad" formalism in the symmetric gauge, but they are conceptually self-sufficient and more economical. The typical tetrad formalism is de-Ockhamized, with six extra field components and six compensating gauge symmetries to cancel them out. The Ogievetsky-Polubarinov formalism, by contrast, is Ockhamized, with most of the fluff removed. As developed nonperturbatively by Bilyalov, it admits any coordinates at a point, but "time" must be listed first. Here "time" is defined in terms of an eigenvalue problem involving the metric components and the matrix $diag$, the product of which must have no negative eigenvalues in order to yield a real symmetric square root that is a function of the metric. Thus even formal general covariance requires reconsideration; the atlas of admissible coordinate charts should be sensitive to the types and \emph{values} of the fields involved. Apart from coordinate order and the usual spinorial two-valuedness, Ogievetsky-Polubarinov spinors form, with the metric, a nonlinear geometric object, for which important results on Lie and covariant differentiation are recalled. Such spinors avoid a spurious absolute object in the Anderson-Friedman analysis of substantive general covariance. They also permit the gauge-invariant localization of the infinite-component gravitational energy in General Relativity. Density-weighted spinors exploit the conformal invariance of the massless Dirac equation to show that the volume element is absent. Thus instead of an arbitrary nonsingular matrix with 16 components, 6 of which are gauged away by a new local $O$ gauge group and one of which is irrelevant due to conformal covariance, one can, and presumably should, use density-weighted Ogievetsky-Polubarinov spinors coupled to the 9-component symmetric square root of the part of the metric that fixes null cones. Thus $\frac{7}{16}$ of the orthonormal basis is eliminated as surplus structure. Greater unity between spinors and tensors and the like is achieved, such as regarding conservation laws. Regarding the conventionality of simultaneity, an unusually wide range of $\epsilon$ values is admissible, but some extreme values are inadmissible. Standard simultaneity uniquely makes the spinor transformation law linear and independent of the metric, because transformations among the standard Cartesian coordinate systems fall within the conformal group, for which the spinor transformation law is linear. The surprising mildness of the restrictions on coordinate order as applied to the Schwarzschild solution is exhibited. (shrink)

This paper assumes the success of arguments against the view that informal mathematical proofs secure rational conviction in virtue of their relations with corresponding formal derivations. This assumption entails a need for an alternative account of the logic of informal mathematical proofs. Following examination of case studies by Manders, De Toffoli and Giardino, Leitgeb, Feferman and others, this paper proposes a framework for analysing those informal proofs that appeal to the perception or modification of diagrams or to the inspection (...) or imaginative manipulation of mental models of mathematical phenomena. Proofs relying on diagrams can be rigorous if it is easy to draw a diagram that shares or otherwise indicates the structure of the mathematical object, the information thus displayed is not metrical and it is possible to put the inferences into systematic mathematical relation with other mathematical inferential practices. Proofs that appeal to mental models can be rigorous if the mental models can be externalised as diagrammatic practice that satisfies these three conditions. (shrink)

This short article pairs the realms of “Mathematics”, “Philosophy”, and “Poetry”, presenting some corners of intersection of this type of scientocreativity. Poetry have long been following mathematical patterns expressed by stern formal restrictions, as the strong metrical structure of ancient Greek heroic epic, or the consistent meter with standardized rhyme scheme and a “volta” of Italian sonnets. Poetry was always connected to Philosophy, and further on, notable mathematicians, like the inventor of quaternions, William Rowan Hamilton, or Ion Barbu, the (...) creator of the Barbilian spaces, have written appreciated poems. We will focus here on an avant-garde movement in literature, art, philosophy, and science, called Paradoxism, founded in Romania in 1980 by a mathematician, philosopher and poet, and on the laboured writing exercises of the Oulipo group, founded in Paris in 1960 by mathematicians and poets, both of them still in act. (shrink)

Caretaker-infant attachment is a complex but well-recognized adaptation in humans. An early instance of (or precursor to) attachment behavior is the dyadic interaction between adults and infants of 6 to 24 weeks, commonly called "babytalk." Detailed analysis of 1 minute of spontaneous babytalk with an 8-week infant shows that the poetic texture of the mother’s speech—specifically its use of metrics, phonetics, and foregrounding—helps to shape and direct the baby’s attention, as it also coordinates the partners’ emotional communication. We hypothesize (...) that the ability to respond to poetic features of language is present as early as the first few weeks of life and that this ability attunes cognitive and affective capacities in ways that provide a foundation for the skills at work in later aesthetic production and response. By linking developmental social processes with formal cognitive aspects of art, we challenge predominant views in evolutionary psychology that literary art is a superfluous byproduct of adaptive evolutionary mechanisms or primarily an ornament created by sexual selection. (shrink)

Searching for information is critical in many situations. In medicine, for instance, careful choice of a diagnostic test can help narrow down the range of plausible diseases that the patient might have. In a probabilistic framework, test selection is often modeled by assuming that people's goal is to reduce uncertainty about possible states of the world. In cognitive science, psychology, and medical decision making, Shannon entropy is the most prominent and most widely used model to formalize probabilistic uncertainty and the (...) reduction thereof. However, a variety of alternative entropy metrics (Hartley, Quadratic, Tsallis, Rényi, and more) are popular in the social and the natural sciences, computer science, and philosophy of science. Particular entropy measures have been predominant in particular research areas, and it is often an open issue whether these divergences emerge from different theoretical and practical goals or are merely due to historical accident. Cutting across disciplinary boundaries, we show that several entropy and entropy reduction measures arise as special cases in a unified formalism, the Sharma–Mittal framework. Using mathematical results, computer simulations, and analyses of published behavioral data, we discuss four key questions: How do various entropy models relate to each other? What insights can be obtained by considering diverse entropy models within a unified framework? What is the psychological plausibility of different entropy models? What new questions and insights for research on human information acquisition follow? Our work provides several new pathways for theoretical and empirical research, reconciling apparently conflicting approaches and empirical findings within a comprehensive and unified information-theoretic formalism. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Reviewed by:Newton's Metaphysics: Essays by Eric SchliesserMarius StanEric Schliesser. Newton's Metaphysics: Essays. Oxford: Oxford University Press, 2021. Pp. 328. Hardback, $99.90.Newton owes his high regard to the quantitative science he left us, but his overall picture of the world had some robustly metaphysical threads woven in as well. Posthumous judgment about the value of these threads has varied wildly. Christian Wolff thought him a metaphysical rustic, as did Hans (...) Reichenbach some two centuries later ("Die Bewegungslehre bei Newton, Leibniz und Huygens," Kant-Studien 29 [1924]: 416–38). In the 1960s, the tide would turn, as Howard Stein and James Edward McGuire separately began to show that Newton's metaphysics was not just sophisticated, but often more compelling than its early modern alternatives (see respectively "Newtonian Spacetime," Texas Quarterly 10 [1967]: 174–200; and Tradition and Innovation: Newton's Metaphysics of Nature [Dordrecht: Kluwer Academic Publishers, 1995]). Eric Schliesser's book unfolds in that same register of appreciative, high scholarship, and it attests to the enduring attraction of its subject.The book grew out of previous discrete papers, to which he added a few more for this occasion. Accordingly, it does not come with a master argument. Rather, it is an in-depth exploration of some key metaphysical themes in Newton. As such, it befits its subject figure, who reflected on themes and concepts while stopping short of working out systems.The first major theme is Newton and Spinozism. The latter does not denote Spinoza's metaphysics. In fact, Schliesser explains, Newton shared with Spinoza some weighty commitments, for example, to space being actually infinite, and to substance monism: "for Newton, there is strictly speaking only one genuine substance," namely, God (33). Rather, "Spinozism" is an interpreter's category for a bundle of three theses: identifying God and nature; denying final causation in the physical world; and the assumption of "blind" metaphysical necessity. Some counted Hobbes and John Toland as Spinozist in this sense, and even Epicurus, avant la lettre. Newton and his followers argued vehemently against this package, as Schliesser shows in chapters 4, 5, and 8. Their chief complaint was that Spinozism is unable to account for the "origin of motion," for a certain type of order, and for the stability of cosmological structure—and to do so in a way that "meets the standards of Newtonian mechanics" (122). This interpretive lens allows Schliesser to draw Kant in, by reading his youthful Theory of Heaven as a possible Spinozist reply to their objections (chapter 3). [End Page 157]A second theme is the metaphysics of mechanics, where Schliesser weaves together several strands. One is the ontology of gravity, for which he offers a novel construal: for Newton, gravity counts as real, but in a qualified sense. Namely, it is not essential and not intrinsic: "even after creation, a lonely partless particle of matter in the universe would not be said to gravitate." And gravity is relational: a "shared quality" of two or more bits of matter, which obtains in virtue of their sharing a nature (19). Another strand is Newton's ontology of time—really, a subtle, difficult topic long neglected. Famously, Newton in Principia defends absolute, true, and mathematical time. The question is what these three qualifiers denote, and whether Newton thought they were synonymous. Schliesser in chapter 7 argues for the provocative view that "absolute" and "true" time are not identical concepts; rather, they pick out different entities. These entities share a common structure, namely, metric and topological. That makes them species of "mathematical" time (179). But, Schliesser contends, Newton has unequal warrant for his two concepts of time.Yet another theme is formal causation. It comes to the fore in chapter 5, which grapples with Newton's opaque idea that space is an "emanative effect." Schliesser explains that here, "emanation picks out a species of formal causation" (147), but in a novel, early modern sense that comes from Bacon, not Aristotle. If space has a formal cause, then so has its twin brother, time, the topic of chapter 7. God is their common formal cause. Then in chapter 6 (coauthored with Zvi Biener) Schliesser adds that, for Newton, laws... (shrink)