Philosophers distinguish between having a property essentially and having it accidentally. The way the distinction has been drawn suggests that it is modal in character, and so that it can be captured in terms of necessity, or cognate notions. The present chapter takes the suggestion at face value by considering a number of modal characterizations of the essential/accidental distinction that have been articulated and discussed since the early 20th century, as well as some of the challenges that they face.

Here's an interesting question: what are we? David Barnett has claimed that reflection on consciousness suggests an answer: we are simple. Barnett argues that the mereological simplicity of conscious beings best explains the Datum: that no pair of persons can itself be conscious. In this paper, I offer two alternative explanations of the Datum. If either is correct, Barnett's argument fails. First, there aren't any such things as pairs of persons. Second, consciousness is maximal; no conscious thing is a proper (...) part of another conscious thing. I conclude by showing how both moves comport with materialist theories of what we are and then apply them to another anti-materialist argument. (shrink)

The problem of the many threatens to show that, in general, there are far more ordinary objects than you might have thought. I present and motivate a solution to this problem using many-one identity. According to this solution, the many things that seem to have what it takes to be, say, a cat, are collectively identical to that single cat.

Defense of an account of intrinsic properties in terms of (what is now called) grounding rather than naturalness.

There is a systematic and suggestive analogy between grounding and causation. In my view, this analogy is no coincidence. Grounding and causation are alike because grounding is a type of causation: metaphysical causation. In this paper I defend the identification of grounding with metaphysical causation, drawing on the causation literature to explore systematic connections between grounding and metaphysical dependence counterfactuals, and I outline a non-reductive counterfactual theory of grounding along interventionist lines.

Quine (1960, Word and object. Cambridge, Mass.:MIT Press, ch. 2) claims that there are a variety of equally good schemes for translating or interpreting ordinary talk. ‘Rabbit’ might be taken to divide its reference over rabbits, over temporal slices of rabbits, or undetached parts of rabbits, without significantly affecting which sentences get classified as true and which as false. This is the basis of his famous ‘argument from below’ to the conclusion that there can be no fact of the matter (...) as to how reference is to be divided. Putative counterexamples to Quine’s claim have been put forward in the past (see especially Evans 1975; 1975, Journal of Philosophy, LXXII(13), 343–362. Reprinted in McDowell (Ed.), Gareth Evans: Collected papers. Oxford: Clarendon Press.), and various patches have been suggested (e.g. Wright (1997, The indeterminacy of translation. In C. Wright & B. Hale (Eds.), A companion to the philosophy of language (pp. 397–426). Oxford: Blackwell)). One lacuna in this literature is that one does not find any detailed presentation of what exactly these interpretations are supposed to be. Drawing on contemporary literature on persistence, the present paper sets out detailed semantic treatments for fragments of English, whereby predicates such as ‘rabbit’ divide their reference over four-dimensional continuants (Quine’s rabbits), instantaneous temporal slices of those continuants (Quine’s rabbit-slices) and the simple elements which compose those slices (undetached rabbit parts) respectively. Once we have the systematic interpretations on the table, we can get to work evaluating them. (shrink)

This paper examines the relationship between causality and intrinsicality. Construed in one way, that relationship can be defended against some proposed counterexamples. However, I argue that trumping cases pose a more serious, if not fatal, problem. I then examine an alternative way of thinking about the relationship, but suggest that this too meets the same fate.

