We critique the organizational account of biological functions by showing how its basis in the closure of constraints fails to be objective. While the account treats constraints as objective features of physical systems, the number and relationship of potential constraints are subject to potentially arbitrary redescription by investigators. For example, we show that self-maintaining systems such as candle flames can realize closure on a more thorough analysis of the case, contradicting the claim that these “simple” systems lack functional organization. This (...) also raises problems for Moreno and Mossio’s associated theory of biological autonomy, which asserts that living beings are distinguished by their possession of a closed system of constraints that channel and regulate their metabolic processes. (shrink)

We introduce a new type of pluralism about biological function that, in contrast to existing, demonstrates a practical integration among the term’s different meanings. In particular, we show how to generalize Sandra Mitchell’s notion of integrative pluralism to circumstances where multiple epistemic tools of the same type are jointly necessary to solve scientific problems. We argue that the multiple definitions of biological function operate jointly in this way based on how biologists explain the evolution of protein function. To clarify how (...) our account relates to existing views, we introduce a general typology for monist and pluralist accounts along with standardized criteria for judging which is best supported by evidence. (shrink)

Descartes is widely portrayed as the arch proponent of “the epistemological transparency of thought” (or simply, “Transparency”). The most promising version of this view—Transparency-through-Introspection—says that introspecting (i.e., inwardly attending to) a thought guarantees certain knowledge of that thought. But Descartes rejects this view and provides numerous counterexamples to it. I argue that, instead, Descartes’s theory of self-knowledge is just an application of his general theory of knowledge. According to his general theory, certain knowledge is acquired only through clear and distinct (...) intellection. Thus, in his view, certain knowledge of one’s thoughts is acquired only through clear and distinct intellection of one’s thoughts. Introspection is a form of intellection and it can be clear and distinct. Ordinarily, however, introspection isn’t clear and distinct but is instead confused with dubitable perceptions of bodies. To make introspection clear and distinct, we need to “sharply separate” it from all perceptions of bodies by doubting all perceptions of bodies. Without such radical doubt, introspection remains confused and we lack certain knowledge not just of the specific features of our thoughts, but even of the minimal claim that a thought exists. Far from being the high priest of Transparency, Descartes is radically opposed to it. (shrink)

Recent years have witnessed growing controversy over the “wisdom of the multitude.” As epistemic critics drawing on vast empirical evidence have cast doubt on the political competence of ordinary citizens, epistemic democrats have offered a defense of democracy grounded largely in analogies and formal results. So far, I argue, the critics have been more convincing. Nevertheless, democracy can be defended on instrumental grounds, and this article demonstrates an alternative approach. Instead of implausibly upholding the epistemic reliability of average voters, I (...) observe that competitive elections, universal suffrage, and discretionary state power disable certain potent mechanisms of elite entrenchment. By reserving particular forms of power for the multitude of ordinary citizens, they make democratic states more resistant to dangerous forms of capture than non-democratic alternatives. My approach thus offers a robust defense of electoral democracy, yet cautions against expecting too much from it—motivating a thicker conception of democracy, writ large. (shrink)

In The Sources of Normativity, Christine Korsgaard affirms that Enlightenment morality is true: humanity is valuable. To many of us few claims seem more obvious. Yet Enlightenment thinkers such as Kant do not limit themselves to affirming that humanity is valuable. They appeal to reason in an effort to establish it. They try to show that, in some sense, we are rationally compelled to recognize the value of humanity. Korsgaard joins in this effort. She champions the claim that unless we (...) take humanity to be valuable, we condemn ourselves to complete practical skepticism, i.e., to the view that we have no reason to do anything at all.Korsgaard discusses two arguments that, she believes, support this claim. The first she attributes directly to Kant in a series of influential papers on his ethics. The second argument, which she calls a ‘fancy new model’ of the first, she constructs under her own name in The Sources of Normativity. I will defend the view that neither of these arguments succeeds. In doing so, I will not be trying to show that we are mistaken in believing humanity to be valuable. (shrink)

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

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)

Existing approaches to campaign ethics fail to adequately account for the “arms races” incited by competitive incentives in the absence of effective sanctions for destructive behaviors. By recommending scrupulous devotion to unenforceable norms of honesty, these approaches require ethical candidates either to quit or lose. To better understand the complex dilemmas faced by candidates, therefore, we turn first to the tradition of “adversarial ethics,” which aims to enable ethical participants to compete while preventing the most destructive excesses of competition. As (...) we demonstrate, however, elections present even more difficult challenges than other adversarial contexts, because no centralized regulation is available to halt potential arms races. Turning next to recent scholarship on populism and partisanship, we articulate an alternative framework for campaign ethics, which allows candidates greater room to maneuver in their appeals to democratic populations while nevertheless requiring adherence to norms of social and political pluralism. (shrink)

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

