Are the real numbers rich enough to measure intelligence? We generalize a result of Alexander and Hutter about the so-called Legg-Hutter intelligence measures of reinforcement learning agents. Using the generalized result, we exhibit a paradox: in one particular version of the Legg-Hutter intelligence measure, certain agents all have intelligence 0, even though in a certain sense some of them outperform others. We show that this paradox disappears if we vary the Legg-Hutter intelligence measure to be hyperreal-valued rather than real-valued.

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.

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)

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)

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 consider an extended notion of reinforcement learning in which the environment can simulate the agent and base its outputs on the agent's hypothetical behavior. Since good performance usually requires paying attention to whatever things the environment's outputs are based on, we argue that for an agent to achieve on-average good performance across many such extended environments, it is necessary for the agent to self-reflect. Thus weighted-average performance over the space of all suitably well-behaved extended environments could be considered a (...) way of measuring how self-reflective an agent is. We give examples of extended environments and introduce a simple transformation which experimentally seems to increase some standard RL agents' performance in a certain type of extended environment. (shrink)

Mathematicians and software developers use the word "function" very differently, and yet, sometimes, things that are in practice implemented using the software developer's "function", are mathematically formalized using the mathematician's "function". This mismatch can lead to inaccurate formalisms. We consider a special case of this meta-problem. Various kinds of agents might, in actual practice, make use of private memory, reading and writing to a memory-bank invisible to the ambient environment. In some sense, we humans do this when we silently subvocalize (...) thoughts about the actions we are taking (at least when the environment we're in is too primitive to probe the contents of our brains). Mathematical function formalizations of agents often ignore this ability. We show that in a general agent-environment framework (of which reinforcement learning is a special case), in a technical sense, such private memories do not enable qualitatively different agent behavior. (shrink)

In their paper 'Reward is enough', Silver et al conjecture that the creation of sufficiently good reinforcement learning (RL) agents is a path to artificial general intelligence (AGI). We consider one aspect of intelligence Silver et al did not consider in their paper, namely, that aspect of intelligence involved in designing RL agents. If that is within human reach, then it should also be within AGI's reach. This raises the question: is there an RL environment which incentivises RL agents to (...) design RL agents? (shrink)

We describe in our own words a visual phenomenon first described by Gallagher and Tsuchiya in 2020. The key to the phenomenon (as we describe it) is to direct one’s left eye at the image of one's left eye, while simultaneously directing one's right eye at the image of one's right eye. We suggest that one would naturally arrive at this phenomenon if one took a sufficiently literal reading of certain words of Socrates preserved in Plato's Alcibiades. We speculate that (...) perhaps Socrates was aware of the visual phenomenon in question. (shrink)

This is a paper about the general theory of measuring or estimating social intelligence via benchmarks. Hernández-Orallo and Dowe described a problem with certain proposed intelligence measures. The problem suggests that those intelligence measures might not accurately capture social intelligence. We argue that Hernández-Orallo and Dowe's problem is even more general than how they stated it, applying to many subdomains of AGI, not just the one subdomain in which they stated it. We then propose a solution. In our solution, instead (...) of using test-cases within the given AGI subdomain to estimate an AI's intelligence, one would use test-cases in an extended subdomain where test-cases have the ability to simulate the AI being tested. Surprisingly, AIs only designed for the original subdomain can be tested with test-cases in the extended subdomain anyway. By extending the subdomain in this way, we might avoid Hernández-Orallo and Dowe's problem. (shrink)

Internodons are a formalization of Hennig's concept of species. We present an alternative construction of internodons imposing a tree structure on the genealogical network. We prove that the segments (trivial unary trees) from this tree structure are precisely the internodons. We obtain the following spin-offs. First, the generated tree turns out to be an organismal tree of life. Second, this organismal tree is homeomorphic to the phylogenetic Hennigian species tree of life, implying the discovery of a multi-level tree of life: (...) this phylogenetic tree can be obtained by zooming out from the organismal tree, or conversely, the organismal tree of life can be generated by expanding the phylogenetic nodes into unary trees. Finally, the definition of the organismal tree allows an efficient algorithmic transformation of a given genealogical network into its corresponding phylogenetic species tree of life. The latter will be presented in a separate paper. (shrink)

Fitch's Paradox and the Paradox of the Knower both make use of the Factivity Principle. The latter also makes use of a second principle, namely the Knowledge-of-Factivity Principle. Both the principle of factivity and the knowledge thereof have been the subject of various discussions, often in conjunction with a third principle known as Closure. In this paper, we examine the well-known Surprise Examination paradox considering both the principles on which this paradox rests and some formal characterisations of the surprise notion, (...) crucial in this paradox. Standard formalizations of the Surprise Examination paradox in modal logic do not seem, at first glance, to depend on either factivity or knowledge-of-factivity, but we will argue that both factivity and knowledge-of-factivity play a key implicit role in the paradox. Namely, they are implicitly, perhaps unintentionally, used in order to simplify the definition of surprise. We analyze modal logical formalizations of three versions of the paradox concluding that the Surprise Examination paradox is the result of two flaws: the assumption of knowledge-of-factivity, and the over-simplification of the definition of "surprise" accordingly. By fixing these two flaws, the Surprise Examination paradox vanishes. (shrink)

Samuel Butler is usually remembered for Erewhon, widely considered among the best English satires. He also contributed to philosophical biology in works that collectively compose the nineteenth century's finest statement of the evolutionary argument associated with the name of Lamarck. In writing on evolution, Butler was not presenting science for a popular audience but deliberately intervening in the scientific argument about Darwinism. Surprised by the success of his first venture in philosophical biology, Life and Habit, Butler committed himself to (...) the project of developing an alternative to Darwinism, which he did in three additional volumes, and these are the works canvassed in this “delayed book review.”. (shrink)

Omnicide: Mania, Fatality and Future-in-Delirium (2019) finds Iranian-American philosopher and comparative literature theorist Jason Bahbak Mohaghegh carving the figure of the diffracted neo-Bedouin wanderer, whose mania we tail through the book’s haunted pages. The book’s namesake, “omnicide,” refers to the complete and total erasure of the Earth--the term has most recently been generally applied in ecological contexts, most markedly in regards to the Anthropocene and futurology. However, it is the explicitly poetic and literary intersection between mania and the grotesque that (...) Mohaghegh inches us towards, lifting omnicide from its proscriptive use in the Western philosophical/sociological tradition and goading it towards an unfamiliar cryptic terrain. Surveying ten contemporary Middle Eastern poets and fiction writers, including Sadeq Hedayat (Iran), Réda Bensmaia (Algeria), Samuel Adonis (Syria), Joyce Mansour (Egypt), Forugh Farrokhzad (Iran), Ibrahim al-Koni (Libya), Ahmad Shamlu (Iran), Ghada Samman (Lebanon), Mahmoud Darwish (Palestine) and Hassim Blasim (Iraq), Mohaghegh parses curious stanzas and plucks spectral paragraphs from myriad texts so as to navigate the largely occluded and excised narratives of the contemporary Middle Eastern philosophical-literary canon. Not only does Mohaghegh acuminate the multifaceted question of mania and its variegated networks, chambers, byways and sunken burrows--so as to juxtapose two different world literatures (East and West)--but Mohaghegh also illuminates this oeuvre to affront the Western psychoanalytic treatment of mania as an exclusionary vessel. Thus, despite Mohaghegh avoiding any explicit references to Western philosophers and scientists, both the codified dictum of the medical decree and the hyper-genealogical superlative tradition of Georges Canguilhem, Michel Foucault and their contemporaries rankle Omnicide’s annals. (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)

Mind wandering is a pervasive feature of subjective experience. But why does the mind tend to wriggle about rather than always staying focused? To answer this question, this paper defends the claim that mind wandering consists in task-unrelated thought. Despite being the standard view of mind wandering in cognitive psychology, there has been no systematic elaboration or defense of the task-unrelated thought view of mind wandering. Here, I argue for the task-unrelated thought view by showing how mind wandering reflects a (...) distinctive form of non-vigilant thinking. When the relationship between mind wandering and vigilance is clarified, several objections to the task-unrelated thought view can be defused. Not only does this provide a novel defense of the task-unrelated thought view of mind wandering, but it also presents an account of mind wandering that is compatible with a naturalistic account of subjectivity. (shrink)

This paper concerns the grounds of nonground: what it is in virtue of that facts of the form [F1 does not ground F2] hold. While the literature on iterated ground is expansive, there is comparatively little written on the grounds of nonground. I argue that nonground is grounded in distinctness from ground. If F1 does not ground F2, then [F1 does not ground F2] is grounded in the fact that F1 is distinct from that which does ground F2. While this (...) proposal strikes me as natural, it faces puzzles involving conjunction, contingency, and cardinality. The bulk of this paper explores how the view might be precisified, and how these puzzles might be resolved. (shrink)

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)

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)

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)

