In their recent ‘The ethical case for non-directed postmortem sperm donation’, Hodson and Parker outline and defend the concept of voluntary non-directed postmortem sperm donation, the idea that men should be able to register their desire to donate their sperm after death for use by strangers since this would offer a potential means of increasing the quantity and heterogeneity of donor sperm. In this response, we raise some concerns about their proposal, focusing in particular on the fact that current methodologies (...) do not make for a reliable way of ensuring that sperm retrieved postmortem has a good chance of leading to conception, which is in turn likely to make potential recipients reluctant to use such sperm. These concerns add to the ethical doubts that attend aspects of the proposal, making the prospect of implementation of such a policy unlikely at best. (shrink)

Identity claims often look nonsensical because they apparently declare distinct things to be identical. I argue that this appearance is not just an artefact of grammar. We should be fictionalists about such claims, seeing them against the background of speakers' pretense that their words secure reference to a plurality of objects that are then declared to be identical from within the pretense. I argue that it is the resulting interpretative tension – arising from the fact that two things can never (...) be identical – that allows us to understand the real point of such statements. This view also offers a new solution to Fege's puzzle of the informativeness of identity statements. (shrink)

This article argues that standard causal and functionalist definitions of realization fail to account for the realization of entities that cannot be individuated in causal or functional terms. By modifying such definitions to require that realizers also logically suffice for any historical properties of the entities they realize, one can provide for the realization of entities whose resistance to causal/functional individuation stems from their possession of individuative historical properties. But if qualia cannot be causally or functionally individuated, then qualia can (...) be physically realized only if the thesis that all things are physical or physically realized is insufficient for physicalism. (shrink)

There are things we routinely say that may strike us as literally false but that we are nonetheless reluctant to give up. This might be something mundane, like the way we talk about the sun setting in the west, or it could be something much deeper, like engaging in talk that is ostensibly about numbers despite believing that numbers do not literally exist. Rather than regard such behaviour as self-defeating, a "fictionalist" is someone who thinks that this kind of discourse (...) is entirely appropriate, even helpful, so long as we treat what is said as a useful fiction, rather than as the sober truth. "Fictionalism" can be broadly understood as a view that uses a notion of pretense or fiction in order to resolve certain puzzles or problems that otherwise do not necessarily have anything to do with literature or fictional creations. Within contemporary analytic philosophy, fictionalism has been on the scene for well over a decade and has matured during that time, growing in popularity. There are now myriad competing views about fictionalism and consequently the discussion has branched out into many more subdisciplines of philosophy. Yet there is widespread disagreement on what philosophical fictionalism actually amounts to and about how precisely it ought to be pursued. This volume aims to guide these discussions, collecting some of the most up-to-date work on fictionalism and tracing the view's development over the past decade. After a detailed discussion in the book's introductory chapter of how philosophers should think of fictionalism and its connection to metaontology more generally, the remaining chapters provide readers with arguments for and against this view from leading scholars in the fields of epistemology, ethics, metaphysics, philosophy of science, philosophy of language, and others. (shrink)

Theories of phenomenal intentionality have been claimed to resolve certain worries about the indeterminacy of mental content that rival, externalist theories face. Thus far, however, such claims have been largely programmatic. This paper aims to improve on prior arguments in favor of phenomenal intentionality by using attention and Gestalt principles as specific examples of factors that influence the phenomenal character of perceptual experience in ways that thereby help determine perceptual content. Some reasons are then offered for rejecting an alternative interpretation (...) of these examples, according to which the phenomenal effects of attention and Gestalt principles play no role in the determination of perceptual content. (shrink)

