This is a book review of Peter van Inwagen and Dean Zimmerman (eds.), Persons: Human and Divine (Oxford: Oxford Univ. Press, 2007).

This is a book review of Deane-Peter Baker (ed.), Alvin Plantinga (New York: Cambridge Univ. Press, 2007).

We present a new frame semantics for positive relevant and substructural propositional logics. This frame semantics is both a generalisation of Routley–Meyer ternary frames and a simplification of them. The key innovation of this semantics is the use of a single accessibility relation to relate collections of points to points. Different logics are modeled by varying the kinds of collections used: they can be sets, multisets, lists or trees. We show that collection frames on trees are sound and complete for (...) the basic positive distributive substructural logic $\mathsf {B}^+$, that collection frames on multisets are sound and complete for $\mathsf {RW}^+$ (the relevant logic $\mathsf {R}^+$, without contraction, or equivalently, positive multiplicative and additive linear logic with distribution for the additive connectives), and that collection frames on sets are sound for the positive relevant logic $\mathsf {R}^+$. The completeness of set frames for $\mathsf {R}^+$ is, currently, an open question. (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)

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)

The idea that fictions may educate us is an old one, as is the view that they distort the truth and mislead us. While there is a long tradition of passionate assertion in this debate, systematic arguments are a recent development, and the idea of empirically testing is particularly novel. Our aim in this chapter is to provide clarity about what is at stake in this debate, what the options are, and how empirical work does or might bear on its (...) resolution. We distinguish between merely influencing people’s opinions and providing genuine learning, where the latter requires that the source of the change in opinion should be reliable. Other important ideas here are the extent to which authors of fiction may be considered to provide testimony, or something like it, and the possibility of recognizing an unstated purpose in the project of the fictional work. We ask whether fictions can furnish us not merely with ideas but with reasons for believing them, perhaps by constituting thought experiments. We consider whether the focus should be on understanding rather than on knowledge, and whether fictions can inform us about the qualities of another’s experiences. We briefly describe some experimental work of recent decades and suggest that the evidence for learning from fiction is currently meagre. (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 an attempt to determine the epistemic status of computer simulation results, philosophers of science have recently explored the similarities and differences between computer simulations and experiments. One question that arises is whether and, if so, when, simulation results constitute novel empirical data. It is often supposed that computer simulation results could never be empirical or novel because simulations never interact with their targets, and cannot go beyond their programming. This paper argues against this position by examining whether, and under (...) what conditions, the features of empiricality and novelty could be displayed by computer simulation data. I show that, to the extent that certain familiar measurement results have these features, so can some computer simulation results. (shrink)

In this paper I introduce a sequent system for the propositional modal logic S5. Derivations of valid sequents in the system are shown to correspond to proofs in a novel natural deduction system of circuit proofs (reminiscient of proofnets in linear logic, or multiple-conclusion calculi for classical logic). -/- The sequent derivations and proofnets are both simple extensions of sequents and proofnets for classical propositional logic, in which the new machinery—to take account of the modal vocabulary—is directly motivated in terms (...) of the simple, universal Kripke semantics for S5. The sequent system is cut-free and the circuit proofs are normalising. (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)

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)

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.

William Lane Craig’s God over All argues against the kind of “divine conceptualism” about abstract objects which I defend. In this conference presentation I note several points of agreement with and appreciation for Craig’s important work. I then turn to five points of critique and response pertaining to: the sovereignty-aseity intuition, the reality of false propositions, God’s having “inappropriate” thoughts, propositions being purely private and incommunicable, and a consistent view of God’s own ontological commitments. I conclude by summarizing our two (...) key differences, indicating that we may have much more in common than first appears. (shrink)

This paper takes under consideration a piece by Roger Crisp in which he questions what the problem of moral luck can teach us about COVID-19 lockdown rule-breakers. Taking the position that although such rule-breakers might seem to be new examples of moral luck, Crisp ends up denying the existence of moral luck and argues that moral luck is an outdated notion in so far as it relies on other questionable aspects of morality, that is, retributivist punishment and blame. Although the (...) author agrees with Crisp that pandemic rule-breaker cases are putative examples of resultant moral luck, he proposes that Crisp has misconstrued what moral luck is and the paper examines in detail what he sees as the numerous problems with Crisp’s claims. The author concludes that Crisp’s analysis of pandemic rule-breaking does not shed any new light on the moral luck debate, and the difficult questions of luck, moral responsibility, and desert are not so easily resolved. -/- . (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)

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)

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)

