This review essay on three recent books on John Rawls’s theory of justice, by Catherine Audard, Samuel Freeman, and Thomas Pogge, describes the great boon they offer serious students of Rawls. They form a united front in firmly and definitively rebuffing Robert Nozick’s libertarian critique, Michael Sandel’s communitarian critique, and more generally critiques of “neutralist liberalism,” as well as in affirming the basic unity of Rawls’s position. At a deeper level, however, they diverge, and in ways that, this essay (...) suggests, go astray on subtle questions of interpretation: Freeman overemphasizes reciprocity, Pogge miscasts Rawls as a consequentialist, and Audard exaggerates the Kantian aspect of Rawls’s core, continuing commitment to “doctrinal autonomy.”. (shrink)

The essays gathered here demonstrate and justify the excitement and promise of cognitive historicism, providing a lively introduction to this new and quickly growing area of literary studies. Written by eight leading critics whose work has done much to establish the new field, they display the significant results of a largely unprecedented combination of cultural and cognitive analysis. The authors explore both narrative and dramatic genres, uncovering the tensions among presumably universal cognitive processes, and the local contexts within which complex (...) literary texts are produced. Alan Richardson's opening essay evaluates current approaches to the study of literature and cognition, locating them on the map of recent literary studies, indicating their most compelling developments to date, and suggesting the most promising future directions. The seven essays that follow provide innovative readings of topics ranging from Shakespeare (Othello, Macbeth, Cymbeline, The Rape of Lucrece) through Samuel Richardson's Clarissa, to contemporary authors Ian McEwan and Gilbert Sorrentino. They underscore some of the limitations of new historicist and post-structuralist approaches to literary cultural studies while affirming the value of supplementing rather than supplanting them with insights and methods drawn from cognitive and evolutionary theory. Together, they demonstrate the analytical power of considering these texts in the context of recent studies of cultural universals, 'theory of mind, ' cognitive categorization and genre, and neural-materialist theories of language and consciousness. This groundbreaking collection holds appeal for a broad audience, including students and teachers of literary theory, literary history, cultural studies, and literature and science studies. (shrink)

This essay employs strategies drawn from the emergent field of everyday aesthetics to explore the pleasures of reading Daniel Defoe’s Robinson Crusoe and Samuel Richardson’s Sir Charles Grandison. As a fictional paradigm, Crusoe has been a paradoxical inspiration, inviting critique as a seductive representative of colonial power, on the one hand, and eliciting admiration for his ability to provoke meaningful artistic and intellectual engagement from a diverse group of writers and thinkers, on the other hand. To many ordinary readers, (...) he has proved company worth keeping as a source of inspiration and personal pleasure primarily through his aesthetic approach to the structuring of everyday life. The fiction of Samuel Richardson continues the focus on the everyday, placing even greater emphasis on the relationship between the ethical and the aesthetic. In his final novel, Sir Charles Grandison, pleasure can scarce be felt without some commentary outlining the contours of moral significance, and the very act of moral reasoning is demonstrably affective for characters and readers alike. The essay ends with consideration of the power of literature, especially the realistic novel, to shape the ordinary lives of everyday readers. (shrink)

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

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)

The Gamer’s Dilemma consists of three intuitively plausible but conflicting assertions: (i) Virtual murder is morally permissible. (ii) Virtual child molestation is morally forbidden. (iii) There is no relevant moral difference between virtual murder and virtual child molestation in computer games. Numerous attempts to resolve (or dissolve) the Gamer’s Dilemma line the field of computer game ethics. Mostly, the phenomenon is approached using expressivist argumentation: Reprehensible virtual actions express something immoral in their performance but are not immoral by themselves. Consequentialists, (...) on the other hand, claim that the immorality of virtual actions arises from their harmful consequences. I argue that both approaches have serious difficulties meeting the moral challenge posed by the Gamer’s Dilemma. They tend to confuse the morality of in-game actions either with the morality of their real-world counterparts or with the morality of games as objects. Following this critical analysis, I will develop a Kantian argument and defend it against two objections. So far, deontological responses to the Gamer’s Dilemma have been sought in vain. Yet, with Kant, its moral challenge can be met by looking at the gamer’s reasons. From this perspective, the Gamer’s Dilemma is based on a false assumption: the moral status of gaming acts does not derive from a normative equation with their real-world counterparts but only from their justifications. (shrink)

