It is often assumed that all lucky events are significant. The thought is that a chancy event such as winning the lottery is lucky for you in part because it affects your interests or well-being. But whether you win an Absurdist Raffle in which there are no prizes, is, intuitively, not a matter of luck. This is because this event—even if chancy—is not significant for any subject. However, a few philosophers have recently claimed not only that luck does not necessarily (...) involve a significance condition but that we should not view luck involving claims in terms of significance. After reviewing the literature on this topic, I argue that lucky events are significant. A significance condition is necessary to distinguish between different kinds of luck: practical, epistemic, and moral. All lucky events are significant and chancy, but they can be significant for subjects in different ways. For example, an event is epistemically lucky for you if it is epistemically significant and chancy, but such events need not affect your practical interests or moral standing. Furthermore, I argue that events that are chancy but not significant should be thought of in terms of chance and not luck. (shrink)

People who report believing in God fear death. They also experience grief when someone they love dies. Philosophers and social scientists sometimes claim that this can only be plausibly explained by the hypothesis that people who claim to believe in God do not really believe in God. I show that this is mistaken. I identify three independently plausible explanations of why people who genuinely believe in God would have these behaviors and attitudes. First, there is an evolutionary explanation of why (...) the fear of death would be resilient even if one genuinely believes God has good things in store for us after death. Second, people often fear low probability outcomes. It may be that religious people are afraid of hell or the cessation of existence even if they judge those outcomes to have a low probability. Third, belief in God is typically combined with views according to which death is accompanied by the permanent loss and radical transformation of important relationships. (shrink)

In the first chapter of his Knowledge and Lotteries, John Hawthorne argues that thinkers do not ordinarily know lottery propositions. His arguments depend on claims about the intimate connections between knowledge and assertion, epistemic possibility, practical reasoning, and theoretical reasoning. In this paper, we cast doubt on the proposed connections. We also put forward an alternative picture of belief and reasoning. In particular, we argue that assertion is governed by a Gricean constraint that makes no reference to knowledge, and that (...) practical reasoning has more to do with rational degrees of belief than with states of knowledge. (shrink)

Many philosophers and members of the public think it is wrong to procreate. If one wants children, it is permissible to adopt. But procreation is allegedly impermissible because there is some respect in which adoption is better than procreation. I show that such objections are unsound.

In this volume, leading philosophers of psychiatry examine psychiatric classification systems, including the Diagnostic and Statistical Manual of Mental Disorders, asking whether current systems are sufficient for effective diagnosis, treatment, and research. Doing so, they take up the question of whether mental disorders are natural kinds, grounded in something in the outside world. Psychiatric categories based on natural kinds should group phenomena in such a way that they are subject to the same type of causal explanations and respond similarly to (...) the same type of causal interventions. When these categories do not evince such groupings, there is reason to revise existing classifications. The contributors all question current psychiatric classifications systems and the assumptions on which they are based. They differ, however, as to why and to what extent the categories are inadequate and how to address the problem. Topics discussed include taxometric methods for identifying natural kinds, the error and bias inherent in DSM categories, and the complexities involved in classifying such specific mental disorders as "oppositional defiance disorder" and pathological gambling. -/- Contributors George Graham, Nick Haslam, Allan Horwitz, Harold Kincaid, Dominic Murphy, Jeffrey Poland, Nancy Nyquist Potter, Don Ross, Dan Stein, Jacqueline Sullivan, Serife Tekin, Peter Zachar. (shrink)

