Though the study of grounding is still in the early stages, Kit Fine, in ”The Pure Logic of Ground”, has made a seminal attempt at formalization. Formalization of this sort is supposed to bring clarity and precision to our theorizing, as it has to the study of other metaphysically important phenomena, like modality and vagueness. Unfortunately, as I will argue, Fine ties the formal treatment of grounding to the obscure notion of a weak ground. The obscurity of weak ground, together (...) with its centrality in Fine’s system, threatens to undermine the extent to which this formalization offers clarity and precision. In this paper, I show how to overcome this problem. I describe a system, the logic of strict ground (LSG) and demonstrate its adequacy; I specify a translation scheme for interpreting Fine’s weak grounding claims; I show that the interpretation verifies all of the principles of Fine’s system; and I show that derivability in Fine’s system can be exactly characterized in terms of derivability in LSG. I conclude that Fine’s system is reducible to LSG. (shrink)

Mereological nihilists are faced with a difficult challenge: explaining ordinary talk about material objects. Popular paraphrase strategies involve plurals, arrangements of particles, or fictions. In this paper, a new paraphrase strategy is put forward that has distinct advantages over its rivals: it is compatible with gunk and emergent properties of macro-objects. The only assumption is a commitment to a liberal view of the nature of simples; the nihilist must be willing to accept the possibility of heterogeneous extended simples. The author (...) suggests reinterpreting the parthood and composition relations as modal. According to this paraphrase, composition is a kind of counterpart relation. The author shows that one can accept that mereological nihilism is metaphysically necessary, while endorsing all the claims of classical mereology. As a result, the nihilists are in exactly the same position as the classical mereologist when it comes to explaining talk about ordinary objects, but without the additional ontology. (shrink)

Mereological realism holds that the world has a mereological structure – i.e. a distribution of mereological properties and relations. In this article, I defend Eleaticism about properties, according to which there are no causally inert non-logical properties. I then present an Eleatic argument for mereological anti-realism, which denies the existence of both mereological composites and mereological simples. After defending Eleaticism and mereological anti-realism, I argue that mereological anti-realism is preferable to mereological nihilism. I then conclude by examining the thesis that (...) composition is identity and noting its consequences for the question of mereological structure. (shrink)

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?

The traditional view of lying holds that this phenomenon involves two central components: stating what one does not believe oneself and doing so with the intention to deceive. This view remained the generally accepted view of the nature of lying until very recently, with the intention-to-deceive requirement now coming under repeated attack. In this article, I argue that the tides have turned too quickly in the literature on lying. For while it is indeed true that there can be lies where (...) there is no intention on the part of the speaker to deceive the hearer, this does not warrant severing the connection between lying and deception altogether. Thus, I defend the following account of lying: A lies to B if and only if (1) A states that p to B, (2) A believes that p is false, and (3) A intends to be deceptive to B in stating that p. (shrink)

According to Existence Monism, there is only one concrete object in existence—the world. This view is to be contrasted with Existence Pluralism, which posits multiple concrete objects. In a recent Analysis paper, Sider (Analysis 2007; 67:1–7) presents arguments against Existence Monism claiming that there are evident features of statespace, which the monist is at a loss to explain. Given that the pluralist can give plausible and satisfying explanations of these features, we have good reason to favor pluralism over monism, or (...) so Sider supposes. This article constitutes a response to Sider’s claims. I will show how, by appealing to the world’s properties as opposed to the world’s parts, the monist is able to explain these features of statespace perfectly well. (shrink)

The theoretical virtue of parsimony values the minimizing of theoretical commitments, but theoretical commitments come in two kinds : ontological and ideological. While the ontological commitments of a theory are the entities it posits, a theory’s ideological commitments are the primitive concepts it employs. Here, I show how we can extend the distinction between quantitative and qualitative parsimony, commonly drawn regarding ontological commitments, to the domain of ideological commitments. I then argue that qualitative ideological parsimony is a theoretical virtue. My (...) defense proceeds by demonstrating the merits of qualitative ideological parsimony and by showing how the qualitative conception of ideological parsimony undermines two notable arguments from ideological parsimony: David Lewis’ defense of modal realism and Ted Sider’s defense of mereological nihilism. (shrink)

Review of part one of Ronald Dworkin's Justice for Hedgehogs.

