Derk Pereboom disagrees with P.F. Strawson that abandoning the reactive attitudes associated with praise and blame would come at the price of exiting our personal relationships. According to Pereboom, we can contain or modify our attitudes in ways that preserve, and perhaps even enrich interpersonal relationships. In a recent article, Seth Shabo defends “the inseparability thesis” in order to undermine Pereboom’s containment policy. Drawing on David Goldman’s work on non-antagonistic responses to wrongdoing, we defend Pereboom from Shabo’s critique.

I present and defend a unified, non-reductive analysis of the a priori and a posteriori. It is a mistake to remove all epistemic conditions from the analysis of the a priori (as, for example, Alvin Goldman has recently suggested doing). We can keep epistemic conditions (like unrevisability) in the analysis as long as we insist that a priori and a posteriori justification admit of degrees. I recommend making the degree to which a belief’s justification is a priori or a (...) posteriori solely dependent on the revisability relations that obtain among the faculties that deliver the belief and all other faculties. (shrink)

I show that locality, as it occurs in EPR arguments for the incompleteness of quantum mechanics, can be construed as causal independence understood in terms of Lewis' counterfactual analysis of causation. This construal has two benefits. It supplements recent analyses, which have not treated locality in detail. And it clarifies the relation between two EPR arguments that have recently been distinguished. It shows that the simpler of the two is more complex than has been thought; and that the other argument (...) does not need 'counterfactual definiteness'. (shrink)

Of all the demands that mathematics imposes on its practitioners, one of the most fundamental is that proofs ought to be correct. It has been common since the turn of the twentieth century to take correctness to be underwritten by the existence of formal derivations in a suitable axiomatic foundation, but then it is hard to see how this normative standard can be met, given the differences between informal proofs and formal derivations, and given the inherent fragility and complexity of (...) the latter. This essay describes some of the ways that mathematical practice makes it possible to reliably and robustly meet the formal standard, preserving the standard normative account while doing justice to epistemically important features of informal mathematical justification. (shrink)

The pandemic creates unprecedented challenges to society and to health care systems around the world. Like all crises, these provide a unique opportunity to rethink the fundamental limiting assumptions and institutional inertia of our established systems. These inertial assumptions have obscured deeply rooted problems in health care and deflected attempts to address them. As hospitals begin to welcome all patients back, they should resist the temptation to go back to business as usual. Instead, they should retain the more deliberative, explicit, (...) and transparent ways of thinking that have informed the development of crisis standards of care. The key lesson to be learned from those exercises in rational deliberation is that justice must be the ethical foundation of all standards of care. Justice demands that hospitals take a safety‐net approach to providing services that prioritizes the most vulnerable segments of society, continue to expand telemedicine in ways that improve access without exacerbating disparities, invest in community‐based care, and fully staff hospitals and clinics on nights and weekends. (shrink)

On a traditional view, the primary role of a mathematical proof is to warrant the truth of the resulting theorem. This view fails to explain why it is very often the case that a new proof of a theorem is deemed important. Three case studies from elementary arithmetic show, informally, that there are many criteria by which ordinary proofs are valued. I argue that at least some of these criteria depend on the methods of inference the proofs employ, and that (...) standard models of formal deduction are not well-equipped to support such evaluations. I discuss a model of proof that is used in the automated deduction community, and show that this model does better in that respect. (shrink)

This is an excellent book, by one of the philosophy of quantum theory's brightest stars. It combines a clear presentation of determinism, probability and non-locality in several current interpretations of quantum theory, with a good deal of detailed analysis, both reporting other people's and Dickson's own results, and developing his own ideas|which are often heterodox, but always well-defended and thought-provoking. The treatment is often concise, especially when reporting standard material or others' results. There are also frequent changes of gear; both (...) because the issues are complexly related to each other, and because Dickson sensibly does not aim for a de nitive treatment of issues that are at present so controversial|accordingly, he weaves about, not forcing his material into some single line of argument. So this is a monograph, not a textbook for teaching or a treatise summing up a conquered eld. But the style is clear and vigourous; the book is packed with information (sometimes about ancillary issues); and as we shall see, Dickson does have some provocative main claims, if not an overarching single line of argument. In this short space, I can only praise the book's general virtues and state some of the main claims. (shrink)

