This article advocates employing John Stuart Mill's harm principle to set the boundary for unregulated free speech, and his Greatest Happiness Principle to regulate speech outside that boundary because it threatens unconsented-to harm. Supplementing the harm principle with an offense principle is unnecessary and undesirable if our conception of harm integrates recent empirical evidence unavailable to Mill. For example, current research uncovers the tangible harms individuals suffer directly from bigoted speech, as well as the indirect harms generated by the systemic (...) oppression and epistemic injustice that bigoted speech constructs and reinforces. Using Mill's ethical framework with an updated notion of harm, we can conclude that social coercion is not justified to restrict any harmless speech, no matter how offensive. Yet certain forms of speech, such as bigoted insults, are both harmful and fail to express a genuine opinion, and so do not deserve free speech protection. (shrink)

First Published in 1999. Routledge is an imprint of Taylor & Francis, an informa company.

Recent scholarship on John Stuart Mill has illuminated his arguments about the normative legitimacy of imperial rule. However, it has tended to ignore or downplay his extensive writings on settler colonialism: the attempt to create permanent "civilized" communities, mainly in North America and the South Pacific. Mill defended colonization throughout his life, although his arguments about its character and justification shifted over time. While initially he regarded it as a solution to the "social problem" in Britain, he increasingly came to (...) argue that its legitimacy resided in the universal benefits—civilization, peace, and prosperity—it generated for humanity. In the final years of his life Mill seemed to lose faith in the project. Finally recognizing the prevalence of colonial violence and the difficulty of realizing his grand ambitions, yet refusing to give up on colonization altogether, his colonial romance gave way to a form of melancholia. (shrink)

This Element is an exposition of second- and higher-order logic and type theory. It begins with a presentation of the syntax and semantics of classical second-order logic, pointing up the contrasts with first-order logic. This leads to a discussion of higher-order logic based on the concept of a type. The second Section contains an account of the origins and nature of type theory, and its relationship to set theory. Section 3 introduces Local Set Theory, an important form of type theory (...) based on intuitionistic logic. In Section 4 number of contemporary forms of type theory are described, all of which are based on the so-called 'doctrine of propositions as types'. We conclude with an Appendix in which the semantics for Local Set Theory - based on category theory - is outlined. (shrink)

Forgiveness seems especially apt in cases where the wrongdoer first performs some act of reparation. Suppose Valerie betrays Madison's trust out of careerist self-interest. The betrayal is serious, no excusing or exempting conditions obtain, and Madison responds with justified resentment. In one world, Valerie never acknowledges the impropriety of her past act and continues on as before. In another world, Valerie apologizes and sends Madison a beautiful bouquet of flowers. All else being equal, forgiveness seems called for or apt in (...) the second case in a way that it does not in the first. Reparative activities have a certain power, and forgiving in response to the wrongdoer's reparation strikes many as especially apt. (shrink)

Some attitudes typically take whole persons as their objects. Shame, contempt, disgust and admiration have this feature, as do many tokens of love and hate. Objectors complain that these ‘globalist attitudes’ can never fit their targets and thus can never be all-things-considered appropriate. Those who dismiss all globalist attitudes in this way are misguided. The fittingness objection depends on an inaccurate view of the person-assessments at the heart of the globalist attitudes. Once we understand the nature of globalist attitudes and (...) we recognize that we may legitimately treat some traits as more important than others in our overall evaluation of persons, we ought to conclude that our globalist attitudes can, in some cases, fit their targets and should not be summarily dismissed as unfitting. Our relationships contour the fittingness-conditions of globalist attitudes. This relational element poses a problem for fitting-attitude theories of value. (shrink)

Traditionally, expressions in formal systems have been regarded as signifying finite inscriptions which are—at least in principle—capable of actually being written out in primitive notation. However, the fact that (first-order) formulas may be identified with natural numbers (via "Gödel numbering") and hence with finite sets makes it no longer necessary to regard formulas as inscriptions, and suggests the possibility of fashioning "languages" some of whose formulas would be naturally identified as infinite sets . A "language" of this kind is called (...) an infinitary language : in this article I discuss those infinitary languages which can be obtained in a straightforward manner from first-order languages by allowing conjunctions, disjunctions and, possibly, quantifier sequences, to be of infinite length. In the course of the discussion it will be seen that, while the expressive power of such languages far exceeds that of their finitary (first-order) counterparts, very few of them possess the "attractive" features (e.g., compactness and completeness) of the latter. Accordingly, the infinitary languages that do in fact possess these features merit special attention. (shrink)

Despite establishing the gendered construction of infertility, most research on the subject has not examined how individuals with such reproductive difficulty negotiate their own sense of gender. I explore this gap through 58 interviews with women who are medically infertile and involuntarily childless. In studying how women achieve their gender, I reveal the importance of the body to such construction. For the participants, there is not just a motherhood mandate in the United States, but a fertility mandate—women are not just (...) supposed to mother, they are supposed to procreate. Given this understanding, participants maintain their gender by denying their infertile status. They do so through reliance on essentialist notions, using their bodies as a means of constructing a gendered sense of self. Using the tenets of transgender theory, this study not only informs our understanding of infertility, but also our broader understanding of the relationship between gender, identity, and the body, exposing how individuals negotiate their gender through physical as well as institutional and social constraints. (shrink)

