Samuel Kerstein’s recent (2013) How To Treat Persons is an ambitious attempt to develop a new, broadly Kantian account of what it is to treat others as mere means and what it means to act in accordance with others’ dignity. His project is explicitly nonfoundationalist: his interpretation stands or falls on its ability to accommodate our pretheoretic intuitions, and he does an admirable job of handling carefully a range of well fleshed out and sometimes subtle examples. In what follows, (...) I shall give a quick summary of the chapters and then say two good things about the book and one critical thing. (shrink)

In his dissertation, Wadge defined a notion of guessability on subsets of the Baire space and gave two characterizations of guessable sets. A set is guessable if and only if it is in the second ambiguous class, if and only if it is eventually annihilated by a certain remainder. We simplify this remainder and give a new proof of the latter equivalence. We then introduce a notion of guessing with an ordinal limit on how often one can change one’s mind. (...) We show that for every ordinal $\alpha$, a guessable set is annihilated by $\alpha$ applications of the simplified remainder if and only if it is guessable with fewer than $\alpha$ mind changes. We use guessability with fewer than $\alpha$ mind changes to give a semi-characterization of the Hausdorff difference hierarchy, and indicate how Wadge’s notion of guessability can be generalized to higher-order guessability, providing characterizations of ${\mathbf{\Delta}}^{0}_{\alpha}$ for all successor ordinals $\alpha\gt 1$. (shrink)

In 2011, Hibbard suggested an intelligence measure for agents who compete in an adversarial sequence prediction game. We argue that Hibbard’s idea should actually be considered as two separate ideas: first, that the intelligence of such agents can be measured based on the growth rates of the runtimes of the competitors that they defeat; and second, one specific (somewhat arbitrary) method for measuring said growth rates. Whereas Hibbard’s intelligence measure is based on the latter growth-rate-measuring method, we survey other methods (...) for measuring function growth rates, and exhibit the resulting Hibbard-like intelligence measures and taxonomies. Of particular interest, we obtain intelligence taxonomies based on Big-O and Big-Theta notation systems, which taxonomies are novel in that they challenge conventional notions of what an intelligence measure should look like. We discuss how intelligence measurement of sequence predictors can indirectly serve as intelligence measurement for agents with Artificial General Intelligence (AGIs). (shrink)

