From the end of the twelfth century until the middle of the eighteenth century, the concept of a right of necessity –i.e. the moral prerogative of an agent, given certain conditions, to use or take someone else’s property in order to get out of his plight– was common among moral and political philosophers, who took it to be a valid exception to the standard moral and legal rules. In this essay, I analyze Samuel Pufendorf’s account of such a (...) right, founded on the basic instinct of self-preservation and on the notion that, in civil society, we have certain minimal duties of humanity towards each other. I review Pufendorf’s secularized account of natural law, his conception of the civil state, and the function of private property. I then turn to his criticism of Grotius’s understanding of the right of necessity as a retreat to the pre-civil right of common use, and defend his account against some recent criticisms. Finally, I examine the conditions deemed necessary and jointly sufficient for this right to be claimable, and conclude by pointing to the main strengths of this account. Keywords: Samuel Pufendorf, Hugo Grotius, right of necessity, duty of humanity, private property. (shrink)

I argue in this paper that Immanuel Kant's account of the moral wrongness of contempt in the Metaphysics of Morals provides important resources for our understanding of the nature of moral subjectivity. Although Kant typically emphasizes the subject's position as autonomous addressor of the moral law, his remarks on contempt bring into relief a dynamic relationship at the heart of practical subjectivity between the addressor and addressee positions. After tracing the development of reflection concerning the addressor and addressee positions in (...) early modern philosophy, beginning with Francisco Suarez and Samuel Pufendorf, I articulate and defend what I take to be a Kantian conception of the relation between those positions. More specifically, I argue that to be a moral subject at all is necessarily to position oneself as the addressor of the moral law, but that one must at the same time maintain oneself in the addressee position, resisting the full conversion to the addressor position that autonomy seems to demand. (shrink)

The papers of this special issue are the outcome of a two-­‐day conference entitled “The Second-­‐Person Standpoint in Law and Morality,” that took place at the University of Vienna in March 2013 and was organized by the ERC Advanced Research Grant “Distortions of Normativity.” -/- The aim of the conference was to explore and discuss Stephen Darwall’s innovative and influential second-­‐personal account of foundational moral concepts such as „obligation“, „responsibility“, and „rights“, as developed in his book The Second-­‐Person Standpoint: Morality, (...) Respect, and Accountability (Harvard University Press 2006) and further elaborated in Morality, Authority and Law: Essays in Second-­‐Personal Ethics I and Honor, History, and Relationships: Essays in Second-­‐Personal Ethics II (both Oxford University Press 2013). -/- With the second-­‐person standpoint Darwall refers to the unique conceptual normative space that practical deliberators and agents occupy when they address claims and demands to one another (and to themselves). The very first sentence of Darwall’s examination of the second-­‐personal conceptual paradigm summarizes the gist of the argument succinctly when he claims that “the second-­‐person standpoint [is] the perspective that you and I take up when we make and acknowledge claims on one another’s conduct and will.” (Darwall 2006, 3) The Second-­‐Person Standpoint reminds us that this perspective has been ignored for much too long and that it better take centre stage in any philosophical analysis of moral phenomena, in order to yield a satisfying account of morality as a social institution. The negative part of Darwall’s strategy is to show that neither a purely first-­‐personal approach (represented by Kant and contemporary Kantians), nor a third-­‐personal state-­‐of-­‐affairs-­‐perspective (represented by most varieties of contemporary consequentialism) are capable of accounting for the categorical bindingness characteristic of moral obligation. The latter feat can only be accomplished, and this is the positive part of Darwall’s argument, when those second-­‐ personal normative “felicity conditions” and conceptual presuppositions are acknowledged and spelled out that are already presupposed in every instance of issuing (putatively valid) claims and demands. It is especially second-­‐personal competence and second-­‐personal authority that are the bedrock of these normative conceptual presuppositions, without which engaging in any meaningful address would be impossible. Kantians and utilitarians alike have neglected this critical dimension of the normative landscape. -/- In addition to working out an original conception of moral obligation, the first eight chapters of The Second-­‐Person Standpoint articulate this fundamental insight with respect to a variety of traditional projects in ethical theory such as developing accounts of moral responsibility, rights, dignity, and autonomy. In this context, special emphasis is to be awarded, on the one hand, to Darwall’s refreshing second-­‐personal interpretation of Strawson’s influential account of reactive attitudes and moral responsibility and, on the other, to his historically well-­‐informed reconstruction of Samuel Pufendorf’s often neglected version of an enlightened theistic voluntarism concerning moral authority. Darwall dedicates the second part of The Second-­‐Person Standpoint to the urgent question: how should one respond to the sceptical challenge that expresses utter indifference to the second-­‐person standpoint, including all its multifarious normative presuppositions and implications? What commits us to all this? It is at this point that Darwall, firstly, refines his criticisms of the Kantian, first-­‐personal, paradigm of normativity and emphasizes that only if one already incorporates the second-­‐personal conceptual apparatus into a Kantian analysis of moral obligation is the latter going to yield a convincing account. Secondly, and this certainly is one of the highlights of Darwall’s theory, the Second-­‐Person Standpoint employs themes from Fichte’s philosophy of right in order to strengthen the case for the inescapability of taking up the second-­‐person standpoint of moral obligation. In his contribution for this special issue Darwall further develops his diagnosis that Fichte’s thought offers in many respects a more promising, since more second-­‐personal, foundation of morality than, for example, Kant’s. -/- By now, the impact of Darwall’s second-­‐person standpoint theory has far transcended the confines of contemporary debates on moral obligation. Darwall has put to use the second-­‐personal apparatus to critical engagements with Joseph Raz’s theory of legal authority and Derek Parfit’s convergence arguments for his recent Triple Theory of moral wrongness. The constant theme that unifies all these diverse applications remains the one so impressively presented in The Second-­‐Person Standpoint: without paying attention to the “interdefinable” and “irreducible” circle of (four) foundational second-­‐ personal concepts (valid demand, practical authority, second-­‐personal reason, and accountability), neither superior epistemic status (Raz) nor the identification of optimific states of affairs (Parfit) are potent enough sources to generate anything close to the authority relationships that underlie the idea involved in obligating ourselves and one another. Given all of the above, it comes as no surprise that Darwall reserves his strongest sympathies for a specific ethical theory, namely contractualism. Our commitment to equal basic second-­‐personal authority, that Darwall arrives at through his Fichtean rectification of the Kantian project, leads him to the endorsement of a contractualist paradigm in the spirit of broadly Rawls and Scanlon. -/- . (shrink)

