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)

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)

Super-Humeans argue that the most parsimonious ontology of the natural world compatible with our best physical theories consists exclusively of particles and the distance relations between them. This paper argues by contrast that Super-Humean reduction goes insufficiently far, by showing there to be a more parsimonious ontology compatible with physics: Ultimate-Humeanism. This novel view posits an ontology consisting solely of the particles and distance relations required for the existence of a single brain. Super-Humeans impose conditions on what counts as an (...) ontology of the natural world to avoid their view slipping into this kind of ontology, but these conditions are arbitrarily imposed and once this is exposed, Super-Humeans face a dilemma. Either they can embrace Ultimate-Humeanism as the minimal ontology of the natural world compatible with physics, or (more likely) they can rethink the methodology that got them there. Overall, this paper argues that Super-Humeanism currently lacks principled motivation, outlines a framework for naturalistic ontological reductions, and exposes the consequences of unchecked adherence to a simplicity-driven methodology. (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)

According to the positive duties objection, it is not possible to derive positive duties from Kant’s Formula of Universal Law (FUL). However, in his recent “Deriving Positive Duties from Kant’s Formula of Universal Law”, Guus Duindam tries to answer this objection. More specifically, Duindam tries to show how both a duty of benevolence and a duty of self-perfection can be derived from the FUL. I critically examine Duindam’s arguments. I maintain that Duindam’s argument for the positive duty of benevolence is (...) ambiguous and that this ambiguity exposes him to a fatal dilemma: on one horn, Duindam faces the same objection that he concedes to be effective against other attempts to answer the positive duties objection; on the other horn, the procedure he recommends cannot be based on the FUL (because it does not evaluate actions on the basis of their corresponding maxims). In addition, I maintain that Duindam’s benevolence argument rests on a procedure that is, in general, intractable and, in this particular case, foredoomed (because it can be shown that there are no positive duties of the kind he tries to derive). From there, I turn to Duindam’s argument for the positive duty of self-perfection. I explain that Duindam’s derivation of the duty of self-perfection, even if successful, does not answer the positive duties objection. This is because Duindam never appeals to the FUL in his derivation of the duty of self-perfection (the derivation is based, rather, on instrumental reasoning from the second-order end to accomplish our first-order ends). I elaborate on this by comparing and contrasting Duindam’s argument with Oliver Sensen’s interpretation of how to apply the FUL in the latter’s recent “Universal Law and Poverty Relief”. (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)

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)

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.

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)

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)

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 lieu of an abstract, here is a brief excerpt of the content:Plato, Proclus, and the Limitations of Science S. SAMBURSKY I THE NEOPLATONICREVlV~of Plato's views on the physical world offers some highly interesting aspects to the historian of scientific ideas. There is first of all the interaction between a 600-year-old tradition and other philosophical systems that grew up during this long period and that exerted such a decisive influence on later antiquity. And there is further the magnificent development of (...) science--mathematics and astronomy in particular--in the period following Plato, reaching its climax in the Hellenistic era. This development introduced profound changes in the scientific world picture by adding a wealth of new facts to astronomy, mechanics, optics, and biology, and thus facing the later disciples of Plato with a difficult alternative : They could either assume an orthodox attitude by doubting the facts or at least belittling their significance for the Platonic doctrine; or else they could compromise by attempting to interpret the facts in the Platonic spirit--doing so by availing themselves of the well-known expedient of reading between the lines of the master's writings. It can, of course, not be denied that everything Plato has written on the physical world and on scientific cognition will always be, as it has been in antiquity, subject to interpretations. The task of a Platonic commentator is made even more difficult by his poetic style, his predilection for allegory, and his frequent use of allusions at the very moment when one expects systematic analysis. The increasing anti-metaphysical bias of modern science combined with the fact that Plato himself was neither a practicing scientist nor a creative mathematician led to the disparagement of his contribution to scientific thought in the last centuries. This applies in particular to the Timaeus,where the main tenets of PIato's scientific doctrine are expounded. However, on the whole, this negative attitude is not justified. The consistency and significance of Plato's epistemology of science is borne out by his statements in the Timaeusif they are taken together with his assertions concerning the role of mathematics in the cognition of nature and his appeal to the astronomers to "save the phenomena" of the planetary motions. Careful consideration of all these passages, regarded as a coherent whole, will show in the first place that Plato's philosophy of science does not fall short of his other great contributions to philosophy and human thought. It will further serve as a background against which the significant shift of emphasis that is found in Proclus's evaluation of the capacity of the human mind for the progressive understanding of nature will be seen. We all know of Plato's fundamental belief that the sensible world, i.e., the obiect of physical inquiry, is only an image of the inaccessible world of ideas. The intelligible world, the ultimate reality, is permanent and unchangeable, whereas [11 2 HISTORY OF PHILOSOPHY the material world is a world of transience and change. Every possible description of the physical world is therefore by necessity only a plausible story, not rising above the level of probability. This is the background of the celebrated passage in the Timaeus (29 C) : If then.., we prove unableto render an accountat all points entirely consistentwithitself and exact,you must not be surprised.If we can furnish accountsno less likely than any other, we must be content,rememberingthat I who speak and you my judges are onlyhuman, and consequently it is fittingthat we should, in these matters, accept the likelystory and look for nothingfurther. Here science has once and forever been assigned a place below the absolute truth, in view of the transient nature of the physical world and the role of the sensible world as an image of truth. Can some assertion be made as to the essence of this image? What is the ontological significance of all the changes and transmutations and what is the mechanism of that permanent generative process whose various components blend into the one perceptible unit which we call "nature"? Plato's answer is given in his allegory of the struggle between Reason and Necessity (Timaeus 48 A) : "The generation of this universe was a mixed result of the combination... (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)

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)

