Truthmaker theorists claim that for every truth, there is something in virtue of which it is true—or, more cautiously, that for every truth in some specified class of truths, there is something in virtue of which it is true. I argue that it is hard to see how the thought that truth is grounded in reality lends any support to truthmaker theory.

Much recent discussion in the philosophy of mathematics has concerned the indispensability argument—an argument which aims to establish the existence of abstract mathematical objects through appealing to the role that mathematics plays in empirical science. The indispensability argument is standardly attributed to W. V. Quine and Hilary Putnam. In this paper, I show that this attribution is mistaken. Quine's argument for the existence of abstract mathematical objects differs from the argument which many philosophers of mathematics ascribe to him. Contrary to (...) appearances, Putnam did not argue for the existence of abstract mathematical objects at all. I close by suggesting that attention to Quine and Putnam's writings reveals some neglected arguments for platonism which may be superior to the indispensability argument. (shrink)

In (2001), (2003), and elsewhere, Ted Sider presents two arguments concerning the existential quantifier which are justly central to the recent discussion of metaontology. What we will call Sider's indeterminacy argument is an attempted reductio of the suggestion that the existential quantifier might be semantically indeterminate. What we will call Sider's naturalness argument is an argument for the claim that the semantic value of the existential quantifier is the most eligible existence-like meaning there is, à la David Lewis' eligibility theory (...) of meaning. We will argue that these arguments cannot be jointly maintained: Sider must give up at least one. Before arguing this, we will present Sider's two arguments in a bit more detail, and discuss their relationship. A few remarks on the broader significance of our conclusions are in order at the outset. One may think that since one successful argument for a given conclusion is sufficient the point that Sider's arguments cannot both work is purely academic. But we think that Sider's two arguments at bottom reflect different ways of thinking about metaphysics. Moreover, we think that it is only the naturalness argument that promises to deliver all that Sider wants when it comes to metaontology, and it is only the indeterminacy argument that promises to deliver all that Sider wants when it comes to ontology. (shrink)

In a recent article, Caterina Moruzzi (2018) develops and defends her musical stage theory. This discussion response supposes that Moruzzi's development and def.

One way of understanding the reduplicative formula "Christ is, ’qua’ God, omniscient, but ’qua’ man, limited in knowledge" is to take the occurrences of the ‘qua‘ locution as picking out different parts of Christ: a divine part and a human part. But this view of Christ as a composite being runs into paradox when combined with the orthodox understanding of the Incarnation, according to which Christ is identical to the second person of the Trinity. In response, we have to choose (...) between modifying the orthodox understanding, adopting a philosophically and theologically contentious perdurantist account of persistence through time, or rejecting altogether the idea of the composite Christ. (shrink)

One way of understanding the reduplicative formula ‘Christ is, qua God, omniscient, but qua man, limited in knowledge’ is to take the occurrences of the ‘ qua ’ locution as picking out different parts of Christ: a divine part and a human part. But this view of Christ as a composite being runs into paradox when combined with the orthodox understanding of the Incarnation, according to which Christ is identical to the second person of the Trinity. In response, we have (...) to choose between modifying the orthodox understanding, adopting a philosophically and theologically contentious perdurantist account of persistence through time, or rejecting altogether the idea of the composite Christ. (shrink)

The literature suggests two main answers to the question of what it is for a material object to be located at a region of spacetime. Both have a number of virtues. However, both suffer from well-known problems. According to one answer, location is a primitive relation with no informative metaphysical analysis. But this makes a number of necessary truths seem mysterious and leaves them unexplained. According to the other answer, to be located at a region is just to be identical (...) to that region. But this is inconsistent with a number of independently plausible theses about material objects and their locations. In this paper, I explore a new theory of location and argue that it has the virtues of these familiar theories but not their vices. I then explore some further connections the new theory has with some contemporary issues in metaphysics. (shrink)

