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.

I argue that fitting resentment tracks unacceptable ‘ecological’ imbalances in relative social strength between victims and perpetrators that arise from violations of legitimate moral expectations. It does not respond purely, or even primarily, to offenders’ attitudes, and its proper targets need not be fully developed moral agents. It characteristically involves a wish for the restoration of social equilibrium rather than a demand for moral recognition or good will. To illuminate these contentions, I focus on cases that I believe demonstrate a (...) corollary thesis, namely, that strength, broadly construed, is a necessary condition of resentment-worthiness. I argue that weakness can make resentment unfitting in two ways. First, weakness may prevent a wrongdoer from shifting the balance of social power. Second, a weak wrongdoer may do social damage but be so lowly that resentment, which would represent him as excessively strong, would be inapt. Finally, I consider how accepting the ecological view might affect our theorizing about moral responsibility and the ethics of blame. (shrink)

What are the features of a good scientific theory? Samuel Schindler's book revisits this classical question in the philosophy of science and develops new answers to it. Theoretical virtues matter not only for choosing theories 'to work with', but also for what we are justified in believing: only if the theories we possess are good ones can we be confident that our theories' claims about nature are actually correct. Recent debates have focussed rather narrowly on a theory's capacity to (...) predict new phenomena successfully, but Schindler argues that the justification for this focus is thin. He discusses several other theory properties such as testability, accuracy, and consistency, and highlights the importance of simplicity and coherence. Using detailed historical case studies and careful philosophical analysis, Schindler challenges the received view of theoretical virtues and advances arguments for the view that science uncovers reality through theory. (shrink)

Contemporary philosophers of moral responsibility are in widespread agreement that we can only be blamed for actions that express, reflect, or disclose something about us or the quality of our wills. In this paper I reject that thesis and argue that self disclosure is not a necessary condition on moral responsibility and blameworthiness: reactive responses ranging from aretaic appraisals all the way to outbursts of anger and resentment can be morally justified even when the blamed agent’s action expresses or discloses (...) nothing significant about his or her “deep self,” judgments and cares, or the quality of his or her will. I argue that the self-disclosure requirement on responsibility overestimates the extent to which our blaming practices and responsibility judgments are responsive to agents as opposed to actions, and that this mistake has the potential to distort both our reactive responses and our understanding of blamed agents’ characters. (shrink)

Samuel Rickless presents a new account of Berkeley's controversial argument, and suggests it is the philosopher's greatest legacy: not only is it valid, but it may well be sound.

There is a mystery at the heart of Plato's Parmenides. In the first part, Parmenides criticizes what is widely regarded as Plato's mature theory of Forms, and in the second, he promises to explain how the Forms can be saved from these criticisms. Ever since the dialogue was written, scholars have struggled to determine how the two parts of the work fit together. Did Plato mean us to abandon, keep or modify the theory of Forms, on the strength of Parmenides' (...) criticisms? Samuel Rickless offers something that has never been done before: a careful reconstruction of every argument in the dialogue. He concludes that Plato's main aim was to argue that the theory of Forms should be modified by allowing that forms can have contrary properties. To grasp this is to solve the mystery of the Parmenides and understand its crucial role in Plato's philosophical development. (shrink)

Mintz examines seventeenth-century reactions to the political philosophy of Thomas Hobbes.

This chapter argues that adequately facing and responding to medical error requires making space for blame. In vindicating blame as a response to medical error, this essay does not advocate a return to a “bad apple” blame culture in which unlucky practitioners are unfairly scapegoated. It does, however, defend the targeted feeling and expression of angry, and even resentful, blaming attitudes toward health-care providers who make at least certain kinds of mistakes. The chapter makes the case that the angry and (...) resentful feelings associated with blame reflect a conception of oneself as a person worthy of consideration, and that expressing these feelings allows victims and families to fight for their dignity and self-respect. Along the way, it distinguishes between shaming and blaming, explaining that blaming, unlike shaming, characteristically aims to draw offenders into a moral dialogue. As a result, a good blaming practice can provide a logic within which providers who make costly errors may seek forgiveness, reconciliation, and healing. (shrink)

In recent scholarship, the science and religion debate has been historicized, revealing the novelty of the concepts of science and religion and their complex connections to secularization and the birth of modernity. This article situates this historicist turn in the history of philosophy and its connections to theology and Scripture, showing that the science and religion concept derives from philosophy's earlier tension with theology as it became an academic discipline centered in the medieval, then research university, with the centrality of (...) Scripture changing under the influence of historical criticism. Looking at Thomas Aquinas and Friedrich Schleiermacher on theology and Scripture's connection to science, it offers a new framework for theorizing science and religion as part of the history of philosophy. (shrink)

What does it mean for a hypothesis to be ad hoc? One prominent account has it that ad hoc hypotheses have no independent empirical support. Others have viewed ad hoc judgements as subjective. Here I critically review both of these views and defend my own Coherentist Conception of Ad hocness by working out its conceptual and descriptive attractions.

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.

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)

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)