Despite a significant amount of literature debating the efficiency of high-risk pools in health insurance, dramatically less has been written about their normative implications. The present article takes the route less traveled by setting aside the question of efficiency to argue that the use of high-risk pools creates some serious normative concerns. The article explores these concerns by dividing them on two fronts. First, as regards the social-recognitional status of those who are forced into the high-risk pool. Second, as regards (...) a general concern of distributive justice, namely fairness in access to resources. The author argues that regardless of the veracity of arguments which laud the efficiency of high-risk pools, their use in health insurance is unjust because of the herein explained implications for social recognition and distributive justice. (shrink)

The epsilon calculus is a logical formalism developed by David Hilbert in the service of his program in the foundations of mathematics. The epsilon operator is a term-forming operator which replaces quantifiers in ordinary predicate logic. Specifically, in the calculus, a term εx A denotes some x satisfying A(x), if there is one. In Hilbert's Program, the epsilon terms play the role of ideal elements; the aim of Hilbert's finitistic consistency proofs is to give a procedure which removes such terms (...) from a formal proof. The procedures by which this is to be carried out are based on Hilbert's epsilon substitution method. The epsilon calculus, however, has applications in other contexts as well. The first general application of the epsilon calculus was in Hilbert's epsilon theorems, which in turn provide the basis for the first correct proof of Herbrand's theorem. More recently, variants of the epsilon operator have been applied in linguistics and linguistic philosophy to deal with anaphoric pronouns. (shrink)

A general method of interpreting weak higher-type theories of nonstandard arithmetic in their standard counterparts is presented. In particular, this provides natural nonstandard conservative extensions of primitive recursive arithmetic, elementary recursive arithmetic, and polynomial-time computable arithmetic. A means of formalizing basic real analysis in such theories is sketched.

“Now, in calm weather, to swim in the open ocean is as easy to the practised swimmer as to ride in a spring-carriage ashore. But the awful lonesomeness is intolerable. The intense concentration of self in the middle of such a heartless immensity, my God! who can tell it? Mark, how when sailors in a dead calm bathe in the open sea—mark how closely they hug their ship and only coast along her sides.” (Herman Melville, Moby Dick, Chapter 94).

This is a discussion of some themes in Max Tegmark’s recent book, Our Mathematical Universe. It was written as a review for Plus Magazine, the online magazine of the UK’s national mathematics education and outreach project, the Mathematics Millennium Project. Since some of the discussion---about symmetry breaking, and Pythagoreanism in the philosophy of mathematics---went beyond reviewing Tegmark’s book, the material was divided into three online articles. This version combines those three articles, and adds some other material, in particular a brief (...) defence of quidditism about properties. It also adds some references, to other Plus articles as well as academic articles. But it retains the informal style of Plus. (shrink)

This paper provides a new analysis and critique of Rawlsian public reason’s handling of the abortion question. It is often claimed that public reason is indeterminate on abortion, because it cannot say enough about prenatal moral status, or give content to the (allegedly) political value which Rawls calls ‘respect for human life’. I argue that public reason requires much greater argumentative restraint from citizens debating abortion than critics have acknowledged. Beyond the preliminary observation that fetuses do not meet the criteria (...) of political personhood, I contend, public reasoners may say nothing about prenatal moral status. Indeed, respect for human life (as distinct from respect for persons) is not, I show, a genuine political value, whose interpretation lies within public reason’s remit. This fact does not, however, prevent deliberators from drawing determinate conclusions regarding the law of abortion. Instead, I show, public reason has radically permissive implications for the legal regulation of feticide, inclining heavily towards the view that abortion should be allowed with little or no qualification, right until birth. I end by giving grounds for thinking that, even if the argumentative restraint which public reason enjoins over prenatal moral status does not generate indeterminacy, it is nonetheless objectionable. (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)

