This paper concerns top-down approaches in machine ethics. It is divided into three main parts. First, I briefly describe top-down design approaches, and in doing so I make clear what those approaches are committed to and what they involve when it comes to training an AI to behave ethically. In the second part, I formulate two underappreciated motivations for endorsing them, one relating to predictability of machine behavior and the other relating to scrutability of machine decision-making. Finally, I present three (...) major worries about such approaches, and I attempt to show that advocates of top-down approaches have some plausible avenues of response. I focus most of my attention on what I call the ‘technical manual objection’ to top-down approaches, inspired by the work of Annas (2004). In short, the idea is that top-down approaches treat ethical decision-making as being merely a matter of following some ethical instructions in the same way that one might follow some set of instructions contained in a technical manual (e.g., computer manual), and this invites sensible skepticism about the ethical wisdom of machines that have been trained on those approaches. I respond by claiming that the objection is successful only if it is understood as targeting machines that have certain kinds of goals, and it should not compel us to totally abandon top-down approaches. Such approaches could still be reasonably employed to design ethical AI that operate in contexts that include fairly noncontroversial answers to ethical questions. In fact, we should prefer top-down approaches when it comes to those types of context, or so I argue, due to the advantages I claim for them. (shrink)

Thank you all, and good morning. Let’s start with slide one. That’s me, the obsessive, and obsessive is the key word here. I’m food obsessive. I have several obsessions actually, but today we talk about food. When I get home, my wife will ask me, “how did it go?”, and my answer will be, “the breakfast was excellent!” So I travel a great deal, I cook a great deal, and I write an on-line dining guide. I’m one of those (...) people who lives to eat. For a long time now, I have been writing about culture, and creativity, and diversity, and now I am writing about food. And my interest in food really stems from my life, and that is from my obsessive nature. I wanted to be going out there, eating in the best places possible. With this attitude every meal counts. But if every meal is going to count, you have to know how to eat. (shrink)

this with seared tuna best). Cook over high heat in wok until 2/3 to 3/4 cooked but not done. Set aside.

In Perception: First Form of Mind, Tyler Burge develops an understanding of the most primitive type of representational mind: perception. Focusing on its form, function, and underlying capacities, as indicated in the sciences of perception, Burge provides an account of the representational content and formal representational structure of perceptual states, and develops a formal semantics for them. The account is elaborated by an explanation of how the representational form is embedded in an iconic format. These structures are then situated (...) in current theoretical accounts of the processing of perceptual representations, with an emphasis on the formation of perceptual categorizations. An exploration of the relationship between perception and other primitive capacities-conation, attention, memory, anticipation, affect, learning, and imagining-clarifies the distinction between perceiving, with its associated capacities, and thinking, with its associated capacities. Drawing on a broad range of historical and contemporary research, rather than relying on introspection or ordinary talk about perception, Perception: First Form of Mind is a scientifically rigorous and agenda-setting work in the philosophy of perception and the philosophy of science. (shrink)

We argue for an imaginative analog of desire from premises about imaginative engagement with fiction. There's a bit about the paradox of fiction, too.

Utilidade, direitos, e padrões holísticos, todos apontam em direção a alguns passos modestos para limitar ou controlar a atividade predatória de carnívoros em relação às suas vítimas. No mínimo, deveríamos limitar os atuais subsídios aos carnívoros da natureza. Policiar a natureza não precisa ser absurdamente dispendioso ou violar as intuições do senso comum.

In this paper I argue that luck and fortune are distinct concepts that apply to different sets of events. I do so by suggesting that lucky events are best understood as significant events that are either modally fragile or improbable (depending on whether you accept a modal account or a probability account of luck), whereas fortunate events are best understood as significant events that are outside of our control. I call this the Pure Control Account of Fortune. I show that (...) this account of fortune forces control theorists about luck to be fortune reductionists but allows those who endorse a modal or probability account of luck to be fortune realists. Additionally, I argue that this account of fortune helps us overcome prominent counterexamples and challenges found in the luck literature. (shrink)

Abstract: There are epistemic manipulators in the world. These people are actively attempting to sacrifice epistemic goods for personal gain. In doing so, manipulators have led many competent epistemic agents into believing contrarian theories that go against well-established knowledge. In this paper, I explore one mechanism by which manipulators get epistemic agents to believe contrarian theories. I do so by looking at a prominent empirical model of trustworthiness. This model identifies three major factors that epistemic agents look for when trying (...) to determine who is trustworthy. These are (i) ability, (ii) benevolence, and (iii) moral integrity. I then show how manipulators can manufacture the illusion that they possess these factors. This leads epistemic agents to view manipulators as trustworthy sources of information. Additionally, I argue that fact-checking will be an ineffective – or even harmful – practice when correcting the beliefs of epistemic agents who have been tricked by this illusion of epistemic trustworthiness. I suggest that in such cases we should use an alternative correction, which I call trust undercutting. (shrink)

