The Multiverse Thesis is a proposed solution to the Grandfather Paradox. It is popular and well promulgated, found in fiction, philosophy and (most importantly) physics. I first offer a short explanation on behalf of its advocates as to why it qualifies as a theory of time travel (as opposed to mere 'universe hopping'). Then I argue that the thesis nevertheless has an unwelcome consequence: that extended objects cannot travel in time. Whilst this does not demonstrate that the Multiverse Thesis is (...) false, the consequence should give pause for concern. Even if it does not lead one to reject the thesis, I briefly detail some reasons to think it is interesting nonetheless. (shrink)

Whether there exist causal relations between guns firing and people dying, between pedals pressed and cars accelerating, or between carbon dioxide emissions and global warming, is typically taken to be a mind-independent, objective, matter of fact. However, recent contributions to the literature on causation, in particular theories of contrastive causation and causal modelling, have undermined this central causal platitude by relativising causal facts to models or to interests. This thesis flies against the prevailing wind by arguing that we must pay (...) greater attention to which elements of our causal talk vary with context and which elements track genuine features of the world around us. I will argue that once these elements are teased apart we will be in a position to better understand some of the most persistent problems in the philosophy of causation: pre-emption cases, absence causation, failures of transitivity and overdetermination. The result is a naturalist account of causation, concordant with the contextual variability we find in our ordinary causal talk, and parsimonious with respect to the theoretical entities posited. (shrink)

In this paper I argue that the theory that holes are immaterial objects faces an objection that has traditionally been thought to be the principal difficulty with its main rival, which construes holes as material parts of material objects. Consequently, one of the principal advantages of identifying holes with immaterial objects is illusory: its apparent ease of accounting for truths about number of holes. I argue that in spite of this we should not think of holes as material parts of (...) material objects. This is because the theory that holes are properties does not face the same difficulties as either of these theories that construe holes as objects of some sort. (shrink)

Philosophers often aim to demonstrate that the things we ordinarily think and say can be reconciled with our considered beliefs about the world. To this end, many philosophers try to paraphrase ordinary language claims by finding equivalent sentences that are less misleading. For instance, though we know that there is no British family that is the average one, we want to say that the average British family has 1.8 children, and we might do that by paraphrasing this claim as: there (...) are nearly twice as many British children as British families. This article aims to introduce and distinguish different paraphrase strategies, sketch their role in metaphysical debates and highlight some crucial questions that proponents of such strategies face. (shrink)

Lewis is famous as a contemporary philosophical system-builder. The most obvious way his philosophy exhibited a system was in its content: Lewis’s metaphysics, for example, provided answers to many metaphysical puzzles in an integrated way, and there are illuminating connections to be drawn between his general metaphysical views and, for example, his various views about the mind and its place in nature.

In this chapter, I examine Lewis's ideas about ontological innocence, ontological commitment and double-counting, in his discussion of composition as identity in Parts of Classes. I attempt to understand these primarily as epistemic or methodological claims: how far can we get down this route without adopting radical metaphysical theses about composition as identity?

Slot theory is the view that (i) there exist such entities as argument places, or ‘slots’, in universals, and that (ii) a universal u is n-adic if and only if there are n slots in u. I argue that those who take properties and relations to be abundant, fine-grained, non-set-theoretical entities face pressure to be slot theorists. I note that slots permit a natural account of the notion of adicy. I then consider a series of ‘slot-free’ accounts of that notion (...) and argue that each of them has significant drawbacks. (shrink)

This book is both an introduction to and a research work on Meinongianism. “Meinongianism” is taken here, in accordance with the common philosophical jargon, as a general label for a set of theories of existence – probably the most basic notion of ontology. As an introduction, the book provides the first comprehensive survey and guide to Meinongianism and non-standard theories of existence in all their main forms. As a research work, the book exposes and develops the most up-to-date Meinongian theory (...) (called modal Meinongianism), applies it to specific fields, and discusses its open problems. Part I of the book provides a historical introduction to, and critical discussion of, the dominant philosophical view of existence: the “Kantian-Fregean-Quinean” perspective. Part II is the full-fledged introduction to the Meinongian theories of existence as a real property of individuals: after starting with the so-called naïve Meinongian conception and its problems, it provides a self-contained presentation of the main neo-Meinongian proposals, and a detailed discussion of their strengths and weaknesses. Part III develops a specific neo-Meinongian theory of existence employing a model-theoretic semantic framework. It discusses its application to the ontology and semantics of fictional objects, and its open problems. The methodology of the book follows the most recent trends in analytic ontology. In particular, the meta-ontological point of view is largely privileged. (shrink)

