This volume explores the use of higher-order logics in metaphysics. Seventeen original essays trace the development of higher-order metaphysics, discuss different ways in which higher-order languages and logics may be used, and consider their application to various central topics of metaphysics.

This chapter provides an introduction to higher-order metaphysics as well as to the contributions to this volume. We discuss five topics, corresponding to the five parts of this volume, and summarize the contributions to each part. First, we motivate the usefulness of higher-order quantification in metaphysics using a number of examples, and discuss the question of how such quantifiers should be interpreted. We provide a brief introduction to the most common forms of higher-order logics used in metaphysics, and indicate a (...) number of questions which can be raised in such systems using logical vocabulary alone. Using a further example, we return to applications of higher-order logics in metaphysics. We also mention key developments in the history of higher-order logic as it pertains to metaphysics. Finally, we mention certain arguments which have been raised against the use of higher-order logic, and some ways of responding to them. (shrink)

Hypocrites are often thought to lack the standing to blame others for faults similar to their own. Although this claim is widely accepted, it is seldom argued for. We offer an argument for the claim that nonhypocrisy is a necessary condition on the standing to blame. We first offer a novel, dispositional account of hypocrisy. Our account captures the commonsense view that hypocrisy involves making an unjustified exception of oneself. This exception-making involves a rejection of the impartiality of morality and (...) thereby a rejection of the equality of persons, which we argue grounds the standing to blame others. (shrink)

We often speak as if there are merely possible people—for example, when we make such claims as that most possible people are never going to be born. Yet most metaphysicians deny that anything is both possibly a person and never born. Since our unreflective talk of merely possible people serves to draw non-trivial distinctions, these metaphysicians owe us some paraphrase by which we can draw those distinctions without committing ourselves to there being merely possible people. We show that such paraphrases (...) are unavailable if we limit ourselves to the expressive resources of even highly infinitary first-order modal languages. We then argue that such paraphrases are available in higher-order modal languages only given certain strong assumptions concerning the metaphysics of properties. We then consider alternative paraphrase strategies, and argue that none of them are tenable. If talk of merely possible people cannot be paraphrased, then it must be taken at face value, in which case it is necessary what individuals there are. Therefore, if it is contingent what individuals there are, then the demands of paraphrase place tight constraints on the metaphysics of properties: either (i) it is necessary what properties there are, or (ii) necessarily equivalent properties are identical, and having properties does not entail even possibly being anything at all. (shrink)

Sometimes it is not one’s place to blame or forgive. This phenomenon is captured under the philosophical notion of standing. However, there is an asymmetry to be explained here. One can successfully blame, even if one lacks the standing to do so. Yet, one cannot successfully forgive if one lacks the standing to do so. In this article we explain this asymmetry. We argue that a complete explanation depends on not only a difference in the natures of the standing to (...) blame and forgive but also a difference in the natures of blame and forgiveness themselves. (shrink)

It is widely agreed that hypocrisy can undermine one’s moral standing to blame. According to the Nonhypocrisy Condition on standing, R has the standing to blame some other agent S for a violation of some norm N only if R is not hypocritical with respect to blame for violations of N. Yet this condition is seldom argued for. Macalester Bell points out that the fact that hypocrisy is a moral fault does not yet explain why hypocritical blame is standingless blame. (...) She raises a challenge: one must explain what is distinct about hypocritical blame such that the hypocritical blamer lacks the standing to blame, even if the arrogant or petty blamer does not. Of those writing on hypocrisy, only we offer a direct response to Bell’s challenge. Recently, however, our account has come under criticism. We argue here that (1) our account can handle these criticisms and that (2) no other rival account adequately addresses Bell’s challenge of explaining what is uniquely objectionable about hypocritical blame. Because answering Bell’s challenge is a necessary component of any plausible account of the relationship between hypocrisy and standing, our account remains the best on offer. (shrink)