What the world needs now is another theory of vagueness. Not because the old theories are useless. Quite the contrary, the old theories provide many of the materials we need to construct the truest theory of vagueness ever seen. The theory shall be similar in motivation to supervaluationism, but more akin to many-valued theories in conceptualisation. What I take from the many-valued theories is the idea that some sentences can be truer than others. But I say very different things to (...) the ordering over sentences this relation generates. I say it is not a linear ordering, so it cannot be represented by the real numbers. I also argue that since there is higher-order vagueness, any mapping between sentences and mathematical objects is bound to be inappropriate. This is no cause for regret; we can say all we want to say by using the comparative truer than without mapping it onto some mathematical objects. From supervaluationism I take the idea that we can keep classical logic without keeping the familiar bivalent semantics for classical logic. But my preservation of classical logic is more comprehensive than is normally permitted by supervaluationism, for I preserve classical inference rules as well as classical sequents. And I do this without relying on the concept of acceptable precisifications as an unexplained explainer. The world does not need another guide to varieties of theories of vagueness, especially since Timothy Williamson (1994) and Rosanna Keefe (2000) have already provided quite good guides. I assume throughout familiarity with popular theories of vagueness. (shrink)

Intuitively, Gettier cases are instances of justified true beliefs that are not cases of knowledge. Should we therefore conclude that knowledge is not justified true belief? Only if we have reason to trust intuition here. But intuitions are unreliable in a wide range of cases. And it can be argued that the Gettier intuitions have a greater resemblance to unreliable intuitions than to reliable intuitions. Whats distinctive about the faulty intuitions, I argue, is that respecting them would mean abandoning a (...) simple, systematic and largely successful theory in favour of a complicated, disjunctive and idiosyncratic theory. So maybe respecting the Gettier intuitions was the wrong reaction, we should instead have been explaining why we are all so easily misled by these kinds of cases. (shrink)

Humeanism is “the thesis that the whole truth about a world like ours supervenes on the spatiotemporal distribution of local qualities.” (Lewis, 1994, 473) Since the whole truth about our world contains truths about causation, causation must be located in the mosaic of local qualities that the Humean says constitute the whole truth about the world. The most natural ways to do this involve causation being in some sense extrinsic. To take the simplest possible Humean analysis, we might say that (...) c causes e iff throughout the mosaic events of the same type as c are usually followed by events of type e. For short, the causal relation is the constant conjunction relation. Whether this obtains is determined by the mosaic, so this is a Humean theory, but it isn’t determined just by c and e themselves, so whether c causes e is extrinsic to the pair. Now this is obviously a bad theory of causation, but the fact that causation is extrinsic is retained even by good Humean theories of causation. John Hawthorne (2004) objects to this feature of Humeanism. I’m going to argue that his arguments don’t work, but first we need to clear up three preliminaries about causation and intrinsicness. (shrink)

Three objections have recently been levelled at the analysis of intrinsicness offered by Rae Langton and David Lewis. While these objections do seem telling against the particular theory Langton and Lewis offer, they do not threaten the broader strategy Langton and Lewis adopt: defining intrinsicness in terms of combinatorial features of properties. I show how to amend their theory to overcome the objections without abandoning the strategy.

In this paper, I develop an argument for the thesis that ‘maximality is extrinsic’, on which a whole physical object is not a whole of its kind in virtue of its intrinsic properties. Theodore Sider has a number of arguments that depend on his own simple argument that maximality is extrinsic. However, Peter van Inwagen has an argument in defence of his Duplication Principle that, I will argue, can be extended to show that Sider's simple argument fails. However, van Inwagen's (...) argument fails against a more complex, sophisticated argument that maximality is extrinsic. I use van Inwagen's own commitments to various forms of causation and metaphysical possibility to argue that maximality is indeed extrinsic, although not for the mundane reasons that Sider suggests. I then argue that moral properties are extrinsic properties. Two physically identical things can have different moral properties in a physical world. This argument is a counterexample to a classical ethical supervenience idea (often attributed to G.E. Moore) that if there is identity of physical properties in a physical world, then there is identity in moral properties as well. I argue moral value is ‘border sensitive’ and extrinsic for Kantians, utilitarians, and Aristotelians. (shrink)

I consider David Efird and Tom Stoneham's recent version of the subtraction argument for metaphysical nihilism, the view that there could have been no concrete objects at all. I argue that the two premises of their argument are only jointly acceptable if the quantifiers in one range over a different set of objects from those which the quantifiers in the other range over, in which case the argument is invalid. So either the argument is invalid or we should not accept (...) both its premises. (shrink)