I argue that the paradoxes attributed to the Megarians, namely the Liar, the Sorites, presupposition ("Have you stopped beating your father,") and failure of substitution of co-referential terms in psychological verbs ("The Electra") were intended to be reasons to accept Parmenides view that non-being is an incoherent notion and that there is exactly One Being. That is, Eubulides and others were akin to Zeno, in indirectly supporting Parmenidean monism.

The orthography of the relative pronoun and the near demonstrative pronoun in the Byblian dialect of Phoenician is exactly the same, meaning that the grapheme z in introductions to dedication inscriptions has been left to interpretation. The historically related nature of these pronouns and their linguistic development led to this situation, in which the written expression of both pronouns in Byblian is identical. In this article, I examine this situation from a variety of perspectives, using both inner-Phoenician word order and (...) comparative data from related languages, in order to show that two patterns underlie the pronoun z in the introduction to Byblian dedication inscriptions. First, I present the historical data regarding the development of the near demonstrative and relative pronouns in Phoenician. Next, I provide an analysis of the syntax of Phoenician dedication inscriptions and offer comparative material in mortuary inscriptions in Phoenician as well as evidence from Old Aramaic and Samʾalian. In doing so, I argue that, in light of comparative evidence, there is good reason to posit that two patterns exist underlying Byblian z, one in which the grapheme indicates the relative pronoun and another in which the grapheme indicates the near demonstrative. (shrink)

This book attracted attention on first publication under the title of "Capitalism and the Permissive Society" as a spirited defence of capitalism aimed at radicals who valued personal liberty above conformity and authority. It is, if anything, of even greater relevance today now that the political debate centres more on the uses and abuses of both the market and government inter-vention. In this new edition, the author discusses the latest developments in the world of ideas and events. His verdict on (...) recent experiments such as Reaganism and Thatcherism and liberal attempts to revive socialism will be of great interest. (shrink)

There are many writers and critics who regard what they call ‘individualist-liberalism’ as the root of many of the evils of the modern world; and the emphasis of their attack is on the individualist half of the term. Those who take this line nowadays often call them-selves ‘communitarians’. I would prefer to call them collectivists, as that brings out their dangerous tendency to regard the group as more important than the individuals of whom it is composed. But in what follows (...) I shall concede on labels and most often refer to them as communitarians. (shrink)

In the context of Christian evangelization, the dialogue between culture and the Gospel has always been a major challenge for the Church. In Africa, particularly in Mozambique, this challenge still persists, since the western colonization of Africa failed in the evaluation of existing cultures and in the respect for the African Traditional Religion. Hence the need of an encultured Christianity, rooted in these peoples cultural reality, despite the wearing and difficulties to understand this concept. Culture is a fundamental dimension, inherent (...) to the human being and characterizes all of its existence. Therefore, an evangelization that ignores it, together with the local religiosity and takes them for primitive, is a huge mistake. Thus, the present dissertation approaches the need for the Church in Africa - Mozambique of an effective inculturation of the faith. It founds its approach on a bibliographical review of authors who ponder the theme. The research, developed in three chapters, it will present, first, an outline of Africa's history, its cultural diversity and the Christian presence on the Continent and then will elaborate an understanding of the following concepts: culture, interculturality, inculturation, acculturation, enculturation. We conclude with analyses of the promises, limits and criticisms of the inculturation of faith. The scope is to propose a new hermeneutics for the inculturation of the faith, which recognizes interculturality as the a priori of the way to an inculturated evangelization in Africa-Mozambique. (shrink)