In this paper I argue that holes are not objects, but should instead be construed as properties or relations. The argument proceeds by first establishing a claim about angles: that angles are not objects, but properties or relations. It is then argued that holes and angles belong to the same category, on the grounds that they share distinctive existence and identity conditions. This provides an argument in favour of categorizing holes as one categorizes angles. I then argue that a commitment (...) to the existence of properties to be identified with holes provides sufficient resources to account for true claims about holes. (shrink)

Negative facts get a bad press. One reason for this is that it is not clear what negative facts are. We provide a theory of negative facts on which they are no stranger than positive atomic facts. We show that none of the usual arguments hold water against this account. Negative facts exist in the usual sense of existence and conform to an acceptable Eleatic principle. Furthermore, there are good reasons to want them around, including their roles in causation, chance-making (...) and truth-making, and in constituting holes and edges. (shrink)

We discuss the view that a hole is identical to the region of spacetime at which it is located. This view is more parsimonious than the view that holes are sui generis entities located at those regions surrounded by their hosts and it is more plausible than the view that there are no holes. We defend the spacetime view from several objections.

This paper defends a view that falls somewhere between the two extremes of inflationary and deflationary accounts, and it does so by rejecting the initial conceptualisation of holes in terms of absences. Once we move away from this conception, I argue, we can see that there are no special metaphysical problems associated with holes. Rather, whatever one’s preferred metaphysics of paradigm material objects, that account can equally be applied to holes. This means that like the deflationist, I am entity monist: (...) I reject the idea that there are any immaterial beings. On the other hand, like the inflationist I reject the idea that we should identify holes with parts or surfaces of paradigm objects. Like the inflationist, I hold that there exist entities in roughly the regions of space-time where pre-theoretically we would say there exist holes, and those entities are holes. Call this latter part of the view—that where the folk are apt to claim there is a hole, that hole has roughly the dimensions that the folk attribute to it—hole-instinctivism (the view that our instincts about hole location/dimension are roughly right). Ultimately I embrace hole conventionalism, a view that includes commitment to both entity monism and hole-instinctivism. According to hole conventionalism, holes are no more ontologically problematic than statues, nor are they of a fundamentally different ontological kind from statues. (shrink)

pelkkiin fysikaalisiin yksilöolioihin, vaan hänen todellisuuttaan kansoittavat – edellisten lisäksi – käsitteet, ominaisuudet, uskomukset, kokemukset, jne. Eikä tässä vielä kaikki: hän näyttää ajattelevan, että myös reiät ovat olemassa (Kivinen 1999). Tässä vaiheessa moni ehkä ajattelee, että ainakin nyt on kyllä menty liian pitkälle - että eihän kukaan voi tosissaan esittää, että reiätkin ovat olemassa.

I am attracted to ontological pluralism, the doctrine that some things exist in a different way than other things.1 For the ontological pluralist, there is more to learn about an object’s existential status than merely whether it is or is not: there is still the question of how that entity exists. By contrast, according to the ontological monist, either something is or it isn’t, and that’s all there is say about a thing’s existential status. We appear to be to be (...) ontological committed to what I will call almost nothings. Examples of almost nothings include holes, cracks, and shadows; almost nothings thrive in the absence of ‘positive’ entities such as donuts, walls, and sunlight. Let’s focus on holes, since the literature on them is voluminous.2 We quantify over holes, and even count them: we say, for example, that there are some holes in the cheese, seven to be precise. We ascribe features to them and talk as though they stand in relations: that hole is three feet wide, much wider than that tire over there. Holes apparently persist through time, as evidenced by the fact that my sweater has the same hole in it as the last time you saw me wear it. We even talk as though holes are causally efficacious: my ankle was badly sprained because I stepped in that hole in the sidewalk.3 It seems then that we believe in holes. If our beliefs are true, holes must enjoy some kind of reality. This puts the ontological monist in an uncomfortable position. According to her, everything that there is enjoys the same kind of reality, which is the kind of reality enjoyed by full-fledged concrete entities such as ourselves. She is committed to the unpleasant claim that holes are just as real as concretia, a claim that is apt to be met with incredulous stares by those not acquainted with contemporary metaphysics. Roy Sorensen (2008, p. 19) notes the tension almost nothings generate for ontological monists: ‘… it feels paradoxical to say that absences exist—but no better to say that absences do not exist’.. (shrink)

