Originally published between 1982 and 1991 the 3 volumes in this set Reflect the diversity in Hegelianism and every branch of philosophy which he contributed to. Examine Hegel's work in relation to Marx and Wittgenstein Discuss Hegel's social theory Examine British Hegelian thinking and the lines of its development Offer an interpretation of Hegelian theory that is relevant for the understanding of modern republican constitutions.

Since Darwin, the idea of psychological continuity between humans and other animals has dominated theory and research in investigating the minds of other species. Indeed, the field of comparative psychology was founded on two assumptions. First, it was assumed that introspection could provide humans with reliable knowledge about the causal connection between specific mental states and specific behaviors. Second, it was assumed that in those cases in which other species exhibited behaviors similar to our own, similar psychological causes were at (...) work. In this paper. we show how this argument by analogy is flowed with respect to the case of second-order mental states. As a test case, we focus on the question of how other species conceive of visual attention, and in particular whether chimpanzees interpret seeing as a mentalistic event involving internal states of perception, attention, and belief. We conclude that chimpanzees do not reason about seeing in this manner, and indeed, there is considerable reason to suppose that they do not harbor representations of mental states in general. We propose a reinterpretation model in which the majority of the rich social behaviors that humans and other primates share in common emerged long before the human lineage evolved the psychological means of interpreting those behaviors in mentalistic terms. Although humans, chimpanzees, and most other species may be said to possess mental states, humans alone may have evolved a cognitive specialization for reasoning about such states. (shrink)

We improve on and generalize a 1960 result of Maltsev. For a field F, we denote by $H(F)$ the Heisenberg group with entries in F. Maltsev showed that there is a copy of F defined in $H(F)$, using existential formulas with an arbitrary non-commuting pair of elements as parameters. We show that F is interpreted in $H(F)$ using computable $\Sigma _1$ formulas with no parameters. We give two proofs. The first is an existence proof, relying on a result of (...) Harrison-Trainor, Melnikov, R. Miller, and Montalbán. This proof allows the possibility that the elements of F are represented by tuples in $H(F)$ of no fixed arity. The second proof is direct, giving explicit finitary existential formulas that define the interpretation, with elements of F represented by triples in $H(F)$. Looking at what was used to arrive at this parameter-free interpretation of F in $H(F)$, we give general conditions sufficient to eliminate parameters from interpretations. (shrink)

The aim of UK-REACH (“The United Kingdom Research study into Ethnicity And COVID-19 outcomes in Healthcare workers”) is to understand if, how, and why healthcare workers (HCWs) in the United Kingdom (UK) from ethnic minority groups are at increased risk of poor outcomes from COVID-19. In this article, we present findings from the ethical and legal stream of the study, which undertook qualitative research seeking to understand and address legal, ethical, and social acceptability issues around data protection, privacy, and information (...) governance associated with the linkage of HCWs’ registration data and healthcare data. We interviewed 22 key opinion leaders in healthcare and health research from across the UK in two-to-one semi-structured interviews. Transcripts were coded using qualitative thematic analysis. Participants told us that a significant aspect of Big Data research in public health is varying drivers of mistrust—of the research itself, research staff and funders, and broader concerns of mistrust within participant communities, particularly in the context of COVID-19 and those situated in more marginalised community settings. However, despite the challenges, participants also identified ways in which legally compliant and ethically informed approaches to research can be crafted to mitigate or overcome mistrust and establish greater confidence in Big Data public health research. Overall, our research indicates that a “Big Data Ethics by Design” approach to research in this area can help assure (1) that meaningful community and participant engagement is taking place and that extant challenges are addressed, and (2) that any new challenges or hitherto unknown unknowns can be rapidly and properly considered to ensure potential (but material) harms are identified and minimised where necessary. Our findings indicate such an approach, in turn, will help drive better scientific breakthroughs that translate into medical innovations and effective public health interventions, which benefit the publics studied, including those who are often marginalised in research. (shrink)

We show that an infinite field is interpretable in a stable torsion-free nilpotent groupG of classk, k>1. Furthermore we prove thatG/Z k-1 (G) must be divisible. By generalising methods of Belegradek we classify some stable torsion-free nilpotent groups modulo isomorphism and elementary equivalence.

Using state-of-the-art observational datasets and results from a large archive of computer model simulations, a consortium of scientists from 12 different institutions has resolved a long-standing conundrum in climate science—the apparent discrepancy between simulated and observed temperature trends in the tropics. Research published by this group indicates that there is no fundamental discrepancy between modeled and observed tropical temperature trends when one accounts for: the uncertainties in observations; and the statistical uncertainties in estimating trends from observations. These results refute (...) a recent claim that model and observed tropical temperature trends “disagree to a statistically significant extent”. This claim was based on the application of a flawed statistical test and the use of older observational datasets. (shrink)