Can an AGI create a more intelligent AGI? Under idealized assumptions, for a certain theoretical type of intelligence, our answer is: “Not without outside help”. This is a paper on the mathematical structure of AGI populations when parent AGIs create child AGIs. We argue that such populations satisfy a certain biological law. Motivated by observations of sexual reproduction in seemingly-asexual species, the Knight-Darwin Law states that it is impossible for one organism to asexually produce another, which asexually produces another, and (...) so on forever: that any sequence of organisms (each one a child of the previous) must contain occasional multi-parent organisms, or must terminate. By proving that a certain measure (arguably an intelligence measure) decreases when an idealized parent AGI single-handedly creates a child AGI, we argue that a similar Law holds for AGIs. (shrink)

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

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

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)

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

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.

Samuel Pufendorf is one of the most important moral and political philosophers of the seventeenth century. His theory, which builds on Grotius and Hobbes, was immediately recognized as a classic and taken up by writers as diverse as Locke, Hume, Rousseau, and Smith. Over the past twenty years there has been a renaissance of Pufendorf scholarship. On the Duty of Man and Citizen is Pufendorf's own epitome of his monumental On the Law of Nature and of Nations, and it (...) served as a basic text in European universities throughout the Enlightenment. This edition has a lucid and historically sensitive translation by Michael Silverthorne, the first since the early twentieth century. James Tully's introduction sets the text in its context, summarizes the main arguments, surveys recent literature on Pufendorf, and shows how Pufendorf transformed natural law theory into an independent discipline of juristic political philosophy that dominated reflection on politics until Kant. (shrink)

Abstract: Contemporary analytic philosophers of the “reactive attitudes” tend to share a simple conception of guilt as “self-directed blame”—roughly, an “unpleasant affect” felt in combination with, or in response to, the thought that one has violated a moral requirement, evinced substandard “quality of will,” or is blameworthy. I believe that this simple conception is inadequate. As an alternative, I offer my own theory of guilt’s logic and its connection to morality. In doing so, I attempt to articulate guilt’s defining thought (...) or proposition through an extended investigation and analysis of guilt’s many competing metaphors, which I trace from the Hebrew Bible to the New Testament to Shakespeare to contemporary vernacular. My interpretation of this literary genealogy offers a way to understand guilt’s seemingly disparate metaphors in terms of a single master-image that illuminates our self-conceptions and our relationship to morality. I conclude by making a very brief start toward a moral vindication of guilt against the backdrop of Nietzschean and Freudian analyses that explicitly call guilt’s place in a healthy social and personal life into question. I suggest that once guilt’s logic is made explicit, we can see that it makes sense of, honors, and addresses some of our deepest aspirations and needs. (shrink)

Do we live in a computer simulation? I will present an argument that the results of a certain experiment constitute empirical evidence that we do not live in, at least, one type of simulation. The type of simulation ruled out is very specific. Perhaps that is the price one must pay to make any kind of Popperian progress.

An investigation of public support for coastal adaptation options and public finance options in Florida evaluated stakeholder judgments and how they changed through a participatory engagement process. The study found that public finance mechanisms that imposed fiscal burdens on those who directly benefit from hazard reduction were rated as more acceptable than others. Significantly, visualisations and data on local economic damage and return on investment of potential adaptation options further increased acceptability ratings. The question of whether a development fee for (...) adaptation or any other public purpose supported by private funds is a legal issue that depends on a test called the rational nexus. One concern of this article is to explore options for such fees to cover adaptation to climate change. This raises issues about the potential conflict with the community-wide and intergenerational nature of long-term adaptation. We also explore the relevance of environmental attitudes using the 'new environmental paradigm' (NEP) scale and political party affiliation. Results have implications for infrastructure improvements that require public approval for financing. (shrink)

This article is a critique of Thaddeus Metz’s modal relational approach to moral status in African ethics. According to moral relationalism, a being has moral status if it exhibits the capacity for communal relationship as either a subject or an object. While Metz defends a prima facie plausibility of MR as an African account of moral status, this article provides a fresh perspective to the debate on moral status in environmental and ethical discourse. It raises two objections against MR: the (...) capability criterion inherent in MR is not only exogenous to African thought but also undermines the viability of MR; and MR cannot account for the standing of species populations. Both objections have severe implications for biodiversity conservation efforts in Africa and beyond. (shrink)

