In the paper, I defend the skeptical view that no one is ever morally responsible in the basic desert sense since luck universally undermines responsibility-level control. I begin in Section 1 by defining a number of different varieties of luck and examining their relevance to moral responsibility. I then turn, in Section 2, to outlining and defending what I consider to be the best argument for the skeptical view--the luck pincer (Levy 2011). I conclude in Section (...) 3 by addressing Robert Hartman's (2017) numerous objections to the luck pincer. I argue that the luck pincer emerges unscathed and the pervasiveness of luck (still) undermines moral responsibility. (shrink)

Luck skepticism is the view that no one is ever morally responsible for anything because of the nature and ubiquity of luck. One acclaimed argument in favor of this view is Neil Levy’s luck pincer. The luck pincer holds that all morally significant acts or events involve either present luck, constitutive luck, or both and that present and constitutive luck each negate moral responsibility. Therefore, no one is ever morally responsible for (...) any action or event. I argue that this argument is unsound as both of its premises are false. First, not all morally significant events involve present or constitutive luck. Some morally significant events are non-lucky. Second, present and constitutive luck do not always negate moral responsibility. Luck – independent of ontological concerns – is not as threatening to free will as is often thought. (shrink)

Philosophers often consider problems of free will and moral luck in isolation from one another, but both are about control and moral responsibility. One problem of free will concerns the difficult task of specifying the kind of control over our actions that is necessary and sufficient to act freely. One problem of moral luck refers to the puzzling task of explaining whether and how people can be morally responsible for actions permeated by factors beyond their control. This chapter (...) explicates and assesses skeptical, compatibilist, and libertarian approaches to moral luck. First, I argue that what makes the above problems of free will and moral luck distinct is largely their emphasis on different kinds of luck. Second, I describe and evaluate skeptical arguments from constitutive and circumstantial luck that it is impossible to act freely. Third, I explicate and assess various support and implication relationships between various kinds of compatibilism and libertarianism, on the one hand, and causal, constitutive, circumstantial, and resultant moral luck, on the other. (shrink)

In this paper a new resolution to the gamer’s dilemma is presented. The first part of the paper is devoted to strictly formulating the dilemma, and the second to establishing its resolution. The proposed resolution, the grave resolution, aims to resolve not only the gamer’s dilemma, but also a wider set of analogous paradoxes – which together make up the paradox of treating wrongdoing lightly.

Most people agree that murder is wrong. Yet, within computer games virtual murder scarcely raises an eyebrow. In one respect this is hardly surprising, as no one is actually murdered within a computer game. A virtual murder, some might argue, is no more unethical than taking a pawn in a game of chess. However, if no actual children are abused in acts of virtual paedophilia (life-like simulations of the actual practice), does that mean we should disregard these acts with the (...) same abandon we do virtual murder? In this paper I shall outline several arguments which attempt to permit virtual murder, whilst prohibiting virtual paedophilia. (shrink)

In this paper I will evaluate Ali’s dissolution of the gamer’s dilemma. To this end the dilemma will be summarized and Ali’s dissolution formulated. I conclude that Ali has not dissolved the dilemma (at least not fully).

The Gamer’s Dilemma (Luck, 2009a) is a paradox concerning the moral permissibility of two types of acts performed within computer games. Some attempt to resolve the dilemma by finding a relevant difference between these two acts (Bartel, 2012; Patridge, 2013; Young, 2016; Nader, 2020; Kjeldgaard-Christiansen, 2020; and Milne & Ivankovic, 2021), or to dissolve the dilemma by arguing that the permissibility of these acts is not as they seem (Ali, 2015; Ramirez, 2020). More recently some have attempted to resist (...) the dilemma by undermining the intuitions supporting it (Montefiore & Formosa, 2022; Formosa et al., 2023). The purpose of this paper is to consider what might follow from such resistance. (shrink)

Montefiore and Formosa (Ethics Inf Technol 24:31, 2022) provide a useful way of narrowing the Gamer’s Dilemma to cases where virtual murder seems morally permissible, but not virtual child molestation. They then resist the dilemma by theorising that the intuitions supporting it are not moral. In this paper, I consider this theory to determine whether the dilemma has been successfully resisted. I offer reason to think that, when considering certain variations of the dilemma, Montefiore and Formosa’s theory may not be (...) the most likely theory available to us. (shrink)