One well-known objection to supersubstantivalism is that it is inconsistent with the contingency of location. This paper presents a new objection to supersubstantivalism: it is inconsistent with the vagueness of location. Though contingency and vagueness are formally similar, there are important philosophical differences between the two. As a result, the objection from vague location will be structurally different than the objection from contingent location. The paper explores these differences and then defends the argument that supersubstantivalism is inconsistent with the plausible (...) thesis that it is vague where I am located. (shrink)

According to one of the more popular endurantist packages on the market, a package I will call multilocational endurantism, enduring objects are exactly located at multiple instantaneous regions of spacetime. However, for all we know, the world might turn out to be spatiotemporally gunky and spatiotemporal gunk entails that this package is false. The goal of this paper is to sketch a view which retains the spirit of multilocational endurantism while also recognizing the possibility of certain types of objects which (...) endure through gunk. (shrink)

Recent decades have seen a revived interest in super-substantivalism, the idea that spacetime is the only fundamental substance and matter some kind of aspect, property or consequence of spacetime structure. However, the metaphysical debate so far has misidentified a particular variant of super-substantivalism with the position per se. I distinguish between a super-substantival core commitment and different ways of fleshing it out. I then investigate how general relativity and alternative spacetime theories square with the different variants of super-substantivalism.

Mereological universalists and nihilists disagree on the conditions for composition. In this paper, we show how this debate is a function of one’s chosen semantics for plural quantifiers. Debating mereologists have failed to appreciate this point because of the complexity of the debate and extraneous theoretical commitments. We eliminate this by framing the debate between universalists and nihilists in a formal model where these two theses about composition are contradictory. The examination of the two theories in the model brings clarity (...) to a debate in which opponents frequently talk past one another. With the two views stated precisely, our investigation reveals the dependence of the mereologists’ ontological commitments on the semantics of plural quantifiers. Though we discuss the debate with respect to a simplified and idealized model, the insights provided will make more complex debates on composition more productive and deflationist criticisms of the debate less substantial. (shrink)

Eternalism, the view that what we regard locally as being located in the past, the present and the future equally exists, is the best ontological account of temporal existence in line with special and general relativity. However, special and general relativity are not fundamental theories and several research programs aim at finding a more fundamental theory of quantum gravity weaving together all we know from relativistic physics and quantum physics. Interestingly, some of these approaches assert that time is not fundamental. (...) If time is not fundamental, what does it entail for eternalism and the standard debate over existence in time? First, I will argue that the non-fundamentality of time to be found in string theory entails standard eternalism. Second, I will argue that the non-fundamentality of time to be found in loop quantum gravity entails atemporal eternalism, namely a novel position in the spirit of standard eternalism. (shrink)

According to no-futurism, past and present entities are real, but future ones are not. This view faces a skeptical challenge (Bourne 2002, 2006, Braddon-Mitchell, 2004): if no-futurism is true, how do you know you are present? I shall propose a new skeptical argument based on the physical possibility of Gödelian worlds (1949). This argument shows that a no-futurist has to endorse a metaphysical contingentist reading of no-futurism, the view that no-futurism is contingently true. But then, the no-futurist has to face (...) a new skeptical challenge: how do you know that you are in a no-futurist world? (shrink)

If there is a second dimension of time – a so-called ‘hypertime’ – is it logically possible for the past to change? Some have said yes; others have said no. I say yes provided that one has the appropriate ontological view of hypertime. So far, the ontology of hypertime has seldom been discussed. As such, this paper not only defends the logical possibility of a changing past, but aims to start a discussion on what ontological commitments are required to make (...) sense of a changing past. (shrink)

There is an old but powerful argument for the claim that exhaustive divine foreknowledge is incompatible with the freedom to do otherwise. A crucial ingredient in this argument is the principle of the “Fixity of the Past”. A seemingly new response to this argument has emerged, the so-called “dependence response,” which involves, among other things, abandoning FP for an alternative principle, the principle of the “Fixity of the Independent”. This paper presents three arguments for the claim that FI ought to (...) be preferred to FP. (shrink)