then E has a subset which is the domain of a model of Peano's axioms for the natural numbers. (This result is proved explicitly, using classical reasoning, in section 3 of [1].) My purpose in this note is to strengthen this result in two directions: first, the premise will be weakened so as to require only that the map ν be defined on the family of (Kuratowski) finite subsets of the set E, and secondly, the argument will be constructive, i.e., (...) will involve no use of the law of excluded middle. To be precise, we will prove, in constructive (or intuitionistic) set theory3, the following.. (shrink)

It is shown by Parsons [2] that the first-order fragment of Frege's logical system in the Grundgesetze der Arithmetic is consistent. In this note we formulate and prove a stronger version of this result for arbitrary first-order theories. We also show that a natural attempt to further strengthen our result runs afoul of Tarski's theorem on the undefinability of truth.

Trans people often prioritize self-identification and self-determination when it comes to gender. We think people have a right to tell us who they are, rather than to be told who they are. But what does this really mean? And what should we do when someone self-identifies in bad faith--such as when the Club Q mass shooter (briefly) identified as nonbinary? I discuss these questions in a short blog post.

:Resentment and other hard feelings may outlive their targets, and people often express a desire to overcome these feelings through forgiveness. While some see forgiving the dead as an important moral accomplishment, others deny that genuine forgiveness of the dead is coherent, let alone desirable or valuable. According to one line of thought, forgiveness is something we do for certain reasons, such as the offender’s expressed contrition. Given that the dead cannot express remorse, forgiveness of the dead is impossible. Others (...) see the apparent coherence and moral importance of forgiving the dead as a reason to give up on the idea that forgiveness is conditional upon the offender’s remorse. According to these philosophers, forgiveness of the dead poses no special problems; forgiveness of the dead, like forgiveness of the living, is not contingent upon the offender’s contrition. I steer a path between these two positions in such a way as to bring out an important aspect of forgiveness that is not adequately addressed in the literature: I argue that forgiving the dead may be perfectly coherent and morally valuable even though the dead cannot ask for forgiveness or engage in reparative activities. A full appreciation of the relational character of forgiveness allows us to make sense of forgiving the dead. (shrink)

Periodically, we take stock of SubStance and provide a brief statement regarding initiatives and priorities in the journal's interests. Three years ago, we announced that "Exploring hybrid writing with theoretical impact is at the center of our current preoccupations."1 Since that time, the journal has made significant changes. This issue marks our fourth issue of publishing with Johns Hopkins University Press in a transition that recognizes our new publisher as a leader among university presses.Our plan also expressed our intent to (...) move toward publishing digital work that exemplifies theoretical thinking in nonlinear, experimental forms. In 2018, we launched Digital SubStance, a platform for "hybrid work that... (shrink)

This chapter contains section titled: Natural Religion in EHU The Critique of the Design Argument in DNR The Problem of Evil Part 12 and the Interpretation of DNR Conclusion References Further Reading.

ABSTRACTThis paper examines the differences between the thought of Hannah Arendt and Emmanuel Levinas concerning the “Rights of Man”, in relation to stateless persons. In The Origins of Totalitarianism, Arendt evinces a profound scepticism towards this ideal, which for her was powerless without being tethered to citizenship. But Arendt’s own idea of the “Right to have Rights” is critiqued here as being inadequate to the ethical demand placed upon states by refugees, in failing to articulate just what states might be (...) responsible for. I argue that the ethical philosophy of Levinas meets this lacuna in Arendt’s thought, via his concept of the Face as the locus of human dignity and to which states can be recalled to responsibility. Levinas wrote several papers on what he called “the phenomenology of the Rights of Man”, and in his phrase, which provides a summation of precisely what is lacking in Arendt’s arguments: “In the face – a right is there”. (shrink)

In May 2009 the World Health Assembly passed a resolution on reducing health inequities through action on the social determinants of health, based on the work of the global Commission on Social Determinants of Health, 2005–2008. The Commission's genesis and findings raise some important questions for global health governance. We draw out some of the essential elements, themes, and mechanisms that shaped the Commission. We start by examining the evolving nature of global health and the Commission's foundational inspiration – the (...) universal pattern of health inequity and the imperative, driven by a sense of social justice, to make better and more equal health a global goal. We look at how the Commission was established, how it was structured internally, and how it developed external relationships – with the World Health Organization, with global networks of academics and practitioners, with country governments eager to spearhead action on health equity, and with civil society. We outline the Commission's recommendations as they relate to the architecture of global health governance. Finally, we look at how the Commission is catalyzing a movement to bring social determinants of health to the forefront of international and national policy discourse. (shrink)

