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)

Some have argued that advances in the science of human decision-making, particularly research on automaticity and unconscious priming, would ultimately thwart our commonsense understanding of free will and moral responsibility. Do people interpret this research as a threat to their self-understanding as free and responsible agents? We approached this question by seeing how feelings of surprise mediate the relationship between personal sense of control and third-personal attributions of free will and responsibility. Across three studies (N = 1,516) we found that (...) people with a greater sense of personal control were more surprised at the results of experiments showing effects of unconscious priming on moral behavior. Surprise differentially mediated the relationship between personal control and attributions of free will and responsibility: people attributed less free will and more responsibility as they were more surprised. This suggests that people exhibit defensive thinking with respect to responsibility, but not free will. (shrink)

This essay argues that reparations for wrongs by one's ancestors can be justified. Differential benefits to those descended from victims of one's ancestors is discrimination which can be justified by one's right to be partial to one's ancestors, doing what they, with clearer thinking, would have done--namely compensating their victims. So, while there is no obligation to discriminate, one has a right to, in virtue of one's partiality towards one's ancestors.

I argue that the social dimension of alienation, as discussed by Williams and Railton, has been underappreciated. The lesson typically drawn from their exchange is that moral theory poses a threat to the internal integrity of the agent, but there is a parallel risk that moral theory will implicitly construe agents as constitutively alienated from one another. I argue that a satisfying account of agency will need to make room for what I call ‘genuine ethical contact’ with others, both as (...) concrete objects in the world external to ourselves and as subjects who can recognize us reciprocally. (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)

This article challenges the association between realist methodology and ideals of legitimacy. Many who seek a more “realistic” or “political” approach to political theory replace the familiar orientation towards a state of justice with a structurally similar orientation towards a state of legitimacy. As a result, they fail to provide more reliable practical guidance, and wrongly displace radical demands. Rather than orienting action towards any state of affairs, I suggest that a more practically useful approach to political theory would directly (...) address judgments, by comparing the concrete possibilities for action faced by real political actors. (shrink)

In this paper, we articulate a version of non-standard A-theory—which we call Flow Fragmentalism—in relation to its take on the issue of supervenience of truth on being. According to the Truth Supervenes on Being (TSB) Principle, the truth of past- and future-tensed propositions supervenes, respectively, on past and future facts. Since the standard presentist denies the existence of past and future entities and facts concerning them that do not obtain in the present, she seems to lack the resources to accept (...) both past and future-tensed truths and the TSB Principle. Contrariwise, positions in philosophy of time that accept an eternalist ontology (e.g., B-theory, moving spotlight, and Fine’s and Lipman’s versions of fragmentalism) allow for a “direct” supervenience base for past- and future-tensed truths. We argue that Flow Fragmentalism constitutes a middle ground, which retains most of the advantages of both views, and allows us to articulate a novel account of the passage of time. (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.

Philosophical work in the ethics of thought focuses heavily on the ethics of belief, with, in recent years, a particular emphasis on the ways in which we might wrong other people either through our beliefs about them, or our failure to believe what they tell us. Yet in our own lives we often want not merely to be believed, but rather to be understood by others. What does it take to understand another person? In this paper, I provide an account (...) of interpersonal understanding that speaks to this widespread human desire to be understood by others. On the view I defend, to be understood by another person is for them to see our motivating reasons as justifying reasons, whether or not they actually take our reasons to have that normative force. I then provide an explanation of why such understanding is valuable in our lives, which emphasizes how being understood by another person is a way of being more fully with them. (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)

In this article, I explore an important difference between circumstantial luck on the one side and resultant and constitutive luck on the other. In section 1, I argue that, in circumstantial luck, the object of luck and the object of moral judgment are different even though, in resultant and constitutive luck, they are the same. In section 2, I explain that this difference (1) has the potential to undermine the regress argument for moral luck; (2) makes viable the “selective moral (...) luck” argument strategy (affirming some species of moral luck but denying others); and (3) has implications for the heritability of luck. (shrink)

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

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

According to the Rationality Constraint, our concept of belief imposes limits on how much irrationality is compatible with having beliefs at all. We argue that empirical evidence of human irrationality from the psychology of reasoning and the psychopathology of delusion undermines only the most demanding versions of the Rationality Constraint, which require perfect rationality as a condition for having beliefs. The empirical evidence poses no threat to more relaxed versions of the Rationality Constraint, which only require only minimal rationality. Nevertheless, (...) we raise problems for all versions of the Rationality Constraint by appealing to more extreme forms of irrationality that are continuous with actual cases of human irrationality. In particular, we argue that there are conceivable cases of “mad belief” in which populations of Lewisian madmen have beliefs that are not even minimally rational. This undermines Lewis’s claim that our ordinary concept of belief is a theoretical concept that is implicitly defined by its role in folk psychology. We argue that introspection gives us a phenomenal concept of belief that cannot be analyzed by applying Lewis’s semantics for theoretical terms. (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)

This paper argues that the Theaetetus establishes conditions on objects of knowledge which entail that only of Forms can there be knowledge. Plato's arguments for this are valid. The principles needed to make Plato's premises true will turn out to have deep connection with important parts of Plato's over-all theory, and to have consequences which Plato, in the middle dialogues, seems to welcome on other grounds as well.

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)

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.

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)

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)

