This paper delves into the complex and conflicting relationship between the body-subject and body-object, as well as the self and the other, within the context of anorexia nervosa. Within the field of phenomenology of medicine and health, the emphasis tends to be on the dimension of the lived body, with limited attention given to the physical dimension of the body. Recognizing the work of scholars who have acknowledged this oversight and made progress in addressing it, this paper aims to further (...) unify the two bodily dimensions of the lived body and the physical body by drawing primarily on Husserl’s phenomenology of constitution and intersubjectivity. The central argument put forth is that in the case of anorexia nervosa, confronted with the inherent split between these dimensions and the conflicting relationship between the self and other, it is crucial to adhere to the constitutive principle of irreducibility of subjectivity. Moreover, there is a need to promote the constitutive interplay between the two dimensions and accentuate the constitutive dialectic structure of the self and other. Through these insights, the paper offers potential avenues for understanding and addressing the lived experiences of individuals battling anorexia nervosa. (shrink)

Metaethical non-naturalists maintain that normative or evaluative properties cannot be reduced to, or otherwise explained in terms of, natural properties. They thus have difficulty explaining what these irreducibly normative properties are supposed to be, other than by saying what they are not. I offer a partial, positive characterization of irreducible normativity in naturalistic terms. At a first pass, it is this: that to attribute a normative property to something is necessarily to commend or condemn that thing, due to the nature (...) of the property attributed. This theory characterizes normativity in terms of the natural phenomenon of performing certain familiar speech acts. The hypothesis does other explanatory work as well: it provides for an account of the "queerness" of normative properties, one superior to other accounts; it explains why metaethical reductionism is bound to fail, in a way friendly to non-naturalism (as opposed to non-cognitivism); and it can help deflect arguments against non-naturalism from the "essential practicality" of normativity. (shrink)

This paper explores some issues concerning the relation between ontological reduction and conceptual reduction, as construed by the physicalists. More specifically, it aims at highlighting and analyzing certain general methodological and ethical implications of the physicalistic research projects. Against this background, the paper identifies a certain category of concepts as “irreducibly holistic”, that is, those with regard to which ontological and conceptual reduction are inextricably bound together. Further, the paper argues that since irreducibly holistic concepts are conceptually irreducible to the (...) physical, they have to be ontologically irreducible to the physical as well, thus rendering physicalism false. This conclusion is reached by analyzing and then rejecting a variety of programmes aimed at accommodating irreducibly holistic concepts within a physicalist framework (including eliminativism, preservative irrealism and quasi-realism). Lastly, an ontologically pluralistic framework is proposed for the purpose of reconciling apparently conflicting insights from different areas of philosophical and scientific inquiry. (shrink)

Functions of type n are characteristic functions on n-ary relations. In Beyond the Frege Boundary [6], Keenan established their importance for natural language semantics, by showing that natural language has many examples of irreducible type n functions, where he called a function of type n reducible if it can be represented as a composition of functions of type 1 . We will give a normal form theorem for functions of type n , and use this to show that natural language (...) has many examples of irreducible type n functions in a much stronger sense, where we take a function to be reducible if it can be represented as a composition of functions of lower types. (shrink)

The indirect realist theory of our knowledge of the external world which Russellian philosophers of mind have appealed to in formulating and defending a unique version of the mind-brain identity theory can be applied also to the formulation and defence of a unique version of functionalism. On the view that results, qualia turn out to be features which do not exist over and above the natural world , and are irreducibly subjective but are non-intrinsic properties of brain states . This (...) view, which can be called ‘Hayekian functionalism’ , thus shows how we can combine the best insights of functionalism with the respect for the subjectivity of qualia which critics of functionalism claim it cannot accommodate. (shrink)