Well-Being and Death addresses philosophical questions about death and the good life: what makes a life go well? Is death bad for the one who dies? How is this possible if we go out of existence when we die? Is it worse to die as an infant or as a young adult? Is it bad for animals and fetuses to die? Can the dead be harmed? Is there any way to make death less bad for us? Ben Bradley defends the (...) following views: pleasure, rather than achievement or the satisfaction of desire, is what makes life go well; death is generally bad for its victim, in virtue of depriving the victim of more of a good life; death is bad for its victim at times after death, in particular at all those times at which the victim would have been living well; death is worse the earlier it occurs, and hence it is worse to die as an infant than as an adult; death is usually bad for animals and fetuses, in just the same way it is bad for adult humans; things that happen after someone has died cannot harm that person; the only sensible way to make death less bad is to live so long that no more good life is possible. (shrink)

This paper defends the view, put roughly, that to think that p is to guess that p is the answer to the question at hand, and that to think that p rationally is for one’s guess to that question to be in a certain sense non-arbitrary. Some theses that will be argued for along the way include: that thinking is question-sensitive and, correspondingly, that ‘thinks’ is context-sensitive; that it can be rational to think that p while having arbitrarily low credence (...) that p; that, nonetheless, rational thinking is closed under entailment; that thinking does not supervene on credence; and that in many cases what one thinks on certain matters is, in a very literal sense, a choice. Finally, since there are strong reasons to believe that thinking just is believing, there are strong reasons to think that all this goes for belief as well. (shrink)

In this article, I attempt to resuscitate the perennially unfashionable distinctive feeling theory of pleasure (and pain), according to which for an experience to be pleasant (or unpleasant) is just for it to involve or contain a distinctive kind of feeling. I do this in two ways. First, by offering powerful new arguments against its two chief rivals: attitude theories, on the one hand, and the phenomenological theories of Roger Crisp, Shelly Kagan, and Aaron Smuts, on the other. Second, by (...) showing how it can answer two important objections that have been made to it. First, the famous worry that there is no felt similarity to all pleasant (or unpleasant) experiences (sometimes called ‘the heterogeneity objection’). Second, what I call ‘Findlay’s objection’, the claim that it cannot explain the nature of our attraction to pleasure and aversion to pain. (shrink)

Motivated by weaknesses with traditional accounts of logical epistemology, considerable attention has been paid recently to the view, known as anti-exceptionalism about logic, that the subject matter and epistemology of logic may not be so different from that of the recognised sciences. One of the most prevalent claims made by advocates of AEL is that theory choice within logic is significantly similar to that within the sciences. This connection with scientific methodology highlights a considerable challenge for the anti-exceptionalist, as two (...) uncontentious claims about scientific theories are that they attempt to explain a target phenomenon and prove their worth through successful predictions. Thus, if this methodological AEL is to be viable, the anti-exceptionalist will need a reasonable account of what phenomena logics are attempting to explain, how they can explain, and in what sense they can be said to issue predictions. This paper makes sense of the anti-exceptionalist proposal with a new account of logical theory choice, logical predictivism, according to which logics are engaged in both a process of prediction and explanation. (shrink)

According to hedonism about well-being, lives can go well or poorly for us just in virtue of our ability to feel pleasure and pain. Hedonism has had many advocates historically, but has relatively few nowadays. This is mainly due to three highly influential objections to it: The Philosophy of Swine, The Experience Machine, and The Resonance Constraint. In this paper, I attempt to revive hedonism. I begin by giving a precise new definition of it. I then argue that the right (...) motivation for it is the ‘experience requirement’ (i.e., that something can benefit or harm a being only if it affects the phenomenology of her experiences in some way). Next, I argue that hedonists should accept a felt-quality theory of pleasure, rather than an attitude-based theory. Finally, I offer new responses to the three objections. Central to my responses are (i) a distinction between experiencing a pleasure (i.e., having some pleasurable phenomenology) and being aware of that pleasure, and (ii) an emphasis on diversity in one’s pleasures. (shrink)