In 2019, several US states passed “heartbeat” bills. Should such bills go into effect, they would outlaw abortion once an embryonic heartbeat can be detected, thereby severely limiting an individual’s access to abortion. Many states allow health care professionals to refuse to provide an abortion for reasons of conscience. Yet heartbeat bills do not include a positive conscience clause that would allow health care professionals to provide an abortion for reasons of conscience. I argue that this asymmetry is unjustified. The (...) same criteria that justify protecting conscientious refusals to provide abortion also justify protecting positive conscientious appeals regarding abortion. Thus, if the law provides legal exemptions for health care professionals who, as a matter of conscience, refuse to provide abortions where it is legal, it should also provide exemptions for health care professionals who, as a matter of conscience, feel obligated to provide abortions where it is illegal. (shrink)

According to the structured theory of propositions, if two sentences express the same proposition, then they have the same syntactic structure, with corresponding syntactic constituents expressing the same entities. A number of philosophers have recently focused attention on a powerful argument against this theory, based on a result by Bertrand Russell, which shows that the theory of structured propositions is inconsistent in higher order-logic. This paper explores a response to this argument, which involves restricting the scope of the claim that (...) propositions are structured, so that it does not hold for all propositions whatsoever, but only for those which are expressible using closed sentences of a given formal language. We call this restricted principle Closed Structure, and show that it is consistent in classical higher-order logic. As a schematic principle, the strength of Closed Structure is dependent on the chosen language. For its consistency to be philosophically significant, it also needs to be consistent in every extension of the language which the theorist of structured propositions is apt to accept. But, we go on to show, Closed Structure is in fact inconsistent in a very natural extension of the standard language of higher-order logic, which adds resources for plural talk of propositions. We conclude that this particular strategy of restricting the scope of the claim that propositions are structured is not a compelling response to the argument based on Russell’s result, though we note that for some applications, for instance to propositional attitudes, a restricted thesis in the vicinity may hold some promise. (shrink)

Epistemic two-dimensional semantics is a theory in the philosophy of language that provides an account of meaning which is sensitive to the distinction between necessity and apriority. While this theory is usually presented in an informal manner, I take some steps in formalizing it in this paper. To do so, I define a semantics for a propositional modal logic with operators for the modalities of necessity, actuality, and apriority that captures the relevant ideas of epistemic two-dimensional semantics. I also describe (...) some properties of the logic that are interesting from a philosophical perspective, and apply it to the so-called nesting problem. (shrink)

The models of contingency in what propositions, properties and relations there are developed in Part 1 are related to models of contingency in what propositions there are due to Robert Stalnaker. It is shown that some but not all of the classes of models of Part 1 agree with Stalnaker’s models concerning the patterns of contingency in what propositions there are they admit. Further structural connections between the two kinds of models are explored.

Call the following claim Asymmetry: rationality often requires a more steadfast response to pure moral disagreement than it does to otherwise analogous non-moral disagreement. This paper briefly motivates Asymmetry and explores its implications for meta-ethics. Some philosophers have thought that anti-realists are better-placed than realists to explain Asymmetry because, if anti-realism is true, disagreement cannot provide evidence against the reliability of one's thinking about objective moral facts. This paper argues that this simple diagnosis fails to support otherwise plausible anti-realisms. It (...) closes by discussing an alternative explanation for Asymmetry, which appeals to the moral importance of steadfastness. (shrink)

This book develops an argument for a foundational theory of modality using higher-order logic. The use of higher-order logic in metaphysics is motivated, and a particular higher-order logic is introduced. Fine-grained theories of propositional individuation are shown to be problematic, and a course-grained theory of propositional individuation is defended. On the basis of this theory, it is argued that the metaphysical necessities can be delineated using purely logical terms; by adding an actuality operator, it is shown that the logic of (...) metaphysical necessity is S5. The theoretical role of possible worlds is articulated, and shown to be satisfied by maximal propositions if it satisfied by anything; the existence of such maximal propositions is demonstrated using plural propositional quantification. The resulting theory reduces metaphysical modal terms to higher-order logical terms, and thereby vindicates a widespread modal conception of metaphysics. (shrink)