We prove that forp-optimal fields a cell decomposition theorem follows from methods going back to Denef’s paper [7]. We derive from it the existence of definable Skolem functions and strongp-minimality. Then we turn to stronglyp-minimal fields satisfying the Extreme Value Property—a property which in particular holds in fields which are elementarily equivalent to ap-adic one. For such fieldsK, we prove that every definable subset ofK×Kdwhose fibers overKare inverse images by the valuation of subsets of the value group is semialgebraic. Combining (...) the two we get a preparation theorem for definable functions onp-optimal fields satisfying the Extreme Value Property, from which it follows that infinite sets definable over such fields are in definable bijection iff they have the same dimension. (shrink)

We study finitely generated free Heyting algebras from a topological and from a model theoretic point of view. We review Bellissima’s representation of the finitely generated free Heyting algebra; we prove that it yields an embedding in the profinite completion, which is also the completion with respect to a naturally defined metric. We give an algebraic interpretation of the Kripke model used by Bellissima as the principal ideal spectrum and show it to be first order interpretable in the Heyting algebra, (...) from which several model theoretic and algebraic properties are derived. In particular, we prove that a free finitely generated Heyting algebra has only one set of free generators, which is definable in it. As a consequence its automorphism group is the permutation group over its generators. (shrink)

In this paper we consider whether Christopher Bartel has resolved the gamer’s dilemma. The gamer’s dilemma highlights a discrepancy in our moral judgements about the permissibility of performing certain actions in computer games. Many gamers have the intuition that virtual murder is permissible in computer games, whereas virtual paedophilia is not. Yet finding a relevant moral distinction to ground such intuitions can be difficult. Bartel suggests a relevant moral distinction may turn on the notion that virtual paedophilia harms women in (...) a way that virtual murder does not. We argue that this distinction is only in a position to provide a partial solution to the dilemma. (shrink)

Russell and Walker proposed different ways of constructing instants from events. For an explanation of "time as a continuum," Thomason favored Walker's construction. The present article shows that Russell's construction fares as well. To this end, a mathematical characterization problem is solved which corresponds to the characterization problem that Thomason solved with regard to Walker's construction. It is shown how to characterize those event structures (formally, interval orders) which, through Russell's construction of instants, become linear orders isomorphic to a given (...) (or, deriving, to some—nontrivial ordered) real interval. As tools, separate characterizations for each of resulting (i) Dedekind completeness, (ii) separability, (iii) plurality of elements, (iv) existence of certain endpoints are provided. Denseness is characterized to replace Russell's erroneous attempt. Somewhat minimal nonconstructive principles needed are exhibited, and some alternative approaches are surveyed. (shrink)

This paper presents a novel view of the concept of cognitive enhancement by taking a population health perspective. We propose four main modifiable healthy lifestyle factors for optimal cognitive functioning across the population for which there is evidence of safety and efficacy. These include i) promoting adequate sleep, ii) increasing physical activity, iii) encouraging a healthy diet, including minimising consumption of stimulants, alcohol and other drugs including nicotine, iv) and promoting good mental health. We argue that it is not ethical (...) to promote or sanction the use of pharmaceutical drugs as putative cognitive enhancers without acknowledging the adverse effects on population cognitive health of failing to encourage the pursuit of healthy behaviours. We conclude with recommendations to increase the public health relevance of bioethical analyses of the cognitive enhancement debate. (shrink)

Purpose This paper aims to evaluate a potential resolution to the gamer’s dilemma that arises from Gary Young’s metaethical theory of constructive ecumenical expressivism. Design/methodology/approach In this paper, the gamer’s dilemma is reformulated as a paradox and the potential resolution is evaluated in light of this new formulation. Findings The author argues that this resolution does resolve the dilemma, but CEE itself has limited appeal. Originality/value This paper contributes to the growing scholarship dedicated to resolving the gamer’s dilemma.

I argue that there exists a proportional relationship between degrees of moral culpability and degrees of probability, where the more an agent believes her actions will result in certain consequences, the more morally culpable she is for these consequences. I assert that this degree of probability is necessarily diminished by the existence of active supernatural powers. Consequently, agents who believe in such powers are less morally culpable than agents who do not.

The American Journal of Bioethics, Volume 12, Issue 6, Page 44-45, June 2012.

