This article develops a criticism of Alain Badiou’s assertion that “mathematics is ontology.” I argue that despite appearances to the contrary, Badiou’s case for bringing set theory and ontology together is problematic. To arrive at this judgment, I explore how a case for the identification of mathematics and ontology could work. In short, ontology would have to be characterised to make it evident that set theory can contribute to it fundamentally. This is indeed how Badiou proceeds in Being and Event. (...) I review his descriptions of the ontological problematic at some length here, only to argue that set theory is a poor fit. Although philosophers working on questions of being were certainly occupied with matters of oneness and the part-whole relationship, I argue that Badiou’s discussion of philosophical sources points towards a mereological treatment, not a set-theoretic one. Finally, I suggest that Badiou’s philosophical interpretations of key set-theoretic results are better understood as some sort of analogising between mathematics, ontology, and philosophical anthropology. (shrink)

Motion—and, in particular, local motion or change in location—plays a central role in Kenelm Digby’s natural philosophy and in his arguments for the immateriality of the soul. Despite this, Digby’s account of what motion consists in has yet to receive much scholarly attention. In this paper, I advance a novel interpretation of Digby on motion. According to it, Digby holds that for a body to move is for it to divide from and unify with other bodies. This is a view (...) of motion—as change in relations of parthood—that Alison Peterman attributes to Digby’s contemporary and acquaintance, Margaret Cavendish. Having shown that Digby’s presentation of the view predates Cavendish’s by more than a decade, I make a case that Digby’s work influenced Cavendish’s on this topic. In developing and defending my reading, I consider to what extent the Digbean account of motion and the arguments for it accord with the ideals of the mechanical philosophy emerging in the early modern period. (shrink)

If possible worlds are conjunctions of states of affairs, as in David Armstrong’s combinatorial theory, then is the empty world to be thought of as the null conjunction of states of affairs? The proposal seems plausible, and has received support from David Efird, Tom Stoneham, and Armstrong himself. However, in this paper, it is argued that the proposal faces a trilemma: either it leads to the absurd conclusion that the actual world is empty; or it reduces to a familiar representation (...) of the empty world in which the concept of a null conjunction plays no role; or it needs to make room for the null individual of certain non-classical mereologies. (shrink)

Mereological Nominalism, as traditionally understood, states that properties are mereological wholes and that instantiation is mereological. Thus defined, this view faces a number of well-known issues, which make it virtually untenable. Recently, Effingham :160–185, 2020) has offered an alternative account of Mereological Nominalism, which intends to avoid these problems by accepting while rejecting. In this paper, we argue that this theory is not viable for two main reasons. First, it faces a threat of circularity. Second, the various non-mereological accounts of (...) instantiation envisioned by Effingham in order to replace seem inconsistent with. (shrink)

This paper deals with Leibniz’s well-known reductio argument against the infinite number. I will show that while the argument is in itself valid, the assumption that Leibniz reduces to absurdity does not play a relevant role. The last paragraph of the paper reformulates the whole Leibnizian argument in plural terms to show that it is possible to derive the contradiction that Leibniz uses in his argument even in the absence of the premise that he refutes.

When Aristotle introduces the perfect moods, he refers back to the dictum de omni et nullo, a semantic condition for universal affirmations and negations. There recently has been renewed interest in the question whether the dictum validates the assertoric syllogistic. I rehearse evidence that Aristotle provides a mereological semantics for universal affirmations and negations, and note that this semantics entails a nonstandard reading of the dictum, under which the dictum, in the presence of a minimal logical apparatus, indeed validates the (...) assertoric syllogistic. I argue that this mereological validation offers advantages over recent discussions in Morison, Malink, Ebert and Vlasits. (shrink)

David Lewis defends the following "non-circular definition of personhood": "something is a continuant person if and only if it is a maximal R-interrelated aggregate of person-stages. That is: if and only if it is an aggregate of person-stages, each of which is R-related to all the rest (and to itself), and it is a proper part of no other such aggregate." I give a counterexample, involving a person who is a part of another, much larger person, with a separate mental (...) life. I then offer an easy repair, which preserves the virtues of Lewis's definition without introducing any new vices. (shrink)

