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)

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)

We construct a machine that knows its own code, at the price of not knowing its own factivity.

In their thought-provoking paper, Legg and Hutter consider a certain abstrac- tion of an intelligent agent, and define a universal intelligence measure, which assigns every such agent a numerical intelligence rating. We will briefly summarize Legg and Hutter’s paper, and then give a tongue-in-cheek argument that if one’s goal is to become more intelligent by cultivating music appreciation, then it is bet- ter to use classical music (such as Bach, Mozart, and Beethoven) than to use more recent pop music. The (...) same argument could be adapted to other media: books beat films, card games beat first-person shooters, parables beat dissertations, etc. We leave it to the reader to decide whether this argument tells us something about classical music, something about Legg-Hutter intelligence, or something about both. (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)

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)

A variation of Fitch’s paradox is given, where no special rules of inference are assumed, only axioms. These axioms follow from the familiar assumptions which involve rules of inference. We show (by constructing a model) that by allowing that possibly the knower doesn’t know his own soundness (while still requiring he be sound), Fitch’s paradox is avoided. Provided one is willing to admit that sound knowers may be ignorant of their own soundness, this might offer a way out of the (...) paradox. (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.

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)

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)

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)

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 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.

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)

We argue that C. Darwin and more recently W. Hennig worked at times under the simplifying assumption of an eternal biosphere. So motivated, we explicitly consider the consequences which follow mathematically from this assumption, and the infinite graphs it leads to. This assumption admits certain clusters of organisms which have some ideal theoretical properties of species, shining some light onto the species problem. We prove a dualization of a law of T.A. Knight and C. Darwin, and sketch a decomposition result (...) involving the internodons of D. Kornet, J. Metz and H. Schellinx. A further goal of this paper is to respond to B. Sturmfels’ question, “Can biology lead to new theorems?”. (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.

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)

Reinhardt’s conjecture, a formalization of the statement that a truthful knowing machine can know its own truthfulness and mechanicalness, was proved by Carlson using sophisticated structural results about the ordinals and transfinite induction just beyond the first epsilon number. We prove a weaker version of the conjecture, by elementary methods and transfinite induction up to a smaller ordinal.

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.

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)

A suprise may occur if we use a similar strategy to the Liar's paradox to mathematically formalize "This sentence does not contain the symbol X".

A biologically unavoidable sequence is an infinite gender sequence which occurs in every gendered, infinite genealogical network satisfying certain tame conditions. We show that every eventually periodic sequence is biologically unavoidable (this generalizes König's Lemma), and we exhibit some biologically avoidable sequences. Finally we give an application of unavoidable sequences to cellular automata.

I present an argument that for any computer-simulated civilization we design, the mathematical knowledge recorded by that civilization has one of two limitations. It is untrustworthy, or it is weaker than our own mathematical knowledge. This is paradoxical because it seems that nothing prevents us from building in all sorts of advantages for the inhabitants of said simulation.

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.

Elementary patterns of resemblance notate ordinals up to the ordinal of Pi^1_1-CA_0. We provide ordinal multiplication and exponentiation algorithms using these notations.

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)

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)

Samuel Alexander was a central figure of the new wave of realism that swept across the English-speaking world in the early twentieth century. His Space, Time, and Deity (1920a, 1920b) was taken to be the official statement of realism as a metaphysical system. But many historians of philosophy are quick to point out the idealist streak in Alexander’s thought. After all, as a student he was trained at Oxford in the late 1870s and early 1880s as British (...) Idealism was beginning to flourish. This naturally had some effect on his philosophical outlook and it is said that his early work is overtly idealist. In this paper I examine his neglected and understudied reactions to British Idealism in the 1880s. I argue that Alexander was not an idealist during this period and should not be considered as part of the British Idealist tradition, philosophically speaking. (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)

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 Alexander was one of the first realists of the twentieth century to defend a theory of categories. He thought that the categories are genuinely real and grounded in the intrinsic nature of Space-Time. I present his reduction of the categories in terms of Space-Time, articulate his account of categorial structure and completeness, and offer an interpretation of what he thought the nature of the categories really were. I then argue that his theory of categories has some advantages (...) over competing theories of his day, and finally draw some important lessons that we can learn from his realist yet reductionist theory of categories. (shrink)