This book provides the English-speaking world with a comprehensive account of the still largely unknown work of Schelling's philosophy of mythology and revelation. Its achievement, however, is not archival but philosophical, elucidating the relation between Schelling and onto-theology. It explains how Schelling dealt with the problem of nihilism and onto-theology well before Nietzsche and Heidegger, arguing that Schelling surpasses onto-theology or the philosophy of presence a century prior to Heidegger. Overall, the author provocatively suggests that Heidegger is perhaps Schelling's genuine (...) heir and by comprehensively interpreting Schelling's multifaceted late lectures he analyzes issues as diverse as the Ancient relation between thinking and Being, the Medieval debate between voluntarism and intellectualism, the overcoming of modern subjectivism and German Idealism as well as many themes in contemporary philosophy. The presentation is systematic rather than thematic, following Schelling's ages of the world through the Past, Present and Future. The results are daring, departing from the half-century long canonical reading of the late Schelling since Walter Schulz. This book is valuable for Schelling-scholars, historians of philosophy and theologians alike. (shrink)

This book provides the English-speaking world with a comprehensive account of the still largely unknown work of Schelling’s philosophy of mythology and revelation. Its achievement, however, is not archival but philosophical, elucidating the relation between Schelling and onto-theology. It explains how Schelling dealt with the problem of nihilism and onto-theology well before Nietzsche and Heidegger, arguing that Schelling surpasses onto-theology or the philosophy of presence a century prior to Heidegger. Overall, the author provocatively suggests that Heidegger is perhaps Schelling’s genuine (...) heir and by comprehensively interpreting Schelling’s multifaceted late lectures he analyzes issues as diverse as the Ancient relation between thinking and Being, the Medieval debate between voluntarism and intellectualism, the overcoming of modern subjectivism and German Idealism as well as many themes in contemporary philosophy. (shrink)

Logical pluralism is the view that there is more than one formal logic that correctly (or best, or legitimately) codifies the logical consequence relation in natural language. This essay provides a taxonomy of different variations on the logical pluralist theme based on a five-part structure, and then identifies an unoccupied position in this taxonomy: perspectival logical pluralism. Perspectival pluralism provides an attractive position from which to formulate a philosophy of logic from a feminist perspective (and from other, identity-based perspectives, such (...) as critical race theory). An example of how such an account might be developed is sketched. The essay concludes by defusing an obvious objection to the perspectival approach: the claim that the correct logic (or logics), in virtue of the formal nature of logic, should be independent of considerations regarding the identity of the reasoner. (shrink)

Employment-based vaccine mandates have worse consequences for existing than prospective employees. Prospective employees are not yet dependent on a particular employment arrangement, so they are better positioned to respond to such mandates. Yet despite this asymmetry in consequences, Smith argues that if vaccine mandates are justified for prospective employees, they are similarly justified for existing employees. This paper responds to Smith’s argument. First, Smith holds that bona fide occupational requirements are actions that are necessary for the safe and effective completion (...) of one’s job. As such, they apply to existing and prospective employees alike. However, I argue that the existence of effective alternative interventions precludes vaccination from being considered a bona fide occupational requirement under current circumstances. Second, Smith holds that if a requirement is justified for prospective employees, it is justified for existing employees, despite the asymmetry in consequences. However, I argue that since vaccination is not a bona fide requirement, the asymmetry in the harms of mandates experienced by prospective versus existing employees entails an asymmetry in the justification required to mandate vaccination for each group. As such, vaccination can be considered a requirement for prospective employees while not being required for existing employees. (shrink)

AI is increasingly becoming based upon Internet-dependent systems to handle the massive amounts of data it requires to function effectively regardless of the availability of stable Internet connectivity in every affected community. As such, sustainable development (SD) for rural and mountain communities will require more than just equitable access to broadband Internet connection. It must also include a thorough means whereby to ensure that affected communities gain the education and tools necessary to engage inclusively with new technological advances, whether they (...) be focused on machine learning algorithms or community infrastructure, as they will be increasingly dependent upon the automational capabilities of AI. In this essay, an exploration will be conducted into the means whereby student-engaged learning (SEL) can effectively be utilized to provide targeted, inclusive education to rural and mountain communities regarding the implications of AI for SD. (shrink)