Response to Skiles (2009) on Trogdon (2009) on intrinsic properties and fundamentality.

Ned Markosian argues (Australasian Journal of Philosophy 76:213-228, 1998a; Australasian Journal of Philosophy 82:332-340, 2004a, The Monist 87:405-428, 2004b) that simples are ‘maximally continuous’ entities. This leads him to conclude that there could be non-particular ‘stuff’ in addition to things. I first show how an ensuing debate on this issue McDaniel (Australasian Journal of Philosophy 81(2):265-275, 2003); Markosian (Australasian Journal of Philosophy 82:332-340, 2004a) ended in deadlock. I attempt to break the deadlock. Markosian’s view entails stuff-thing coincidence, which I show (...) is just as problematic as the more oft-discussed thing-thing coincidence. Also, the view entails that every particular is only contingently so. If there is a world W like our own, but with ether, then there would be only one object in W. But, since merely adding ether to a world does not destroy the entities in it, then W contains counterparts of all the entities in the actual world—they just are not things. Hence, if simples are maximally continuous, then every actual particular is only contingently so. This in turn entails the following disjunction: (i) identity is contingent or intransitive, or (ii) there are no things at all in the actual world, or (iii) the distinction between stuff and things is one without a difference. I recommend that we reject this stuff-thing dualism. (shrink)

A property, F, is maximal i?, roughly, large parts of an F are not themselves Fs. Maximal properties are typically extrinsic, for their instantiation by x depends on what larger things x is part of. This makes trouble for a recent argument against microphysical superve- nience by Trenton Merricks. The argument assumes that conscious- ness is an intrinsic property, whereas consciousness is in fact maximal and extrinsic.

Comparativism maintains that physical quantities are ultimately relational in character. For example, an object’s having 1 kg rest mass depends on the relations it stands in to other objects in the universe. Comparativism, its advocates allege, reveals that quantities are not metaphysically mysterious: Quantities are reducible to familiar relations holding among physical objects. Modal accounts of intrinsicality—such as Lewis’s duplication account or Langton and Lewis’s combinatorial account—are popular accounts preserving many of our core intuitions regarding which properties are intrinsic. I (...) argue that to endorse both comparativism and a modal account of intrinsicality, we must reject the plausible thesis that determinable properties are instantiated solely in virtue of their determinates. I call this ‘the determinacy tension’ and I suggest approaches for dissolving it. (shrink)

Ordinary objects are experienced to endure over space and time, to not be collocated with each other, to be composed of proper parts, and to survive the loss of some of their parts. These qualities are on the one hand difficult to reconcile for theorists of perception and on the other hand pose a variety of problems when considered in isolation. Relying on the theoretical framework of predictive processing, this paper argues that we can use the category of a robust (...) predictive process to conceptualize qualities such as persistence and compositionality in a unified manner. Traditional problems concerning the structural properties of ordinary objects, such as the question of when two objects compose, can then be reformulated using this new category. (shrink)

The problem of the many poses the task of explaining mereological indeterminacy of ordinary objects in a way that sustains our familiar practice of counting these objects. The aim of this essay is to develop a solution to the problem of the many that is based on an account of mereological indeterminacy as having its source in how ordinary objects are, independently of how we represent them. At the center of the account stands a quasi-hylomorphic ontology of ordinary objects as (...) material objects with multiple individual forms. (shrink)

