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)

Subject-sensitive invariantism posits surprising connections between a person’s knowledge and features of her environment that are not paradigmatically epistemic features. But which features of a person’s environment have this distinctive connection to knowledge? Traditional defenses of subject-sensitive invariantism emphasize features that matter to the subject of the knowledge-attribution. Call this pragmatic encroachment. A more radical thesis usually goes ignored: knowledge is sensitive to moral facts, whether or not those moral facts matter to the subject. Call this moral encroachment. This paper (...) argues that, insofar as there are good arguments for pragmatic encroachment, there are also good arguments for moral encroachment. (shrink)

According to the view that there is moral encroachment in epistemology, whether a person has knowledge of p sometimes depends on moral considerations, including moral considerations that do not bear on the truth or likelihood of p. Defenders of moral encroachment face a central challenge: they must explain why the moral considerations they cite, unlike moral bribes for belief, are reasons of the right kind for belief (or withheld belief). This paper distinguishes between a moderate and a radical version of (...) moral encroachment. It shows that, while defenders of moderate moral encroachment are well-placed to meet the central challenge, defenders of radical moral encroachment are not. The problem for radical moral encroachment is that it cannot, without taking on unacceptable costs, forge the right sort of connection between the moral badness of a belief and that belief’s chance of being false. (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)

This paper is a study of higher-order contingentism – the view, roughly, that it is contingent what properties and propositions there are. We explore the motivations for this view and various ways in which it might be developed, synthesizing and expanding on work by Kit Fine, Robert Stalnaker, and Timothy Williamson. Special attention is paid to the question of whether the view makes sense by its own lights, or whether articulating the view requires drawing distinctions among possibilities that, according to (...) the view itself, do not exist to be drawn. The paper begins with a non-technical exposition of the main ideas and technical results, which can be read on its own. This exposition is followed by a formal investigation of higher-order contingentism, in which the tools of variable-domain intensional model theory are used to articulate various versions of the view, understood as theories formulated in a higher-order modal language. Our overall assessment is mixed: higher-order contingentism can be fleshed out into an elegant systematic theory, but perhaps only at the cost of abandoning some of its original motivations. (shrink)

Radical moral encroachment is the view that belief itself is morally evaluable, and that some moral properties of belief itself make a difference to epistemic rationality. To date, almost all proponents of radical moral encroachment hold to an asymmetry thesis: the moral encroaches on rational belief, but not on rational credence. In this paper, we argue against the asymmetry thesis; we show that, insofar as one accepts the most prominent arguments for radical moral encroachment on belief, one should likewise accept (...) radical moral encroachment on credence. We outline and reject potential attempts to establish a basis for asymmetry between the attitude types. Then, we explore the merits and demerits of the two available responses to our symmetry claim: (i) embracing moral encroachment on credence and (ii) denying moral encroachment on belief. (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)

Contingentists—who hold that it is contingent what there is—are divided on the claim that having a property or standing in a relation requires being something. This claim can be formulated as a natural schematic principle of higher-order modal logic. On this formulation, I argue that contingentists who are also higher-order contingentists—and so hold that it is contingent what propositions, properties and relations there are—should reject the claim. Moreover, I argue that given higher-order contingentism, having a property or standing in a (...) relation does not even require possibly being something. (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)

Current views of metaphysical ground suggest that a true conjunction is immediately grounded in its conjuncts, and only its conjuncts. Similar principles are suggested for disjunction and universal quantification. Here, it is shown that these principles are jointly inconsistent: They require that there is a distinct truth for any plurality of truths. By a variant of Cantor’s Theorem, such a fine-grained individuation of truths is inconsistent. This shows that the notion of grounding is either not in good standing, or that (...) natural assumptions about it need to be revised. (shrink)

Most agree that, in some special scenarios, prudence can speak against feeling a fitting emotion. Some go further, arguing that the tension between fittingness and prudence afflicts some emotions in a fairly general way. This paper goes even further: it argues that, when it comes to anxiety, the tension between fittingness and prudence is nearly inescapable. On any plausible theory, an enormous array of possible outcomes are both bad and epistemically uncertain in the right way to ground fitting anxiety. What’s (...) more, the fittingness of an emotion is a demanding, not a permissive, normative status. So the norms of fitting emotion demand a great deal of anxiety. For almost any realistic agent, it would be deeply imprudent to feel anxiety in a way that meets the demands set by norms of fitting emotion. (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)