Stoic physics, based entirely on the continuum concept, is one of the great original contributions in the history of physical systems. Building on The Physical World of the Greeks, the author describes the main aspects of the Stoic continuum theory, traces its origins back to pre-Stoic science and philosophy, and shows the attempts of the Stoics to work out a coherent system of thought that would explain the essential phenomena of the physical world by a few basic assumptions. Originally published (...) in 1987. The Princeton Legacy Library uses the latest print-on-demand technology to again make available previously out-of-print books from the distinguished backlist of Princeton University Press. These paperback editions preserve the original texts of these important books while presenting them in durable paperback editions. The goal of the Princeton Legacy Library is to vastly increase access to the rich scholarly heritage found in the thousands of books published by Princeton University Press since its founding in 1905. (shrink)

the Tracturus" (forthcoming), and H. O. Mounce, "Philosophy, Solipsism and Thought", The Philosophical Quarterly 47, 186, January 1997, pp. I — 18, esp. pp. 11 — 12. Here Wittgenstein's early and late philosophy have important points of convergence. In my view, however, arriving at the world in the Tractarian way by following out the implications of solipsism retains a danger of distorting our relation to the world, specifically our role as..

Plagiarism is often equated with theft, but closer inspection reveals plagiarism’s distinctive dimensions. Fundamentally, plagiarism is a form of deception, whereby the plagiarist uses the instructor as a means toward the plagiarist’s own end. Implicitly asking the instructor for a fair and accurate evaluation of the student’s abilities, the plagiarist at the same time sabotages the instructor’s capacity to make that judgment, thereby violating a duty inherent in the student-teacher relationship. Moreover, every act of plagiarism damages the plagiarist’s integrity, thereby (...) subverting his/her own well-being, while contributing as well to a widespread devaluing of education for both the individual and society. (shrink)

In this paper, I argue that Book II, Chapter viii of Locke' Essay is a unified, self-consistent whole, and that the appearance of inconsistency is due largely to anachronistic misreadings and misunderstandings. The key to the distinction between primary and secondary qualities is that the former are, while the latter are not, real properties, i.e., properties that exist in bodies independently of being perceived. Once the distinction is properly understood, it becomes clear that Locke's arguments for it are simple, valid (...) and (in one case) persuasive as well. (shrink)

In this paper, I defend the view that only practical reasons are normative reasons for belief. This requires viewing beliefs as the predictable results of our actions. I will show how this fits with our intuitions about mental autonomy. The remainder of the paper consists in a defense against a series of objections that may be expected against this position. The paper concludes with a metaphilosophical explanation about our conflicting intuitions regarding the normativity of rationality.

: This article argues that Kant’s doctrine of radical evil and the doctrine of conversion which is its consequent reflect developments in Kant’s thinking about moral agency and his realization that his theory of freedom was inadequate to the problem of moral evil; that the changes Kant makes to accommodate evil result in a significant though subterranean shift in his concept of agency, resulting in two incompatible concepts, one explicit but inadequate, the other implicit yet necessary; and that the problems (...) Kant encounters with radical evil and conversion and the concept of agency they push him towards provide an important link between Kant and German Idealism. (shrink)

This survey outlines a history of museums written through biographies of objects in their collections. First, the mechanics of the movement of things and the accompanying shifts in status are considered, from manufacture or growth through collecting and exchange to the museum. Objects gathered meanings through associations with people they encountered on their way to the collection, thus linking the history of museums to broader scientific and civic cultures. Next, the essay addresses the use of items once they joined a (...) collection, whether classificatory, analytical, or in display. By thus embedding the study of scientific practice in material culture, this approach contributes to constructivist histories of science. The final section addresses the role of objects in the experience of the visitors, emphasizing how fruitful the history of museum objects can be in the study of the public engagement with science. (shrink)

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

In a widely received paper on theory choice, Kuhn made three central claims. First, as a matter of empirical fact, different theories tend to score differently with regard to what Kuhn considered to be the standard set of theoretical virtues, i.e., empirical accuracy, internal and external consistency, scope, simplicity, and fertility. Whereas some theories will for instance be more empirically accurate than others, other theories will have greater external coherence with our background theories. Second, hardly ever does a theory’s being (...) virtuous in one particular respect legitimize a choice for that theory—not even when that virtue is empirical accuracy. Third, following from the first two .. (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)

According to the Doctrine of Doing and Allowing, it is more difficult to justify doing harm than it is to justify allowing harm. Enabling harm consists in withdrawing an obstacle that would, if left in place, prevent a pre-existing causal sequence from leading to foreseen harm. There has been a lively debate concerning the moral status of enabling harm. According to some (e.g. McMahan, Vihvelin and Tomkow), many cases of enabling harm are morally indistinguishable from doing harm. Others (e.g. Foot, (...) Hanser) support the Equivalence Hypothesis, according to which enabling harm is morally equivalent to allowing harm. Here I argue that there is every reason to embrace, and no reason to reject, the Equivalence Hypothesis. (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)

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)

In 1827, Lady Mary Shepherd published Essays on the Perception of an External Universe, which offers both an argument for the existence of a world of external bodies existing outside our minds and a criticism of Berkeley's argument for idealism in A Treatise Concerning the Principles of Human Knowledge. In this paper, I evaluate Margaret Atherton's criticisms of Shepherd's case against Berkeley, and provide reasons for thinking that, although Shepherd's particular criticisms of Berkeley do not succeed, she correctly identifies an (...) important problem to which Berkeley's reasoning is subject. (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)