Uno de los motivos recurrentes del pensamiento contemporáneo, es la indagación sobre el concepto, la representación y la valoración de la comunidad como una dimensión de la experiencia, en particular en su incidencia política/impolítica. Pero "comunidad" se ha manifestado como un "semantema" elusivo, es decir, una familia de nociones y asociaciones significativas, que abren y complejizan más y más la búsqueda de un concepto preciso, hasta empujarnos hacia las típicas "vías negativas" para la caracterización o definición del mismo. A modo (...) de hipótesis, sin pretender con ello construir un esquema abarcador, sostendré que hay un núcleo estético en ese semantema, aludiendo con "estética" a la presencia, en el punto pivote de la constelación que delimita "lo comunitario", de términos como sonido/silencio, diferencia, doble, forma, identidad, imagen y semejanza. Se trata mayormente, como es evidente, de significaciones construidas sobre los planos auditivo y visual de lo sensorio. Como una especificación de dicha hipótesis, ensayaré la elaboración de una noción de comunidad a partir de la pregunta acerca de cuándo hay comunidad. La respuesta a articular, es que hay comunidad cuando hay imagen, esto es, corporización de una semejanza y de un sentido, capaces de conjurar tanto la amenaza de lo informe como la de la forma sin semejanza. El fundamento último de esta hipótesis, es que nuestro ser-en-común originario toma consistencia en el plano de lo sensible porque se vincula a la insuficiencia de toda representación para subordinarlo a un concepto, pues se presenta aquí, entre comunidad y concepto, la misma distancia infranqueable que hay entre la existencia y su teorización. One of the recurrent motifs of contemporary thought is the inquiry about the concept, representation and valuation of community as a dimension of experience, particularly in its political/impolitic influence. But "community" has proved to be an elusive semanteme, i.e., a family of notions and significant associations that make the search for a precise concept very complex, pushing us to the typical "negative ways" for its characterization or definition. As a hypothesis, and with no intention of building an all-encompassing frame, I will hold that there is an aesthetic nucleus to this semanteme, understanding "aesthetic" as the presence of terms such as sound/silence, difference, double, shape, identity, image and likeness, occurring at the very pivot point of the constellation that defines "the communitarian". It refers mostly to significances related to the hearing and seeing senses. Following this hypothesis, I will try to define a notion of community answering the question of when a community occurs. The answer to this being that there is a community when there is an image; that is, the embodiment of a likeness and a sense that can thwart the threat of what is shapeless or of a shape with no likeness. The ultimate foundation of this hypothesis is that our original being-in-common becomes consistent to the senses because of its inability to subordinate to a concept, as happens with any representation, being the unbridgeable distance between community and its concept the same there is between existence and its theorization. (shrink)

"Let him, therefore, who would arrive at a knowledge of nature, train his moral sense; let him act and conceive in accordance with the noble essence of his ...

In his dissertation, Wadge defined a notion of guessability on subsets of the Baire space and gave two characterizations of guessable sets. A set is guessable if and only if it is in the second ambiguous class, if and only if it is eventually annihilated by a certain remainder. We simplify this remainder and give a new proof of the latter equivalence. We then introduce a notion of guessing with an ordinal limit on how often one can change one’s mind. (...) We show that for every ordinal $\alpha$, a guessable set is annihilated by $\alpha$ applications of the simplified remainder if and only if it is guessable with fewer than $\alpha$ mind changes. We use guessability with fewer than $\alpha$ mind changes to give a semi-characterization of the Hausdorff difference hierarchy, and indicate how Wadge’s notion of guessability can be generalized to higher-order guessability, providing characterizations of ${\mathbf{\Delta}}^{0}_{\alpha}$ for all successor ordinals $\alpha\gt 1$. (shrink)

Moral sceptics appear to be as common outside of philosophy as they are within philosophy. And moral scepticism, unlike some philosophical issues, is very widely felt to be important, troubling, and persistent. My aims in this paper are to draw together some ideas from the recent philosophical literature, and to use these ideas as the basis for one kind of response to the moral sceptic. For reasons that will soon become clear, some anti-sceptical moral philosophers may feel that this response (...) to the sceptic is nothing but a form of concession. Yet my position represents an attempt to defend a kind of moral objectivity, to demonstrate at least the possibility of a certain sort of moral universality, and most especially to do justice to the very central role of morality in our lives. Thus I expect that many sceptics, too, will regard my position as unsatisfactory. It might be thought foolhardy to advance a position that seems likely to alienate so many parties to the dispute it addresses. But popular solutions to the problem of moral scepticism are in short supply, and I hope to show that my position can capture what is compelling in the sceptical argument, while at the same time doing justice to the dignity and importance of morality. (shrink)

A suprise may occur if we use a similar strategy to the Liar's paradox to mathematically formalize "This sentence does not contain the symbol X".

A biologically unavoidable sequence is an infinite gender sequence which occurs in every gendered, infinite genealogical network satisfying certain tame conditions. We show that every eventually periodic sequence is biologically unavoidable (this generalizes König's Lemma), and we exhibit some biologically avoidable sequences. Finally we give an application of unavoidable sequences to cellular automata.

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)