It has been claimed that we need singular self-knowledge to function properly as rational agents. I argue that this is not strictly true: agents in certain relations could dispense with singular self-knowledge and instead rely on plural self-knowledge. In defending the possibility of this kind of ‘selfless agent’, I thereby defend the possibility of a certain kind of ‘seamless’ collective agency; agency in a group of agents who have no singular self-knowledge, who do not know which member of the group (...) they are. I discuss four specific functions for which singular self-knowledge has been thought indispensable: distinguishing intentional from unintentional actions, connecting non-indexical knowledge with action, reflecting on our own reasoning, and identifying which ultimate practical reasons we have. I argue in each case that by establishing certain relations between agents – relations I label ‘motor vulnerability’, ‘cognitive vulnerability’, ‘evidential unity’ and ‘moral unity’ – we would allow those agents to do everything a rational agent needs to do while relying only on plural, rather than singular, self-knowledge. Finally, I consider the objection that any agents who met the conditions I lay out for selfless agency would thereby cease to qualify as distinct agents, merging into a single agent without agential parts. Against this objection, I argue that we should recognise the possibility of simultaneous agency in whole and parts, and not regard either as disqualifying the other. (shrink)

We think of the world around us as divided into physical objects like toasters and daisies, rather than solely as a smear of properties like yellow and smooth. How do we single out these objects? One theory of object concepts uses part‐of relations and relations of connectedness. According to this proposal, an object is a connected spatial item of maximal extent: Any other connected item that overlaps (i.e., shares a part with) the object must be a part of that object. (...) This article reports four experiments that test this proposal. Participants see descriptions or diagrams of spatial items that vary across trials in their relative positions. In separate experiments, participants decide whether the items are physical objects, whether they are wholes, or how many objects are present. All experiments find support for connectedness as a contributor to object status, but they find little support for maximality. The results suggest that maximality is not a necessary feature of wholes or of objects. (shrink)

Perdurantists hold that we persons—just like other ordinary objects—persist by perduring, by having temporal parts, or stages, located over time. Perdurantists also standardly endorse the B-theory of time. And, in light of this endorsement, they typically characterize our tensed beliefs as self-ascriptions of properties, made not by us but by our stages. For instance, for me to believe that Angela Merkel is currently the chancellor of Germany is for my now-located stage to self-ascribe the property of being simultaneous with Merkel’s (...) chancellorship. The problem with this way of understanding tensed belief is that it undermines—if not outright contradicts—the perdurantist’s best options for resisting the Too Many Thinkers objection. In what follows, I show why this is. I then consider what I take to be the perdurantist’s most promising alternative account of tensed belief. I argue that this alternative either leaves perdurantists no better off with respect to the Too Many Thinkers objection or, instead, leaves them vulnerable to another objection, one that they would otherwise have no problem resisting. (shrink)

Mereological nihilism is the view that no objects have proper parts. Despite how counter‐intuitive it is, it is taken quite seriously, largely because it solves a number of puzzles in the metaphysics of material objects – or so its proponents claim. In this article, I show that for every puzzle that mereological nihilism solves, there is a similar puzzle that (a) it doesn’t solve, and (b) every other solution to the original puzzle does solve. Since the solutions to the new (...) puzzles apply just as well to the old puzzles, the old puzzles provide no motivation to be a mereological nihilist. (shrink)

Suppose we take a picture containing a full image of a duck and slice it right through, leaving some of the duck image on one slice and some of it on the other. How many duck images will we be left with? Received theories of pictorial representation presuppose that a surface cannot come to contain new images just by changing its physical relations with other surfaces, such as physical continuity. But as it turns out, this is in tension with received (...) theories’ approach to incomplete images. I address three views with respect to the circumstances in which incomplete images of X represent X. 1. A liberal, non-restrictive view: ‘Iff they meet relevant requirements posed by received theory of pictorial representation.’ 2. Moderate restrictions of this view and 3. A fully restrictive view. After investigating challenges for the liberal view, I end up supporting it. The main challenges rest on the fact that only the fully restrictive view can plausibly accommodate some principles that seem inherent to our theory of representation. For instance: only this view accommodates received theories’ presupposition that the representational properties of a surface depend on its configurational properties such that new images may appear on a surface only if its configurational properties have changed. Since the liberal view is overall more plausible than the restrictive view, I reject this presupposition and bear the consequences. (shrink)

