Part and parcel of the eschatology of the three Abrahamic faiths is the belief that sin and evil will be eliminated upon the consummation of God’s kingdom on earth. Not only do these beliefs affirm that God will ultimately “deal” with the problem of sin and evil, but that sin and evil will be no more. I refer to this eschatological belief as “the elimination of evil” (EOE). The EOE has important implications for how one understands the ontology of time. (...) In this paper, I contribute to this discussion by arguing that ontologies of time that affirm the concrete existence of past moments are incompatible with the EOE. I also argue that solutions based on theories of hypertime, such as those posited by Tyron Goldschmidt and Samuel Lebens, also fail to solve the problems posed to those ontologies of time affirming the concrete existence of the past. I conclude that the ontology of time that best facilitates the EOE is presentism. (shrink)

Descartes is widely portrayed as the arch proponent of “the epistemological transparency of thought” (or simply, “Transparency”). The most promising version of this view—Transparency-through-Introspection—says that introspecting (i.e., inwardly attending to) a thought guarantees certain knowledge of that thought. But Descartes rejects this view and provides numerous counterexamples to it. I argue that, instead, Descartes’s theory of self-knowledge is just an application of his general theory of knowledge. According to his general theory, certain knowledge is acquired only through clear and distinct (...) intellection. Thus, in his view, certain knowledge of one’s thoughts is acquired only through clear and distinct intellection of one’s thoughts. Introspection is a form of intellection and it can be clear and distinct. Ordinarily, however, introspection isn’t clear and distinct but is instead confused with dubitable perceptions of bodies. To make introspection clear and distinct, we need to “sharply separate” it from all perceptions of bodies by doubting all perceptions of bodies. Without such radical doubt, introspection remains confused and we lack certain knowledge not just of the specific features of our thoughts, but even of the minimal claim that a thought exists. Far from being the high priest of Transparency, Descartes is radically opposed to it. (shrink)

We normally take it for granted that other people will live on after we ourselves have died. Even if we do not believe in a personal afterlife in which we survive our own deaths, we assume that there will be a "collective afterlife" in which humanity survives long after we are gone. Samuel Scheffler maintains that this assumption plays a surprising - indeed astonishing - role in our lives.

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)

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

This work has been selected by scholars as being culturally important, and is part of the knowledge base of civilization as we know it. This work was reproduced from the original artifact, and remains as true to the original work as possible. Therefore, you will see the original copyright references, library stamps (as most of these works have been housed in our most important libraries around the world), and other notations in the work. This work is in the public domain (...) in the United States of America, and possibly other nations. Within the United States, you may freely copy and distribute this work, as no entity (individual or corporate) has a copyright on the body of the work. As a reproduction of a historical artifact, this work may contain missing or blurred pages, poor pictures, errant marks, etc. Scholars believe, and we concur, that this work is important enough to be preserved, reproduced, and made generally available to the public. We appreciate your support of the preservation process, and thank you for being an important part of keeping this knowledge alive and relevant. (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.

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)

“There is no world of thought that is not a world of language,” Walter Benjamin remarked, “and one only sees in the world what is preconditioned by ...

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)

Most democratic theorists agree that concentrations of wealth and power tend to distort the functioning of democracy and ought to be countered wherever possible. Deliberative democrats are no exception: though not its only potential value, the capacity of deliberation to ‘neutralise power’ is often regarded as ‘fundamental’ to deliberative theory. Power may be neutralised, according to many deliberative democrats, if citizens can be induced to commit more fully to the deliberative resolution of common problems. If they do, they will be (...) unable to get away with inconsistencies and bad or private reasons, thereby mitigating the illegitimate influence of power. I argue, however, that the means by which power inflects political disagreement is far more subtle than this model suggests and cannot be countered so simply. As a wealth of recent research in political psychology demonstrates, human beings persistently exhibit ‘motivated reasoning’, meaning that even when we are sincerely committed to the deliberative resolution of common problems, and even when we are exposed to the same reasons and evidence, we still disagree strongly about what ‘fair cooperation’ entails. Motivated reasoning can be counteracted, but only under exceptional circumstances such as those that enable modern science, which cannot be reliably replicated in our society at large. My analysis suggests that in democratic politics – which rules out the kind of anti-democratic practices available to scientists – we should not expect deliberation to reliably neutralise power. (shrink)