In this paper I investigate the idea that in conceptual analysis we are in a substantial way concerned with revealing metaphysical grounds. I argue that a recent proposal fails, according to which we aim to reveal what complex concepts are grounded in. The notion ofcomposition, rather than that ofgrounding, is the best way to understand the intuitive hierarchy of concepts. In an analysis we reveal thecomponentsorpartsof complex concepts and their structure. Finally, I propose an alternative role for grounding in our (...) accounts of analysis: in analyses we reveal truths about the composition of concepts that serve as grounds for truths about theirfunctions, which are what we want to understand. (shrink)

In this paper I investigate the idea that in conceptual analysis we are in a substantial way concerned with revealing metaphysical grounds. I argue that a recent proposal fails, according to which we aim to reveal what complex concepts are grounded in. The notion ofcomposition, rather than that ofgrounding, is the best way to understand the intuitive hierarchy of concepts. In an analysis we reveal thecomponentsorpartsof complex concepts and their structure. Finally, I propose an alternative role for grounding in our (...) accounts of analysis: in analyses we reveal truths about the composition of concepts that serve as grounds for truths about theirfunctions, which are what we want to understand. (shrink)

The purpose of this paper is to present a philosophical worldview, specifically metaphysical. This is important precisely to obtain a generalist view of reality, at a time when philosophical discussions are becoming increasingly specialized. The metaphysical worldview presented here is a general perspective on time, space, matter, laws of nature, the mind and the normativity. In order to achieve such goal, (1) we will talk about the nature of philosophy and its relation to the construction of a worldview, (2) we (...) will discuss some arguments to talk about the nature of the aforementioned entities, and (3) we will conclude by presenting a unified metaphysical worldview that takes these arguments into account. (shrink)

Several disputes about the nature of experience operate under the assumption that experiences have parts, including temporal parts. There's the widely held view, when it comes to temporal experiences, that we should follow James' exhortation that such experiences aren't mere successions of their temporal parts, but something more. And there's the question of whether it is the parts of experiences which determine whole experiences and the properties they have, or whether the determination goes instead from the whole to the parts, (...) as holists have it. But what are parts, or temporal parts, of experiences exactly—what does it mean to say that an experience is “part” of another? Are the participants in those disputes talking about the same thing—is there a univocal notion of “experiential part” available? Are there different kinds of experiential parts? And if there are, is there a systematic way of carving them out? More importantly, how should we conceive of the temporal parts of experiences, and how can we establish that experiences really do have temporal parts, against those who reject the notion? (shrink)

Temporally extended experiences, experiential holists have it, are not reducible to successions of their temporal parts because some whole experiences determine their parts (in some way). This paper suggests, first, that some forms of experiential holism are in fact consistent with the rival atomist view (that experiences are successions of their parts) and, second, that the main reasons advanced for experiential holism are compatible with atomism too. The paper then looks at how holistic determination of its parts by a whole (...) experience might take place in time, arguing that it is either inconsistent or undermines widespread assumptions regarding the mechanisms underlying experiences. (shrink)

The traditional debate about moral dilemmas concerns whether there are circumstances in which an agent is subject to two obligations that cannot both be fulfilled. Realists maintain there are. Irrealists deny this. Here I defend an alternative, methodologically-oriented position wherein the denial of genuine moral dilemmas functions as a regulative ideal for moral deliberation and practice. That is, moral inquiry and deliberation operate on the implicit assumption that there are no genuine moral dilemmas. This view is superior to both realism (...) and irrealism in accounting for moral residue and other crucial phenomenological dimensions of our experience of moral dilemmas. (shrink)

In this paper, I advance an original view of the structure of space called Infinitesimal Gunk. This view says that every region of space can be further divided and some regions have infinitesimal size, where infinitesimals are understood in the framework of Robinson’s nonstandard analysis. This view, I argue, provides a novel reply to the inconsistency arguments proposed by Arntzenius and Russell, which have troubled a more familiar gunky approach. Moreover, it has important advantages over the alternative views these authors (...) suggested. Unlike Arntzenius’s proposal, it does not introduce regions with no interior. It also has a much richer measure theory than Russell’s proposal and does not retreat to mere finite additivity. (shrink)