Many object-directed emotions change in intensity over time. Importantly, this sometimes happens even though the emotion’s object remains unchanged: grief over the tragic loss of a loved one, for instance, fades even though the loss remains tragic. Can a changing emotion continue to fit its unchanging object? Existing answers to this question tend to vindicate strikingly narrow visions of fitting emotional change: some, for instance, consider it uniquely fitting for grief to diminish, while others consider grief fitting only when it (...) maintains, or returns to, its originally-fitting intensity. I argue for a permissive view that can make sense of both fitting diminished emotion and fitting resurgent emotion. This view is also uniquely positioned to address the most pressing contemporary challenge for views that embrace fitting emotional change in unchanging-object cases, one forcefully pressed by Christopher Howard. (shrink)

The world provides us with an ocean of opportunities for fitting emotion. But we are beings with limited emotional resources, so missed opportunities are common. This chapter argues that these failures to take up fitting emotions are very frequently unfitting in their own right—so frequently, in fact, that most of us lead lives replete with unfitting absences of emotion. It begins by showing that, whenever an emotion can be unfitting in virtue of being too weak, the absence of that emotion (...) can also be unfitting, and for just the same reason. But emotional responses to a host of everyday objects—a funny joke, a nasty insult, and so on—can be unfittingly weak. This means that failures to respond emotionally to an enormous host of everyday objects are similarly unfitting. (shrink)

Philosophical and sociological approaches in technology have increasingly shifted toward describing AI (artificial intelligence) systems as ‘(moral) agents,’ while also attributing ‘agency’ to them. It is only in this way – so their principal argument goes – that the effects of technological components in a complex human-computer interaction can be understood sufficiently in phenomenological-descriptive and ethical-normative respects. By contrast, this article aims to demonstrate that an explanatory model only achieves a descriptively and normatively satisfactory result if the concepts of ‘(moral) (...) agent’ and ‘(moral) agency’ are exclusively related to human agents. Initially, the division between symbolic and sub-symbolic AI, the black box character of (deep) machine learning, and the complex relationship network in the provision and application of machine learning are outlined. Next, the ontological and action-theoretical basic assumptions of an ‘agency’ attribution regarding both the current teleology-naturalism debate and the explanatory model of actor network theory are examined. On this basis, the technical-philosophical approaches of Luciano Floridi, Deborah G. Johnson, and Peter-Paul Verbeek will all be critically discussed. Despite their different approaches, they tend to fully integrate computational behavior into their concept of ‘(moral) agency.’ By contrast, this essay recommends distinguishing conceptually between the different entities, causalities, and relationships in a human-computer interaction, arguing that this is the only way to do justice to both human responsibility and the moral significance and causality of computational behavior. (shrink)

Timothy Williamson has argued that in the debate on modal ontology, the familiar distinction between actualism and possibilism should be replaced by a distinction between positions he calls contingentism and necessitism. He has also argued in favor of necessitism, using results on quantified modal logic with plurally interpreted second-order quantifiers showing that necessitists can draw distinctions contingentists cannot draw. Some of these results are similar to well-known results on the relative expressivity of quantified modal logics with so-called inner and outer (...) quantifiers. The present paper deals with these issues in the context of quantified modal logics with generalized quantifiers. Its main aim is to establish two results for such a logic: Firstly, contingentists can draw the distinctions necessitists can draw if and only if the logic with inner quantifiers is at least as expressive as the logic with outer quantifiers, and necessitists can draw the distinctions contingentists can draw if and only if the logic with outer quantifiers is at least as expressive as the logic with inner quantifiers. Secondly, the former two items are the case if and only if all of the generalized quantifiers are first-order definable, and the latter two items are the case if and only if first-order logic with these generalized quantifiers relativizes. (shrink)

This paper looks into the ethics of positive perspective-taking. Positive perspective-taking is, roughly, an attitudinal orientation toward an object that treats that object as sufficiently good, or in other words, as meeting one’s normative expectations. Sometimes, positive perspective-taking is both prudent and virtuous. But sometimes, positive perspective-taking–especially about injustices done to others–seems morally suspicious. When is positive perspective-taking actually morally problematic, and in those cases, what is the nature of the moral problem? I argue that a complete answer to this (...) question should appeal to moral rights: on my view, we sometimes have moral rights against others’ putting our problems into a positive perspective. A central advantage of this proposal is its ability to account for the moral asymmetry between positive perspective-taking about injustices done to oneself and positive perspective-taking about injustices done to others. (shrink)