I argue for patternism, a new answer to the question of when some objects compose a whole. None of the standard principles of composition comfortably capture our natural judgments, such as that my cat exists and my table exists, but there is nothing wholly composed of them. Patternism holds, very roughly, that some things compose a whole whenever together they form a “real pattern”. Plausibly we are inclined to acknowledge the existence of my cat and my table but not of (...) their fusion, because the first two have a kind of internal organizational coherence that their putative fusion lacks. Kolmogorov complexity theory supplies the needed rigorous sense of “internal organizational coherence”. (shrink)

This paper considers how to put together two popular ideas in the philosophy of time: detenserism and perdurantism (the view that objects persist through time by having temporal parts. On the most obvious way of doing this, certain problems arise. I argue that to deal with these problems we need a tool that is unfamiliar to most detensers and perdurantists - the distinction between sortal and non-sortal predicates.

I offer in this article an account of the distinction between intrinsic and extrinsic properties based on the ontology of modes. Modes are particular properties that directly depend for their identity on their "bearers". In Section 1, I shall introduce the ontology of modes. In Section 2, I shall examine the problem of distinguishing between intrinsic and extrinsic properties by considering another, related problem: that of distinguishing between internal and external relations. In Section 3, I shall present my own account (...) and I shall also single out different degrees of intrinsicality and extrinsicality. In Section 4, I shall deal with missing-relatum modes, namely, with modes that lack specific relata, such as Othello's loving someone. I shall introduce three different theories to deal with them. Finally, in Section 5, I shall solve some problems affecting the intrinsic/extrinsic distinction from the standpoint of my account. (shrink)

The Doctrine of Microphysical Supervenience states that microphysical duplicates cannot differ in their intrinsic properties. According to Merricks :59–71, 1998a, Objects and persons, Oxford University Press, 2001), however, this thesis is false, since microphysical duplicates can differ with respect to the intrinsic property of consciousness. In my view, Merricks’ argument is plausible, and extant attempts to reject it are problematic. However, the argument also threatens to make consciousness appear mysterious, by implying that consciousness facts fail to be microphysically determined and (...) that there can be brute and inexplicable differences in consciousness between material things. The paper therefore develops an account that can respect the soundness of Merricks’ argument while avoiding these problematic consequences. At the heart of the proposal is the idea that consciousness can be microphysically grounded despite failing to microphysical supervene. The proposed view also has the interesting consequence that consciousness is an intrinsic property despite depending on extrinsic factors for its instantiation. (shrink)

Being conscious is intrinsic. Suppose P, a conscious human being, “shrinks” by losing an atom from her left index finger. Suppose that at the very first instant at which P has lost that atom, the atoms that then compose her remain just as they were immediately before “the loss.” This implies—assuming MS for reductio—that, just as those atoms compose a conscious object after the loss, so they composed a conscious object before the loss. Name that latter object ‘the atom-complement’.

This article discusses recent work in metaphysics on temporal parts. After a short introduction introducing the notion of a temporal part, we examine several well‐known arguments for the view that ordinary material objects such as tables, trees, and persons have temporal parts: (1) positing temporal parts makes it possible to solve puzzles of coincidence (e.g., the statue/lump puzzle); (2) positing temporal parts makes it possible to solve the problem of intrinsic change over time; and (3) the existence of temporal parts (...) can be demonstrated based on considerations about vagueness in composition. We conclude by examining briefly a recent argument that the dispute over whether there are temporal parts is merely verbal. (shrink)

Over the last thirty years there have been a number of attempts to analyse the distinction between intrinsic and extrinsic properties in terms of the facts about naturalness. This article discusses the three most influential of these attempts, each of which involve David Lewis. These are Lewis's 1983 analysis, his 1986 analysis, and his joint 1998 analysis with Rae Langton.

