We are living through an era of increased robotisation. Some authors have already begun to explore the impact of this robotisation on legal rules and practice. In doing so, many highlight potential liability gaps that might arise through robot misbehaviour. Although these gaps are interesting and socially significant, they do not exhaust the possible gaps that might be created by increased robotisation. In this article, I make the case for one of those alternative gaps: the retribution gap. This gap arises (...) from a mismatch between the human desire for retribution and the absence of appropriate subjects of retributive blame. I argue for the potential existence of this gap in an era of increased robotisation; suggest that it is much harder to plug this gap than it is to plug those thus far explored in the literature; and then highlight three important social implications of this gap. (shrink)

One of the most noticeable trends in recent years has been the increasing reliance of public decision-making processes on algorithms, i.e. computer-programmed step-by-step instructions for taking a given set of inputs and producing an output. The question raised by this article is whether the rise of such algorithmic governance creates problems for the moral or political legitimacy of our public decision-making processes. Ignoring common concerns with data protection and privacy, it is argued that algorithmic governance does pose a significant threat (...) to the legitimacy of such processes. Modelling my argument on Estlund’s threat of epistocracy, I call this the ‘threat of algocracy’. The article clarifies the nature of this threat and addresses two possible solutions. It is argued that neither solution is likely to be successful, at least not without risking many other things we value about social decision-making. The result is a somewhat pessimistic conclusion in which we confront the possibility that we are creating decision-making processes that constrain and limit opportunities for human participation. (shrink)

This paper adds another argument to the rising tide of panic about robots and AI. The argument is intended to have broad civilization-level significance, but to involve less fanciful speculation about the likely future intelligence of machines than is common among many AI-doomsayers. The argument claims that the rise of the robots will create a crisis of moral patiency. That is to say, it will reduce the ability and willingness of humans to act in the world as responsible moral agents, (...) and thereby reduce them to moral patients. Since that ability and willingness is central to the value system in modern liberal democratic states, the crisis of moral patiency has a broad civilization-level significance: it threatens something that is foundational to and presupposed in much contemporary moral and political discourse. I defend this argument in three parts. I start with a brief analysis of an analogous argument made in pop culture. Though those arguments turn out to be hyperbolic and satirical, they do prove instructive as they illustrates a way in which the rise of robots could impact upon civilization, even when the robots themselves are neither malicious nor powerful enough to bring about our doom. I then introduce the argument from the crisis of moral patiency, defend its main premises and address objections. (shrink)

Suppose we are about to enter an era of increasing technological unemployment. What implications does this have for society? Two distinct ethical/social issues would seem to arise. The first is one of distributive justice: how will the efficiency gains from automated labour be distributed through society? The second is one of personal fulfillment and meaning: if people no longer have to work, what will they do with their lives? In this article, I set aside the first issue and focus on (...) the second. In doing so, I make three arguments. First, I argue that there are good reasons to embrace non-work and that these reasons become more compelling in an era of technological unemployment. Second, I argue that the technological advances that make widespread technological unemployment possible could still threaten or undermine human flourishing and meaning, especially if they do not remain confined to the economic sphere. And third, I argue that this threat could be contained if we adopt an integrative approach to our relationship with technology. In advancing these arguments, I draw on three distinct literatures: the literature on technological unemployment and workplace automation; the antiwork critique—which I argue gives reasons to embrace technological unemployment; and the philosophical debate about the conditions for meaning in life—which I argue gives reasons for concern. (shrink)

Personal AI assistants are now nearly ubiquitous. Every leading smartphone operating system comes with a personal AI assistant that promises to help you with basic cognitive tasks: searching, planning, messaging, scheduling and so on. Usage of such devices is effectively a form of algorithmic outsourcing: getting a smart algorithm to do something on your behalf. Many have expressed concerns about this algorithmic outsourcing. They claim that it is dehumanising, leads to cognitive degeneration, and robs us of our freedom and autonomy. (...) Some people have a more subtle view, arguing that it is problematic in those cases where its use may degrade important interpersonal virtues. In this article, I assess these objections to the use of AI assistants. I will argue that the ethics of their use is complex. There are no quick fixes or knockdown objections to the practice, but there are some legitimate concerns. By carefully analysing and evaluating the objections that have been lodged to date, we can begin to articulate an ethics of personal AI use that navigates those concerns. In the process, we can locate some paradoxes in our thinking about outsourcing and technological dependence, and we can think more clearly about what it means to live a good life in the age of smart machines. (shrink)