What responsibilities do audiences have in engaging with artworks? Certain audience responses seem quite clear: for example, audiences should not vandalize or destroy artworks; they should not disrupt performances. This paper examines other kinds of resisting responses that audiences sometimes engage in, including petitioning the artist to change their works, altering copies of artworks, and creating new artworks in another artist’s fictional world. I argue for five claims: (1) while these actions can sometimes infringe on the rights of artists, the (...) rights of artists are not absolute; (2) the fact that such actions are based on mistaken interpretations of the artworks has no normative weight; (3) there can be reason to object to additions and alterations whose conception of the artwork is morally worse than the original (and so, there can be reason to support additions and alterations whose conception is morally better); (4) petitioning raises special moral problems; and, most important, (5) some of these actions are valuable because they involve creative and aesthetic activity. Those acts of audience resistance that are creative, morally improve on the original work, and that minimize the infringement of the artists’ rights are good, and should be encouraged. (shrink)

This paper considers two reasons that might support Russell’s choice of a ramified-type theory over a simple-type theory. The first reason is the existence of purported paradoxes that can be formulated in any simple-type language, including an argument that Russell considered in 1903. These arguments depend on certain converse-compositional principles. When we take account of Russell’s doctrine that a propositional function is not a constituent of its values, these principles turn out to be too implausible to make these arguments troubling. (...) The second reason is conditional on a substitutional interpretation of quantification over types other than that of individuals. This reason stands up to investigation: a simple-type language will not sustain such an interpretation, but a ramified-type language will. And there is evidence that Russell was tacitly inclined towards such an interpretation. A strong construal of that interpretation opens a way to make sense of Russell’s simultaneous repudiation of propositions and his willingness to quantify over them. But that way runs into trouble with Russell’s commitment to the finitude of human understanding. (shrink)

This paper has three aims: to define autonomism clearly and charitably, to offer a positive argument in its favour, and to defend a larger view about what is at stake in the debate between autonomism and its critics. Autonomism is here understood as the claim that a valuer does not make an error in failing to bring her moral and aesthetic judgements together, unless she herself values doing so. The paper goes on to argue that reason does not require the (...) valuer to make coherent her aesthetic and moral evaluations. Finally, the paper shows that the denial of autonomism has realist commitments that autonomism does not have, and concludes that issues of value realism and irrealism are relevant to the debates about autonomism in ways that have not hitherto been recognized. (shrink)

Logicism is, roughly speaking, the doctrine that mathematics is fancy logic. So getting clear about the nature of logic is a necessary step in an assessment of logicism. Logic is the study of logical concepts, how they are expressed in languages, their semantic values, and the relationships between these things and the rest of our concepts, linguistic expressions, and their semantic values. A logical concept is what can be expressed by a logical constant in a language. So the question “What (...) is logic?” drives us to the question “What is a logical constant?” Though what follows contains some argument, limitations of space constrain me in large part to express my Credo on this topic with the broad brush of bold assertion and some promissory gestures. (shrink)

This paper and its sequel “look under the hood” of the usual sorts of proof-theoretic systems for certain well-known intuitionistic and classical propositional modal logics. Section 1 is preliminary. Of most importance: a marked formula will be the result of prefixing a formula in a propositional modal language with a step-marker, for this paper either 0 or 1. Think of 1 as indicating the taking of “one step away from 0.” Deductions will be constructed using marked formulas. Section 2 presents (...) the model-theoretic concepts, based on those in [7], that guide the rest of this paper. Section 3 presents Natural Deduction systems IK and CK, formalizations of intuitionistic and classical one-step versions of K. In these systems, occurrences of step-markers allow deductions to display deductive structure that is covered over in familiar “no step” proof-theoretic systems for such logics. Box and Diamond are governed by Introduction and Elimination rules; the familiar K rule and Necessitation are derived (i.e. admissible) rules. CK will be the result of adding the 0-version of the Rule of Excluded Middle to the rules which generate IK. Note: IK is the result of merely dropping that rule from those generating CK, without addition of further rules or axioms (as was needed in [7]). These proof-theoretic systems yield intuitionistic and classical consequence relations by the obvious definition. Section 4 provides some examples of what can be deduced in IK. Section 5 defines some proof-theoretic concepts that are used in Section 6 to prove the soundness of the consequence relation for IK (relative to the class of models defined in Section 2.) Section 7 proves its completeness (relative to that class). Section 8 extends these results to the consequence relation for CK. (Looking ahead: Part 2 will investigate one-step proof-theoretic systems formalizing intuitionistic and classical one-step versions of some familiar logics stronger than K.). (shrink)