The environmental justice movement has made “justice” a key concept in environmental ethics. This chapter examines what “justice” offers to environmental ethics and argues that an ecologically aware theory of justice—or “justice on one planet”—is likely to be very different from the liberal conceptions of justice that dominate contemporary political theory. Three sets of environmental challenges to liberal theories are distinguished. The first emphasizes the importance of ongoing debates within liberalism about the currency, spatial scope, and temporal scope of justice. (...) The second relates to issues that have been at the center of debates between liberals and their critics, specifically, challenges to the distributive paradigm, individualism, and anthropocentrism. The third questions the liberal conception of the environment: as part of the economy, passive or controllable, infinitely divisible, always able to provide circumstances of moderate scarcity, and as property. “Justice on one planet” requires us to reconceptualize justice. (shrink)

The opposed concepts of continuity and discreteness have figured prominently in the development of mathematics, and have also commanded the attention of philosophers. Continuous entities may be characterized by the fact that they can be divided indefinitely without altering their essential nature. So, for instance, the water in a bucket may be indefinitely halved and yet remain water. (For the purposes of illustration I ignore the atomic nature of matter which has been established by modern physics.) Discrete entities, on the (...) other hand, typically cannot be divided without effecting a change in their nature: half a wheel is plainly no longer a wheel. Thus we have two contrasting properties: on the one hand, the property of being indivisible, separate or discrete, and, on the other, the property of being indefinitely divisible and continuous although not actually divided into parts. (shrink)

Full proofs of the Gödel incompleteness theorems are highly intricate affairs. Much of the intricacy lies in the details of setting up and checking the properties of a coding system representing the syntax of an object language within that same language. These details are seldom illuminating and tend to obscure the core of the argument. For this reason a number of efforts have been made to present the essentials of the proofs of Gödel's theorems without getting mired in syntactic or (...) computational details. One of the most important of these efforts was made by Löb [8] in connection with his analysis of sentences asserting their own provability. Löb formulated three conditions, on the provability predicate in a formal system which are jointly sufficient to yield the Gödel's second incompleteness theorem for it. A key role in Löb's analysis is played by what later became known as the diagonalization or fixed point property of formal systems, a property which had already, in essence, been exploited by Gödel in his original proofs of the incompleteness theorems. The fixed point property plays a central role in Lawvere's [7] category-theoretic account of incompleteness phenomena. (shrink)

A number of theologians and philosophers have found theodical value in the theme of divine solidarity with human suffering. To further develop this theme, I examine what it would mean to assert that Christ on the cross participated in a representative sample of human suffering. Particular attention is paid to Christ’s cry of dereliction. I argue that if God through Christ identified with the very worst kinds of human suffering on the cross, then the cry of dereliction should be interpreted (...) as indicating an epistemic break between God and Christ, and not merely an attentional disruption. According to this account, Christ’s death cry expressed his temporary inability to grasp the significance of his passion and death. In this way, Christ on the cross suffered the full effects of divine hiddenness, thus sharing with horror-sufferers the experience of meaning-negating suffering. (shrink)

This article focuses on Edmund Husserl’s first and most enduring interaction with pragmatism, on the conception of habit. This began a decade before Husserl’s first writings on phenomenology, and continued throughout the time he invented and developed his new phenomenological method. Husserl first encountered pragmatic habit from the founder of pragmatism Charles S. Peirce around 1890. Husserl then further interacted with the pragmatic theory of habit through the work of William James and Josiah Royce, two scholars deeply influenced by Peirce. (...) This article explores how the theory of habit mutually influenced pragmatism and phenomenology at their origins, and how this dialogue can inform philosophy today. (shrink)

Illicit drug users are frequently identified as a ‘vulnerable population’ requiring ‘special protection’ and ‘additional safeguards’ in research. However, without specific guidance on how to enact these special protections and safeguards, research ethics committee (REC) members sometimes fall back on untested assumptions about the ethics of illicit drug use research. In light of growing calls for ‘evidence-based research ethics’, this commentary examines three common assumptions amongst REC members about what constitutes ethical research with drug users, and whether such assumptions are (...) borne out by a growing body of empirical data. The assumptions that form the focus of this commentary are as follows: (i) drug users do not have the capacity to provide informed consent to research; (ii) it is ethically problematic to provide financial incentives to drug users to participate in research; and (iii) asking drug users about their experiences ‘re-traumatizes’ and ‘re-victimizes’ them. (shrink)

With an upsurge of interest and investment in new legal technologies comes consideration of who is making them and whether these individuals or entities should be subject to regulation. This article looks at how such regulation might function in light of the existing regulatory regimes governing lawyers and the capacities of legal regulators. It considers the ramifications both of maintaining the existing system, or in extending some form of regulation to these new entrants to the legal services market.

With an upsurge of interest and investment in new legal technologies comes consideration of who is making them and whether these individuals or entities should be subject to regulation. This article looks at how such regulation might function in light of the existing regulatory regimes governing lawyers and the capacities of legal regulators. It considers the ramifications both of maintaining the existing system, or in extending some form of regulation to these new entrants to the legal services market.

First published in 1988. Routledge is an imprint of Taylor & Francis, an informa company.