Two expressive limitations of an infinitary higher-order modal language interpreted on models for higher-order contingentism – the thesis that it is contingent what propositions, properties and relations there are – are established: First, the inexpressibility of certain relations, which leads to the fact that certain model-theoretic existence conditions for relations cannot equivalently be reformulated in terms of being expressible in such a language. Second, the inexpressibility of certain modalized cardinality claims, which shows that in such a language, higher-order contingentists cannot (...) express what is communicated using various instances of talk of ‘possible things’, such as ‘there are uncountably many possible stars’. (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)

An argument going back to Russell shows that the view that propositions are structured is inconsistent in standard type theories. Here, it is shown that such type theories may nevertheless provide entities which can serve as proxies for structured propositions. As an illustration, such proxies are applied to the case of grounding, as standard views of grounding require a degree of propositional structure which suffices for a version of Russell’s argument. While this application solves some of the problems grounding faces, (...) it introduces problematic limitations: it becomes impossible to quantify unrestrictedly over the relata of ground. The proposed proxies may thus not save grounding, but they shed light on what exactly Russell’s argument does and does not show. (shrink)

According to propositional contingentism, it is contingent what propositions there are. This paper presents two ways of modeling contingency in what propositions there are using two classes of possible worlds models. The two classes of models are shown to be equivalent as models of contingency in what propositions there are, although they differ as to which other aspects of reality they represent. These constructions are based on recent work by Robert Stalnaker; the aim of this paper is to explain, expand, (...) and, in one aspect, correct Stalnaker's discussion. (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.

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)

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 paper is concerned with a propositional modal logic with operators for necessity, actuality and apriority. The logic is characterized by a class of relational structures defined according to ideas of epistemic two-dimensional semantics, and can therefore be seen as formalizing the relations between necessity, actuality and apriority according to epistemic two-dimensional semantics. We can ask whether this logic is correct, in the sense that its theorems are all and only the informally valid formulas. This paper gives outlines of two (...) arguments that jointly show that this is the case. The first is intended to show that the logic is informally sound, in the sense that all of its theorems are informally valid. The second is intended to show that it is informally complete, in the sense that all informal validities are among its theorems. In order to give these arguments, a number of independently interesting results concerning the logic are proven. In particular, the soundness and completeness of two proof systems with respect to the semantics is proven (Theorems 2.11 and 2.15), as well as a normal form theorem (Theorem 3.2), an elimination theorem for the actuality operator (Corollary 3.6), and the decidability of the logic (Corollary 3.7). It turns out that the logic invalidates a plausible principle concerning the interaction of apriority and necessity; consequently, a variant semantics is briefly explored on which this principle is valid. The paper concludes by assessing the implications of these results for epistemic two-dimensional semantics. (shrink)

This paper presents a challenge to conciliationist views of disagreement. I argue that conciliationists cannot satisfactorily explain why we need not revise our beliefs in response to certain moral disagreements. Conciliationists can attempt to meet this challenge in one of two ways. First, they can individuate disputes narrowly. This allows them to argue that we have dispute-independent reason to distrust our opponents’ moral judgment. This approach threatens to license objectionable dogmatism. It also inappropriately gives deep epistemic significance to superficial questions (...) about how to think about the subject matter of a dispute. Second, conciliationists can individuate disputes widely. This allows them to argue that we lack dispute-independent reason to trust our opponents’ moral judgment. But such arguments fail; our background of generally shared moral beliefs gives us good reason to trust the moral judgment of our opponents, even after we set quite a bit of our reasoning aside. On either approach, then, conciliationists should acknowledge that we have dispute-independent reason to trust the judgment of those who reject our moral beliefs. Given a conciliationist view of disagreement’s epistemic role, this has the unattractive result that we are epistemically required to revise some of our most intuitively secure moral beliefs. (shrink)