Istvan Hont’s classic work on the theoretical links between the seventeenth-century natural jurists Hugo Grotius and Samuel Pufendorf and the eighteenth-century Scottish political economists remains a popular trope among intellectual and economic historians of various stamps. Despite this, a common criticism levelled at Hont remains his relative lack of engagement with the relationship between religion and economics in the early modern period. This paper challenges this aspect of Hont’s narrative by drawing attention to an alternative, albeit complementary, assessment (...) of the natural jurisprudential heritage of eighteenth-century British political economy. Specifically, the article attempts to map on to Hont’s thesis the Christian Stoic interpretation of Grotius and Pufendorf which has gained greater currency in recent years. In doing so, the paper argues that Grotius and Pufendorf’s contributions to the ‘unsocial sociability’ debate do not necessarily lead directly to the Scottish school of political economists, as is commonly assumed. Instead, it contends that a reconsideration of Grotius and Pufendorf as neo-Stoic theorists, particularly via scrutiny of their respective adaptations of the traditional Stoic theory of oikeiosis, steers us towards the heart of the early English ‘clerical’ Enlightenment. (shrink)

This chapter describes the process of institutionalization of natural law at the University of Pisa, essential to interpreting the conditions in which the first public law chair of Italy was founded. The study of legal education in the late seventeenth and early eighteenth century will allow a more in-depth understanding of both the development of natural law in teaching practice throughout the long eighteenth century, and the features of the two processes of reception, respectively for educational and political purposes. In (...) fact, although both processes were founded on appreciation of the centrality of Roman law and philosophy in the construction of doctrines by the so-called ‘modern natural law school’, and developed through mediation of traditional Roman legal culture of the Pisan ‘historical-critical school’, there were some differences. In this initial phase, the didactic reception was indirect, although not entirely implicit, whereas the political reception was direct and explicit. (shrink)