Aesthetic internalism claims a link between judgement and motivation: aesthetic judgements bring with them motivations to act in characteristic ways. Critics object that there is a difference between merely liking something and judging it to be aesthetically good, and that it is our likings, not our aesthetic judgements, that motivate us. This paper develops a version of aesthetic internalism that can respond to this criticism. Wholehearted aesthetic judgements are characterized by stability, attention, and motivation. Making such judgements is an important (...) part of a good life, and so at least some aesthetic judgements are motivating. So we have reason to think that this version of aesthetic internalism is true. This paper defends wholehearted aesthetic internalism against objections, and assesses an argument from aesthetic internalism to aesthetic non-cognitivism. While wholehearted aesthetic internalism can only offer qualified support to non-cognitivism, it nonetheless offers a number of fruitful avenues for further work. (shrink)

The modal account of luck is the predominant account of luck in epistemology and ethics. In the first half of this paper, I discuss three possible interpretations of the modal account and raise objections to each. I then raise an objection to all plausible versions of the modal account, that is, that whether an event is lucky or the extent to which it is a matter of luck will depend on what initial conditions or features of the event one holds (...) constant across nearby possible worlds. However, there is often reasonable disagreement about what the relevant initial conditions of an event are, and the modal account of luck has no means of determining which description of the event is correct. As such, the modal account is subject to a kind of reference class problem, and the view cannot actually tell us the extent to which certain events are a matter of luck. (shrink)

This article tackles the sole surviving ancient commentary on what was perhaps the second most important Platonic work, with special interest for the manner in which the ancients tackled the setting of Plato's dialogues, Socratic ignorance, Socratic eros, the central myth-like Palinode, and the question of oral as against written teaching.

I defend a new version of the non-identity theodicy. After presenting the theodicy, I reply to a series of objections. I then argue that my approach improves upon similar approaches in the literature.

A model-theoretic approach to the semantics of set-theoretic discourse.

Recently, Intelligent Tutoring Systems (ITS) got much attention from researchers even though ITS educational technology began in the late 1960s and ITS is just embryonic from laboratories into the field. In this paper we outline an intelligent tutoring system for teaching basics of the databases system called (MDB). The MDB was built as education system by using the authoring tool (ITSB). MDB contains learning materials as a group of lessons for beginner level which include relational database system and lessons in (...) the process to install and set up a database. MDB system has exams for each level of the Lessons. An evaluation was done to see the effectiveness the MDB among learners and instructors. The outcome of the evaluation was promising. (shrink)

One might think that if the majority of virtue signallers judge that a proposition is true, then there is significant evidence for the truth of that proposition. Given the Condorcet Jury Theorem, individual virtue signallers need not be very reliable for the majority judgment to be very likely to be correct. Thus, even people who are skeptical of the judgments of individual virtue signallers should think that if a majority of them judge that a proposition is true, then that provides (...) significant evidence that the proposition is true. We argue that this is mistaken. Various empirical studies converge on the following point: humans are very conformist in the contexts in which virtue signalling occurs. And stereotypical virtue signallers are even more conformist in such contexts. So we should be skeptical of the claim that virtue signallers are sufficiently independent for the Condorcet Jury Theorem to apply. We do not seek to decisively rule out the relevant application of the Condorcet Jury Theorem. But we do show that careful consideration of the available evidence should make us very skeptical of that application. Consequently, a defense of virtue signalling would need to engage with these findings and show that despite our strong tendencies for conformism, our judgements are sufficiently independent for the Condorcet Jury Theorem to apply. This suggests new directions for the debate about the epistemology of virtue signalling. (shrink)

