We extend the notion of limitwise monotonic functions to include arbitrary computable domains. We then study which sets and degrees are support increasing limitwise monotonic on various computable domains. As applications, we provide a characterization of the sets S with computable increasing η-representations using support increasing limitwise monotonic sets on ℚ and note relationships between the class of order-computable sets and the class of support increasing limitwise monotonic sets on certain domains.

We show that the fact that the first player wins every instance of Galvin’s “racing pawns” game is equivalent to arithmetic transfinite recursion. Along the way we analyze the satisfaction relation for infinitary formulas, of “internal” hyperarithmetic comprehension, and of the law of excluded middle for such formulas.

LetEbe a computably enumerable equivalence relation on the setωof natural numbers. We say that the quotient set$\omega /E$realizesa linearly ordered set${\cal L}$if there exists a c.e. relation ⊴ respectingEsuch that the induced structure is isomorphic to${\cal L}$. Thus, one can consider the class of all linearly ordered sets that are realized by$\omega /E$; formally,${\cal K}\left = \left\{ {{\cal L}\,|\,{\rm{the}}\,{\rm{order}}\, - \,{\rm{type}}\,{\cal L}\,{\rm{is}}\,{\rm{realized}}\,{\rm{by}}\,E} \right\}$. In this paper we study the relationship between computability-theoretic properties ofEand algebraic properties of linearly ordered sets realized (...) byE. One can also define the following pre-order$ \le _{lo} $on the class of all c.e. equivalence relations:$E_1 \le _{lo} E_2 $if every linear order realized byE1is also realized byE2. Following the tradition of computability theory, thelo-degrees are the classes of equivalence relations induced by the pre-order$ \le _{lo} $. We study the partially ordered set oflo-degrees. For instance, we construct various chains and anti-chains and show the existence of a maximal element among thelo-degrees. (shrink)

We examine the sequences A that are low for dimension, i.e. those for which the effective dimension relative to A is the same as the unrelativized effective dimension. Lowness for dimension is a weakening of lowness for randomness, a central notion in effective randomness. By considering analogues of characterizations of lowness for randomness, we show that lowness for dimension can be characterized in several ways. It is equivalent to lowishness for randomness, namely, that every Martin-Löf random sequence has effective dimension (...) 1 relative to A, and lowishness for K, namely, that the limit of KA/K is 1. We show that there is a perfect [Formula: see text]-class of low for dimension sequences. Since there are only countably many low for random sequences, many more sequences are low for dimension. Finally, we prove that every low for dimension is jump-traceable in order nε, for any ε > 0. (shrink)