The connection between whole and part is intimate: not only can we share the same space, but I’m incapable of leaving my parts behind; settle the nonmereological facts and you thereby settle what is a part of what; wholes don’t seem to be an additional ontological commitment over their parts. Composition as identity promises to explain this intimacy. But it threatens to make the connection too intimate, for surely the parts could have made a different whole and the whole have (...) had different parts. In this paper I attempt to offer an account of parthood that is intimate enough but not too intimate: the parts generate the whole, but they are not themselves the whole. (shrink)

A lot of philosophers engage in debates about what claims are “metaphysically necessary”, and a lot more assume with little argument that some classes of claims have the status of “metaphysical necessity”. I think we can usefully replace questions about metaphysical necessity with five other questions which each capture some of what people may have had in mind when talking about metaphysical necessity. This paper explains these five other questions, and then discusses the question “how much of metaphysics is metaphysically (...) necessary?”, and each of its five replacements. (shrink)

In this paper I argue that we need to take irreducibly plural logic more seriously in metaphysical debates due to the fact that the verdict of many metaphysical debates hangs on it. I give two examples. The main example I focus on is the debate recently revived by Jonathan Schaffer over the fundamental cardinality of the world. I show how the three main arguments provided by Schaffer are unsound in virtue of an employment of plural logic. The second example I (...) give is a more general issue about the possibility of emergent properties of mereological wholes. Employing plural logic there is a new way to understand such cases. The upshot is that plural logic greatly matters to metaphysics and hence can no longer be ignored the way it has in this area. (shrink)

Let ‘monism’ be the view that there is only one basic object—the world. Monists face the question of whether there are also non-basic objects. This is in effect the question of whether the world decomposes into parts. Jonathan Schaffer maintains that it does, Terry Horgan and Matjaž Potrč that it does not. In this paper, I propose a compromise view, which I call ‘Kantian monism.’ According to Kantian monism, the world decomposes into parts insofar as an ideal subject under ideal (...) conditions would divide it into parts, but it does not decompose into parts in and of itself, that is, in an entirely mind-independent manner. After articulating Kantian monism more precisely (Section 1), I present a prima facie case for preferring it over more standard varieties of monism (Section 2). (shrink)

An encyclopedia entry which covers various revisionary conceptions of which macroscopic objects there are, and the puzzles and arguments that motivate these conceptions: sorites arguments, the argument from vagueness, the puzzles of material constitution, arguments against indeterminate identity, arguments from arbitrariness, debunking arguments, the overdetermination argument, and the problem of the many.

Downward causation is commonly held to create problems for ontologically emergent properties. In this paper I describe two novel examples of ontologically emergent properties and show how they avoid two main problems of downward causation, the causal exclusion problem and the causal closure problem. One example involves an object whose colour does not logically supervene on the colours of its atomic parts. The other example is inspired by quantum entanglement cases but avoids controversies regarding quantum mechanics. These examples show that (...) the causal exclusion problem can be avoided, in one case by showing how it is possible to interact with an object without interacting with its atomic parts. I accept that emergence cannot be reconciled with causal closure, but argue that violations of causal closure do not entail violations of the base-level laws. Only the latter would conflict with empirical science. (shrink)

Consider a circle and a pair of its semicircles. Which is prior, the whole or its parts? Are the semicircles dependent abstractions from their whole, or is the circle a derivative construction from its parts? Now in place of the circle consider the entire cosmos (the ultimate concrete whole), and in place of the pair of semicircles consider the myriad particles (the ultimate concrete parts). Which if either is ultimately prior, the one ultimate whole or its many ultimate parts?

Consider the kinds of macroscopic concrete objects that common sense and the sciences allege to exist: tables, raindrops, tectonic plates, galaxies, and the rest. Are there any such things? Opinions differ. Ontological liberals say they do; ontological radicals say they don't. Liberalism seems favored by its plausible acquiescence to the dictates of common sense abetted by science; radicalism by its ontological parsimony. Priority theorists claim we can have the virtues of both views. They hold that tables, raindrops, etc., exist, but (...) they aren't fundamental. The ontological liberal's ontology provides the correct inventory of existent individuals. The ontological radical's more restricted ontology provides the correct inventory of fundamental individuals. The priority theorist claims that the derivative individuals are "no addition in being" to the fundamental ones, so we can have our cake and eat it too. It would be nice if priority theorists were right. In this paper I argue, with regret, that they are not. One upshot is that the sort of explanations which underwrite the priority theorist's distinction between fundamental and derivative individuals do not mitigate our ontological commitments. Another is that we still have to choose between the charms of liberalism and radicalism. (shrink)