Several alleged counterexamples to the definition of ‘intrinsic’ proposed in Rae Langton and David Lewis, ‘Defining “Intrinsic”’, are unconvincing. Yet there are reasons for dissatisfaction, and room for improvement. One desirable change is to raise the standard of non-disjunctiveness, thereby putting less burden on contentious judgements of comparative naturalness. A second is to deal with spurious independence by throwing out just the disjunctive troublemakers, instead of throwing out disjunctive properties wholesale, and afterward reinstating those impeccably intrinsic disjunctive properties that are (...) not troublemakers. A third, suggested by Brian Weatherson, would be to invoke the general principle that the intrinsic and the extrinsic characters of things are independent, rather than relying just on one special case of this principle; but it is none too obvious how to do this. (shrink)

The elucidations and regimentations of grounding offered in the literature standardly take it to be a necessary connection. In particular, authors often assert, or at least assume, that if some facts ground another fact, then the obtaining of the former necessitates the latter; and moreover, that grounding is an internal relation, in the sense of being necessitated by the existence of the relata. In this article, I challenge the necessitarian orthodoxy about grounding by offering two prima facie counterexamples. First, some (...) physical facts may ground a certain phenomenal fact without necessitating it; and they may co-exist with the latter without grounding it. Second, some instantiations of categorical properties may ground the instantiation of a dispositional one without necessitating it; and they may co-exist without grounding it. After arguing that these may be genuine counterexamples, I ask whether there are modal constraints on grounding that are not threatened by them. I propose two: that grounding supervenes on what facts there are, and that every grounded fact supervenes on what grounds there are. Finally, I attempt to provide a rigorous formulation of the latter supervenience claim and discuss some technical questions that arise if we allow descending grounding chains of transfinite length. (shrink)

Personites are like continuant people but shorter-lived. Johnston argues that personites do not exist since otherwise personites would have the same moral status as persons, which is untenable. I argue that Johnston’s arguments fail. To do that I propose an alternative way to understand intrinsicness and I clarify the meaning of reductionism about persons. I also argue that a plausible ethical theory is possible even if personites have the same moral status as persons. My arguments draw on Johnston’s earlier debate (...) with Parfit about personal identity and the place of ordinary concerns in a naturalistic world. I also describe an important but metaphysics-free problem that arises from Johnston’s discussion. (shrink)

The Problem of Overlappers is a puzzle about what makes it the case, and how we can know, that we have the parts we intuitively think we have. In this paper, I develop and motivate an overlooked solution to this puzzle. According to what I call the self-making view it is within our power to decide what we refer to with the personal pronoun ‘I’, so the truth of most of our beliefs about our parts is ensured by the very (...) mechanism of self-reference. Other than providing an elegant solution to the Problem of Overlappers, the view can be motivated on independent grounds. It also has wide-ranging consequences for how we should be thinking about persons. Among other things, it can help undermine an influential line of argument against the permissibility of elective amputation. After a detailed discussion and defence of the self-making view, I consider some objections to it. I conclude that none of these objections is persuasive and we should at the very least take seriously the idea that we are to some extent self-made. (shrink)

On a widely shared assumption, our mental states supervene on our microphysical properties – that is, microphysical supervenience is true. When this thesis is combined with the apparent truism that human persons have proper parts, a grave difficulty arises: what prevents some of these proper parts from being themselves thinkers as well? How can I know that I am a human person and not a smaller thinker enclosed in a human person? Most solutions to this puzzle make radical, if not (...) absurd, claims. Recently, however, Michael Burke and Howard Robinson proposed conservative solutions that, according to them, do not have such undesired consequences. This paper argues that the conservative solutions tacitly assume at least one of the radical ones, and therefore they provide no alternative to the extreme solutions. (shrink)

