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)

Variabilism is the view that proper names (like pronouns) are semantically represented as variables. Referential names, like referential pronouns, are assigned their referents by a contextual variable assignment (Kaplan 1989). The reference parameter (like the world of evaluation) may also be shifted by operators in the representation language. Indeed verbs that create hyperintensional contexts, like ‘think’, are treated as operators that simultaneously shift the world and assignment parameters. By contrast, metaphysical modal operators shift the world of assessment only. Names, being (...) variables, refer rigidly in the latter merely intensional contexts, but may vary their reference in hyperintensional contexts. This conforms to the intuition that the content of attitude ascriptions encapsulates referential uncertainty. Furthermore, names in hyperintensional contexts are ambiguous between de re* and de dicto* interpretations. This fact is used to account for asymmetric mistaken identity attributions (for example, Biron thinks Katherine is Rosaline, but he doesn’t think Rosaline is Katherine). -/- The variable theory compares favourably with its alternatives, including Millianism and descriptivism. Millians cannot account for the behaviour of names in hyperintensional contexts, while descriptivists cannot generate a necessary contrast between intensional and hyperintensional contexts. No other theory can capture the facts pertaining to the existentially bound use of names. (shrink)

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)

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

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)

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)

If the force on a particle fails to satisfy a Lipschitz condition at a point, it relaxes one of the conditions necessary for a locally unique solution to the particle’s equation of motion. I examine the most discussed example of this failure of determinism in classical mechanics—that of Norton’s dome—and the range of current objections against it. Finding there are many different conceptions of classical mechanics appropriate and useful for different purposes, I argue that no single conception is preferred. Instead (...) of arguing for or against determinism, I stress the wide variety of pragmatic considerations that, in a specific context, may lead one usefully and legitimately to adopt one conception over another in which determinism may or may not hold. (shrink)

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)

Objects of Metaphor puts forward a philosophical account of metaphor radically different from those currently on offer. Powerful and flexible enough to cope with the syntactic complexity typical of genuine metaphor, it offers novel conceptions of the relationship between simile and metaphor, the notion of dead metaphor, and the idea of metaphor as a robust theoretic kind. Without denying that metaphor can sometimes be merely ornamental, Guttenplan justifies the view of metaphor as fundamental to language and the study of language. (...) His book will be of great interest not only to philosophers in this field, but also to those working across psychology and linguistics. (shrink)

Taking a thematic approach to Butler as a political thinker, this text develops Butler's theory of the political through an exploration of her politics of troubling.

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)

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)

Advance Praise: "A distillation of the wisdom accumulated over a lifetime by one of our leading thinkers in psychiatry. . . .It should interest. . .anyone who has thought seriously about the brain, the mind and the meaning of illness." --Albert J. Stunkard, M.D., Professor of Psychiatry, University of Pennsylvania.

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)

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.

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

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

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)

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

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)

The publicity of a moral conception is a central idea in Kantian and contractarian moral theory. Publicity carries the idea of general acceptability of principles through to social relations. Without publicity of its moral principles, the intuitive attractiveness of the contractarian ideal seems diminished. For it means that moral principles cannot serve as principles of practical reasoning and justification among free and equal persons. This article discusses the role of the publicity assumption in Rawls’s and Scanlon’s contractualism. I contend that (...) a regard for publicity and a moral conception’s potential to provide a public basis for justification and agreement account for much of the evolution of Rawls’s account of justice after A Theory of Justice . I also discuss whether contractualism can provide a basis for justification and general agreement under the social conditions that it endorses. I contend that it cannot, and conclude with a discussion showing why this should not be a problem for contractualism. Despite appearances, contractualism is a distinctive form of contractarianism, substantially different from Rawls’s position and the social contract tradition out of which it evolved. Key Words: contractarianism • contractualism • John Rawls • public justification • T.M. Scanlon • justice. (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 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)

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)

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)

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

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)

Chapter 1 Introduction How are participants associated with the eventualities they participate in? Are there events? Thematic roles? ...

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)