Volume 20, Issue 6, June 2020, Page W1-W5.

I would like to thank all of the respondents to my article both for their expansions on the theme of health worker migration and for their criticisms of my argument against the use of the term ’poaching’ in the context of international health worker migration. In this response, I will clarify my argument in light of the worries raised primarily by Tache and Schillinger and Ari Zivotofsky and Naomi Zivotofsky.

A resilient issue in research ethics is whether and when a placebo-controlled trial is justified if it deprives research subjects of a recognized treatment. The clinicians' moral duty to provide the best available care seems to require the use of ‘active’ controlled trials that use an established treatment as a control whenever such a therapy is available. In another regard, ACTs are supposedly methodologically inferior to PCTs. Hence, the moral duty of the clinical researcher to use the best methods will (...) favor PCTs. In this target article, I analyze the three reasons for believing that ACTs are inferior to PCTs namely: 1) ACTs lack ‘assay sensitivity’; 2) ACTs do not measure absolute effect size; and 3) ACTs require more participants; and I contend that none are acceptable. Consequently the tension between clinical and research ethics dissolves: the moral duty of the clinician to avoid PCTs is unopposed by methodological considerations. (shrink)

The American Journal of Bioethics, Volume 11, Issue 6, Page W1-W3, June 2011.

BackgroundThe pursuit of a cure for HIV is a high priority for researchers, funding agencies, governments and people living with HIV (PLWH). To date, over 250 biomedical studies worldwide are or have been related to discovering a safe, effective, and scalable HIV cure, most of which are early translational research and experimental medicine. As HIV cure research increases, it is critical to identify and address the ethical challenges posed by this research.MethodsWe conducted a scoping review of the growing HIV cure (...) research ethics literature, focusing on articles published in English peer-reviewed journals from 2013 to 2021. We extracted and summarized key developments in the ethics of HIV cure research. Twelve community advocates actively engaged in HIV cure research provided input on this summary and suggested areas warranting further ethical inquiry and foresight via email exchange and video conferencing.DiscussionDespite substantial scholarship related to the ethics of HIV cure research, additional attention should focus on emerging issues in six categories of ethical issues: (1) social value (ongoing and emerging biomedical research and scalability considerations); (2) scientific validity (study design issues, such as the use of analytical treatment interruptions and placebos); (3) fair selection of participants (equity and justice considerations); (4) favorable benefit/risk balance (early phase research, benefit-risk balance, risk perception, psychological risks, and pediatric research); (5) informed consent (attention to language, decision-making, informed consent processes and scientific uncertainty); and (6) respect for enrolled participants and community (perspectives of people living with HIV and affected communities and representation).ConclusionHIV cure research ethics has an unfinished agenda. Scientific research and bioethics should work in tandem to advance ethical HIV cure research. Because the science of HIV cure research will continue to rapidly advance, ethical considerations of the major themes we identified will need to be revisited and refined over time. (shrink)

Television medical dramas frequently depict the practice of medicine and bioethical issues in a strikingly realistic but sometimes inaccurate fashion. Because these shows depict medicine so vividly and are so relevant to the career interests of medical and nursing students, they may affect these students' beliefs, attitudes, and perceptions regarding the practice of medicine and bioethical issues. We conducted a web-based survey of medical and nursing students to determine the medical drama viewing habits and impressions of bioethical issues depicted in (...) them. More than 80% of medical and nursing students watch television medical dramas. Students with more clinical experience tended to have impressions that were more negative than those of students without clinical experience. Furthermore, viewing of television medical dramas is a social event and many students discuss the bioethical issues they observe with friends and family. Television medical dramas may stimulate students to think about and discuss bioethical issues. (shrink)

We very much appreciate the helpful and generous commentaries in response to “Do Clinicians have a Duty to Participate in Pragmatic Clinical Trials?” (Garland, Morain, and Sugarman 2023). In that a...