Julkaisematta jääneessä muistiossaan Mietteitä oikeuden yleiskäsitteestä (1702-1703?) G. W. Leibniz muotoilee uudelleen Platonin Euthyfron-dialogissa esitetyn kuuluisan kysymyksen. Hän kirjoittaa: ”Myönnetään, että kaikki mitä Jumala tahtoo, on hyvää ja oikein. Sen sijaan kysytään, onko se hyvää ja oikein siksi että Jumala niin tahtoo, vai tahtooko Jumala sitä koska se on hyvää ja oikein. Eli kysytään, onko hyvyys tai oikeus jotakin mielivaltaista, vai koostuvatko ne asioiden luonnetta koskevista välttämättömistä ja ikuisista totuuksista, kuten luvut ja suhteet.” Universaaleja, ikuisia totuuksia puolustava filosofi ei voi (...) hyväksyä ensin mainittua vaihtoehtoa. Hänen mukaansa ”Se toden totta tuhoaisi Jumalan oikeudenmukaisuuden. Sillä miksi ylistäisimme häntä oikeudenmukaisista teoista, jos oikeudenmukaisuuden käsite ei hänen tapauksessaan lisää mitään teon käsitteeseen? Ja sanonta stat pro ratione voluntas, minun tahtoni käyköön perusteesta, on todella tyrannin motto.” Leibnizin kritiikki on suunnattu erityisesti hänen aikalaisiaan René Descartesia, Thomas Hobbesia ja Samuel Pufendorfia vastaan. Hän ei voi hyväksyä näkemystä, jonka mukaan oikeudenmukaisuuden mitta on vain Jumalan tahto. Perustan on löydyttävä ikuisista totuuksista, jotka ovat myös Jumalan oikeudenmukaisuuden standardi. Erityisen kuuluisaksi tuli Leibnizin kritiikki Pufendorfin näkemyksiä kohtaan, sillä Pufendorfin laajalle levinneen teoksen De officio hominis et civis ranskalaisen laitoksen neljännen painoksen toimittaja Barbeyrac liitti siihen Leibnizin kiistakirjoituksen, joka tunnetaan lyhyellä nimellä Monita (Epistola viri excellentissimi ad amicum qua monita quaedam ad principia Pufendorfiani operis de officio hominis et civis continentur, 1706) ja puolusti Pufendorfia Leibnizia vastaan. Leibnizin onnistui kuitenkin ilmeisesti osoittaa eräs heikkous Pufendorfin näkemyksissä, jota Barbeyrac ei pystynyt sivuuttamaan: tämän mukaan Jumala on saman aikaan sekä ylin tuomari että lakien laatija. Siten Leibnizin näkökulmasta Jumala on tyranni – hänen tahtonsa on oikeuden ja etiikan mitta ja koska hän on kaikkivaltias, hän voi pakottaa ihmiset noudattamaan sellaista oikeudenmukaisuutta, joka on hänen mieleistään. Koska Jumalan yläpuolella ei ole Pufendorfin mukaan mitään, hän voi toimia aivan mielivaltaisesti. Leibnizin kritiikki kiteytyy Pufendorfin epäselvään erotteluun ulkoisen ja sisäisen velvollisuuden välillä, joka jättää hänen näkemyksensä arvoitukselliseksi. Tutkiskelen tässä esitelmässä oliko Leibnzin kritiikki johdonmukainen ja oikeutettu. Onko Pufendorfin näkemyksissä heikkous, jota hän ei itse huomannut? Vertailen myös asiaa koskevia eri kommentaareja (mm. Kari Saastamoinen, Petter Korkman, Fiametta Palladini) ja arvioin Leibnizin kritiikin reseptiota Pufendorf-tutkimuksessa. (shrink)

We study the structure of families of theories in the language of arithmetic extended to allow these families to refer to one another and to themselves. If a theory contains schemata expressing its own truth and expressing a specific Turing index for itself, and contains some other mild axioms, then that theory is untrue. We exhibit some families of true self-referential theories that barely avoid this forbidden pattern.

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)

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

Are the real numbers rich enough to measure intelligence? We generalize a result of Alexander and Hutter about the so-called Legg-Hutter intelligence measures of reinforcement learning agents. Using the generalized result, we exhibit a paradox: in one particular version of the Legg-Hutter intelligence measure, certain agents all have intelligence 0, even though in a certain sense some of them outperform others. We show that this paradox disappears if we vary the Legg-Hutter intelligence measure to be hyperreal-valued rather than real-valued.