One important but infrequently discussed difficulty with expressivism is the attitude type individuation problem.1 Expressivist theories purport to provide a unified account of normative states. Judgments of moral goodness, beauty, humor, prudence, and the like, are all explicated in the same way: as expressions of attitudes, what Allan Gibbard calls “states of norm-acceptance”. However, expressivism also needs to explain the difference between these different sorts of attitude. It is possible to judge that a thing is both aesthetically good and morally (...) bad. While the realist can explain the difference by suggesting that each judgment makes reference to a different property (or set of properties), the expressivist cannot. She must show that what is expressed by the speaker is different in each case. This has proven to be difficult to do. (shrink)

Immanuel Kant is known for his ideas about duty and morally worthy acts, but his conception of virtue is less familiar. Nevertheless Kant’s understanding of virtue is quite distinctive and has considerable merit compared to the most familiar conceptions. Kant also took moral education seriously, writing extensively on both the duty of adults to cultivate virtue and the empirical conditions to prepare children for this life-long responsibility. Our aim is, first, to explain Kant’s conception of virtue, second, to highlight some (...) distinctive and potentially appealing features of the Kantian account of virtue, third, to summarize and explain Kant’s prescriptions for educating young children and youth as well as the duty of moral self-improvement that he attributes to all adults, and, fourth, to respond to some common objections that we regard as misguided or insubstantial. (shrink)

Some feminists hold that surrogacy contracts should be unenforceable or illegal because they contribute to and perpetuate unjust gender inequalities. I argue that in developed countries, surrogacy contracts either wouldn't have these negative effects or that these effects could be mitigated via regulation. Furthermore, the existence of a regulated surrogacy market is preferable on consequentialist grounds.

We address the ethics of scenarios in which one party entraps, intentionally tempts or intentionally tests the virtue of another. We classify, in a new manner, three distinct types of acts that are of concern, namely acts of entrapment, of intentional temptation and of virtue testing. Our classification is, for each kind of scenario, of itself neutral concerning the question whether the agent acts permissibly. We explain why acts of entrapment are more ethically objectionable than like acts of intentional temptation (...) and why these, in turn, are more ethically objectionable than like acts of virtue testing. Along the way, we scrutinize, and eventually reject, the view that acts of entrapment are ethically unacceptable because intentional temptation is involved in entrapment. (shrink)

In an important and widely cited paper, Zerilli, Knott, Maclaurin, and Gavaghan (2019) argue that opaque AI decision makers are at least as transparent as human decision makers and therefore the concern that opaque AI is not sufficiently transparent is mistaken. I argue that the concern about opaque AI should not be understood as the concern that such AI fails to be transparent in a way that humans are transparent. Rather, the concern is that the way in which opaque AI (...) is opaque is very different than the way in which humans are opaque. What matters is the degree to which the opaque processes of a class of decision makers are stable, uniform, and safe. The degree to which such processes have these features in humans is higher than the degree to which such processes have these features in opaque AI. And therefore we should require AI to be more transparent than humans. (shrink)

Many philosophers, psychologists, and medical practitioners believe that killing is no worse than letting die on the basis of James Rachels's Bare-Difference Argument. I show that his argument is unsound. In particular, a premise of the argument is that his examples are as similar as is consistent with one being a case of killing and the other being a case of letting die. However, the subject who lets die has both the ability to kill and the ability to let die (...) while the subject who kills lacks the ability to let die. Modifying the latter example so that the killer has both abilities yields a pair of cases with morally different acts. The hypothesis that killing is worse than letting die is the best explanation of this difference. (shrink)

Where $\underline{a}$ is a Turing degree and ξ is an ordinal $ , the result of performing ξ jumps on $\underline{a},\underline{a}^{(\xi)}$ , is defined set-theoretically, using Jensen's fine-structure results. This operation appears to be the natural extension through $(\aleph_1)^{L^\underline{a}}$ of the ordinary jump operations. We describe this operation in more degree-theoretic terms, examine how much of it could be defined in degree-theoretic terms and compare it to the single jump operation.