BackgroundAlthough the number of reporting guidelines has grown rapidly, few have gone through an updating process. The STARD statement (Standards for Reporting Diagnostic Accuracy), published in 2003 to help improve the transparency and completeness of reporting of diagnostic accuracy studies, was recently updated in a systematic way. Here, we describe the steps taken and a justification for the changes made.ResultsA 4-member Project Team coordinated the updating process; a 14-member Steering Committee was regularly solicited by the Project Team when making critical (...) decisions. First, a review of the literature was performed to identify topics and items potentially relevant to the STARD updating process. After this, the 85 members of the STARD Group were invited to participate in two online surveys to identify items that needed to be modified, removed from, or added to the STARD checklist. Based on the results of the literature review process, 33 items were presented to the STARD Group in the online survey: 25 original items and 8 new items; 73 STARD Group members (86 %) completed the first survey, and 79 STARD Group members (93 %) completed the second survey.Then, an in-person consensus meeting was organized among the members of the Project Team and Steering Committee to develop a consensual draft version of STARD 2015. This version was piloted in three rounds among a total of 32 expert and non-expert users. Piloting mostly led to rewording of items. After this, the update was finalized. The updated STARD 2015 list now consists of 30 items. Compared to the previous version of STARD, three original items were each converted into two new items, four original items were incorporated into other items, and seven new items were added.ConclusionsAfter a systematic updating process, STARD 2015 provides an updated list of 30 essential items for reporting diagnostic accuracy studies. (shrink)

Bentham's best-known book stands as a classic of both philosophy and jurisprudence. The 1789 work articulates an important statement of the foundations of utilitarian philosophy — it also represents a pioneering study of crime and punishment. Bentham's reasoning remains central to contemporary debates in moral and political philosophy, economics, and legal theory.

Feldman and Conee (2001) observed that the term “internalism”, as used in epistemology, is ambiguous. It sometimes denotes the view that justification supervenes on factors within the thinker (“mentalism”), whereas at other times it refers to the view that justification is accessible to the thinker (“accessibilism”). As used in the debate about mental content, “internalism” corresponds to mentalism. Strikingly, however, it is the question of accessibilism that is the target of many internalist and externalist arguments. In this paper I argue (...) that the focus on thinkers’ access to their thoughts is misplaced. The debate between externalism and internalism hinges on the significance of external factors for rational relations between first-order thoughts, not on issues of accessibility. The shift away from issues of accessibility neutralizes both the “incompatibility” objection to externalism and the charge that internalism overestimates first-person access. The revised understanding of the debate supports a broadly Fregean approach to individuating cognitive values. I develop a version of this approach and defend it from a prominent externalist objection. Since this approach individuates cognitive values narrowly, my argument ultimately supports internalism. (shrink)

Our fundamental conception of the self seems to be, broadly speaking, epistemic: selves are things that have thoughts, undergo experiences, and possess reasons for action and belief. In this paper, I evaluate the consequences of this epistemic conception for the widespread view that properties like thinking that arthritis is painful are relational features of the self.

The definitive statement of the Knowledge Argument was formulated by Frank Jackson, in a paper entitled “Epiphenomenal Qualia” that appeared in The Philosophical Quarterly in 1982. Arguments in the same spirit had appeared earlier (Broad 1925, Robinson 1982), but Jackson’s argument is most often compared with Thomas Nagel’s argument in “What is it Like to be a Bat?” (1974). Jackson, however, takes pains to distinguish his argument from Nagel’s. This entry will follow standard practice in focusing on Jackson’s argument, though (...) I will also describe the main points of alleged similarity and dissimilarity between these two arguments. (shrink)

The identification and positioning of sacred space within contemporary contexts has, to date, received scant attention. In reflecting upon a broad spectrum of conceptions of what constitutes sacred space, this collection of interdisciplinary essays presents a new perspective on an area that is developing into an important theological and philosophical concept.

v. 1. Bibliographia historiæ philosophiæ.--v. 2. Bibliographia philosophiæ.

The problem of self-knowledge is one of the most fascinating in all of philosophy and has crucial significance for the philosophy of mind and epistemology. Gertler assesses the leading theoretical approaches to self-knowledge, explaining the work of many of the key figures in the field: from Descartes and Kant, through to Bertrand Russell and Gareth Evans, as well as recent work by Tyler Burge, David Chalmers, William Lycan and Sydney Shoemaker. -/- Beginning with an outline of the distinction between self-knowledge (...) and self-awareness and providing essential historical background to the problem, Gertler addresses specific theories of self-knowledge such as the acquaintance theory, the inner sense theory, and the rationalist theory, as well as leading accounts of self-awareness. The book concludes with a critical explication of the dispute between empiricist and rationalist approaches. (shrink)