Journal of Mathematical Logic, Volume 22, Issue 02, August 2022. Motivated by results of Bagaria, Magidor and Väänänen, we study characterizations of large cardinal properties through reflection principles for classes of structures. More specifically, we aim to characterize notions from the lower end of the large cardinal hierarchy through the principle [math] introduced by Bagaria and Väänänen. Our results isolate a narrow interval in the large cardinal hierarchy that is bounded from below by total indescribability and from above by subtleness, (...) and contains all large cardinals that can be characterized through the validity of the principle [math] for all classes of structures defined by formulas in a fixed level of the Lévy hierarchy. Moreover, it turns out that no property that can be characterized through this principle can provably imply strong inaccessibility. The proofs of these results rely heavily on the notion of shrewd cardinals, introduced by Rathjen in a proof-theoretic context, and embedding characterizations of these cardinals that resembles Magidor’s classical characterization of supercompactness. In addition, we show that several important weak large cardinal properties, like weak inaccessibility, weak Mahloness or weak [math]-indescribability, can be canonically characterized through localized versions of the principle [math]. Finally, the techniques developed in the proofs of these characterizations also allow us to show that Hamkin’s weakly compact embedding property is equivalent to Lévy’s notion of weak [math]-indescribability. (shrink)

In his book, The Last Word, Thomas Nagel expresses the hope that there exists no God. Guy Kahane, in his paper ‘Should We Want God to Exist?’, attempts to defend Nagel from an argument that concludes such a hope may be impermissible. In this paper we present a new defense for the hope that God does not exist.

One response to the existential threat posed by a super-intelligent AI is to design it to be friendly to us. Some have argued that even if this were possible, the resulting AI would treat us as we do our pets. Sparrow (AI & Soc. https://doi.org/10.1007/s00146-023-01698-x, 2023) argues that this would be a bad outcome, for such an AI would dominate us—resulting in our freedom being diminished (Pettit in Just freedom: A moral compass for a complex world. WW Norton & Company, (...) 2014). In this paper, I consider whether this would be such a bad outcome. (shrink)

Let k be an infinite cardinal. A subset of $(^k k)^n $ is a $\Sigma _1^1 $ -subset if it is the projection p[T] of all cofinal branches through a subtree T of $(lt;kk)^{n + 1} $ of height k. We define $\Sigma _k^1 - ,\Pi _k^1 $ - and $\Delta _k^1$ subsets of $(^k k)^n $ as usual. Given an uncountable regular cardinal k with k = k (...) there is a shrink)

Let [Formula: see text] be an expansion of either an ordered field [Formula: see text], or a valued field [Formula: see text]. Given a definable set [Formula: see text] let [Formula: see text] be the ring of continuous definable functions from [Formula: see text] to [Formula: see text]. Under very mild assumptions on the geometry of [Formula: see text] and on the structure [Formula: see text], in particular when [Formula: see text] is [Formula: see text]-minimal or [Formula: see text]-minimal, or (...) an expansion of a local field, we prove that the ring of integers [Formula: see text] is interpretable in [Formula: see text]. If [Formula: see text] is [Formula: see text]-minimal and [Formula: see text] is definably connected of pure dimension [Formula: see text], then [Formula: see text] defines the subring [Formula: see text]. If [Formula: see text] is [Formula: see text]-minimal and [Formula: see text] has no isolated points, then there is a discrete ring [Formula: see text] contained in [Formula: see text] and naturally isomorphic to [Formula: see text], such that the ring of functions [Formula: see text] which take values in [Formula: see text] is definable in [Formula: see text]. (shrink)

Let p be prime number, K be a p‐adically closed field, a semi‐algebraic set defined over K and the lattice of semi‐algebraic subsets of X which are closed in X. We prove that the complete theory of eliminates quantifiers in a certain language, the ‐structure on being an extension by definition of the lattice structure. Moreover it is decidable, contrary to what happens over a real closed field for. We classify these ‐structures up to elementary equivalence, and get in particular (...) that the complete theory of only depends on m, not on K nor even on p. As an application we obtain a classification of semi‐algebraic sets over countable p‐adically closed fields up to so‐called “pre‐algebraic” homeomorphisms. (shrink)

We study the influence of the existence of large cardinals on the existence of wellorderings of power sets of infinite cardinals κ with the property that the collection of all initial segments of the wellordering is definable by a Σ1‐formula with parameter κ. A short argument shows that the existence of a measurable cardinal δ implies that such wellorderings do not exist at δ‐inaccessible cardinals of cofinality not equal to δ and their successors. In contrast, our main result shows that (...) these wellorderings exist at all other uncountable cardinals in the minimal model containing a measurable cardinal. In addition, we show that measurability is the smallest large cardinal property that imposes restrictions on the existence of such wellorderings at uncountable cardinals. Finally, we generalise the above result to the minimal model containing two measurable cardinals. (shrink)