The Vagueness Argument for universalism only works if you think there is a good reason not to endorse nihilism. Sider's argument from the possibility of gunk is one of the more popular reasons. Further, Hawley has given an argument for the necessity of everything being either gunky or composed of mereological simples. I argue that Hawley's argument rests on the same premise as Sider's argument for the possibility of gunk. Further, I argue that that premise can be used to demonstrate (...) the possibility of simples. Once you stick it all together, you get an absurd consequence. I then survey the possible lessons we could draw from this, arguing that whichever one you take yields an interesting result. (shrink)

Exotic ontologies are all the rage. Distant from common sense and often science as well, views like mereological essentialism, nihilism, and fourdimensionalism appeal to our desire to avoid arbitrariness, anthropocentrism, and metaphysical conundrums.1 Such views are defensible only if they are materially adequate, only if they can “reconstruct” the world of common sense and science. (No disrespect to the heroic metaphysicians of antiquity, but this world is not just an illusion.) In the world of common sense and science, bicycles survive (...) changes in their parts, billiard balls strike one another, and nothing travels faster than light. The mereological essentialist denies the rst, but offers this replacement: “there exist successions of numerically distinct, but appropriately related, bicycles with different parts” (Chisholm, , chapter ). The nihilist denies the second, but offers this replacement: “there exist X s and Y s such that the X s are arranged billiard-ball-wise, the Y s are also arranged billiard-ball-wise, and the X s strike the Y s”.2 The four-dimensionalist denies the third, but offers this replacement: “no sequences of matter-stages that are related by genidentity travel faster than light”.3 There is room for disagreement over what exactly “reconstruction” amounts to, but at a minimum: when a metaphysical theory reconstructs ordinary sentences φ1. . . as replacement sentences ψ1. . . , ordinary and scienti c evidence must not refute the view that, strictly speaking, it is ψ1. . . rather than φ1. . . that are true. The metaphysician needs reconstruction in order to face the tribunal of experience. An intriguing newcomer to the contemporary scene is the ancient doctrine of monism, the claim that “reality is one”.4 I will argue that, contrary to.. (shrink)

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)

An overview of contemporary part-whole theories, with reference to both their axiomatic developments and their philosophical underpinnings.

In The Principles of Mathematics, Russell writes: Whatever may be an object of thought, or may occur in any true or false proposition, or can be counted as one, I call a term. This, then, is the widest word in the philosophical vocabulary. I shall use as synonymous with it the words unit, individual and entity. The first two emphasize the fact that every term is one, while the third is derived from the fact that every term has being, i.e. (...) is in some sense. A man, a moment, a number, a class, a relation, a chimera, or anything else that can be mentioned, is sure to be a term'. Now in this remark, a certain extremely general, topic-neutral use of ‘object’ is singled out, a use in which the expression is treated as equivalent to (equally neutral) uses of ‘term’, ‘entity’, ‘unit’, ‘individual’, and ‘thing’. In addition, a claim is made to the effect that the content of the expression, with its emphasis on one, is such as to be adequate to comprehend the sum-total of existence, to include whatever there may be. The paper addresses the question of what this claim means, and whether it might be true. (shrink)

Discussion of reductive and non-reductive physicalism formulated in a priority monist framework.

This entry focuses on two of the more historically important monisms: existence monism and priority monism . Existence monism targets concrete objects and counts by tokens. This is the doctrine that exactly one concrete object exists. Priority monism also targets concrete objects, but counts by basic tokens. This is the doctrine that exactly one concrete object is basic, which will turn out to be the classical doctrine that the whole is prior to its parts.

In recent work, the interrelated questions of whether there is a fundamental level to reality, whether ontological dependence must have an ultimate ground, and whether the monist thesis should be endorsed that the whole universe is ontologically prior to its parts have been explored with renewed interest. Jonathan Schaffer has provided arguments in favour of 'priority monism' in a series of articles (2003, 2004, 2007a, 2007b, forthcoming). In this paper, these arguments are analysed, and it is claimed that they are (...) not compelling: in particular, the possibility that there is no ultimate level of basic entities that compose everything else is on a par with the possibility of infinite 'upward' complexity. The idea that we must, at any rate, postulate an ontologically fundamental level for methodological reasons ( Cameron 2008 ) is also discussed and found unconvincing: all things considered, there may be good reasons for endorsing 'metaphysical infinitism'. In any event, a higher degree of caution in formulating metaphysical claims than found in the extant literature appears advisable. (shrink)

