Actors, undercover investigators, and readers of fiction sometimes report “losing themselves” in the characters they imitate or read about. They speak of “taking on” or “assuming” the beliefs, thoughts, and feelings of someone else. I offer an account of this strange but familiar phenomenon—what I call imaginative transportation.

The Generality Problem is widely recognized to be a serious problem for reliabilist theories of justification. James R. Beebe's Statistical Solution is one of only a handful of attempted solutions that has garnered serious attention in the literature. In their recent response to Beebe, Julien Dutant and Erik J. Olsson successfully refute Beebe's Statistical Solution. This paper presents a New Statistical Solution that countenances Dutant and Olsson's objections, dodges the serious problems that trouble rival solutions, and retains the theoretical virtues (...) that made Beebe's solution so attractive in the first place. There indeed exists a principled, rigorous, conceptually sparse, and plausible solution to the Generality Problem: it is the New Statistical Solution. (shrink)

Epistemic akrasia is the phenomenon of voluntarily believing what you think you should not. Whether epistemic akrasia is possible is a matter of controversy. I argue that at least some people who suffer from obsessive–compulsive disorder are genuinely epistemically akratic. I advance an account of epistemic akrasia that explains the clinical data and provides broader insight into the nature of doxastic attitude‐formation.

A trope is an abstract particular. Trope theorists maintain that tropes exist and argue that they can solve important philosophical problems, such as explaining the nature of properties. While many contemporary interpreters of Aristotle read him as a trope theorist, few commentators distinguish different versions of trope theory. Which, of any, of these versions did Aristotle hold? Classical trope theorists say that individuals just are bundles of tropes. This essay offers a reading of Categories 2-5 and Metaphysics VII-VIII that aligns (...) Aristotle's view with nonclassical trope theory, according to which objects are more than just bundles of tropes. (shrink)

The generality problem is one of the most pressing challenges for process reliabilism about justification. Thus far, one of the more promising responses is James Beebe’s tri-level statistical solution. Despite the initial plausibility of Beebe’s approach, the tri-level statistical solution has been shown to generate implausible justification verdicts on a variety of cases. Recently, Samuel Kampa has offered a new statistical solution to the generality problem. Kampa argues that the new statistical solution overcomes the challenges that undermined (...) Beebe’s original statistical solution. However, there’s good reason to believe that Kampa is mistaken. In this paper, I show that Kampa’s new statistical solution faces problems that are no less serious than the original objections to Beebe’s solution. Depending on how we interpret Kampa’s proposal, the new statistical solution either types belief-forming processes far too narrowly, or the new statistical solution fails to clarify the epistemic implications of reliabilism altogether. Either way, the new statistical solution fails to make substantive progress towards solving the generality problem. (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.

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)

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

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.

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)

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)

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)

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)

This paper addresses the extent to which both Julian Barbour‘s Machian formulation of general relativity and his interpretation of canonical quantum gravity can be called timeless. We differentiate two types of timelessness in Barbour‘s (1994a, 1994b and 1999c). We argue that Barbour‘s metaphysical contention that ours is a timeless world is crucially lacking an account of the essential features of time—an account of what features our world would need to have if it were to count as being one in which (...) there is time. We attempt to provide such an account through considerations of both the representation of time in physical theory and in orthodox metaphysical analyses. We subsequently argue that Barbour‘s claim of timelessness is dubious with respect to his Machian formulation of general relativity but warranted with respect to his interpretation of canonical quantum gravity. We conclude by discussing the extent to which we should be concerned by the implications of Barbour‘s view. (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)

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)

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)

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)

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)

In Nicomachean Ethics 1. 7, Aristotle gives a definition of the human good, and he does so by means of the “ ergon argument.” I clear the way for a new interpretation of this argument by arguing that Aristotle does not think that the ergon of something is always the proper activity of that thing. Though he has a single concept of an ergon, Aristotle identifies the ergon of an X as an activity in some cases but a product in (...) others, depending on the sort of thing the X is—for while the ergon of the eye is seeing, the ergon of a sculptor is a sculpture. This alternative interpretation of Aristotle’s concept of an ergon allows the key explanatory middle term of the ergon argument to be what, I argue, it ought to be: “the best achievement of a human.”. (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)

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.

