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)

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)

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)

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)

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)

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)

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

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)

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.

Reseña del libro Por una Constitución de la Tierra. La humanidad en la encrucijada por L. Ferrajoli.

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)

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)

Explores the embodied aspects of ownership and private property as these emerge in a range of American literary texts across the late eighteenth and early nineteenth century.

Explores the embodied aspects of ownership and private property as these emerge in a range of American literary texts across the late eighteenth and early nineteenth century.

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

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.

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)

Conferring on Religion: Notes from the 2010 Australasian Philosophy of Religion Association Conference Content Type Journal Article Pages 521-521 DOI 10.1007/s11841-010-0229-x Authors Morgan Luck, School of Humanities and Social Sciences, & The Centre for Applied Philosophy and Public Ethics, Charles Sturt University, Locked Bag 588, Wagga Wagga, NSW 2678, Australia Journal Sophia Online ISSN 1873-930X Print ISSN 0038-1527 Journal Volume Volume 49 Journal Issue Volume 49, Number 4.

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)

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.

The standard account of elsewhere is that it is any place that isn’t here. In this paper I argue against this account by demonstrating that it results in a contra-diction. In its place I offer a modified account of elsewhere; where a place can only be elsewhere if it is in the same type of space as here.

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.

During evaluative conditioning, a neutral conditional stimulus becomes pleasant or unpleasant after pairings with a positive/negative unconditional stimulus. Measures of US expectancy are...

We study closure properties of measurable ultrapowers with respect to Hamkin's notion of freshness and show that the extent of these properties highly depends on the combinatorial properties of the underlying model of set theory. In one direction, a result of Sakai shows that, by collapsing a strongly compact cardinal to become the double successor of a measurable cardinal, it is possible to obtain a model of set theory in which such ultrapowers possess the strongest possible closure properties. In the (...) other direction, we use various square principles to show that measurable ultrapowers of canonical inner models only possess the minimal amount of closure properties. In addition, the techniques developed in the proofs of these results also allow us to derive statements about the consistency strength of the existence of measurable ultrapowers with non-minimal closure properties. (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.

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)

Miracles and the problem of evil are two prominent areas of research within philosophy of religion. On occasion these areas converge, with God’s goodness being brought into question by the claim that either there is a lack of miracles, or there are immoral miracles. In this paper I shall highlight a second manner in which miracles and the problem of evil relate. Namely, I shall give reason as to why what is considered to be miraculous may be dependent upon a (...) particular response to the problem of natural evil. To establish this claim, I shall focus upon Aquinas’s definition of a miracle and a particular free-will defence, the Luciferous defence. (shrink)

Spirituality has been a part of nursing for many centuries and represents an essential value for people, including nurses and patients. Cumulative evidence points to the positive contribution of spiritually on health and wellbeing. However, there is little clarity about what spirituality means. The literature reveals that nurses have ascribed a diversity of interpretations to spirituality. However, no studies have investigated how registered nurses construct their understanding of spirituality using a critical discourse analysis approach. Therefore, the aim of this study (...) was to uncover how registered nurses construct their understanding of spirituality using a critical discourse analysis approach. Twenty registered nurses from a non‐denominational public hospital and a faith‐based private hospital were interviewed about their understanding of spirituality and practice of spiritual care. A critical discourse analysis approach was used in the examination of the interview texts to uncover underlying social and power features. Links were made between the linguistic features the registered nurses used in their interviews and the broader social context of the study. Three discourses emerged from the interview texts. These include constructing spirituality through personal religious beliefs discourse, holistic discourse and empathetic care discourse. The findings of this study have implications for nurse education and policy makers. (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)

Topological developmental models with local (position of internodes) and global (branch lengths) characteristics are proposed to investigate the relationships between fundamental branching patterns of plants such as acrotony, mesotony, and basitony, including the coincidence of different patterns on the same plant. Modification of the basic acrotony during the development by means of, (1) the final expected main axis length results in either basitony or an extension of acrotony over a shortened main axis, (2) the final expected lateral branch length yields (...) either lateral unlimited sympodial branching or the absence of proximal branches. Combinations of these schemes can have variable quantitative expressions on main and lateral axes.As applications, progressive morphological changes introduced by monotonic variations of parameter values give an insight into the relationships between determinate and indeterminate growth, using Lycopersicon as an example. - A theoretical framework is proposed as a possible aid for formalizing plant typology. (shrink)