Inspired by Plantinga’s Evolutionary Argument Against Naturalism (EAAN), we develop an argument—the “Scriptural Argument Against Dogmatic Protestantism” (SAADP)—that Protestants who accept the doctrine of sola scriptura cannot reasonably hold that Catholic and Eastern churches are in doctrinal error. If sola scriptura is true and Catholic and Eastern Churches have fallen into error, it is improbable that any Protestant can reliably form true beliefs about controversial points of Christian doctrine, including sola scriptura or suggestions that Catholic and Eastern Christians are in (...) error. We evaluate potential responses to SADDP, considering how SAADP should affect ecumenical doctrinal debates. (shrink)

The richness of the term “unsettling” has made it readily employable for phenomenological accounts of racism in philosophy of race literature; yet, the term has been left largely under-theorized. Here, I argue that unsettling encounters can be said to occur when the unfamiliar other has come into contact with the boundary of one’s existential home. For many white people, interracial interactions produce an (often unwarranted) feeling of physical danger, but as I hope to show, this habitual (mis)perception of such encounters (...) is not merely a conditioned response; it also functions to subvert situations that might unsettle white identifies partially constituted by phenomenological demarcations of space along racial lines. Drawing on empirical literature and recent developments in critical phenomenology, I suggest that by exercising habitual, racist gestures and perceptions, white people (mis)perceive ontological threats to their worldview—e.g., a bookish Black student or a masculine gay man—as ontically threatening so as to avoid the kind of work and existential anguish that altering one’s normative expectations would require. (shrink)

It is not uncommon for activists to use the language of colonization or occupation to describe the social dynamics at work in cities undergoing gentrification. Should these claims be regarded as ou...

This study renders the complex corpus of the Guodian texts into a more easily manageable form, incorporating the past several years of scholarly activity on these texts and providing them with a comprehensive introduction along with a complete and well-annotated translation into English.

The aim of this paper is to offer a formal criterion for physical computation that allows us to objectively distinguish between competing computational interpretations of a physical system. The criterion construes a computational interpretation as an ordered pair of functions mapping (1) states of a physical system to states of an abstract machine, and (2) inputs to this machine to interventions in this physical system. This interpretation must ensure that counterfactuals true of the abstract machine have appropriate counterparts which are (...) true of the physical system. The criterion proposes that rival interpretations be assessed on the basis of simplicity. Simplicity is construed as the Kolmogorov complexity of the interpretation. This approach is closely related to the notion of algorithmic information distance and draws on earlier work on real patterns. (shrink)

What does free will mean to laypersons? The present investigation sought to address this question by identifying how laypersons distinguish between free and unfree actions. We elicited autobiographical narratives in which participants described either free or unfree actions, and the narratives were subsequently subjected to impartial analysis. Results indicate that free actions were associated with reaching goals, high levels of conscious thought and deliberation, positive outcomes, and moral behavior (among other things). These findings suggest that lay conceptions of free will (...) fit well with the view that free will is a form of action control. (shrink)

Daniel Dennett distinguishes real patterns from bogus patterns by appeal to compressibility. As information theorists have shown, data are compressible if and only if those data exhibit a pattern....

The story of the Vox Populi embodies conflict theory, one popular interpretation of Marx's ideas, portraying a bloody revolution that loses sight of its ideals, turns anarchistic, and becomes the new oppressor. In Columbia, Zachary Hale Comstock and Jeremiah Fink illustrate the way the bourgeoisie may come to create and control the means of production. As the friction builds between the bourgeoisie and the proletariat, historical processes contribute to the inevitable collapse of capitalism. In BioShock Infinite, the simmering friction between (...) the upper and lower classes boils over into the rise of the Vox Populi. The functionalist perspective often casts religion as a social structure that keeps society together despite any negative costs it may have for any particular group. In order for the bourgeoisie to own the means of production and keep the working class oppressed, it uses propaganda and indoctrination as powerful agents of control. (shrink)