Friendship is an important part of the good life. While many roboticists are eager to create friend-like robots, many philosophers and ethicists are concerned. They argue that robots cannot really be our friends. Robots can only fake the emotional and behavioural cues we associate with friendship. Consequently, we should resist the drive to create robot friends. In this article, I argue that the philosophical critics are wrong. Using the classic virtue-ideal of friendship, I argue that robots can plausibly be considered (...) our virtue friends - that to do so is philosophically reasonable. Furthermore, I argue that even if you do not think that robots can be our virtue friends, they can fulfil other important friendship roles, and can complement and enhance the virtue friendships between human beings. (shrink)

Soon there will be sex robots. The creation of such devices raises a host of social, legal and ethical questions. In this article, I focus in on one of them. What if these sex robots are deliberately designed and used to replicate acts of rape and child sexual abuse? Should the creation and use of such robots be criminalised, even if no person is harmed by the acts performed? I offer an argument for thinking that they should be. The argument (...) consists of two premises. The first claims that it can be a proper object of the criminal law to regulate wrongful conduct with no extrinsically harmful effects on others. The second claims that the use of robots that replicate acts of rape and child sexual abuse would be wrongful, even if such usage had no extrinsically harmful effects on others. I defend both premises of this argument and consider its implications for the criminal law. I do not offer a conclusive argument for criminalisation, nor would I wish to be interpreted as doing so; instead, I offer a tentative argument and a framework for future debate. This framework may also lead one to question the proposed rationales for criminalisation. (shrink)

The growth of self-tracking and personal surveillance has given rise to the Quantified Self movement. Members of this movement seek to enhance their personal well-being, productivity, and self-actualization through the tracking and gamification of personal data. The technologies that make this possible can also track and gamify aspects of our interpersonal, romantic relationships. Several authors have begun to challenge the ethical and normative implications of this development. In this article, we build upon this work to provide a detailed ethical analysis (...) of the Quantified Relationship. We identify eight core objections to the QR and subject them to critical scrutiny. We argue that although critics raise legitimate concerns, there are ways in which tracking technologies can be used to support and facilitate good relationships. We thus adopt a stance of cautious openness toward this technology and advocate the development of a research agenda for the positive use of QR technologies. (shrink)

This chapter examines a common objection to sex robots: the symbolic-consequences argument. According to this argument sex robots are problematic because they symbolise something disturbing about our attitude to sex-related norms such as consent and the status of our sex partners, and because of the potential consequences of this symbolism. After formalising this objection and considering several real-world uses of it, the chapter subjects it to critical scrutiny. It argues that while there are grounds for thinking that sex robots could (...) symbolically represent a troubling attitude toward women (and maybe children) and the norms of interpersonal sexual relationships, the troubling symbolism is going to be removable in many instances and reformable in others. What will ultimately matter are the consequences of the symbolism but these consequences are likely to be difficult to ascertain. This may warrant an explicitly experimental approach to the development of this technology. (shrink)

Under what conditions are two utterances utterances of the same word? What are words? That these questions have not received much attention is rather surprising: after all, philosophers and linguists frequently appeal to considerations about word and sentence identity in connection with a variety of puzzles and problems that are foundational to the very subject matter of philosophy of language and linguistics.1 Kaplan’s attention to words is thus to be applauded. And there is no doubt that his discussion contains many (...) useful insights. Nevertheless, we find his picture deeply flawed for a variety of crosscutting reasons. Our aim in this paper is to further advance an understanding of the nature of words, both by remedying the problems with Kaplan’s account, and also by achieving a suitable perspective on what the metaphysical investigation of word identity can hope to achieve. Our discussion divides into four parts. In Part One, we examine and critique Kaplan’s discussion of a contrast integral to his own account: that between the type-token and the stage-continuant conceptions of words. In Part Two, we present three constraints on any account of words and two further themes in Kaplan’s discussion central to his conception of words – the role of repetition and the constitutive authority of intentions. While these ideas have laudable motivations, we argue they are far from the best way of making good on the insights that drive them. The final two sections take a skeptical turn. In Part Three, we express doubt about Kaplan’s presumption of the importance of what he calls ‘common currency names’, thus raising a suspicion that he may be in pursuit of chimera. Finally, in Part Four, we express pessimism about whether interesting answers to question above will be forthcoming, and suggest that the legitimacy of our word ontology need not depend on the availability of such answers. Along the way, we tease apart a number of metaphysical questions in the vicinity of the topic of word individuation – questions that are often not disentangled – and consider how the discussion of the previous parts bears on them.. (shrink)

Henry Shevlin’s paper—“How could we know when a robot was a moral patient?” – argues that we should recognize robots and artificial intelligence (AI) as psychological moral patients if they are cognitively equivalent to other beings that we already recognize as psychological moral patients (i.e., humans and, at least some, animals). In defending this cognitive equivalence strategy, Shevlin draws inspiration from the “behavioral equivalence” strategy that I have defended in previous work but argues that it is flawed in crucial respects. (...) Unfortunately—and I guess this is hardly surprising—I cannot bring myself to agree that the cognitive equivalence strategy is the superior one. In this article, I try to explain why in three steps. First, I clarify the nature of the question that I take both myself and Shevlin to be answering. Second, I clear up some potential confusions about the behavioral equivalence strategy, addressing some other recent criticisms of it. Third, I will explain why I still favor the behavioral equivalence strategy over the cognitive equivalence one. (shrink)