This paper gives a technically elementary treatment of some aspects of Hamilton -Jacobi theory, especially in relation to the calculus of variations. The second half of the paper describes the application to geometric optics, the optico-mechanical analogy and the transition to quantum mechanics. Finally, I report recent work of Holland providing a Hamiltonian formulation of the pilot-wave theory.

Working in homotopy type theory, we provide a systematic study of homotopy limits of diagrams over graphs, formalized in the Coq proof assistant. We discuss some of the challenges posed by this approach to the formalizing homotopy-theoretic material. We also compare our constructions with the more classical approach to homotopy limits via fibration categories.

In 1837, Dirichlet proved that there are infinitely many primes in any arithmetic progression in which the terms do not all share a common factor. We survey implicit and explicit uses ofDirichlet characters in presentations of Dirichlet’s proof in the nineteenth and early twentieth centuries, with an eye toward understanding some of the pragmatic pressures that shaped the evolution of modern mathematical method.

What is the scope of morality? To whom are we obligated? Whom are we morally required to help? Whom may we not harm? Whom commands our respect and from whom are we forbidden to withhold our assistance? Do moral concerns and requirements diminish over distance, so that our duties are stronger to those who are near to us, and weaken to vanishing point as possible beneficiaries of our actions and inactions are found further and further away? And what does “distance” (...) mean in these circumstances? When is a person near to me? When is a person far away? Is it a matter of who they are, and of their relation to me? Or is it sheer geography? If it is geography, does a person count as near or far in virtue of where they live or in virtue of where they happen to be? (shrink)

Many nations in the developing world invest scarce funding into training health workers. When these workers migrate to richer countries, particularly when this migration occurs before the source community can recoup the costs of training, the destination community realizes a net gain in resources by obtaining the workers' skills without having to pay for their training. This effect of health worker migration has frequently been condemned as 'poaching' or a case of theft. I assess the charge that the rich nations (...) of the world poach the resources of the developing world through the active recruitment of migrants. I argue that the charge of poaching is misguided in these cases. The misuse of the term poaching is particularly troubling as it distracts attention away from the many actual moral wrongs taking place through the process of health worker migration and objectifies health workers. (shrink)

By what right do sovereign states prohibit migrants from entering their territories? It cannot be assumed that they do, certainly not as a matter of the way we define “sovereignty.” Can the sovereign right to exclude immigrants be derived from the sovereign’s status as owner of the territory it controls? This Article shows that the idea of the sovereign as owner is too problematic to be the basis of any argument for the right to exclude. It also argues against the (...) proposition that communities, considered as informal sovereigns, have a right to exclude based on their communal property in the land they inhabit. In both cases, an “ownership conception” is distinguished from a more attractive “responsibility conception” of sovereignty. The former remains unclear, while the latter leaves open the question of who the sovereign is responsible for. (shrink)

This paper offers a new critical evaluation of the Rawlsian model of global public reason (‘GPR’), focusing on its ability to serve as a normative standard for guiding international diplomacy and deliberation in matters of war. My thesis is that, where war is concerned, the model manifests two fatal weaknesses. First, because it demands extensive neutrality over the moral status of persons – and in particular over whether they possess equal basic worth or value – out of respect for the (...) beliefs of inegalitarian yet ‘decent’ societies, or ‘peoples’, Rawlsian GPR renders calculations of proportionality in war impossible. Second, because its content is provided by a conception of global justice (the so-called ‘Law of Peoples’) whose injunctions are addressed exclusively to peoples, as corporate agents, Rawlsian GPR pushes the moral evaluation of the independent wartime choices of individuals off the agenda of the global public forum altogether. (shrink)

This contribution explores the potential value of a postcolonial approach for teaching Mark’s gospel. Investigating a number of texts from the gospel, it asks to what extent a postcolonial optic implies a different approach to the gospel, what it adds and where challenges exist. Teaching with a postcolonial optic entails framing the gospel in its 1st-century imperial context and focusing on the ambivalence and ambiguity of imperial rule, investigating texts with attention to hybridity and mimicry in particular. Teaching the Gospel (...) of Mark through a postcolonial optic opens up new possibilities for interpretation and contextualisation, but at the same time poses certain challenges, pedagogically and otherwise. (shrink)