This essay provides a novel argument for impurism, the view that certain non-truth-relevant factors can make a difference to a belief's epistemic standing. I argue that purists, unlike impurists, are forced to claim that certain ‘high-stakes’ cases rationally require agents to be akratic. Akrasia is one of the paradigmatic forms of irrationality. So purists, in virtue of calling akrasia rationally mandatory in a range of cases with no obvious precedent, take on a serious theoretical cost. By focusing on akrasia, and (...) on the nature of the normative judgments involved therein, impurists gain a powerful new way to frame a core challenge for purism. They also gain insight about the way in which impurism is true: my argument motivates the claim that there is moral encroachment in epistemology. (shrink)

In our 2018 paper, “Hypocrisy and the Standing to Blame,” we offer an argument justifying the Nonhypocrisy Condition on the standing to blame. Benjamin Rossi (2018) has recently offered several criticisms of this view. We defend our account from Rossi’s criticisms and emphasize our account’s unique advantage: explaining why hypocritical blamers lack the standing to blame.

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)

Certain passages in Kaplan’s ‘Demonstratives’ are often taken to show that non-vacuous sentential operators associated with a certain parameter of sentential truth require a corresponding relativism concerning assertoric contents: namely, their truth values also must vary with that parameter. Thus, for example, the non-vacuity of a temporal sentential operator ‘always’ would require some of its operands to have contents that have different truth values at different times. While making no claims about Kaplan’s intentions, we provide several reconstructions of how such (...) an argument might go, focusing on the case of time and temporal operators as an illustration. What we regard as the most plausible reconstruction of the argument establishes a conclusion similar enough to that attributed to Kaplan. However, the argument overgenerates, leading to absurd consequences. We conclude that we must distinguish assertoric contents from compositional semantic values, and argue that once they are distinguished, the argument fails to establish any substantial conclusions. We also briefly discuss a related argument commonly attributed to Lewis, and a recent variant due to Weber. (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)

In this paper, I defend an epistemic requirement on fitting hopes and worries: it is fitting to hope or to worry that p only if one’s epistemic position makes it rational to suspend judgment as to whether p. This view, unlike prominent alternatives, is ecumenical; it retains its plausibility against a variety of different background views of epistemology. It also has other important theoretical virtues: it is illuminating, elegant, and extensionally adequate. Fallibilists about knowledge have special reason to be friendly (...) to my view; it can help them explain why it can be unfitting to hold on to hope and worry in the face of overwhelming evidence, and it can also help them explain the sense in which knowledge that p and hope that –p are in tension with one another. (shrink)

Organizations interested in employee ethics compliance face the problem of conflict between employee and organizational ethical standards. Socializing new employees is one way of assuring compliance. Important for longer term employees as well as new ones, however, is making those standards visible and then operable in the daily life of an organization. This study, conducted in one large organization, found that, depending on organizational level, awareness of an organization's ethical standards is predicted by managerial adherence to and organizational compliance with (...) those standards and/or discussions with peers. Regardless of level, organizational commitment was predicted most strongly by managerial adherence to organizational standards. These findings have theoretical implications for the fields of business ethics, organizational identity and organizational socialization and practical implications for the implementation of ethics policies. (shrink)

If there is pragmatic encroachment in epistemology, whether a person knows that p can vary with normative facts about her actions—including facts that do not bear on the truth or likelihood of p. This paper raises an underappreciated question for defenders of pragmatic encroachment: which of the many norms on action are distinctively connected to knowledge? To the extent that contemporary defenders of pragmatic encroachment address this question, they do so by citing norms of ‘practical rationality.’ I show that this (...) approach can only be made to work on the assumption that all immorality involves some form of incoherence. I then suggest a pluralist strategy for pragmatic encroachers who seek to answer my question without making this heavyweight metaethical assumption: they should agree that multiple distinct norms on action play a difference-making role in epistemology. I close the paper by sketching three ways in which pragmatic encroachers might pursue this strategy. (shrink)