Our paper examines Gloria Anzaldúa’s critical appropriation of Mexican philosophical sources, especially in the writing of Borderlands/La Frontera. We demonstrate how Anzaldúa developed a transnational Philosophy of Mexicanness, effectively contributing to what has been recently characterized as the “multi-generational project to pursue philosophy from and about Mexican circumstances” (Vargas). More specifically, we recover “La Mexicana en la Chicana” by paying careful attention to Anzaldúa’s Mexican sources, both those she explicitly cites and those we have discovered while conducting archival research using (...) the Gloria Evangelina Anzaldúa Papers from the Benson Latin American Collection at the University of Texas at Austin. The three sections of our paper: 1) define the terms Mexican and philosophy in conversation with Anzaldúa’s work, 2) examine the Mexican philosophical sources that Anzaldúa cites in Borderlands/La Frontera, and 3) present the other major Mexican philosophical influences on Anzaldúa that we have found in her archive. The eight Mexican philosophical sources we discuss here include: José Vasconcelos (1882-1959), Miguel León-Portilla (1926-2019), Juana Armanda Alegría (1938- ), Octavio Paz (1914-1998), Samuel Ramos (1897-1959), Rosario Castellanos (1925-1974), Sor Juana Inés de La Cruz (1648-1695), and Jorge Carrión (1913-2005). (shrink)

This essay examines Gloria Anzaldúa’s critical appropriation of two Mexican philosophers in the writing of Borderlands/La Frontera: Samuel Ramos and Octavio Paz. We argue that although neither of these authors is cited in her seminal work, Anzaldúa had them both in mind through the writing process and that their ideas are present in the text itself. Through a genealogical reading of Borderlands/La Frontera, and aided by archival research, we demonstrate how Anzaldúa’s philosophical vision of the “new mestiza” is a (...) critical continuation of the broader tradition known as la filosofía de lo mexicano, which flourished during a golden age of Mexican philosophy (1910–1960). Our aim is to open new directions in Latinx and Latin American philosophy by presenting Anzaldúa’s Borderlands/La Frontera as a profound scholarly encounter with two classic works of Mexican philosophy, Ramos’ Profile of Man and Culture in Mexico and Paz’s The Labyrinth of Solitude. (shrink)

This article examines Gloria Anzaldúa’s critical appropriation of Mexican philosophical sources, especially in the writing of Borderlands/La Frontera. We argue that Anzaldúa effectively contributed to la filosofía de lo mexicano by developing an Inter-American Philosophy of Mexicanness. More specifically, we recover “La Mexicana en la Chicana” by paying careful attention to Anzaldúa’s Mexican sources, both those she explicitly cites and those we have discovered while conducting archival research using the Gloria Evangelina Anzaldúa Papers at the Benson Latin American Collection at (...) the University of Texas at Austin. The eight Mexican philosophical sources we examine and discuss here are: José Vasconcelos (1882-1959), Miguel León-Portilla (1926-2019), Juana Armanda Alegría (1938- ), Octavio Paz (1914-1998), Samuel Ramos (1897-1959), Rosario Castellanos (1925-1974), Sor Juana Inés de La Cruz (1648-1695), and Jorge Carrión (1913-2005). (shrink)

This essay focuses on theories of creativity from six historical figures, while noting comparisons to several others. In Ancient Greece: (i) Plato advances the thesis that the poet is a passive vessel inspired by a muse. (ii) Aristotle replies with the antithesis that the poet creates through skilled activity. (iii) Longinus provides the synthesis. Plato is right that poets are passively inspired with original ideas – though the source is natural genius instead of some muse. But Aristotle is also right (...) that the poet must actively employ skill. In early modern Europe: (iv) Margaret Cavendish argues that through creativity women can enjoy some freedom and happiness despite oppression. (v) Alexander Gerard and Immanuel Kant both inherit the Longinian synthesis. Gerard says we form original ideas through remote associations. (vi) Kant notices that although the genius must be passive in the origination of ideas, she must also be active in the very same process, because she merits acclaim for her originality. Kant designs his theory of genius to resolve this Paradox of Creative Agency. (shrink)

