Given a structure for a first-order language L, two objects of its domain can be indiscernible relative to the properties expressible in L, without using the equality symbol, and without actually being the same. It is this relation that interests us in this paper. It is called Leibniz equality. In the paper we study systematically the problem of its definibility mainly for classes of structures that are the models of some equality-free universal Horn class in an (...) infinitary language Lκκ, where κ is an infinite regular cardinal. (shrink)

The dual character of invariance under transformations and definability by some operations has been used in classical works by, for example, Galois and Klein. Following Tarski, philosophers of logic have claimed that logical notions themselves could be characterized in terms of invariance. In this article, we generalize a correspondence due to Krasner between invariance under groups of permutations and definability in L∞∞ so as to cover the cases that are of interest in the logicality debates, getting McGee’s theorem about quantifiers (...) invariant under all permutations and definability in pure L∞∞ as a particular case. We also prove some optimality results along the way, regarding the kinds of relations which are needed so that every subgroup of the full permutation group is characterizable as a group of automorphisms. (shrink)

A provocative case for the inherently political nature of language In The Politics of Language, David Beaver and Jason Stanley present a radical new approach to the theory of meaning, offering an account of communication in which political and social identity, affect, and shared practices play as important a role as information. This new view of language, they argue, has dramatic consequences for free speech, democracy, and a range of other areas in which speech plays a central role. Drawing (...) on a wealth of disciplines, The Politics of Language argues that the function of speech—whether in dialogue, larger group interactions, or mass communication—is to attune people to something, be it a shared reality, emotion, or identity. Reconceptualizing the central ideas of pragmatics and semantics, Beaver and Stanley apply their account to a range of phenomena that defy standard frameworks in linguistics and philosophy of language—from dog whistles and covert persuasion to echo chambers and genocidal speech. The authors use their framework to show that speech is inevitably political because all communication is imbued with the resonances of particular ideologies and their normative perspectives on reality. At a time when democracy is under attack, authoritarianism is on the rise, and diversity and equality are being demanded, The Politics of Language offers a powerful new vision of the language of politics, ideology, and protest. (shrink)

The no-free-lunch theorems promote a skeptical conclusion that all possible machine learning algorithms equally lack justification. But how could this leave room for a learning theory, that shows that some algorithms are better than others? Drawing parallels to the philosophy of induction, we point out that the no-free-lunch results presuppose a conception of learning algorithms as purely data-driven. On this conception, every algorithm must have an inherent inductive bias, that wants justification. We argue that many standard learning algorithms (...) should rather be understood as model-dependent: in each application they also require for input a model, representing a bias. Generic algorithms themselves, they can be given a model-relative justification. (shrink)

As neuroscience progresses, we will not only gain a better understanding of how our brains work, but also a better understanding of how to modify them, and as a result, our mental states. An important question we are faced with is whether the state could be justified in implementing such methods on criminal offenders, without their consent, for the purposes of rehabilitation and reduction of recidivism; a practice that is already legal in some jurisdictions. By focusing on a prominent type (...) of view of free action, which I call bypassing views, this paper evaluates how such interventions may negatively impact the freedom of their subjects. The paper concludes that there will be a tension between the goals of rehabilitation and reduction of recidivism, on the one hand, and the negative impact such interventions may have on free action, on the other. Other things equal, the better that a particular intervention is at achieving the former, the more likely it is to result in the latter. (shrink)

In the first two chapters, Cohen deals with justice, freedom, and equality without mention of self-ownership, offering a devastating critique of the libertarian claim that despite great economic inequality, laissez-faire capitalism is the most just society because it is the most free. The assumption, made by liberals as well as libertarians, that we have to choose between liberty and equality fails to acknowledge that a system based on large-scale private property entails the unfreedom of the majority without (...) property. Cohen shows the libertarian claims to rest on circularity and on abuse of the ordinary language of freedom. (shrink)