Several writers have argued that the state lacks the moral standing to hold socially deprived offenders responsible for their crimes because the state would be hypocritical in doing so. Yet the state is not disposed to make an unfair exception of itself for committing the same sorts of crimes as socially deprived offenders, so it is unclear that the state is truly hypocritical. Nevertheless, the state is disposed to inconsistently hold its citizens responsible, blaming or punishing socially deprived offenders more (...) often or more harshly than other offenders, even when the crimes are the same. The state’s stable disposition to inconsistently hold offenders responsible undermines its standing to hold offenders responsible for the same reasons that hypocrisy undermines standing; instead of making an unfair exception of itself, the state makes an unfair exception of others. Strikingly, this means that the state lacks the standing to hold anyone responsible for a crime for which it is unfairly disposed to hold citizens responsible inconsistently, not just socially deprived offenders. Thus, it is even more urgent that the state regain its moral standing by working toward a justice system that holds offenders responsible consistently. (shrink)

I consider the first-order modal logic which counts as valid those sentences which are true on every interpretation of the non-logical constants. Based on the assumptions that it is necessary what individuals there are and that it is necessary which propositions are necessary, Timothy Williamson has tentatively suggested an argument for the claim that this logic is determined by a possible world structure consisting of an infinite set of individuals and an infinite set of worlds. He notes that only the (...) cardinalities of these sets matters, and that not all pairs of infinite sets determine the same logic. I use so-called two-cardinal theorems from model theory to investigate the space of logics and consequence relations determined by pairs of infinite sets, and show how to eliminate the assumption that worlds are individuals from Williamson’s argument. (shrink)

According to the algebraic approach to spacetime, a thoroughgoing dynamicism, physical fields exist without an underlying manifold. This view is usually implemented by postulating an algebraic structure (e.g., commutative ring) of scalar-valued functions, which can be interpreted as representing a scalar field, and deriving other structures from it. In this work, we point out that this leads to the unjustified primacy of an undetermined scalar field. Instead, we propose to consider algebraic structures in which all (and only) physical fields are (...) primitive. We explain how the theory of natural operations in differential geometry—the modern formalism behind classifying diffeomorphism-invariant constructions—can be used to obtain concrete implementations of this idea for any given collection of fields. For concrete examples, we illustrate how our approach applies to a number of particular physical fields, including electrodynamics coupled to a Weyl spinor. (shrink)

Sometimes, the fact that an attitude is fitting seems like a demand to have that attitude. But in other cases, the fact that an attitude is fitting seems more like a permission to have the attitude. I defend a proposal that can accommodate both of these appearances. I argue that there is a kind of emotionlessness, which I call apathy, that can be fitting or unfitting in just the same way that emotion can. I further argue that, in some cases, (...) it can be fitting to respond a single object either with emotion or with apathy. When both apathy and emotion are fitting options, the fittingness of the emotion is a permission-like status; failures to have the fitting emotion are not failures of fit. But when an emotion is fitting and apathy is unfitting, the fittingness of the emotion is a demand-like status; failures to have the emotion are failures of fit. (shrink)

Existential claims are widely held to be grounded in their true instances. However, this principle is shown to be problematic by arguments due to Kit Fine. Stephan Krämer has given an especially simple form of such an argument using propositional quantifiers. This note shows that even if a schematic principle of existential grounds for propositional quantifiers has to be restricted, this does not immediately apply to a corresponding non-schematic principle in higher-order logic.

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)

Can conjunctive propositions be identical without their conjuncts being identical? Can universally quantified propositions be identical without their instances being identical? On a common conception of propositions, on which they inherit the logical structure of the sentences which express them, the answer is negative both times. Here, it will be shown that such a negative answer to both questions is inconsistent, assuming a standard type-theoretic formalization of theorizing about propositions. The result is not specific to conjunction and universal quantification, but (...) applies to any binary operator and propositional quantifier. It is also shown that the result essentially arises out of giving a negative answer to both questions, as each negative answer is consistent by itself. (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)

Robert Stalnaker recently proposed a simple theory of propositions using the notion of a set of propositions being consistent, and conjectured that this theory is equivalent to the claim that propositions form a complete atomic Boolean algebra. This paper clarifies and confirms this conjecture. Stalnaker also noted that some of the principles of his theory may be given up, depending on the intended notion of proposition. This paper therefore also investigates weakened constraints on consistency and the corresponding classes of Boolean (...) algebras. (shrink)