We argue that computation via quantum mechanical processes is irrelevant to explaining how brains produce thought, contrary to the ongoing speculations of many theorists. First, quantum effects do not have the temporal properties required for neural information processing. Second, there are substantial physical obstacles to any organic instantiation of quantum computation. Third, there is no psychological evidence that such mental phenomena as consciousness and mathematical thinking require explanation via quantum theory. We conclude that understanding brain function is unlikely to require (...) quantum computation or similar mechanisms. (shrink)

What is it for a life to be meaningful? In this article, I defend what I call Consequentialism about Meaning in Life, the view that one's life is meaningful at time t just in case one's surviving at t would be good in some way, and one's life was meaningful considered as a whole just in case the world was made better in some way for one's having existed.

Philosophers of logic are particularly interested in understanding the aims, epistemology, and methodology of logic. This raises the question of how the philosophy of logic should go about these enquires. According to the practice-based approach, the most reliable method we have to investigate the methodology and epistemology of a research field is by considering in detail the activities of its practitioners. This holds just as true for logic as it does for the recognised empirical and abstract sciences. If we wish (...) to systematically understand the aims and epistemology of logic, we are best placed achieving this by looking at what logicians do, rather than reflecting upon the nature of logic itself. In this entry, we outline the motivations for a practice-based approach towards the philosophy of logic and highlight its advantages over more “top-down” approaches, which attempt to infer conclusions about the nature of logic and its methodology on the basis of traditional assumptions about knowledge, metaphysics, or logic itself. We end by addressing several prominent concerns raised against the practice-based approach. (shrink)

I argue that extant accounts of harm all fail to account for important desiderata, and that we should therefore jettison the concept when doing moral philosophy.

This paper presents a theory and computational model of the role of emotions in group decision making. After reviewing the role of emotions in individual decision making, it describes social and psychological mechanisms by which emotional and other information is transmitted between individuals. The processes by which these mechanisms can contribute to group consensus are modeled computationally using a program, HOTCO 3, which has been used to simulate simple cases of emotion-based group decision making.

Given the plethora of competing logical theories of validity available, it’s understandable that there has been a marked increase in interest in logical epistemology within the literature. If we are to choose between these logical theories, we require a good understanding of the suitable criteria we ought to judge according to. However, so far there’s been a lack of appreciation of how logical practice could support an epistemology of logic. This paper aims to correct that error, by arguing for a (...) practice-based approach to logical epistemology. By looking at the types of evidence logicians actually appeal to in attempting to support their theories, we can provide a more detailed and realistic picture of logical epistemology. To demonstrate the fruitfulness of a practice-based approach, we look to a particular case of logical argumentation—the dialetheist’s arguments based upon the self-referential paradoxes—and show that the evidence appealed to support a particular theory of logical epistemology, logical abductivism. (shrink)

One prominent argument in international law and religious thought for abolishing capital punishment is that it violates individuals’ right to life. Notably, this _right-to-life argument_ emerged from normative and legal frameworks that recognize deadly force against aggressors as justified when necessary to stop their unjust threat of grave harm. Can capital punishment be necessary in this sense—and thus justified defensive killing? If so, the right-to-life argument would have to admit certain exceptions where executions are justified. Drawing on work by Hugo (...) Bedau, I identify a thought experiment where executions are justified defensive killing but explain why they cannot be in our world. A state’s obligations to its prisoners include the _obligation to use nonlethal incapacitation_ (ONI), which applies as long as prisoners pose no imminent threat. ONI precludes executions for reasons of future dangerousness. By subjecting the right-to-life argument to closer scrutiny, this article ultimately places it on firmer ground. (shrink)

The move to satisficing has been thought to help consequentialists avoid the problem of demandingness. But this is a mistake. In this article I formulate several versions of satisficing consequentialism. I show that every version is unacceptable, because every version permits agents to bring about a submaximal outcome in order to prevent a better outcome from obtaining. Some satisficers try to avoid this problem by incorporating a notion of personal sacrifice into the view. I show that these attempts are unsuccessful. (...) I conclude that, if satisficing consequentialism is to remain a position worth considering, satisficers must show (i) that the move to satisficing is necessary to solve some problem, whether it be the demandingness problem or some other problem, and (ii) that there is a version of the view that does not permit the gratuitous prevention of goodness. (shrink)