Legg and Hutter, as well as subsequent authors, considered intelligent agents through the lens of interaction with reward-giving environments, attempting to assign numeric intelligence measures to such agents, with the guiding principle that a more intelligent agent should gain higher rewards from environments in some aggregate sense. In this paper, we consider a related question: rather than measure numeric intelligence of one Legg- Hutter agent, how can we compare the relative intelligence of two Legg-Hutter agents? We propose an elegant answer (...) based on the following insight: we can view Legg-Hutter agents as candidates in an election, whose voters are environments, letting each environment vote (via its rewards) which agent (if either) is more intelligent. This leads to an abstract family of comparators simple enough that we can prove some structural theorems about them. It is an open question whether these structural theorems apply to more practical intelligence measures. (shrink)

We define a notion of the intelligence level of an idealized mechanical knowing agent. This is motivated by efforts within artificial intelligence research to define real-number intelligence levels of compli- cated intelligent systems. Our agents are more idealized, which allows us to define a much simpler measure of intelligence level for them. In short, we define the intelligence level of a mechanical knowing agent to be the supremum of the computable ordinals that have codes the agent knows to be codes (...) of computable ordinals. We prove that if one agent knows certain things about another agent, then the former necessarily has a higher intelligence level than the latter. This allows our intelligence no- tion to serve as a stepping stone to obtain results which, by themselves, are not stated in terms of our intelligence notion (results of potential in- terest even to readers totally skeptical that our notion correctly captures intelligence). As an application, we argue that these results comprise evidence against the possibility of intelligence explosion (that is, the no- tion that sufficiently intelligent machines will eventually be capable of designing even more intelligent machines, which can then design even more intelligent machines, and so on). (shrink)

This work has been selected by scholars as being culturally important, and is part of the knowledge base of civilization as we know it. This work was reproduced from the original artifact, and remains as true to the original work as possible. Therefore, you will see the original copyright references, library stamps (as most of these works have been housed in our most important libraries around the world), and other notations in the work. This work is in the public domain (...) in the United States of America, and possibly other nations. Within the United States, you may freely copy and distribute this work, as no entity (individual or corporate) has a copyright on the body of the work. As a reproduction of a historical artifact, this work may contain missing or blurred pages, poor pictures, errant marks, etc. Scholars believe, and we concur, that this work is important enough to be preserved, reproduced, and made generally available to the public. We appreciate your support of the preservation process, and thank you for being an important part of keeping this knowledge alive and relevant. (shrink)

Can an agent's intelligence level be negative? We extend the Legg-Hutter agent-environment framework to include punishments and argue for an affirmative answer to that question. We show that if the background encodings and Universal Turing Machine (UTM) admit certain Kolmogorov complexity symmetries, then the resulting Legg-Hutter intelligence measure is symmetric about the origin. In particular, this implies reward-ignoring agents have Legg-Hutter intelligence 0 according to such UTMs.