On a plenitudinous ontology, in every filled region of spacetime, there is at least one object that’s ‘exactly then and there’; one per each modal profile that the matter in the region satisfies. One of the strongest arguments for plenitude, the “argument from anthropocentrism”, puts pressure on us to accept that members of different communities correctly self-identify under different subject concepts. I explore this consequence and offer an account of selves on which self-determination is both socially and individually variant; we (...) determine our spatiotemporal boundaries, our de re modal properties, and the kind of being that we are. We do this by determining which of many candidate beings has the property of being a self. (shrink)

Modal Plenitude—the view that, for every empirically adequate modal profile, there is an object whose modal profile it is—is held to be consistent with each of endurantist and perdurantist (three- and four-dimensionalist) views of persistence. Here I show that, because “endurer” and “perdurer” are two substantially different kinds of entity, compossible with each other and consistent with empirical data, Modal Plenitude actually entails a third view about persistence that I call “Persistence Egalitarianism.” In every non-empty spacetime region there are two (...) persisting objects: one that endures through the temporal dimension of that region, and another that perdures through the region. Additionally, if the argument from anthropocentrism makes a strong case for Modal Plenitude, then an equally strong and parallel case supports Persistence Egalitarianism. I close with the meta-semantic consequences of persistence egalitarianism for ordinary object talk. (shrink)

Since its inception, analytic philosophy has failed to attain dominance in Japan. However, the 21st century has seen analytic philosophy gain traction among Japanese philosophers. This paper, which examines the status quo of analytic philosophy in Japan since 2000, consists of two parts. The first part deals primarily with organizations—specifically, relevant associations, journals, conferences, universities, and publishers are illustrated. The second part explores key works in each area—namely, philosophy of science, philosophy of language, philosophy of logic and mathematics, philosophy of (...) mind, and metaphysics. Key works in other areas are also briefly addressed. (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)

Do pregnant mothers have fetuses as parts? According to the “parthood view” they do, while according to the “containment view” they don’t. This paper raises a novel puzzle about pregnancy: if mothers have their fetuses as parts, then wherever there is a pregnant mother, there is also a smaller thinking being that has every part of the mother except for those that overlap with the fetus. This problem resembles a familiar overpopulation puzzle from the personal identity literature, known as the (...) “Thinking Parts Problem”, but it’s not merely a special case of that problem. Rather, the fact that late-term fetuses have a mental life of their own makes the Problem of Pregnant Thinkers, as I will call it, a sui generis and especially recalcitrant problem. (shrink)

The Argument from Vagueness for Universalism contends that any non-arbitrary restriction on composition must be vague, but that vague composition leads to unacceptable count indeterminacy. One common response to the argument is that borderline cases of composition don’t necessarily lead to count indeterminacy because a determinately existing thing may be a borderline case of a presently existing concrete composite object. We can collectively refer to such views as versions of the Status Response. This paper argues that the Status Response cannot (...) handle count indeterminacy about various categories of things, such as events, states of affairs, tropes, holes, shadows, and created abstracta, when these are understood in the right way. This makes the Status Response objectionablfy ad hoc, which should lead us to look for alternative ways of resisting the Argument from Vagueness. (shrink)

This paper provides a detailed examination of Kit Fine’s sizeable contribution to the development of a neo‐Aristotelian alternative to standard mereology; I focus especially on the theory of ‘rigid’ and ‘variable embodiments’, as defended in Fine 1999. Section 2 briefly describes the system I call ‘standard mereology’. Section 3 lays out some of the main principles and consequences of Aristotle’s own mereology, in order to be able to compare Fine’s system with its historical precursor. Section 4 gives an exposition of (...) Fine’s theory of embodiments and goes on to isolate a number of potential concerns to which this account gives rise. In particular, I argue that Fine’s theory threatens to proliferate primitive sui generis relations of parthood and composition, whose characteristics must be stipulatively imposed on them, relative to particular domains; given its ‘superabundance’ of objects, Fine’s system far outstrips the already inflated ontological commitments of standard mereology; and there is a legitimate question as to why we should consider Fine’s primitive and sui generis relations of parthood and composition to be genuinely mereological at all, given their formal profile. These three objections lead me to conclude that we ought to explore other avenues that preserve the highly desirable, hylomorphic, features of Fine’s mereology, while avoiding its methodological and ontological excesses. (shrink)