It is frequently noted that a “crisis in language” accompanied the profound changes in human consciousness everywhere evident near the turn of the century. As the nature of reality itself became problematic—or at least suspect, distrusted for its imposition of limits upon individual imagination—so, necessarily, did the relationship of language to reality. Thus in the later nineteenth century, the adequacy of an essentially standardized form of “classical” writing was increasingly questioned as an effective vehicle for artistic expression: even though often (...) in “elevated” form, such writing bore too close a connection to ordinary discourse. Indeed, it was precisely the mutually shared, conventional aspects of language that came to be most deeply distrusted for their failure to mirror the more subjective, obscure, and improbable manifestations of a transcendent reality or, rather, realities—the plural reflecting an insistence upon the optional and provisional nature of human experience. Language in its normal manifestations—with its conventionalized vocabulary and standardized rules for syntactical combination—proved inadequate for an artistic sensibility demanding, in Friedrich Nietzsche’s words, “a world of abnormally drawn perspectives.”This dissatisfaction with “normal” language received its classic statement through Hugo von Hofmannsthal’s Lord Chandos. Writing in 1902, Hofmannsthal conveys through the figure of the aristocratic Chandos the loss of an encompassing framework within which the various objects of external reality are connected with one another and integrated with the internal reality of human feelings. Chandos’ world has become one of disparate, disconnected fragments, resistant to the abstractions of ordinary language. It is a world characterized by “a sort of feverish thought, but thought in a material that is more immediate, more fluid, and more intense than that of language.” Chandos longs for a new language in which not a single word is known to me, a language in which mute objects speak to me and in which perhaps one day, in the grave, I will give account of myself before an unknown judge.”2 The content and forms of art thus shifted away from exterior reality, which no longer provided a stable, “given” material, toward language itself—to “pure” language in a sense closely related to the symbolists’ “pure” poetry. “No artist tolerates reality,” Nietzsche proclaimed.3 And Gustave Flaubert’s farsighted advice to himself was that he should write “a book about nothing, a book dependent on nothing external, which would be held together by the internal strength of its style.”4 2. Hugo von Hofmannsthal, “Ein Brief,” Gesammelte Werke, ed. Bernd Schoeller with Rudolf Hirsch, 10 vols. , 7:471-72; my translation. All further translations are my own unless otherwise indicated.3. Friedrich Nitzsche, Complete Works, ed. Oscar Levy, 18 vols. , vol. 15, The Will to Power, trans. Anthony M. Ludovici, p. 74.4. Gustave Flaubert, Flaubert to Louise Colet, 16 Jan. 1852, The Letters of Gustave Flaubert 1830-1857, ed. and trans. Francis Steegmuller , p. 154. Other passages in this letter are equally remarkable for their “modernist” tone. Flaubert argues that from the standpoint of l’Art pur, “one might almost establish the axiom that there is no such thing as subject—style in itself being an absolute manner of seeing things” . Further:The finest works are those that contain the least matter; the closer expression comes to thought, the closer language comes to coinciding and merging with it, the finer the result. I believe the future of Art lies in this direction. I see it, as it has developed from its beginnings, growing progressively more ethereal …. Form, in becoming more skillful, becomes attenuated, it leaves behind all liturgy, rule, measure; the epic is discarded in favor of the novel, verse in favor of prose; there is no longer any orthodoxy, and form is as free as the will of its creator. This progressive shedding of the burden of tradition can be observed everywhere: governments have gone through similar evolution, from oriental despotisms to the socialisms of the future. [P. 154] Robert P. Morgan, professor of music at the University of Chicago, is currently writing a history of twentieth-century music and working on a study of form in nineteenth-century music. His previous contributions to Critical Inquiry are “On the Analysis of Recent Music” and “Musical Time/Musical Space”. (shrink)

This paper is a continuation of [27], where we provide the background and the basic tools for studying the structural properties of classes of models over languages without equality. In the context of such languages, it is natural to make distinction between two kinds of classes, the so-called abstract classes, which correspond to those closed under isomorphic copies in the presence of equality, and the reduced classes, i.e., those obtained by factoring structures by their largest congruences. (...) The generic problem described in [27] is to investigate under what conditions this reduction process does not alter the metatheory of a class. Here we focus our attention on a concrete aspect of this generic problem that we import from universal algebra, namely the existence and description of free models. As in [27], we can find here again the basic notion of protoalgebraicity, which was originally introduced in [7] as the weakest condition to guarantee that the reduction process behaves reasonably well from an algebraic point of view. Our concern, however, takes us to handle a further notion, that of semialgebraicity, which corresponds to the notion of equivalential logic of [18]; semialgebraicity turns out to be the property which ensures that freeness is fully preserved by the reduction process. (shrink)