In every chapter of this dissertation---chapters which consider work by John Locke, Lord Shaftesbury, David Hume, Adam Smith, Samuel Richardson, Jane Austen and Sir Joshua Reynolds---I show that the appeal each of these authors makes to the "common sense" of the reader mounts a deeply persuasive appeal to a collective vision of how things ought to be. Within empiricist epistemology, moral philosophy, fiction, and the discourse of art and aesthetics, I find that by assuming a moral consensus that unites (...) that community of readers he or she addresses, each of these writers initiates the reader into such a consensus. A double moment underlies the ideal and description of a common sense: what enables the claim that one's judgment is commonsensical is the assumption that such a judgment would find general assent, general agreement. At the same time, judgments that make these claims model for the community the kind of judgments that ought to find agreement. The idea of community rests on the possibility that each and every agent is capable of an objective assent to its terms and conditions, and that, given this ability, each would arrive at the consensus which supports the community. ;One of the paradoxes of eighteenth-century British empiricist epistemology is that it suggests the clearest views are those offered through the arts. That is, the frame provided by the arts creates a space which abstracts from a common-sense view of things to things "as they really are"---which is, really, as they ought to be. I explain the much noted intensity of the interest in developing a discourse of the aesthetic in the eighteenth century, or the emphasis placed on the idea of a single "standard of taste," as a consequence of the impasse in Locke's empiricist epistemology on the matter of objective judgments. The ability of perceivers to share a clear view of facts and objects, the view of reason and common sense, predicates Locke's project, yet the very possibility of such a view becomes more and more remote as his Essay proceeds. The model of aesthetic judgment which developed in the wake of Locke's Essay prioritized detachment and disinterest, and therefore offered the possibility of a distanced, and therefore objective, point of view, the point of view invoked in the appeal to common sense. (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)

“There is no world of thought that is not a world of language,” Walter Benjamin remarked, “and one only sees in the world what is preconditioned by ...

In the final edition of the Theory of Moral Sentiments (TMS), Smith recommends several literary authors—Racine and Voltaire, Richardson, Marivaux, and Riccoboni—as “much better instructors than Zeno, Chrysippus, or Epictetus,” specifically in their illustrations of relationships of love and friendship as well as the “private and domestic affections,” like “parental tenderness” and “filial piety” (III.3.13-4). Smith does not here explain how literature performs this instructive function, and his remarks on the function of literature are scattered across TMS and the Lectures (...) on Rhetoric and Belles Lettres. This chapter contributes to a growing body of scholarship on Smith and literature by focusing closely on this recommendation, elucidating the instructive potential of the early novel, and showing how well-suited the techniques of that form are to the goals and challenges of Smith’s sentimentalist moral philosophy. By examining shared themes and formal features of the novels of Samuel Richardson, Pierre Marivaux, and Marie-Jeanne Riccoboni, I show how a reader’s engagement with these novels helps to enable and train her skills as an impartial and sympathetic spectator. (shrink)

This article reconsiders John Bender’s reading of Fielding’s fiction and proposals for judicial reform in Imagining the Penitentiary by replacing Fielding’s writings in their religious context. Bender links Fielding’s use of omniscient narrators to his insistence on penal procedure and to his organising information in narrative sequences. Even though Bender’s analyses prove fruitful to account for certain formal innovations brought forth by Fielding, they tend to overlook Fielding’s hatred for Methodism and its consequences on his novels, parodies and satires. Contrarily (...) to Samuel Richardson, who relied on prefaces and authorial interventions to make sure that the moral meaning of his novels was unequivocal, Fielding used prefaces and intrusive narrators to highlight the fictionality of his works and to be both more transparent and more opaque about his own writing practices. Fielding’s avowals of fictionality are meant to destroy the illusion of narrative authenticity, which can easily turn into hypocrisy, which Fielding often links to Methodism and Pamela. However, they also contribute to giving a greater liberty and responsibility to the reader. If Fielding’s novels participate in the ‘rise of the penitentiary’, it is not because they institute the narrator as a judge, but rather because they organise the disappearance of the author through the perfection of the narrative architecture. (shrink)

To accept that cognition is embodied is to question many of the beliefs traditionally held by cognitive scientists. One key question regards the localization of cognitive faculties. Here we argue that for cognition to be embodied and sometimes embedded, means that the cognitive faculty cannot be localized in a brain area alone. We review recent research on neural reuse, the 1/f structure of human activity, tool use, group cognition, and social coordination dynamics that we believe demonstrates how the boundary between (...) the different areas of the brain, the brain and body, and the body and environment is not only blurred but indeterminate. In turn, we propose that cognition is supported by a nested structure of task-specific synergies, which are softly assembled from a variety of neural, bodily, and environmental components (including other individuals), and exhibit interaction dominant dynamics. (shrink)