After having reconstructed a minimal biological characterisation of species, we endorse an “empirical approach” based on the idea that it is the peculiar evolutionary history of the species at issue—its peculiar origination process, its peculiar metapopulation structure and the peculiar mixture and strength of homeostatic processes vis à vis heterostatic ones—that determines species’ identity at a time and through time. We then explore the consequences of the acceptance of the empirical approach in settling the individuals versus kinds dispute. In particular, (...) while conceptual arguments have been proposed to show that species can be equally treated as individuals and kinds because mereology’s and set-theory’s languages are inter-translatable, we advance instead a causal argument to sustain the claim that each species is both a kind and an individual. (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)

In this paper, we present an extensional system of mereology suitable to account for the intuitive distinction between heaplike and non-heaplike entities. Since the need to capture this distinction has been a key motivation for non-extensional mereologies, we first assess the main non-extensional systems advanced in the last years and highlight some mereological and metaphysical difficulties they involve. We then advance a novel program, according to which the distinction between heaplike and non-heaplike entities can be accounted for by bringing together (...) the parthood relation characterized by classical extensional mereology and an Aristotelian extensional notion of potential parthood. Thus, while rejecting the thesis of mereological monism, our proposal is consistent with the thesis of mereological extensionalism. We show that within this framework it is possible to characterize the above-mentioned distinction, to define the relation of material constitution, and to capture three fundamental standpoints in metaphysics. (shrink)

ABSTRACTHow did the traditional doctrine of parts and wholes evolve into contemporary formal mereology? This paper argues that a crucial missing link may lie in the early modern and especially Wolf...

This paper provides the first thorough assessment of a physics-based answer, the Bound State Answer, to the Special Composition Question. According to the BSA some objects compose something if they are in a common bound state. The reasons to endorse such an answer, in particular, motivations coming from empirical adequacy and conservativeness, precision, simplicity, and parsimony, are critically addressed. I then go on to compare the BSA to other moderate answers to the SCQ and consider whether objections raised against such (...) answers can be raised against the BSA as well. I finally relate the discussion with mereological pluralism. (shrink)

The paper presents different arguments against the necessity of mereological universalism. First, it argues that they are examples of a much more general argumentative structure. It then contends that some of these arguments cannot be resisted by distinguishing different variants of universalism that have been recently proposed in the literature—in contrast with recent suggestions to the contrary. Finally, it provides different ways to resist such contingentist arguments on behalf of universalists.

The paper presents different arguments against the necessity of mereological universalism. First, it argues that they are examples of a much more general argumentative structure. It then contends that some of these arguments cannot be resisted by distinguishing different variants of universalism that have been recently proposed in the literature—in contrast with recent suggestions to the contrary. Finally, it provides different ways to resist such contingentist arguments on behalf of universalists.

Discussions about determinables and determinates, on the one hand, and discussions about (formal) theories of location, on the other, have thus far proceeded without any visible interaction, in substantive mutual neglect. This paper aims to remedy this situation of neglect. It explicitly relates (theories of) determinables and (theories of) location. First, I argue that some well known principles of location turn out to be instances of principles relating determinables and determinates. Building on this I then argue that theories of location (...) present formidable counterexamples to those principles about determinables and determinates. One such counterexample in particular is used as an argument against disjunctivism. Finally, I relate the entire discussion to yet another crucial debate in metaphysics, that of metaphysical indeterminacy. (shrink)

In this paper, we address an infamous argument against divisibility that dates back to Zeno. There has been an incredible amount of discussion on how to understand the critical notions of divisibility, extension, and infinite divisibility that are crucial for the very formulation of the argument. The paper provides new and rigorous definitions of those notions using the formal theories of parthood and location. Also, it provides a new solution to the paradox of divisibility which does not face some threats (...) that can possibly undermine the standard Lebesgue measure solution to such a paradox. (shrink)

Composition is Identity is the thesis that a whole is, strict and literally, its parts considered collectively. Mereological Nihilism is the thesis that there are no composite objects whatsoever instead. This paper argues that they are equivalent, at least insofar as Composition is Identity is phrased in a particular way. It then addresses some consequences of such equivalence.