Part 1 [Hodes, 2021] “looked under the hood” of the familiar versions of the classical propositional modal logic K and its intuitionistic counterpart. This paper continues that project, addressing some familiar classical strengthenings of K and GL), and their intuitionistic counterparts. Section 9 associates two intuitionistic one-step proof-theoretic systems to each of the just mentioned intuitionistic logics, this by adding for each a new rule to those which generated IK in Part 1. For the systems associated with the intuitionistic counterparts (...) of D and T, these rules are “pure one-step”: their schematic formulations does not use □ or ♢. For the systems associated with the intuitionistic counterparts of K4, etc., these rules meet these conditions: neither □ nor ♢ is iterated; none use both □ and ♢. The join of the two systems associated with each of these familiar logics is the full one-step system for that intuitionistic logic. And further “blended” intuitionistic systems arise from joining these systems in various ways. Adding the 0-version of Excluded Middle to their intuitionistic counterparts yields the one-step systems corresponding to the familiar classical logics. Each proof-theoretic system defines a consequence relation in the obvious way. Section 10 examines inclusions between these consequence relations. Section 11 associates each of the above consequence relations with an appropriate class of models, and proves them sound with respect to their appropriate class. This allows proofs of some failures of inclusion between consequence relations. Section 12 proves that the each consequence relation is complete or weakly complete, that relative to its appropriate class of models. The Appendix presents three further results about some of the intuitionistic consequence relations discussed in the body of the paper. For Keywords, see Part 1. (shrink)

Discourse carries thin commitment to objects of a certain sort iff it says or implies that there are such objects. It carries a thick commitment to such objects iff an account of what determines truth-values for its sentences say or implies that there are such objects. This paper presents two model-theoretic semantics for mathematical discourse, one reflecting thick commitment to mathematical objects, the other reflecting only a thin commitment to them. According to the latter view, for example, the semantic role (...) of number-words is not designation but rather the encoding of cardinality-quantifiers. I also present some reasons for preferring this view. (shrink)

For any essential property God has, there is an ability He does not have. He is unable to bring about any state of affairs in which He does not have that property. Such inabilities seem to preclude omnipotence. After making trouble for the standard responses to this problem, I offer my own solution: God is not omnipotent. This may seem like a significant loss for the theist. But I show that it is not. The theist may abandon the doctrine that (...) God is omnipotent without scaling back the extent of His power and without denying that He has all perfections. (shrink)

Contrary to economics or history, for example, there does not exist an organized field dedicated to the philosophy of political science. Given that the philosophical issues raised by political science research are just as pressing and vibrant as those raised in these more organized fields, fostering a field that labels itself Philosophy of Political Science (PoPS) is important. PoPS is advanced here as a fruitful meeting place where both philosophers and practicing political scientists contribute and discuss—with philosophical discussions that are (...) close to and informed by actual developments in political science, making philosophy of science continuous with the sciences in line with contemporary naturalist philosophy of science. The topics scrutinized in the different chapters of the Handbook will figure prominently in PoPS, as we lay out in this chapter. (shrink)

In Algorithms & Autonomy, Rubel, Castro, and Pham (hereafter RCP), argue that the concept of autonomy is especially central to understanding important moral problems about algorithms. In particular, autonomy plays a role in analyzing the version of social contract theory that they endorse. I argue that although RCP are largely correct in their diagnosis of what is wrong with the algorithms they consider, those diagnoses can be appropriated by moral theories RCP see as in competition with their autonomy based theory. (...) Most notably, proponents of consequentialism and virtue ethics can appropriate RCPs insights. This is good news because RCP’s social contract theory is vulnerable to a well known class of counterexamples. The most significant contribution of RCP, if I am right, is in their identification, presentation, and evaluation of concrete cases involving algorithms and not in the more controversial claims about theoretical ethics that RCP themselves see as central to what they are doing. (shrink)