Catholic philosophical anthropologists have defended views of the human person on which we are not reducible to anything non-personal. For example, it is not the case that we are nothing but matter, souls, or parts of society. Nevertheless, most Catholic anthropologies have been reductionistic in other ways. Mark K. Spencer presents a philosophical portrait of human persons on which we are entirely irreducible to anything non-personal, by synthesizing claims from many strands of the Catholic tradition. These include Thomism, Scotism, phenomenology, (...) personalism, nouvelle théologie, analytic philosophy, Greek and Russian thought, and several others. It adjudicates among these traditions' claims by considering whether they are grounded in how we appear in experience and whether they are non-reductionistic. While many metaphysical claims about persons are defended, the picture that ultimately results is one on which persons are best grasped not through abstract concepts but through aesthetic perception, as unique kinds of beauty. This portrait also shows how we have many irreducible parts, principles, and powers. Various chapters explore the irreducibility of our subjectivity, senses, intellect, freedom, and affections, and of our souls, bodies, acts of existence, and activities. Readers will also find explorations of divine simplicity and causality, the nature of matter, organisms, and artifacts, all of which must be understood to fully grasp our own irreducibility. In considering how to synthesize various traditions' claims, the book also offers new solutions to a number of prominent debates in contemporary Catholic philosophy. These include debates over natural law, the natural desire to see God, the separated soul, the nature of gifts, integralism and personalism, idealist and realist phenomenology, and various scholastic accounts of the act of existence. The picture of persons thereby developed helps the reader to perceive persons more perfectly. (shrink)

Practically every contemporary mainstream scientist presumes that all aspects of mind are generated by brain activity. We demonstrate the inadequacy of this picture by assembling evidence for a variety of empirical phenomena which it cannot explain. We further show that an alternative picture developed by F. W. H. Myers and William James successfully accommodates these phenomena, ratifies the common sense view of ourselves as causally effective conscious agents, and is fully compatible with contemporary physics and neuroscience.

In Darwin’s Black Box, Michael J. Behe argues that, because certain biochemical systems are both irreducibly complex and very complex, it is extremely unlikely that they evolved gradually by Darwinian mechanisms, and so extremely likely that they were intelligently designed. I begin this paper by explaining Behe’s argument and defending it against the very common but clearly mistaken charge that it is just a rehash of William Paley’s design argument. Then I critically discuss a number of more serious objections to (...) the argument. I conclude that, while Behe successfully rules out some Darwinian paths to the biochemical systems he discusses, others remain open. Thus, his argument against Darwinian gradualism (and ipso facto his argument for intelligent design) is at best incomplete. (shrink)

Elvio Baccarini has responded generously to my book Medical Ethics: Ordinary Concepts, Ordinary Lives , but I would like to respond to three of his criticisms: first, about the role that theory ought to play in, and in relation to, moral experience; second, about my defence of a doctor’s right to conscientiously object to performing legal abortions; and third, to the reality of posthumous harm. Baccarini claims that I have overstated my claims, and drawn illegitimate metaphysical conclusions from people’s ordinary (...) language. However, I argue that moral language is special precisely because of the way it expresses an irreducible personal perspective. (shrink)

Elijah Chudnoff’s case for irreducible cognitive phenomenology hinges on seeming to see the truth of a mathematical proposition (Chudnoff 2015). In the following, I develop an augmented version of Chudnoff’s case, not based on seeming to see, or intuition, but based on being in a state with presentational phenomenology of high-level content. In contrast to other cases for cognitive phenomenology, those based on Strawson’s case (Strawson 2011), I argue that the case presented here is able to withstand counterarguments, which attempt (...) to reduce cognitive phenomenology to sensory phenomenology. To support my argument, I present findings from Bowden and Jung-Beeman’s experiments with the Aha! Experience (Bowden & Jung-Beeman 2004), and argue that the Aha! Experience is a species of the experience of understanding presented here. I interpret the results of these experiments to provide further evidence for irreducible cognitive phenomenology. (shrink)

Emotion theory includes attempts to reduce or assimilate emotions to states such as bodily feelings, beliefs-desire combinations, and evaluative judgements. Resistance to such approaches is motivated by the claim that emotions possess a sui generis phenomenology. Uriah Kriegel defends a new form of emotion reductivism which avoids positing irreducible emotional phenomenology by specifying emotions’ phenomenal character in terms of a combination of other phenomenologies. This article argues Kriegel’s approach, and similar proposals, are unsuccessful, since typical emotional experiences are constituted by (...) sui generis feelings towards value. (shrink)

This paper deals with axiomatization problems for varieties of residuated meet semilattice-ordered monoids. An internal characterization of the finitely subdirectly irreducible RSs is proved, and it is used to investigate the varieties of RSs within which the finitely based subvarieties are closed under finite joins. It is shown that a variety has this closure property if its finitely subdirectly irreducible members form an elementary class. A syntactic characterization of this hypothesis is proved, and examples are discussed.