Discussions of Aristotle’s Metaphysics Z tend to treat it either as an independent treatise on substance and essence or as preliminary to the main conclusions of the Metaphysics. I argue instead that Z is central to Aristotle’s project of first philosophy in the Metaphysics: the first philosopher seeks the first causes of being qua being, especially substances, and in Z, Aristotle establishes that essences or forms are the first causes of being of perceptible substances. I also argue that the centrality (...) of Z to first philosophy is compatible with its status as theology. (shrink)

In light of Jewish tradition and the metaphysics of time, we argue that God can and will change the past. The argument makes for a new answer to the problem of evil and a new theory of atonement.

In lieu of an abstract, here is a brief excerpt of the content:A Response to Charles AltieriRobert B. PippinIam very grateful to Charles Altieri for his attentive reading of and thoughtful critique of Philosophy by Other Means: The Arts in Philosophy and Philosophy in the Arts.1 Let me proceed immediately to his main and quite important criticism of the approach defended there. It is this: "My one huge problem with Pippin's perspective is that I cannot accept his insistence that the (...) distinctive form of thinking elicited by works of art is best treated as a mode of knowledge." And he offers a contrasting perspective: "Instead I propose that art should matter to society primarily as the achievement of constructed, specific, individual experiences that embody resonance and authority. Then we can claim that their capacities to engage audiences in particular imaginative situations dramatically stage responses to the historical conditions on which Pippin dwells." This is a densely stated alternative, and I am not sure I fully understand it or why stating it this way thereby shows why art "should matter to society" (art may do this, but why is that important?), but I have much to say by way of clarification before getting to the alternative.First, I meant the title to be as dialectical and so as paradoxical as it sounds. If the means are "other," then we have left philosophy altogether; if the other means are still philosophical, then they can't count as "other." By dialectical I mean simply the avoidance of such dualisms, while not collapsing distinctions through some sort of resolutive reductionism. The idea is to avoid two terrible examples of philosophical approaches to the arts that putatively avoid such dualisms: either provocative or illustrative. The former sees literature especially as embodying issues like moral dilemmas that can be understood to pose, to provoke, philosophical [End Page 249] questions that traditional philosophy should then take up and discuss on its own. (Examples are the way Samuel Beckett's plays, or Albert Camus's The Stranger, are sometimes taught.) The latter, the illustrative, sees literature, again paradigmatically, as providing something like the flesh and blood of abstract philosophical issues, instantiating and illustrating a particular philosophical approach, like moral sentimentalism. (Charles Dickens is often cited.)These are surely examples of what Altieri cites as, and quite rightly rejects, as "appropriating those [aesthetic] experiences for philosophical explanation." I want to reject such "appropriationism" too. In my first chapter, on philosophical criticism of the arts, the idea I defended was that attention to the philosophical value of literature (I will stay with this art form for a while) is attention to literature as a form of reflective thinking itself, in no need of appropriation by philosophy—even though, I claim, there can be a form of philosophical criticism. The point of such criticism is to illuminate that dimension of the work itself, something philosophically significant that the work can do but traditional philosophy cannot.This is couched within several qualifications. Such attentiveness can be valuable, but not for just any work of great literature. Some literature is great without being concerned with any aesthetic modality of "thinking." One can surely admire Samuel Richardson or Anthony Trollope or William Makepeace Thackeray and admit that their value stems from other qualities in the prose, plotting, and psychologically astute portrayal of characters. And for many other reasons, any of the arts can be said to be valuable even if a case can also be made for their bearing on philosophy.And finally, the concept of "philosophical knowledge" is quite complicated. Surely some philosophers, like G. W. F. Hegel, believe in such a thing, but I don't. As Altieri rightly points out, no Absolute exists. What interests me is the relevance of Hegel's claim that a sensible and affective modality of collective self-knowledge can be embodied in many great works. But the collective self-knowledge embodied in fiction is not like discursive or analytic or even speculative knowledge. I see no strict distinction between the object of interrogation and the interrogation itself. That is, the "self" in question (e.g., who have we become?) is what it is by virtue of its own self-interpretation. Self-knowledge in... (shrink)