In this paper, I reconstruct Robert Nozick's experience machine objection to hedonism about well-being. I then explain and briefly discuss the most important recent criticisms that have been made of it. Finally, I question the conventional wisdom that the experience machine, while it neatly disposes of hedonism, poses no problem for desire-based theories of well-being.

The philosophical study of well-being concerns what makes lives good for their subjects. It is now standard among philosophers to distinguish between two kinds of well-being: - lifetime well-being, i.e., how good a person's life was for him or her considered as a whole, and - temporal well-being, i.e., how well off someone was, or how they fared, at a particular moment in time or over a period of time longer than a moment but shorter than a whole life, say, (...) a day, month, year, or chapter of a life. Many theories have been offered of each of these kinds of well-being. A common view is that lifetime well-being is in some way constructed out of temporal well-being. This book argues that much of this literature is premised on a mistake. Lifetime well-being cannot be constructed out of temporal well-being, because there is no such thing as temporal well-being. The only genuine kind of well-being is lifetime well-being. The Passing of Temporal Well-Being will prove essential reading for professional philosophers, especially in moral and political philosophy. It will also be of interest to welfare economists and policy-makers who appeal to well-being. (shrink)

Among the areas of knowledge that the method of reflective equilibrium (RE) has been applied to is that of logical validity. According to RE in logic, we come to be justified in believing a (deductive) logical theory in virtue of establishing some state of equilibrium between our initial judgements over the validity of specific (natural language) arguments and the logical principles which constitute our logical theory. Unfortunately, however, while relatively popular, RE with regards to logical theorizing is underspecified. In particular, (...) it’s unclear what constitute: (1) the relevant logical “data”, (2) logical theories, so that they can be suitably tested, and (3) the mechanisms under which such theories are tested. Considering the various options for how to interpret the position, we argue that in order to be workable the advocate of RE about logic must embrace what we call an _operationalised_, _wide_ and _communal_ version of RE with a _rich_ understanding of logical theories. Fortunately for the advocate of RE, there is an available account of logic’s epistemology which possesses just these properties, _logical predictivism_. However, equally unfortunately, logical predictivism commits the advocate of RE to certain further claims that they have historically been weary of holding. Consequently, it is unclear whether RE about logic itself is a viable proposal, or rather a similar but distinct epistemology of logic. (shrink)

This paper provides a new solution to the epistemic paradox of belief-instability, a problem of rational choice which has recently received considerable attention (versions of the problem have been discussed by — among others — Tyler Burge, Earl Conee, and Roy Sorensen). The problem involves an ideally rational agent who has good reason to believe the truth of something of the form:[Ap] p if and only if it is not the case that I accept or believe p.