The paper presents an exploration of conceptual issues that have arisen in the course of investigating speed-up and slowdown phenomena in small Turing machines, in particular results of a test that may spur experimental approaches to the notion of computational irreducibility. The test involves a systematic attempt to outrun the computation of a large number of small Turing machines (3 and 4 state, 2 symbol) by means of integer sequence prediction using a specialized function for that purpose. The experiment (...) prompts an investigation into rates of convergence of decision procedures and the decidability of sets in addition to a discussion of the (un)predictability of deterministic computing systems in practice. We think this investigation constitutes a novel approach to the discussion of an epistemological question in the context of a computer simulation, and thus represents an interesting exploration at the boundary between philosophical concerns and computational experiments. (shrink)

I engage the works of Michel Foucault and Jean-Luc Marion on the nature of personhood and the self. I find Marion’s phenomenology of the “gift” a more compelling account of personhood especially granting an intuition widely shared by personalist philosophers, namely, that persons are irreducible. I end by responding to objections from within the Christian philosophical tradition.

Recently Flaminio and Montagna (Proceedings of the 5th EUSFLAT Conference, II: 201–206. Ostrava, 2007), (Inter. J. Approx. Reason. 50:138–152, 2009) introduced the notion of a state MV-algebra as an MV-algebra with internal state. We have two kinds: state MV-algebras and state-morphism MV-algebras. These notions were also extended for state BL-algebras in (Soft Comput. doi:10.1007/s00500-010-0571-5). In this paper, we completely describe subdirectly irreducible state-morphism BL-algebras and this generalizes an analogous result for state-morphism MV-algebras presented in (Ann. Pure Appl. Logic 161:161–173, 2009).

Michael Behe’s concept of irreducible complexity, and in particular his use of this concept to critique Darwinism, continues to come under heavy fire from the biological community. The problem with Behe, so Darwinists inform us, is that he has created a problem where there is no problem. Far from constituting an obstacle to the Darwinian mechanism of random variation and natural selection, irreducible complexity is thus supposed to be eminently explainable by this same mechanism. But is it really? It’s been (...) eight years since Behe introduced irreducible complexity in Darwin’s Black Box (a book that continues to sell 15,000 copies per year in English alone). I want in this essay to revisit Behe’s concept of irreducible complexity and indicate why the problem he has raised is, if anything, still more vexing for Darwinism than when he first raised it. The first four sections of this essay review and extend material that I’ve treated elsewhere. The last section contains some novel material. (shrink)

Several theories of emergence will be distinguished. In particular, these are synchronic, diachronic, and weak versions of emergence. While the weaker theories are compatible with property reductionism, synchronic emergentism and strong versions of diachronic emergentism are not. Synchronice mergentism is of particular interest for the discussion of downward causation. For such a theory, a system's property is taken to be emergent if it is irreducible, i.e., if it is not reductively explainable. Furthermore, we have to distinguish two different types of (...) irreducibility with quite different consequences: If, on the one hand, a system's property is irreducible because of the irreducibility of the system's parts' behavior on which the property supervenes, we seem to have a case of "downward causation". This kind of downward causation does not violate the principle of the causal closure of the physical domain. If, on the other hand, a systemic property is irreducible because it is not exhaustively analyzable in terms of its causal role, downward causation is not implied. Rather, it is dubitable how unanalyzable properties might play any causal role at all. Thus, epiphenomenalism seems to be implied. The failure to keep apart the two kinds of irreducibility has muddled recent debate about the emergence of properties considerably. (shrink)

Kant is clear that the concept of the 'highest good' involves both a demand, that we follow the moral law, as well as a promise, that happiness will be the outcome of being moral. The latter element of the highest good has troubled commentators, who tend to find it metaphysically extravagant, involving, as it does, belief in God and an afterlife. Furthermore, it seems to threaten the moral purity that Kant demands: that we obey the moral law for its own (...) sake, not out of interest in the consequences. Those commentators brave enough to tackle the issue look to the concept of the highest good either to add content to the moral law (Silber), or to provide rational motivation, in a way that does not violate moral purity (Beiser and Wood). I argue that such interpretations, although they may be plausible reconstructions, are unable to account for certain conceptual and textual problems. By placing Kant's thought against the background of medieval theology, I argue that the hope for the summum bonum is irreducibly important for Kant, even where its function is not that of providing the content or motivational force of the moral law. Kant is not only concerned with the shape of our duties and motivations, but the shape of the universe within which these emerge. (shrink)