Some truthmaker theorists posit a distinctive kind of entity to solve the problem of providing ontological grounding for negative truths. Recently, A. M. Griffith has raised a general objection against these alleged truthmakers based on an explanatory constraint on truthmaking and the existence condition of these entities. This paper counters the objection by placing it on the horns of a dilemma: the argument must either specify that the existence condition in question is a conceptual matter or insist that the condition (...) is of properly metaphysical substance. I first argue that the former horn cannot be pursued because it makes the objection irrelevant to the alleged claims of truthmaking. I then argue that the latter horn is also highly problematic because simply insisting on the claim begs the question; appreciating this point leads proponents and opponents of the alleged truthmakers to a substantial debate about the metaphysical nature of these entities and the overall theoretical benefit of their postulation. The discussion shows that Griffith's argument fails to establish its conclusion and reveals what is actually required to argue for/against a particular proposal to provide ontological grounding for negative truths. (shrink)

One of the most characteristic cornerstones of Asay’s book, A Theory of Truthmaking, is the defense of what he calls the ontology-first perspective on what the truthmaker project is all about. He distinguishes it from and defends it over what he calls the explanation-first perspective, and he bases his overall theorizing about truthmaking on it. This critical notice aims to counter Asay’s challenges for the explanation-first perspective and reveal its theoretical advantages over its rival. First, I show how to escape (...) Asay’s presented dilemma for the explanation-first perspective by specifying the nature of the distinctive form of explanation that explanation-first truthmaker theorists should envisage. Second, partly based on my proposal in the preceding discussion, I provide an account of the cases that Asay thinks pose troubling questions concerning whether a certain entity really serves as the explanans of a truthmaking explanation. Third, I establish a way in which the explanation-first perspective can be beneficial to what the ontology-first perspective focuses on, namely, exploring the ontological requirements for truths. The overall discussion warns against the underestimation of the prospects for the explanation-first perspective. (shrink)

Is the mammalian embryo/fetus a part of the organism that gestates it? According to the containment view, the fetus is not a part of, but merely contained within or surrounded by, the gestating organism. According to the parthood view, the fetus is a part of the gestating organism. This paper proceeds in two stages. First, I argue that the containment view is the received view; that it is generally assumed without good reason; and that it needs substantial support if it (...) is to be taken seriously. Second, I argue that the parthood view derives considerable support from a range of biological and physiological considerations. I tentatively conclude in favour of the parthood view, and end by identifying some of the interesting questions it raises. (shrink)

In the first part ("Determination"), I consider different notions of determination, contrast and compare modal with non-modal accounts and then defend two a-modality theses concerning essence and supervenience. I argue, first, that essence is a a-modal notion, i.e. not usefully analysed in terms of metaphysical modality, and then, contra Kit Fine, that essential properties can be exemplified contingently. I argue, second, that supervenience is also an a-modal notion, and that it should be analysed in terms of constitution relations between properties. (...) In the second part ("A Theory of Truthmaking"), I first review the literature on ontological commitment, and argue that the notion of truthmaking is better suited to play its explanatory rôle. I then argue that we should take truthmaker theory seriously, and that we should provide actual truthmakers for all truths there are. In the last chapter of this part, I review Armstrong's truthmaker theories and argue that they are unsatisfactory. I generalise my criticism to an argument against truthmaker necessitarianism, the view that truthmakers necessarily make true the truths they are truthmakers of. In the third part ("Properties and their Kind(s)"), I discuss qualitative determination. I present and endorse the truthmaker argument for universals, and defend universalism against friends of tropes, states of affairs and facts. I then give a novel characterisation of the important class of intrinsic properties, building on Lewis' work. With a workable notion of intrinsicness at hand, I argue that relations are ontologically – but not "ideologically" – dispensable: qualitative determination in general is a matter of intrinsic structure. In the future, I plan to add two parts and to publish my thesis as a book: In the fourth part ("Exemplification"), I argue for the existence of an exemplification relation tying universals and particulars together. I derive theoretical benefits from this relation by providing adverbialist theories of modality and tense and identify exemplification with a type of parthood. In the fifth part ("Qua qua qua"), I investigate the curious and interesting ontological category of so-called "qua-objects" (Picasso-as-a-painter, for example) and argue that they exist, are not identical with transworld indidivuals or modal parts and that they provide (contingent) truthmakers for all true predications. (shrink)