"Self-knowledge" is commonly used in philosophy to refer to knowledge of one's particular mental states, including one's beliefs, desires, and sensations. It is also sometimes used to refer to knowledge about a persisting self -- its ontological nature, identity conditions, or character traits. At least since Descartes, most philosophers have believed that self-knowledge is importantly different from knowledge of the world external to oneself, including others' thoughts. But there is little agreement about what precisely distinguishes self-knowledge from knowledge in other (...) realms. Partially because of this disagreement, philosophers have endorsed competing accounts of how we acquire self-knowledge. These accounts have important consequences for the scope of mental content, for mental ontology, and for personal identity. (shrink)

Author Jeremy Waldron has thoroughly revised thirteen of his most recent essays in order to offer a comprehensive critique of the idea of the judicial review of legislation. He argues that a belief in rights is not the same as a commitment to a Bill of Rights. This book presents legislation by a representative assembly as a form of law making which is especially apt for a society whose members disagree with one another about fundamental issues of principle.

Proponents of the rule of law argue about whether that ideal should be conceived formalistically or in terms of substantive values. Formalistically, the rule of law is associated with principles like generality, clarity, prospectivity, consistency, etc. Substantively, it is associated with market values, with constitutional rights, and with freedom and human dignity. In this paper, I argue for a third layer of complexity: the procedural aspect of the rule of law; the aspects of rule-of-law requirements that have to do with (...) "natural Justice" or "procedural due process." These I believe have been neglected in the jurisprudential literature devoted specifically to the idea of the rule of law and they deserve much greater emphasis. Moreover procedural values go beyond elementary principles like the guarantee of an unbiased tribunal or the opportunity to present and confront evidence. They include the right to argue in a court about what the law is and what its bearing should be on one's situation. The provision that law makes for argument is necessarily unsettling, and so this emphasis on the procedural aspect highlights the point predictability should not be regarded as the be-all and end-all of the rule of law. (shrink)

Volume 19, Issue 7, July 2019, Page 61-63.

In this paper, I argue that the method of transparency --determining whether I believe that p by considering whether p -- does not explain our privileged access to our own beliefs. Looking outward to determine whether one believes that p leads to the formation of a judgment about whether p, which one can then self-attribute. But use of this process does not constitute genuine privileged access to whether one judges that p. And looking outward will not provide for access to (...) dispositional beliefs, which are arguably more central examples of belief than occurrent judgments. First, one’s dispositional beliefs as to whether p may diverge from the occurrent judgments generated by the method of transparency. Second, even in cases where these are reliably linked — e.g., in which one’s judgment that p derives from one’s dispositional belief that p — using the judgment to self-attribute the dispositional belief requires an ‘inward’ gaze. (shrink)

I elaborate and defend a set of metaphysical and epistemic claims that comprise what I call the acquaintance approach to introspective knowledge of the phenomenal qualities of experience. The hallmark of this approach is the thesis that, in some introspective judgments about experience, (phenomenal) reality intersects with the epistemic, that is, with the subject’s grasp of that reality. In Section 1 of the paper I outline the acquaintance approach by drawing on its Russellian lineage. A more detailed picture of the (...) approach emerges in succeeding sections, which respond to a range of objections. Some critics charge that approaches of this sort are overly idealized, in that they ignore the cognitive flaws and limitations of actual human beings. I begin to address these worries in Section 2, by arguing that the epistemic commitments of the acquaintance approach are in fact relatively modest. In Section 3, I sketch a picture of introspective reference that explains how phenomenal reality can intersect with the epistemic in a phenomenal judgment, as the acquaintance approach requires. Drawing on this picture of introspective reference, Section 4 sets out a practical strategy for achieving knowledge by acquaintance. Some contemporary acquaintance theorists (BonJour 2003, Fumerton 1996) employ demanding epistemic standards for knowledge by acquaintance, standards beyond those mandated by the acquaintance approach. In Section 5 I show that instances of introspective knowledge that meet less demanding standards can satisfy the acquaintance approach’s epistemic commitments. The final sections concern the most direct challenges to the acquaintance approach, which target the claim that phenomenal reality intersects with the epistemic. According to one such challenge, this claim is belied by the fact that possessing a phenomenal concept is a matter of having certain dispositions. Section 6 draws on a discussion by Sosa (2003) to articulate this challenge, and responds to it on behalf of the acquaintance approach. Section 7 addresses Stalnaker’s (2008) worry that, if phenomenal reality intersected with the epistemic, phenomenal information would be incommunicable. (shrink)