In July 2014, the roboticist Ronald Arkin suggested that child sex robots could be used to treat those with paedophilic predilections in the same way that methadone is used to treat heroin addicts. Taking this onboard, it would seem that there is reason to experiment with the regulation of this technology. But most people seem to disagree with this idea, with legal authorities in both the UK and US taking steps to outlaw such devices. In this paper, I subject these (...) different regulatory attitudes to critical scrutiny. In doing so, I make three main contributions to the debate. First, I present a framework for thinking about the regulatory options that we confront when dealing with child sex robots. Second, I argue that there is a prima facie case for restrictive regulation, but that this is contingent on whether Arkin’s hypothesis has a reasonable prospect of being successfully tested. Third, I argue that Arkin’s hypothesis probably does not have a reasonable prospect of being successfully tested. Consequently, we should proceed with utmost caution when it comes to this technology. (shrink)

Divine command theories come in several different forms but at their core all of these theories claim that certain moral statuses exist in virtue of the fact that God has commanded them to exist. Several authors argue that this core version of the DCT is vulnerable to an epistemological objection. According to this objection, DCT is deficient because certain groups of moral agents lack epistemic access to God’s commands. But there is confusion as to the precise nature and significance of (...) this objection, and critiques of its key premises. In this article, I try to clear up this confusion and address these critiques. I do so in three ways. First, I offer a simplified general version of the objection. Second, I address the leading criticisms of the premises of this objection, focusing in particular on the role of moral risk/uncertainty in our understanding of God’s commands. And third, I outline four possible interpretations of the argument, each with a differing degree of significance for the proponent of the DCT. (shrink)

Sobre Filosofia clinica e Reflexões sobre o que é o humano.

Country music has not gotten much attention in philosophy. I introduce two philosophical issues that country music raises. First, country music is simple. Some people might think that its simplicity makes country music worse; I argue that simplicity is aesthetically valuable. The second issue is country music’s ideal of authenticity; fans and performers think that country should be real or genuine in a particular way. But country music scholars have debunked the idea that country authenticity gets at anything real; widespread (...) ideas about country authenticity are rooted in a racist and fabricated picture of country music. In discussing these two issues, I highlight the importance of community in country music. (shrink)

Does Anne Conway (1631–79) hold that the created world consists of a single underlying substance? Some have argued that she does; others have argued that she is a priority monist and so holds that there are many created substances, but the whole created world is ontologically prior to each particular creature. Against both of these proposals, this article makes the case for a substance pluralist interpretation of Conway: individual creatures are distinct substances, and the whole created world is not ontologically (...) prior to the individual creatures that compose it. The basic argument for such a view draws on Conway's claims about the freedom and moral responsibility of individual creatures. The pluralist reading is straightforwardly compatible with these claims, while the monistic readings are not. (shrink)

Argumentations are at the heart of the deductive and the hypothetico-deductive methods, which are involved in attempts to reduce currently open problems to problems already solved. These two methods span the entire spectrum of problem-oriented reasoning from the simplest and most practical to the most complex and most theoretical, thereby uniting all objective thought whether ancient or contemporary, whether humanistic or scientific, whether normative or descriptive, whether concrete or abstract. Analysis, synthesis, evaluation, and function of argumentations are described. Perennial philosophic (...) problems, epistemic and ontic, related to argumentations are put in perspective. So much of what has been regarded as logic is seen to be involved in the study of argumentations that logic may be usefully defined as the systematic study of argumentations, which is virtually identical to the quest of objective understanding of objectivity. (shrink)

After a short preface, the first of the three sections of this paper is devoted to historical and philosophic aspects of categoricity. The second section is a self-contained exposition, including detailed definitions, of a proof that every mathematical system whose domain is the closure of its set of distinguished individuals under its distinguished functions is categorically characterized by its induction principle together with its true atoms (atomic sentences and negations of atomic sentences). The third section deals with applications especially those (...) involving the distinction between characterizing a system and axiomatizing the truths of a system. (shrink)

According to several authors, the enhancement project incorporates a quest for hyperagency - i.e. a state of affairs in which virtually every constitutive aspect of agency (beliefs, desires, moods, dispositions and so forth) is subject to our control and manipulation. This quest, it is claimed, undermines the conditions for a meaningful and worthwhile life. Thus, the enhancement project ought to be forestalled or rejected. How credible is this objection? In this article, I argue: “not very”. I do so by evaluating (...) four different versions of the “hyperagency” objection from four different authors. In each case I argue that the objection either fails outright or, at best, provides weak and defeasible grounds for avoiding enhancement. In addition to this, I argue that there are plausible grounds for thinking that enhancement helps, rather than hinders, us in living the good life. (shrink)