A presentation of the Lewis-Sider argument from vagueness for unrestricted composition and possible responses.

Nihilism is the thesis that no composite objects exist. Some ontologists have advocated abandoning nihilism in favor of deep nihilism, the thesis that composites do not existO, where to existO is to be in the domain of the most fundamental quantifier. By shifting from an existential to an existentialO thesis, the deep nihilist seems to secure all the benefits of a composite-free ontology without running afoul of ordinary belief in the existence of composites. I argue that, while there are well-known (...) reasons for accepting nihilism, there appears to be no reason at all to accept deep nihilism. In particular, deep nihilism draws no support either from the usual arguments for nihilism or from considerations of parsimony. (shrink)

When some objects are the parts of another object, they compose that object and that object is composite. This article is intended as an introduction to the central questions about composition and a highly selective overview of various answers to those questions. In §1, we review some formal features of parthood that are important for understanding the nature of composition. In §2, we consider some answers to the question: which pluralities of objects together compose something? As we will see, the (...) dominant answers are all of them and none of them. In §§3-4, we examine one of the main arguments that has driven philosophers to these extreme answers: the argument from vagueness. In §5, we turn to the question of whether composition is unique: is it sometimes the case that some things compose more than one thing? Finally, in §6, we turn from the question of which composites exist to the question of which composites exist fundamentally. (shrink)

A symposium on my *Objects: Nothing Out of the Ordinary* (2015). In response to Wallace, I attempt to clarify the dialectical and epistemic role that my arguments from counterexamples were meant to play, I provide a limited defense of the comparison to the Gettier examples, and I embrace the comparison to Moorean anti-skeptical arguments. In response to deRosset, I provide a clearer formulation of conservatism, explain how a conservative should think about the interaction between intuition and science, and discuss what (...) conservatives should say about scattered territories, clonal colonies, and arbitrary systems. In response to Tillman and Spencer, I fortify my original presentation of the debunking arguments by clarifying why, even while trees (if they exist) are paradigmatically causal, conservatives are meant to be rationally obstructed from believing that it is trees that are causing our tree beliefs. (shrink)

While standard first-order modal logic is quite powerful, it cannot express even very simple sentences like “I could have been taller than I actually am” or “Everyone could have been smarter than they actually are”. These are examples of cross-world predication, whereby objects in one world are related to objects in another world. Extending first-order modal logic to allow for cross-world predication in a motivated way has proven to be notoriously difficult. In this paper, I argue that the standard accounts (...) of cross-world predication all leave something to be desired. I then propose an account of cross-world predication based on quantified hybrid logic and show how it overcomes the limitations of these previous accounts. I will conclude by discussing various philosophical consequences and applications of such an account. (shrink)

This article aims to study the intersection between critical realism and complexity theories through the existing literature on complex systems via an engagement with Luhmann’s autopoiesis. With reference to the philosophies of substance and persistence, I build on previous critical realist scholarship and provide an explanation for what the literature has only noted as the limitations and potentials of autopoiesis for complex systems thinking and its compatibility with Critical Realism. By highlighting how Luhmann’s autopoiesis is not a trans-immanent/ perdurantist-exdurantist system, (...) I show first how a trans immanent system through the method of calibration entails a complex causation involving objects in the environment of systems and not just within their boundaries. Second, I explain how a trans-immanent system fits with CR via the Morphogenetic Régulation framework by exploring the theme of crisis in terms of the movement from inadequate to adequate understanding of objects. (shrink)