This is a revised and extended version of the formal theory of holes outlined in the Appendix to the book "Holes and Other Superficialities". The first part summarizes the basic framework (ontology, mereology, topology, morphology). The second part emphasizes its relevance to spatial reasoning and to the semantics of spatial prepositions in natural language. In particular, I discuss the semantics of ‘in’ and provide an account of such fallacious arguments as “There is a hole in the sheet. The sheet is (...) in the drawer. Ergo *there is a hole in the drawer”. (shrink)

A lot of work in metaphysics relies on linguistic analysis and intuitions. Do we want to know what sort of things there are or could be? Then let’s see what sort of things there must be in order for what we truthfully say to be true. Do we want to see whether x is distinct from y? Then let’s see whether there is any statement that is true of x but not of y. And so on. In this paper I (...) argue that this way of proceeding is full of traps and is bound to be pretty useless unless we already have a good idea of what sort of things there are, and of how we are going to count them. (shrink)

Mereotopology is today regarded as a major tool for ontological analysis, and for many good reasons. There are, however, a number of open questions that call for an answer. Some are philosophical, others have direct applicative import, but all are crucial for a proper assessment of the strengths and limits of mereotopology. This paper is an attempt to put sum order in this area.

Considering topology as an extension of mereology, this paper analyses topological variants of mereological essentialism (the thesis that an object could not have different parts than the ones it has). In particular, we examine de dicto and de re versions of two theses: (i) that an object cannot change its external connections (e.g., adjacent objects cannot be separated), and (ii) that an object cannot change its topological genus (e.g., a doughnut cannot turn into a sphere). Stronger forms of structural essentialism, (...) such as morphological essentialism (an object cannot change shape) and locative essentialism (an object cannot change position) are also examined. (shrink)

Some forms of analytic reconstructivism take natural language (and common sense at large) to be ontologically opaque: ordinary sentences must be suitably rewritten or paraphrased before questions of ontological commitment may be raised. Other forms of reconstructivism take the commitment of ordinary language at face value, but regard it as metaphysically misleading: common-sense objects exist, but they are not what we normally think they are. This paper is an attempt to clarify and critically assess some common limits of these two (...) reconstructivist strategies. (shrink)

Assuming that events form a genuine ontological category, shall we say that a good inventory of the world ought to include “negative” events—failures, omissions, things that didn’t happen—along with positive ones? I argue that we shouldn’t. Talk of non-occurring events is like talk of non-existing objects and should not be taken at face value. We often speak as though there were such things, but deep down we want our words to be interpreted in such a way as to avoid serious (...) ontological commitment. (shrink)

In previous work I have argued that talk about negative events should not be taken at face value: typically, what we are inclined to think of as a negative event (John’s failure to go jogging) is just an ordinary, positive event (his going to the movie instead); it is a positive event under a negative description. Here I consider more closely the difficulties that arise in those cases where no positive event seems available to do the job, as with putative (...) cases of causation by omission. In particular, I elaborate on Helen Beebee’s idea that not all causal explanations are reports of causation. When we mention John’s failure to turn off the gas as an explanans of why there was an explosion, we do not say what caused the explosion. We do not mention any of the relevant causes. We just remark that one sort of event that was supposed to occur, and whose occurrence would have prevented the explosion, did not in fact occur. (shrink)

1. Consider the basic outlines of the mind-body debate as it is found in contemporary Anglo-American analytic philosophy. The central question is “whether mental phenomena are physical phenomena, and if not, how they relate to physical phenomena.”1 Over the centuries, a wide range of possible solutions to this problem have emerged. These are the various “isms” familiar to any student of the debate: Cartesian dualism, idealism, epiphenomenalism, central state materialism, non- reductive physicalism, anomalous monism, and so forth. Each purports to (...) specify, among other things, the metaphysical relationship between the mental and the physical. They do so by specifying whether, or in what way, mental entities are identical to, reducible to, realized by, supervenient upon, or in causal interaction with physical entities. Thus, a convenient way to survey the range of positions is to enter them in a table. Rows correspond to the major kinds of metaphysical relation which might obtain between mental and physical entities. Each columns corresponds to one of the generic positions available in the debate. The particular theories defended by individual philosophers are usually just specific versions of generic positions. Thus Malebranche’s occasionalism is a version of causal dualism, distinguished by a peculiar account of the way in which causal interaction between mental and physical is actually effected. The central philosophical challenge is to determine which of these positions correctly describes the mental/physical relationship. Positions are evaluated for internal consistency, their fit with “intuitions,” their compatibility with scientific developments, and so forth. The mind-body debate, in this simple form, is set out in any number of. (shrink)