What if "liberal democracy" were a contradiction in terms? This book distinguishes liberalism from democracy to defend a Rancirean vision of impure politics. Disclosing Rancire's refusal of ontology as political, The Lessons of Rancire enacts a critical theory beyond unmasking and a democratic politics beyond liberalism.

This morning I intended to get out of bed when my alarm went off. Hearing my alarm, I formed the intention to get up now. Yet, for a time, I remained in bed, irrationally lazy. It seems I irrationally failed to execute my intention. Such cases of execution failure pose a challenge for Mentalists about rationality, who believe that facts about rationality supervene on facts about the mind. For, this morning, my mind was in order; it was my action that (...) apparently made me irrational. What, then, should Mentalists say about the phenomenon of execution failure? The phenomenon of execution failure, and the puzzle it raises for Mentalists, have rarely been discussed. This paper addresses the puzzle in two parts. First, it argues that execution failure is a real phenomenon. It is possible for agents to irrationally fail to act on their present-directed intentions. It follows that Mentalists in the philosophy of action must solve the puzzle of explaining what is irrational about cases of execution failure. Second, this paper begins the search for such a solution. It considers six possible resolutions to the puzzle, arguing that none is obviously the most attractive. These resolutions include a requirement of overall conative consistency, an appeal to the norm of intention consistency, a form of Volitionalism, an appeal to factive mental states, and a proposal due to Garrett Cullity, and a novel requirement of proper functioning. (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)

Guided by the APA Ethics Code and social justice, this book helps psychologists solve ethical dilemmas while empowering those impacted by their work.

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)

ABSTRACT While democratic states may manipulate public opinion and mobilize society to serve their interests, a focus on such active efforts may distract us from the passive, default condition of ignorance‐based state autonomy. The electorate’s ignorance ensures that most of what modern states do is unknown to “society,” and thus need not even acquire social approval, whether manipulated or spontaneous. Similarly, suggestions that democratic states may be “captured” by societal groups must take cognizance of the factors that enable elites to (...) serve the interests of specific societal groups at the expense of the larger society. Bringing studies of voter ignorance into the analysis of state’s autonomy from society provides a novel approach to the study of democratic states’ autonomy, while also serving to explain how societal “capture” of state policies is possible. (shrink)

The leading reductive approaches to shared agency model that phenomenon in terms of complexes of individual intentions, understood as plan-laden commitments. Yet not all agents have such intentions, and non-planning agents such as small children and some non-human animals are clearly capable of sophisticated social interactions. But just how robust are their social capacities? Are non-planning agents capable of shared agency? Existing theories of shared agency have little to say about these important questions. I address this lacuna by developing a (...) reductive account of the social capacities of non-planning agents, which I argue supports the conclusion that they can enjoy shared agency. The resulting discussion offers a fine-grained account of the psychological capacities that can underlie shared agency, and produces a recipe for generating novel hypotheses concerning why some agents do not engage in shared agency. (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 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)

Philosophical Investigations, Volume 45, Issue 3, Page 320-333, July 2022.

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)

Kraut and other neo-Aristotelians have argued that there is no such thing as absolute goodness. They admit only good in a kind, e.g. a good sculptor, and good for something, e.g. good for fish. What is the view of Aristotle? Mostly limiting myself to the Nicomachean Ethics, I argue that Aristotle is committed to things being absolutely good and also to a metaphysics of absolute goodness where there is a maximally best good that is the cause of the goodness of (...) all other things in virtue of being their end. I begin by suggesting that the notion of good as an end, which is present in the first lines of the NE, is not obviously accounted for by good in a kind or good for something. I then give evidence that good in a kind and good for something can explain neither certain distinctions drawn between virtues nor the determinacy ascribed to what is good “in itself.” I argue contra Gotthelf that because several important arguments in the Nicomachean Ethics rely on comparative judgments of absolute value—e.g. “Man is the best of all animals”—Aristotle is committed to the existence of both absolute goodness and an absolutely best being. I focus on one passage, Aristotle’s division of goods in NE I 12, which presupposes this metaphysical picture. (shrink)

