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)

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)

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)

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)

Tae Wan Kim, John Hooker, and Thomas Donaldson make an attempt, in recent articles, to solve the alignment problem. As they define the alignment problem, it is the issue of how to give AI systems moral intelligence. They contend that one might program machines with a version of Kantian ethics cast in deontic modal logic. On their view, machines can be aligned with human values if such machines obey principles of universalization and autonomy, as well as a deontic utilitarian principle. (...) Programming machines to do so might be useful, in their view, for applications such as future autonomous vehicles. Their proposal draws both on traditional logic-based and contemporary connectionist approaches, to fuse factual information with normative principles. I will argue that this approach makes demands of machines that go beyond what is currently feasible, and may extend past the limits of the possible for AI. I also argue that a deontological ethics for machines should place greater stress on the formula of humanity of the Kantian categorical imperative. On this principle, one ought never treat a person as a mere means. Recognition of what makes a person a person requires ethical insight. Similar insight is needed to tell treatment as a means from treatment as a mere means. The resources in Kim, Hooker, and Donaldson’s approach is insufficient for this reason. Hesitation regarding deployment of autonomous machines is warranted in light of these alignment concerns. (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)

Propositional quantifiers are quantifiers binding proposition letters, understood as variables. This Element introduces propositional quantifiers and explains why they are especially interesting in the context of propositional modal logics. It surveys the main results on propositionally quantified modal logics which have been obtained in the literature, presents a number of open questions, and provides examples of applications of such logics to philosophical problems.

This is evident, for example, in the contribution it has made to the emancipation of repressed social classes.

Reprint of the Knopf edition of 1972 with a new introduction by Fritz Stern. Now printed on acid-free paper. Annotation copyrighted by Book News, Inc., Portland, OR.

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)

While offering a public welcome of communicative participation, a communicative dark side of the moderate Enlightenment project emerged. Moderate Enlightenmentrsquo;s corollary companion to wresting power from a limited few is the staggering sense of confidence in the universal ground of assurance that is ldquo;bad faithrdquo; mdash;we fib to ourselves that we can stand above history and affect the future. Absolute conviction of universal access to truth propels through methodological confidence, undergirding the era of ldquo;the rationalrdquo; pursuit of truth, transporting the (...) individual into an ethereal delusionmdash;that one can stand above the historical moment of engagement and cast judgment. This essay calls into question the common assumption that communication begins with the individual. We offer a critique of this assumption in accordance with radical enlightenment scholarship, calling forth a return to Otherness that renders the construct of individual secondary to that which is met.br /. (shrink)

We conducted the largest multiple-iteration retelling study to date (12,840 participants and 19,086 retellings) with two different studies that test how emotional appraisals are transmitted across retellings. We use a novel Bayesian model that tracks changes across retellings. Study 1 examines the preservation of appraisals of happy and sad stories and finds that retellings preserve the story’s degree of happiness and sadness even when length shrinks and aspects of story coherence and rationalisation deteriorate. Study 2 compared the transmission of appraisals (...) of happiness and sadness with embarrassment, disgust, and risk. Appraisals of happiness, sadness, and also embarrassment showed high appraisal preservation, while disgust and risk were not well preserved. We conclude that participants in our studies encoded happy and sad stories by encapsulating the events and details into an overall emotional appraisal of the story and that this processing strategy might also apply to stories involving other emotions like embarrassment. The emotional appraisal played a key role in retelling by helping to guide the selection, invention, and ordering of the story elements. Hence, we posit that emotion appraisals can operate as anchors for remembering and retelling stories, thus playing an important role in narrative communication. (shrink)

This article proposes a three-step model of empathy. It assumes that people have various empathy-related mechanisms available and thus can be described as hyper-empathic (Step 1). Under these conditions, the question of blocking and controlling empathy becomes a central issue to channel empathic attention and to avoid self-loss (Step 2). It is assumed that empathy can be sustained only when these mechanisms of controlling empathy are bypassed (Step 3). In particular, the article proposes a three-person scenario with one observing a (...) conflict of two others. By taking the side of one of the combatants, the observer is led into empathizing, perhaps to justify her/his earlier side-taking. (shrink)

Computer simulation is shown to be philosophically interesting because it introduces a qualitatively new methodology for theory construction in science different from the conventional two components of "theory" and "experiment and/or observation". This component is "experimentation with theoretical models." Two examples from the physical sciences are presented for the purpose of demonstration but it is claimed that the biological and social sciences permit similar theoretical model experiments. Furthermore, computer simulation permits theoretical models for the evolution of physical systems which use (...) cellular automata rather than differential equations as their syntax. The great advantages of the former are indicated. (shrink)

When people retell stories, what guides their retelling? Most previous research on story retelling and story comprehension has focused on information accuracy as the key measure of stability in transmission. This paper suggests that there is a second, affective, dimension that provides stability for retellings, namely the audience affect of surprise. In a large-sample study with multiple iterations of retellings, we found evidence that people are quite accurate in preserving all degrees of surprisingness in serial reproduction – even when the (...) event that produced the surprisingness in the original story is dropped or changed. Thus, we propose that the preservation of affect is an implicit goal of retelling: not merely do retellers recall highly surprising events better, but rather they register all levels of surprisingness precisely and aim to surprise their implied audience to same degree. This study used 2,389 participants. (shrink)

It is demonstrated that the reduction of a physical theory S to another one, T, in the sense that S can be derived from T holds in general only for the mathematical framework. The interpretation of S and the associated central terms cannot all be derived from those of T because of the qualitative differences between the cognitive levels of S and T. Their cognitively autonomous status leads to an epistemic as well as an ontological pluralism. This pluralism is consistent (...) with the unity of nature in the sense of a substantive monism. (shrink)

A two boundary quantum mechanics without time ordered causal structure is advocated as consistent theory. The apparent causal structure of usual “near future” macroscopic phenomena is attributed to a cosmological asymmetry and to rules governing the transition between microscopic to macroscopic observations. Our interest is a heuristic understanding of the resulting macroscopic physics.