In this paper I argue against the usual interpretation of\nMeinong's argument for nonexistent objects, an\ninterpretation according to which Meinong imported\nnonexistent objects like "the golden mountain" to account\ndirectly for the truth of statements like the golden\nmountain is golden'. I claim instead (using evidence from\nMeinong's "On Assumptions") that his argument really\ninvolves an ineliminable appeal to the notion of pretense.\nThis appeal nearly convinced Meinong at one stage that he\ncould do without nonexistent objects. The reason, I argue,\nwhy he nonetheless embraced an ontology of nonexistents (...) has\nto do with the phenomenology of representation, and not\nwith semantics. (shrink)

In this groundbreaking new study, Ben Ware carries out a bold reassessment of the relationship between modernism and ethics, arguing that modernist literature and philosophy offer more than simply a snapshot of the moral conflicts of the past: they provide a crucial point of reference for today's emancipatory struggles. Modernism in this assessment is characterized not only by a concern with language and aesthetic creativity, but also by a preoccupation with the question of how to live. Investigating ethical ideas in (...) Wittgenstein, Beckett, Kierkegaard, Kant, Cavell, Marx, Henry James and Lacan, Ware demonstrates how these thinkers can bring us to a new understanding of a constellation of issues which contemporary radical thought must re-visit: utopia, repetition, perfectionism, subtraction, negativity, critique, absence, duty, revolution and political love. The result is a timely and provocative intervention, which re-draws the boundaries for future debates on the ethics and politics of modernism. (shrink)

Recent literature on intrinsic value contains a number of disputes about the nature of the concept. On the one hand, there are those who think states of affairs, such as states of pleasure or desire satisfaction, are the bearers of intrinsic value (“Mooreans”); on the other hand, there are those who think concrete objects, like people, are intrinsically valuable (“Kantians”). The contention of this paper is that there is not a single concept of intrinsic value about which Mooreans and Kantians (...) have disagreed, but rather two distinct concepts. I state a number of principles about intrinsic value that have typically (though not universally) been held by Mooreans, all of which are typically denied by Kantians. I show that there are distinct theoretical roles for a concept of intrinsic value to play in a moral framework. When we notice these distinct theoretical roles, we should realize that there is room for two distinct concepts of intrinsic value within a single moral framework: one that accords with some or all of the Moorean principles, and one that does not. (shrink)

The distinction between perception and cognition has always had a firm footing in both cognitive science and folk psychology. However, there is little agreement as to how the distinction should be drawn. In fact, a number of theorists have recently argued that, given the ubiquity of top-down influences, we should jettison the distinction altogether. I reject this approach, and defend a pluralist account of the distinction. At the heart of my account is the claim that each legitimate way of marking (...) a border between perception and cognition deploys a notion I call ‘stimulus-control.’ Thus, rather than being a grab bag of unrelated kinds, the various categories of the perceptual are unified into a superordinate natural kind. (shrink)

In this paper we consider the possibility of a Quantum Molinism : such a view applies an analogue of the Molinistic account of free will‘s compatibility with God’s foreknowledge to God’s knowledge of (supposedly) indeterministic events at a quantum level. W e ask how (and why) a providential God could care for and know about a world with this kind of indeterminacy. We consider various formulations of such a Quantum Molinism, and after rejecting a number of options arrive at one (...) seemingly coherent formulation. (shrink)

Metaphilosophy, Volume 53, Issue 2-3, Page 267-283, April 2022.

To what extent do we know our own minds when making decisions? Variants of this question have preoccupied researchers in a wide range of domains, from mainstream experimental psychology to cognitive neuroscience and behavioral economics. A pervasive view places a heavy explanatory burden on an intelligent cognitive unconscious, with many theories assigning causally effective roles to unconscious influences. This article presents a novel framework for evaluating these claims and reviews evidence from three major bodies of research in which unconscious factors (...) have been studied: multiple-cue judgment, deliberation without attention, and decisions under uncertainty. Studies of priming and the role of awareness in movement and perception are also given brief consideration. The review highlights that inadequate procedures for assessing awareness, failures to consider artifactual explanations of “landmark” results, and a tendency to uncritically accept conclusions that fit with our intuitions have all contributed to unconscious influences being ascribed inflated and erroneous explanatory power in theories of decision making. The review concludes by recommending that future research should focus on tasks in which participants' attention is diverted away from the experimenter's hypothesis, rather than the highly reflective tasks that are currently often employed. (shrink)

Contrary to frequent declarations that descriptivism as a theory of how names refer is dead and gone, such a descriptivism is, to all appearances, alive and well. Or rather, a descendent of that doctrine is alive and well. This new version—neo-descriptivism, for short—is supposedly immune from the usual arguments against descriptivism, in large part because it avoids classical descriptivism’s emphasis on salient, first-come-to-mind properties and holds instead that a name’s reference-fixing content is typically given by egocentric properties specified in terms (...) of broadly causal relationships between a speaker and his environment: properties like being the actual individual called ‘Aristotle’ referred to by my informants’ use of the name, being the actual individual called ‘George Bush’ whom I have seen/heard described as the U.S. President who started the second Gulf War, and so on. names is not in contention.) What these neo-descriptivists claim is that the usual modal, semantical, and epistemological arguments against classical descriptivism don’t get much of a foothold against this new version, especially if we don’t insist that speakers be able to state these properties on demand. It is enough that these are properties implicit in the semantic judgments of speakers. Recent attacks notwithstanding, such a neo-descriptivism has struck many philosophers as a credible and worthy successor to classical descriptivism. (shrink)