Philosophy &Public Affairs, Volume 52, Issue 3, Page 327-357, Summer 2024.

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)

Number words seemingly function both as adjectives attributing cardinality properties to collections, as in Frege’s ‘Jupiter has four moons’, and as names referring to numbers, as in Frege’s ‘The number of Jupiter’s moons is four’. This leads to what Thomas Hofweber calls Frege’s Other Puzzle: How can number words function as modifiers and as singular terms if neither adjectives nor names can serve multiple semantic functions? Whereas most philosophers deny that one of these uses is genuine, we instead argue that (...) number words, like many related expressions, are polymorphic, having multiple uses whose meanings are systematically related via type shifting. (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)

Some research suggests that moral behavior can be strongly influenced by trivial features of the environment of which we are completely unaware. Philosophers, psychologists, and neuroscientists have argued that these findings undermine our commonsense notions of agency and responsibility, both of which emphasize the role of practical reasoning and conscious deliberation in action. We present the results of four vignette-based studies (N = 1,437) designed to investigate how people think about the metaphysical and moral implications of scientific findings that reveal (...) our susceptibility to automaticity and situational influences. When presented with lightly fictionalized narratives about these findings, participants exhibit no tendency toward changing judgments of freedom and responsibility compared to control groups. This suggests that people seem unwilling to adopt skeptical attitudes about agency on the basis of these scientific findings. (shrink)

Scott Hershovitz’s Law is a Moral Practice develops a bold, novel, and comprehensive account of law: the moral practice picture. Its central thesis is that legal relations (rights, duties, powers, etc.) are moral. They are real, full-fledged normative relations, connected to genuine reasons for action, and endowed with robust normativity. Nothing less than ordinary moral relations. The account is compounded with a deflationary view of theories in general jurisprudence and of the debates about them. In this vein, Hershovitz recommends that (...) we move away from theorising about law (understood as a set of legal norms), and focus on the nature of legal relations instead. In this paper, I pursue two interrelated objectives. First, I address Hershovitz’s main arguments for the view that legal relations are moral. Second, I take issue with the asymmetry between the deflationary and inflationary stances he advocates for legal norms and relations, respectively, arguing that this different treatment is unwarranted, because the deflationary stance is, and because this very combination of attitudes is unstable. Properly understood, questions about the nature and determination of legal norms and relations can’t but be seen as complementary aspects of a unified legal metaphysics. (shrink)

In the recent literatures in which moral understanding has played a starring role, it is assumed that moral understanding is a species of explanatory understanding. That is, it is assumed that instances of moral understanding are of the form ‘S understands why p,’ where p is some explicitly moral proposition, paradigmatically about an action being morally right or wrong. This paper highlights some shortcomings of this explanatory picture of moral understanding and articulates a different, complementary account on which the object (...) of moral understanding is the relation of normative support between a proposition and an action. (shrink)

In this article, I confront Jessica Flanigan’s recent attempt to show not merely that women have a right to commit prenatal injury, but also that women who act on this right are praiseworthy and should not be criticized for this injury. I show that Flanigan’s arguments do not work, and I establish presumptive grounds against any such right—namely, prenatal injury, by definition, involves intentional or negligent harm and, as such, may be subsumed under a wider class of actions that are (...) presumptively wrong. (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)