Skepticism in epistemology refers to the supposedly irrational attitude of suspending judgment about all beliefs, particularly those taken for granted. The skeptical attitude presses philosophy to investigate the conditions under which knowledge and justification rather than accidental truths can be arrived at. In the first chapter, we will investigate how to construct a form of radical skepticism known as Pyrrhonian skepticism; we will see how Agrippa's Trilemma builds three ways of skeptical defense to object to three possible conditions in the (...) structuring of epistemic justification. In the second chapter, we will examine infinitism as a possible answer to the trilemma, as well as the conceptual bases that make possible the existence of this possible solution to the skeptical challenge. In the third, the main objection to infinitism known as the finite mind problem will be analyzed. In the fourth chapter, we will look at an alternative formulation of the trilemma, as well as the challenges this approach poses to the anti-skeptical response. (shrink)

According to the Reasoning View about normative reasons, facts about normative reasons for action can be understood in terms of facts about the norms of practical reasoning. I argue that this view is subject to an overlooked class of counterexamples, familiar from debates about Subjectivist theories of normative reasons. Strikingly, the standard strategy Subjectivists have used to respond to this problem cannot be adapted to the Reasoning View. I think there is a solution to this problem, however. I argue that (...) the norms of practical reasoning, like the norms of theoretical reasoning, are characteristically defeasible, in a sense I make precise. Recognizing this property of those norms makes space for a solution to the problem. The resulting view is in a way analogous to the familiar defeasibility theory of knowledge, but it avoids a standard objection to that theory. (shrink)