Part of the ingenious quality of LEGO is that it is a system of play, fundamentally based on interconnecting sets of parts and open‐endedness. Nowadays, themed and specialized LEGO playsets far outnumber the more free‐form building oriented sets we might see on store shelves. Everything from the themed LEGO Space and LEGO City to extensions of the imaginary franchise universes of Star Wars, Harry Potter, and The Simpsons suggest a kind of play experience where purely imagination‐driven building becomes secondary to (...) the kinds of storytelling and narrative play that LEGO playsets encourage. The different kinds of play—LEGO playset building compared to LEGO video game playing—can be thought of as ludus (more structured, goal‐oriented play) and paidia (exuberant, spontaneous free play). LEGO in many ways serves as a helpful analogy for how philosophical thinking can lead people toward new connections between their thoughts and ideas. LEGO and philosophy invite them to question the nature of play. (shrink)

After the Second World War, Adorno was politically engaged as a critical public intellectual in the new Federal Republic of Germany. Nonetheless, in the 1960s, a time of active protest against established norms and the underlying socio‐economic and political conditions, he was widely perceived by the protesting activists as adopting an attitude of resignation in blatant contradiction to the aims of his critical social theory. The chapter considers the validity of this accusation. Section 37.1 sets out Adorno's position with regard (...) to the relationship between theory and praxis from the 1950s onwards. Section 37.2 considers the adequacy of his position from the point of view of Critical Social Theory's fundamental concern with radical societal transformation. Contending that Adorno does in effect adopt a stance of resignation vis‐à‐vis radical societal transformation, it draws attention to some questionable elements in his theory that push him toward adopting this stance. It concludes that his theory would benefit from dispensing with them. (shrink)

Non‐Humean theories of natural necessity invoke modally‐laden primitives to explain why nature exhibits lawlike regularities. However, they vary in the primitives they posit and in their subsequent accounts of laws of nature and related phenomena (including natural properties, natural kinds, causation, counterfactuals, and the like). This article provides a taxonomy of non‐Humean theories, discusses influential arguments for and against them, and describes some ways in which differences in goals and methods can motivate different versions of non‐Humeanism (and, for that matter, (...) Humeanism). In short, this article provides an introduction to non‐Humeanism concerning the metaphysics of laws of nature and natural necessity. (shrink)

The concept of artificial intelligence is not new nor is the notion that it should be granted legal protections given its influence on human activity. What is new, on a relative scale, is the notion that artificial intelligence can possess citizenship—a concept reserved only for humans, as it presupposes the idea of possessing civil duties and protections. Where there are several decades’ worth of writing on the concept of the legal status of computational artificial artefacts in the USA and elsewhere, (...) it is surprising that law makers internationally have come to a standstill to protect our silicon brainchildren. In this essay, it will be assumed that future artificial entities, such as Sophia the Robot, will be granted citizenship on an international scale. With this assumption, an analysis of rights will be made with respect to the needs of a non-biological intelligence possessing legal and civic duties akin to those possessed by humanity today. This essay does not present a full set of rights for artificial intelligence—instead, it aims to provide international jurisprudence evidence aliunde ab extra de lege lata for any future measures made to protect non-biological intelligence. (shrink)

Waiting time is widely used in health and social policy to make resource allocation decisions, yet no general account of the moral significance of waiting time exists. We provide such an account. We argue that waiting time is not intrinsically morally significant, and that the first person in a queue for a resource does not ipso facto have a right to receive that resource first. However, waiting time can and sometimes should play a role in justifying allocation decisions. First, there (...) is a duty of fairness prohibiting line-cutting where a sufficiently just queue exists. Second, waiting time has several morally attractive features that can justify its incorporation into allocation schemes. Where candidates are in relevantly similar circumstances, allocating by waiting time is relatively efficient, maximizes distribution equality relative to other Pareto efficient distributions, and treats candidates fairly. The claim that allocation using waiting time is fair is controversial. Some have claimed that formal lotteries are a fairer way to select among equal beneficiaries. We argue that lotteries are no fairer than allocation based on waiting time when it is equiprobable how a prospective queue will be ordered. In practice, lotteries share many of the disadvantages of queues; which is fairer will depend on contingent features of the allocation scenario. The upshot is that first-come, first-served is in fact a just way to allocate resources in many of the cases where it seems pre-theoretically compelling, and waiting time has unique normative properties which frequently justify its incorporation into resource allocation schemes. (shrink)