Fictionalists about a kind of disputed entity aim to give a face-value interpretation of our discourse about those entities without affirming their existence. The fictionalist’s commitment to non-realism leaves open three options regarding their ontological position: they may deny the existence of the disputed entities (anti-realism), remain agnostic regarding their existence (agnosticism), or deny that there are ontological facts of the matter (ontological anti-realism). This paper outlines a method of adjudicating between these options and argues that fictionalists may be expected (...) to hold preferences between them. The typical arguments and motivations for fictionalism lead naturally to a practice-based metaontological framework under which our practices regarding a kind of disputed entity might inform our ontological beliefs about those entities. When that framework is applied to fictionalism, it is found that the usual motivations for fictionalism lead naturally, though not decisively, to ontological anti-realism. And, where there are reasons against ontological anti-realism, fictionalism leans more toward anti-realism than agnosticism. (shrink)

Almost all philosophers interested in parthood and composition think that a composite object is a further thing, numerically distinct from the objects that compose it. Call this the orthodox view. I argue that the orthodox view is false, and that a composite object is identical to the objects that compose it (collectively). This view is known as composition as identity. -/- I argue that, despite its unpopularity, there are many reasons to favour com- position as identity over the orthodox view. (...) First, defenders of the orthodox view have not offered complete theories of composition. For instance, they have not given adequate accounts of heterogeneous properties like being black and white in composite objects. Nor have they given satisfactory explanations for the necessary connections that hold between composite objects and their proper parts. -/- Second, there appears to be no good way for defenders of the orthodox view to remedy this. Any account of the heterogeneous properties of composite objects which is compatible with the orthodox view faces serious problems, as does any account of the necessary connections between an object and its proper parts. Composition as identity, on the other hand, is compatible with intuitive responses to both of these challenges. -/- Third, there are a number of strong arguments in favour of composition as identity. For example, composition as identity fits our evidence about the way the world is better than the orthodox view does. It also allows us to easily maintain that composition sometimes occurs and sometimes does not—i.e., it allows us to easily maintain that composition is restricted. The orthodox view does not. The theories of composition put forward by most philosophers are at best incomplete or in need of improvement. At worst, they are false and composition as identity is true. (shrink)

As it is presently employed, grounding permits grounding many things from one ground. In this paper, I show why this is a mistake by pushing for a uniqueness principle on grounding. After arguing in favor of this principle, I say something about it and kinds of grounding, discuss a similar principle, and consider its import on a formal feature of grounding, ontology, and ontological simplicity.

I argue that it is metaphysically necessary that: (i) every fundamental entity is conscious, and (ii) every fundamental property is a phenomenal property.

How should we account for the extraordinary regularity in the world? Humeans and Non-Humeans sharply disagree. According to Non-Humeans, the world behaves in an extraordinarily regular way because of certain necessary connections in nature. However, Humeans have thought that Non-Humean views are metaphysically objectionable. In particular, there are two general metaphysical principles that Humeans have found attractive that are incompatible with all existing versions of Non-Humeanism. My goal in this paper is to develop a novel version of Non-Humeanism that is (...) consistent with (and even entails) both of these general metaphysical principles. By endorsing such a view, one can have the explanatory benefits of Non-Humeanism while at the same time avoiding two of the major metaphysical objections towards Non-Humeanism. (shrink)

This article is a review of Franz Brenatno’s material ontology. We support the thesis that Brentano defends an original type of monism. This monism can be seen as the conjunction of three theories: reism (the thesis that there are only concrete individual things), priority monism (the thesis that there is only one substance), and supersubstantivalism (the thesis that this substance is space).

The main idea of this thesis is multi-descriptional physicalism. According to it, only physical entities are elements of our ontology, and there are different ways to describe them. Higher-level vocabularies (e.g., mental, neurological, biological) truly describe reality. Sentences about higher-level entities are made true by physical entities. Every chapter will develop multi-descriptional physicalism or defend it from objections. In chapter 1, I will propose a new conceptual reductive account that conceptually reduces higher-level entities to physical entities. This conceptual reductive account (...) combines resources from Heil’s truthmaker theory and either a priori physicalism or a posteriori physicalism. In chapter 2, I apply this conceptual reductive account to various debates. Physicalism, the multiple-realisability argument, the prototype theory of concepts, and truthmaker explanations will be discussed. In chapter 3, I will argue that a major aim of metaphysics should be to discover which entities are fundamental and explain why they suffice for the existence of derivative entities. In chapter 4, I will propose a new way to explain why sentences apparently about composite objects are true even though there are no composite objects. It combines resources from Cameron’s truthmaker theory and van Inwagen’s paraphrase strategy. In chapter 5, I will argue that the intuition that the mind and the body are very different does not show that the mind is distinct from the body. This intuition can be explained away by mentioning our dispositions to give non-physical explanations when we are ignorant of physical facts. In chapter 6, I will examine two arguments for the existence of a metaphysically independent level, and I will argue that only a modified version of one of them succeeds. I will argue that methodological principles support the view that there is a metaphysically independent level. (shrink)