My primary target in this paper is a puzzle that emerges from the conjunction of several seemingly innocent assumptions in action theory and the metaphysics of moral responsibility. The puzzle I have in mind is this. On one widely held account of moral responsibility, an agent is morally responsible only for those actions or outcomes over which that agent exercises control. Recently, however, some have cited cases where agents appear to be morally responsible without exercising any control. This leads some (...) to abandon the control-based account of responsibility and replace it with an alternative account. It leads others to deny the intuition that agents are responsible in these troublesome cases. After outlining the account of moral responsibility I have in mind, I look at some of the arguments made against the viability of this theory. I show that there are conceptual resources for salvaging the control account, focusing in particular on the nature of vigilance. I also argue that there is empirical data that supports the control account so conceived. (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)

We construct a machine that knows its own code, at the price of not knowing its own factivity.

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)

My goal in this piece is to show that there is a problem lurking in the shadows of recent attempts to derive positive duties from Kant’s so-called universalizability tests and, further, to show that the most obvious way of fixing these attempts renders them unable to fulfill their function. I shall begin by motivating and explaining such an attempt.

In collective action problems, large numbers of contributions together produce a good outcome, but any one contribution often makes no difference. Many philosophers think that act consequentialism implies that individuals should not contribute in these cases, given that their contributions cannot be expected to affect the outcome. Nearly everyone has assumed that the relevant expected effects of an action are those effects that are counterfactually dependent on what a given agent does. This assumption is at the heart of causal decision (...) theory. In contrast, evidential decision theory evaluates actions on the basis of whatever can be expected to happen, given that the agent performs some action, where this includes events that are simply correlated with the action. I show that causal and evidentialist versions of act consequentialism can diverge in collective action problems. Evidential decision theory can require us to do our part even when causal decision theory does not. (shrink)

Mind wandering is typically operationalized as task-unrelated thought. Some argue for the need to distinguish between unintentional and intentional mind wandering, where an agent voluntarily shifts attention from task-related to task-unrelated thoughts. We reveal an inconsistency between the standard, task-unrelated thought definition of mind wandering and the occurrence of intentional mind wandering (together with plausible assumptions about tasks and intentions). This suggests that either the standard definition of mind wandering should be rejected or that intentional mind wandering is an incoherent (...) category. Solving this puzzle is critical for advancing theoretical frameworks of mind wandering. (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)

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)

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)

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.

Philosophers have become newly interested in the ethics of sex. One promising feature of this new discussion is that it has been broadening our moral lens to include individuals whose sexual interests have historically been denied or ignored. One such group is the elderly. Contrary to popular belief, many elderly people want to have sex and see it as a regular part of their lives. If society harbors ignorance about or prejudice against elderly sexuality, it harbors stronger views against the (...) sexual expression of elderly people with dementia. People with dementia are often prohibited by nursing‐home staff, sometimes in extreme ways, from having sex with their partners. This prohibition is at least partly motivated by the goal of protecting the vulnerable. However, cutting people with dementia off from sex has negative health effects and is a needless restriction of their autonomy. In this article, I argue that the expanding moral lens in sexual ethics should include the sexual expression of elderly individuals with dementia and that their sexual expression should be respected. Specifically, I argue that many people with dementia are competent to consent to sexual activity with their long‐term partners. (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)

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

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)

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)

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 received view of Kripke's Wittgenstein on Rules and Private Language is that it fails as an interpretation because, inter alia, it ignores or overlooks what Wittgenstein has to say in the second paragraph of Philosophical Investigations 201. In this paper, I demonstrate that the paragraph in question is in fact fully accommodated within Kripke's reading, and cannot therefore be reasonably utilised to object to it. -/- In part one I characterise the objection; in part two I explain why it (...) fails; in part three I suggest why commentators might have been motivated to offer it; and in part four I claim that two commentators who have offered it also imply otherwise. (shrink)

Traditionally, logic has been the dominant formal method within philosophy. Are logical methods still dominant today, or have the types of formal methods used in philosophy changed in recent times? To address this question, we coded a sample of philosophy papers from the late 2000s and from the late 2010s for the formal methods they used. The results indicate that the proportion of papers using logical methods remained more or less constant over that time period but the proportion of papers (...) using probabilistic methods was approximately three times higher in the late 2010s than it was in the late 2000s. Further analyses explored this change by looking more closely at specific methods, specific levels of technical engagement, and specific subdisciplines within philosophy. These analyses indicate that the increasing proportion of papers using probabilistic methods was pervasive, not confined to particular probabilistic methods, levels of sophistication, or subdisciplines. (shrink)