During this period, when disciples were growing in number, a grievance arose on the part of those who spoke Greek, against those who spoke the language of the Jews; they complained that their widows were being overlooked in the daily distribution. When Americans think of ethnic conflict, conflict between blacks and whites comes to mind most immediately. Yet ethnic conflict is pervasive around the world. Azerbijanis and Turks in the Soviet Union; Catholics and Protestants in Northern Ireland; Arabs and Jews (...) in the Middle East; Maoris and English settlers in New Zealand; Muslims and Hindus in India and Pakistan; French and English speakers in Quebec; Africans, Afrikaaners, and mixed-race people in South Africa, in addition to the tribal warfare among the Africans themselves: these are just a few of the more obvious conflicts currently in the news. We observe an even more dizzying array of ethnic conflicts if we look back just a few years. Japanese and Koreans; Mongols and Chinese; Serbs and Croats; Christians and Buddhists in Viet Nam: these ancient antagonisms are not immediately in the news, but they could erupt at any time. And the history of the early Christian Church recounted in the Acts of the Apostles reminds us that suspicion among ethnic groups is not a modern phenomenon; rather, it is ancient. The present paper seeks to address the problem of ethnic conflict in modern western democracies. How can our tools and traditions of participatory governments, relatively free markets, and the common law contribute to some resolution of the ancient problems that we find within our midst? In particular, I want to focus here on the question of ethnic integration. (shrink)

During this period, when disciples were growing in number, a grievance arose on the part of those who spoke Greek, against those who spoke the language of the Jews; they complained that their widows were being overlooked in the daily distribution. When Americans think of ethnic conflict, conflict between blacks and whites comes to mind most immediately. Yet ethnic conflict is pervasive around the world. Azerbijanis and Turks in the Soviet Union; Catholics and Protestants in Northern Ireland; Arabs and Jews (...) in the Middle East; Maoris and English settlers in New Zealand; Muslims and Hindus in India and Pakistan; French and English speakers in Quebec; Africans, Afrikaaners, and mixed-race people in South Africa, in addition to the tribal warfare among the Africans themselves: these are just a few of the more obvious conflicts currently in the news. We observe an even more dizzying array of ethnic conflicts if we look back just a few years. Japanese and Koreans; Mongols and Chinese; Serbs and Croats; Christians and Buddhists in Viet Nam: these ancient antagonisms are not immediately in the news, but they could erupt at any time. And the history of the early Christian Church recounted in the Acts of the Apostles reminds us that suspicion among ethnic groups is not a modern phenomenon; rather, it is ancient. The present paper seeks to address the problem of ethnic conflict in modern western democracies. How can our tools and traditions of participatory governments, relatively free markets, and the common law contribute to some resolution of the ancient problems that we find within our midst? In particular, I want to focus here on the question of ethnic integration. (shrink)

Infants have been described as 'statistical learners' capable of extracting structure (such as words) from patterned input (such as language). Here, we investigated whether prior knowledge influences how infants track transitional probabilities in word segmentation tasks. Are infants biased by prior experience when engaging in sequential statistical learning? In a laboratory simulation of learning across time, we exposed 9- and 10-month-old infants to a list of either disyllabic or trisyllabic nonsense words, followed by a pause-free speech stream composed of (...) a different set of disyllabic or trisyllabic nonsense words. Listening times revealed successful segmentation of words from fluent speech only when words were uniformly disyllabic or trisyllabic throughout both phases of the experiment. Hearing trisyllabic words during the pre-exposure phase derailed infants' abilities to segment speech into disyllabic words, and vice versa. We conclude that prior knowledge about word length equips infants with perceptual expectations that facilitate efficient processing of subsequent language input. (shrink)

Our visual environment is highly predictable in terms of where and in which locations objects can be found. Based on visual experience, children extract rules about visual scene configurations, allowing them to generate scene knowledge. Similarly, children extract the linguistic rules from relatively predictable linguistic contexts. It has been proposed that the capacity of extracting rules from both domains might share some underlying cognitive mechanisms. In the present study, we investigated the link between language and scene knowledge development. To do (...) so, we assessed whether preschool children with Developmental Language Disorder, who present several difficulties in the linguistic domain, are equally attracted to object-scene inconsistencies in a visual free-viewing task in comparison with age-matched children with Typical Language Development. All children explored visual scenes containing semantic, syntactic, or both inconsistencies. Since scene knowledge interacts with image properties to guide gaze allocation during visual exploration from the early stages of development, we also included the objects’ saliency rank in the analysis. The results showed that children with DLD were less attracted to semantic and syntactic inconsistencies than children with TLD. In addition, saliency modulated syntactic effect only in the group of children with TLD. Our findings indicate that children with DLD do not activate scene knowledge to guide visual attention as efficiently as children with TLD, especially at the syntactic level, suggesting a link between scene knowledge and language development. (shrink)