In this paper we construct a non-CM-trivial stable theory in which no infinite field is interpretable. In fact our theory will also be trivial and ω-stable, but of infinite Morley rank. A long term aim would be to find a nonCM-trivial theory which has finite Morley rank (or is even strongly minimal) and does not interpret a field. The construction in this paper is direct, and is a “3-dimensional” version of the free pseudoplane. In a sense we are cheating: (...) the original point of the notion ofCM-triviality was to describe the geometry of a strongly minimal set, or even of a regular type. In our example, non-CM-triviality will come from the behaviour of three orthogonal regular types.A stable theory is said to beCM-trivial if wheneverA⊆Band acl(Ac) ∩ acl(B) = acl(A) inTeq, then Cb(stp(c/A)) ⊆ Cb(stp(c/B)). ( An infinite stable field will not beCM-trivial.) The notion is due to Hrushovski [3], where he gave several equivalent definitions, as well as showing that his new strongly minimal sets constructed “ab ovo” wereCM-trivial. The notion was studied further in [6] where it was shown thatCM-trivial groups of finite Morley rank are nilpotent-by-finite. These results were generalized in various ways to the superstable case in [8]. (shrink)

We study finitely generated free Heyting algebras from a topological and from a model theoretic point of view. We review Bellissima’s representation of the finitely generated free Heyting algebra; we prove that it yields an embedding in the profinite completion, which is also the completion with respect to a naturally defined metric. We give an algebraic interpretation of the Kripke model used by Bellissima as the principal ideal spectrum and show it to be first order interpretable in (...) the Heyting algebra, from which several model theoretic and algebraic properties are derived. In particular, we prove that a free finitely generated Heyting algebra has only one set of free generators, which is definable in it. As a consequence its automorphism group is the permutation group over its generators. (shrink)

Human rights belong to individuals in virtue of their common humanity. Yet it is an important question whether human rights entail or comport with the possession of what I call group-specific rights, or rights that individuals possess only because they belong to a particular group. The Universal Declaration of Human Rights says they do. Article 15 asserts the right to nationality, or citizenship. Unless one believes that the only citizenship compatible with a universal human rights regime is cosmopolitan (...) citizenship in a world state – a conception of citizenship that is not countenanced by the UDHR – one must interpret the human right to citizenship as a universal right to a particular group right. Other UN Conventions affirm the right of national minorities and indigenous people to cultural autonomy.[1] In these cases the right attributed to the group is understood as protecting an individually held human right to freedom of religion, association, or cultural expression. Because these individual rights are exercised collectively and exclusively, they ensure that individual members of a particular group have the freedom to act unhindered by outsiders. However, groups often view their right to freedom of religion, association, and cultural expression in an entirely different way. Not only do they wish that their individual members be free from outside interference but they wish to be freely self-determining as a group. That is, they wish to collectively define their own identity, including the identity of their individual members, according to the dominant views of the majority. This right to collective self-determination entitles a group to limit the full exercise of its members’ human right to act as they wish whenever the group determines that this exercise endangers the identity of the group. In these cases, the internal threat to the group’s cultural identity posed by the heterodox practices of its own members appears to be indistinguishable from the external threat to the group’s cultural autonomy posed by outsiders. I shall argue that groups are sometimes morally entitled to limit the exercise of their members' human rights under certain conditions.[2] In some respects the notion of limitation operant here is familiar to us from our own understanding of what liberal democratic societies legitimately demand of their citizens. No right – human or otherwise – is exercised unconditionally, since rights sometimes conflict with one another and their possession is contingent upon respecting the rights of others, which normally involves accepting some limitations on what may be said or done. Laws merely codify how the majority understands these limits. Also, many philosophers have argued that the meaning of human rights is far from settled, so that even a liberal democratic interpretation of rights of the sort that is contained in the first article of the UDHR is far from being universally accepted.[3] Leaving aside the possibility that human rights do not entail the extensive liberty associated with a liberal understanding of them,[4] I shall argue that groups can sometimes be morally justified to limit the expressive liberty of their individual members so long as they are both ontologically and morally legitimate and provide dissenters with reasonable opportunities for exit. [1] These include the Convention Concerning Indigenous and Tribal Peoples in Independent Countries and the Declaration of Rights of Persons Belonging to National or Ethnic, Religious or Linguistic Minorities. [2] Following Thomas Pogge, I regard human rights as claims that individuals raise against institutions that are supposed to guarantee them the conditions and resources necessary for leading a minimally decent human life. Because institutions are imperfect and fallible, assessing their compliance with human rights involves weighing their overall success along a number of variables which normally preclude simple judgments that fall into the either/or of fully satisfying or fully violating a human right. An institution may perform reasonably well in insuring that almost all of the persons on whom it is imposed are relatively successful in enjoying human right X but not human right Y; likewise, it may insure that some persons on whom it is imposed have greater success in enjoying a human right than others. [3] Article 1 states that “All human beings are born free and equal in dignity and rights.” This article can be given a distinctly liberal interpretation if “equal” is understood as “same” and “rights” are understood in to include political rights to equal participation in government and “freedom to manifest his religion or belief in teaching practice, worship, and observance” “in public or private”. [4] There has been an extensive debate over whether human rights, understood as claims that individuals raise against the social institutions that are imposed on them, reflect a conception of individual self-assertion that is universally valid for all societies or only for liberal societies that have embarked upon a Western course of modernization. Some, like John Rawls, have sought to circumvent this impasse by defining the list of universally valid human rights minimally, and in terms that do not imply robust notions of freedom and equality of the sort associated with the Western liberal constitutional tradition. (shrink)