Strawsonian accounts of moral responsibility are widely associated with opposition to hard determinism. However, it is only an historical accident that these views are bundled together. I show that Strawson’s deepest commitments are perfectly consistent with, and even support, a new and improved form of hard determinism. The resulting view is not revisionist about our practices in the way that extant versions of hard determinism are. After setting out my view, I then turn to Latham and Tierney’s (2022) objection to (...) manipulation arguments. I make two points about their objection. First, while extant versions of hard determinism are vulnerable to Latham and Tierney’s objection, my version of hard determinism is not. Second, I argue that their objection raises important questions about what it is for two cases to be morally equivalent. I defend a principle about when cases are morally equivalent. My principle suggests a way to improve Latham and Tierny’s objection to manipulation arguments that are paired with extant variants of hard determinism. However, when paired with my version of hard determinism, manipulation arguments may accommodate Latham and Tierney’s objection. (shrink)

The paper is an examination and critique of the philosophy of science fiction horror of seminal American horror, science fiction and fantasy writer H.P. Lovecraft (1890-1937). Lovecraft never directly offers a philosophy of science fiction horror. However, at different points in his essays and letters, he addresses genres he labels “interplanetary fiction”, “horror”, “supernatural horror”, and “weird fiction”, the last being a broad heading covering both supernatural fiction and science fiction. Taken together, a philosophy of science fiction horror emerges. Central (...) to this philosophy is the juxtaposition of the mysterious, unnatural and alien against a realistic background, in order to produce the emotion that Lovecraft calls “cosmic fear”. This background must not only be scientifically accurate, but must accurately portray human psychology, particularly when humans are faced with the weird and alien. It will be argued that Lovecraft’s prescriptions are overly restrictive and would rule out many legitimate works of science fiction horror art. However, he provides useful insights into the genre. (shrink)

The function or intended use of a device such as a fire escape is escape from fire, whether or not it is ever actually used as such or it acquires other uses. Biological function, on the other hand, depends, in one way or another, on actual use. Philosophical attempts to explain artifact function by analogy with biological function or to build a unified theory of function are nonetheless common. What such attempts routinely overlook, however, is the role of forethought in (...) intentional function. I defend the traditional intended use view of function, emphasize the role of forethought and argue that design intentions are rationally grounded in a design brief, for which there is no obvious natural analogue. (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)

We present and defend the Australian Plan semantics for negation. This is a comprehensive account, suitable for a variety of different logics. It is based on two ideas. The first is that negation is an exclusion-expressing device: we utter negations to express incompatibilities. The second is that, because incompatibility is modal, negation is a modal operator as well. It can, then, be modelled as a quantifier over points in frames, restricted by accessibility relations representing compatibilities and incompatibilities between such points. (...) We defuse a number of objections to this Plan, raised by supporters of the American Plan for negation, in which negation is handled via a many-valued semantics. We show that the Australian Plan has substantial advantages over the American Plan. (shrink)

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)

The Pessimistic Induction over the history of science argues that because most past theories considered empirically successful in their time turn out to be not even approximately true, most present ones probably aren’t approximately true either. But why did past scientists accept those incorrect theories? Kyle Stanford’s ‘Problem of Unconceived Alternatives’ is one answer to that question: scientists are bad at exhausting the space of plausible hypotheses to explain the evidence available to them. Here, I offer another answer, which I (...) call the ‘Problem of Misleading Evidence.’ I argue that this proposal is, in important respects, superior to Stanford’s. (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)

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)

This note calls attention to the fact that efficient causes – the sort of cause that changes something or makes something happen – can play no constitutive role in the immediate, cognitively conscious relation between cognitive subject and a cognit-ive object. It notes that: (1) it is a necessary condition for an efficient causal relation that it alter its relata; and (2) it is a necessary condition for a conscious cognitive relat-ion that it does not alter its relata. This has (...) important implication for the theories of knowledge and consciousness, the “Hard Problem,” and related puzzles. (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)

In the distribution of resources, persons must be respected, or so many philosophers contend. Unfortunately, they often leave it unclear why a certain allocation would respect persons, while another would not. In this paper, we explore what it means to respect persons in the distribution of scarce, life-saving resources. We begin by presenting two kinds of cases. In different age cases, we have a drug that we must use either to save a young person who would live for many more (...) years or an old person who would only live for a few. In different numbers cases, we must save either one person or many persons from certain death. We argue that two familiar accounts of respect for persons―an equal worth account, suggested by Jeff McMahan, and a Kantian account, inspired by the Formula of Humanity―have implausible implications in such cases. We develop a new, “three-tiered” account: one that, we claim, generates results in such cases that accord better with many people’s considered judgments than those produced by its rivals. (shrink)