I examine the implications of positing stuff as a way to avoid colocation in the case of the statue and the bronze that constitutes it. When characterising stuff, it’s intuitive to say we often individuate stuff kinds by appealing to things and their relations. I argue that if this intuition is correct, there are important restrictions on how we can characterise stuff in order to avoid colocated portions of stuff.

Current formulations of Four-Dimensionalism may be objected to on grounds that they are too inflexible: the formulations do not seem to allow for enough variety in the views they are paired with. For instance, Kit Fine has noted that formulations of Four-Dimensionalism in terms of instantaneous parts may be too demanding for Four-Dimensionalists who believe nothing is instantaneous. And Trenton Merricks has argued that one can think something persists four-dimensionionally without taking it to have proper temporal parts, and claims that (...) our formulation of Four-Dimensionalism should be revised to allow for this. I will add my own worries to those of Fine and Merricks. I will note that current formulations of Four-Dimensionalism are not sufficiently neutral with respect to the structure of time, with respect to how liberally objects decompose into parts, and with respect to whether objects and the regions they fill match in mereological structure. I will show that we can formulate Four-Dimensionalism in a sufficiently neutral way, while still producing a view that can do the work we typically require of Four-Dimensionalism. (shrink)

Multilocation and Minimal Mereology do not mix well. It has been pointed out that Three-Dimensionalism, which can be construed as multilocation-friendly, runs into trouble with Weak Supplementation. But in fact, regardless of one’s theory of persistence, if someone posits the possibility of any one of several kinds of multilocation, he or she will not be able to maintain the necessity of any of the three axioms of Minimal Mereology: the Transitivity of Proper Parthood, the Asymmetry of Proper Parthood, and Weak (...) Supplementation. In fact, positing even the mere conceivability of cases involving multilocation will require the denial of the analyticity of Minimal Mereology. In response to this, some have claimed that we ought to relativise parthood, either to one region or to two. Unfortunately, if we replace the axioms of Minimal Mereology with region-relativised counterparts, we will not be able to capture the intuitions that supported the original axioms. The only adequate solution, I maintain, is to restrict multilocation to a domain outside the scope of the rules we intuitively take to govern the parthood relation. For those who take Minimal Mereology to be necessary and universal, that will mean relinquishing the possibility of multilocation. (shrink)

The At-At Account of motion is the extremely popular view that, necessarily, something moves if and only if it’s at one place at one time, and at a distinct place at a distinct time. This, many believe, is all that motion consists in. However, I will present a case in which, intuitively, motion does not occur, though the At-At Account of motion entails that it does. I will then turn to the only tenable response that avoids revising the At-At Account: (...) denying the possibility of my case. I will argue that the response is both contentious and fails to defend the spirit of the At-At Account qua reduction of motion (rather than mere listing of necessary and sufficient conditions for motion’s occurring). (shrink)

In this paper, we show that presentism -- the view that the way things are is the way things presently are -- is not undermined by the objection from being-supervenience. This objection claims, roughly, that presentism has trouble accounting for the truth-value of past-tense claims. Our demonstration amounts to the articulation and defence of a novel version of presentism. This is brute past presentism, according to which the truth-value of past-tense claims is determined by the past understood as a fundamental (...) aspect of reality different from things and how things are. (shrink)

Many theorists have found the notion of forgiveness to be paradoxical, for it is thought that only the blameworthy can be appropriately forgiven but that the blameworthy are appropriately blamed not forgiven. Some have appealed to the notion of repentance to resolve this tension. But others have objected that such a response is explanatorily inadequate in the sense that it merely stipulates and names a solution leaving the transformative power of repentance unexplained. Worse still, others have objected that such a (...) response cannot succeed because no amount of repentance can render the blameworthy not blameworthy. I argue that this latter objection is based on a mistaken assumption, the acknowledgement of which has the power to resolve the paradox in a way that meets the explanatory adequacy challenge, and, more generally, has significant implications with which any full theory of forgiveness must engage. (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)