We investigate definable topological dynamics of groups definable in an o‐minimal expansion of the field of reals. Assuming that a definable group G admits a model‐theoretic analogue of Iwasawa decomposition, namely the compact‐torsion‐free decomposition, we give a description of minimal subflows and the Ellis group of its universal definable flow in terms of this decomposition. In particular, the Ellis group of this flow is isomorphic to. This provides a range of counterexamples to a question by Newelski (...) whether the Ellis group is isomorphic to. We further extend the results to universal topological covers of definable groups, interpreted in a two‐sorted structure containing the o‐minimal sort and a sort for an abelian group. (shrink)

In sentences with internal negation, Free Choice Inferences (FCIs) are cancelled (Chierchia 2013). The present study investigated the possibility that FCIs are negated, not cancelled, by external negation. In previous research, both Mandarin-speaking children and adults were found to license FCIs in affirmative sentences with a modal verb and the disjunction word huozhe ‘or’ (Zhou, Romoli & Crain 2103). The present study contrasted internal versus external negation in sentences that contained all the ingredients needed to license FCIs. Four experiments (...) were conducted using the Truth Value Judgment Task (Crain & Thornton 1998). Experiment 1 tested Mandarin-speaking children and adults using sentences with internal negation, a modal verb and disjunction. As expected, children did not license FCIs; rather, they assigned a ‘neither’ interpretation to disjunction. Also as expected, adults analyzed disjunction as taking scope over internal negation, yielding a ‘not both’ interpretation (Jing, Crain & Hsu 2005). Experiment 1 provided the benchmarks for sentences with external negation in Experiments 2-4. Experiment 2 confirmed that English-speaking adults distinguish between internal and external negation in sentences with disjunction. In Experiment 3, external negation was conveyed by the focus adverb zhiyou ‘only’. External negation eliminated the between-group differences observed in Experiment 1. Both children and adults analyzed external negation as taking scope over disjunction. Experiment 4 tested the effect of external negation on the computation of FCIs. The test sentences only differed from Experiment 1 by using external negation, rather than internal negation. Again, children and adults interpreted the test sentences in the same way. Most importantly, in contrast to Experiment 1 (with internal negation), both groups analysed external negation as negating, rather than cancelling, FCIs. The findings support the distinction between internal and external negation. (shrink)

Perspective taking has been proposed to be impaired in persons with autism spectrum disorder, especially when implicit processing is required. In narrative texts, language perception and interpretation is fundamentally guided by taking the perspective of a narrator. We studied perspective taking in the linguistic domain of so-called Free Indirect Discourse, during which certain text segments have to be interpreted as the thoughts or utterances of a protagonist without explicitly being marked as thought or speech representations of that protagonist. (...) Crucially, the correct interpretation of text segments as FID depends on the ability to detect which of the protagonists “stands out” against the others and is therefore identifiable as implicit thinker or speaker. This so-called “prominence” status of a protagonist is based on linguistic properties, in other words, the perspective is “hidden” and has to be inferred from the text material. In order to test whether this implicit perspective taking ability that is required for the interpretation of FID is preserved in persons with ASD, we presented short texts with three sentences to adults with and without ASD. In the last sentence, the perspective was switched either to the more or the less prominent of two protagonists. Participants were asked to rate the texts regarding their naturalness. Both diagnostic groups rated sentences with FID anchored to the less prominent protagonist as less natural than sentences with FID anchored to the more prominent protagonist. Our results that the high-level perspective taking ability in written language that is required for the interpretation of FID is well preserved in persons with ASD supports the conclusion that language skills are highly elaborated in ASD so that even the challenging attribution of utterances to protagonists is possible if they are only implicitly given. We discuss the implications in the context of claims of impaired perspective taking in ASD as well as with regard to the underlying processing of FID. (shrink)

This paper argues for the hypothesis of direct compositionality (as in, e.g., Montague 1974), according to which the combinatory syntactic rules specify a set of well-formed expressions while the semantic combinatory rules work in tandem to directly supply a model-theoretic interpretation to each expression as it is "built" in the syntax. (This thus obviates the need for any level like LF and, concomitantly, for any rules mapping surface structures to such a level.) I focus here on one related (...) class='Hi'>group of phenomena: the interaction of "paycheck" pronouns with Weak Crossover effects and i-within-i effects. These interactions were studied in Jacobson (1977) as they show up in Back-Peters sentences. There I argued that these interactions show that paycheck pronouns have a complex representation at LF; here I show that all of the observations in this earlier work are compatible with the hypothesis of direct compositionality. The key tool is the adoption of a variation-free semantics (a semantics which makes no use of variables as part of the semantic machinery). In addition to the general consequences for the syntax/semantics interface, there are two other main results. First, I provide new arguments for a variable-free semantics. For example, it will be shown that under this view the paycheck reading of a pronoun comes for free; most other theories posit additional mechanisms and/or an additional lexical meaning for pronouns, and thus paycheck and regular pronouns are only accidentally homophonous. Second, I reiterate one of the central points in Jacobson (1977): this is that the first pronoun in a Bach-Peters sentence is indeed a paycheck pronoun, and hence nothing special needs to be said about these sentences nor does any new machinery need to be invoked for them. (shrink)