Defining the distinction between intrinsic and extrinsic properties has turned out to be one of the most difficult and controversial tasks in contemporary metaphysics. It is generally assumed that a definition of intrinsicness should aim to avoid as many counterexamples as possible and reduce the notion to less controversial philosophical notions. In this paper, the author argues for a new methodological approach to defining intrinsicness. Rather than trying to cover as many intuitive examples as possible, a definition of intrinsicness should (...) reflect the crucial features of our intuitive understanding of the notion, and one of these features is that the intrinsic/extrinsic distinction has to be characterized in a non-reductive way. (shrink)

Putative counterexamples to the Principle of Identity of Indiscernibles (PII) are notoriously inconclusive. I establish ground rules for debate in this area, offer a new response to such counterexamples for friends of the PII, but then argue that no response is entirely satisfactory. Finally, I undermine some positive arguments for PII.

This article considers three recent attempts by David Armstrong, Ross Cameron, and Jonathan Schaffer to provide truthmakers for negative existential truths. It is argued that none of the proposed truthmakers are up to the task of making any negative existential truth true and, it will turn out, for the same reason.

Various cases of conjoined twinning have been presented as problems for the animalist view that we are animals. In some actual and possible cases of human dicephalus that have been discussed in the literature, it is arguable that there are two persons but only one human animal. It is also tempting to believe that there are two persons and one animal in possible instances of craniopagus parasiticus that have been described. Here it is argued that the animalist can admit that (...) these are cases in which human persons are not animals, without forfeiting the title “animalist.” It is also shown that this is not only an option but also a well-motivated and plausible option for the animalist. Seeing this requires getting clear on what the word “we” should be thought to include in the animalist's claim that we are animals. Here animalism is defended against twinning objections by figuring out how to view the scope of the animalist's identity claim. (shrink)

In the region where some cat sits, there are many very cat-like items that are proper parts of the cat (or otherwise mereologically overlap the cat) , but which we are inclined to think are not themselves cats, e.g. all of Tibbles minus the tail. The question is, how can something be so cat-like without itself being a cat. Some have tried to answer this “Problem of the Many” (a problem that arises for many different kinds of things we regularly (...) encounter, including desks, persons, rocks, and clouds) by relying on a mereological maximality principle, according to which, something cannot be a member of a kind K if it is a large proper part of, or otherwise greatly mereologically overlaps, a K. It has been shown, however, that a maximality constraint of this type, i.e. one that restricts mereological overlap, is open to strong objections. Inspired by the insights of, especially, Sutton and Madden, I develop a type of functional-maximality principle that avoids these objections (and has other merits), and thereby provides a better answer to the Problem of the Many. (shrink)

In "How to Define Intrinsic Properties" I offered a relational account of the intrinsic/extrinsic distinction. The basic idea is that F is an intrinsic property of an item x just in case x’s having F consists entirely in x’s having certain internal properties, where an internal property is one whose instantiation does not consist in one’s relation to any distinct items (items other than oneself and one’s proper parts). I still think that this relational analysis is largely correct, and here (...) I provide additional support for it and defend it against some objections that have been raised. In the process I aim to make the account somewhat more precise, especially by contrasting it with a grounding approach to defining the intrinsic/extrinsic distinction. (shrink)

Consider the following two metaphysical questions about pregnancy: (1) When does a new organism of a certain kind start to exist? (2) What is the mereological and topological relationship between the pregnant organism and with what it is pregnant? Despite assumptions made in the literature, I take these questions to be independent of each other, such that an answer to one does not provide an answer to the other. I argue that the way to connect them is via a maximality (...) principle that prevents one organism being a proper part of another organism of the same kind. That being said, such a maximality principle need not be held, and may not apply in the case of pregnancy. The aims of this paper are thus to distinguish and connect these metaphysical questions, in order to outline a taxonomy of rival mereotopological models of pregnancy that result from the various combinations of their answers. (shrink)