This paper examines some recent arguments for internalism that (i) appeal to an analogy between practical and theoretical reasons, (ii) look toward our practices of reasoning with others, or (iii) tie reasons to good deliberation. The conclusion of this paper is a skeptical one: none of these new arguments gives us sufficient reason to think that internalism is true.

It is widely believed that a conservative moral outlook is opposed to biomedical forms of human enhancement. In this paper, I argue that this widespread belief is incorrect. Using Cohen’s evaluative conservatism as my starting point, I argue that there are strong conservative reasons to prioritise the development of biomedical enhancements. In particular, I suggest that biomedical enhancement may be essential if we are to maintain our current evaluative equilibrium (i.e. the set of values that undergird and permeate our current (...) political, economic, and personal lives) against the threats to that equilibrium posed by external, non-biomedical forms of enhancement. I defend this view against modest conservatives who insist that biomedical enhancements pose a greater risk to our current evaluative equilibrium, and against those who see no principled distinction between the forms of human enhancement. (shrink)

The A-theory and the B-theory advance competing claims about how time is grounded. The A-theory says that A-facts are more fundamental in grounding time than are B-facts, and the B-theory says the reverse. We argue that whichever theory is true of the actual world is also true of all possible worlds containing time. We do this by arguing that time is uniquely groundable: however time is actually grounded, it is necessarily grounded in that way. It follows that if either the (...) A-theory or the B-theory is actually false, then it is necessarily false. (shrink)

The chapter introduces the edited collection Robot Sex: Social and Ethical Implications. It proposes a definition of the term 'sex robot' and examines some current prototype models. It also considers the three main ethical questions one can ask about sex robots: (i) do they benefit/harm the user? (ii) do they benefit/harm society? or (iii) do they benefit/harm the robot?

Information-theoretic approaches to formal logic analyse the "common intuitive" concept of propositional implication (or argumental validity) in terms of information content of propositions and sets of propositions: one given proposition implies a second if the former contains all of the information contained by the latter; an argument is valid if the conclusion contains no information beyond that of the premise-set. This paper locates information-theoretic approaches historically, philosophically and pragmatically. Advantages and disadvantages are identified by examining such approaches in themselves and (...) by contrasting them with standard transformation-theoretic approaches. Transformation-theoretic approaches analyse validity (and thus implication) in terms of transformations that map one argument onto another: a given argument is valid if no transformation carries it onto an argument with all true premises and false conclusion. Model-theoretic, set-theoretic, and substitution-theoretic approaches, which dominate current literature, can be construed as transformation-theoretic, as can the so-called possible-worlds approaches. Ontic and epistemic presuppositions of both types of approaches are considered. Attention is given to the question of whether our historically cumulative experience applying logic is better explained from a purely information-theoretic perspective or from a purely transformation-theoretic perspective or whether apparent conflicts between the two types of approaches need to be reconciled in order to forge a new type of approach that recognizes their basic complementarity. (shrink)

In the present article we attempt to show that Aristotle's syllogistic is an underlying logiC which includes a natural deductive system and that it isn't an axiomatic theory as had previously been thought. We construct a mathematical model which reflects certain structural aspects of Aristotle's logic. We examine the relation of the model to the system of logic envisaged in scattered parts of Prior and Posterior Analytics. Our interpretation restores Aristotle's reputation as a logician of consummate imagination and skill. Several (...) attributions of shortcomings and logical errors to Aristotle are shown to be without merit. Aristotle's logic is found to be self-sufficient in several senses: his theory of deduction is logically sound in every detail. (His indirect deductions have been criticized, but incorrectly on our account.) Aristotle's logic presupposes no other logical concepts, not even those of propositional logic. The Aristotelian system is seen to be complete in the sense that every valid argument expressible in his system admits of a deduction within his deductive system: every semantically valid argument is deducible. (shrink)

An advanced artificial intelligence could pose a significant existential risk to humanity. Several research institutes have been set-up to address those risks. And there is an increasing number of academic publications analysing and evaluating their seriousness. Nick Bostrom’s superintelligence: paths, dangers, strategies represents the apotheosis of this trend. In this article, I argue that in defending the credibility of AI risk, Bostrom makes an epistemic move that is analogous to one made by so-called sceptical theists in the debate about the (...) existence of God. And while this analogy is interesting in its own right, what is more interesting are its potential implications. It has been repeatedly argued that sceptical theism has devastating effects on our beliefs and practices. Could it be that AI-doomsaying has similar effects? I argue that it could. Specifically, and somewhat paradoxically, I argue that it could amount to either a reductio of the doomsayers position, or an important and additional reason to join their cause. I use this paradox to suggest that the modal standards for argument in the superintelligence debate need to be addressed. (shrink)