Traditional epistemic and doxastic logics cannot deal with inconsistent beliefs nor do they represent the evidence an agent possesses. So-called ‘evidence logics’ have been introduced to deal with both of those issues. The semantics of these logics are based on neighbourhood or hypergraph frames. The neighbourhoods of a world represent the basic evidence available to an agent. On one view, beliefs supported by evidence are propositions derived from all maximally consistent collections evidence. An alternative concept of beliefs takes them to (...) be propositions derivable from consistent partitions of one’s inconsistent evidence; this is known as Schotch-Jennings Forcing. This paper develops a modal logic based on the hypergraph semantics to represent Schotch-Jennings Forcing. The modal language includes an operator U(φ1,…,φn;ψ)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$U(\varphi _1, \ldots, \varphi _n;\psi )$$\end{document} which is similar to one introduced in Instantial Neighbourhood Logic. It is of variable arity and the input formulas enjoy distinct roles. The U operator expresses that all evidence at a particular world that supports ψ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\psi $$\end{document} can be supported by at least one of the φi\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\varphi _i$$\end{document}s. U can then be used to express that all the evidence available can be unified by the finite set of formulas φ1,…,φn\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\varphi _1,\ldots, \varphi _n$$\end{document} if ψ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\psi $$\end{document} is taken to be ⊤\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\top $$\end{document}. Future developments will then use that semantics as the basis for a doxastic logic akin to evidence logics. (shrink)

The No-No Paradox consists of a pair of statements, each of which ?says? the other is false. Roy Sorensen claims that the No-No Paradox provides an example of a true statement that has no truthmaker: Given the relevant instances of the T-schema, one of the two statements comprising the ?paradox? must be true (and the other false), but symmetry constraints prevent us from determining which, and thus prevent there being a truthmaker grounding the relevant assignment of truth values. Sorensen's view (...) is mistaken: situated within an appropriate background theory of truth, the statements comprising the No-No Paradox are genuinely paradoxical in the same sense as is the Liar (and thus, on Sorensen's view, must fail to have truth values). This result has consequences beyond Sorensen's semantic framework. In particular, the No-No Paradox, properly understood, is not only a new paradox, but also provides us with a new type of paradox, one which depends upon a general background theory of the truth predicate in a way that the Liar Paradox and similar constructions do not. (shrink)

In all probability, future generations will outnumber us by thousands or millions to one. In the aggregate, their interests therefore matter enormously, and anything we can do to steer the future of civilization onto a better trajectory is of tremendous moral importance. This is the guiding thought that defines the philosophy of longtermism. Political science tells us that the practices of most governments are at stark odds with longtermism. But the problems of political short-termism are neither necessary nor inevitable. In (...) principle, the state could serve as a powerful tool for positively shaping the long-term future. In this chapter, we make some suggestions about how to align government incentives with the interests of future generations. First, in Section II, we explain the root causes of political short-termism. Then, in Section III, we propose and defend four institutional reforms that we think would be promising ways to increase the time horizons of governments: 1) government research institutions and archivists; 2) posterity impact assessments; 3) futures assemblies; and 4) legislative houses for future generations. Section IV concludes with five additional reforms that are promising but require further research: to fully resolve the problem of political short-termism we must develop a comprehensive research program on effective longtermist political institutions. (shrink)

One widely used method for allocating health care resources involves the use of cost-effectiveness analysis (CEA) to rank treatments in terms of quality-adjusted life-years (QALYs) gained. CEA has been criticized for discriminating against people with disabilities by valuing their lives less than those of non-disabled people. Avoiding discrimination seems to lead to the ’QALY trap’: we cannot value saving lives equally and still value raising quality of life. This paper reviews existing responses to the QALY trap and argues that all (...) are problematic. Instead, we argue that adopting a moderate form of prioritarianism avoids the QALY trap and disability discrimination. (shrink)

Inleiding wetenschapsfilosofie voor 3e jaarsstudenten wis- en natuurkunde aan de TH Delft en Universiteit van Amsterdam.

The Enlightenment era saw European thinkers increasingly concerned with what it meant to be human. This was due at least in part to the increasing awareness of human diversity brought by exploration and travel to new domains. This collection of essays traces the concept of 'humanity' through revolutionary politics, feminist biography, portraiture, explorer narratives, libertine and Orientalist fiction, the philosophy of conversation and musicology. Its contributors argue that across these fields, the central philosophical conundrums of the era were reflected, and (...) sometimes transformed, in surprising ways. Publisher's note. (shrink)

Many Buddhists tend to think that the world is overall, a good state of affairs, and that life is worth living. However, Yujin Nagasawa points out that there is a mismatch between the positive value one puts on the world and the Buddhist's metaphysics. Buddhism endorses the impermanence thesis which roughly states that all things exist only momentarily. And it's the impermanent nature of reality that leads to significant suffering in the world. If impermanence is a fundamental feature to reality, (...) and, if suffering is primarily linked to the impermanent nature of reality, how can one consistently give an optimistic assessment of the value of the world? In this paper, I come to the aid of the Buddhist and point to how she might develop her own response to this problem. (shrink)