As many studies around the theme of ‘too much medicine’ attest, investigations are being ordered with increasing frequency; similarly the threshold for providing treatment has lowered. Our contention is that trust is a significant factor in influencing this, and that understanding the relationship between trust and investigations and treatments will help clinicians and policymakers ensure ethical decisions are more consistently made. Drawing on the philosophical literature, we investigate the nature of trust in the patient–doctor relationship, arguing that at its core (...) it involves a transfer of discretion. We show that there is substantial empirical support for the idea that more trust will reduce the problem of too much medicine. We then investigate ways in which trust can be built, concentrating on issues of questioning, of acknowledging uncertainty and of shouldering responsibility for it. We argue that offering investigations or treatments as a way of generating trust may itself be an untrustworthy way of proceeding, and that healthcare systems should provide the institutional support for facilitating continuity, questioning and the entrusting of uncertainty. (shrink)

Traditionally, those writing on blame have been concerned with blaming others, including when one has the standing to blame others. Yet some alleged problems for such accounts of standing arise when we focus on self-blame. First, if hypocrites lack the standing to blame others, it might seem that they also lack the standing to blame themselves. But this would lead to a bootstrapping problem, wherein hypocrites can only regain standing by doing that which they lack the standing to do. Second, (...) in addition to hypocrites, there may be hypercrites, who blame themselves more severely than others. Leading accounts for why hypocrites lack standing to blame others would also seem to imply that hypercrites lack the standing to blame others, but some may find this counterintuitive. We argue that neither of these problems from self-blame poses a unique threat to leading accounts of standing. (shrink)

To practise ‘fairly and justly’ a clinician must balance the needs of both the many and the few: the individual patient in front of them, and the many unseen patients in the waiting room, and in the county. They must consider the immediate clinical needs of those in the present, and how their actions will impact on future patients. The good medical practice guidance ‘Make the care of your patient your first concern’ provides no guidance on how doctors should act (...) when they care for multiple patients with conflicting needs. Moreover, conflicting needs extend far past simply those between different patients. At an organisational level, financial obligations must be balanced with clinical ones; the system must support those who work within it in a variety of roles; and, finally, in order for a healthcare service to be sustainable, the demands of current and future generations must be balanced.The central problem, we propose, is that there is no shared philosophical framework on which the provision of care or the development of health policy is based, nor is there a practical, fair and transparent process to ensure that the service is equipped to deal justly with new challenges as they emerge. Many philosophers have grappled with constructing a set of principles which would lead to a ‘good’ society which is just to different users; prominent among them is Rawls.Four important principles can be derived using a Rawlsian approach: equity of access, distributive justice, sustainability and openness. However, Rawls’ approach is sometimes considered too abstract to be applied readily to policymaking; it does not provide clear guidance for how individuals working within existing institutions can enact the principles of justice. We therefore combine the principles derived from Rawls with Scanlonian contractualism: by demanding that decisions are made in a way which cannot be ‘reasonably rejected’ by different stakeholders, we ensure that conflicting needs are considered robustly.We demonstrate how embedding this framework would ensure just policies and fair practice. We illustrate this by using examples of how it would help prevent injustice among different socioeconomic groups, prevent intergenerational injustice and prevent injustice in a crisis, for example, as we respond to new challenges such as COVID-19.Attempts to help individual doctors practise fairly and justly throughout their professional lives are best focused at an institutional or systemic level. We propose a practical framework: combining Scanlonian contractualism with a Rawlsian approach. Adopting this framework would equip the workforce and population to contribute to fair policymaking, and would ultimately result in a healthcare system whose practice and policies—at their core—were just. (shrink)

Criteria are given to characterize mature theories in contradistinction to developing theories. We lean heavily on the physical sciences. An established theory is defined as a mature one with known validity limits. The approximate truth of such theories is thereby given a quantitative character. Superseding theories do not falsify established theories because the latter are protected by their validity limits. This view of scientific realism leads to ontological levels and cumulativity of knowledge. It is applied to a defense of realism (...) against recent attacks by Laudan. (shrink)