Grounding-theoretic account of the notion of transparency relevant to the explanatory gap between the mental and physical.

Unlike identity physicalism, ground physicalism does not achieve the physicalist dream. It faces the T-shirt problem for ground physicalism (Pautz 2014; Schaffer this volume; Rubenstein ms). In the case of insentient nature, it may be able to get by with small handful of very general ground laws to explain the emergence of nonfundamental objects and properties – for example, a few “principle of plenitude”. But I argue that for the case consciousness it will require a separate huge raft of special, (...) anomalous psychophysical ground laws. So it is just as complex and nonuniform as dualism. (shrink)

Can we really perceive absences, i.e., missing things? Sartre tells us that when he arrived late for his appointment at the café, he saw the absence of his friend Pierre. Is that really what he saw? Where was it, exactly? Why didn’t Sartre see the absence of other people who were not there? Why did other people who were there not see the absence of Pierre? The perception of absences gives rise to a host of conundrums and is constantly on (...) the verge of conceptual confusion. Here I focus on the need to be clear about four sorts of distinctions: (i) the difference between perceiving an absence and perceiving something that is absent; (ii) the difference between perceiving an absence and an absence of perceiving; (iii) the difference between perceiving an absence and perceiving something as an absence; and (iv) the difference between perceiving an absence and perceiving that something is absent. (shrink)

Against the reason holists (e.g. Dancy 2014), it has been contended by many reason atomists that while many features might well change their reason statuses or valences in different contexts in the way suggested by reason holists, they are merely secondary rather than primary reasons. In these atomists’ scheme of things, there are features that function as primary reasons whose reason statuses remain invariant across contexts. Moreover, these features provide the ultimate source of explanations for why some features, qua secondary (...) reasons, are variable in their reason statuses. Against the background of reason holism, this two-level picture of moral reason has been highly influential as an alternative theory of how moral reasons behave, and has been championed by several eminent philosophers such as Roger Crisp, Brad Hooker, David McNaughton and Piers Rawling. Call this theory ‘primary reason atomism’ (or PRA). Since its advancement, it has been met with lots of challenges, yet most, if not all, of these challenges remain unaddressed, insofar as I could see. This article will pick up the slack, and argues that none of its existing powerful criticisms works that can be derived from Swanton’s target-center view of the virtues, Stangl’s virtue variabilism, Dancy’s bottom-up holism, and coverage challenge, McKeever & Ridge, and Väyrynen’s double-counting objection, and Scanlon’s buck-passing account of values. This may not prove PRA to be right, but at least shows PRA to be a serious contender for the right theory of how moral reason behaves. (shrink)

In this paper I take up the task, begun by Lewis and Lewis in their seminal paper on the topic, of offering a theory of holes according to which a hole is simply its hole-lining. I begin by motivating the theory, arguing that it holds interest even absent its original animating concerns of nominalism and materialism, and present desiderata any such theory must satisfy. With this in place, I offer a definition both of a lining and of hole sameness, arguing (...) that these can overcome the most prominent standing objections to identifying holes with linings. Finally, I present a more powerful counterargument in the spirit of Casati and Varzi, and conclude with an emended version of the theory meeting all our earlier desiderata. I conclude by dispelling some possible worries about the nominalist and materialist credentials of my theory. (shrink)

In this paper, we propose a new actualist and contingentist modal metaphysics – fundamental essentialism – according to which individuals just are realized essences. Orthodox possible worlds semantics is incompatible with actualism and contingentism since Kripke models in which paradigmatic contingentists propositions are true require possible worlds whose domain contain merely possible individuals. In light of this problem, Plantinga has developed modal metaphysics based on essences, but it has been claimed by Fine, Williamson, and others, that it cannot be upheld (...) because of the problem of unexemplified essences. We answer the latter problem by claiming that individuals just are realized essences. Then, justifying our theory further we refute Williamson’s deductive argument for necessitism. Afterward, we show in what sense fundamental essentialism is contingentist metaphysics. (shrink)