In April 1741 there appeared a slim volume entitled An Apology for the Life of Mrs Shamela Andrews by a certain Mr Conny Keyber, whose name is generally supposed to conceal that of the novelist Henry Fielding. Shamela, to give the book its more familiar title, was a parody of Samuel Richardson's epistolary novel Pamela: or Virtue Rewarded, which had been published to great acclaim the previous year. In a series of letters purportedly sent to each other by the (...) main characters, the story unfolds of the honest servant-girl Pamela, her efforts to avoid seduction by her master Mr B., and her eventual marriage to him. Fielding's chief target was the morality of the book , but in passing he drew cruel attention to some of the pitfalls of the epistolary form as a vehicle for narrative. One passage in particular deserves quotation, from Letter VI, which Shamela writes to her mother at twelve o'clock on Thursday night: Mrs Jervis and I are just in Bed, and the Door unlocked; if my Master should come – Odsbods! I hear him just coming in at the Door. You see I write in the present Tense, as Parson Williams says. Well, he is in Bed between us, we both shamming a Sleep, he steals his Hand into my Bosom, which I, as if in my Sleep, press close to me with mine…. (shrink)

Bertrand Russell and the Nature of Propositions offers the first book-length defence of the Multiple Relation Theory of Judgement (MRTJ). Although the theory was much maligned by Wittgenstein and ultimately rejected by Russell himself, Lebens shows that it provides a rich and insightful way to understand the nature of propositional content. In Part I, Lebens charts the trajectory of Russell’s thought before he adopted the MRTJ. Part II reviews the historical story of the theory: What led Russell to deny the (...) existence of propositions altogether? Why did the theory keep evolving throughout its short life? What role did G. F. Stout play in the evolution of the theory? What was Wittgenstein’s concern with the theory, and, if we can’t know what his concern was exactly, then what are the best contending hypotheses? And why did Russell give the theory up? In Part III, Lebens makes the case that Russell’s concerns with the theory weren’t worth its rejection. Moreover, he argues that the MRTJ does most of what we could want from an account of propositions at little philosophical cost. This book bridges the history of early analytic philosophy with work in contemporary philosophy of language. It advances a bold reading of the theory of descriptions and offers a new understanding of the role of Stout and the representation concern in the evolution of the MRTJ. It also makes a decisive contribution to philosophy of language by demonstrating the viability of a no-proposition theory of propositions. (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)

This morning I intended to get out of bed when my alarm went off. Hearing my alarm, I formed the intention to get up now. Yet, for a time, I remained in bed, irrationally lazy. It seems I irrationally failed to execute my intention. Such cases of execution failure pose a challenge for Mentalists about rationality, who believe that facts about rationality supervene on facts about the mind. For, this morning, my mind was in order; it was my action that (...) apparently made me irrational. What, then, should Mentalists say about the phenomenon of execution failure? The phenomenon of execution failure, and the puzzle it raises for Mentalists, have rarely been discussed. This paper addresses the puzzle in two parts. First, it argues that execution failure is a real phenomenon. It is possible for agents to irrationally fail to act on their present-directed intentions. It follows that Mentalists in the philosophy of action must solve the puzzle of explaining what is irrational about cases of execution failure. Second, this paper begins the search for such a solution. It considers six possible resolutions to the puzzle, arguing that none is obviously the most attractive. These resolutions include a requirement of overall conative consistency, an appeal to the norm of intention consistency, a form of Volitionalism, an appeal to factive mental states, and a proposal due to Garrett Cullity, and a novel requirement of proper functioning. (shrink)

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

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)