This book examines the evidential status and use of linguistic intuitions, a topic that has seen increased interest in recent years. Linguists use native speakers' intuitions - such as whether or not an utterance sounds acceptable - as evidence for theories about language, but this approach is not uncontroversial. The two parts of this volume draw on the most recent work in both philosophy and linguistics to explore the two major issues at the heart of the debate. Chapters in the (...) first part address the 'justification question', critically analysing and evaluating the theoretical rationale for the evidential use of linguistic intuitions. The second part discusses recent developments in the domain of experimental syntax, focusing on the question of whether formal and systematic models of gathering intuitions are epistemically and methodologically superior to the informal methods that have traditionally been used. -/- The volume provides valuable insights into whether and how linguistic intuitions can be used in theorizing about language, and will be of interest to graduate students and researchers in linguistics, philosophy, and cognitive science. (shrink)

I present an argument that for any computer-simulated civilization we design, the mathematical knowledge recorded by that civilization has one of two limitations. It is untrustworthy, or it is weaker than our own mathematical knowledge. This is paradoxical because it seems that nothing prevents us from building in all sorts of advantages for the inhabitants of said simulation.

John Rawls's focus on principles of justice for the basic structure of primary social institutions evolved from his early discussion of practices, social rules and Humean conventions, and his apparent commitment to a version of rule‐utilitarianism. Rawls says that there are two sources for the primacy assigned to the basic structure: the profound effects of basic social institutions on persons and their future prospects, and the need to maintain background justice. The chapter discusses three different kinds of reasons for the (...) primacy of principles for the basic structure: social nature of human relationships, ideals of persons and society, distributive justice and the importance of background justice. It concludes with a discussion of some prominent objections: monism vs dualism; capitalism, incentives and the institutional division of labor; the principles of justice are neither consequentialist nor prioritarian; social justice vs cosmopolitan justice. (shrink)

How might discourse generate political change? So far, democratic theorists have focused largely on how deliberative exchanges might shift political opinion. Responding to empirical research that casts doubt on the generalizability of deliberative mechanisms outside of carefully designed forums, this essay seeks to broaden the scope of discourse theory by considering speech that addresses participants’ identities instead. More specifically, we ask what may be learned about identity-oriented discourse by examining the practice of religious preaching. As we demonstrate, scholars of homiletics—the (...) study of preaching—have identified three core features that support its focus on identity: its unconditionality, its appeal to authoritative texts and traditions, and its diffuse instrumentality. We then ask what each of these features might look like in more straightforwardly political contexts. Finally, we address several normative questions raised by this practice, as a way of exploring the promises and dangers accompanying identity-oriented discourse more generally. (shrink)

This book is a collection of introspective essays bringing together the experience of the biographical process of biographers. It illustrates which type of psychoanalytic response is likely to catalyze a process that will increase the biographer's self-awareness as it pertains to his creativity.

In their thought-provoking paper, Legg and Hutter consider a certain abstrac- tion of an intelligent agent, and define a universal intelligence measure, which assigns every such agent a numerical intelligence rating. We will briefly summarize Legg and Hutter’s paper, and then give a tongue-in-cheek argument that if one’s goal is to become more intelligent by cultivating music appreciation, then it is bet- ter to use classical music (such as Bach, Mozart, and Beethoven) than to use more recent pop music. The (...) same argument could be adapted to other media: books beat films, card games beat first-person shooters, parables beat dissertations, etc. We leave it to the reader to decide whether this argument tells us something about classical music, something about Legg-Hutter intelligence, or something about both. (shrink)

Can you find an xy-equation that, when graphed, writes itself on the plane? This idea became internet-famous when a Wikipedia article on Tupper’s self-referential formula went viral in 2012. Under scrutiny, the question has two flaws: it is meaningless (it depends on fonts) and it is trivial. We fix these flaws by formalizing the problem.

This essay is a critical notice of David Dyzenhaus's book, The Long Arc of Legality. I argue that Dyzenhaus’s criterion for distinguishing legal pathologies that undermine law's contractarian claim to legitimacy and political pathologies that do not is unsustainable. It relies on a categorical distinction between the threat to law's legitimacy posed by treating some subjects as de jure second-class citizens, whose formal legal status is compromised, and other threats to political legitimacy grounded in the treatment of some subjects as (...) de facto second-class citizens, who retain full formal legal equality but suffer from thoroughgoing substantive subordination. But some forms of de facto second-class citizenship are a greater threat to contractarian legitimacy than some forms of full formal equality. So formal equality for subjects and legal legitimacy come apart. I consider and respond to several responses on Dyzenhaus's behalf, and conclude by proposing a version of his jurisprudential theory that relaxes this distinction. (shrink)