Spinoza’s claims about true ideas are central to the Treatise on the Emendation of the Intellect. It is therefore worth trying to reconstruct what he means when he says that an idea is true. I argue that the three leading interpretations – correspondence, coherence, and causal – don’t explain key passages. I then propose a new interpretation. Roughly, I propose that an idea is true if and only if it represents an essence and was derived in the right kind of (...) way by the intellect from an innate idea of one’s own essence. In the final section I sketch why I believe this interpretation extends to his claims about truth and adequacy in the Ethics. (shrink)

Many philosophers conceive of freedom as non-interference. Such conceptions unify two core commitments. First, they associate freedom with non-constraint. And second, they take seriously a distinction between the interpersonal and the non-personal. As a result, they focus our attention exclusively on constraints attributable to other people’s choices – that is, on interference. I argue that these commitments manifest two distinct concerns: first, for a wide range of options; and second, for other people’s respect. However, construing freedom as non-interference unifies these (...) concerns in a way that does justice to neither. In particular, it focuses our attention on phenomena that are at best tangential, and at worst hostile, to our interest in respect. If we wish to preserve the distinctive significance of the interpersonal, we would be better served by a conception of freedom that focuses immediately on what I call "the social conditions of respect.". (shrink)

Technology could be used to improve morality but it could do so in different ways. Some technologies could augment and enhance moral behaviour externally by using external cues and signals to push and pull us towards morally appropriate behaviours. Other technologies could enhance moral behaviour internally by directly altering the way in which the brain captures and processes morally salient information or initiates moral action. The question is whether there is any reason to prefer one method over the other? In (...) this article, I argue that there is. Specifically, I argue that internal moral enhancement is likely to be preferable to external moral enhancement, when it comes to the legitimacy of political decision-making processes. In fact, I go further than this and argue that the increasingly dominant forms of external moral enhancement may already be posing a significant threat to political legitimacy, one that we should try to address. Consequently, research and development of internal moral enhancements should be prioritised as a political project. (shrink)

A common objection to moral enhancement is that it would undermine our moral freedom and that this is a bad thing because moral freedom is a great good. Michael Hauskeller has defended this view on a couple of occasions using an arresting thought experiment called the 'Little Alex' problem. In this paper, I reconstruct the argument Hauskeller derives from this thought experiment and subject it to critical scrutiny. I claim that the argument ultimately fails because (a) it assumes that moral (...) freedom is an intrinsic good when, in fact, it is more likely to be an axiological catalyst; and (b) there are reasons to think that moral enhancement does not undermine moral freedom. (shrink)

This chapter presents a series of experiments that elicit causal judgments using statements that do not include the verb "to cause". In particular, our interest is in exploring the extent to which previously observed effects of normative considerations on agreement with what we call "cause"-statements, i.e. those of the form "X caused ..." extend as well to those of the form "X V-ed Y", where V is a lexical causative. Our principal finding is that in many cases the effects do (...) not extend in this way, and moreover that the cases where we do find the same pattern are those where the causal verb used has a negative valence of its own. We draw two main conclusions from this finding. First, it reveals how the almost exclusive focus on "cause"-statements in the experimental study of causal judgment has led to findings that are unrepresentative of the full range of ordinary causal thinking, and provides a proof of concept as to how this thinking can be studied in its full variety. Second, the results of our experiments provide significant indirect support for the contention that the effect of moral considerations on agreement with "cause"-statements reflect the fact that these statements are most often used to assign responsibility for an event, and not just to describe the causal structure of what happened. It is not causal judgments in general that result from a process in which normative considerations play a role, but perhaps only those judgments that express a determination of moral responsibility. (shrink)

This article argues that the creation of artificial offspring could make our lives more meaningful. By ‘artificial offspring’ I mean beings that we construct, with a mix of human and non-human-like qualities. Robotic artificial intelligences are paradigmatic examples of the form. There are two reasons for thinking that the creation of such beings could make our lives more meaningful and valuable. The first is that the existence of a collective afterlife—i.e. a set of human-like lives that continue after we die—is (...) likely to be an important source and sustainer of meaning in our present lives. The second is that the creation of artificial offspring provides a plausible and potentially better pathway to a collective afterlife than the traditional biological pathway. Both of these arguments are defended from a variety of objections and misunderstandings. (shrink)