We use a new, distinctly “geometrical” interpretation of non-relativistic quantum mechanics (NRQM) to argue for the fundamentality of the 4D blockworld ontology. We argue for a geometrical interpretation whose fundamental ontology is one of spacetime relations as opposed to constructive entities whose time-dependent behavior is governed by dynamical laws. Our view rests on two formal results: Kaiser (1981 & 1990), Bohr & Ulfbeck (1995) and Anandan, (2003) showed independently that the Heisenberg commutation relations of NRQM follow from the (...) relativity of simultaneity (RoS) per the Poincaré Lie algebra. And, Bohr, Ulfbeck & Mottelson (2004a & 2004b) showed that the density matrix for a particular NRQM experimental outcome may be obtained from the spacetime symmetry group of the experimental configuration. This shows how the blockworld view is not only consistent with NRQM, not only an implication of our geometrical interpretation of NRQM, but it is necessary in a non-trivial way for explaining quantum interference and “non-locality” from the spacetime perspective. Together the formal results imply that contrary to accepted wisdom, NRQM, the measurement problem and so-called quantum non-locality do not provide reasons to abandon the 4D blockworld implication of RoS. But rather, the deep non-commutative structure of the quantum and the deep structure of spacetime as given by the Minkowski interpretation of special relativity (STR) are deeply unified in a 4D spacetime regime that lies between Galilean spacetime (G4) and Minkowski spacetime (M4). Taken together the aforementioned formal results allow us to model NRQM phenomena such as interference without the need for realism about 3N Hilbert space, establishing that the world is really 4D and that configuration space is nothing more than a calculational device. Our new geometrical interpretation of NRQM provides a geometric account of quantum entanglement and so-called non-locality free of conflict with STR and free of interpretative mystery. In section 2 we discuss the various tensions between STR and NRQM with respect to the dimensionality of the world. Section 3 is devoted to an explication of the Kaiser et al. results and their philosophical implications. Likewise, the Bohr et al. results and their implications are the subject of section 4. In section 5, we present our geometric interpretation of quantum entanglement and “non-locality.”. (shrink)