Philosophers often make exotic-sounding modal claims, such as: “A timeless world is impossible”, “The laws of physics could have been different from what they are”, “There could have been an additional phenomenal colour”. Otherwise popular empiricist modal epistemologies in the contemporary literature cannot account for whatever epistemic justification we might have for making such modal claims. Those who do not, as a result of this, endorse scepticism with respect to their epistemic status typically suggest that they can be justified but (...) have yet to develop some distinct, workable theory of how. That is, they endorse a form of non-uniformism about the epistemology of modality, according to which claims about philosophically interesting modal matters need to be justified differently from e.g. everyday or scientific modal claims, but they fail to provide any more detail. This article aims to fill this gap by outlining how such a non-uniformist view could be spelled out and what story about philosophically interesting modal justification it could contain. (shrink)

Dispositional Essentialism is a unified anti-Humean account of the metaphysics of low-level physical properties and laws of nature. In this paper, I articulate the view that I label Canonical Dispositional Essentialism, which comprises a structuralist metaphysics of properties and an account of laws as relations in the property structure. I then present an alternative anti-Humean account of properties and laws. This account rejects CDE’s structuralist metaphysics of properties in favour of a view of properties as qualitative grounds of dispositions and (...) it rejects CDE’s view of laws as relations in favour of a view of laws as features of an efficient description of possible property distributions. I then defend this view over CDE on the grounds that it can overcome an explanatory shortcoming of CDE and that it achieves a level of continuity with science that CDE fails to achieve. The upshot of this paper is a significant narrowing of the range of possibilities in which the absolutely best unified account of laws and properties resides. (shrink)

European Journal of Philosophy, EarlyView.

Unlike identity physicalism, ground physicalism does not achieve the physicalist dream. It faces the T-shirt problem for ground physicalism (Pautz 2014; Schaffer this volume; Rubenstein ms). In the case of insentient nature, it may be able to get by with small handful of very general ground laws to explain the emergence of nonfundamental objects and properties – for example, a few “principle of plenitude”. But I argue that for the case consciousness it will require a separate huge raft of special, (...) anomalous psychophysical ground laws. So it is just as complex and nonuniform as dualism. (shrink)

What distinguishes causation from grounding? One suggestion is that causation, but not grounding, occurs over time. Recently, however, counterexamples to this simple temporal criterion have been offered. In this paper, we situate the temporal criterion within a broader framework that focuses on two aspects: locational overlapping in space and time and the presence of intermediaries in space and time. We consider, and reject, the idea that the difference between grounding and causation is that grounding can occur without intermediaries. We go (...) on to use the fact that grounding and causation both involve intermediaries to develop a better temporal criterion for distinguishing causation from grounding. The criterion is this: when a cause and effect are spatially disjoint, there is always a chain of causal intermediaries between the cause and the effect that are extended in time. By contrast, when the grounds and the grounded are spatially disjoint, there is always a chain of grounding intermediaries, but the chain need not be extended in time, it can be purely spatial. The difference between grounding and causation, then, is that causation requires time for chaining in a way that grounding does not. (shrink)

A growing literature in recent epistemology leverages the fact of persistent, systematic disagreement among philosophers to reach deeply skeptical conclusions, not just about philosophical propositions, but about the practice of philosophy itself. This article argues that a version of this argument is implicit in Nietzsche’s Beyond Good and Evil, and that Nietzsche is best read as occupying a stance that would be called “conciliationist” today. The only sincere effort to date to attribute to Nietzsche a skeptical position on the basis (...) of disagreement, I argue, both overcommits him in some ways and undercommits him in others. Correctly assessing his target and scope and appreciating the conciliationist strain in Nietzsche’s thought improves our understanding of his philosophical project. (shrink)

This thesis addresses three challenges posed by intentionality - the ability of our mental states and language to be about something - to a logician: an apparent reference to non-existent objects, intentional indeterminacy and the failure of substitutivity of coextensive terms in an intentional context. Since intentionality plays an important role in our everyday reasoning, a proper formal account of it is highly desirable, yet it requires a departure from classical logic. One can modify classical logic and adapt the formal (...) apparatus to account for the aforementioned problems (Graham Priest’s logic for intentionality serves as an example of such an approach in this work) or one can make an even more radical shift and seek for inspiration in a different logical tradition like the terminist logic developed in the Late Middle Ages by figures like William of Ockham or John Buridan. The second path is explored here as a modest attempt to show that once we abandon the bias against the history of logic as irrelevant, we can actually get access to firm logical solutions inaccessible from a classical perspective, while still practising logic proper. (shrink)