Composition as Identity is the thesis that a whole is, strictly and literally, identical to its parts, considered collectively. McDaniel [2008] argues against CAI in that it prohibits emergent properties. Recently Sider [2014] exploited the resources of plural logic and extensional mereology to undermine McDaniel’s argument. He shows that CAI identifies extensionally equivalent pluralities – he calls it the Collapse Principle – and then shows how this identification rescues CAI from the emergentist argument. In this paper I first give a (...) new generalized version of both the arguments. It is more general in that it does not presuppose an atomistic mereology. I then go on to argue that the consequences of CP are rather radical. It entails mereological nihilism, the view that there are only mereological atoms. I finally show that, given a mild assumption about property instantiation, namely that there are no un-instantiated properties, this argument entails that CAI and emergent properties are incompatible after all. (shrink)

The paper presents a thorough exploration of the problem of persistence in a relativistic context. Using formal methods such as mereology, formal theories of location and the so called intrinsic formulation of special relativity we provide a new, more rigorous and more comprehensive taxonomy of persisting entities. This new taxonomy differs significantly from the ones that are present in the recent literature.

Constructive Neutral Evolution is an evolutionary mechanism that can explain much molecular inter-dependence and organismal complexity without assuming positive selection favoring such dependency or complexity, either directly or as a byproduct of adaptation. It differs from but complements other non-selective explanations for complexity, such as genetic drift and the Zero Force Evolutionary Law, by being ratchet-like in character. With CNE, purifying selection maintains dependencies or complexities that were neutrally evolved. Preliminary treatments use it to explain specific genetic and molecular structures (...) or processes, such as retained gene duplications, the spliceosome, and RNA editing. Here we aim to expand the scope of such explanation beyond the molecular level, integrating CNE with Multi-Level Selection theory, and arguing that several popular higher-level selection scenarios are in fact instances of CNE. Suitably contextualized, CNE occurs at any level in the biological hierarchy at which natural selection as normally construed occurs. As examples, we focus on modularity in protein–protein interaction networks or “interactomes,” the origin of eukaryotic cells and the evolution of co-dependence in microbial communities—a variant of the “Black Queen Hypothesis” which we call the “Gray Queen Hypothesis”. (shrink)

Classical systems of mereology identify a maximuml set of jointly exhaustive and pairwise disjoint (RCC5) relations. The amount of information that is carried by each member of this set of (crisp) relations is determined by the number of bits of information that are required to distinguish all the members of the set. It is postulated in this paper, that vague mereological relations are limited in the amount of information they can carry. That is, if a crisp mereological relation can carry (...) N bits of information, then a vague mereological relation can carry only 1 ⩽ n < N bits. The aim of this paper is it to explore these ideas in the context of various systems of vague mereological relations. The resulting formalism is non-classical in the sense of quantum information theory. (shrink)

The philosophical discussion of emergence is often focused on properties of ‘wholes’ that are evaluated as emergent with respect to the properties of ‘parts’. Downward causation is, consequently, evaluated as some kind of causal influence of whole properties over parts properties. Yet, several important cases in scientific practice seem to be pursuing hypotheses of parts properties emerging from wholes properties, inverting the instinctive association of emergence with wholes. Furthermore, some areas of reflection which are very important for emergence, e.g., the (...) philosophy of consciousness, do not allow mapping properties onto part-whole organizations. The conceptual puzzle is solved by constructing a framework that disentangles the mereological dimension from the superventional dimension. By liberalizing the spatio-temporal allocation of emergent properties, the proposed dual framework could better capture the way in which emergence and downward causation are addressed in scientific practice. (shrink)

We address an argument by Floridi (Synthese 168(1):151–178, 2009; 2011a), to the effect that digital and analogue are not features of reality, only of modes of presentation of reality. One can therefore have an informational ontology, like Floridi’s Informational Structural Realism, without commitment to a supposedly digital or analogue world. After introducing the topic in Sect. 1, in Sect. 2 we explain what the proposition expressed by the title of our paper means. In Sect. 3, we describe Floridi’s argument. In (...) the following three sections, we raise three difficulties for it, (i) an objection from intuitions: Floridi’s view is not supported by the intuitions embedded in the scientific views he exploits (Sect. 4); (ii) an objection from mereology: the view is incompatible with the world’s having parts (Sect. 5); (iii) an objection from counting: the view entails that the question of how many things there are doesn’t make sense (Sect. 6). In Sect. 7, we outline two possible ways out for Floridi’s position. Such ways out involve tampering with the logical properties of identity, and this may be bothersome enough. Thus, Floridi’s modus ponens will be our (and most ontologists’) modus tollens. (shrink)