We provide a new proof of the following Pałasińska's theorem: Every finitely generated protoalgebraic relation distributive equality free quasivariety is finitely axiomatizable. The main tool we use are ${\mathcal{Q}}$ Q -relation formulas for a protoalgebraic equality free quasivariety ${\mathcal{Q}}$ Q . They are the counterparts of the congruence formulas used for describing the generation of congruences in algebras. Having this tool in hand, we prove a finite axiomatization theorem for ${\mathcal{Q}}$ Q when it has definable principal (...) ${\mathcal{Q}}$ Q -subrelations. This is a property obtained by carrying over the definability of principal subcongruences, invented by Baker and Wang for varieties, and which holds for finitely generated protoalgebraic relation distributive equality free quasivarieties. (shrink)

This paper is a contribution to the study of equality-free logic, that is, first-order logic without equality. We mainly devote ourselves to the study of algebraic characterizations of its relation of elementary equivalence by providing some Keisler-Shelah type ultrapower theorems and an Ehrenfeucht-Fraïssé type theorem. We also give characterizations of elementary classes in equality-free logic. As a by-product we characterize the sentences that are logically equivalent to an equality-free one.

Notice that this paper has not claimed that all natural languages are CFL's. What it has shown is that every published argument purporting to demonstrate the non-context-freeness of some natural language is invalid, either formally or empirically or both.18 Whether non-context-free characteristics can be found in the stringset of some natural language remains an open question, just as it was a quarter century ago.Whether the question is ultimately answered in the negative or the affirmative, there will be interesting (...) further questions to ask. If it turns out that natural languages are indeed always CFL's, it will be reasonable to ask whether this helps to explain why speakers apparently recognize so quickly whether a presented utterance corresponds to a grammatical sentence or not, and to associate structural and semantic details with it. It might also be reasonable to speculate about the explanation for the universally context-free character of the languages used by humans, and to wonder whether evolutionary biological factors are implicated in some way (Sampson (1979) could be read in this light). And naturally, it will be reasonable to pursue the program put forward by Gazdar (1981, in press) to see to what extent CFL-inducing grammatical devices can be exploited to yield insightful descriptions of natural languages that capture generalizations in revealing ways.If a human language that is not a CFL is proved to exist, on the other hand, a different question will be raised: give the non-context-free character of human languages in general, why has this property been so hard to demonstrate that it has taken over twenty-five years to bring it to light since the issue was first explicitly posed? If human languages do not have to be CFL's, why do so many (most?) of them come so close to having the property of context-freeness? And, since the CFL's certainly constitute a very broad class of mathematically natural and computationally tractable languages, what property of human beings or their communicative or cognitive needs is it that has caused some linguistic communities to reach beyond the boundaries of this class in the course of evolving a linguistic system?Either way, we shall be interested to see our initial question resolved, and further questions raised. One cautionary word should be said, however, about the implications (or lack of them) that the answer will have for grammatical studies. Chomsky has repeatedly stated that he does not see weak generative capacity as a theme of central importance in the theory of grammar, and we agree. It is very far from being the case that the recent resurgence of interest in exploring the potential of CF-PSG or equivalent systems will, or should, be halted dead in its tracks by the discovery (if it is ever forthcoming) that some natural language is not a CFL. In the area of parsing, for instance, it seems possible that natural languages are not only parsed on the basis of constituent structure such as a CF-PSG would assign, but are parsed as if they were finite state languages (see Langendoen (1975) and Church (1980) for discussion along these lines). That is, precisely those construction-types that figure in the various proofs that English is not an FSL appear to cause massive difficulty in the human processing system; the sentences crucial to the proofs are for the most part unprocessable unless they are extremely short (yet the arguments for English not being and FSL only go through if length is not an issue). This means that in practice properties of finite state grammars are still of great potential importance to linguistic theory despite the fact that they do not provide the framework for defining the total class of grammatical sentences. The same would almost certannly be true of CF-PSG's if they were shown to be inadequate in a similar sense. It is highly unlikely that the advances made so far in far in phrase structure description could be nullified by a discovery about weak generative capacity. Moreover, there are known to be numerous ways in which the power of CF-PSG's can be marginally enhanced to permit, for example, xx languages to be generated without allowing anything like the full class of recursively enumerable or even context-sensitive languages (see Hopcroft and Ullmann (1979), Chapter 14) for an introduction to this topic, noting especially Figure 14.7 on p. 393. The obvious thing to do if natural languages were ever shown not to be CFL's in the general case would be to start exploring such minimal enhancements of expressive power to determine exactly what natural languages call for in this regard and how it could be effectively but parsimoniously provided in a way that closely modelled human linguistic capacities.In the meantime, it seems reasonable to assume that the natural languages are a proper subset of the infinite-cardinality CFL's until such time as they are validly shown not to be. (shrink)