I define ‘philosophical scepticism’ as the view that philosophers do not and cannot know many of the substantive philosophical claims that they make or implicitly assume. I argue for philosophical scepticism via the ‘methodology challenge’ and the ‘disagreement challenge’. I claim that the right response to philosophical scepticism is to abandon the view that philosophy aims at knowledge, and (borrowing from David Lewis) to replace it with a more modest aim: that of finding ‘equilibria’ that ‘can withstand examination’. Finally, I (...) consider what our attitude to our own philosophical theses should be. (shrink)

Hume famously denied that he could experience the self. Most subsequent philosophers have concurred with this finding. I argue that if the subject is to function as a bearer of experience it must (1) lack sensory qualities in itself to be compatible with bearing sensory qualities and (2) be single so that it can unify experience. I use Douglas Harding’s first-person experiments to investigate the visual gap where one cannot see one’s own head. I argue that this open space conforms (...) to the above criteria and hence is consistent with being the subject. I respond to the objection that this location is merely a lack of visual experience. I argue that this space also encompasses sound and touch properties and hence functions as a bearer for other sensory modalities. These first-person findings provide prima facie support for the view that the subject is a thin bearer of experience. (shrink)

There is a puzzle about the use of paraphrase in philosophy, presented most famously in Alston's [1958] ‘Ontological Commitments’, but found throughout the literature. The puzzle arises from the fact that a symmetry required for a paraphrase to be successful seems to necessitate a symmetry sufficient for a paraphrase to fail, since any two expressions that stand in the means the same as relation must also stand in the has the same commitments as relation. I show that, while this problem (...) does undermine some conceptions of paraphrase, on a proper understanding of paraphrase the puzzle gets no purchase. Since paraphrase is an important component of Quinean approaches to meta-ontology, this paper constitutes a partial defence of Quinean meta-ontology. Since paraphrase is an important component of traditional methods of philosophical inquiry, this paper constitutes a partial defence of traditional modes of philosophizing as well. (shrink)

There is no doughnut without a hole, the saying goes. And that’s true. If you think you can come up with an exception, it simply wouldn’t be a doughnut. Holeless doughnuts are like extensionless color, or durationless sound—nonsense. Does it follow, then, that when we buy a doughnut we really purchase two sorts of thing—the edible stuff plus the little chunk of void in the middle? Surely we cannot just take the doughnut and leave the hole at the grocery store, (...) as we cannot just eat the doughnut and save the hole for later. But then, again, surely when we eat a doughnut we do not also eat the hole. Or do we? (shrink)

This article for the Stanford Encyclopedia for Philosophy provides a state of the art survey and assessment of the contemporary debate about truth-makers, covering both the case for and against truth-makers. It explores 4 interrelated questions about truth-makers, (1) What is it to be a truth-maker? (2) Which range, or ranges, of truths are eligible to be made true (if any are)? (3) What kinds of entities are truth-makers? (4) What is the motivation for adopting a theory of truth-makers? And (...) adds that there's another question to often put aside by metaphysicians but has critical consequences for truth-makers: (5) What are the truth-bearers? (shrink)

The methodological anarchy that characterizes much recent research in artificial intelligence and other cognitive sciences has brought into existence (sometimes resumed) a large variety of entities from a correspondingly large variety of (sometimes dubious) ontological categories. Recent work in spatial representation and reasoning is particularly indicative of this trend. Our aim in this paper is to suggest some ways of reconciling such a luxurious proliferation of entities with the sheer sobriety of good philosophy.

If you are a realist about groups there are three main theories of what to identify groups with. I offer reasons for thinking that two of those theories fail to meet important desiderata. The third option is to identify groups with sets, which meets all of the desiderata if only we take care over which sets they are identified with. I then canvass some possible objections to that third theory, and explain how to avoid them.

According to Vallicella's 'Relations, Monism, and the Vindication of Bradley's Regress' (2002), if relations are to relate their relata, some special operator must do the relating. No other options will do. In this paper we reject Vallicella's conclusion by considering an important option that becomes visible only if we hold onto a precise distinction between the following three feature-pairs of relations: internality/externality, universality/particularity, relata-specificity/relata-unspecificity. The conclusion we reach is that if external relations are to relate their relata, they must be (...) relata-specific (and no special operator is needed). As it eschews unmereological complexes, this outcome is of relevance to defenders of the extensionality of composition. (shrink)