This article explores the connection between two theses: the principle of conditional excluded middle for the counterfactual conditional, and the claim that it is a contingent matter which (coarse grained) propositions there are. Both theses enjoy wide support, and have been defended at length by Robert Stalnaker. We will argue that, given plausible background assumptions, these two principles are incompatible, provided that conditional excluded middle is understood in a certain modalized way. We then show that some (although not all) arguments (...) for conditional excluded middle can in fact be extended to motivate this modalized version of the principle. (shrink)

Propositional quantifiers are added to a propositional modal language with two modal operators. The resulting language is interpreted over so-called products of Kripke frames whose accessibility relations are equivalence relations, letting propositional quantifiers range over the powerset of the set of worlds of the frame. It is first shown that full second-order logic can be recursively embedded in the resulting logic, which entails that the two logics are recursively isomorphic. The embedding is then extended to all sublogics containing the logic (...) of so-called fusions of frames with equivalence relations. This generalizes a result due to Antonelli and Thomason, who construct such an embedding for the logic of such fusions. (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)

Many writers have recently argued that there is something distinctively problematic about sustaining moral beliefs on the basis of others’ moral views. Call this claim pessimism about moral deference. Pessimism about moral deference, if true, seems to provide an attractive way to argue for a bold conclusion about moral disagreement: moral disagreement generally does not require belief revision. Call this claim steadfastness about moral disagreement. Perhaps the most prominent recent discussion of the connection between moral deference and moral disagreement, due (...) to Alison Hills, uses pessimism about the former to argue for steadfastness about the latter. This paper reveals that this line of thinking, and others like it, are unsuccessful. There is no way to argue from a compelling version of pessimism about moral deference to the conclusion of steadfastness about moral disagreement. The most plausible versions of pessimism about moral deference have only very limited implications for moral disagreement. (shrink)

Positive emotions are highly valued and frequently sought. Beyond just being pleasant, however, positive emotions may also lead to long-term benefits in important domains, including work, physical health, and interpersonal relationships. Research thus far has focused on the broader functions of positive emotions. According to the broaden-and-build theory, positive emotions expand people’s thought–action repertoires and allow them to build psychological, intellectual, and social resources. New evidence suggests that positive emotions—particularly gratitude—may also play a role in motivating individuals to engage in (...) positive behaviors leading to self-improvement. We propose and offer supportive evidence that expressing gratitude leads people to muster effort to improve themselves via increases in connectedness, elevation, humility, and specific negative states including indebtedness. (shrink)

In a representative vignette study in Germany with 1,653 respondents, we investigated laypeople’s attribution of moral responsibility in collaborative medical diagnosis. Specifically, we compare people’s judgments in a setting in which physicians are supported by an AI-based recommender system to a setting in which they are supported by a human colleague. It turns out that people tend to attribute moral responsibility to the artificial agent, although this is traditionally considered a category mistake in normative ethics. This tendency is stronger when (...) people believe that AI may become conscious at some point. In consequence, less responsibility is attributed to human agents in settings with hybrid diagnostic teams than in settings with human-only diagnostic teams. Our findings may have implications for behavior exhibited in contexts of collaborative medical decision making with AI-based as opposed to human recommenders because less responsibility is attributed to agents who have the mental capacity to care about outcomes. (shrink)

The editors of the _Journal of Medical Ethics_ support the call of the UK Health Alliance on Climate for urgent action to ensure that the current Conference of the Parties to the United Nations Framework Convention on Climate Change ‘finally delivers climate justice for Africa and vulnerable countries’. 1 As they note ‘Africa has suffered disproportionately although it has done little to cause the crisis’. The burden of climate change has thus far fallen disproportionately on Global South countries. The monsoon (...) in Pakistan this year killed over 1100 people and the public health implications of the flooding might affect the health of over 5 million people. 2 The South Asian monsoon impacts the lives of a billion people and the flooding associated with wet seasons is likely to occur eight times more frequently in future years than at present. 3 For many pacific islands such as Kiribati,... (shrink)