In recent years evolutionary psychologists have developed and defended the Massive Modularity Hypothesis, which maintains that our cognitive architecture—including the part that subserves ‘central processing’ —is largely or perhaps even entirely composed of innate, domain-specific computational mechanisms or ‘modules’. In this paper I argue for two claims. First, I show that the two main arguments that evolutionary psychologists have offered for this general architectural thesis fail to provide us with any reason to prefer it to a competing picture of the (...) mind which I call the Library Model of Cognition. Second, I argue that this alternative model is compatible with the central theoretical and methodological commitments of evolutionary psychology. Thus I argue that, at present, the endorsement of the Massive Modularity Hypothesis by evolutionary psychologists is both unwarranted and unmotivated. (shrink)

Fragmentalism was originally introduced as a new A-theory of time. It was further refined and discussed, and different developments of the original insight have been proposed. In a celebrated paper, Jonathan Simon contends that fragmentalism delivers a new realist account of the quantum state—which he calls conservative realism—according to which: the quantum state is a complete description of a physical system, the quantum state is grounded in its terms, and the superposition terms are themselves grounded in local goings-on about the (...) system in question. We will argue that fragmentalism, at least along the lines proposed by Simon, does not offer a new, satisfactory realistic account of the quantum state. This raises the question about whether there are some other viable forms of quantum fragmentalism. (shrink)

In a recent book and an article, Carl Craver construes the relations between different levels of a mechanism, which he also refers to as constitutive relations, in terms of mutual manipulability (MM). Interpreted metaphysically, MM implies that inter-level relations are symmetrical. MM thus violates one of the main desiderata of scientific explanation, namely explanatory asymmetry. Parts of Craver’s writings suggest a metaphysical interpretation of MM, and Craver explicitly commits to constitutive relationships being symmetrical. The paper furthermore explores the option of (...) interpreting MM epistemologically, as a means for individuating mechanisms. It is argued that MM then is redundant. MM should therefore better be abandoned. (shrink)

Samuel Kerstein’s recent (2013) How To Treat Persons is an ambitious attempt to develop a new, broadly Kantian account of what it is to treat others as mere means and what it means to act in accordance with others’ dignity. His project is explicitly nonfoundationalist: his interpretation stands or falls on its ability to accommodate our pretheoretic intuitions, and he does an admirable job of handling carefully a range of well fleshed out and sometimes subtle examples. In what follows, (...) I shall give a quick summary of the chapters and then say two good things about the book and one critical thing. (shrink)

Dasgupta poses a serious challenge to realism about natural properties. He argues that there is no acceptable explanation of why natural properties deserve the value realists assign to them and are consequently absent of value. In response, this paper defines and defends an alternative non-explanatory account of normativity compatible with realism. Unlike Lewis and Sider, who believe it is sufficient to defend realism solely on realist terms, I engage with the challenge on unfriendly grounds by revealing a tu quoque. Dasgupta (...) and anti-realists face a similar challenge to that directed against realism: one that not only undermines the objection to realism by legitimising non-explanatory normativity but leaves them facing a significant dilemma. (shrink)

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)

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)

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)

Perdurantists think of continuants as mereological sums of stages from different times. This view of persistence would force us to drop the idea that there is genuine change in the world. By exploiting a presentist metaphysics, Brogaard proposed a theory, called presentist four-dimensionalism, that aims to reconcile perdurantism with the idea that things undergo real change. However, her proposal commits us to reject the idea that stages must exist in their entirety. Giving up the tenet that all the stages are (...) equally real could be a price that perdurantists are unwilling to pay. I argue that Kit Fine ’s fragmentalism provides us with the tools to combine a presentist metaphysics with a perdurantist theory of persistence without giving up the idea that reality is constituted by more than purely present stages. (shrink)

According to many philosophers, rationality is, at least in part, a matter of one’s attitudes cohering with one another. Theorists who endorse this idea have devoted much attention to formulating various coherence requirements. Surprisingly, they have said very little about what it takes for a set of attitudes to be coherent in general. We articulate and defend a general account on which a set of attitudes is coherent just in case and because it is logically possible for the attitudes to (...) be jointly satisfied in the sense of jointly fitting the world. In addition, we show how the account can help adjudicate debates about how to formulate various rational requirements. (shrink)