What general conclusions can be drawn about the reception of zymase, its relation to the larger shift from a protoplasm to an enzyme theory of life, and its status as a social phenomenon?The most striking and to me unexpected pattern is the close correlation between attitude toward zymase and professional background. The disbelief of the fermentation technologists, Will, Delbrück, Wehmer, and even Stavenhagen, was as sharp and unanimous as the enthusiasm of the immunologists and enzymologists, Duclaux, Roux, Fernback, and Bertrand, (...) and of Pfeffer, the experimental plant physiologist. Other skeptics—Voit, Kupffer, and Fischer—were conservatives in traditional fields. In all these cases it seems clear that professional commitments and outlook profoundly influenced the reception of zymase.In some cases there is a correlation with a specific earlier statement favoring the protoplasm theory or predicting a fermentation enzyme. Reynolds Green is a striking case of both. In 1893 he stated his belief that life processes in higher plants and fungi were identical, both being mediated by protoplasm.109 Thus he claimed that digestion was not carried out by enzymes, as in higher animals, but by the whole protoplasm, and so too fermentation in yeast: “All the metabolic processes must be carried out in the unicellular organism in the same mass of protoplasm.”110 But Green also insisted that there was no essential difference between “organized” and “unorganized ferments”; enzymes were simply more highly differentiated and specialized forms of primitive protoplasm. He spoke of “the alcoholic ferment” (that is, enzyme), and of intracellular enzymes—very advanced beliefs for 1893. Thus it is understandable why Green saw no reason to doubt his first negative results with yeast juice, and rushed into print. But it is also understandable that he persisted and soon became an outspoken advocate of Buchner's view; like Wroblewski and Pfeffer, he had already accepted the idea of an intracellular fermentation enzyme.The physiological chemists also fit the pattern in a special way. Physiological chemistry is generally regarded as the source of biochemistry; indeed, many early biochemists were trained in physiological chemistry, and imbibed there a progressive interest in enzymes and metabolism. It is not surprising, therefore, that on the whole Neumeister, Madfadyen, Wroblewski, and Loew accepted cell-free fermentation. But what is surprising, and significant, is the diversity of opinion in this group, from Abeles' living protoplasm to Wroblewski's organized array of active proteins. The feelings of the physiological chemists were mixed, and there was enough of the old protoplasm view in Macfadyen's and even Wroblewski's views to allow Buchner to see them as attacks on zymase. The ideas of physiological chemistry were also changing; the idea of protoplasm was already adjusting to the new interest in enzymes in the early 1890's. But in contrast to immunochemistry, the change in physiological chemistry was gradual, uneven, undramatic, and relatively invisible. For the new biochemistry, the tradition of physiological chemistry was the source of traditional conservatism as well as of new ideas of enzymes.In general, then, I claim that it was not experimental facts that determined attitudes toward zymase so much as previous commitments, experience, and expectations. Initially, at least, zymase was less a determinant of opinion than a touchstone of pre-existing opinion. Like a prism, it revealed the spectrum of existing attitudes toward vital phenomena.Also relevant here is the fact that the experimental evidence was entirely ambiguous; the interpretation of Buchner's experiments with antiseptics or dried yeast depended entirely on how far one was willing to stretch the scope of the terms “protoplasm” and “enzyme”. Likewise, how important one judged the instability of zymase to be, or the low level of in vitro activity, depended largely on one's point of view. There was no crucial experiment, no certain proof. Logically zymase could be regarded as protoplasm. A. Fischer did so in 1900;111 Macfadyen was still wavering in 1907;112 and Beijerinck was holding out as late as 1916.113 There were undoubtedly others. Besides the special case of Reynolds Green and the technologists, there are no recorded cases of conversion.But if there was no evidence to convert a dedicated protoplasmist, there was plenty to encourage a dedicated belief in the enzyme theory, and that, I believe, is precisely what happened. The arguments of Buchner et al in support of zymase had the greatest effect not on the protoplasmists but on those who were already predisposed toward the biochemical view. The zymase debate enabled the emerging group of biochemists to recognizethemselves as a group with a community of out-look and objectives; it brought the issue of protoplasm vs. enzyme into the open and gave it a specific and concrete issue on which to turn. The debate sharpened the biochemists' awareness that their point of view was becoming the new mainstream of biochemical thought.All this of course had an important secondary effect on those who opposed the new view, or who were not immediately concerned with it. After the zymase debate, it would have been almost impossible to ignore the new ideas; the dramatic and wide publicity the debate enjoyed would have made it difficult not to take sides. Buchner's successful defense of zymase itself became an important influence on opinion; the new movement had to be looked at with respect. But the primary effect of the debate, I assert, was on those who were already inclined to the new view. The outcome was not a mass conversion of individuals, nor the ejection of one idea by another. The sides probably did not change much; the real change was in the way each side regarded itself and its place in history. The zymase debate may perhaps best be regarded as a process of selection. Buchner's party became aware of itself as the new progressive point of view, while those holding the traditional view could no longer expound it publicly without appearing obstinate or old-fashioned. Thus the way was clear for the gradually wider establishment of the new ideas, especially among the new generation of biochemists. In this specific sense, the acceptance of zymase was a social phenomenon.This way of looking at the zymase debate also illuminates its coincidence with the emergence of biochemistry as a profession. The new professional trappings and organizations were the social manifestation of the new self-awareness gained from the zymase controversy. One of the most important effects on those disposed toward the new view was the awareness of an intellectual community and of the need to give that community social forms. The almost mythical importance of Buchner's “victory” over the old protoplasm theory that later became current is readily understandable. It was a useful ideology for a group anxious to assert the novelty of their approach, a novelty which they in fact felt quite keenly.But if the primary effect of the zymase controversy was on those predisposed to accept zymase, then obviously the success of zymase depended on the fact that change had already begun to occur. Indeed, one of the most striking, and again unexpected, results of this study is the extent to which the importance of enzymes was already recognized in the early 1890's. The new immunology clearly pointed the way. Macfadyen and Hans Buchner were looking for active proteins inside the cell in 1893. Reynolds Green, Wroblewski, and Pfeffer had all anticipated the discovery of a fermentation enzyme. Other discoveries in enzymology in the 1890's pointed the same way.114 Moreover, it is clear from this study that the old protoplams theory was adapting to the new discoveries concerning the importance of enzymes. The sidechains of the old protoplasm molecule were simply reinterpreted as enzymes, as in Wroblewski's theory, for example, or in Paul Ehrlich's extremely influential “sidechain theory” of antibody formation (1897). Despite the later views of Hopkins et al., the old protoplasm and the new enzyme theories were not irreconcilable; a continuity of development had already begun when zymase came so dramatically on the scene. Buchner himself observed that the difference between the two views had become largely verbal; in retrospect we might say, not verbal, but social and historical. The gap between the continuous change in ideas and the contemporary feeling of sharply discontnuous change is a measure of the elusive but real social and historical implications of the zymase debate, of the demise of an old establishment, and the emergence of a new.In retrospect, then, it is clear that a trend was already under way in various quarters when zymase appeared. But it was still a collection of isolated and dispersed events. The zymase controversy made the trend visible and gave it a dramatic unity. The debate influenced those who had already begun to change. It was so effective because things had begun to change and because it coincided with the direction of that trend. (shrink)