We prove the following preservation theorem for the Horn fragment of Equality-free Logic:Theorem 0.1. For any sentence σ ϵ L, the following are equivalent:i ) σ is preserved under Hs, Hs -1 and PR.i i ) σ is logically equivalent to an equality-free Horn sentence.

Proof assistants are software-based tools that are used in the mechanization of proof construction and validation in mathematics and computer science, and also in certified program development. Different such tools are being increasingly used in order to accelerate and simplify proof checking, and the Coq proof assistant is one of the most well known and used in large-scale projects. Language and automata theory is a well-established area of mathematics, relevant to computer science foundations and information technology. In particular, context-free (...) language theory is of fundamental importance in the analysis, design, and implementation of computer programming languages. This work describes a formalization effort, using the Coq proof assistant, of fundamental results of the classical theory of contextfree grammars and languages. These include closure properties (union, concatenation, and Kleene star), grammar simplification (elimination of useless symbols, inaccessible symbols, empty rules, and unit rules), the existence of a Chomsky Normal Form for context-free grammars and the Pumping Lemma for context-free languages. The result is an important set of libraries covering the main results of context-free language theory, with more than 500 lemmas and theorems fully proved and checked. As it turns out, this is a comprehensive formalization of the classical context-free language theory in the Coq proof assistant and includes the formalization of the Pumping Lemma for context-free languages. The perspectives for the further development of this work are diverse and can be grouped in three different areas: inclusion of new devices and results, code extraction, and general enhancements of its libraries. (shrink)

This book addresses these three issues: What is discrimination?; What makes it wrong?; What should be done about wrongful discrimination? It argues: that there are different concepts of discrimination; that discrimination is not always morally wrong and that when it is, it is so primarily because of its harmful effects.

The classical liberal doctrine of free expression asserts the priority of speech as an extension of the freedom of thought. Yet its critics argue that freedom of expression, itself, demands the suppression of the so-called “silencing speech” of racists, sexists, and so on, as a threat to the equal expressive rights of others. This essay argues that the claim to free expression must be distinguished from claims to equal speech. The former asserts an equal right to express one’s (...) thoughts without interference; the latter the right to address others, and to receive a hearing and consideration from them, in turn. I explore the theory of equal speech in light of the ancient Athenian practice of isegoria and argue that the equality demanded is not distributive but relational: an equal speaker’s voice should be counted as “on a par” with others. This ideal better captures critics’ concerns about silencing speech than do their appeals to free expression. Insofar as epistemic and status-harms provide grounds for the suppression and exclusion of some speech and speakers, the ideal of equal speech is more closely connected with the freedom of association than of thought. Noticing this draws attention to the continuing—and potentially problematic—importance of exclusion in constituting effective sites of equal speech today. (shrink)

The concepts of freedom and equality lie at the heart of much contemporary political debate. But how, exactly, are these concepts to be understood? And do they really represent desirable political values? Norman begins from the premise that freedom and equality are rooted in human experience, and thus have a real and objective content. He then argues that the attempt to clarify these concepts is therefore not just a matter of idle philosophical speculation, but also a matter of (...) practical politics, for the philosophical conclusions we reach also have important implications for the day-to-day world of political action. Touching on the work of such influential thinkers as Mill, Berlin, Hayek, Nozick, Rawls, and Williams, this book serves as a valuable introduction to the central issues in political philosophy. (shrink)