The legacies of Thomas Aquinas and Karl Barth remain influential for contemporary theologians, who have increasingly put them into conversation on debated questions over analogy and the knowledge of God. However, little explicit dialogue has occurred between their theologies of God. This book offers one of the first extended analyzes of this fundamental issue, asking how each theologian seeks to confess in fact and in thought God's qualitative distinctiveness in relation to creation. Wittman first examines how they understand the correspondence (...) and distinction between God's being and external acts within an overarching concern to avoid idolatry. Second, he analyzes the kind of relation God bears to creation that follows from these respective understandings. Despite many common goals, Aquinas and Barth ultimately differ on the subject matter of theological reason with consequences for their ability to uphold God's distinctiveness consistently. These mutually informative issues offer some important lessons for contemporary theology. (shrink)

Many real-world agents recognise that they impose harms by choosing to emit carbon, e.g., by flying. Yet many do so anyway, and then attempt to make things right by offsetting those harms. Such offsetters typically believe that, by offsetting, they change the deontic status of their behaviour, making an otherwise impermissible action permissible. Do they succeed in practice? Some philosophers have argued that they do, since their offsets appear to reverse the adverse effects of their emissions. But we show that (...) they do not. In practice, standard carbon offsetting does not reverse the harms of the original action, nor does it even benefit the same group as was harmed. Standard moral theories hence deny that such offsetting succeeds. Indeed, we show that any moral theory that allows offsetting in this setting faces a dilemma between allowing any wrong to be offset, no matter how grievous, and recognising an implausibly sharp discontinuity between offsettable actions and non-offsettable actions. The most plausible response is to accept that carbon offsetting fails to right our climate wrongs. (shrink)

This appendix is intended to assist the reader in becoming comfortable with the notations, rules, and definitions of Frege's Grundgesetze.

This “fun, brain-twisting book... will make you think” as it explores more than 75 paradoxes in mathematics, philosophy, physics, and the social sciences (Sean Carroll, New York Times–bestselling author of Something Deeply Hidden) Paradox is a sophisticated kind of magic trick. A magician’s purpose is to create the appearance of impossibility, to pull a rabbit from an empty hat. Yet paradox doesn’t require tangibles, like rabbits or hats. Paradox works in the abstract, with words and concepts and symbols, to create (...) the illusion of contradiction. There are no contradictions in reality, but there can appear to be. In Sleight of Mind, Matt Cook and a few collaborators dive deeply into more than 75 paradoxes in mathematics, physics, philosophy, and the social sciences. As each paradox is discussed and resolved, Cook helps readers discover the meaning of knowledge and the proper formation of concepts—and how reason can dispel the illusion of contradiction. The journey begins with “a most ingenious paradox” from Gilbert and Sullivan’s Pirates of Penzance. Readers will then travel from Ancient Greece to cutting-edge laboratories, encounter infinity and its different sizes, and discover mathematical impossibilities inherent in elections. They will tackle conundrums in probability, induction, geometry, and game theory; perform “supertasks”; build apparent perpetual motion machines; meet twins living in different millennia; explore the strange quantum world—and much more. (shrink)

Paradoxes are arguments that lead from apparently true premises, via apparently uncontroversial reasoning, to a false or even contradictory conclusion. Paradoxes threaten our basic understanding of central concepts such as space, time, motion, infinity, truth, knowledge, and belief. In this volume Roy T Cook provides a sophisticated, yet accessible and entertaining, introduction to the study of paradoxes, one that includes a detailed examination of a wide variety of paradoxes. The book is organized around four important types of paradox: the (...) semantic paradoxes involving truth, the set-theoretic paradoxes involving arbitrary collections of objects, the Soritical paradoxes involving vague concepts, and the epistemic paradoxes involving knowledge and belief. In each of these cases, Cook frames the discussion in terms of four different approaches one might take towards solving such paradoxes. Each chapter concludes with a number of exercises that illustrate the philosophical arguments and logical concepts involved in the paradoxes. _Paradoxes_ is the ideal introduction to the topic and will be a valuable resource for scholars and students in a wide variety of disciplines who wish to understand the important role that paradoxes have played, and continue to play, in contemporary philosophy. (shrink)