We describe punctual categoricity in several natural classes, including binary relational structures and mono-unary functional structures. We prove that every punctually categorical structure in a finite unary language is${\text {PA}}(0')$-categorical, and we show that this upper bound is tight. We also construct an example of a punctually categorical structure whose degree of categoricity is$0''$. We also prove that, with a bit of work, the latter result can be pushed beyond$\Delta ^1_1$, thus showing that punctually categorical structures can possess arbitrarily complex (...) automorphism orbits.As a consequence, it follows that binary relational structures and unary structures are not universal with respect to primitive recursive interpretations; equivalently, in these classes every rich enough interpretation technique must necessarily involve unbounded existential quantification or infinite disjunction. In contrast, it is well-known that both classes are universal for Turing computability. (shrink)

We study completely decomposable torsion-free abelian groups of the form $\mathcal{G}_S := \oplus_{n \in S} \mathbb{Q}_{p_n}$ for sets $S \subseteq \omega$. We show that $\mathcal{G}_S$has a decidable copy if and only if S is $\Sigma^0_2$and has a computable copy if and only if S is $\Sigma^0_3$.

We give two new characterizations of K-triviality. We show that if for all Y such that Ω is Y-random, Ω is -random, then A is K-trivial. The other direction was proved by Stephan and Yu, giving us the first titular characterization of K-triviality and answering a question of Yu. We also prove that if A is K-trivial, then for all Y such that Ω is Y-random, ≡LRY. This answers a question of Merkle and Yu. The other direction is immediate, so (...) we have the second characterization of K-triviality.The proof of the first characterization uses a new cupping result. We prove that if A≰LRB, then for every set X there is a B-random set Y such that X is computable from Y⊕A. (shrink)

In this book Daniel Wegner offers a novel understanding of the relation of consciousness, the will, and our intentional and voluntary actions. Wegner claims that our experience and common sense view according to which we can influence our behavior roughly the way we experience that we do it is an illusion.

Précis for a book symposium, with contributions from Meg Wallace, Louis deRosset, and Chris Tillman and Joshua Spencer.

Using new techniques for controlling the categoricity spectrum of a structure, we construct a structure with degree of categoricity but infinite spectral dimension, answering a question of Bazhenov, Kalimullin and Yamaleev. Using the same techniques, we construct a computably categorical structure of non-computable Scott rank.

Our ability to locate moral responsibility is often thought to be a necessary condition for conducting morally permissible medical practice, engaging in a just war, and other high-stakes endeavors. Yet, with increasing reliance upon artificially intelligent systems, we may be facing a wideningresponsibility gap, which, some argue, cannot be bridged by traditional concepts of responsibility. How then, if at all, can we make use of crucial emerging technologies? According to Colin Allen and Wendell Wallach, the advent of so-called ‘artificial moral (...) agents’ (AMAs) is inevitable. Still, this notion may seem to push back the problem, leaving those who have an interest in developing autonomous technology with a dilemma. We may need to scale-back our efforts at deploying AMAs (or at least maintain human oversight); otherwise, we must rapidly and drastically update our moral and legal norms in a way that ensures responsibility for potentially avoidable harms. This paper invokes contemporary accounts of responsibility in order to show how artificially intelligent systems might be held responsible. Although many theorists are concerned enough to develop artificial conceptions ofagencyor to exploit our present inability to regulate valuable innovations, the proposal here highlights the importance of—and outlines a plausible foundation for—a workable notion ofartificial moral responsibility. (shrink)

This book develops an Aristotelian account of the virtue of practical intelligence or "phronesis"--an excellence of deliberating and making choices--which ...

This collection of essays explores the metaphysical thesis that the living world is not made up of substantial particles or things, as has often been assumed, but is rather constituted by processes. The biological domain is organised as an interdependent hierarchy of processes, which are stabilised and actively maintained at different timescales. Even entities that intuitively appear to be paradigms of things, such as organisms, are actually better understood as processes. Unlike previous attempts to articulate processual views of biology, which (...) have tended to use Alfred North Whitehead’s panpsychist metaphysics as a foundation, this book takes a naturalistic approach to metaphysics. It submits that the main motivations for replacing an ontology of substances with one of processes are to be found in the empirical findings of science. Biology provides compelling reasons for thinking that the living realm is fundamentally dynamic, and that the existence of things is always conditional on the existence of processes. The phenomenon of life cries out for theories that prioritise processes over things, and it suggests that the central explanandum of biology is not change but rather stability, or more precisely, stability attained through constant change. This edited volume brings together philosophers of science and metaphysicians interested in exploring the consequences of a processual philosophy of biology. The contributors draw on an extremely wide range of biological case studies, and employ a process perspective to cast new light on a number of traditional philosophical problems, such as identity, persistence, and individuality. (shrink)

The potential to collect brain data more directly, with higher resolution, and in greater amounts has heightened worries about mental and brain privacy. In order to manage the risks to individuals posed by these privacy challenges, some have suggested codifying new privacy rights, including a right to “mental privacy.” In this paper, we consider these arguments and conclude that while neurotechnologies do raise significant privacy concerns, such concerns are—at least for now—no different from those raised by other well-understood data collection (...) technologies, such as gene sequencing tools and online surveillance. To better understand the privacy stakes of brain data, we suggest the use of a conceptual framework from information ethics, Helen Nissenbaum’s “contextual integrity” theory. To illustrate the importance of context, we examine neurotechnologies and the information flows they produce in three familiar contexts—healthcare and medical research, criminal justice, and consumer marketing. We argue that by emphasizing what is distinct about brain privacy issues, rather than what they share with other data privacy concerns, risks weakening broader efforts to enact more robust privacy law and policy. (shrink)

Supporters of open borders sometimes argue that the state has no pro tanto right to restrict immigration, because such a right would also entail a right to exclude existing citizens for whatever reasons justify excluding immigrants. These arguments can be defeated by suggesting that people have a right to stay put. I present a new form of the exclusion argument against closed borders which escapes this “right to stay put” reply. I do this by describing a kind of exclusion that (...) has not been discussed in depth, which I call “territorial exclusion.” Territorial exclusion is the process according to which the group that wishes to exclude current citizens secedes from the territory in which those citizens reside. I argue that the wrongness of territorial exclusion explains why there is no pro tanto right for a state to exclude immigrants, because otherwise there would be a pro tanto right for the state to kick people out by seceding from the territory they inhabit. Because kicking people out like this is typically wrong, borders cannot be closed. (shrink)

I defend the cosmopolitan instrumentalist theory of secession, according to which a group has a right to secede only if this would promote cosmopolitan justice. I argue that the theory is preferable to other theories of secession because it is an entailment of cosmopolitanism, which is independently attractive, and because, unlike other theories of secession, it allows us to give the answers we want to give in cases like secession of the rich or secession that would make things worse for (...) minorities. I defend the view against the objections that it allows for colonialism and annexation, that it is not a distinct theory, and that it is impractical. (shrink)

This paper argues that praise is governed by a norm of standing, namely the evaluative commitment condition. Even when the target of praise is praiseworthy and known to be so by the praiser, praise can be inappropriate owing to the praiser’s lacking the relevant evaluative commitment. I propose that uncommitted praisers lack the standing to praise in that, owing to their lack of commitment to the relevant value, they have not earned the right to host the co-valuing that is the (...) communicative aim of praise. (shrink)

While the contemporary philosophical literature is replete with discussion of the control or freedom required for moral responsibility, only more recently has substantial attention been devoted to the knowledge or awareness required, otherwise called the epistemic condition. This area of inquiry is rapidly expanding, as are the various positions within it. This chapter introduces two major positions: the reasonable expectation view and the quality of will view. The chapter then explores two dimensions of the epistemic condition that serve as fault (...) lines along which these two views diverge. The first dimension concerns different kinds of ignorance. The second concerns what agents can be directly blameworthy for. The chapter closes by sketching a novel approach that incorporates advantages of opposing positions on this topic. (shrink)

This chapter introduces readers to the view that praise is a form of address, or is communicative in the sense of seeking uptake from its target. The proposal that praise is communicative will seem counterintuitive if we take blame to be our paradigm of what it is for a responsibility-response to be communicative. This is because blame is communicative in a manner that intuitively presupposes some normative failure; it involves calling its target to account (or answer) for some wrongdoing. But, (...) the ‘rightdoer’ already properly regarded the relevant reasons in acting praiseworthily. So, there is nothing for which the praiseworthy agent must similarly account or answer for. How then could praise be communicative in sense of seeking uptake from its target? This chapter develops the view that praise is communicative in that it invites the praiseworthy agent to accept credit by co-valuing their action in the evaluative terms supplied by the praiser. This proposal is defended against three objections, namely that it is descriptively inadequate regarding our actual practices, that it is morally mistaken about when we owe others a response, and that it implies redundant communication. (shrink)

After 50 years of debate, the ethics of aggregation has reached a curious stalemate, with both sides arguing that only their theory treats people as equals. I argue that, on the issue of equality, both sides are wrong. From the premise that “each counts for one,” we cannot derive the conclusion that “more count for more”—or its negation. The familiar arguments from equality to aggregation presuppose more than equality: the Kamm/Scanlon “Balancing Argument” rests on what social choice theorists call “(Positive) (...) Responsiveness,” Kamm’s “Aggregation Argument” assumes that “equal” lives are fungible, and Hsieh et al. have it that spreading goods broadly best approximates equality. In each case, the crucial premise is not equality itself but a further idea that Taurek, I argue, can safely reject. I conclude with a conjecture: there is no theory-neutral argument that settles the question of whether the numbers count. (shrink)

1. Happiness, then and now -- Happiness, eudaimonia, and practical reasoning -- Happiness as eudaimonia -- Happiness and virtuous activity -- New directions from old debates -- 2. Happiness then: the sufficiency debate -- Aristotle's case against the sufficiency thesis -- 3. Happiness now: rethinking the self -- Socrates' case for the sufficiency thesis -- Epictetus and the stoic self -- The Stoics' case for the sufficiency thesis -- The embodied conception of the self -- The embodied conception and psychological (...) well-being -- The Stoics' case against the embodied conception. (shrink)

Wittgenstein famously remarks that ‘the meaning of a word is its use’ (PI §43). Whether or not one views this as gesturing at a ‘theory’ of meaning, or instead as aiming primarily at dissuading us from certain misconceptions of language that are a source of puzzlement, it is clear that Wittgenstein held that for certain purposes the meaning of an expression could profitably be characterised as its use. Throughout his later writings, however, Wittgenstein’s appeal to the notion of use pulls (...) in two directions. In several places, Wittgenstein seems to connect the notion of an expression’s meaning with that of use in the sense of usage or practice. More specifically, he suggests that for an expression to possess meaning is for there to be a practice of employing it according to certain rules. ‘That’, he tells us, ‘is why there exists a correspondence between the concepts “rule” and “meaning”’ (OC §62; cf. PG 68; PO 51; RFM VI §28; VW 103). Indeed, Wittgenstein goes so far as to say, ‘The rule-governed nature of our languages permeates our life’ (RC §303). Call the view that the meaning of an expression is determined by a general principle governing its use, rulism. (shrink)

A lot of philosophers engage in debates about what claims are “metaphysically necessary”, and a lot more assume with little argument that some classes of claims have the status of “metaphysical necessity”. I think we can usefully replace questions about metaphysical necessity with five other questions which each capture some of what people may have had in mind when talking about metaphysical necessity. This paper explains these five other questions, and then discusses the question “how much of metaphysics is metaphysically (...) necessary?”, and each of its five replacements. (shrink)

This paper presents a new interpretation of Michel Foucault’s critical project. It is well known that Foucault’s genealogical critique does not focus on issues of justification, but instead tackles “aspectival captivity,” that is, apparently inevitable limits of thought that constrain the agent’s freedom but that, in fact, can be transformed. However, it has not been recognized that, according to Foucault, critique can proceed along two distinct paths. In a key passage of “What Is Critique?,” Foucault states that critique is tasked (...) with questioning truth about its effects of power and with questioning power about its discourses of truth. We show that this “double movement” organizes Foucault’s critical project as a whole, giving it a significantly wider scope and a more complex structure than has been previously acknowledged. At the heart of the above-mentioned bifurcation lies an apparent tension between two contrastive roles Foucault assigns to truth-telling in the context of critique: on the one hand, truth-telling (as avowal) is a target of critique; on the other, truth-telling (as parrhesia) is one of critique’s methods. We argue that combining these two dimensions in a unified account is crucial for understanding and re-evaluating Foucault’s critical project as a whole. By showing that truth-telling remains an essential element of Foucauldian critique, this paper also rectifies some influential misinterpretations according to which Foucault’s critical project seeks to eliminate truth from the picture. (shrink)

This chapter draws on insights from non-equilibrium thermodynamics to demonstrate the ontological inadequacy of the machine conception of the organism. The thermodynamic character of living systems underlies the importance of metabolism and calls for the adoption of a processual view, exemplified by the Heraclitean metaphor of the stream of life. This alternative conception is explored in its various historical formulations and the extent to which it captures the nature of living systems is examined. Following this, the chapter considers the metaphysical (...) implications of reconceptualizing the organism from complex machine to flowing stream. What do we learn when we reject the mechanical and embrace the processual? Three key lessons for biological ontology are identified. The first is that activity is a necessary condition for existence. The second is that persistence is grounded in the continuous self-maintenance of form. And the third is that order does not entail design. (shrink)

In this volume of newly commissioned essays, leading moral philosophers offer a comprehensive overview of virtue ethics.

According to an influential recent view, S is propositionally justified in believing p iff S is in no position to know that S is in no position to know p. I argue that this view faces compelling counterexamples.

I argue that there is a tension between two of the most distinctive theses of Sven Rosenkranz’s Justification as Ignorance: the central thesis concerning justification, according to which an agent has propositional justification to believe p iff they are in no position to know that they are in no position to know p and the desire to avoid logical omniscience by imposing only “realistic” idealizations on epistemic agents.

From an early age, humans exhibit a tendency to identify, adopt, and enforce the norms of their local communities. Norms are the social rules that mark out what is appropriate, allowed, required, or forbidden in different situations for various community members. These rules are informal in the sense that although they are sometimes represented in formal laws, such as the rule governing which side of the road to drive on, they need not be explicitly codified to effectively influence behavior. There (...) are rules that forbid theft or the breaking of promises, but also rules which govern how close it is appropriate to stand to someone while talking to them, or how loud one should talk during the conversation. Thus understood, norms regulate a wide range of activity. They exhibit cultural variability in their prescriptions and proscriptions, but the presence of norms in general appears to be culturally universal. Some norms exhibit characteristics that are often associated with morality, such as a rule that applies to everyone and prohibits causing unnecessary harm. Others norms apply only to certain people, such as those that delimit appropriate clothing for members of different genders, or those concerning the expectations and responsibilities ascribed to individuals who occupy positions of leadership. The norms that prevail in a community can be more or less fair, reasonable, or impartial, and can be subject to critique and change. This entry provides an overview of interdisciplinary research into the psychological capacity for norm-guided cognition, motivation, and behavior. The notions of a norm and normativity occur in an enormous range of research that spans the humanities and behavioral sciences. Researchers primarily concerned with the psychology distinctive of norm-governed behavior take what can be called “cognitive-evolutionary” approaches to their subject matter. These approaches, common in the cognitive sciences, draw on a variety of resources and evidence to investigate different psychological capacities. This entry describes how these have been used to construct accounts of those cognitive and motivational features of minds that underpin the capacity to acquire, conform to, and enforce norms. It also describes how theories of the selective pressures and adaptive challenges prominent in recent human evolution have helped to inform and constrain theorizing about this psychological capacity, as well as how its features can influence the transmission and cultural evolution of norms. By way of organization, the entry starts with basics and proceeds to add subsequent layers of intricacy and detail. Researchers taking cognitive-evolutionary approaches to norms come from a wide range of disciplines, and have formulated, explored, and debated positions on a large number of different issues. In order to present a comprehensible overview of these interconnected literatures, the entry starts by laying out main contours and central tenets, the key landmarks in the conceptual space common to different theories and claims. It goes on to provide a more detailed description of the kinds of theoretical resources that researchers have employed, and identifies important dimensions along which more specific accounts of the psychology of norms have varied. It then canvasses different sources of empirical evidence that have begun to illuminate other philosophically interesting features of the capacity for norms. Finally, it ends with a discussion of the relationship between norm cognition and morality, with a few illustrations drawn from recent debates in moral theory. (shrink)

This article focuses on the main methods used in analytic metaphysics. It first considers five important sources of constraints on metaphysical theorizing: linguistic and conceptual analysis, consulting intuitions, employing the findings of science, respecting folk opinion, and applying theoretical virtues in metaphysical theory choice such as preferring simpler theories, or preferring more explanatory theories. It then examines the role of formal methods in metaphysics as well as the role of metaphysical communities, traditions, and the place of the history of metaphysics (...) in contemporary work. It also discusses the issue of whether metaphysics should be seen as an enterprise that will yield knowledge of metaphysical matters or whether it should have more modest epistemic goals. Finally, it explores the question of how much of metaphysics is a priori. (shrink)

As a strategy for exploring the relationship between understanding and knowledge, we consider whether epistemic luck – which is typically thought to undermine knowledge – undermines understanding. Questions about the etiology of understanding have also been at the heart of recent theoretical debates within epistemology. Kvanvig (2003) put forward the argument that there could be lucky understanding and produced an example that he deemed persuasive. Grimm (2006) responded with a case that, he argued, demonstrated that there could not be lucky (...) understanding. In this paper, we empirically examine how participants' patterns of understanding attributions line up with the predictions of Kvanvig and Grimm. We argue that the data challenge Kvanvig's position. People do not differentiate between knowing-why and understanding-why on the basis of proper etiology: attributions of knowledge and understanding involve comparable (and minimal) roles for epistemic luck. We thus posit that folk knowledge and understanding are etiologically symmetrical. (shrink)

I argue that the phenomenon underlying Bernard Williams’ (1976) “agent-regret” is considerably broader than appreciated by Williams and others. Agent-regret— an anguished response that agents have for harms they have caused, even if faultlessly— I maintain, is a species of a more general response to harms that need not be one’s fault, but which nonetheless impact one’s practical identity in a special way. This broader genus includes as a species what I call “relation-regret”, a pained response to harm caused by (...) a person to whom one is intimately related, as a co-member of a group partly constitutive of one’s practical identity (e.g. one’s family). After providing an account of the moral psychology of relation-regret, I attend to its normative significance, proposing in particular that acceptance of relation-regret provides us with reasons for accepting a novel form of moral luck, namely associative luck: the luck of being vulnerable to responsibility-responses in virtue of one’s attachments to others, despite one’s personal faultlessness. (shrink)

This paper seeks to carve out a distinctive category of conspiracy theorist, and to explore the process of becoming a conspiracy theorist of this sort. Those on whom I focus claim their beliefs trace back to simply trusting their senses and experiences in a commonsensical way, citing what they take to be authoritative firsthand evidence or observations. Certain flat Earthers, anti-vaxxers, and UFO conspiracy theorists, for example, describe their beliefs and evidence this way. I first distinguish these conspiracy theorists by (...) contrasting them with another group that has recently received a lot of attention from the media, philosophers, and academics more broadly. I then dig more deeply into the nature of these conspiracy theorists’ epistemic self-understanding, in order to give an account of the process by which one becomes such a conspiracy theorist. I conclude with some takeaways and implications: first, I explore the implications of my account for whether these conspiracy theorists’ beliefs are rational; then, I argue that my account has practical takeaways about counteracting beliefs in misinformation, since strategies appropriate to this kind of conspiracy theorist may not be the same ones that are appropriate for other kinds. (shrink)

This Handbook maps a central terrain of philosophy, and provides the definitive guide to it. An illustrious team of philosophers explore the concept of a reason to do or believe something, in order to determine what these reasons are and how they work. And they investigate the nature of 'normative' claims about what we ought to do or believe.

Ludwig Wittgenstein's notoriously elusive later writings are dominated by remarks on language. However, while the textual analysis of Wittgenstein's writings is presently a booming industry, the tendency is to focus narrowly on exegetical matters with little attention to their bearing on philosophy at large. Moreover, one finds in contemporary philosophy of language various ideas with a distinctively Wittgensteinian ring to them but whose pedigree is uncertain. This volume brings together distinguished Wittgenstein scholars and renowned philosophers of language in order to (...) examine just what Wittgenstein has to say about language and to assess its significance for current philosophy. The topics discussed include the connection between the meaning of a word and its use, the bearing the context of utterance has on how words are to be understood, the role of rules in the employment of language and whether Wittgenstein's reflections on these issues encourage sceptical or relativist thoughts."--BOOK JACKET. (shrink)

This volume re-examines some of the major themes at the intersection of traditional and contemporary metaphysics. The book uses as a point of departure Francisco Suárez’s _Metaphysical Disputations_ published in 1597. Minimalist metaphysics in empiricist/pragmatist clothing have today become mainstream in analytic philosophy. Independently of this development, the progress of scholarship in ancient and medieval philosophy makes clear that traditional forms of metaphysics have affinities with some of the streams in contemporary analytic metaphysics. The book brings together leading contemporary metaphysicians (...) to investigate the viability of a neo-Aristotelian metaphysics. (shrink)

Majority rule is often regarded as an important democratic principle. But modern democracies divide voters into districts. So if the majority should rule, which majority should rule? Should it be the popular majority, or an electoral majority (i.e., either the majority of voters in the majority of districts, or the majority of voters in districts that contain the majority of the population)? I argue that majority rule requires rule by the popular majority. This view is not novel and may seem (...) obvious. But it is rarely defended, and often rejected. I defend it by arguing that this view about which majority should rule is best supported by the arguments for why the majority should rule, and best avoids the arbitrary and perverse verdicts of rule by electoral majorities. I close by considering the significant practical implications of the view. The Electoral College is often criticized on the basis that the winner of the popular vote doesn’t always win the election. But all district-based democracies have this feature, so all district-based democracies must be reformed if they are to satisfy the principle of majority rule. (shrink)

In this paper I try to defend McDowell’s empiricism from a certain objection made by Davidson, Stroud and Glüer. The objection states that experiences cannot be reasons because they are—as McDowell conceives them—inert. I argue that, even though there is something correct in the objection, that is not sufficient for rejecting the epistemological character that McDowell attributes to experiences. My strategy consists basically in showing that experiences involve a constitutive attitude of acceptance of their contents.