In contemporary philosophy, substantive moral theories are typically classified as either consequentialist or deontological. Standard consequentialist theories insist, roughly, that agents must always act so as to produce the best available outcomes overall. Standard deontological theories, by contrast, maintain that there are some circumstances where one is permitted but not required to produce the best overall results, and still other circumstances in which one is positively forbidden to to do. Classical utilitarianism is the most familiar consequentialist view, but it is (...) widely regarded as an inadequate account of morality. Although Professor Scheffler agrees with this assessment, he also believes that consequentialism seems initially plausible, and that there is a persistent air of paradox surrounding typical deontological views. In this book, therefore, he undertakes to reconsider the rejection of consequentialism. He argues that it is possible to provide a rationale for the view that agents need not always produce the best possible overall outcomes, and this motivates one departure from consequentialism; but he shows that it is surprisingly difficult to provide a satisfactory rationale for the view that there are times when agents must not produce the best possible overall outcomes. He goes on to argue for a hitherto neglected type of moral conception, according to which agents are always permitted, but not always required, to produce the best outcomes. (shrink)

Lately there has been a renewal of interest among political philosophers and theorists in the idea of cosmopolitanism. However, there is little consensus among contemporary theorists about the precise content of a cosmopolitan position. This article calls attention to two different strands in recent thinking about cosmopolitanism. One strand presents it primarily as a doctrine about justice. The other presents it primarily as a doctrine about culture and the self. Although both forms of cosmopolitanism have some appeal, each is sometimes (...) interpreted in ways that render it untenable. This article attempts to distinguish between the more and the less plausible versions of each form of cosmopolitanism. In each case, the distinction turns on how the normative status of particular interpersonal relationships and group affiliations is understood. (shrink)

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

Liberalism and Distributive Justice discusses liberalism, capitalism, distributive justice, and John Rawls's difference principle. Chapters are organized in a narrative arc: from liberalism as the dominant political and economic system, to the laws governing interpersonal transactions in liberal society, to basic economic and political institutions that determine distributive justice.

In this paper, we explore locative grounding harmony, according to which the location of the grounds mirrors the location of the grounded. We proceed in three stages. First, we clarify the notion of locative harmony and describe different locative harmony principles. Second, we offer two arguments for the claim that grounding between physically located entities obeys principles of locative harmony. Third, we consider and respond to a range of cases that seem to show that grounding relations between physically located entities (...) do not obey such principles. We conclude that grounding between such entities obeys locative harmony. (shrink)

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)

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

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)

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)

Many philosophers have thought that our folk, or pre-reflective, view of persistence is one on which objects endure. This assumption not only plays a role in disputes about the nature of persistence itself, but is also put to use in several other areas of metaphysics, including debates about the nature of change and temporal passage. In this paper, we empirically test three broad claims. First, that most people (i.e. most non-philosophers) believe that, and it seems to them as though, objects (...) persist by enduring rather than perduring. Second, that most people have a view of change on which enduring but not perduring objects count as changing. Third, that one reason why the folk represent time as dynamical is because it seems to them, and they believe that, they endure through time. We found no evidence to support these claims. While there are certainly plenty of ‘folk’ endurantists in the population we tested, there are also plenty of ‘folk’ perdurantists. We did not find robust evidence that a majority of people believed that, or it seemed to them as though, objects endure rather than perdure. We conclude that many arguments in favour of endurantism that appeal to folk beliefs about, or experiences of, persisting objects and change rest on views about those beliefs and experiences that are empirically unsupported. There is no evidence to suggest that endurantism is the folk friendly view of persistence, and so we should stop treating it as such without argument. (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)

According to a common reading, Spinoza and Leibniz stand on opposite ends of the modal spectrum. At one extreme lies ‘‘Spinoza the necessitarian,’’ for whom the actual world is the only possible world. At the other lies ‘‘Leibniz the anti-necessitarian,’’ for whom the actual world is but one possible world among an infinite array of other possible worlds; the actual world is privileged for existence only in virtue of a free decree of a benevolent God. In this paper, I challenge (...) both of these readings. Spinoza is no necessitarian and Leibniz is no anti-necessitarian – at least as these characterizations are usually understood. Rather, I contend, Spinoza and Leibniz are both anti-essentialists; they believe that the modality of objects can vary relative to how those objects are conceived. This shared commitment to anti-essentialism allows them to consistently affirm both necessitarianism and its denial, relative to different ways of conceiving the world. Their embrace of this modal theory, I further argue, is grounded in their similar views on metaphysical perfection, ontological plentitude, and the principle of sufficient reason. (shrink)

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)

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.

The threat of bioterrorism, the emergence of the SARS epidemic, and a recent focus on professionalism among physicians, present a timely opportunity for a review of, and renewed commitment to, physician obligations to care for patients during epidemics. The professional obligation to care for contagious patients is part of a larger "duty to treat," which historically became accepted when 1) a risk of nosocomial infection was perceived, 2) an organized professional body existed to promote the duty, and 3) the public (...) came to rely on the duty. Physicians' responses to epidemics from the Hippocratic era to the present suggests an evolving acceptance of the professional duty to treat contagious patients, reaching a long-held peak between 1847 and the1950's. There has been some professional retrenchment against this duty to treat in the last 40 years but, we argue, conditions favoring acceptance of the duty are met today. A renewed embrace of physicians' duty to treat patients during epidemics, despite conditions of personal risk, might strengthen medicine's relationship with society, improve society's capacity to prepare for threats such as bioterrorism and new epidemics, and contribute to the development of a more robust and meaningful medical professionalism. (shrink)

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)

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)

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.

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)

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)

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)