Aristotle analyses a large range of objects as composites of matter and form. But how exactly should we understand the relation between the matter and form of a composite? Some commentators have argued that forms themselves are somehow material, that is, forms are impure. Others have denied that claim and argued for the purity of forms. In this paper, I develop a new purist interpretation of Metaphysics Z.10-11, a text central to the debate, which I call 'hierarchical purism'. I argue (...) that hierarchical purism can overcome the difficulties faced by previous versions of purism as well as by impurism. Roughly, on hierarchical purism, each composite can be considered and defined in two different ways: From the perspective of metaphysics, composites are considered only insofar as they have forms and defined purely formally. From the perspective of physics, composites are considered insofar as they have forms and matter and defined with reference to both. Moreover, while the metaphysical definition is a definition in the strict sense of 'definition', the physical definition is a definition in a loose sense. Analogous points hold for intelligible composites and geometry. Finally, neither sort of definitional practice implies that, for Aristotle, forms are impure. (shrink)

Challenging recent work that contends that seventeenth-century English discourses privilege the notion of a self-enclosed, self-sufficient individual, The Power of the Passive Self in English Literature recovers a counter-tradition that imagines selves as more passively prompted than actively choosing. This tradition - which Scott Paul Gordon locates in seventeenth-century religious discourse, in early eighteenth-century moral philosophy, in mid eighteenth-century acting theory, and in the emergent novel - resists autonomy and defers agency from the individual to an external 'prompter'. Gordon argues (...) that the trope of passivity aims to guarantee a disinterested self in a culture that was increasingly convinced that every deliberate action involves calculating one's own interest. Gordon traces the origins of such ideas from their roots in the non-conformist religious tradition to their flowering in one of the central texts of eighteenth-century literature, Samuel Richardson's Clarissa. (shrink)

We propose that, for the purpose of studying theoretical properties of the knowledge of an agent with Artificial General Intelligence (that is, the knowledge of an AGI), a pragmatic way to define such an agent’s knowledge (restricted to the language of Epistemic Arithmetic, or EA) is as follows. We declare an AGI to know an EA-statement φ if and only if that AGI would include φ in the resulting enumeration if that AGI were commanded: “Enumerate all the EA-sentences which you (...) know.” This definition is non-circular because an AGI, being capable of practical English communication, is capable of understanding the everyday English word “know” independently of how any philosopher formally defines knowledge; we elaborate further on the non-circularity of this circular-looking definition. This elegantly solves the problem that different AGIs may have different internal knowledge definitions and yet we want to study knowledge of AGIs in general, without having to study different AGIs separately just because they have separate internal knowledge definitions. Finally, we suggest how this definition of AGI knowledge can be used as a bridge which could allow the AGI research community to import certain abstract results about mechanical knowing agents from mathematical logic. (shrink)

Inspired by recent progress in multi-agent Reinforcement Learning (RL), in this work we examine the collective intelligent behaviour of theoretical universal agents by introducing a weighted mixture operation. Given a weighted set of agents, their weighted mixture is a new agent whose expected total reward in any environment is the corresponding weighted average of the original agents' expected total rewards in that environment. Thus, if RL agent intelligence is quantified in terms of performance across environments, the weighted mixture's intelligence is (...) the weighted average of the original agents' intelligences. This operation enables various interesting new theorems that shed light on the geometry of RL agent intelligence, namely: results about symmetries, convex agent-sets, and local extrema. We also show that any RL agent intelligence measure based on average performance across environments, subject to certain weak technical conditions, is identical (up to a constant factor) to performance within a single environment dependent on said intelligence measure. (shrink)

We provide an intuitive motivation for the hyperreal numbers via electoral axioms. We do so in the form of a Socratic dialogue, in which Protagoras suggests replacing big-oh complexity classes by real numbers, and Socrates asks some troubling questions about what would happen if one tried to do that. The dialogue is followed by an appendix containing additional commentary and a more formal proof.

Philosophical Investigations, Volume 45, Issue 3, Page 320-333, July 2022.