Ancient Chinese and Greek thinkers alike were preoccupied with the moral value of music; they distinguished between good and bad music by looking at the music’s effect on moral character. The idea can be understood in terms of two closely related questions. Does music have the power to affect the ethical character of either listener or performer? If it does, is it better as music for doing so? I argue that an affirmative answers to both questions are more plausible than (...) it might seem at first. (shrink)

There is a wealth of evidence which indicates that arguments are not very efficient tools for changing minds. Against this scepticism, Dutilh Novaes (2023) presents evidence that, given the right social context, arguments sometimes play a significant role in belief revision. However, drawing on Levy (2021), I argue that the evidence Dutilh Novaes cites is compatible with the view that it is not arguments that change individual minds but instead belief outsourcing that occurs alongside the consideration of arguments.

Some legal theorists say that legal entrapment to commit a crime is incoherent. So far, there is no satisfactorily precise statement of this objection in the literature: it is obscure even as to the type of incoherence that is purportedly involved. (Perhaps consequently, substantial assessment of the objection is also absent.) We aim to provide a new statement of the objection that is more precise and more rigorous than its predecessors. We argue that the best form of the objection asserts (...) that, in attempting to entrap, law-enforcement agents lapse into a form of practical incoherence that involves the attempt simultaneously to pursue contrary ends. We then argue that the objection, in this form, encompasses all cases of legal entrapment only if it is supplemented by appeal to the premise that law-enforcement agents have an absolute duty never to create crimes. (shrink)

I prove that the Boolean Prime Ideal Theorem is equivalent, under some weak set-theoretic assumptions, to what I will call the Cut-for-Formulas to Cut-for-Sets Theorem: for a set F and a binary relation |- on Power(F), if |- is finitary, monotonic, and satisfies cut for formulas, then it also satisfies cut for sets. I deduce the CF/CS Theorem from the Ultrafilter Theorem twice; each proof uses a different order-theoretic variant of the Tukey- Teichmüller Lemma. I then discuss relationships between various (...) cut-conditions in the absence of finitariness or of monotonicity. (shrink)

In The Future of Human Nature, Jürgen Habermas raises the question of whether the embryonic genetic diagnosis and genetic modification threatens the foundations of the species ethics that underlies current understandings of morality. While morality, in the normative sense, is based on moral interactions enabling communicative action, justification, and reciprocal respect, the reification involved in the new technologies may preclude individuals to uphold a sense of the undisposability of human life and the inviolability of human beings that is necessary for (...) their own identity as well as for reciprocal relations. Engaging with liberal bioethics and Catholic approaches to bioethics, the article clarifies how Habermas’ position offers a radical critique of liberal autonomy while maintaining its postmetaphysical stance. The essay argues that Habermas’ approach may guide the question of rights of future generations regarding germline gene editing. But it calls for a different turn in the conversation between philosophy and theology, namely one that emphasizes the necessary attention to rights violations and injustices as a common, postmetaphysical starting point for critical theory and critical theology alike. In 2001, Jürgen Habermas published a short book on questions of biomedicine that took many by surprise.[1] To some of his students, the turn to a substantive position invoking the need to comment on a species ethics rather than outlining a public moral framework was seen as the departure from the “path of deontological virtue,”[2] and at the same time a departure from postmetaphysical reason. Habermas’ motivation to address the developments in biomedicine had certainly been sparked by the intense debate in Germany, the European Union, and internationally on human cloning, pre-implantation genetic diagnosis, embryonic stem cell research, and human enhancement. He turned to a strand of critical theory that had been pushed to the background by the younger Frankfurt School in favor of cultural theory and social critique, even though it had been an important element of its initial working programs. The relationship of instrumental reason and critical theory, examined, among others, by Max Horkheimer, Theodor W. Adorno, and Herbert Marcuse and taken up in Habermas’ own Knowledge and Interest and Theory of Communicative Action became ever-more actual with the development of the life sciences, human genome analysis, and genetic engineering of human offspring. Today, some of the fictional scenarios discussed at the end of the last century as “science fiction” have become reality: in 2018, the first “germline gene-edited” children were born in China.[3] Furthermore, the UK’s permission to create so-called “three-parent” children may create a legal and political pathway to hereditary germline interventions summarized under the name of “gene editing.”In this article, I want to explore Habermas’ “substantial” argument in the hope that philosophy and theology become allies in their struggle against an ever-more reifying lifeworld, which may create a “moral void” that would, at least from today’s perspective, be “unbearable”, and for upholding the conditions of human dignity, freedom, and justice. I will contextualize Habermas’ concerns in the broader discourse of bioethics, because only by doing this, his concerns are rescued from some misinterpretations.[1] Jürgen Habermas, The Future of Human Nature.[2] Ibid., 125, fn. 58. 8[3] Up to the present, no scientific publication of the exact procedure exists, but it is known that the scientist, Jiankui He, circumvented the existing national regulatory framework and may have misled the prospective parents about existing alternatives and the unprecedented nature of his conduct. Yuanwu Ma, Lianfeng Zhang, and Chuan Qin, "The First Genetically Gene‐Edited Babies: It's “Irresponsible and Too Early”," Animal Models and Experimental Medicine ; Matthias Braun, Meacham, Darian, "The Trust Game: Crispr for Human Germline Editing Unsettles Scientists and Society," EMBO reports 20, no. 2. (shrink)