I suggest a solution to two puzzles in Spinoza's metaphysics. The first puzzle involves the mind and the idea of the mind, in particular how they can be identical, even though the mind thinks about bodies and nothing else, whereas the idea of the mind thinks about ideas and nothing else. The second puzzle involves the mind and the idea of a thing that belongs to an unknown attribute, in particular how they can be identical, even though the mind thinks (...) about bodies and nothing else, whereas the idea thinks about things belonging to the unknown attribute and nothing else. I suggest that Spinoza would respond to both puzzles by rejecting the Indiscernibility of Identicals. (shrink)

William James wrote that the life of religion “consists of the belief that there is an unseen order, and that our supreme good lies in harmoniously adjusting ourselves thereto.” Naturalism organizes our experiences of the universe within a science-grounded philosophical and/or religious framework aligning it with what is supremely good for our lives. This article describes a science-grounded specific “Framework of Spirituality” identifying part of this unseen order that opens a “spiritual core” within persons as a source of healing and (...) happiness. A cognitive behavioral therapy (CBT) expanded process shows how experiences of human worth and dignity are keys to this new awareness and provides speculation for a brain function and evolutionary explanation. Details of this knowledge are related to various perspectives and authors of naturalism—scientific, religious, ecstatic, and ecological—to contribute to a future direction for the understanding, development, and further expression of naturalism. (shrink)

Recent discussions of how axioms are extrinsically justified have appealed to abductive considerations: on such accounts, axioms are adopted on the basis that they constitute the best explanation of some mathematical data, or phenomena. In the first part of this paper, I set out a potential problem caused by the appeal made to the notion of mathematical explanation and suggest that it can be remedied once it is noted that all the justificatory work is done by appeal to the theoretical (...) virtues. In the second part of the paper, I appeal to the theoretical virtues account of axiom justification to provide an argument that judgements of theoretical virtuousness, and therefore of extrinsic justification, are subjective in a substantive sense. This tells against a recent claim by Penelope Maddy that such justification is “wholly objective”. (shrink)

This paper discusses the history of the confusion and controversies over whether the definition of consequence presented in the 11-page 1936 Tarski consequence-definition paper is based on a monistic fixed-universe framework?like Begriffsschrift and Principia Mathematica. Monistic fixed-universe frameworks, common in pre-WWII logic, keep the range of the individual variables fixed as the class of all individuals. The contrary alternative is that the definition is predicated on a pluralistic multiple-universe framework?like the 1931 Gödel incompleteness paper. A pluralistic multiple-universe framework recognizes multiple (...) universes of discourse serving as different ranges of the individual variables in different interpretations?as in post-WWII model theory. In the early 1960s, many logicians?mistakenly, as we show?held the ?contrary alternative? that Tarski 1936 had already adopted a Gödel-type, pluralistic, multiple-universe framework. We explain that Tarski had not yet shifted out of the monistic, Frege?Russell, fixed-universe paradigm. We further argue that between his Principia-influenced pre-WWII Warsaw period and his model-theoretic post-WWII Berkeley period, Tarski's philosophy underwent many other radical changes. (shrink)

In this paper I discuss critically Richard Swinburne’s concept of God, which I find to be incoherent, and his understanding of Christianity, which I find to be based on a precritical use of the New Testament.

Skeptical theism (ST) may undercut the key inference in the evidential argument from evil, but it does so at a cost. If ST is true, then we lose our ability to assess the all things considered (ATC) value of natural events and states of affairs. And if we lose that ability, a whole slew of undesirable consequences follow. So goes a common consequential critique of ST. In a recent article, Anderson has argued that this consequential critique is flawed. Anderson claims (...) that ST only has the consequence that we lack epistemic access to potentially God-justifying reasons for permitting a prima facie “bad” (or “evil”) event. But this is very different from lacking epistemic access to the ATC value of such events. God could have an (unknowable) reason for not intervening to prevent E and yet E could still be (knowably) ATC-bad. Ingenious though it is, this article argues that Anderson’s attempted defence of ST is flawed. This is for two reasons. First, and most importantly, the consequential critique does not rely on the questionable assumption he identifies. Indeed, the argument can be made quite easily by relying purely on Anderson’s distinction between God-justifying reasons for permitting E and the ATC value of E. And second, Anderson’s defence of his position, if correct, would serve to undermine the foundations of ST. (shrink)

Anne Conway rejects the view that creatures are essentially members of any natural kind more specific than the kind 'creature'. That is, she rejects essentialism about species membership. This chapter provides an analysis of one of Anne Conway's arguments against such essentialism, which (as I argue) is drawn from metaethical rather than metaphysical premises. In her view, if a creature's species or kind were inscribed in its essence, that essence would constitute a limit on the creature's potential to participate in (...) the divine good. It is this consideration that ultimately leads her to reject essentialism about species membership. The chapter concludes with an examination of some of the metaethical consequences of Conway's view as well as a lesson it can teach us about ideal adviser accounts of the good. (shrink)