Scholarship aiming to describe the wrongness of exploitation, especially when it is voluntary and mutually beneficial, has increased greatly in recent years. In this paper, I expand the scope of this discussion by highlighting a set of additional ethical concerns associated with many cases of mutually voluntary and beneficial exploitation. Specifically, I argue that the phenomenon of persons desperately seeking out and gratefully accepting exploitative interactions raises special moral concerns. The element of voluntariness is key to understanding how and why (...) some exploitative interactions are degrading to exploitees. When an exploitative offer does not allow the exploitee sufficient progress toward a decent minimum of human functioning, these offers can create what I call a 'demeaning choice', where the exploitee may either accept the status quo or accept an offer that improves the exploitee's insufficiently. In these cases, the exploitee's participation in the interaction contributes to its demeaning quality, creating a form of `surface endorsement' of the treatment that she receives. (shrink)

A seminal theorem due to Weyl [14] states that if $(a_n)$ is any sequence of distinct integers, then, for almost every $x \in \mathbb{R}$, the sequence $(a_n x)$ is uniformly distributed modulo one. In particular, for almost every $x$ in the unit interval, the sequence $(a_n x)$ is uniformly distributed modulo one for every computable sequence $(a_n)$ of distinct integers. Call such an $x$ UD random. Here it is shown that every Schnorr random real is UD random, but there are (...) Kurtz random reals that are not UD random. On the other hand, Weyl's theorem still holds relative to a particular effectively closed null set, so there are UD random reals that are not Kurtz random. (shrink)

Critical notice of Paul Faulkner, "Knowledge on Trust" (OUP 2011) and Benjamin McMyler, "Testimony, Trust, and Authority" (OUP 2011).

Deacon’s approach to resolving mechanism/semiotic duality exemplifies an innovative methodology for imposing greater rigor on abductive assumptions in biosemiotics and beyond. His approach specifies interpretive agents and their responsive effort as the categories of phenomena to be explained. Implicit in his approach are five standards for imposing greater rigor on abduction or categorization, here named and described by the author.

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)

An alethic holding is any speech act that functions to hold another person to acting for reasons that they already had prior to the performance of a speech act with this function. Although it is tempting to think of such acts as either informing another person of extant reasons for acting or as creating new reasons for that person to so act, a central goal of this paper is to suggest that this temptation should be resisted. First, alethic speech acts (...) are situated within the broader terrain of performances that strive to hold others responsible. Second, the precise sense of ‘holding’ to reason that characterizes an alethic speech act is explicated, in a manner that distinguishes such acts from either those designed to inform one of extant norms or to add new norms. Third, an account that attempts to explain how a speech act can achieve this holding function is offered, one based on the idea of a self-conscious interpersonal, transaction. Finally, it is suggested that the terrain of holding other’s responsible sketched at the outset looks different once this account of alethic holdings is in view. (shrink)

We want to propose a conception of wisdom with a view to exploring what insights it can give us into some basic dimensions of teaching in contemporary higher education. We hope to show that this conception allows us, on the one hand, to see some crucial inadequacies of existing approaches to critical thinking, multiculturalism, and global awareness or internationalism. On the other hand, we believe that it also gives us some insight into the existentially or spiritually meaningful dimensions of learning. (...) In this way, it bridges the most contemporary and practical foci of teaching and its most fundamental and timeless concerns. In the later part of the paper, we shall explore some of the characteristics of this conception further through the teachings of some of the longstanding wisdom traditions, including what they say about teaching itself. (shrink)

This book explores how thinking with Alfred North Whitehead and various continental philosophers can advance ideas about sustainability and civilization writ large. Contributors employ Whitehead and one or more continental thinkers around a given topic, whether philosophical or social, to produce the dislocations necessary for generating new ideas.