According to many philosophers, rationality is, at least in part, a matter of one’s attitudes cohering with one another. Theorists who endorse this idea have devoted much attention to formulating various coherence requirements. Surprisingly, they have said very little about what it takes for a set of attitudes to be coherent in general. We articulate and defend a general account on which a set of attitudes is coherent just in case and because it is logically possible for the attitudes to (...) be jointly satisfied in the sense of jointly fitting the world. In addition, we show how the account can help adjudicate debates about how to formulate various rational requirements. (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)

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)

I argue that Kant’s Categorical Imperative should be applied to individual maxim tokens rather than abstract maxim types. The article is divided into five sections. In the first, I explain my thesis. In the second, I show that my thesis disagrees with Rawls. In the third, I argue for my thesis on the basis of the wording of the Categorical Imperative and on the basis of considerations about autonomy. In the fourth, I argue for my thesis on the basis of (...) considerations about the ‘ought implies can’ principle. In the fifth, I provide a summary of the main argumentative moves and also explain some of the philosophical advantages of my thesis. (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)

Over the last decade, a call for greater “realism” in political theory has challenged the goals and methods that are implicit in much contemporary “normative” theory. However, realists have yet to produce a convincing alternative research program that is “constructive” rather than primarily “critical” in nature. I argue that given their common wariness of a devotion to abstract principles, realists should consider adopting John Dewey’s vision of theoretical expertise as an expansive kind of prediction that engages all of our historical, (...) scientific, and imaginative resources. After demonstrating that realists are in need of such an affirmative vision, I outline Dewey’s original proposal, and elaborate its value in contemporary circumstances as a “predictive” method for political theory that stands between familiar critical and normative approaches. (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)

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)

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)