In this rejoinder, we respond to two commentaries on the study by Greiff, S.; Stadler, M.; Sonnleitner, P.; Wolff, C.; Martin, R. Sometimes less is more: Comparing the validity of complex problem solving measures. Intelligence 2015, 50, 100–113. The study was the first to address the important comparison between a classical measure of complex problem solving (CPS) and the more recent multiple complex systems (MCS) approach regarding their validity. In the study, we investigated the relations between one classical microworld as (...) the initially developed method (here, the Tailorshop) with three more recently developed multiple complex systems (MCS; here, MicroDYN, Genetics Lab, and MicroFIN) tests. We found that the MCS tests showed higher levels of convergent validity with each other than with the Tailorshop even after reasoning was controlled for, thus empirically distinguishing between the two approaches. The commentary by Kretzschmar and the commentary by Funke, Fischer, and Holt expressed several concerns with how our study was conducted, our data was analyzed, and our results were interpreted. Whereas we acknowledge and agree with some of the more general statements made in these commentaries, we respectfully disagree with others, or we consider them to be at least partially in contrast with the existing literature and the currently available empirical evidence. (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.

I describe and motivate Rational Internalism, a principle concerning the relationship between motivating reasons (which explain actions) and normative reasons (which justify actions). I use this principle to construct a novel argument against Objectivist theories of normative reasons, which hold that facts about normative reasons can be analyzed in terms of an independently specified class of normative or evaluative facts. I then argue for an alternative theory of normative reasons, the Reasoning View, which is consistent with both Rational Internalism and (...) one standard motivation for Objectivism. (shrink)

Patterns of reproductive failure described in humans and other mammals suggest that reproductive failure may in many instances be the result of adaptations evolved to suppress reproduction under temporarily harsh conditions. By suppressing reproduction under such conditions, females are able to conserve their time and energy for reproductive opportunities in which reproduction is most likely to succeed. Such adaptations have been particularly important for female mammals, given (a) the amount of time and energy that reproduction requires, and (b) the degree (...) to which reproductive conditions can vary.The existence of conscious and unconscious mechanisms to suppress reproduction under poor conditions has several implications for obstetric/gynecologic practices. Two implications are discussed with reference to biotechnological advancements in our ability to facilitate conceptions and manage problem pregnancies: (a) potential dangers of sophisticated technologies overriding natural fertility controls; and (b) the need for greater appreciation of the association between psychosocial stress and reproductive failure in the treatment of reproductive problems. Implications for elective abortion practices are discussed as well. (shrink)

Reading Foucault’s work on power and subjectivity alongside “developmentalist” approaches to evolutionary biology, this article endorses poststructuralist critiques of political ideals grounded in the value of subjective agency. Many political theorists embrace such critiques, of course, but those who do are often skeptical of liberal democracy, and even of normative theory itself. By contrast, those who are left to theorize liberal democracy tend to reject or ignore poststructuralist insights, and have continued to employ dubious ontological assumptions regarding human agents. Against (...) both groups, I argue that Foucault’s poststructuralism must be taken seriously, but that it is ultimately consistent with normative theory and liberal democracy. Linking poststructuralist attempts to transcend the dichotomy between agency and structure with recent efforts by evolutionary theorists to dissolve a similarly stubborn opposition between nature and nurture, I develop an anti-essentialist account of human nature and agency that vindicates poststructuralist criticism while enabling a novel defense of liberal democracy. (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.

Contemporary critics of the administrative state are right to highlight the dangers of vesting too much power in a centralized bureaucracy removed from popular oversight and accountability. Too often neglected in this literature, however, are the dangers of vesting too little power in a centralized state, which enables dominant groups to further expand their social and economic advantages through decentralized means. This article seeks to synthesize these concerns, understanding them as reflecting the same underlying danger of state capture. It then (...) articulates a set of heuristics for the design of public and administrative institutions, which aim at minimizing the risks of capture from both public and private sources. By following these heuristics, it claims, we can successfully employ the administrative state as a weapon against concentrated private power, rather than allowing it to serve as a tool of dominant groups. (shrink)

According to the ‘standard story’ in the philosophy of action, actions are those movements of a creature’s body that are caused and rationalized by the creature’s mental states. The attractions of the causal condition have been widely discussed. The rationalization condition is nearly ubiquitous, but it is notoriously obscure, and its motivation has rarely been made explicit. This paper presents a new argument for including the rationalization condition in the causal theory of action, and sketches a broadly Davidsonian theory of (...) what rationalization is. (shrink)

Bearing Society in Mind disrupts the disciplinary boundaries of economic, political and cultural theory by exploring the theory and politics of the social formation.

There is an old meta-philosophical worry: very roughly, metaphysical theories have no observational consequences and so the study of metaphysics has no value. The worry has been around in some form since the rise of logical positivism in the early twentieth century but has seen a bit of a renaissance recently. In this paper, I provide an apology for metaphysics in the face of this kind of concern. The core of the argument is this: pure mathematics detaches from science in (...) much the same manner as metaphysics and yet it is valuable nonetheless. The source of value enjoyed by pure mathematics extends to metaphysics as well. Accordingly, if one denies that metaphysics has value, then one is forced to deny that pure mathematics has value. The argument places an added burden on the sceptic of metaphysics. If one truly believes that metaphysics is worthless (as some philosophers do), then one must give up on pure mathematics as well. (shrink)

I argue that Spinoza endorses "conceptual dependence monism," the thesis that all forms of metaphysical dependence (such as causation, inherence, and existential dependence) are conceptual in kind. In the course of explaining the view, I further argue that it is actually presupposed in the proof for his more famed substance monism. Conceptual dependence monism also illuminates several of Spinoza’s most striking metaphysical views, including the intensionality of causal contexts, parallelism, metaphysical perfection, and explanatory rationalism. I also argue that this priority (...) of the conceptual does not commit Spinoza to forms of idealism or mentalism. The question of how to understand different kinds of metaphysical dependence is quite controversial in Spinoza studies; I address major alternative readings in the notes. But there I also try to draw connections to the growing debate in contemporary discussions about metaphysical dependence, as this topic is a happy point of shared interest between Spinoza and contemporary metaphysicians alike. (shrink)