I begin by retracing an argument from Aristotle for final causes in science. Then, I advance this ancient thought, and defend an argument for a stronger conclusion: that no scientific explanation can succeed, if Naturalism is true. The argument goes like this: (1) Any scientific explanation can be successful only if it crucially involves a natural regularity. Next, I argue that (2) any explanation can be successful only if it crucially involves no element that calls out for explanation but lacks (...) one. From (1) and (2) it follows that (3) a scientific explanation can be successful only if it crucially involves a natural regularity, and this regularity does not call out for explanation while lacking one. I then argue that (4) if Naturalism is true, then all natural regularities call out for explanation but lack them. From (3) and (4) it follows that (5) if Naturalism is true, then no scientific explanation can be successful. If you believe that scientific explanation can be (indeed, often has been) successful, as I do, then this is a reason to reject Naturalism. (shrink)

We direct different attitudes towards states of affairs depending on where in time those states of affairs are located. Call this the type asymmetry. The type asymmetry appears fitting. For instance, it seems fitting to feel guilt or regret only about states of affairs that are past, and anticipation only of states of affairs that are future. It has been argued that the type asymmetry could only be fitting if there are tensed facts, and hence that since it is fitting, (...) there are tensed facts. In this paper I argue that tensed facts are not necessary to ground the fittingness of the type asymmetry, and thus we have no reason, arising from the fittingness of the asymmetry, to posit such facts. I also argue for a stronger conclusion: even if these facts obtain they are no part of what grounds the fittingness of the type asymmetry. These facts are explanatorily redundant. (shrink)

A counterpossible is a counterfactual with an impossible antecedent. Counterpossibles present a puzzle for standard theories of counterfactuals, which predict that all counterpossibles are semantically vacuous. Moreover, counterpossibles play an important role in many debates within metaphysics and epistemology, including debates over grounding, causation, modality, mathematics, science, and even God. In this article, we will explore various positions on counterpossibles as well as their potential philosophical consequences.

This chapter reviews several varieties of grounding skepticism as well as responses that have been proposed by grounding enthusiasts to considerations raised by grounding skeptics. Grounding skeptics, as I conceive of them here, are theorists who belong to one of the following two schools of thought. “Old-school” grounding skeptics doubt the theoretical utility of the grounding idiom by denying one of its presuppositions, viz., that this notion is at least intelligible or coherent. “Second-generation” grounding skeptics call into question the theoretical (...) utility of the grounding idiom for other reasons; their skeptical doubts tend to focus on one of the following three purported theoretical virtues grounding enthusiasts ascribe to their idiom: (i) its alleged power to unify an apparently heterogeneous collection of phenomena; (ii) its alleged power to capture and/or elucidate the distinction between the fundamental and the non-fundamental; or (iii) the alleged metaphysical (as opposed to mind-dependent, epistemic, or psychological) utility of grounding claims. Grounding enthusiasts have already formulated responses to many of the objections described in this chapter. At this point, however, it is fair to say that the state of the literature is still evolving, and no conclusive judgment can therefore be reached as of yet as to whether grounding enthusiasts or grounding skeptics have gained the upper hand in these debates. In the meantime, though, grounding skeptics continue to maintain that the classification of factual and/or nonfactual connections under the rubric of grounding does not really help us illuminate the nature of the connections at issue; instead, from the view of the grounding skeptic, we are better off studying these various connections separately and in their own right. (shrink)