Because moral understanding involves a distinctly first-personal grasp of moral matters, there is a temptation to think of its value primarily in terms of achievements that reflect well on its possessor: the moral worth of one's action or the virtue of one's character. These explanations, I argue, do not do full justice to the importance of moral understanding in our moral lives. Of equal importance is the value of moral understanding in our relations with other moral agents. In particular, I (...) argue that an understanding of moral matters is of central importance within relations of solidarity. In addition to highlighting an overlooked aspect of moral understanding's value, this view also has important implications for what solidarity requires of those who stand in that relationship. (shrink)

The Generality Problem is widely recognized to be a serious problem for reliabilist theories of justification. James R. Beebe's Statistical Solution is one of only a handful of attempted solutions that has garnered serious attention in the literature. In their recent response to Beebe, Julien Dutant and Erik J. Olsson successfully refute Beebe's Statistical Solution. This paper presents a New Statistical Solution that countenances Dutant and Olsson's objections, dodges the serious problems that trouble rival solutions, and retains the theoretical virtues (...) that made Beebe's solution so attractive in the first place. There indeed exists a principled, rigorous, conceptually sparse, and plausible solution to the Generality Problem: it is the New Statistical Solution. (shrink)

In an age of pervasive digitization, students' limited familiarity with the vast realm of information poses a significant challenge. This study investigates the hurdles faced by university students in terms of internet access and information retrieval. Objectives encompass understanding the impact of internet access challenges on academic performance, exploring factors influencing students' lack of interest in enhancing internet skills, and identifying barriers to effective internet utilization. Methodologically, a survey approach is adopted, involving 160 purposively selected students as respondents. A structured (...) questionnaire is used for data collection, distributed through Google Forms, resulting in a comprehensive 100% response rate. The study's theoretical foundation rests on the Use and Gratification Theory and Digital Divide Theory, highlighting digital literacy's importance in education. Key findings support alternative hypotheses, revealing the influence of internet connectivity challenges on academic performance, citing factors like cost, inertia, intent, and digital literacy. In conclusion, the study underscores students' reliance on smartphones for internet access, proposing specialized instruction, self-driven skill enhancement, and collaborative efforts to enhance internet accessibility and affordability. Recommendations emphasize specialized instruction, self-driven skill improvement, and collaborative efforts to enhance affordable internet access. Ultimately, tackling these challenges empowers students to navigate the digital landscape and leverage its potential effectively. (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)

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.