Demolishes the conventional notion that there is one true history and one best way to teach it. Although most of us think of history and learn it as a conglomeration of facts, for professional historians it is a way of knowing, a method for developing anunderstanding about the relationships of peoples and events in the past.

Recently there has been a growing literature on the concept of moral certainty. This concept, which is inspired by Wittgenstein’s reflections in On Certainty, is most prominently argued for by Nigel Pleasants. Pleasants contends that there is a meaningful parallel to be drawn between the epistemic certainties discussed by Wittgenstein and moral certainties. These moral certainties are unreflective, non-propositional, and show in the ways that we act. In addition, these certainties cannot be doubted by a reasonable moral agent. In a (...) recently published article, Fairhurst is critical of Pleasants’ account. Fairhurst argues that there are problems with Pleasants’ example of a moral certainty, 'it is wrong to kill innocent non-threatening people'. Fairhurst appeals to euthanasia as an example of when a reasonable person could meaningfully doubt that it is wrong to kill innocent, non-threatening people. If this is a certainty, then a doubt such as this should not be possible. In addition, he argues that Pleasants’ claim that moral certainties are natural is not well substantiated. In this article, I attempt to defend an account of moral certainty against Fairhurst’s criticisms. I divide his criticisms into two parts. His first set of criticisms deal with Pleasants’ example of a moral certainty. I argue that some of his criticisms are inconsistent while others can be addressed by making a small amendment to Pleasants’ account. His second criticism deals with Pleasants’ claim that moral certainties are natural. In order to address this criticism, I appeal to Machery’s Nomological Account of human nature and use it as a basis that allows us to consistently make the claim that there are natural moral certainties. (shrink)

We consider an extended notion of reinforcement learning in which the environment can simulate the agent and base its outputs on the agent's hypothetical behavior. Since good performance usually requires paying attention to whatever things the environment's outputs are based on, we argue that for an agent to achieve on-average good performance across many such extended environments, it is necessary for the agent to self-reflect. Thus weighted-average performance over the space of all suitably well-behaved extended environments could be considered a (...) way of measuring how self-reflective an agent is. We give examples of extended environments and introduce a simple transformation which experimentally seems to increase some standard RL agents' performance in a certain type of extended environment. (shrink)

The philosophy of Henri Maldiney has played an important role in the evolution of French philosophy, especially its phenomenological strand. Maldiney's ideas have to a large extent developed from a close study of psychopathology. In this article, I present some of the key principles of Maldineyan thought, which has found little recognition to date in Anglophone philosophy and psychopathology. My main purpose is to explain the psychopathological and therapeutic implications of these principles. First, I make a few observations about Maldiney's (...) life and then sum up some of the main concepts of Maldineyan thought, such as sensing, rhythm, and, most important, openness to the event. Based on these concepts... (shrink)

In Metaphysics Z.6, Aristotle argues that each substance is the same as its essence. In this paper, I defend an identity reading of that claim. First, I provide a general argument for the identity reading, based on Aristotle’s account of sameness in number and identity. Second, I respond to the recent charge that the identity reading is incoherent, by arguing that the claim in Z.6 is restricted to primary substances and hence to forms.

Much contemporary metaphysics, moved by an apparent necessity to take reality to consist of given beings and properties, presents us with what appear to be deep problems requiring radical changes in the common sense conception of persons and the world. Contemporary meta-ethics ignores questions about logical form and formulates questions in ways that make the possibility of correct value judgments mysterious. In this book, Wheeler argues that given a Davidsonian understanding of truth, predication, and interpretation, and given a relativised version (...) of Aristotelian essentialism compatible with Davidson’s basic thinking, many metaphysical problems are not very deep. Likewise, many philosophers' claims that common sense needs to be modified are unfounded. He argues further that a proper consideration of questions of logical form clarifies and illuminates meta-ethical questions. Although the analyses and arguments he gives are often at odds with those at which Davidson arrived, they apply the central Davidsonian insights about semantics, understanding, and interpretation. (shrink)