Metaphysical explanations, unlike many other kinds of explanation, are standardly thought to be insensitive to our epistemic situation and so are not evaluable by cognitive values such as salience. I consider a case study that challenges this view. Some properties are distributed over an extension. For example, the property of being polka-dotted red on white, when instantiated, is distributed over a surface. Similar properties have been put to work in a variety of explanatory tasks in recent metaphysics, including: providing an (...) analysis of change, giving to presentists truthmakers for past claims; giving to priority monists an account of basic heterogeneous entities; and giving to friends of extended simples an explanation of how an extended simple can enjoy qualitative variation. I argue that such explanations exhibit salience failure. How ought we represent the semantics of salience? Differences in linguistic stress induce semantic differences similar to the semantic differences induced in explanations by differences in salience, and I will draw an analogy with linguistic theories of focus sensitivity to sketch how one might model the role of salience in these kinds of explanations. I end with a few tentative conclusions about the role of cognitive values in metaphysical explanations. Some theorists view the citation of a ground as a sufficient explanation. If certain explanations appealing to distributed properties exhibit attenuated salience, then arguably the mere citation of a ground does not always provide an adequate explanation. (shrink)

In recent times it has become common to encounter philosophers who recommend the replacement of one principle concerning theory choice, Ockham’s Razor, with another: the Laser. Whilst the Razor tells us not to multiply entities beyond necessity, the Laser tells us only to avoid multiplying fundamental entities beyond necessity. There appear to be seven arguments in the literature for the Laser. They divide into three categories: arguments from the nature of non-fundamentality attempt to motivate the Laser by appeal to various (...) observations about what it is to be non-fundamental; arguments from cases describe hypothetical or actual cases, and allege that only the Laser accords with our intuitive judgements about them; and arguments from analogy claim that ontological parsimony is analogous to conceptual economy, and that this analogy recommends the Laser. I provide novel responses to each of the extant arguments for the Laser, and conclude that there is currently no good reason for replacing the Razor with the Laser. (shrink)

Fictionalism about a kind of disputed object is often motivated by the fact that the view interprets discourse about those objects literally without an ontological commitment to them. This paper argues that this motivation is inadequate because some viable alternatives to fictionalism have similar attractions. Meinongianism—the view that there are true statements about non-existent objects—is one such view. Meinongianism bears significant similarity to fictionalism, so intuitive doubts about its viability are difficult to sustain for fictionalists. Moreover, Meinongianism avoids some of (...) fictionalism’s weaknesses, thus it is even preferable to fictionalism in some respects. (shrink)

Existence monism (EM) is a metaphysical view asserting the existence of only one concrete object. EM is well known for its radicalness, and encounters difficulty in terms of its prima facie inconsistency with truisms. This paper aims to propose an alternative (and somewhat easy) way to overcome this difficulty and indicate another means by which the possibility of EM can be defended. I will present a package of theses that are intended to be combined with EM, which I call Linguistic (...) Ontology with the One as Semantic Glue (LOOSG). I will show that this package (in combination with EM) provides a systematic explanation as to why truisms hold while only one concrete object actually exists. In other words, I will argue that if an existence monist embraces LOOSG, the desired explanation for truisms is then available to her. In addition, it will also be noted that LOOSG has a theoretical virtue, in that it only presupposes the framework of standard semantics. Based on these discussions, I offer LOOSG as a viable option for existence monism. (shrink)

According to Lewis, mereology is the general and exhaustive theory of ontological composition, and every contingent feature of the world supervenes upon some fundamental properties instantiated by minimal entities. A profound analogy can be drawn between these two basic contentions of his metaphysics, namely that both can be intended as a denial of emergentism. In this essay, we study the relationships between Humean supervenience and two philosophical spin-offs of mereological monism: the possibility of gunk and the thesis of composition as (...) identity. In a gunky scenario, there are no atoms and, thus, some criteria alternative to mereological atomicity must be introduced in order to identify the bearers of fundamental properties; this introduction creates a precedent, which renders the restriction of the additional criteria to gunky scenarios arbitrary. On the other hand, composition as identity either extends the principle of indiscernibility of identicals to composition or is forced to replace indiscernibility with a surrogate; both alternatives lead to the postulation of a symmetric kind of supervenience which, in contrast to Humean supervenience, does not countenance a privileged level. Both gunk and composition as identity, thus, display a tension with Humean supervenience. (shrink)

Dans son article From Nihilism to Monism, Jonathan Schaffer montre que les partisans du Nihilisme de la Composition ont de bonnes raisons d’accepter le Monisme d’Existence plutôt que le Nihilisme. De manière analogue, nous souhaitons montrer ici que les partisans de l’Universalisme de la Composition ont de bonnes raisons d’accepter le Monisme de Priorité. Pour montrer cela, nous allons proposer et défendre l’argument suivant : Prémisse 1. Si l’Universalisme de la Composition est vrai alors le Cosmos existe. Prémisse 2. Si (...) le Cosmos existe alors le Cosmos est la seule entité concrète basique. Conclusion. Si l’Universalisme de la Composition est vrai alors le Cosmos est la seule entité concrète basique. (shrink)

