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.

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)

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

Marxism has often been associated with two different legacies. The first rests on a strong exposition and critique of the logic of capitalism, grounded in a systematic analysis of the laws of motion of capitalism as a system. The second legacy refers to a strong historicist perspective grounded in a conception of social relations that emphasises the centrality of power and social conflict to the analysis of history. This article challenges the prominence of structural accounts of capitalism by showing how (...) the tension between these legacies has played out within Political Marxism, both orientations already having co-existed, somewhat uneasily, within Robert Brenner’s original contributions to the Transition Debate. Through this internal critique and re-formulation of Political Marxism, we wish to open a broader debate within Marxism on the need for a more agency-based account of capitalism, which builds more explicitly on the concept of social relations, to recover the historicist legacy of Marxism. (shrink)

At the core of Kant's ethics lies the claim that if there is a supreme principle of morality then it cannot be a principle based on utilitarianism or Aristotelian perfectionism or the Ten Commandments. The only viable candidate for such a principle is the categorical imperative. This book is the most detailed investigation of this claim. It constructs a new, criterial reading of Kant's derivation of one version of the categorical imperative: the Formula of Universal Law. This reading shows this (...) derivation to be far more compelling than contemporary philosophers tend to believe. It also reveals a novel approach to deriving another version of the categorical imperative, the Formula of Humanity, a principle widely considered to be the most attractive Kantian candidate for the supreme principle of morality. This book will be important not just for Kant scholars but for a broad swathe of students of philosophy. (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)

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

In the Formula of Humanity, Kant embraces the principle that it is wrong for us to treat others merely as means. For contemporary Kantian ethicists, this Mere Means Principle plays the role of a moral constraint: it limits what we may do, even in the service of promoting the overall good. But substantive interpretations of the principle generate implausible results in relatively ordinary cases. On one interpretation, for example, you treat your opponent in a tennis tournament merely as a means (...) and thus wrongly when you try, through defeating him, to win first place. The article aims to develop a reconstruction of the Mere Means Principle that has more plausible implications than do rival reconstructions. It sets out a sufficient condition for an agent's treating another merely as a means. This condition is intended to be Kantian, but not necessarily one that Kant endorses. (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)

The allocation of scarce health care resources such as flu treatment or organs for transplant presents stark problems of distributive justice. Persad, Wertheimer, and Emanuel have recently proposed a novel system for such allocation. Their “complete lives system” incorporates several principles, including ones that prescribe saving the most lives, preserving the most life-years, and giving priority to persons between 15 and 40 years old. This paper argues that the system lacks adequate moral foundations. Persad and colleagues' defense of giving priority (...) to those between 15 and 40 leaves them open to the charge that they discriminate unfairly against children. Second, the paper contends that the complete lives system fails to provide meaningful practical guidance in central cases, since it contains no method for balancing its principles when they conflict. Finally, the paper proposes a new method for balancing principles of saving the most lives and maximizing life-years. (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)

Opponents of commerce in organs sometimes appeal to Kant’s Formula of Humanity to justify their position. Kant implies that anyone who sells an integral part of his body violates this principle and thereby acts wrongly. Although appeals to Kant’s Formula are apt, they are less helpful than they might be because they invoke the necessity of respecting the dignity of ends in themselves without specifying in detail what dignity is or what it means to respect it, and they cite the (...) wrongness of an agent’s treating another merely as a means without clarifying conditions under which this occurs. This paper crystallizes two different approaches to the Formula of Humanity and probes when, according to them, the principle would imply that it is wrong to engage in “live donor” transactions, in which someone chooses to undergo a kidney extraction in exchange for money. (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)

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.

In Kant and Modern Political Philosophy, Katrin Flikschuh pursues two main aims. She tries to show that Kant’s theory of Right [Recht] is grounded in Kantian metaphysics. For example, we do not really understand Kant’s thought on property rights and cosmopolitanism unless we have in view its metaphysical underpinnings. Second, Flikschuh attempts to demonstrate the relevance of Kant’s theory of Right, especially as it is presented in Kant’s notoriously difficult Rechtslehre, to contemporary political concerns. In pursuing these aims she brings (...) to bear wide-ranging knowledge of scholarly work on Kant’s political and legal thought. (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)

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

In the Paraplegia Case, we must choose either to preserve the life of a paraplegic for 10 years or that of someone in full health for the same duration. Non-consequentialists reject a benefit-maximising view, which holds that since the person in full health will have a higher quality of life, we ought to save him straightaway. In the Unequal Lifespan Case, we face a choice between saving one person for 5 years in full health and another for 25 years in (...) full health. Frances Kamm has recently unfurled an Equal Respect Argument in an effort to support the position that while we ought to give each person a 50% chance of being saved in the Paraplegia Case, we are morally permitted to save straightaway the person who would live longer in the Unequal Lifespan case. The article tries to show that a Kant-inspired account of the dignity of persons is far more successful than Kamm's argument in supporting this position. The Kant-inspired account owes this success to its conceiving of respect for persons not primarily as respect for their pursuit of what is of value for them, but rather as respect for the value in them. (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 The Sources of Normativity, Christine Korsgaard affirms that Enlightenment morality is true: humanity is valuable. To many of us few claims seem more obvious. Yet Enlightenment thinkers such as Kant do not limit themselves to affirming that humanity is valuable. They appeal to reason in an effort to establish it. They try to show that, in some sense, we are rationally compelled to recognize the value of humanity. Korsgaard joins in this effort. She champions the claim that unless we (...) take humanity to be valuable, we condemn ourselves to complete practical skepticism, i.e., to the view that we have no reason to do anything at all.Korsgaard discusses two arguments that, she believes, support this claim. The first she attributes directly to Kant in a series of influential papers on his ethics. The second argument, which she calls a ‘fancy new model’ of the first, she constructs under her own name in The Sources of Normativity. I will defend the view that neither of these arguments succeeds. In doing so, I will not be trying to show that we are mistaken in believing humanity to be valuable. (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)

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)

Suppose that a young athlete has just become quadriplegic. He expects to live several more decades, but out of self‐interest he autonomously chooses to engage in physician‐assisted suicide (PAS) or voluntary active euthanasia (VAE). Some of us are unsure whether he or his physician would be acting rightly in ending his life. One basis for such doubt is the notion that persons have dignity in a Kantian sense. This paper probes responses that David Velleman and Frances Kamm have suggested to (...) the question of whether participating in PAS or VAE to benefit oneself, as the young man might, respects the dignity of persons, specified in an orthodox Kantian way. Velleman claims that it does not, while Kamm insists that, in certain circumstances, it does. I argue against Kamm's position. I go on to contend that while orthodox Kantianism might provide a basis for moral concern regarding the case of the young quadriplegic, it suffers from two serious shortcomings. First, it implies that terminally ill patients are wrong to request VAE or engage in PAS to avoid intense suffering, at least when this suffering has not yet overwhelmed their reason. Second, orthodox Kantianism implies that it is wrong for physicians to withdraw such patients from life‐sustaining treatments, even if they request it. To remedy these shortcomings, I sketch an unorthodox Kantian account of respect for the dignity of persons. This account promises to capture the idea that it would be morally problematic for doctors to help the young quadriplegic to die, but to avoid the shortcomings of an orthodox Kantian account. (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)

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)