In this paper, we argue for a novel three-dimensionalist solution to the problem of persistence, i.e. cross-temporal identity. We restrict the discussion of persistence to simple substances, which do not have other substances as their parts. The account of simple substances employed in the paper is a trope-nominalist strong nuclear theory, which develops Peter Simons' trope nominalism. Regarding the distinction between three dimensionalism and four dimensionalism, we follow Michael Della Rocca's formulation, in which 3D explains persistence in virtue of same (...) entities and 4D in virtue of distinct entities. SNT is a 3D'ist position because it accounts for the persistence of simple substances in virtue of diachronically identical ‘nuclear’ tropes. The nuclear tropes of a simple substance are necessary for it and mutually rigidly dependent but distinct. SNT explains qualitative change by tropes that are contingent to a simple substance. We show that it avoids the standard problems of 3D: temporal relativization of ontic predication, Bradley's regress and coincidence, fission and fusion cases. The temporal relativization is avoided because of the analysis of temporary parts that SNT gives in terms of temporal sub-location, which is atemporal part–whole relation. (shrink)

Numerous difficulties arising in connection with developing an ontology for linguistic entities can be thought of as manifestations of a more general problem, aptly characterized by David Lewis (1975) as a tension between two conflicting conceptions of language. On the one hand, our best theories model languages as abstract semantic systems—roughly, functions assigning meanings to expressions. On the other hand, we think of languages as contingent and changing social constructs—both grounded in, and grounding, various social relations and institutions of human (...) beings. There are various ways in which these conceptions appear to be in conflict. For instance, if languages are set-theoretical entities—as our best logical and linguistic theories would have it—how do we account for the fact that they change? Or that they could have been different in various respects? And how do we provide principled and noncircular conditions for set-membership, when there appears to be nothing in common to all tokens of the same expression other than belonging to the same type? This paper aims to develop an ontology of linguistic entities—specifically, of languages and linguistic communities—that can resolve these apparent tensions. (shrink)

One of the main motivations for compositional nihilism, the view that there are no composite material objects, concerns the many puzzles and problems associated with them. Nihilists claim that eliminating composites provides a unified solution to a slew of varied, difficult problems. However, numerous philosophers have questioned whether this is really so. While nihilists clearly avoid the usual, composite-featuring formulations of the puzzles, the concern is that the commitments that generate the problems are not eliminated along with composites. If this (...) is correct, it severely undercuts the motivation for the view. However, I argue that it is not correct. The aim of this paper is to explain exactly how and why eliminating composites dissolves substantive metaphysical puzzles. More generally, I aim to clarify the nihilist’s ontological commitments and the scope of the paraphrase strategy she employs. (shrink)

Mark Johnston has recently argued that four-dimensionalist theories of persistence are incompatible with some of our most basic ethical and prudential principles. I argue that although Johnston’s arguments succeed on a worm-theoretic account of persistence, they fail on a stage-theoretic account. So much the worse, I conclude, for the worm theory.

Metaphysical theories of change incorporate substantive commitments to theories of persistence. The two most prominent classes of such theories are endurantism and perdurantism. Defenders of endurancestyle accounts of change, such as Klein, Hinchliff, and Oderberg, do so through appeal to a priori intuitions about change. We argue that this methodology is understandable but mistaken—an adequate metaphysics of change must accommodate all experiences of change, not merely intuitions about a limited variety of cases. Once we examine additional experiences of change, particularly (...) those in (special) relativistic circumstances, it becomes clear that only a perdurance account of change is adequate. (shrink)

The so-called 'Extreme Claim' asserts that reductionism about personal identity leaves each of us with no reason to be specially concerned about his or her own future. Both advocates and opponents of the Extreme Claim, whether of a reductionist or non-reductionist stripe, accept that similar problems do not arise for non-reductionism. In this paper I challenge this widely held assumption.