There is pragmatic encroachment on some epistemic status just in case whether a proposition has that status for a subject depends not only on the subject's epistemic position with respect to the proposition, but also on features of the subject's non-epistemic, practical environment. Discussions of pragmatic encroachment usually focus on knowledge. Here we argue that, barring infallibilism, there is pragmatic encroachment on what is arguably a more fundamental epistemic status – the status a proposition has when it is warranted enough (...) to be a reason one has for believing other things. (shrink)

We discuss from a philosophical perspective the way in which the normal concept of time might be said to `emerge' in a quantum theory of gravity. After an introduction, we briefly discuss the notion of emergence, without regard to time. We then introduce the search for a quantum theory of gravity ; and review some general interpretative issues about space, time and matter. We then discuss the emergence of time in simple quantum geometrodynamics, and in the Euclidean approach. Section 6 (...) concludes. (shrink)

The Negation Problem states that expressivism has insufficient structure to account for the various ways in which a moral sentence can be negated. We argue that the Negation Problem does not arise for expressivist accounts of all normative language but arises only for the specific examples on which expressivists usually focus. In support of this claim, we argue for the following three theses: 1) a problem that is structurally identical to the Negation Problem arises in non-normative cases, and this problem (...) is solved once the hidden quantificational structure involved in such cases is uncovered; 2) the terms ‘required’, ‘permissible’, and ‘forbidden’ can also be analyzed in terms of hidden quantificational structure, and the Negation Problem disappears once this hidden structure is uncovered; 3) the Negation Problem does not arise for normative language that has no hidden quantificational structure. We conclude that the Negation Problem is not really a problem about expressivism at all but is rather a feature of the quantificational structure of the required, permitted, and forbidden. (shrink)

This paper defends a novel account of how we introspect phenomenal states, the Demonstrative Attention account (DA). First, I present a set of necessary and sufficient conditions for phenomenal state introspection which are not psychological, but purely metaphysical and semantic. Next, to explain how these conditions can be satisfied, I describe how demonstrative reference to a phenomenal content can be achieved through attention alone. This sort of introspective demonstration differs from perceptual demonstration in being non-causal. DA nicely explains key intuitions (...) about phenomenal self-knowledge, makes possible an appealing diagnosis of blindsight cases, and yields a highly plausible view as to the extent of our first-person epistemic privilege. Because these virtues stem from construing phenomenal properties as non-relational features of states, my defense of DA constitutes a challenge to relational construals of phenomenal properties, including functionalism and representationalism. And I provide reason to doubt that they can meet this challenge. (shrink)

Since its founding in the nineteenth century, social anthropology has been seen as the study of exotic peoples in faraway places. But today more and more anthropologists are dedicating themselves not just to observing but to understanding and helping solve social problems wherever they occur--in international aid organizations, British TV studios, American hospitals, or racist enclaves in Eastern Europe, for example. In Exotic No More , an initiative of the Royal Anthropological Institute, some of today's most respected anthropologists demonstrate, in (...) clear, unpretentious prose, the tremendous contributions that anthropology can make to contemporary society. They cover issues ranging from fundamentalism to forced migration, child labor to crack dealing, human rights to hunger, ethnicity to environmentalism, intellectual property rights to international capitalisms. But Exotic No More is more than a litany of gloom and doom the essays also explore topics usually associated with leisure or "high" culture, including the media, visual arts, tourism, and music. Each author uses specific examples from their fieldwork to illustrate their discussions, and 62 photographs enliven the text. Throughout the book, the contributors highlight anthropology's commitment to taking people seriously on their own terms, paying close attention to what they are saying and doing, and trying to understand how they see the world and why. Sometimes this bottom-up perspective makes the strange familiar, but it can also make the familiar strange, exposing the cultural basis of seemingly "natural" behaviors and challenging us to rethink some of our most cherished ideas--about gender, "free" markets, "race," and "refugees," among many others. Contributors: William O. Beeman Philippe Bourgois John Chernoff E. Valentine Daniel Alex de Waal Judith Ennew James Fairhead Sarah Franklin Michael Gilsenan Faye Ginsburg Alma Gottlieb Christopher Hann Faye V. Harrison Richard Jenkins Melissa Leach Margaret Lock Jeremy MacClancy Jonathan Mazower Ellen Messer A. David Napier Nancy Scheper-Hughes Jane Schneider Parker Shipton Christopher B. Steiner. (shrink)

This work has been selected by scholars as being culturally important and is part of the knowledge base of civilization as we know it. This work is in the public domain in the United States of America, and possibly other nations. Within the United States, you may freely copy and distribute this work, as no entity (individual or corporate) has a copyright on the body of the work. Scholars believe, and we concur, that this work is important enough to be (...) preserved, reproduced, and made generally available to the public. To ensure a quality reading experience, this work has been proofread and republished using a format that seamlessly blends the original graphical elements with text in an easy-to-read typeface. We appreciate your support of the preservation process, and thank you for being an important part of keeping this knowledge alive and relevant. (shrink)

How does one know one's own beliefs, intentions, and other attitudes? Many responses to this question are broadly empiricist, in that they take self-knowledge to be epistemically based in empirical justification or warrant. Empiricism about self-knowledge faces an influential objection: that it portrays us as mere observers of a passing cognitive show, and neglects the fact that believing and intending are things we do, for reasons. According to the competing, agentialist conception of self-knowledge, our capacity for self-knowledge derives from our (...) rational agency—our ability to conform our attitudes to our reasons, and to commit ourselves to those attitudes through avowals. This paper has two goals. The first is exegetical: to identify agentialism's defining thesis and precisely formulate the agentialist challenge to empiricism. The second goal is to defend empiricism from the agentialist challenge. I propose a way to understand the role of agency in reasoning and avowals, one that does justice to what is distinctive about these phenomena yet is compatible with empiricism about self-knowledge. (shrink)

Negative Ecstasies discusses the contribution and significance of the work of Georges Bataille to the contemporary study of religion and theology, collecting essays that examine specific case studies and make connections to other significant scholars in the field.

The first five volumes of the Correspondence of Jeremy Bentham contain over 1,300 letters written both to and from Bentham over a 50-year period, beginning in 1752 (aged three) with his earliest surviving letter to his grandmother, and ending in 1797 with correspondence concerning his attempts to set up a national scheme for the provision of poor relief. Against the background of the debates on the American Revolution of 1776 and the French Revolution of 1789, to which he made significant (...) contributions, Bentham worked first on producing a complete penal code, which involved him in detailed explorations of fundamental legal ideas, and then on his panopticon prison scheme. Despite developing a host of original and ground-breaking ideas, contained in a mass of manuscripts, he published little during these years, and remained, at the close of this period, a relatively obscure individual. Nevertheless, these volumes reveal how the foundations were laid for the remarkable rise of Benthamite utilitarianism in the early nineteenth century. Bentham’s early life is marked by his extraordinary precociousness, but also family tragedy: by the age of 10 he had lost five infant siblings and his mother. The letters in this volume document his difficult relationship with his father and his increasing attachment to his surviving younger brother Samuel, his education, his interest in chemistry and botany, and his committing himself to a life of philosophy and legal reform. (shrink)

We have two aims. The main one is to expound the idea of renormalization in quantum field theory, with no technical prerequisites. Our motivation is that renormalization is undoubtedly one of the great ideas—and great successes--of twentieth-century physics. Also it has strongly influenced in diverse ways, how physicists conceive of physical theories. So it is of considerable philosophical interest. Second, we will briefly relate renormalization to Ernest Nagel's account of inter-theoretic relations, especially reduction. One theme will be a contrast between (...) two approaches to renormalization. The old approach, which prevailed from ca. 1945 to 1970, treated renormalizability as a necessary condition for being an acceptable quantum field theory. On this approach, it is a piece of great good fortune that high energy physicists can formulate renormalizable quantum field theories that are so empirically successful. But the new approach to renormalization explains why the phenomena we see, at the energies we can access in our particle accelerators, are described by a renormalizable quantum field theory. For whatever non-renormalizable interactions may occur at yet higher energies, they are insignificant at accessible energies. Thus the new approach explains why our best fundamental theories have a feature, viz. renormalizability, which the old approach treated as a selection principle for theories. That is worth saying since philosophers tend to think of scientific explanation as only explaining an individual event, or perhaps a single law, or at most deducing one theory as a special case of another. Here we see a framework in which there is a space of theories. And this framework is powerful enough to deduce that what seemed “manna from heaven” is to be expected: the good fortune is generic. We also maintain that universality, a concept stressed in renormalization theory, is essentially the familiar philosophical idea of multiple realizability; and that it causes no problems for reductions of a Nagelian kind. (shrink)

Translated from the original German Lenin Neuentdecken and available in English for the first time, this volume rediscovers Lenin as a strategic socialist thinker through close examination of his collected works and correspondence. Brie opens with an analysis of Lenin's theoretical development between 1914 and 1917, in preparation for his critical decision to dissolve the Constituent Assembly in January 1918 in a struggle for power. This led from the dialectics of revolutionary practice and social analysis to a new understanding (...) of socialism, which is compared and contrasted to the alternative Marxist ideas and conceptions of the state posited by Karl Kautsky and Rosa Luxemburg. Rediscovering Lenin then moves to 1921, when Lenin begins a new stage of his theoretical development concerned with resolving the reversal of the revolution’s aims and its results. This process remains unfinished, and the questions raised a hundred years ago remain: How can one intervene successfully and responsibly in social and political crises? What role do social science theories, ideological frameworks, and other practices play in transforming the economic, political and cultural power structures of a society? Brie concludes with a retrospective on the ideas developed by Marx and in the Second International, and their impact on Lenin’s strategic thinking. Placing Lenin's writing itself in the foreground and arguing from inside his own self-learning, Rediscovering Lenin focuses on the reflective relationship between ideology, theory, and practice. ​. (shrink)

The contractarian theory elaborated by John Rawls in A Theory of Justice exploits the difference principle in a great many ways. Rawls argues that, when used as part of a set of guiding principles for structuring the basic institutions of society, it simplifies the problem of interpersonal comparisons (91-4)1, helps compensate for the arbitrariness of natural endowments (101-3), promotes a harmony of interests between citizens (104-5), reintroduces the principle of fraternity to democratic society (105-6), and, what is critical to his (...) contractarian theory, it is an essential part of the principles of justice which would be chosen by free, equal, and rational persons in the original position. (shrink)

Externalism about mental content is now widely accepted. It is therefore surprising that there is no established definition of externalism. I believe that this is a symptom of an unrecognized fact: that the labels 'mental content externalism' -- and its complement 'mental content internalism' -- are profoundly ambiguous. Under each of these labels falls a hodgepodge of sometimes conflicting claims about the organism's contribution to thought contents, the nature of the self, relations between the individual and her community, and the (...) epistemic availability of thoughts. This situation stems from the fact that contributors to debates about externalism differ in how they understand 'internal property'; these differences reveal (or, perhaps, generate) disparate conceptions of what is at issue in these debates. I argue that this situation is irremediable. There is no way to understand 'internal property' that will conform with prevailing beliefs about the nature of internalism and externalism, and with the usual taxonomy of leading positions. This ambiguity carries a heavy price: participants in these debates often argue at cross-purposes, disagreeing even on the nature of the evidence that could settle the question of externalism. Progress on the broad range of issues associated with these debates requires that we abandon the categories 'internalism' and 'externalism'. I close by suggesting a promising avenue for future research related to these issues. (shrink)

Most of us believe that partiality applies in a broad range of relationships. One relationship on which there is much disagreement is co-nationality. Some writers argue that co-national partiality is not justified in certain cases, like killing in war, since killing in defense of co-nationals is intuitively impermissible in other contexts. I argue that this approach overlooks an important structural feature of partiality—namely, that its scope is sometimes restricted. In this essay, I show how some relationships that generate reasons of (...) partiality are restricted in scope—that is, they generate reasons within particular contexts or with respect to particular goods. I then argue that co-national partiality is scope restricted. I then show how this fact helps proponents of co-national partiality overcome the aforementioned objection to its application in cases like war. (shrink)

As idealized descriptions of mathematical language, there is a sense in which formal systems specify too little, and there is a sense in which they specify too much. On the one hand, formal languages fail to account for a number of features of informal mathematical language that are essential to the communicative and inferential goals of the subject. On the other hand, many of these features are independent of the choice of a formal foundation, so grounding their analysis on a (...) particular choice of a formal system introduces unnecessary specificity. This chapter begins to map out the design features of mathematical language without descending to the level of formal implementation, drawing on examples from the mathematical literature and insights from the design of computational proof assistants and their libraries. (shrink)