This paper suggests that quantified negative existentials about fiction—statements of the form “There are some / many / etc. Fs in work W who don't exist”—offer a serious challenge to the theorist of fiction: more serious, in a number of ways, that singular negative existentials. I argue that the temptation to think that only a realist semantics of such statements is plausible should be resisted. There are numerous quantified negative existentials found in other areas that seem equally “true” but where (...) a realist semantics imports ontological commitments that few would want to embrace. In the final part of the paper I sketch an alternative pretense account of one such quantified negative existential, and suggest that the account gives us some reason to believe that quantified negative existentials in general, including quantified negative existentials about fiction, can also be understood in pretense terms. (shrink)

In Reference without Referents, Mark Sainsbury aims to provide an account of reference that honours the common-sense view that sentences containing empty names like "Vulcan" and "Santa Claus" are entirely intelligible, and that many such sentences -"Vulcan doesn't exist", "Many children believe that Santa Claus will give them presents at Christmas", etc.- are literally true. Sainsbury's account endorses the Davidsonian program in the theory of meaning, and combines this with a commitment to Negative Free Logic, which holds that all simple (...) sentences containing empty names are false. In this critical review, we pose a number of problems for this account. In particular, we question the ability of Negative Free Logic to make appropriate sense of the truth of familiar sentences containing empty names, including negative existential claims like "Vulcan doesn't exist". /// En Reference without Referents, Mark Sainsbury se propone ofrecer una explicación de la referencia que respete la idea de sentido común de que las oraciones con nombres vacíos como "Vulcano" y "Santa Claus" son completamente inteligibles, y que muchas de oraciones de este tipo -"Vulcano no existe", "Muchos niños creen que Santa Claus les traerá regalos en Navidad", y demás- son literalmente verdaderas. La propuesta de Sainsbury se inscribe dentro del programa davidsoniano en teoría del significado, y combina éste con un compromiso con la Lógica Libre Negativa, según la cual todas las oraciones simples que contienen nombres vacíos son falsas. En este estudio crítico, presentamos varios problemas de esta explicación. En particular, ponemos en duda la habilidad de la Lógica Libre Negativa de entender de manera apropiada la verdad de oraciones conocidas que contienen nombres vacíos, incluidas negaciones de existencia como "Vulcano no existe". (shrink)

Death has long been a pre-occupation of philosophers, and this is especially so today. The Oxford Handbook of Philosophy of Death collects 21 newly commissioned essays that cover current philosophical thinking of death-related topics across the entire range of the discipline. These include metaphysical topics--such as the nature of death, the possibility of an afterlife, the nature of persons, and how our thinking about time affects what we think about death--as well as axiological topics, such as whether death is bad (...) for its victim, what makes it bad to die, what attitude it is fitting to take towards death, the possibility of posthumous harm, and the desirability of immortality. The contributors also explore the views of ancient philosophers such as Aristotle, Plato and Epicurus on topics related to the philosophy of death, and questions in normative ethics, such as what makes killing wrong when it is wrong, and whether it is wrong to kill fetuses, non-human animals, combatants in war, and convicted murderers. With chapters written by a wide range of experts in metaphysics, ethics, and conceptual analysis, and designed to give the reader a comprehensive view of recent developments in the philosophical study of death, this Handbook will appeal to a broad audience in philosophy, particularly in ethics and metaphysics. (shrink)