One shortcoming of the chain rule is that it does not iterate: it gives the derivative of f(g(x)), but not (directly) the second or higher-order derivatives. We present iterated differentials and a version of the multivariable chain rule which iterates to any desired level of derivative. We first present this material informally, and later discuss how to make it rigorous (a discussion which touches on formal foundations of calculus). We also suggest a finite calculus chain rule (contrary to Graham, Knuth (...) and Patashnik's claim that "there's no corresponding chain rule of finite calculus"). (shrink)

We provide an intuitive motivation for the hyperreal numbers via electoral axioms. We do so in the form of a Socratic dialogue, in which Protagoras suggests replacing big-oh complexity classes by real numbers, and Socrates asks some troubling questions about what would happen if one tried to do that. The dialogue is followed by an appendix containing additional commentary and a more formal proof.

Can an AGI create a more intelligent AGI? Under idealized assumptions, for a certain theoretical type of intelligence, our answer is: “Not without outside help”. This is a paper on the mathematical structure of AGI populations when parent AGIs create child AGIs. We argue that such populations satisfy a certain biological law. Motivated by observations of sexual reproduction in seemingly-asexual species, the Knight-Darwin Law states that it is impossible for one organism to asexually produce another, which asexually produces another, and (...) so on forever: that any sequence of organisms (each one a child of the previous) must contain occasional multi-parent organisms, or must terminate. By proving that a certain measure (arguably an intelligence measure) decreases when an idealized parent AGI single-handedly creates a child AGI, we argue that a similar Law holds for AGIs. (shrink)

The Gamer’s Dilemma consists of three intuitively plausible but conflicting assertions: (i) Virtual murder is morally permissible. (ii) Virtual child molestation is morally forbidden. (iii) There is no relevant moral difference between virtual murder and virtual child molestation in computer games. Numerous attempts to resolve (or dissolve) the Gamer’s Dilemma line the field of computer game ethics. Mostly, the phenomenon is approached using expressivist argumentation: Reprehensible virtual actions express something immoral in their performance but are not immoral by themselves. Consequentialists, (...) on the other hand, claim that the immorality of virtual actions arises from their harmful consequences. I argue that both approaches have serious difficulties meeting the moral challenge posed by the Gamer’s Dilemma. They tend to confuse the morality of in-game actions either with the morality of their real-world counterparts or with the morality of games as objects. Following this critical analysis, I will develop a Kantian argument and defend it against two objections. So far, deontological responses to the Gamer’s Dilemma have been sought in vain. Yet, with Kant, its moral challenge can be met by looking at the gamer’s reasons. From this perspective, the Gamer’s Dilemma is based on a false assumption: the moral status of gaming acts does not derive from a normative equation with their real-world counterparts but only from their justifications. (shrink)

Suppose that a patient is receiving treatment options from her doctor. In one case, the doctor says, “the surgery has a 90% survival rate.” Now, suppose the doctor instead said, “the procedure has a 10% mortality rate.” Predictably, the patient is more likely to consent on the first description and more likely to dissent on the second. This is an example of a framing effect. A framing effect occurs when “the description of [logically-equivalent] options in terms of gains (positive frame) (...) rather than losses (negative frame) elicits systematically different choices.” Framing effects are ubiquitous, but they are particularly troublesome in medicine. Many worry that there is tension between valuing informed consent and using framing effects in clinical settings. In this paper, I answer this question: if an individual is subject to a framing effect when she gives her consent, does this undermine the validity of her consent? I argue that framing effects do not undermine consent in general. (shrink)

Do we live in a computer simulation? I will present an argument that the results of a certain experiment constitute empirical evidence that we do not live in, at least, one type of simulation. The type of simulation ruled out is very specific. Perhaps that is the price one must pay to make any kind of Popperian progress.

In this paper, we explore locative grounding harmony, according to which the location of the grounds mirrors the location of the grounded. We proceed in three stages. First, we clarify the notion of locative harmony and describe different locative harmony principles. Second, we offer two arguments for the claim that grounding between physically located entities obeys principles of locative harmony. Third, we consider and respond to a range of cases that seem to show that grounding relations between physically located entities (...) do not obey such principles. We conclude that grounding between such entities obeys locative harmony. (shrink)

In recent years, the number of studies examining mind wandering has increased considerably, and research on the topic has spread widely across various domains of psychological research. Although the term “mind wandering” has been used to refer to various cognitive states, researchers typically operationalize mind wandering in terms of “task-unrelated thought” (TUT). Research on TUT has shed light on the various task features that require people’s attention, and on the consequences of task inattention. Important methodological and conceptual complications do persist, (...) however, in current investigations of TUT. As we argue, these complications may be dampening the development of a more nuanced scientific account of TUT. Here, we outline three of the more prominent methodological and conceptual complications in the literature on TUT, and we discuss potential directions for researchers to take as they move forward in their investigations of TUT. (shrink)

The standard story about self-control states that self-control is limited, aversive, and that the function of self-control is to resist impulses or temptation. Several cases are provided that challenge this standard story. An alternative, future-oriented account of self-control is defended, where the function of self-control is to manage interference that arises from overlapping information processing pathways. This provides a computationally tractable account of self-control rooted in one’s being vigilant. Self-control manifests the maintenance dimension of vigilance. This not only provides an (...) attractive alternative to the standard story about self-control, but also indicates how the future-oriented aspects of self-control are more fundamental than the present-oriented aspects. (shrink)

We sometimes fail unwittingly to do things that we ought to do. And we are, from time to time, culpable for these unwitting omissions. We provide an outline of a theory of responsibility for unwitting omissions. We emphasize two distinctive ideas: (i) many unwitting omissions can be understood as failures of appropriate vigilance, and; (ii) the sort of self-control implicated in these failures of appropriate vigilance is valuable. We argue that the norms that govern vigilance and the value of self-control (...) explain culpability for unwitting omissions. (shrink)

We define a notion of the intelligence level of an idealized mechanical knowing agent. This is motivated by efforts within artificial intelligence research to define real-number intelligence levels of compli- cated intelligent systems. Our agents are more idealized, which allows us to define a much simpler measure of intelligence level for them. In short, we define the intelligence level of a mechanical knowing agent to be the supremum of the computable ordinals that have codes the agent knows to be codes (...) of computable ordinals. We prove that if one agent knows certain things about another agent, then the former necessarily has a higher intelligence level than the latter. This allows our intelligence no- tion to serve as a stepping stone to obtain results which, by themselves, are not stated in terms of our intelligence notion (results of potential in- terest even to readers totally skeptical that our notion correctly captures intelligence). As an application, we argue that these results comprise evidence against the possibility of intelligence explosion (that is, the no- tion that sufficiently intelligent machines will eventually be capable of designing even more intelligent machines, which can then design even more intelligent machines, and so on). (shrink)

Legg and Hutter, as well as subsequent authors, considered intelligent agents through the lens of interaction with reward-giving environments, attempting to assign numeric intelligence measures to such agents, with the guiding principle that a more intelligent agent should gain higher rewards from environments in some aggregate sense. In this paper, we consider a related question: rather than measure numeric intelligence of one Legg- Hutter agent, how can we compare the relative intelligence of two Legg-Hutter agents? We propose an elegant answer (...) based on the following insight: we can view Legg-Hutter agents as candidates in an election, whose voters are environments, letting each environment vote (via its rewards) which agent (if either) is more intelligent. This leads to an abstract family of comparators simple enough that we can prove some structural theorems about them. It is an open question whether these structural theorems apply to more practical intelligence measures. (shrink)

Fragmentalism was originally introduced as a new A-theory of time. It was further refined and discussed, and different developments of the original insight have been proposed. In a celebrated paper, Jonathan Simon contends that fragmentalism delivers a new realist account of the quantum state—which he calls conservative realism—according to which: the quantum state is a complete description of a physical system, the quantum state is grounded in its terms, and the superposition terms are themselves grounded in local goings-on about the (...) system in question. We will argue that fragmentalism, at least along the lines proposed by Simon, does not offer a new, satisfactory realistic account of the quantum state. This raises the question about whether there are some other viable forms of quantum fragmentalism. (shrink)

In this paper, we focus on whether and to what extent we judge that people are responsible for the consequences of their forgetfulness. We ran a series of behavioral studies to measure judgments of responsibility for the consequences of forgetfulness. Our results show that we are disposed to hold others responsible for some of their forgetfulness. The level of stress that the forgetful agent is under modulates judgments of responsibility, though the level of care that the agent exhibits toward performing (...) the forgotten action does not. We argue that this result has important implications for a long-running debate about the nature of responsible agency. (shrink)

Can an agent's intelligence level be negative? We extend the Legg-Hutter agent-environment framework to include punishments and argue for an affirmative answer to that question. We show that if the background encodings and Universal Turing Machine (UTM) admit certain Kolmogorov complexity symmetries, then the resulting Legg-Hutter intelligence measure is symmetric about the origin. In particular, this implies reward-ignoring agents have Legg-Hutter intelligence 0 according to such UTMs.

Judgments of blame for others are typically sensitive to what an agent knows and desires. However, when people act negligently, they do not know what they are doing and do not desire the outcomes of their negligence. How, then, do people attribute blame for negligent wrongdoing? We propose that people attribute blame for negligent wrongdoing based on perceived mental control, or the degree to which an agent guides their thoughts and attention over time. To acquire information about others’ mental control, (...) people self-project their own perceived mental control to anchor third-personal judgments about mental control and concomitant responsibility for negligent wrongdoing. In four experiments (N = 841), we tested whether perceptions of mental control drive third-personal judgments of blame for negligent wrongdoing. Study 1 showed that the ease with which people can counterfactually imagine an individual being non-negligent mediated the relationship between judgments of control and blame. Studies 2a and 2b indicated that perceived mental control has a strong effect on judgments of blame for negligent wrongdoing and that first-personal judgments of mental control are moderately correlated with third-personal judgments of blame for negligent wrongdoing. Finally, we used an autobiographical memory manipulation in Study 3 to make personal episodes of forgetfulness salient. Participants for whom past personal episodes of forgetfulness were made salient judged negligent wrongdoers less harshly compared to a control group for whom past episodes of negligence were not salient. Collectively, these findings suggest that first-personal judgments of mental control drive third-personal judgments of blame for negligent wrongdoing and indicate a novel role for counterfactual thinking in the attribution of responsibility. (shrink)

In recent years, some have claimed that a Darwinian perspective will revolutionize the study of human society and culture. This project is viewed with disdain and suspicion, on the other hand, by many practicing social scientists. This article seeks to clear the air in this heated debate by dissociating two claims that are too often assumed to be inseparable. The first is the ‘ontological’ claim that Darwinian principles apply, at some level of abstraction, to human society and culture. The second (...) is the more ‘pragmatic’ claim that this observation necessitates substantial changes in the practices of social scientists. Even if some version of the first claim is true, I argue – which I believe is quite likely – the second does not follow. This observation ought to chasten the most overzealous advocates of Darwinian social science, as well as softening the instinctive resistance of many social scientists and historians to the genuine insights enabled by a Darwinian approach. The conclusion discusses these insights, the most important of which is a methodological prescription for normative theory. (shrink)

We present a game mechanic called pseudo-visibility for games inhabited by non-player characters (NPCs) driven by reinforcement learning (RL). NPCs are incentivized to pretend they cannot see pseudo-visible players: the training environment simulates an NPC to determine how the NPC would act if the pseudo-visible player were invisible, and penalizes the NPC for acting differently. NPCs are thereby trained to selectively ignore pseudo-visible players, except when they judge that the reaction penalty is an acceptable tradeoff (e.g., a guard might accept (...) the penalty in order to protect a treasure because losing the treasure would hurt even more). We describe an RL agent transformation which allows RL agents that would not otherwise do so to perform some limited self-reflection to learn the training environments in question. (shrink)

This article challenges the association between realist methodology and ideals of legitimacy. Many who seek a more “realistic” or “political” approach to political theory replace the familiar orientation towards a state of justice with a structurally similar orientation towards a state of legitimacy. As a result, they fail to provide more reliable practical guidance, and wrongly displace radical demands. Rather than orienting action towards any state of affairs, I suggest that a more practically useful approach to political theory would directly (...) address judgments, by comparing the concrete possibilities for action faced by real political actors. (shrink)

After generalizing the Archimedean property of real numbers in such a way as to make it adaptable to non-numeric structures, we demonstrate that the real numbers cannot be used to accurately measure non-Archimedean structures. We argue that, since an agent with Artificial General Intelligence (AGI) should have no problem engaging in tasks that inherently involve non-Archimedean rewards, and since traditional reinforcement learning rewards are real numbers, therefore traditional reinforcement learning probably will not lead to AGI. We indicate two possible ways (...) traditional reinforcement learning could be altered to remove this roadblock. (shrink)

In response to the spread of COVID-19, governments across the world have, with very few exceptions, enacted sweeping restrictive lockdown policies that impede citizens’ freedom to move, work, and assemble. This paper critically responds to the central arguments for restrictive lockdown legislation. We build our critique on the following assumption: public policy that enjoys virtually unanimous support worldwide should be justified by uncontroversial moral principles. We argue that that the virtually unanimous support in favor of restrictive lockdowns is not adequately (...) justified by the arguments given in favor of them. Importantly, this is not to say that states ought not impose restrictive lockdown measures, but rather that the extent of the acceptance of these measures is not proportionate to the strength of the arguments for lockdowns. -/- We begin by exploring the case for restrictive lockdowns. We first argue that several of the principles that are used to justify the lockdowns yield unexpectedly revisionary implications for other political problems that many would be unwilling to accept. We then outline what we consider the strongest argument for a lockdown—namely, that its net welfare benefits are great enough to defeat the moral presumption against restricting citizens’ civil liberties to move, work, and assemble. However, we give a number of reasons for doubting that the lockdown’s net welfare benefits are, in fact, sufficiently high to defeat the presumption against it. (shrink)

This paper examines the interplay of semantics and pragmatics within the domain of film. Films are made up of individual shots strung together in sequences over time. Though each shot is disconnected from the next, combinations of shots still convey coherent stories that take place in continuous space and time. How is this possible? The semantic view of film holds that film coherence is achieved in part through a kind of film language, a set of conventions which govern the relationships (...) between shots. In this paper, we develop and defend a new version of the semantic view. We articulate it for a pair of conventions that govern spatial relations between viewpoints. One such rule is already well-known; sometimes called the "180° Rule," we term it the X-Constraint; to this we add a previously unrecorded rule, the T-Constraint. As we show, both have the effect, in different ways, of limiting the way that viewpoint can shift through space from shot to shot over the course of a film sequence. Such constraints, we contend, are analogous to relations of discourse coherence that are widely recognized in the linguistic domain. If film is to have a language, it is a language made up of rules like these. (shrink)

Discussions of Aristotle’s Metaphysics Z tend to treat it either as an independent treatise on substance and essence or as preliminary to the main conclusions of the Metaphysics. I argue instead that Z is central to Aristotle’s project of first philosophy in the Metaphysics: the first philosopher seeks the first causes of being qua being, especially substances, and in Z, Aristotle establishes that essences or forms are the first causes of being of perceptible substances. I also argue that the centrality (...) of Z to first philosophy is compatible with its status as theology. (shrink)

My primary target in this paper is a puzzle that emerges from the conjunction of several seemingly innocent assumptions in action theory and the metaphysics of moral responsibility. The puzzle I have in mind is this. On one widely held account of moral responsibility, an agent is morally responsible only for those actions or outcomes over which that agent exercises control. Recently, however, some have cited cases where agents appear to be morally responsible without exercising any control. This leads some (...) to abandon the control-based account of responsibility and replace it with an alternative account. It leads others to deny the intuition that agents are responsible in these troublesome cases. After outlining the account of moral responsibility I have in mind, I look at some of the arguments made against the viability of this theory. I show that there are conceptual resources for salvaging the control account, focusing in particular on the nature of vigilance. I also argue that there is empirical data that supports the control account so conceived. (shrink)

Leibniz’s views on modality are among the most discussed by his interpreters. Although most of the discussion has focused on Leibniz’s analyses of modality, this essay explores Leibniz’s grounding of modality. Leibniz holds that possibilities and possibilia are grounded in the intellect of God. Although other early moderns agreed that modal truths are in some way dependent on God, there were sharp disagreements surrounding two distinct questions: (1) On what in God do modal truths and modal truth-makers depend? (2) What (...) is the manner(s) of dependence by which modal truths and modal truth-makers depend on God? Very roughly, Leibniz’s own answers are: (1) God’s intellect and (2) a form of ontological dependence. The essay first distinguishes Leibniz’s account from two nearby (and often misunderstood) alternatives found in Descartes and Spinoza. It then examines Leibniz’s theory in detail, showing how, on his account, God’s ideas provide both truth-makers for possibilities and necessities and an ontological foothold for those truth-makers, thereby explaining modal truths. Along the way, it suggests several refinements and possible amendments to Leibniz’s grounding thesis. It then defends Leibniz against a pair of recent objections by Robert Merrihew Adams and Andrew Chignell that invoke the early work of Kant. I conclude that whereas Leibniz’s alternative avoids collapsing into yet another form of Spinozism, the alternatives proposed by Adams, Chignell, and the early Kant do not. (shrink)

Perdurantists think of continuants as mereological sums of stages from different times. This view of persistence would force us to drop the idea that there is genuine change in the world. By exploiting a presentist metaphysics, Brogaard proposed a theory, called presentist four-dimensionalism, that aims to reconcile perdurantism with the idea that things undergo real change. However, her proposal commits us to reject the idea that stages must exist in their entirety. Giving up the tenet that all the stages are (...) equally real could be a price that perdurantists are unwilling to pay. I argue that Kit Fine ’s fragmentalism provides us with the tools to combine a presentist metaphysics with a perdurantist theory of persistence without giving up the idea that reality is constituted by more than purely present stages. (shrink)

In this paper, I will argue that there is a version of possibilism—inspired by the modal analogue of Kit Fine’s fragmentalism—that can be combined with a weakening of actualism. The reasons for analysing this view, which I call Modal Fragmentalism, are twofold. Firstly, it can enrich our understanding of the actualism/possibilism divide, by showing that, at least in principle, the adoption of possibilia does not correspond to an outright rejection of the actualist intuitions. Secondly, and more specifically, it can enrich (...) our understanding of concretism, by proving that, at least in principle, the idea that objects have properties in an absolute manner is compatible with transworld identity. (shrink)

Mind wandering is typically operationalized as task-unrelated thought. Some argue for the need to distinguish between unintentional and intentional mind wandering, where an agent voluntarily shifts attention from task-related to task-unrelated thoughts. We reveal an inconsistency between the standard, task-unrelated thought definition of mind wandering and the occurrence of intentional mind wandering (together with plausible assumptions about tasks and intentions). This suggests that either the standard definition of mind wandering should be rejected or that intentional mind wandering is an incoherent (...) category. Solving this puzzle is critical for advancing theoretical frameworks of mind wandering. (shrink)

Despite its importance in different occupational and everyday contexts, vigilance, typically defined as the capacity to sustain attention over time, is remarkably limited. What explains these limits? Two theories have been proposed. The Overload Theory states that being vigilant consumes limited information-processing resources; when depleted, task performance degrades. The Underload Theory states that motivation to perform vigilance tasks declines over time, thereby prompting attentional shifts and hindering performance. We highlight some conceptual and empirical problems for both theories and propose an (...) alternative: the Strategic Allocation Theory. For the Strategic Allocation Theory, performance on vigilance tasks optimizes as a function of intrinsic and extrinsic motivations, including metacognitive factors such as the expected value of effort and the expected value of planning. Limited capacities must be deployed across task sets to maximize expected reward. The observed limits of vigilance reflect changes in the perceived value of, among other things, sustaining attention to a task rather than attending to something else. Drawing from recent computational theories of cognitive control and meta-reasoning, we argue that the Strategic Allocation Theory explains more phenomena related to vigilance behavior than other theories, including self-report data. Lastly, we outline some of the testable predictions the theory makes across several experimental paradigms. (shrink)

I provide a theory of the metaphysical foundations of identity: an account what grounds facts of the form a=b. In particular, I defend the claim that indiscernibility grounds identity. This is typically rejected because it is viciously circular; plausible assumptions about the logic of ground entail that the fact that a=b partially grounds itself. The theory I defend is immune to this circularity.

Josh is a typical 27-year-old in a career that he enjoys and a successful marriage. Josh begins to exhibit the symptoms of a manic episode. He is soon diagnosed with bipolar disorder. While non-manic, Josh’s preferences are typical. While manic, his preferences change dramatically. He quits his job, cheats on his partner, and squanders his savings. These are behaviors that Josh, when non-manic (euthymic), would never agree to. When Josh returns to a euthymic state, he regrets these decisions. Should those (...) close to Josh have prevented him from making these decisions, or does his competence to decide persist despite his acute mania? In this paper, I examine the connections be-tween bipolar disorder and consent. I defend the view that many (although far from all) individuals with bipolar disorder are competent to consent to a wide variety of things when they are in a manic state. This means that mania should not be presumed to undermine competence in clinical settings. -/- I have several goals in this paper. I want to bring philosophy to bear on the connection between consent and bipolar disorder. Additionally, I intend this paper to contribute to the general debate about the conditions of informed consent. Bipolar disorder presents novel challenges to existing conceptions of competence to consent which require stable core of values for an agent to be competent. For example, Buchanan and Brock endorse such a view. In showing that shifting values do not undermine the competence of a person experiencing acute mania, I show that the aforementioned views of competence are false. Overall, this paper makes substantive contributions to the debate about competence to consent and presents the first sustained philosophical treatment of consent among people with bipolar disorder. (shrink)

A fundamental question asked in modal logic is whether a given theory is consistent. But consistent with what? A typical way to address this question identifies a choice of background knowledge axioms (say, S4, D, etc.) and then shows the assumptions codified by the theory in question to be consistent with those background axioms. But determining the specific choice and division of background axioms is, at least sometimes, little more than tradition. This paper introduces generic theories for propositional modal logic (...) to address consistency results in a more robust way. As building blocks for background knowledge, generic theories provide a standard for categorical determinations of consistency. We argue that the results and methods of this paper help to elucidate problems in epistemology and enjoy sufficient scope and power to have purchase on problems bearing on modalities in judgement, inference, and decision making. (shrink)

Actors, undercover investigators, and readers of fiction sometimes report “losing themselves” in the characters they imitate or read about. They speak of “taking on” or “assuming” the beliefs, thoughts, and feelings of someone else. I offer an account of this strange but familiar phenomenon—what I call imaginative transportation.

The conventional wisdom regarding the aims and shortcomings of Kantian constructivism is mistaken. The aim of metaethical constructivism is not to provide a naturalistic account of the objectivity of normative facts by deriving substantive morality from a conception of agency so thin as to be uncontroversial (a task at which it is generally regarded to have failed). Its aim is to explain the “grip” that normative facts have on us—to avoid what I call the problem of normative alienation. So understood, (...) Kantian constructivism faces two problems: that determinate normative facts cannot be derived from agency and that its individualistic conception of agency cannot account for the sociality of morality. I propose and elaborate a social conception of agency that is better able to address the latter problem while still avoiding normative alienation, and evaluate two different strategies for responding to the former problem. (shrink)

According to Aristotle, the medical art aims at health, which is a virtue of the body, and does so in an unlimited way. Consequently, medicine does not determine the extent to which health should be pursued, and “mental health” falls under medicine only via pros hen predication. Because medicine is inherently oriented to its end, it produces health in accordance with its nature and disease contrary to its nature—even when disease is good for the patient. Aristotle’s politician understands that this (...) inherent orientation can be systematically distorted, and so would see the need for something like the Hippocratic Oath. (shrink)

This Element, written for researchers and students in philosophy and the behavioral sciences, reviews and critically assesses extant work on number concepts in developmental psychology and cognitive science. It has four main aims. First, it characterizes the core commitments of mainstream number cognition research, including the commitment to representationalism, the hypothesis that there exist certain number-specific cognitive systems, and the key milestones in the development of number cognition. Second, it provides a taxonomy of influential views within mainstream number cognition research, (...) along with the central challenges these views face. Third, it identifies and critically assesses a series of core philosophical assumptions often adopted by number cognition researchers. Finally, the Element articulates and defends a novel version of pluralism about number concepts. (shrink)

Much current debate in the metaphysics of time is between A-theorists and B-theorists. Central to this debate is the assumption that time exists and that the task of metaphysics is to catalogue time’s features. Relatively little consideration has been given to an error theory about time. Since there is very little extant work on temporal error theory the goal of this paper is simply to lay the groundwork to allow future discussion of the relative merits of such a view. The (...) paper thus develops a conceptual framework from within which to evaluate claims about the actual existence, or not, of temporality as that notion appears in folk discourses about time, and from there to examine claims about the counterfactual existence, or not, of temporality so conceived. We subsequently apply this framework to three extant positions drawn from physics and metaphysics that deny the existence of time. We show that only one of these positions is a folk temporal error theory; that is, a view that denies the existence of time as that notion is operative in our everyday thought and talk. (shrink)

We study the structure of families of theories in the language of arithmetic extended to allow these families to refer to one another and to themselves. If a theory contains schemata expressing its own truth and expressing a specific Turing index for itself, and contains some other mild axioms, then that theory is untrue. We exhibit some families of true self-referential theories that barely avoid this forbidden pattern.

Can you find an xy-equation that, when graphed, writes itself on the plane? This idea became internet-famous when a Wikipedia article on Tupper’s self-referential formula went viral in 2012. Under scrutiny, the question has two flaws: it is meaningless (it depends on fonts) and it is trivial. We fix these flaws by formalizing the problem.

Inspired by recent progress in multi-agent Reinforcement Learning (RL), in this work we examine the collective intelligent behaviour of theoretical universal agents by introducing a weighted mixture operation. Given a weighted set of agents, their weighted mixture is a new agent whose expected total reward in any environment is the corresponding weighted average of the original agents' expected total rewards in that environment. Thus, if RL agent intelligence is quantified in terms of performance across environments, the weighted mixture's intelligence is (...) the weighted average of the original agents' intelligences. This operation enables various interesting new theorems that shed light on the geometry of RL agent intelligence, namely: results about symmetries, convex agent-sets, and local extrema. We also show that any RL agent intelligence measure based on average performance across environments, subject to certain weak technical conditions, is identical (up to a constant factor) to performance within a single environment dependent on said intelligence measure. (shrink)

We propose that, for the purpose of studying theoretical properties of the knowledge of an agent with Artificial General Intelligence (that is, the knowledge of an AGI), a pragmatic way to define such an agent’s knowledge (restricted to the language of Epistemic Arithmetic, or EA) is as follows. We declare an AGI to know an EA-statement φ if and only if that AGI would include φ in the resulting enumeration if that AGI were commanded: “Enumerate all the EA-sentences which you (...) know.” This definition is non-circular because an AGI, being capable of practical English communication, is capable of understanding the everyday English word “know” independently of how any philosopher formally defines knowledge; we elaborate further on the non-circularity of this circular-looking definition. This elegantly solves the problem that different AGIs may have different internal knowledge definitions and yet we want to study knowledge of AGIs in general, without having to study different AGIs separately just because they have separate internal knowledge definitions. Finally, we suggest how this definition of AGI knowledge can be used as a bridge which could allow the AGI research community to import certain abstract results about mechanical knowing agents from mathematical logic. (shrink)

The verb ‘to know’ can be used both in ascriptions of propositional knowledge and ascriptions of knowledge of acquaintance. In the formal epistemology literature, the former use of ‘know’ has attracted considerable attention, while the latter is typically regarded as derivative. This attitude may be unsatisfactory for those philosophers who, like Russell, are not willing to think of knowledge of acquaintance as a subsidiary or dependent kind of knowledge. In this paper we outline a logic of knowledge of acquaintance in (...) which ascriptions like ‘Mary knows Smith’ are regarded as formally interesting in their own right, remaining neutral on their relation to ascriptions of propositional knowledge. The resulting logical framework, which is based on Hintikka’s modal approach to epistemic logic, provides a fresh perspective on various issues and notions at play in the philosophical debate on acquaintance. (shrink)

In this paper, I confront Parfit’s Mixed Maxims Objection. I argue that recent attempts to respond to this objection fail, and I argue that their failure is compounded by the failure of recent attempts to show how the Formula of Universal Law can be used to demarcate the category of obligatory maxims. I then set out my own response to the objection, drawing on remarks from Kant’s Metaphysics of Morals for inspiration and developing a novel account of how the Formula (...) of Universal Law can be employed to determine the deontic status of action tokens, action types, and maxims. (shrink)

Metaphysics-first approaches dominate the current literature in the epistemology of modality. According to metaphysics-firsters, metaphysical theses have an important role in the justification of modal epistemologies. For example, the thesis that essentialist truths constitute the metaphysical grounds of modal truths is meant to have an important role in the justification of essentialist modal epistemologies. In this article, we argue against this approach. We first pick up some of the groundwork on behalf of the metaphysics-firsters and explicitly spell out potential arguments (...) for their view. However, despite some initial plausibility, these arguments are ultimately found wanting. We conclude that the metaphysics-first approach lacks motivation and puts far too stringent demands upon modal epistemologists. (shrink)

Aristotle analyses a large range of objects as composites of matter and form. But how exactly should we understand the relation between the matter and form of a composite? Some commentators have argued that forms themselves are somehow material, that is, forms are impure. Others have denied that claim and argued for the purity of forms. In this paper, I develop a new purist interpretation of Metaphysics Z.10-11, a text central to the debate, which I call 'hierarchical purism'. I argue (...) that hierarchical purism can overcome the difficulties faced by previous versions of purism as well as by impurism. Roughly, on hierarchical purism, each composite can be considered and defined in two different ways: From the perspective of metaphysics, composites are considered only insofar as they have forms and defined purely formally. From the perspective of physics, composites are considered insofar as they have forms and matter and defined with reference to both. Moreover, while the metaphysical definition is a definition in the strict sense of 'definition', the physical definition is a definition in a loose sense. Analogous points hold for intelligible composites and geometry. Finally, neither sort of definitional practice implies that, for Aristotle, forms are impure. (shrink)

In collective action problems, large numbers of contributions together produce a good outcome, but any one contribution often makes no difference. Many philosophers think that act consequentialism implies that individuals should not contribute in these cases, given that their contributions cannot be expected to affect the outcome. Nearly everyone has assumed that the relevant expected effects of an action are those effects that are counterfactually dependent on what a given agent does. This assumption is at the heart of causal decision (...) theory. In contrast, evidential decision theory evaluates actions on the basis of whatever can be expected to happen, given that the agent performs some action, where this includes events that are simply correlated with the action. I show that causal and evidentialist versions of act consequentialism can diverge in collective action problems. Evidential decision theory can require us to do our part even when causal decision theory does not. (shrink)