What is the relationship between objects and properties? According to a standard view, there are primitive individuals that ‘instantiate’ or ‘have’ various properties. According to a rival view, objects are mere ‘bundles’ of properties. While there are a number of reasons to be skeptical of primitive individuals, there are also a number of challenges that the bundle theorist faces. The goal of this paper is to formulate a view about the relationship between objects and properties that avoids many of the (...) problems inherent in both of these views. The view I will end up defending implies a particularly radical version of Monism, and it collapses the object-property distinction altogether. (shrink)

The debate about the ontological innocence of mereology has generally been framed as a debate about the plausibility of Universal Fusion. Ontologically loaded fusions must be more than the sum of their parts, and this seems to violate parsimony if fusion is universal. Less attention has been paid to the question of what sort of emergence mereological fusions must exhibit if they are irreducible to their parts. The philosophy of science literature provides several models of such strong emergence. Examining those (...) models suggests that the difficulty with emergent fusions has at least as much to do with extensionality as it does with Universal Fusion. Some accounts of emergence fail to ensure irreducibility when combined with extensional mereologies. The most promising model for the strong emergence of ontologically loaded fusions fails to validate Anti-Symmetry, which naturally leads to failures of extensionality. These results suggest that the focus on Universal Fusion may have been misplaced. (shrink)

Let us distinguish two kinds of contingentism: entity contingentism and metaphysical contingentism. Here, I use ‘entity’ very broadly to include anything over which we can quantify—objects (abstract and concrete), properties, and relations. Then entity contingentism about some entity, E, is the view that E exists contingently: that is, that E exists in some possible worlds and not in others. By contrast, entity necessitarianism about E is the view that E exists of necessity: that is, that E exists in all possible (...) worlds. We can distinguish two views: global entity contingentism and global entity necessitarianism. Global entity contingentism is the view that for any possible E, E exists contingently. Global entity necessitarianism is the view that for any possible E, E exists necessarily. While entity contingentism and entity necessitarianism are views about the modal status of entities, metaphysical contingentism and necessitarianism are views about the modal status of metaphysical principles. Metaphysical contingentism about some metaphysical principle, P, is the view that P is contingent: it is true in some worlds, and false in others. Metaphysical necessitarianism about P is the view that P is necessary: either P is true in every world, or false in every world. We can then distinguish two views: global metaphysical contingentism and global metaphysical necessitarianism. Global metaphysical contingentism is the view that for any internally coherent metaphysical principle P, P is contingent: P is true in some worlds and false in others. Global metaphysical necessitarianism is the view that for any internally coherent metaphysical principle, P, P is necessary: it is either true in every world, or false in every world. This chapter principally focuses on metaphysical rather than entity contingentism, though §2 briefly discusses the latter. As we will see, (§2), both global entity contingentism and global entity necessitarianism are controversial views, and most philosophers fall somewhere between these two extremes, holding that some, but not all, entities exist necessarily—a view we can call entity moderatism. By contrast, global metaphysical necessitarianism has, until recently, largely been the default view. It is only recently that some philosophers have argued that we should be metaphysical contingentists about at least some metaphysical principles—a view we can call metaphysical moderatism. §3 considers why global metaphysical necessitarianism has hitherto been so persuasive, then evaluates (§3.1) some arguments for the view before considering more recent arguments in favour of the contingency of (at least some) metaphysical principles (§3.2). (shrink)

There’s the question of what there is, and then there’s the question of what ultimately exists. Many contend that, once we have this distinction clearly in mind, we can see that there is no sensible debate to be had about whether there are such things as properties or tables or numbers, and that the only ontological question worth debating is whether such things are ultimate (in one or another sense). I argue that this is a mistake. Taking debates about ordinary (...) objects as a case study, I show that the arguments that animate these debates bear directly on the question of which objects there are and cannot plausibly be recast as arguments about what’s ultimate. I then address the objection that, because they are easy answerable, questions about what there is cannot be a proper subject of ontological debate. (shrink)