Several critics of realist theories of political legitimacy have alleged that it possesses a problematic bias towards the status quo. This bias is thought to be reflected in the way in which these...

A clear and provocative introduction to the ethics of COVID-19, suitable for university-level students, academics, and policymakers, as well as the general reader. It is also an original contribution to the emerging literature on this important topic. The author has made it available Open Access, so that it can be downloaded and read for free by all those who are interested in these issues. Key features include: -/- A neat organisation of the ethical issues raised by the pandemic. An exploration (...) of the many complex interconnections between these issues. A succinct case for a continued lockdown until we develop a vaccine. An original account of the Deep Moral Problem of the Pandemic, and a Revolutionary Argument for how we should change society post-pandemic. References to, and engagement with, many of the best writings on the pandemic so far (both in popular media and academic journals). -/- ISBN: 978-0-6489016-0-0. (shrink)

In the nineteenth century, astronomers thought that a planet between Mercury and the Sun was causing perturbations in the orbit of Mercury, and they introduced ‘Vulcan’ as a name for such a planet. But they were wrong: there was, and is, no intra-Mercurial planet. Still, these astronomers went around saying things like (2) Vulcan is a planet between Mercury and the Sun. Some philosophers think that, when nineteenth-century astronomers were theorizing about an intra-Mercurial planet, they created a hypothetical planet.

According to Fogelin’s account of deep disagreements, disputes caused by a clash in framework propositions are necessarily rationally irresolvable. Fogelin’s thesis is a claim about real-life, and not purely hypothetical, arguments: there are such disagreements, and they are incapable of rational resolution. Surprisingly then, few attempts have been made to find such disputes in order to test Fogelin’s thesis. This paper aims to rectify that failure. Firstly, it clarifies Fogelin’s concept of deep disagreement and shows there are several different breeds (...) of such disagreements. Thus, to fully assess Fogelin’s thesis, it will be necessary to seek out cases of each breed to evaluate their rational irresolvability. Secondly, it begins this task by looking at a significant debate within the logical literature over the truth of contradictions. We demonstrate that, while the debate exemplifies a breed of deep disagreement, the parties involved can supply one another with rationally compelling reasons. (shrink)

Using ideas proposed in Aboutness and developed in ‘If-thenism’, Stephen Yablo has tried to improve on classical if-thenism in mathematics, a view initially put forward by Bertrand Russell in his Principles of Mathematics. Yablo’s stated goal is to provide a reading of a sentence like ‘The number of planets is eight’ with a sort of content on which it fails to imply ‘Numbers exist’. After presenting Yablo’s framework, our paper raises a problem with his view that has gone virtually unnoticed (...) in the literature. If we are right, then Yablo’s version of if-thenism cannot succeed. (shrink)

Efforts to promote equitable public policy with algorithms appear to be fundamentally constrained by the “impossibility of fairness” (an incompatibility between mathematical definitions of fairness). This technical limitation raises a central question about algorithmic fairness: How can computer scientists and policymakers support equitable policy reforms with algorithms? In this article, I argue that promoting justice with algorithms requires reforming the methodology of algorithmic fairness. First, I diagnose the problems of the current methodology for algorithmic fairness, which I call “formal algorithmic (...) fairness.” Because formal algorithmic fairness restricts analysis to isolated decision-making procedures, it leads to the impossibility of fairness and to models that exacerbate oppression despite appearing “fair.” Second, I draw on theories of substantive equality from law and philosophy to propose an alternative methodology, which I call “substantive algorithmic fairness.” Because substantive algorithmic fairness takes a more expansive scope of analysis, it enables an escape from the impossibility of fairness and provides a rigorous guide for alleviating injustice with algorithms. In sum, substantive algorithmic fairness presents a new direction for algorithmic fairness: away from formal mathematical models of “fair” decision-making and toward substantive evaluations of whether and how algorithms can promote justice in practice. (shrink)