In this paper, I will argue that there is a version of possibilism—inspired by the modal analogue of Kit Fine’s fragmentalism—that can be combined with a weakening of actualism. The reasons for analysing this view, which I call Modal Fragmentalism, are twofold. Firstly, it can enrich our understanding of the actualism/possibilism divide, by showing that, at least in principle, the adoption of possibilia does not correspond to an outright rejection of the actualist intuitions. Secondly, and more specifically, it can enrich (...) our understanding of concretism, by proving that, at least in principle, the idea that objects have properties in an absolute manner is compatible with transworld identity. (shrink)

We sometimes fail unwittingly to do things that we ought to do. And we are, from time to time, culpable for these unwitting omissions. We provide an outline of a theory of responsibility for unwitting omissions. We emphasize two distinctive ideas: (i) many unwitting omissions can be understood as failures of appropriate vigilance, and; (ii) the sort of self-control implicated in these failures of appropriate vigilance is valuable. We argue that the norms that govern vigilance and the value of self-control (...) explain culpability for unwitting omissions. (shrink)

This paper concerns the grounds of nonground: what it is in virtue of that facts of the form [F1 does not ground F2] hold. While the literature on iterated ground is expansive, there is comparatively little written on the grounds of nonground. I argue that nonground is grounded in distinctness from ground. If F1 does not ground F2, then [F1 does not ground F2] is grounded in the fact that F1 is distinct from that which does ground F2. While this (...) proposal strikes me as natural, it faces puzzles involving conjunction, contingency, and cardinality. The bulk of this paper explores how the view might be precisified, and how these puzzles might be resolved. (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.

I provide a theory of the metaphysical foundations of identity: an account what grounds facts of the form a=b. In particular, I defend the claim that indiscernibility grounds identity. This is typically rejected because it is viciously circular; plausible assumptions about the logic of ground entail that the fact that a=b partially grounds itself. The theory I defend is immune to this circularity.

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)

Time and modality show remarkable similarities. Each of the most discussed theories in philosophy of time finds an analogous counterpart in modal metaphysics, suggesting that the parallel between the two notions is metaphysically deep. This chapter offers a brief overview of their analogies. Section 1 addresses the analogy between presentism and actualism. Section 2 explores the analogy between non-presentist theories and possibilism. Section 3 discusses the analogy between temporal and modal persistence.