In a lot of domains in metaphysics the tacit assumption has been that whichever metaphysical principles turn out to be true, these will be necessarily true. Let us call necessitarianism about some domain the thesis that the right metaphysics of that domain is necessary. Necessitarianism has flourished. In the philosophy of maths we find it held that if mathematical objects exist, then they do of necessity. Mathematical Platonists affirm the necessary existence of mathematical objects (see for instance Hale and Wright (...) 1992 and 1994; Wright 1983 and 1988; Schiffer 1996; Resnik 1997; Shapiro 1997 and Zalta 1988) while mathematical nominalists, usually in the form of fictionalists, hold that necessarily such objects fail to exist (see for instance Balaguer 1996 and 1998; Rosen 2001 and Yablo 2005). In metaphysics more generally, until recently it was more or less assumed that whatever the right account of composition—the account of under what conditions some xs compose a y—that account will be necessarily true (for a discussion of theories of composition see Simons 1987 and van Inwagen 1987 and 1990; the modal status of the composition relation is explicitly addressed in Schaffer 2007; Parsons 2006 and Cameron 2007). Similarly, it has generally been assumed that whatever the right account is of the nature of properties, whether they be universals, tropes, or whether nominalism is true, that account will be necessarily true (though see Rosen 2006 for a recent suggestion to the contrary). In considering theories of persistence it has been widely held that whether objects endure or perdure through time is a matter of necessity (Sider 2001; though see Lewis 1999 p227 who defends contingent perdurantism). And with respect to theories of time it is frequently held that whichever of the A- or B-theory is true is necessarily true. A-theorists often argue that there is time in a world only if the A-theory is true at that world (see for instance McTaggart 1903; Markosian 2004; Bigelow 1996; Craig 2001) while B-theorists often argue that the A-theory is internally inconsistent (Smart 1987; Mellor 1998; Savitt 2000 and Le Poidevin 1991). Once again, we find a few recent contingentist dissenters. Bourne (2006) suggests that it is a contingent feature of time that it is tensed, and thus that the A-theory is contingently true. Worlds in which there exist only B-theoretic properties are worlds with time, it is just that time in those worlds time is radically different to the way it is actually. Other defenders of the B-theory, though not expressly contingentists, do offer arguments against versions of the A-theory that try to show that such A-theories theories are inconsistent with the actual laws of nature (see for instance Saunders 2002 and Callender 2000); these arguments, at least, leave room for the possibility that the A-theories in question are contingently false (at least on the assumption that the laws of nature are themselves contingent, an assumption that not everyone accepts). Despite some notable exceptions, necessitarianism has flourished in many, if not most, domains in metaphysics. One such exception is Lewis’ famous defence of Humean supervenience as a contingent claim about our world. Lewis does not argue that necessarily, the supervenience base for all matters of fact in a world is nothing but a vast mosaic of local matters of particular fact. Rather, he thinks that we have reason to think that our world is one in which Humean supervenience holds (see Lewis 1986 p9-10 and 1994). Another exception to the necessitarian orthodoxy is to be found in the lively debate about the modal status of the laws of nature. Here, if anything, contingentism has been the dominating force, with it generally being held that there are possible worlds in which different laws of nature hold (this view is defended by, among others, Lewis 1986 and 2010; Schaffer 2005 and Sidelle 2002). Necessitarian dissenters hold that the laws of nature are necessary, frequently because they think it is necessary that fundamental properties have the causal or nomic profiles they do (see for instance Shoemaker 1980 and 1988; Swoyer 1982; Bird 1995; Ellis and Lierse 1994). Nevertheless, when it comes to thinking about the nature of the laws themselves, the necessitarian presumption is back on firm footing. Though there is disagreement about whether the laws are generalisations that feature in the most virtuous true axiomatisation of all the particular matters of fact (often known as the Humean view of laws and defended by Ramsey 1978; Lewis 1986 and Beebee 2000) or whether laws are relations of necessity that hold between universals (a view defended by Armstrong 1983; Dretske 1977; Tooley 1977 and Carroll 1990) no one has seriously suggested that it might be a contingent matter which of these is the right account of laws. The necessitarian orthodoxy is not surprising since metaphysics is largely an a priori process. While a priori reasoning may be used to determine whether a proposition is necessary or contingent, it is not well placed (in the absence of a posteriori evidence) to determine whether a contingent proposition is actually true or false. Since metaphysicians aim to tell us which principles are true in which worlds, on the face of it the discovery that metaphysical principles are contingent seems to make part of the task of metaphysics epistemically intractable. In what follows I consider two reasons one might end up embracing contingentism and whether this would lead one into epistemic difficulty. The following section considers a route to contingent metaphysical truths that proceeds via a combination of conceptual necessities and empirical discoveries. Section 3 considers whether there might be synthetic contingent metaphysical truths, and the final section raises the question of whether if there were such truths we would be well placed to come to know them. (shrink)