This paper tries to clarify, strengthen and respond to two prominent objections to the development and use of human enhancement technologies. Both objections express concerns about the link between enhancement and the drive for hyperagency. The first derives from the work of Sandel and Hauskeller—and is concerned with the negative impact of hyperagency on social solidarity. In responding to their objection, I argue that although social solidarity is valuable, there is a danger in overestimating its value and in neglecting some (...) obvious ways in which the enhancement project can be planned so as to avoid its degradation. The second objection, though common to several writers, has been most directly asserted by Saskia Nagel, and is concerned with the impact of hyperagency on the burden and distribution of responsibility. Though this is an intriguing objection, I argue that not enough has been done to explain why this is morally problematic. I try to correct for this flaw before offering a variety of strategies for dealing with the problems raised. (shrink)

Contrary to common misconceptions, today's logic is not devoid of existential import: the universalized conditional ∀ x [S→ P] implies its corresponding existentialized conjunction ∃ x [S & P], not in all cases, but in some. We characterize the proexamples by proving the Existential-Import Equivalence: The antecedent S of the universalized conditional alone determines whether the universalized conditional has existential import, i.e. whether it implies its corresponding existentialized conjunction.A predicate is an open formula having only x free. An existential-import predicate (...) Q is one whose existentialization, ∃ x Q, is logically true; otherwise, Q is existential-import-free or simply import-free.How abundant or widespread is existential import? How abundant or widespread are existential-import predicates in themselves or in comparison to import-free predicates? We show that existential-import predicates are quite abundant, and no less so than import-free predicates. Existential.. (shrink)

This interesting and imaginative monograph is based on the author’s PhD dissertation supervised by Saul Kripke. It is dedicated to Timothy Smiley, whose interpretation of PRIOR ANALYTICS informs its approach. As suggested by its title, this short work demonstrates conclusively that Aristotle’s syllogistic is a suitable vehicle for fruitful discussion of contemporary issues in logical theory. Aristotle’s syllogistic is represented by Corcoran’s 1972 reconstruction. The review studies Lear’s treatment of Aristotle’s logic, his appreciation of the Corcoran-Smiley paradigm, and his understanding (...) of modern logical theory. In the process Corcoran and Scanlan present new, previously unpublished results. Corcoran regards this review as an important contribution to contemporary study of PRIOR ANALYTICS: both the book and the review deserve to be better known. (shrink)

Klaming and Vedder (2010) have argued that enhancement technologies that improve the epistemic efficiency of the legal system (“epistemic enhancements”) would benefit the common good. But there are two flaws to Klaming and Vedder’s argument. First, they rely on an under-theorised and under-specified conception of the common good. When theory and specification are supplied, their CGJ for enhancing eyewitness memory and recall becomes significantly less persuasive. And second, although aware of such problems, they fail to give due weight and consideration (...) to the tensions between the individual and common good. Taking these criticisms onboard, this article proposes an alternative, and stronger, CGJ for epistemic enhancements. The argument has two prongs. Drawing from the literature on social epistemology and democratic legitimacy, it is first argued that there are strong grounds for thinking that epistemic enhancements are a desirable way to improve the democratic legitimacy of the legal system. This gives prima facie but not decisive weight to the CGJ. It is then argued that due to the ongoing desire to improve the way in which scientific evidence is managed by the legal system, epistemic enhancement is not merely desirable but perhaps morally necessary. Although this may seem to sustain tensions between individual and common interests, I argue that in reality it reveals a deep constitutive harmony between the individual good and the common good, one that is both significant in its own right and one that should be exploited by proponents of enhancement. (shrink)

Bayne and Nagasawa have argued that the properties traditionally attributed to God provide an insufficient grounding for the obligation to worship God. They do so partly because the same properties, when possessed in lesser quantities by human beings, do not give rise to similar obligations. In a recent paper, Jeremy Gwiazda challenges this line of argument. He does so because it neglects the possible existence of a threshold obligation to worship, i.e. an obligation that only kicks in when the value (...) of a parameter has crossed a certain threshold. This article argues that there is a serious flaw in Gwiazda’s proposal. Although thresholds may play an important part in how we think about our obligations, their function is distinct from that envisaged by Gwiazda. To be precise, this article argues that thresholds are only relevant to obligations to the extent that they transform a pre-existing imperfect obligation or act of supererogation into a perfect obligation. Since it is not clear that there is an imperfect obligation to worship any being, and indeed since on a certain conception of moral agency it is highly unlikely that there could be, the search for a rational basis for the obligation to worship must continue. (shrink)