Bertrand Russell introduced several novel ideas in his 1903 Principles of Mathematics that he later gave up and never went back to in his subsequent work. Two of these are the related notions of denoting concepts and classes as many. In this paper we reconstruct each of these notions in the framework of conceptual realism and connect them through a logic of names that encompasses both proper and common names, and among the latter, complex as well as simple common names. (...) Names, proper or common, and simple or complex, occur as parts of quantifier phrases, which in conceptual realism stand for referential concepts, i.e., cognitive capacities that inform our speech and mental acts with a referential nature and account for the intentionality, or directedness, of those acts. In Russell’s theory, quantifier phrases express denoting concepts (which do not include proper names). In conceptual realism, names, as well as predicates, can be nominalized and allowed to occur as "singular terms", i.e., as arguments of predicates. Occurring as a singular term, a name denotes, if it denotes at all, a class as many, where, as in Russell’s theory, a class as many of one object is identical with that one object, and a class as many of more than one object is a plurality, i.e., a plural object that we call a group. Also, as in Russell’s theory, there is no empty class as many. When nominalized, proper names function as "singular terms" just the way they do in so-called free logic. Leśniewski’s ontology, which is also called a logic of names can be completely interpreted within this conceptualist framework, and the well-known oddities of Leśniewski’s system are shown not to be odd at all when his system is so interpreted. Finally, we show how the pluralities, or groups, of the logic of classes as many can be used as the semantic basis of plural reference and predication. We explain in this way Russell’s "fundamental doctrine upon which all rests", i.e., "the doctrine that the subject of a proposition may be plural, and that such plural subjects are what is meant by classes [as many] which have more than one term" (Russell 1938, p. 517). (shrink)

An Abelian group G is strongly λ -free iff G is L ∞, λ -equivalent to a free Abelian group iff the isomorphism player has a winning strategy in an Ehrenfeucht–Fraı̈ssé game of length ω between G and a free Abelian group. We study possible longer Ehrenfeucht–Fraı̈ssé games between a nonfree group and a free Abelian group. A group G is called ε -game-free if the isomorphism player has a (...) winning strategy in an Ehrenfeucht–Fraı̈ssé game of length ε between G and a free Abelian group. We prove in ZFC existence of nonfree ε -game-free groups for many successors of regular cardinals. We also show that the length of the game obtained is very close to the optimal length provable in ZFC alone. On the other hand, assuming existence of a Mahlo cardinal, we sketch a proof that it is consistent to have a very highly game-free still nonfree group. First we present an introduction to basic constructions and then we introduce some results concerning the standard tools for building more complicated groups, namely transversals and λ -systems. It follows that all the constructions generalize to algebras in a fixed variety satisfying the strong construction principle. (shrink)

Corpus linguistics is becoming a respected method of statutory and constitutional interpretation in the United States over the past decade, yet it has also generated a backlash from a group of scholars that engage in empirical work. This essay attempts to demonstrate both the contributions and the risks of using linguistic corpora as a primary tool in legal interpretation. Its legitimacy stems from the fact that courts routinely state that statutory terms, when not defined as a matter (...) of law, are to be given their ordinary meaning. Judges have responded to this challenge, with the assistance of the linguistics community, by using corpora to determine which meanings are ordinary. However, legal analysts have not determined exactly what makes one meaning ordinary and another not ordinary. This gap has led to a level of disagreement in the field. Moreover, while linguists who engage in corpus linguistic analysis typically emphasize the importance of context, the legal application is peculiarly context-free, in keeping with legal philosophies that eschew reliance on reference to a law’s purpose and the intent of the legislature that enacted it. This move adds a political dimension to corpus analysis as a means of legal interpretation. Yet, the article concludes that by relying on a blend of general and specialized corpora, the legal system can substantially reduce the problem of contextualization, as some linguists and practitioners have already recognized. (shrink)

We strengthen nonstructure theorems for almost free Abelian groups by studying long Ehrenfeucht–Fraı̈ssé games between a fixed group of cardinality λ and a free Abelian group. A group is called ε -game-free if the isomorphism player has a winning strategy in the game of length ε ∈ λ . We prove for a large set of successor cardinals λ = μ + the existence of nonfree -game-free groups of cardinality λ . We concentrate (...) on successors of singular cardinals. (shrink)

We prove an Ax-Kochen-Ershov like transfer principle for groups acting on groups. The simplest case is the following: let B be a soluble group acting on an abelian group G so that G is a torsion-free divisible module over the group ring Z[B], then the theory of B determines the one of the two-sorted structure $\langle G, B, *\rangle$ , where * is the action of B on G. More generally, we show a similar principle for (...) structures $\langle G, B, *\rangle$ , where G is a torsion-free divisible module over the quotient of Z[B] by the annulator of G. Two applications come immediately from this result: First, for not necessarily commutative domains, where we consider the action of a subgroup of the invertible elements on the additive group. We obtain then the decidability of a weakened structure of ring, with partial multiplication. The second application is to pure groups. The semi-direct product of G by B is bi- interpretable with our structure $\langle G, B, *\rangle$ . Thus, we obtain stable decidable groups that are not linear over a field. (shrink)

We prove that any torsion-free, residually finite relatively free group of infinite rank is not \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\aleph_1}$$\end{document} -homogeneous. This generalizes Sklinos’ result that a free group of infinite rank is not \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\aleph_1}$$\end{document} -homogeneous, and, in particular, gives a new simple proof of that result.