The two principal models of design in methodological circles in architecture—analysis/synthesis and conjecture/analysis—have their roots in philosophy of science, in different conceptions of scientific method. This paper explores the philosophical origins of these models and the reasons for rejecting analysis/synthesis in favour of conjecture/analysis, the latter being derived from Karl Popper’s view of scientific method. I discuss a fundamental problem with Popper’s view, however, and indicate a framework for conjecture/analysis to avoid this problem.

Science fiction fandoms tend to contain significant numbers of fans who feel angry and resentful about the handling of the franchise they are fans of, because of the stories the franchises owners have told. The paper addresses the question of when, if ever, such anger and resentment are justified. Special attention will be paid to Star Trek fandom, but other fandoms will be considered, including those for Star Wars and Doctor Who. Various proposed justifications for anger and resentment will be (...) considered, including that franchise owners have misled fans about the stories they would tell, have wasted opportunities to produce good art, have reduced the value of older art, have engaged in a form of cultural appropriation by repurposing old characters, have caused needless offense of a sort akin to the offense of religious sensibilities, have offended against the principle of utility, and have taken advantage of unjust copyright laws. The paper does not champion a conclusion about when, if ever, fan anger and resentment are justified. However, it is concluded that, contrary to what is often assumed, it is not obvious that fan anger and resentment are always unjustified, and so fan anger and resentment cannot always be dismissed out of hand. (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)

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.

Community has been both celebrated and demonized as a fortress that shelters and defends its members from being exposed to difference. Instead of abandoning community as an antiquated model of relationships that is ill suited for our globalized world, this book turns to the writings of Giorgio Agamben, Roberto Esposito, and Jean-Luc Nancy in search for ways to rethink community in an open and inclusive manner. Greg Bird argues that a central piece of this task is found in how (...) each philosopher rearticulates community not as something that is proper to those who belong and improper to those who are excluded or where inclusion is based on one’s share in common property. We must return to the forgotten dimension of sharing, not as a sharing of things that we can contain and own, but as a process that divides us up and shares us out in community with one another. This book traces this problem through a wide array of fields ranging from biopolitics, communitarianism, existentialism, phenomenology, political economy, radical philosophy, and social theory. (shrink)

Opponents of genetic enhancement technologies often argue that the pursuit of these technologies will lead to self-defeating collective outcomes, massive social inequalities, or other forms of collective harm. They assume that these harms will outweigh individual benefits. Defenders of genetic enhancement technologies counter that individual benefits will outweigh collective harms and there will be no conflict between individual and collective interests. The present contribution tries to advance the debate by providing a more detailed discussion of the conditions under which individual (...) and collective interests may conflict.It presents a simple model that clarifies the conditions in which the use of genetic enhancement technologies may lead to self-defeating collective outcomes and social inequalities. It argues that given current inequalities, these conditions might indeed obtain as new genetic knowledge leads to a transition in population health. If they do, then genetic enhancement will steepen the social gradient in health. Thus, regulating access to enhancement technologies should be a matter of social justice. (shrink)

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 present a counterexample to Kirk-Giannini’s Dilemmatic Theory of gaslighting.

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.

Louis Charland has argued that the Cluster B personality disorders, including borderline personality disorder, are primarily moral rather than clinical conditions. Part of his argument stems from reflections on effective treatment of borderline personality disorder. In the argument from treatment, he claims that successful treatment of all Cluster B personality disorders requires a positive change in a patient’s moral character. Based on this claim, he concludes (1) that these disorders are, at root, deficits in moral character, and (2) that effective (...) treatment of these disorders requires a sort of moral education rather than clinical intervention. In this paper, I evaluate the argument from treatment through a critical analysis of two psychotherapeutic interventions that have shown recent effectiveness against borderline personality disorder. I suggest that both Dialectical Behaviour Therapy and Mentalization-Based Treatment indicate that borderline personality disorder is, at root, a deficit in non-moral cognitive and emotional capacities. I suggest that these non-moral deficits obscure the expression of an otherwise intact moral character. In light of this, I conclude that effective treatment of borderline personality disorder requires primarily clinical intervention rather than moral edification. (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)

In this paper I call attention to the fact that Lonergan gives two radically opposed accounts of how sense perception relates us to the external world and of how we know that this relation exists. I argue that the position that Lonergan characteristically adopts is not the one implied by what is most fundamental in his theory of cognition. I describe the initial epistemic position with regard to the problem of skepticism about the external material world that is in fact (...) implied by his theory of cognition, and I sort out some confusion about various forms of direct and representative perceptual realism. The paper concludes with a critique of Lonergan’s theory of description and explanation in empirical science that makes evident the difficulties into which he is led by lack of clarity in his theory of perception. (shrink)