In this paper I inquire into Bogen and Woodward’s data/phenomena distinction, which in a similar way to Cartwright’s construal of the model of superconductivity —although in a different domain—argues for a ‘bottom-up’ construction of phenomena from data without the involvement of theory. I criticise Bogen and Woodward’s account by analysing their melting point of lead example in depth, which is usually cited in the literature to illustrate the data/phenomenon distinction. Yet, the main focus of this paper lies on Matthias Kaiser’s (...) case study of the plate tectonic revolution, the most extensive case study that has been put forth to support the bottom-up construction of phenomena. On the basis of new historical evidence, which has been overlooked not only by Kaiser but also by the entire historical literature on the plate tectonic revolution, I demonstrate that phenomena are not constructed from the bottom-up but rather, admittedly counter-intuitively, from the top-down.Keywords: Data; Phenomena; Bottom-up; Theory-ladenness; Plate tectonic revolution. (shrink)

Dasgupta poses a serious challenge to realism about natural properties. He argues that there is no acceptable explanation of why natural properties deserve the value realists assign to them and are consequently absent of value. In response, this paper defines and defends an alternative non-explanatory account of normativity compatible with realism. Unlike Lewis and Sider, who believe it is sufficient to defend realism solely on realist terms, I engage with the challenge on unfriendly grounds by revealing a tu quoque. Dasgupta (...) and anti-realists face a similar challenge to that directed against realism: one that not only undermines the objection to realism by legitimising non-explanatory normativity but leaves them facing a significant dilemma. (shrink)

It is plausible that the models of our scientific theories correspond to possibilities. But exactly which models of which scientific theories stand in this correspondence? The answers to this question hinted at so far in the literature are too restrictive: they don't support the idea that the models of many of our best scientific theories correspond to physical possibilities. The paper thus provides a novel proposal for guiding belief about physical possibilities based on physics. The proposal draws on the notion (...) of an effective theory: a theory that applies very well to a particular, restricted domain. We argue that it is the models of effective theories that we should believe correspond, at least in part, to physical possibilities. It is thus effective theories that should guide modal reasoning in science. (shrink)

In this paper I trace the arc of Kant’s critical stance on the belief in God, beginning with the Critique of Pure Reason (1781) and culminating in the final chapter of the Metaphysics of Morals (1797). I argue that toward the end of his life, Kant changed his views on two important topics. First, despite his stinging criticism of it in the Critique of Pure Reason, by the time of the Metaphysics of Morals, Kant seems to endorse the physico-theological argument. (...) Second, some time around the publication of the Metaphysics of Morals, Kant seems to move away from the argument for the practical postulates. (shrink)

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

Some twenty years ago, Bogen and Woodward challenged one of the fundamental assumptions of the received view, namely the theory-observation dichotomy and argued for the introduction of the further category of scientific phenomena. The latter, Bogen and Woodward stressed, are usually unobservable and inferred from what is indeed observable, namely scientific data. Crucially, Bogen and Woodward claimed that theories predict and explain phenomena, but not data. But then, of course, the thesis of theory-ladenness, which has it that our observations are (...) influenced by the theories we hold, cannot apply. On the basis of two case studies, I want to show that this consequence of Bogen and Woodward’s account is rather unrealistic. More importantly, I also object against Bogen and Woodward’s view that the reliability of data, which constitutes the precondition for data-to-phenomena inferences, can be secured without the theory one seeks to test. The case studies I revisit have figured heavily in the publications of Bogen and Woodward and others: the discovery of weak neutral currents and the discovery of the zebra pattern of magnetic anomalies. I show that, in the latter case, data can be ignored if they appear to be irrelevant from a particular theoretical perspective (TLI) and that, in the former case, the tested theory can be critical for the assessment of the reliability of the data (TLA). I argue that both TLI and TLA are much stronger senses of theory-ladenness than the classical thesis and that neither TLI nor TLA can be accommodated within Bogen and Woodward’s account. (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)

Understanding inductive reasoning is a problem that has engaged mankind for thousands of years. This problem is relevant to a wide range of fields and is integral to the philosophy of science. It has been tackled by many great minds ranging from philosophers to scientists to mathematicians, and more recently computer scientists. In this article we argue the case for Solomonoff Induction, a formal inductive framework which combines algorithmic information theory with the Bayesian framework. Although it achieves excellent theoretical results (...) and is based on solid philosophical foundations, the requisite technical knowledge necessary for understanding this framework has caused it to remain largely unknown and unappreciated in the wider scientific community. The main contribution of this article is to convey Solomonoff induction and its related concepts in a generally accessible form with the aim of bridging this current technical gap. In the process we examine the major historical contributions that have led to the formulation of Solomonoff Induction as well as criticisms of Solomonoff and induction in general. In particular we examine how Solomonoff induction addresses many issues that have plagued other inductive systems, such as the black ravens paradox and the confirmation problem, and compare this approach with other recent approaches. (shrink)

This chapter contains section titled: Introduction A Global Distribution Principle? Problems with Globalizing the Difference Principle Conclusion Notes.

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)

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)

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)

The title of this book echoes a phrase used by the Washington Post to describethe American attempt to kill Saddam Hussein at the start of the war againstIraq. Its theme is the notion of targeting (skopos) as the name of an intentionalstructure in which the subject tries to confirm its invulnerability by aiming todestroy a target. At the center of the first chapter is Odysseus’s killing of the suitors;the second concerns Carl Schmitt’s Roman Catholicism and Political Form; thethird and fourth (...) treat Freud’s “Thoughts for the Times on War and Death” and“The Man Moses and Monotheistic Religion.” Weber then traces the emergenceof an alternative to targeting, first within military and strategic thinking itself(“Network Centered Warfare”), and then in Walter Benjamin’s readings of“Capitalism as Religion” and “Two Poems of Friedrich Hölderlin.”. (shrink)