This paper is an attempt to lay out a meta‐ethical position that is inspired by the framework of Wittgenstein's later philosophy. To achieve this goal, this paper is divided into two parts. First, I explore recent attempts to tie Wittgenstein's epistemology in On Certainty to moral epistemology. I argue that there can be a meaningful parallel drawn between the epistemic certainties discussed in On Certainty and what I consider to be moral certainties. These moral certainties are unjustified fundamental moral attitudes (...) that underlie our moral practices. Then, I show how the debate over moral certainty has branched into two directions. One direction presents the concept of moral certainty as a naturalistic concept. On this reading, moral certainties transcend time and place since they are rooted in our natural tendencies to act or not act in certain ways. The other direction presents moral certainty as a distinctly relativistic concept. On this reading, we have our moral certainties because we belong to communities that agree on these certainties. In the second section, I argue that we have both natural, universal certainties and localized, relative certainties. I also argue that our localized certainties are constrained by non‐moral facts about ourselves and about the world. To make this argument, I rely on Wittgenstein's concept of “general facts of nature.” The result of the paper is a meta‐ethical position that can be located in between moral relativism and moral realism. (shrink)

In this rejoinder, we respond to two commentaries on the study by Greiff, S.; Stadler, M.; Sonnleitner, P.; Wolff, C.; Martin, R. Sometimes less is more: Comparing the validity of complex problem solving measures. Intelligence 2015, 50, 100–113. The study was the first to address the important comparison between a classical measure of complex problem solving (CPS) and the more recent multiple complex systems (MCS) approach regarding their validity. In the study, we investigated the relations between one classical microworld as (...) the initially developed method (here, the Tailorshop) with three more recently developed multiple complex systems (MCS; here, MicroDYN, Genetics Lab, and MicroFIN) tests. We found that the MCS tests showed higher levels of convergent validity with each other than with the Tailorshop even after reasoning was controlled for, thus empirically distinguishing between the two approaches. The commentary by Kretzschmar and the commentary by Funke, Fischer, and Holt expressed several concerns with how our study was conducted, our data was analyzed, and our results were interpreted. Whereas we acknowledge and agree with some of the more general statements made in these commentaries, we respectfully disagree with others, or we consider them to be at least partially in contrast with the existing literature and the currently available empirical evidence. (shrink)

This article enquires into the relation between enlightened humanist conceptions of natural law and the period novel's fictionalization of the English gentleman in the context of its marriage plot. Marriage played a key role in enlightened theorisations of natural law precisely as an institution capable of grounding familial and civil life in an emerging concept of human nature. Yet public debate about the state's role in the regulation of marriage in mid-eighteenth-century England demonstrates that natural law lent itself to very (...) different models of sovereignty and governance. The antinomies that characterized natural law's circulation in the English context are uniquely fictionalized in Samuel Richardson's last novel, Sir Charles Grandison (1753?54), a lengthy parallel narrative of failed courtship and matrimonial felicity that draws upon Pufendorf's model of natural law, yet is only partly implicated in its secular humanism. The novel's eponymous gentleman hero ? a ?Man of Religion and Virtue? ? exemplifies a mix of Anglican piety, civic virtue and disinterested sympathy that is sanctioned by natural law and sealed by the English marriage plot. (shrink)

This piece takes its cue from Malcolm Bowie's ‘speech creatures’, at once Aristotelian and psychoanalytic, to compare two forceful male characters in English novels who each make speeches proclaiming their own emotional reformation. Different as they are in other respects — an ex-libertine and a man of morals — Samuel Richardson's ‘Mr B.’ and Jane Austen's Mr Darcy both denounce their early parental education in relation to the humbler selfhood their wives-to-be have taught them. Such a development is both (...) like and unlike the later model of psychoanalytic re-education. It takes early emotional malformation as given, and it postulates the possibility of a beneficial re-education in later life; but it does not differentiate between the sexes, and it makes overall for a much more complete transformation and ‘cure by love’ than Freud's theories imagined. (shrink)