In this paper, I criticize the pairing of irreducible thickness with the traditional view of evaluation which says evaluation is a matter of encoding good or bad in some way. To do this, I first explicate the determination view, which holds that irreducibly thick concepts are to thin concepts as determinates are to determinables. I then show that, even if the determination view did establish irreducible thickness, it would not have proven that the evaluative is well understood as being an (...) instance of the determination relation; in order to do that, the determination view needs to show how the evaluative fit a general analysis of the determination relation. However, when the determination view attempts to fill in the analysis, we get implausible results—so implausible, I claim, that we should see the results as a reductio to the view. To generalize the criticism to any view like the determination view, I show that the same results ensue when we model the evaluative on mereology. Finally, I diagnose the general failure by claiming that the evaluative domain, as conceived by the defender of irreducible thickness, just does not have the structure to secure the tight connection between thick and thin concepts while also carving up our conceptual economy in a plausible way. (shrink)

This paper develops the metaphysical hypothesis that there are irreducibly collective pluralities, pluralities of objects that do not have a singular object among them. A way to formulate this hypothesis using plural quantification will be proposed and the coherence of irreducibly collective existence will be defended. Furthermore, irreducibly collective existence will be shown to allow for bottomless scenarios that do not involve things standing in relations of parthood. This will create logical space for an anti-atomistic form of mereological nihilism.

In this short paper I begin by underlining the sense in which my intentional-historical theory of art, first proposed in 1979, attributes to art a certain irreducible historicality. I next defend the theory, in broad outline, against a number of objections that have been raised against it in the past ten years. I conclude with some remarks on the similarities and differences between ordinary artefact concepts and the concept of an artwork.

This article illuminates a tension internal to Elizabeth Grosz's provocative theory of the irreducibility of sexual difference: while it establishes sexual difference as an ontological force of differentiation, it simultaneously delimits the forms sexual difference can take as fixed and uncrossable. This model thus privileges cissexual difference while invalidating trans modes of embodiment and identification, a move that perpetuates antitrans logic and practices while impoverishing feminist conceptions of the generativity of sexual difference. This article examines the uses of transsexuality (...) throughout Grosz's work on sexual difference, evaluating her claim that sexual difference is irreducible alongside her insistence that transsexuality is an impossible attempt to assume a bodily sex other than that assigned at birth. Illustrating how Grosz's account narrows the generativity of sexual difference down to unchangeable dimorphic sex, this article argues that fixed dimorphic sex is not simply irreducibly given but is the effect of normative schemas. If the power of sexual difference lies in its capacity to generate difference, it need not be constrained to an immobile binary of sexually specific bodies whose morphological possibilities are fixed. This article thus argues for the capacity of sexual difference itself to become otherwise than solely cisgender. (shrink)

The IKt-algebras that we investigate in this paper were introduced in the paper An algebraic axiomatization of the Ewald’s intuitionistic tense logic by the first and third author. Now we characterize by topological methods the subdirectly irreducible IKt-algebras and particularly the simple IKt-algebras. Finally, we consider the particular cases of finite IKt-algebras and complete IKt-algebras.

A characterization of the subdirectly irreducible separable dynamic algebras is presented. The notions develo- ped for this study were also suitable to describe the previously found class of simple separable dynamic algebras.

Empiricists have sought to follow Hume in claiming that causality is a relation between events reducible to something more basic, e.g., regularities or counterfactuals. But all such attempts fail through their inability to distinguish cause from effect. The alternative is that causation is irreducible. Regularities are evidence of causation but do not constitute it. We understand what causation is through performing intentional actions which necessarily involve trying, which in turn just is exercising causal power.