In this controversial and provocative book, Mary Anne Franks examines the thin line between constitutional fidelity and constitutional fundamentalism. The Cult of the Constitution reveals how deep fundamentalist strains in both conservative and liberal American thought keep the Constitution in the service of white male supremacy. Constitutional fundamentalists read the Constitution selectively and self-servingly. Fundamentalist interpretations of the Constitution elevate certain constitutional rights above all others, benefit the most powerful members of society, and undermine the integrity of the document as (...) a whole. The conservative fetish for the Second Amendment (enforced by groups such as the NRA) provides an obvious example of constitutional fundamentalism; the liberal fetish for the First Amendment (enforced by groups such as the ACLU) is less obvious but no less influential. Economic and civil libertarianism have increasingly merged to produce a deregulatory, "free-market" approach to constitutional rights that achieves fullest expression in the idealization of the Internet. The worship of guns, speech, and the Internet in the name of the Constitution has blurred the boundaries between conduct and speech and between veneration and violence. But the Constitution itself contains the antidote to fundamentalism. The Cult of the Constitution lays bare the dark, antidemocratic consequences of constitutional fundamentalism and urges readers to take the Constitution seriously, not selectively. (shrink)

International institutions are facing increasing criticism of the legitimacy of their authority. But what does it mean for an international institution to be legitimate? Arthur Applbaum’s latest book provides a convincing new concept of legitimacy, namely, the power-liability view, and a new normative conception, the free group agent account. However, it is not clear how they can be applied to the international level. First, this paper examines how different concepts of legitimacy can be applied to international institutions. Second, (...) it assesses three different conceptions of legitimacy, namely, the service conception, Applbaum’s free group agent account and the autonomy-based conception for the international level. It outlines how on the last conception, international institutions’ legitimacy depends on three different aspects required to protect autonomy: the political power of the institution; its purpose; and its relation to other institutions. Finally, the paper argues that the creation of an international institution should be seen as part of relational legitimacy and that state consent plays an important role to protect the political autonomy of peoples. (shrink)

Let be a countable first order structure and endow the universe of with the discrete topology. Then the automorphism group of becomes a topological group. A tuple of automorphisms is defined to be weakly generic iff its diagonal conjugacy class (in the algebraic sense) is dense (in the topological sense) and the ‐orbit of each is finite. Existence of tuples of weakly generic automorphisms are interesting from the point of view of model theory as well as from the (...) point of view of finite combinatorics.The main results of the present work are as follows. In Theorem 2.6 we characterize the existence of tuples of weakly generic automorphisms with the aid of the profinite topology of free groups. In Corollary 2.12 we will show that if has finite topological rank r (and satisfies a further, mild technical condition) then the existence of a weakly generic tuple in implies the existence of weakly generic tuples in for all natural number. Finally, in Theorem 3.2 we show that if is a countable model of an ℵ0‐categorical, simple theory in which all types over the empty set are stationary and has a pair of weakly generic automorphisms then it has tuples of weakly generic automorphisms of arbitrary finite length.At the technical level we will combine elementary investigations about the profinite topology of free groups with the results of [11] about topological ranks of the automorphism groups of some structures. (shrink)

In this critical comment, we argue that nondemocratic, but decent regimes fail to constitute legitimate governance under Applbaum’s free group agency account. To make this case, we first introduce the three principles of liberty, equality and agency that Applbaum takes to flow directly from his free agency conception of legitimacy. Against this backdrop, we discuss Applbaum’s claim that a nondemocratic regime along the lines of a Rawlsian decent consultation hierarchy could meet the threshold of legitimacy. Contrary to (...) this suggestion, we argue that nondemocratic, but decent regimes cannot claim legitimacy under Applbaum’s account because they are constitutively inegalitarian, thus failing to adequately grant citizens the equal normative power without which legitimacy is unattainable under the free group agency account. (shrink)

In this paper we give short proofs to the undecidability of the τ-theory for free groups and other relevant theories.

Write F(X) for the free group generated by X. We show that the statement for infinite sets is equivalent to the Axiom of Choice, whereas the statement is strictly weaker than the Axiom of Choice.

We study countable universes similar to a free action of a group G. It turns out that this is equivalent to the study of free semi-actions of G, with two universes being transformable iff one corresponding free semi-action can be obtained from the other by a finite alteration. In the case of a free group G (in finitely many or countably many generators), a classification is given.

This book provides an interdisciplinary perspective on one of the most fascinating and important open questions in science: What is quantum mechanics talking about? Quantum theory is perhaps our best confirmed physical theory. However, despite its great empirical effectiveness and the subsequent technological developments that it gave rise to in the 20th century, from the interpretation of the periodic table of elements to CD players, holograms and quantum state teleportation, it stands even today without a universally accepted interpretation. (...) The novelty of the book comes from the multiple viewpoints and subjects investigated by a group of researchers from Europe and North and South America. (shrink)

We use hyperbolic towers to answer some model-theoretic questions around the generic type in the theory of free groups. We show that all the finitely generated models of this theory realize the generic type $p_{0}$ but that there is a finitely generated model which omits $p^{}_{0}$. We exhibit a finitely generated model in which there are two maximal independent sets of realizations of the generic type which have different cardinalities. We also show that a free product of homogeneous (...) groups is not necessarily homogeneous. (shrink)