The dominant framework for addressing procreative ethics has revolved around the notion of harm, largely due to Derek Parfit’s famous non-identity problem. Focusing exclusively on the question of harm treats what procreators owe their offspring as akin to what they would owe strangers (if they owe them anything at all). Procreators, however, usually expect (and are expected) to parent the persons they create, so we cannot understand what procreators owe their offspring without also appealing to their role as prospective parents. (...) I argue that prospective parents can wrong their future children just by failing to act well in their role as parents, whether or not their offspring are ultimately harmed or benefitted by their creation. Their obligations as prospective parents bear on the motivations behind their reproductive choices, including the choice to select for some genetic trait in their offspring. Even when procreators’ motivations aren’t malicious, or purely selfish, they can still fail to recognize and act for the end of the parental role. Procreators can wrong their offspring by selecting for some genetic trait, then, when doing so would violate their obligations as prospective parents, or when their motivation for doing so is antithetical to the end of the parental role. (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.

I have two main goals in this paper. The first is to argue for the thesis that Kant gave up on his highest good argument for the existence of God around 1800. The second is to revive a dialogue about this thesis that died out in the 1960s. The paper is divided into three sections. In the first, I reconstruct Kant’s highest good argument. In the second, I turn to the post-1800 convolutes of Kant’s Opus postumum to discuss his repeated (...) claim that there is only one way to argue for the existence of God, a way which resembles the highest good argument only in taking the moral law as its starting point. In the third, I explain why I do not find the counterarguments to my thesis introduced in the 1960s persuasive. (shrink)

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)

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)

Time and modality show remarkable similarities. Each of the most discussed theories in philosophy of time finds an analogous counterpart in modal metaphysics, suggesting that the parallel between the two notions is metaphysically deep. This chapter offers a brief overview of their analogies. Section 1 addresses the analogy between presentism and actualism. Section 2 explores the analogy between non-presentist theories and possibilism. Section 3 discusses the analogy between temporal and modal persistence.

I Can we make promises to ourselves? This is a question that has not received much consideration in the large body of philosophical work on promising. And in what commentary there is, the answer is uniformly negative. I think this negativity is a mistake, and that the conventional view that we can't make reflexive promises is wrong. I also think that this has some important implications for promissory theory in general. In what follows, I will attempt to argue for the (...) first of these two claims, and to briefly outline my reasons for the second. (shrink)

Many accounts of the morality of abortion assume that early fetuses must all have or lack moral status in virtue of developmental features that they share. Our actual attitudes toward early fetuses don’t reflect this all-or-nothing assumption: early fetuses can elicit feelings of joy, love, indifference, or distress. If we start with the assumption that our attitudes toward fetuses reflect a real difference in their moral status, then we need an account of fetal moral status that can explain that difference. (...) I argue that we can have or lack relational obligations to early fetuses in light of our own activities or choices, independent of the fetus’s own features or properties. Those relational obligations make the early fetus morally considerable to the persons who stand in a moral relation to it. Pregnant persons (and other participants in the procreative process) can come to have relational obligations to an early fetus just in virtue of their own decision to create a person, either by intentionally getting pregnant or by deciding to continue a pregnancy. That decision not only makes it appropriate for them to care about the fetus, but it also generates obligations to the fetus that they didn’t have before that decision. (shrink)