I present a counterexample to Kirk-Giannini’s Dilemmatic Theory of gaslighting.

Epistemic accounts of luck define luck’s chanciness condition relative to a subject’s epistemic position. This could be put in terms of a subject’s evidence or knowledge about whether the event will occur. I argue that both versions of the epistemic account fail. In §2, I give two types of counterexamples to the evidence-based approach. In §3, I argue—contrary to the knowledge-based view—that an event can be a matter of good or bad luck for a subject even if she knows that (...) it will occur. In §4, I argue that epistemic accounts cannot explain some instances of constitutive luck. Because of these problems, luck’s chanciness condition cannot be adequately defined in epistemic terms. (shrink)

Kopeikin (forthcoming a, forthcoming b) and Rachels’ (1975) bare-difference cases elicit the intuition that killing is no different than letting die. Hill’s (2018) bare-difference cases elicit the intuition that killing is worse than letting die. At least one of the intuitions must be mistaken. This calls for an error theory. Hill has an error theory for the intuition elicited by the Kopeikin/Rachels’ cases. Kopeikin and Rachels have an error theory for the intuition elicited by Hill’s cases. A (...) natural thought is that we are at an impasse. There is no plausible basis for preferring one error theory to the other. I argue that this natural thought is mistaken. Not all error theories are equal. Preliminary considerations favor Hill’s error theory and disfavor the Kopeikin/Rachels error theory. But preliminary considerations are not decisive. The way forward in the bare-difference debate is not to evaluate intuitions. The intuitions are in. What is left to do now is evaluate the comparative status of the Hill and the Kopeikin/Rachels error theories. (shrink)

Our question is this: What makes an act one of entrapment? We make a standard distinction between legal entrapment, which is carried out by parties acting in their capacities as (or as deputies of) law- enforcement agents, and civil entrapment, which is not. We aim to provide a definition of entrapment that covers both and which, for reasons we explain, does not settle questions of permissibility and culpability. We explain, compare, and contrast two existing definitions of legal entrapment to commit (...) a crime that possess this neutrality. We point out some problems with the extensional correctness of these definitions and propose a new definition that resolves these problems. We then extend our definition to provide a more general definition of entrapment, encompassing both civil and legal cases. Our definition is, we believe, closer to being extensionally correct and will, we hope, provide a clearer basis for future discussions about the ethics of entrapment than do the definitions upon which it improves. (shrink)