There are several relations which may fall short of genuine identity, but which behave like identity in important respects. Such grades of discrimination have recently been the subject of much philosophical and technical discussion. This paper aims to complete their technical investigation. Grades of indiscernibility are defined in terms of satisfaction of certain first-order formulas. Grades of symmetry are defined in terms of symmetries on a structure. Both of these families of grades of discrimination have been studied in some detail. (...) However, this paper also introduces grades of relativity, defined in terms of relativeness correspondences. This paper explores the relationships between all the grades of discrimination, exhaustively answering several natural questions that have so far received only partial answers. It also establishes which grades can be captured in terms of satisfaction of object-language formulas and draws connections with definability theory. (shrink)

In this essay, I address the question of whether the indisputable progress being made by the neurosciences poses a genuine threat to the language game of responsible agency. I begin by situating free will as an ineliminable component of our practices of attributing responsibility and holding one another accountable, illustrating this via a discussion of legal discourse regarding the attribution of responsibility for criminal acts. I then turn to the practical limits on agents' scientific self-objectivation, limits that turn out (...) to be mirrored philosophically in the conceptual problems that plague reductionist strategies. Having shown that free will is rooted in unavoidable performative presuppositions belonging to agents' participant perspective, I then take up the difficult issue of how to reconcile an epistemic dualism of participant and observer perspectives with the assumption of ontological monism. I critically review a range of proposed physicalist solutions, including non-reductionist and (standard) compatibilist approaches. An underlying problem with scientistic, physicalist approaches is the methodological fiction of an exclusive ?view from nowhere? which relies on the problematic move of disengaging the objectivating perspective of the scientific observer from the investigators' participant perspective of those engaged in scientific practice. Since there is no way of getting around the requisite complementarity of both the observer's encounter with the objective world and the participant's involvement in shared lifeworld practices, the remaining option is to take an epistemological turn. But even the recognition that science is ultimately constituted from within the lifeworld still leaves us with the question as to how the human mind can understand itself as the product of natural evolution. I conclude with some tentative suggestions as to how this difficult question might be addressed. (shrink)

In this paper I present a linguistic investigation of the literary style known as free indirect discourse within the framework of formal semantics. I will argue that a semantics for free indirect discourse involves more than a mechanism for the independent context shifting of pronouns and other deictic elements. My argumentation is fueled by literary examples of free indirect discourse involving what I call language shifts: -/- Most of the great flame-throwers were there and naturally, handling Big (...) John de Conquer and his works. How he had done everything big on earth, then went up tuh heben without dying atall. Went up there picking a guitar and got all de angels doing the ring-shout round and round de throne...that brought them back to Tea Cake. How come he couldn’t hit that box a lick or two? (Hurston 1937, Their Eyes Were Watching God) -/- Free indirect discourse combines elements of both, but it seems decidedly closer to direct discourse. I examine the reigning semantic analysis of free indirect discourse, a variant of the demonstrative account of direct discourse featuring “double context dependence” (Banfield 1982,Schlenker 2004). After showing that this type of account has fundamental difficulties with language shift data like (1), I close with a brief sketch of an alternative analysis based on “mixed quotation.”. (shrink)

This article looks at liberalism as a political tradition encompassing competing and, at times, incommensurable values. It looks in particular at the potential conflict between the values of free speech and equal respect. Both of these are foundational values for liberalism, in the sense that they arise as normative ideals from the very inception of the liberal tradition itself. Yet from the perspective of this tradition, it is by no means clear which of these values should be prioritized in (...) those instances where they come into conflict. This article insists that the only way these two values can be meaningfully weighed against each other is if their competition can be understood within the broader framework of liberalism and democracy. Within this broader framework it is possible to find criteria which enable us to choose between these values in a non-circular manner — i.e. in ways which do not already presuppose a commitment to the value we wish to support. (shrink)

This article looks at liberalism as a political tradition encompassing competing and, at times, incommensurable values. It looks in particular at the potential conflict between the values of free speech and equal respect. Both of these are foundational values for liberalism, in the sense that they arise as normative ideals from the very inception of the liberal tradition itself. Yet from the perspective of this tradition, it is by no means clear which of these values should be prioritized in (...) those instances where they come into conflict. This article insists that the only way these two values can be meaningfully weighed against each other is if their competition can be understood within the broader framework of liberalism and democracy. Within this broader framework it is possible to find criteria which enable us to choose between these values in a non-circular manner — i.e. in ways which do not already presuppose a commitment to the value we wish to support. (shrink)