In Terrorism, Ticking Time-Bombs, and Torture, Fritz Allhoff demonstrates the weakness of the case against torture; while allowing that torture constitutes a moral wrong, he nevertheless argues that, in exceptional cases, it represents the ...

We examined cynicism as a mediator of the influence of managers’ mission-congruent communication and behavior about ethical standards (a form of supervisory behavioral integrity) on employee attitudes and intended behavior. Results indicated that cynicism partially mediates the relationship between supervisory behavioral integrity and organizational commitment, but not the relationship between supervisory behavioral integrity and intent to comply with organizational expectations for employee conduct.

BackgroundInternationally, patient access to notes is increasing. This has been driven by respect for patient autonomy, often recognised as a primary tenet of medical ethics: patients should be able to access their records to be fully engaged with their care. While research has been conducted on the impact of patient access to outpatient and primary care records and to patient portals, there is no such review looking at access to hospital medical records in real time, nor an ethical analysis of (...) the issues involved in such a change in process.MethodsThis study employed a systematic review framework in two stems, to integrate literature identified from two searches: Medline, CINAHL and Scopus databases were conducted, (for (1) hospitalised patients, patient access to records and its effects on communication and trust within the doctor-patient relationship; and (2) patient access to medical records and the ethical implications identified). The qualitative and quantitative results of both searches were integrated and critically analysed.Results3954 empirical and 4929 ethical studies were identified; 18 papers representing 16 studies were identified for review (12 empirical and 6 ethical). The review reveals a consensus that our current approach to giving information to patients – almost exclusively verbally – is insufficient; that patient access to notes is a welcome next step for patient-centred care, but that simply allowing full access, without explanation or summary, is also insufficient. Several ethical implications need to be considered: increased information could improve patient trust and knowledge but might transfer an (unwelcome) sense of responsibility to patients; doctors and patients have conflicting views on how much information should be shared and when; sharing written information might increase the already significant disparity in access to health care, and have unforeseen opportunity costs. The impact on medical practice of sharing notes in real time will also need to be evaluated.ConclusionsThe review presents encouraging data to support patient access to medical notes. However, sharing information is a critical part of clinical practice; changing how it is done could have significant empirical and ethical impacts; any changes should be carefully evaluated. (shrink)

We explore whether a Rawlsian approach might provide a guiding philosophy for the development of a healthcare system, in particular with regard to resolving tensions between different groups within it. We argue that an approach developed from some of Rawls’ principles – using his ‘veil of ignorance’ and both the ‘difference’ and ‘just savings’ principles which it generates – provides a compelling basis for policy making around certain areas of conflict. We ask what policies might be made if those making (...) them did not know if one was patient, doctor, nurse or manager – in this generation or the next. We first offer a brief summary of Rawls’ approach and how we intend to extrapolate from it. We examine how this adapted Rawlsian framework could be applied to specific examples of conflict within healthcare; we demonstrate how this framework can be used to develop a healthcare service which is both sustainable (in its training and treatment of staff, and in encouraging research and innovation) and open (to protect the powers and opportunities of those using the health service). We conclude that while Rawls’ approach has previously been rejected as a means to address specific healthcare decisions, an adapted veil of ignorance can be a useful tool for the consideration of how a just health service should be constructed and sustained. Turning the theoretical into the practical (and combining Rawls’ thought experiment with Scanlonian contractarianism), managers, doctors, patients, carers and nurses could come together and debate conflicting issues behind a hypothetical veil. (shrink)

Propositional modal logic over relational frames is naturally extended with propositional quantifiers by letting them range over arbitrary sets of worlds of the relevant frame. This is also known as second-order propositional modal logic. The propositionally quantified modal logic of a class of relational frames is often not axiomatizable, although there are known exceptions, most notably the case of frames validating the strong modal logic $\mathrm {S5}$. Here, we develop new general methods with which many of the open questions in (...) this area can be answered. We illustrate the usefulness of these methods by applying them to a range of examples, which provide a detailed picture of which normal modal logics define classes of relational frames whose propositionally quantified modal logic is axiomatizable. We also apply these methods to establish new results in the multimodal case. (shrink)