The terms ``objectivity'''' and ``objective'''' are among the mostused yet ill-defined terms in the philosophy of science and epistemology. Common to all thevarious usages is the rhetorical force of ``I endorse this and you should too'''', orto put it more mildly, that one should trust the outcome of the objectivity-producing process.The persuasive endorsement and call to trust provide some conceptual coherenceto objectivity, but the reference to objectivity is hopefully not merely an attemptat persuasive endorsement. What, in addition to epistemological endorsement,does (...) objectivity carry with it? Drawing on recent historical and philosophical work,I articulate eight operationally accessible and distinct senses of objectivity.While there are links among these senses, providing cohesion to the concept, I argue thatnone of the eight senses is strictly reducible to the others, giving objectivity itsirreducible complexity. (shrink)

This is a review of a book that tries to re-establish mind-body dualism by using (a) empirical research on near-death experiences, placebo effects, creativity, claiming even that parapsychology should become a respected part of science, and (b) Frederic W. H. Myers' (1843-1901) metaphor of the brain as a kind of receiving device that records what the irreducible mind sends as messages. Among other things, we criticize the lack of philosophical clarity about mind-body relation, and question the book's tendency to refer (...) to past and current parapsychological literature as reliable. (shrink)

If the former is the case, let us say that anti-reductionism about relational facts is true; if the latter, that reductionism about relational facts is true. Let us say that a fact is relational if it makes true some relational proposition (a proposition that asserts that a relation holds between some objects1), that it is irreducibly relational if, in addition, it does not make true any nonrelational propositions, and that it is monadic if it is not irreducibly relational (if it (...) makes true some proposition that does not assert that a relation holds between some objects). (shrink)

In this article it is argued that it is impossible to give a reductive analysis of knowledge, given that knowledge is an "epistemic" concept with these marks: (1) like necessity, it is only partially truth-functional; and, (2) unlike necessity, it includes an "intentional" component (belief) which is completely non-truth-functional. a reductive analysis would have to contain at least one extensional component, one intentional component, and none that is itself epistemic. but any plausible analysis then turns out either to be non-reductive, (...) e.g., causal, or else falls prey to "gettier" counterexamples. my positive suggestion is that we eschew reductive analyses of epistemic concepts in favor of non-reductive analyses. (shrink)

I argue that Jonas Olson’s argument from irreducible normativity is not a secure basis for an argument for error theory (section 1) and that a better basis is provided by the argument from supervenience, which has more bite against non-naturalist moral realism than Olson is willing to allow (section 2). I suggest there may be a view which can allow for the existence of irreducibly normative facts while remaining unaffected by the kinds of arguments that work against non-naturalist realism. This (...) view is expressivism. Interestingly, James Dreier has recently suggested that expressivism may not escape these arguments. I very briefly outline (but do not pursue) possible response strategies for expressivists (section 3). I close by discussing Olson’s argument against expressivism. Olson suggests, somewhat surprisingly, that expressivism is a bad fit with a plausible evolutionary explanation of our moral thought. I argue that Olson’s argument does not succeed (section 4). (shrink)

CRS(fc) denotes the variety of commutative residuated semilattice-ordered monoids that satisfy (x ⋀ e)k ≤ (x ⋀ e)k+1. A structural characterization of the subdi-rectly irreducible members of CRS(k) is proved, and is then used to provide a constructive approach to the axiomatization of varieties generated by positive universal subclasses of CRS(k).

In this paper, by analyzing the Chalmers-Searle debate about Chalmers’ zombie thought experiment, I attempt to determine the implications that the irreducibility of consciousness has for the truth of materialism. While Chalmers claims that the irreducibility of consciousness forces us to embrace dualism, Searle claims that it has no deep metaphysical import and, in particular, that it is fully consistent with his materialist theory of mind. I argue that this disagreement hinges on the notion of physical identity in (...) play in the discussion. Clarifying this notion in turn helps to clarify what it means to claim that consciousness is irreducible, and provides insight into the implications that the truth of this claim would have for the dualism-materialism debate. Ultimately, I suggest that the sort of irreducibility that can be motivated by the zombie thought experiment is not sufficient to require the rejection of materialism. (shrink)

The article discusses the possibility of a naturalistic explanation of phenomenal experience (qualia). It starts with the analysis of one of the thought experiments described by D. Chalmers in his book “The Conscious Mind. In search of a fundamental theory”, namely, a zombie experiment. The article shows that the conclusions of this experiment can be recognized as correct only provided that the experimenter imagines a complete functional analogue of a human being. However, this condition is not feasible, since the experimenter (...) is required to possess the totality of knowledge about the imaginary creature. Experimenter’s imagination is in one way or another determined by the available conceptual schemes. It is concluded that the thesis of the irreducibility of qualia, based on the data of thought experiments, is a presupposition of conscious mind studies, and not their conclusion. From my point of view, this presupposition can be challenged just as N.I. Lobachevsky challenged the intuitive plausibility of Euclid’s fifth axiom. As an alternative understanding of the nature of qualia I propose J. McDowell's approach, which is called “perceptual conceptualism”. (shrink)

The duality between general frames and modal algebras allows to transfer a problem about the relational (Kripke) semantics into algebraic terms, and conversely. We here deal with the conjecture: the modal algebra A is subdirectly irreducible (s.i.) if and only if the dual frame A* is generated. We show that it is false in general, and that it becomes true under some mild assumptions, which include the finite case and the case of K4. We also prove that a Kripke frame (...) F is generated if and only if the dual algebra F* is s.i. The technical result is that A is s.i. when the set of points which generate the dual frame A* is not of zero measure. (shrink)

At least since Russell, mainstream analytic philosophy has distinguished internal and external relations and acknowledged the existence of both. This seems in line with both the manifest and scientific images of the world. However, there is a recent deflationary trend about relations, which focuses on the truthmakers of relational statements in order to show that putative external relations are in fact internal, and that internal relations do not really exist. Lowe’s posthumous 2016 paper is a thorough presentation of this line (...) of thought. This article critically analyzes Lowe’s arguments in that paper, and some related arguments in recent works. It finds them wanting and thus reaffirms the irreducible reality of relations. (shrink)

In the last thirty years of his life Kant was preoccupied with the question of whether or not the "signs of progress" could be elicited from the vale of tears of the historical process. In what follows I am interested in the question of what kind of meaning Kant's historico-philosophical hypothesis of progress can have for us today. In order to provide an answer to this question, I make a distinction between system-conforming and system-bursting, or unorthodox, versions of historical progress. (...) This distinction is made in order to show that only system-bursting versions of progress can prompt us to confer contemporary meaning on Kant's philosophy of history as a learning process that is conflict ridden and without illusions. (shrink)

For both G. E. Moore and Bernard Lonergan, the question of the good provides a fundamental heuristic indicating its irreducible and thus transcending nature. In Lonergan’s later work, the focus is primarily on the good as manifest in intentional responses to values. But the fundamental metaphysics of the good is never absent from this perspective, and it re-appears explicitly in some later writing. Moore’s anti-reductionist metaethics played a central role in the debates to follow in analytical philosophy in the decades (...) after the appearance of Principia Ethica. In this article, I explore possible convergences between these two avenues of speculation, which in their way both witness to the abiding significance of the scholastic notion of the good as a transcendental. It is argued that the wider purview offered by Lonergan’s analysis of the good, sought in questions as implying metaphysical and theological dimensions, assists in rendering cogent the objectives to which Moore’s question of the good points. (shrink)

I argue for a novel answer to the question “What is hope?”. On my view, rather than aiming for a compound account, i.e. analysing hope in terms of desire and belief, we should understand hope as an irreducible concept. After criticizing influential compound accounts of hope, I discuss Segal and Textor's alternative of describing hope as a primitive mental state. While Segal and Textor argue that available developments of the standard definition do not offer sufficient conditions for hope, I question (...) the deep‐seated idea that desire and belief are even necessary conditions for hope. My suggestion is that we should take seriously the fact that we hope in a great variety of ways and should question the search for elements that are common to all cases. A promising alternative follows the Wittgensteinian idea that cases of hope are related in terms of family resemblance, i.e. are multiply realizable on the ontological level while falling under the non‐definable concept of hope. (shrink)

One common answer to the question of the unity of pleasures is to try to define pleasantness by appealing to a kind of mental states whose unity is less questionable. Desires have been conceived as the best candidates for this unifying role. Indeed, one way of classifying the preceding options concerning the definition of pleasantness, is to constrast conative (or motivational) theories of pleasure with non conative ones. Conative theories of pleasure are often considered as one homogeneous type of pleasure (...) reductionism1. But there are indeed two importantly distinct way of defined pleasure with the help of desire: one can define pleasures as objects of desires (D7) or as satisfactions of desires (D8). For convenience, I shall call desirabilist the theory of the first kind (D7) and satisfactionist the theories of the second kind (D8). In the following, I shall argue that both these options fail. On the assumption that D7 and D8 are the only desired-based account of pleasure, this implies that pleasure can’t be reduced to desire. (shrink)