PurposeThe purpose of this paper is to outline a case where people's intuitions regarding the ethical status of an action performed in a massively multiplayer online role‐playing game are divided, and provide an argument to resolve this division.Design/methodology/approachThis paper takes a philosophical approach, from the analytical tradition. It details the main arguments for each side and provides counter‐arguments in order to indicate the salient points.FindingsThe paper argues that, of the three arguments for the morality of particular virtual action outlined in (...) this paper, none are satisfactory. An argument for the immorality of the action in questions based upon the fairness/sportsmanship distinction is offered.Originality/valueThe development of case‐based ethical studies, which draw upon current and controversial events within popular virtual environments, are useful in the construction of a deeper understanding of moral action within such spaces. (shrink)

Case study as a teaching and research tool has an extensive history in health and social sciences. Despite its suitability for many of the research questions that face nurses, nurses have not fully embraced case study as a comprehensive approach for research. The vagaries of the real‐life clinical setting can confound methodologically purist researchers. Case study provides a milieu in which nurse researchers can respond to these vagaries and move towards a paradigmatic openness. In this paper, we argue that case (...) study offers, as yet, under‐explored and under‐utilised potential as a bridge across the traditional research paradigms. We argue that case study has broad research application and epistemological, ontological and methodological flexibility. When used as a research approach, case study is both the process and end product of research. It provides a delineated boundary for inquiry, and a structural process within which any methods appropriate to investigating a research area can be applied. (shrink)

In this paper I shall assess Clarke’s assertion that all definitions of miracles that purport to satisfy the criterion of religious inclusiveness should substitute the term ‘supernatural’ for ‘non-natural’. In addition, I shall attempt to strengthen Clarke’s conception of the supernatural by offering an analysis of what it means for something to be ‘above’ nature. Lastly, I shall offer a new argument as to why Clarke’s intention-based definition of miracles is necessarily less religiously inclusive than Mumford’s causation-based definition.

Philosophers have made numerous and varied attempts to analyse the concept of a miracle. To the end, an assortment of necessary and sufficient conditions for the truth an instantiation of a miracle have been offered. In this paper we discuss one of the most common of these conditions - the violation restriction. This restriction holds that all miracles involve a violation of a law of nature.

Given an uncountable regular cardinal κ, we study the structural properties of the class of all sets of functions from κ to κ that are definable over the structure 〈H,∈〉 by a Σ1-formula with parameters. It is well known that many important statements about these classes are not decided by the axioms of ZFC together with large cardinal axioms. In this paper, we present other canonical extensions of ZFC that provide a strong structure theory for these classes. These axioms are (...) variations of the Maximality Principle introduced by Stavi and Väänänen and later rediscovered by Hamkins. (shrink)

Debates about the ethical and social implications of research that aims to extend human longevity by intervening in the ageing process have paid little attention to the attitudes of members of the general public. In the absence of empirical evidence, conflicting assumptions have been made about likely public attitudes towards life-extension. In light of recent calls for greater public involvement in such discussions, this target article presents findings from focus groups and individual interviews which investigated whether members of the general (...) public identify ethical issues surrounding life-extension, and if so, what these ethical issues are? In this study, while some participants were concerned primarily with the likely personal consequences of life-extension, for others the question of whether or not to pursue interventions to extend longevity, and how they should be implemented, clearly raised important ethical issues, many of which have been prominent in debates among bioethicists. (shrink)

In his book The Concept of Miracle and his paper ‘For the Possibility of Miracles’ Swinburne claims that there are no logical difficulties in supposing that there could be strong historical evidence for the occurrence of miracles. This claim is based on three assertions; two of which I demonstrate are only true contingently. In this paper I identify several logical difficulties regarding the possibility of attaining historical evidence for the occurrence of miracles. On the strength of these logical difficulties I (...) hope to demonstrate that there is sufficient reason to doubt Swinburne’s central claim. (shrink)

Negative conditional stimulus valence acquired during fear conditioning may enhance fear relapse and is difficult to remove as it extinguishes slowly and does not respond to the instruction that unconditional stimulus presentations will cease. We examined whether instructions targeting CS valence would be more effective. In Experiment 1, an image of one person was paired with an aversive US, while another was presented alone. After acquisition, participants were given positive information about the CS+ poser and negative information about the CS− (...) poser. Instructions reversed the pattern of differential CS valence present during acquisition and eliminated differential electrodermal responding. In Experiment 2, we compared positive and negative CS revaluation by providing positive/negative information about the CS+ and neutral information about CS−. After positive revaluation, differential valence was removed and differential electrodermal responding remained intact. After negative revaluation, differential valence was strengthened and differential electrodermal responding was eliminated. Unexpectedly, the instructions did not affect the reinstatement of differential electrodermal responding. (shrink)