UNDERSTANDING HOW EMOTIONS ARE COMPOSED AS MENTAL STATES can help us understand the access many people have to their own emotions. It also can help us understand how people might increase this access and make more effective use of it in their efforts to become more free and responsible in their emotional lives. This essay focuses on some forms of cognition that enter into the composition of at least some emotional states. It shows how thoughts, beliefs, assumptions, intuitions, and questions (...) that are arguably religious can condition the ways in which people construe objects and events in their lives and thus the ways in which they form emotional responses to those objects and events. The essay takes its bearings from the work of James Gustafson and Martha Nussbaum. (shrink)

Well-known results due to David Makinson show that there are exactly two Post complete normal modal logics, that in both of them, the modal operator is truth-functional, and that every consistent normal modal logic can be extended to at least one of them. Lloyd Humberstone has recently shown that a natural analog of this result in congruential modal logics fails, by showing that not every congruential modal logic can be extended to one in which the modal operator is truth-functional. As (...) Humberstone notes, the issue of Post completeness in congruential modal logics is not well understood. The present article shows that in contrast to normal modal logics, the extent of the property of Post completeness among congruential modal logics depends on the background set of logics. Some basic results on the corresponding properties of Post completeness are established, in particular that although a congruential modal logic is Post complete among all modal logics if and only if its modality is truth-functional, there are continuum many modal logics Post complete among congruential modal logics. (shrink)

We have all become used to the rapid change around us, and with it, the shifting landscape of medical ethics. It appears, however, that the acceleration phase of change in biomedical sciences is only just beginning, and we need to be prepared for new challenges ahead. This issue of the journal considers several of them: in epigenome editing, 1 in bioprinting 2 and in cryonics. 3 With all of these developments, we need to be doing our ethical thinking proactively rather (...) than reactively; and we need to consider not only what we think the ethical problems might be but what frameworks we have for arguing how we should address them. There are several approaches that could be taken 4 each with their own advantages and limitations. The most fun—and the one we are perhaps best at—is to consider hypothetical scenarios, the ethical controversies associated with... (shrink)

With new technologies come new ethical challenges. Often, we can apply previously established principles, even though it may take some time to fully understand the detail of the new technology - or the questions that arise from it. The International Commission on Radiological Protection, for example, was founded in 1928 and has based its advice on balancing the radiation exposure associated with X-rays and CT scans with the diagnostic benefits of the new investigations. They have regularly updated their advice as (...) evidence has accumulated and technologies have changed,1 and have been able to extrapolate from well-established ethical principles. Other new technologies lend themselves less well to off-the-peg ethical solutions. In several articles in this edition the ethical challenges associated with the use of artificial intelligence in medicine are addressed. Although multiple ethical codes and guidelines have been written on the use and development of AI, Hagendorf noted that many of them reiterated a ‘ deontologically oriented, action-restricting ethic based on universal abidance of principles and rules’. 2 Applying pre-existing ethical frameworks to artificial intelligence is problematic for several reasons. In particular, AI has two characteristics which are very different from the current clinical practice on which traditional medical ethics are based: 1. The so called ‘black box’ of deep learning, whereby a deep neural network is trained to iteratively adapt to make …. (shrink)

In this paper, a distinctly subjectivist analysis of the nature of relational goodness or goodness for is proposed. Like the generic subjectivist analysis of value, the proposal is to analyse value in terms of attitudes. Specifically, the proposed analysis of goodness for appeals to a special kind of attitude: namely, so-called for-someone’s-sake attitudes. Unlike other analyses in the literature that have appealed to this kind of attitude, the analysis proposed here is not a fitting-attitude analysis. Rather than appealing to for-someone’s-sake (...) attitudes that it is fitting to have or that there are reasons to have, the proposed analysis takes actually held for-someone’s-sake attitudes to ground or constitute goodness for. The analysis should be attractive to those already within the subjectivist camp. One of its appeals is that it is a special case of a general subjectivist approach to values, thus showing that subjectivism provides the resources to analyse relational values. (shrink)