Stephen Mumford and Alexander Bird disagree about which properties are powers and, correspondingly, about the extent of the philosophical work to which powers may be put. Unfortunately, there is an important respect in which these authors are talking past each other and so the reason for their disagreement remains obscured. I highlight what has gone wrong in their recent exchange, attempt to clear up the confusion and pinpoint the true source of their disagreement. My hope is to redirect the (...) efforts of these authors and their followers onto more pressing foundational issues in the metaphysics of powers. (shrink)

L'écologie préénergétique des années 1905-1935 est à la recherche de ses objets d'étude. Des unités fondamentales de la nature (telles que formation végétale, association végétale, climax, biome, communauté biotique, écosystème) se trouvent en compétition et se succèdent les unes aux autres. Autour des années 1920 et 1930, la philosophie organiciste d'Alfred N. Whitehead, ainsi que la perspective évolutionniste d'Herbert Spencer et les propositions émergentistes de Samuel Alexander et Conwy L. Morgan, deviennent des références sous-jacentes au débat épistémologique concernant (...) les unités de base de l'écologie. Des auteurs comme Frederic E. Clements et John Phillips soutiendront plusieurs formes d'organicisme écologique, tandis que Henry A. Gleason interprétera l'association végétale comme le résultat d'une juxtaposition fortuite d'individus. Enfin, et paradoxalement, l'écosystème de Arthur G. Tansley, tout en faisant partie, à l'origine, d'une perspective anti-organiciste, deviendra l'unité fondamentale de programmes de recherche qui se voudront, au moins dans leurs intentions, émergentistes. (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)

A supplemental document for "Metalinguistic Gradability".

In Wilmot-Smith’s recent “Law, ‘Ought’, and ‘Can’,” he argues that legal obligation does not imply ability. In this short reply, I show that Wilmot-Smith’s arguments do not withstand critical scrutiny. In section 1, I attack Wilmot-Smith’s argument for the claim that allowing for impossible obligations makes for a better legal system, and I introduce positive grounds for thinking otherwise. In section 2, I show that, even if Wilmot-Smith had established that impossible obligations make for a better legal system, his subsequent (...) attack on OIC fails. (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)

Iris Murdoch’s The Sovereignty of Good—especially the first essay, “The Idea of Perfection”—is often associated with a critique of a certain picture of agency and its proper place in ethical thought. There is implicit in this critique, however, an alternative, much richer one. I propose a reading of Murdochian agency in terms of the continuous activity of cultivating and refining a distinctive practical standpoint, and I apply this reading to her account of moral progress. For Murdoch moral progress depends on (...) transcending egoism and achieving clear perception of a normatively-saturated reality, but it would be a mistake to think of egoism in terms of selfishness, or clarity in terms of altruism. Rather, I argue, Murdochian moral progress requires overcoming socially-conditioned and often ideological forms of alienation, and making the social conditions that inform our practical standpoints self-conscious. (shrink)

Ever since Hegel famously objected to Kant’s universalization formulations of the Categorical Imperative on the grounds that they are nothing but an empty formalism, there has been continual debate about whether he was right. In this paper I argue that Hegel got things at least half-right: I argue that even if negative duties (duties to omit actions or not to adopt maxims) can be derived from the universalization formulations, positive duties (duties to commit actions or to adopt maxims) cannot. The (...) paper is divided into three main sections. In the first, I set out the procedures generally accepted among Kantians for deriving positive duties from the universalization formulations. In the second, I set out the arguments from section 1 in more detail and explain why they do not work. In the third, I examine a strategy that might be used to supplement the arguments from section 2 and I argue that it also does not work. (shrink)