Meta-ontology (in van Inwagen's sense) concerns the methodology of ontology, and a controversial meta-ontological issue is to what extent ontology can rely on linguistic analysis while establishing the furniture of the world. This paper discusses an argument advanced by some ontologists (I call them unifiers) against supporters of or coincident entities (I call them multipliers) and its meta-ontological import. Multipliers resort to Leibniz's Law to establish that spatiotemporally coincident entities a and b are distinct, by pointing at a predicate F (...) () made true by a and false by b . Unifiers try to put multipliers in front of a dilemma: in attempting to introduce metaphysical differences on the basis of semantic distinctions, multipliers either (a) rest on a fallacy of verbalism, entailed by a trade-off between a de dicto and a de re reading of modal claims, or (b) beg the question against unifiers by having to assume the distinction between a and b beforehand. I shall rise a tu quoque, showing that unifiers couldn't even distinguish material objects (or events) from the spatiotemporal regions they occupy unless they also resorted to linguistic distinctions. Their methodological aim to emancipate themselves from linguistic analysis in ontological businesses is therefore problematic. (shrink)

A variety of relations widely invoked by philosophers—composition, constitution, realization, micro-basing, emergence, and many others—are species of what I call ‘building relations’. I argue that they are conceptually intertwined, articulate what it takes for a relation to count as a building relation, and argue that—contra appearances—it is an open possibility that these relations are all determinates of a common determinable, or even that there is really only one building relation.

I argue that it is intuitive and useful to think about composition in the light of the familiar functionalist distinction between role and occupant. This involves factoring the standard notion of parthood into two related notions: being a parthood slot and occupying a parthood slot. One thing is part of another just in case it fills one of that thing's parthood slots. This move opens room to rethink mereology in various ways, and, in particular, to see the mereological structure of (...) a composite as potentially outreaching the individual entities that are its parts. I sketch one formal system that allows things to have individual entities as parts multiple times over. This is particularly useful to David Armstrong, given Lewis's charge that his structural universals must do exactly that. I close by reflecting upon the nature and point of formal mereology. (shrink)

This article departs from a mereological conceptualization of the Daoist metaphysi- cal system in the Daodejing 道德經. I discuss what parthood status applies to dao 道. Whereas it is quite intuitive that you 有—the region of concrete objects—has parthood relationships and compositions (entities made from parts), the other, undif- ferentiated region, dao, poses a considerable problem. This problem can be charac- terized in the following way: (a) dao cannot be characterized as a particular com- position, which entails that it does (...) not include parts. However, (b) dao underpins compositions in you, which entails that it contains compositions or at least parts that make compositions in you. This generates a problem of how compositions are possi- ble with an undifferentiated ontological foundation. I focus on one possible approach to this problem––mereological nihilism, according to which no composition is pos- sible. Assuming nihilism entails dao composed of mereological simples––funda- mental entities, which are not parts. (shrink)

The main purpose of this paper is to refute the metaphysicians ‘methodological continuation’ argument supporting epistemic realism in metaphysics. This argument aims to show that scientific realists have to accept that metaphysics is as rationally justified as science given that they both employ inference to the best explanation, i.e. that metaphysics and science are methodologically continuous. I argue that the reasons given by scientific realists as to why inference to the best explanation is reliable in science do not constitute a (...) reason to believe that it is reliable in metaphysics. The justification of IBE in science and the justification of IBE in metaphysics are two distinct issues with only superficial similarities, and one cannot rely on one for the other. This becomes especially clear when one analyses the debate about the legitimacy of IBE that has taken place between realists and empiricists. The metaphysician seeking to piggyback on the realist defense of IBE in science by the methodological continuation argument presupposes that the defense is straightforwardly applicable to metaphysics. I will argue that it is, in fact, not. The favoured defenses of IBE in scientific realism make extensive use of empirical considerations, predictive power and inductive evidence, all of which are paradigmatically absent in the metaphysical context. Furthermore, I argue that the metaphysician, even if the realist would concede to the methodological continuation argument, fails to offer any agreed upon conclusions resulting from its application in metaphysics. As a result, the scientific realist is not committed to believing that there is metaphysical knowledge. (shrink)

Recently, a number of philosophers have defended a novel, materialist view on the nature of musical works—musical perdurantism. According to this view, musical works are a peculiar kind of concreta, namely perduring mereological sums of performances and/or other concrete entities. One problem facing musical perdurantism stems from the thought that if this view is correct, then virtually no musical work can exist in a continuous, non-intermittent fashion. The aim of this paper is to expound this problem and show that it (...) cannot be plausibly solved by a musical perdurantist. (shrink)

In 2013, Bennett proposed a mereological theory in which the parthood relation is defined on the basis of two primitive relations: a is a part of b iff a fills a slot owned by b. However, this theory has issues counting how many parts an entity has. We explore the various counting problems and propose a new theory to solve them. Keeping the core idea of Bennett’s slots, this theory introduces mereological relations between slots. This theory enables us to solve (...) all known counting problems and to go beyond the limits of Bennett’s theory by theorising expected features of mereological theories: supplementation principles and mereological sum and fusion. The theory is illustrated on ontological issues on the nature of structural universals and informational entities. (shrink)

What is mathematics about? And if it is about some sort of mathematical reality, how can we have access to it? This is the problem raised by Plato, which still today is the subject of lively philosophical disputes. This book traces the history of the problem, from its origins to its contemporary treatment. It discusses the answers given by Aristotle, Proclus and Kant, through Frege's and Russell's versions of logicism, Hilbert's formalism, Gödel's platonism, up to the the current debate on (...) Benacerraf's dilemma and the indispensability argument. Through the considerations of themes in the philosophy of language, ontology, and the philosophy of science, the book aims at offering an historically-informed introduction to the philosophy of mathematics, approached through the lenses of its most fundamental problem. (shrink)

Are there any things that are such that any things whatsoever are among them. I argue that there are not. My thesis follows from these three premises: (1) There are two or more things; (2) for any things, there is a unique thing that corresponds to those things; (3) for any two or more things, there are fewer of them than there are pluralities of them.

The thesis of Weak Unrestricted Composition says that every pair of objects has a fusion. This thesis has been argued by Contessa and Smith to be compatible with the world being junky and hence to evade an argument against the necessity of Strong Unrestricted Composition proposed by Bohn. However, neither Weak Unrestricted Composition alone nor the different variants of it that have been proposed in the literature can provide us with a satisfying answer to the special composition question, or so (...) we will argue. We will then go on to explore an alternative family of purely mereological rules in the vicinity of Weak Unrestricted Composition, Cardinal Composition: A plurality of pairwise non-overlapping objects composes an object iff the objects in the plurality are of cardinality smaller than $$\kappa $$ κ. As we will show, all the instances for infinite $$\kappa $$ κ s determine fusion and are compatible with junk, and every instance for a $$\kappa > \aleph _0$$ κ > ℵ 0 is furthermore compatible with gunk and dense chains of parthood. (shrink)

Understanding is an ability manifested by grasping relations of a phenomenon and articulating new explanations. Hence, scientific understanding is inextricably intertwined with and not possible without explanation, and understanding is not a type of propositional knowledge. Anna Elisabeth Höhl provides a novel philosophical account of scientific understanding by developing and defending necessary and sufficient conditions for the understanding that scientists achieve of the phenomena they are researching. This account of scientific understanding is based on and supported by a detailed investigation (...) of an episode from scientific practice in biology. (shrink)

This paper explores taste fragmentalism, a novel approach to matters of taste and faultless disagreement. The view is inspired by Kit Fine’s fragmentalism about time, according to which the temporal dimension can be constituted—in an absolute manner—by states that are pairwise incompatible, provided that they do not obtain together. In the present paper, we will apply this metaphysical framework to taste states. In our proposal, two incompatible taste states (such as the state of rhubarb’s being tasty and the state of (...) rhubarb’s being distasteful) can both constitute reality in an absolute manner, although no agent can have joint access to both states. We will then develop a formalised version of our view by means of an exact truthmaker semantics for taste assertions. Within this framework—we argue—our linguistic and inferential practices concerning cases of faultless disagreement are elegantly vindicated, thus suggesting that taste fragmentalism is worth of further consideration. (shrink)