Judgments of blame for others are typically sensitive to what an agent knows and desires. However, when people act negligently, they do not know what they are doing and do not desire the outcomes of their negligence. How, then, do people attribute blame for negligent wrongdoing? We propose that people attribute blame for negligent wrongdoing based on perceived mental control, or the degree to which an agent guides their thoughts and attention over time. To acquire information about others’ mental control, (...) people self-project their own perceived mental control to anchor third-personal judgments about mental control and concomitant responsibility for negligent wrongdoing. In four experiments (N = 841), we tested whether perceptions of mental control drive third-personal judgments of blame for negligent wrongdoing. Study 1 showed that the ease with which people can counterfactually imagine an individual being non-negligent mediated the relationship between judgments of control and blame. Studies 2a and 2b indicated that perceived mental control has a strong effect on judgments of blame for negligent wrongdoing and that first-personal judgments of mental control are moderately correlated with third-personal judgments of blame for negligent wrongdoing. Finally, we used an autobiographical memory manipulation in Study 3 to make personal episodes of forgetfulness salient. Participants for whom past personal episodes of forgetfulness were made salient judged negligent wrongdoers less harshly compared to a control group for whom past episodes of negligence were not salient. Collectively, these findings suggest that first-personal judgments of mental control drive third-personal judgments of blame for negligent wrongdoing and indicate a novel role for counterfactual thinking in the attribution of responsibility. (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 this paper, I examine the connections between bipolar disorder and consent. I defend the view that many (although far from all) individuals with bipolar disorder are competent to consent to a wide variety of things when they are in a manic state.

This paper examines the interplay of semantics and pragmatics within the domain of film. Films are made up of individual shots strung together in sequences over time. Though each shot is disconnected from the next, combinations of shots still convey coherent stories that take place in continuous space and time. How is this possible? The semantic view of film holds that film coherence is achieved in part through a kind of film language, a set of conventions which govern the relationships (...) between shots. In this paper, we develop and defend a new version of the semantic view. We articulate it for a pair of conventions that govern spatial relations between viewpoints. One such rule is already well-known; sometimes called the "180° Rule," we term it the X-Constraint; to this we add a previously unrecorded rule, the T-Constraint. As we show, both have the effect, in different ways, of limiting the way that viewpoint can shift through space from shot to shot over the course of a film sequence. Such constraints, we contend, are analogous to relations of discourse coherence that are widely recognized in the linguistic domain. If film is to have a language, it is a language made up of rules like these. (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)

The verb ‘to know’ can be used both in ascriptions of propositional knowledge and ascriptions of knowledge of acquaintance. In the formal epistemology literature, the former use of ‘know’ has attracted considerable attention, while the latter is typically regarded as derivative. This attitude may be unsatisfactory for those philosophers who, like Russell, are not willing to think of knowledge of acquaintance as a subsidiary or dependent kind of knowledge. In this paper we outline a logic of knowledge of acquaintance in (...) which ascriptions like ‘Mary knows Smith’ are regarded as formally interesting in their own right, remaining neutral on their relation to ascriptions of propositional knowledge. The resulting logical framework, which is based on Hintikka’s modal approach to epistemic logic, provides a fresh perspective on various issues and notions at play in the philosophical debate on acquaintance. (shrink)

Much attention has been paid to moral understanding as an individual achievement, when a single agent gains insight into distinctly moral matters. Crucially overlooked, I argue, is the phenomenon of shared moral understanding, when you and I understand moral matters together, in a way that can’t be reduced to each of us having moral understanding on our own. My argument pays close attention to two central moral practices: justifying our actions to others, and apologizing for wrongdoing. I argue that, whenever (...) I owe you a justification or an apology, I thereby owe it to you to aim at our coming to a shared moral understanding. My argument has two upshots. The first is a novel explanation of the importance of moral understanding in our lives, one that emphasizes the importance of understanding moral reasons together. The second is a better understanding of the very obligations involved in two of our most central interpersonal moral practices. (shrink)

In this study, press freedom in Nigeria is investigated, together with its recent developments and historical background. It looks at the state of press freedom, highlighting obstacles, worldwide forces that contribute to its restriction and the benefits it provides. Despite legislative restrictions, government control over Nigeria's media has persisted since the Newspaper Ordinance of 1903. The study places press freedom within several theoretical frameworks, such as authoritarian, libertarian, and democratic participant theories, using McQuail's theories of mass communication. Using Google Forms (...) and the River sampling method, the study obtained data from 60 Nigerian journalists with a 100% response rate. The study underscores the critical function of press freedom in democratic nations, calls for its protection, and emphasizes its ability to influence open government, the defense of human rights, and socioeconomic progress. (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)

Suppose that a patient is receiving treatment options from her doctor. In one case, the doctor says, “the surgery has a 90% survival rate.” Now, suppose the doctor instead said, “the procedure has a 10% mortality rate.” Predictably, the patient is more likely to consent on the first description and more likely to dissent on the second. This is an example of a framing effect. A framing effect occurs when “the description of [logically-equivalent] options in terms of gains (positive frame) (...) rather than losses (negative frame) elicits systematically different choices.” Framing effects are ubiquitous, but they are particularly troublesome in medicine. Many worry that there is tension between valuing informed consent and using framing effects in clinical settings. In this paper, I answer this question: if an individual is subject to a framing effect when she gives her consent, does this undermine the validity of her consent? I argue that framing effects do not undermine consent in general. (shrink)

Some normative theories are self-defeating. They tell us to respond to our situations in ways that bring about outcomes that are bad, given the aims of the theories, and which could have been avoided. Across a wide range of debates in ethics, decision theory, political philosophy, and formal epistemology, many philosophers treat the fact that a normative theory is self-defeating as sufficient grounds for rejecting it. I argue that this widespread and consequential assumption is false. In particular, I argue that (...) a theory can be self-defeating and still internally consistent, action-guiding, and suitable as a standard for criticism. (shrink)

Because moral understanding involves a distinctly first-personal grasp of moral matters, there is a temptation to think of its value primarily in terms of achievements that reflect well on its possessor: the moral worth of one's action or the virtue of one's character. These explanations, I argue, do not do full justice to the importance of moral understanding in our moral lives. Of equal importance is the value of moral understanding in our relations with other moral agents. In particular, I (...) argue that an understanding of moral matters is of central importance within relations of solidarity. In addition to highlighting an overlooked aspect of moral understanding's value, this view also has important implications for what solidarity requires of those who stand in that relationship. (shrink)

Leibniz’s views on modality are among the most discussed by his interpreters. Although most of the discussion has focused on Leibniz’s analyses of modality, this essay explores Leibniz’s grounding of modality. Leibniz holds that possibilities and possibilia are grounded in the intellect of God. Although other early moderns agreed that modal truths are in some way dependent on God, there were sharp disagreements surrounding two distinct questions: (1) On what in God do modal truths and modal truth-makers depend? (2) What (...) is the manner(s) of dependence by which modal truths and modal truth-makers depend on God? Very roughly, Leibniz’s own answers are: (1) God’s intellect and (2) a form of ontological dependence. The essay first distinguishes Leibniz’s account from two nearby (and often misunderstood) alternatives found in Descartes and Spinoza. It then examines Leibniz’s theory in detail, showing how, on his account, God’s ideas provide both truth-makers for possibilities and necessities and an ontological foothold for those truth-makers, thereby explaining modal truths. Along the way, it suggests several refinements and possible amendments to Leibniz’s grounding thesis. It then defends Leibniz against a pair of recent objections by Robert Merrihew Adams and Andrew Chignell that invoke the early work of Kant. I conclude that whereas Leibniz’s alternative avoids collapsing into yet another form of Spinozism, the alternatives proposed by Adams, Chignell, and the early Kant do not. (shrink)

According to one influential version of the derivation of Kant’s Formula of Humanity, the following claim is true: Agents necessarily represent their ends as objectively good. In this paper I argue that there is good reason to regard GOG as false. The paper is divided into four sections. In the first, I explain what is at stake in arguing that GOG is false. In the second, I explicate the terminology in this claim. I also contrast the claim with other possible (...) claims one might make about how agents represent their ends. In the third, I argue that there is good reason to regard the claim as false and in the fourth, I consider a reply to the argument I make in the third section. (shrink)

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

P. Kyle Stanford defends the problem of unconceived alternatives, which maintains that scientists are unlikely to conceive of all the scientifically plausible alternatives to the theories they accept. Stanford’s argument has been criticized on the grounds that the failure of individual scientists to conceive of relevant alternatives does not entail the failure of science as a corporate body to do so. I consider two replies to this criticism and find both lacking. In the process, I argue that Stanford does not (...) provide evidence that there are likely scientifically plausible unconceived alternatives to scientific theories accepted now and in the future. (shrink)

Are we ever morally permitted to do what is morally wrong? It seems intuitive that we are, but evidence for dissociations among judgment of permissibility and wrongness are relatively scarce. Across 4 experiments (N = 1,438), we show that people judge that some behaviors can be morally wrong and permissible. The dissociations arise because these judgments track different morally relevant aspects of everyday moral encounters. Judgments of individual rights predicted permissibility but not wrongness, while character assessment predicted wrongness but not (...) permissibility. These findings suggest a picture in which moral evaluation is granular enough to express reasoning about different types of normative considerations, notably the possibility that people can exercise their rights in morally problematic ways. (shrink)

In this paper, we focus on whether and to what extent we judge that people are responsible for the consequences of their forgetfulness. We ran a series of behavioral studies to measure judgments of responsibility for the consequences of forgetfulness. Our results show that we are disposed to hold others responsible for some of their forgetfulness. The level of stress that the forgetful agent is under modulates judgments of responsibility, though the level of care that the agent exhibits toward performing (...) the forgotten action does not. We argue that this result has important implications for a long-running debate about the nature of responsible agency. (shrink)

We argue that C. Darwin and more recently W. Hennig worked at times under the simplifying assumption of an eternal biosphere. So motivated, we explicitly consider the consequences which follow mathematically from this assumption, and the infinite graphs it leads to. This assumption admits certain clusters of organisms which have some ideal theoretical properties of species, shining some light onto the species problem. We prove a dualization of a law of T.A. Knight and C. Darwin, and sketch a decomposition result (...) involving the internodons of D. Kornet, J. Metz and H. Schellinx. A further goal of this paper is to respond to B. Sturmfels’ question, “Can biology lead to new theorems?”. (shrink)