According to truthmaker theory, particular truths are true in virtue of the existence of particular entities. Truthmaker maximalism holds that this is so for all truths. Negative existential and other ‘negative’ truths threaten the position. Despite this, maximalism is an appealing thesis for truthmaker theorists. This motivates interest in parsimonious maximalist theories, which do not posit extra entities for truthmaker duty. Such theories have been offered by David Lewis and Gideon Rosen, Ross Cameron, and Jonathan Schaffer. But these theories cannot (...) be sustained, I’ll argue, and hence maximalism comes with a serious ontological cost. Neither Armstrong’s invocation of totality facts nor the Martin-Kukso line on absences can meet this cost satisfactorily. I’ll claim that negative facts are the best (and perhaps only) way out of the problem for the truthmaker maximalist. (shrink)

Bundle theories identify material objects with bundles of properties. On the traditional approach, these are the properties possessed by that material object. That view faces a deep problem: it seems to say that all of an object’s properties are essential to it. Essential bundle theory attempts to overcome this objection, by taking the bundle as a specification of the object’s essential properties only. In this paper, I show that essential bundle theory faces a variant of the objection. To avoid the (...) problem, the theory must accept the contingency of identity. I show how this can be achieved in a coherent and well-motivated way, a way that isn’t available to traditional bundle theories. (shrink)

Bundle theories identify material objects with bundles of properties. On the traditional approach, these are the properties possessed by that material object. That view faces a deep problem: it seems to say that all of an object’s properties are essential to it.Essential bundle theoryattempts to overcome this objection, by taking the bundle as a specification of the object’s essential properties only. In this paper, I show that essential bundle theory faces a variant of the objection. To avoid the problem, the (...) theory must accept the contingency of identity. I show how this can be achieved in a coherent and well-motivated way, a way that isn’t available to traditional bundle theories. (shrink)

In his book Worlds and Individuals, Possible and Otherwise (2010), Takashi Yagisawa presents and argues for a novel and imaginative version of modal realism. It differs both from Lewis’s modal realism (Lewis 1986) and from actualists’ ersatz accounts (Adams 1974; Sider 2002). In this paper, I’ll present two arguments, each of which shows that Yagisawa’s metaphysics is incoherent. The first argument shows that the combination of Yagisawa’s metaphysics with impossibilia leads to triviality: every sentence whatsoever comes out true. This is (...) so even if Yagisawa accepts a paraconsistent notion of logical consequence, on which contradictions do not entail arbitrary conclusions. The second argument is independent of Yagisawa’s acceptance of impossibilia. It shows that Yagisawa’s metaphysics of possible worlds is incoherent. Using ordinary modal reasoning, I derive a contradiction from Yagisawa’s account of possible worlds. (shrink)

Joshua Spencer (2010) has recently used the problem of spatial intrinsics in conjunction with the possibility of extended atomic regions of space to argue against the possibility of extended heterogeneous simples. In part 1, I explain Spencer’s argument against the possibility of heterogeneous simples. In part 2, I argue that if his argument is sound, then a parody argument can be constructed showing that heterogeneous composite objects are also impossible. In part 3, I provide an objection to my parody argument. (...) I then go on to argue that if this objection is successful, then Spencer’s argument is left susceptible to an analogous objection. In short, I argue that either Spencer has shown that composite and simple heterogeneous objects are impossible, or that Spencer’s argument against the possibility of extended heterogeneous simples (and my parody argument) is unsound. (shrink)

Intuitively, (1)-(3) seem to express genuine claims (true or false) about what the world is like, attempts to correctly describe parts of extra-linguistic reality. By contrast, it is tempting to regard (4)-(6) as merely reflecting decisions (or conventions, or dispositions, or rules) concerning the terms in which that extra-linguistic reality is described, decisions about which things to label with 'vixen', 'bachelor' or 'cup'.