Is sex work (specifically, prostitution) vulnerable to technological unemployment? Several authors have argued that it is. They claim that the advent of sophisticated sexual robots will lead to the displacement of human prostitutes, just as, say, the advent of sophisticated manufacturing robots have displaced many traditional forms of factory labour. But are they right? In this article, I critically assess the argument that has been made in favour of this displacement hypothesis. Although I grant the argument a degree of credibility, (...) I argue that the opposing hypothesis -- that prostitution will be resilient to technological unemployment -- is also worth considering. Indeed, I argue that increasing levels of technological unemployment in other fields may well drive more people into the sex work industry. Furthermore, I argue that no matter which hypothesis you prefer -- displacement or resilience -- you can make a good argument for the necessity of a basic income guarantee, either as an obvious way to correct for the precarity of sex work, or as a way to disincentivise those who may be drawn to prostitution. (shrink)

The appearance of negative terms in quasiprobability representations of quantum theory is known to be inevitable, and, due to its equivalence with the onset of contextuality, of central interest in quantum computation and information. Until recently, however, nothing has been known about how much negativity is necessary in a quasiprobability representation. Zhu :120404, 2016) proved that the upper and lower bounds with respect to one type of negativity measure are saturated by quasiprobability representations which are in one-to-one correspondence with the (...) elusive symmetric informationally complete quantum measurements. We define a family of negativity measures which includes Zhu’s as a special case and consider another member of the family which we call “sum negativity.” We prove a sufficient condition for local maxima in sum negativity and find exact global maxima in dimensions 3 and 4. Notably, we find that Zhu’s result on the SICs does not generally extend to sum negativity, although the analogous result does hold in dimension 4. Finally, the Hoggar lines in dimension 8 make an appearance in a conjecture on sum negativity. (shrink)

“Second-order Logic” in Anderson, C.A. and Zeleny, M., Eds. Logic, Meaning, and Computation: Essays in Memory of Alonzo Church. Dordrecht: Kluwer, 2001. Pp. 61–76. -/- Abstract. This expository article focuses on the fundamental differences between second- order logic and first-order logic. It is written entirely in ordinary English without logical symbols. It employs second-order propositions and second-order reasoning in a natural way to illustrate the fact that second-order logic is actually a familiar part of our traditional intuitive logical framework and (...) that it is not an artificial formalism created by specialists for technical purposes. To illustrate some of the main relationships between second-order logic and first-order logic, this paper introduces basic logic, a kind of zero-order logic, which is more rudimentary than first-order and which is transcended by first-order in the same way that first-order is transcended by second-order. The heuristic effectiveness and the historical importance of second-order logic are reviewed in the context of the contemporary debate over the legitimacy of second-order logic. Rejection of second-order logic is viewed as radical: an incipient paradigm shift involving radical repudiation of a part of our scientific tradition, a tradition that is defended by classical logicians. But it is also viewed as reactionary: as being analogous to the reactionary repudiation of symbolic logic by supporters of “Aristotelian” traditional logic. But even if “genuine” logic comes to be regarded as excluding second-order reasoning, which seems less likely today than fifty years ago, its effectiveness as a heuristic instrument will remain and its importance for understanding the history of logic and mathematics will not be diminished. Second-order logic may someday be gone, but it will never be forgotten. Technical formalisms have been avoided entirely in an effort to reach a wide audience, but every effort has been made to limit the inevitable sacrifice of rigor. People who do not know second-order logic cannot understand the modern debate over its legitimacy and they are cut-off from the heuristic advantages of second-order logic. And, what may be worse, they are cut-off from an understanding of the history of logic and thus are constrained to have distorted views of the nature of the subject. As Aristotle first said, we do not understand a discipline until we have seen its development. It is a truism that a person's conceptions of what a discipline is and of what it can become are predicated on their conception of what it has been. (shrink)

The five English words—sentence, proposition, judgment, statement, and fact—are central to coherent discussion in logic. However, each is ambiguous in that logicians use each with multiple normal meanings. Several of their meanings are vague in the sense of admitting borderline cases. In the course of displaying and describing the phenomena discussed using these words, this paper juxtaposes, distinguishes, and analyzes several senses of these and related words, focusing on a constellation of recommended senses. One of the purposes of this paper (...) is to demonstrate that ordinary English properly used has the resources for intricate and philosophically sound investigation of rather deep issues in logic and philosophy of language. No mathematical, logical, or linguistic symbols are used. Meanings need to be identified and clarified before being expressed in symbols. We hope to establish that clarity is served by deferring the extensive use of formalized or logically perfect languages until a solid “informal” foundation has been established. Questions of “ontological status”—e.g., whether propositions or sentences, or for that matter characters, numbers, truth-values, or instants, are “real entities”, are “idealizations”, or are “theoretical constructs”—plays no role in this paper. As is suggested by the title, this paper is written to be read aloud. -/- I hope that reading this aloud in groups will unite people in the enjoyment of the humanistic spirit of analytic philosophy. (shrink)