We answer a question raised in [9], that is whether the infinite weight of the generic type of the free group is witnessed in F ω . We also prove that the set of primitive elements in finite rank free groups is not uniformly definable. As a corollary, we observe that the generic type over the empty set is not isolated. Finally, we show that uncountable free groups are not N₁-homogeneous.

We give some lower bounds on the Shelah rank of varieties in the free group whose coordinate groups are hyperbolic towers.

In this short note we prove that a definable set X over is superstable only if.

In 1958 J. Lambek introduced a calculusL of syntactic types and defined an equivalence relation on types: x y means that there exists a sequence x=x1,...,xn=y (n 1), such thatx i x i+1 or xi+ x i (1 i n). He pointed out thatx y if and only if there is joinz such thatx z andy z. This paper gives an effective characterization of this equivalence for the Lambeck calculiL andLP, and for the multiplicative fragments of Girard's and Yetter's linear (...) logics. Moreover, for the non-directed Lambek calculusLP and the multiplicative fragment of Girard's linear logic, we present linear time algorithms deciding whether two types are equal, and finding a join for them if they are. (shrink)

We consider interpretable topological spaces and topological groups in a p-adically closed field K. We identify a special class of “admissible topologies” with topological tameness properties like generic continuity, similar to the topology on definable subsets of Kn. We show that every interpretable set has at least one admissible topology, and that every interpretable group has a unique admissible group topology. We then consider definable compactness (in the sense of Fornasiero) on interpretable groups. We show that an interpretable (...) group is definably compact if and only if it has finitely satisfiable generics (fsg), generalizing an earlier result on definable groups. As a consequence, we see that fsg is a definable property in definable families of interpretable groups, and that any fsg interpretable group defined over Qp is definably isomorphic to a definable group. (shrink)

It is common to ascribe agency to some organized collectives, such as corporations, courts, and states, and to treat them as loci of responsibility, over and above their individual members. But since responsibility is often assumed to require free will, should we also think that group agents have free will? Surprisingly, the literature contains very few in-depth discussions of this question. The most extensive defence of corporate free will that I am aware of (Hess [2014], “The (...) Free Will of Corporations (and Other Collectives)”, Philosophical Studies 168 (1): 241–260) rests on a compatibilist understanding which takes reasons-responsiveness and acting from one’s own ‘actional springs’ as key conditions for free will but says little about a condition that free-will libertarians emphasize: the possibility of doing otherwise. In this paper, I will argue that group agents can have free will not only in a (less demanding) compatibilist sense, but also in a recognizably libertarian sense, which includes the possibility of doing otherwise. In developing this account of corporate free will, I will bring together recent work on group agency and recent work on free will. (shrink)

In this chapter I identify three problems affecting the plausibility of group privacy and argue in favour of their resolution. The first problem concerns the nature of the groups in question. I shall argue that groups are neither discovered nor invented, but designed by the level of abstraction (LoA) at which a specific analysis of a social system is developed. Their design is therefore justified insofar as the purpose, guiding the choice of the LoA, is justified. This should remove (...) the objection that groups cannot have a right to privacy because groups are mere artefacts (there are no groups, only individuals) or that, even if there are groups, it is too difficult to deal with them. The second problem concerns the possibility of attributing rights to groups. I shall argue that the same logic of attribution of a right to individuals may be used to attribute a right to a group, provided one modifies the LoA and now treats the whole group itself as an individual. This should remove the objection that, even if groups exist and are manageable, they cannot be treated as holders of rights. The third problem concerns the possibility of attributing a right to privacy to groups. I shall argue that sometimes it is the group and only the group, not its members, that is correctly identified as the correct holder of a right to privacy. This should remove the objection that privacy, as a group right, is a right held not by a group as a group but rather by the group’s members severally. The solutions of the three problems supports the thesis that an interpretation of privacy in terms of a protection of the information that constitutes an individual—both in terms of a single person and in terms of a group—is better suited than other interpretations to make sense of group privacy. (shrink)

According to the free energy principle all living systems aim to minimise free energy in their sensory exchanges with the environment. Processes of free energy minimisation are thus ubiquitous in the biological world. Indeed it has been argued that even plants engage in free energy minimisation. Not all living things however feel alive. How then did the feeling of being alive get started? In line with the arguments of the phenomenologists, I will claim that every feeling (...) must be felt by someone. It must have mineness built into it if it is to feel a particular way. The question I take up in this paper asks how mineness might have arisen out of processes of free energy minimisation, given that many systems that keep themselves alive lack mineness. The hypothesis I develop in this paper is that the life of an organism can be seen as an inferential process. Every living system embodies a probability distribution conditioned on a model of the sensory, physiological, and morphological states that are highly probably given the life it leads and the niche it inhabits. I argue for an ecological and enactive interpretation of free energy. I show how once the life of an organism reaches a certain level of complexity mineness emerges as an intrinsic part of the process of life itself. (shrink)