Some normative theories are self-defeating. They tell us to respond to our situations in ways that bring about outcomes that are bad, given the aims of the theories, and which could have been avoided. Across a wide range of debates in ethics, decision theory, political philosophy, and formal epistemology, many philosophers treat the fact that a normative theory is self-defeating as sufficient grounds for rejecting it. I argue that this widespread and consequential assumption is false. In particular, I argue that (...) a theory can be self-defeating and still internally consistent, action-guiding, and suitable as a standard for criticism. (shrink)

According to a common caricature of Kant’s ethics, it is synonymous with the Categorical Imperative (CI) and with the sublime and clarion call of duty. But in this paper, I argue that the conjunction of Kant’s concept of duty and his idea of morality as a system of imperatives is unsustainable on the grounds that it commits him to the following two theses: (I) If an agent has a duty to D, then she must be constrained to D, and (II) (...) the Supreme Law of Morality always manifests in the form of duty for humans. I begin by examining (and rejecting) various attempts to defend these two theses. I then explore how this bears on various central aspects of Kant's thought including “ought implies can” (OIC), “ought implies able not to” (OIAN), his system of duties, and the nature of respect. (shrink)

Philosophical work in the ethics of thought focuses heavily on the ethics of belief, with, in recent years, a particular emphasis on the ways in which we might wrong other people either through our beliefs about them, or our failure to believe what they tell us. Yet in our own lives we often want not merely to be believed, but rather to be understood by others. What does it take to understand another person? In this paper, I provide an account (...) of interpersonal understanding that speaks to this widespread human desire to be understood by others. On the view I defend, to be understood by another person is for them to see our motivating reasons as justifying reasons, whether or not they actually take our reasons to have that normative force. I then provide an explanation of why such understanding is valuable in our lives, which emphasizes how being understood by another person is a way of being more fully with them. (shrink)

In her latest book, The End of Progress, Amy Allen embarks on an ambitious and much-needed project: to decolonize contemporary Frankfurt School Critical Theory. As with all of her books, this is an exceptionally well-written and well-argued book. Allen strives to avoid making assertions without backing them up via close and careful textual reading of the thinkers she engages in her book. In this article, I will state why this book makes a central contribution to contemporary critical theory (...) (in the broader sense), after which I pose a few questions. These questions are not meant to prove that there are any serious problems with her argumentation. Instead, they are meant in the spirit of dialogue and allow her to elaborate her work for her audience. (shrink)

In this paper, I argue that sentences that contain ‘omission’ tokens that appear to function as singular terms are meaningful while maintaining the view that omissions are nothing at all or mere absences. I take omissions to be fictional entities and claim that the way in which sentences about fictional characters are true parallels the way in which sentences about omissions are true. I develop a pragmatic account of fictional reference and argue that my fictionalist account of omissions implies a (...) plausible account of the metaphysics of omissions. (shrink)

Timothy O’Connor has recently defended a version of libertarianism that has significant advantages over similar accounts. One of these is an argument that secures indeterminism on the basis of an argument that shows how causal determinism threatens agency in virtue of the nature of the causal relation involved in free acts. In this paper, I argue that while it does turn out that free acts are not causally determined on O’Connor’s view, this fact is merely stipulative and the argument that (...) he presents for this conclusion begs the question. (shrink)

In recent years, calls have been made to address the relative dearth of qualitative sociological investigation into the sensory dimensions of embodiment, including within physical cultures. This article contributes to a small, innovative and developing literature utilizing sociological phenomenology to examine sensuous embodiment. Drawing upon data from three research projects, here we explore some of the ‘sensuousities’ of ‘intense embodiment’ experiences as a distance-running-woman and a boxing-woman, respectively. Our analysis addresses the relatively unexplored haptic senses, particularly the ‘touch’ of heat. (...) Heat has been argued to constitute a specific sensory mode, a trans-boundary sense. Our findings suggest that ‘lived’ heat, in our own physical-cultural experiences, has highly proprioceptive elements and is experienced as both a form of touch and as a distinct perceptual mode, dependent upon context. Our analysis coheres around two key themes that emerged as salient: (1) warming up, and (2) thermoregulation, which in lived experience were encountered as strongly interwoven. (shrink)

In this paper, I examine the connections between 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.