Two kinds of individuals are distinguished: abstract and concrete. Whereas abstract individuals belong to our conceptual sphere, concrete individuals (i.e. particulars) individuate the world of matter. A subject investigating the external world projects abstract individuals onto concrete ones. The proposal offers a solution to various metaphysical and epistemological puzzles concerned with individuals, e.g., the Ship of Theseus, the Polish Logician, problems with reidentification, or proper names.

Formal ontology as a main branch of metaphysics investigates categories of being. In the formal ontological approach to metaphysics, these ontological categories are analysed by ontological forms. This analysis, which we illustrate by some category systems, provides a tool to assess the clarity, exactness and intelligibility of different category systems or formal ontologies. We discuss critically different accounts of ontological form in the literature. Of ontological form, we propose a character- neutral relational account. In this metatheory, ontological forms of entities (...) are their standings in internal relations whose holding is neutral on the character of their relata. These relations are “formal ontological relations”. Entities belong to ontological categories because they stand in the same formal ontological relations. We hold a nominalist relationalism about ontological categories and forms. We conclude by showing that our metatheory is useful for understanding categorial fundamentality/non- fundamentality, different formal ontologies, and for unifying metaphysical questions. (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?

Universal Bundle Theory holds that objects are fundamentally identical with bundles of universals. Universals are multiply instantiable properties. One popular objection to UBT concerns the possibility of distinct indiscernibles. There are mainly two replies in the literature, corresponding to two representative UBTs, which I shall call the Identity-View and the Instance-View. Each view faces serious problems. This paper proposes a new version of UBT and argues that it is better than these other two versions.

Constituent ontologies maintain that the properties of an object are either parts or something very much like parts of that object. Recently, such a view has been criticized as leading to a bizarre and problematic form of substance dualism and implying the existence of impossible objects. After briefly presenting constituent and relational ontologies, I respond to both objections, arguing that constituent ontology does not yield either of these two consequences and so is not shown to be an unacceptable ontological framework.

A scientific explanatory project, part-whole explanation, and a kind of science, part-whole science are premised on identifying, investigating, and using parts and wholes. In the biological sciences, mechanistic, structuralist, and historical explanations are part-whole explanations. Each expresses different norms, explananda, and aims. Each is associated with a distinct partitioning frame for abstracting kinds of parts. These three explanatory projects can be complemented in order to provide an integrative vision of the whole system, as is shown for a detailed case study: (...) the tetrapod limb. My diagnosis of part-whole explanation in the biological sciences as well as in other domains exploring evolved, complex, and integrated systems (e.g., psychology and cognitive science) cross-cuts standard philosophical categories of explanation: causal explanation and explanation as unification. Part-whole explanation is itself one essential aspect of part-whole science. (shrink)

Two kinds of explanation might be put forward. The first goes like this: the necessary connection between the location of a whole and the location of its parts holds because the location of the whole is nothing but the collective location of its parts. The second style of explanation goes like this: the connection holds because what it is for a material whole to have something as a part, is (perhaps among other things) for the whole to contain the part.

Worlds where things divide forever ("gunk" worlds) are apparently conceivable. The conceivability of such scenarios has been used as an argument against "nihilist" or "near-nihilist" answers to the special composition question. I argue that the mereological nihilist has the resources to explain away the illusion that gunk is possible.

This paper considers the philosophical interpretation of the concept of svabhāva, sometimes translated as 'inherent existence' or 'own-being', in the Madyamaka school of Buddhist philosophy. It is argued that svabhāva must be understood as having two different conceptual dimensions, an ontological and a cognitive one. The ontological dimension of svabhāva shows it to play a particular part in theories investigating the most fundamental constituents of the world. Three different understandings of svabhāva are discussed under this heading: svabhāva understood as essence, (...) as substance, and as the true nature of phenomena (absolute svabhāva). The cognitive dimension shows svabhāva as playing an important rôle in our everyday conceptualization of phenomena. Svabhāva is here seen as a superimposition (samāropa) which the mind projects onto the world. (shrink)

I shall elaborate more on the idea of anti-irrationalism proposed by the Polish analytic philosopher Kazimierz Ajdukiewicz, a prominent member of the Lvov-Warsaw School of philosophy and logic. In my reading, anti-irrationalism stands in opposition not only to overt irrationalism, which is made clear by the term itself, but also to all forms of rationalism that tip toward something like worship of reason. Having characterized anti-irrationalism as it originally appeared in Ajdukiewicz’s works, I shall propose a certain reformulation of it, (...) so as to capture a broader philosophical legacy in Poland, primarily, yet not exclusively the Lvov-Warsaw School. (shrink)

The paper discusses the concept of the cognitive niche and distinguishes the latter from the metabolic niche. By using these posits I unpack certain ideas that are crucial for the enactivist movement, especially for its original formulation proposed by Varela, Thompson and Rosh. Drawing on the ontology of location, boundaries, and parthood, I argue that enacting the world can be seen as the process of cognitive niche construction. Moreover, it turns out that enactivism—as seen through the lens of the conceptual (...) framework proposed in the paper—considers cognition as a kind of connection between the subject and the world. This post is pointed to as the key idea laid down in enactivism. (shrink)

Mereotopology is a theory of connected parts. The existence of boundaries, as parts of everyday objects, is basic to any such theory; but in classical mereotopology, there is a problem: if boundaries exist, then either distinct entities cannot be in contact, or else space is not topologically connected . In this paper we urge that this problem can be met with a paraconsistent mereotopology, and sketch the details of one such approach. The resulting theory focuses attention on the role of (...) empty parts, in delivering a balanced and bounded metaphysics of naive space. (shrink)

Some philosophers assume that our ordinary parts-whole concepts are intuitive and univocal. Moreover, some assume that mereology—the formal theory of parts-whole relations—adequately captures these intuitive and univocal notions. Lewis, for example, maintains that mereology is “perfectly understood, unproblematic, and certain.” Following his lead, many assume that expressions such as ‘is part of’ are univocal, topic-neutral, and that compositional monism is true. This paper explores the rejection of –. I argue that our ordinary parts-whole expressions are polysemous; they have multiple distinct, (...) but related, interpretations or meanings. I canvass several criteria by which to test for polysemy, and apply these criteria to some of our parts-whole terminology. I also examine some philosophical examples involving abstracta and abstract parts, which give us additional reasons to think that our parts-whole expressions are polysemous and topic-specific. Yet if so, then compositional pluralism is true. (shrink)

I argue that the conjunction of perdurantism (the view that objects are temporally extended) and universalism (the thesis that any old class of things has a mereological fusion) gives rise to undesired complications when combined with certain plausible assumptions concerning the semantics of tensed statements.

Whether certain objects compose a whole at a given time does not seem to depend on anything other than the character of those objects and the relations between them. This observation suggests a far-reaching constraint on theories of composition. One version of the constraint has been explicitly adopted by van Inwagen and rules out his own answer to the composition question. The constraint also rules out the other well-known moderate answers that have so far been proposed.

Mereotopology is an extension of mereology with some relations of topological nature like contact. An algebraic counterpart of mereotopology is the notion of contact algebra which is a Boolean algebra whose elements are considered to denote spatial regions, extended with a binary relation of contact between regions. Although the language of contact algebra is quite expressive to define many useful mereological relations and mereotopological relations, there are, however, some interesting mereotopological relations which are not definable in it. Such are, for (...) instance, the relation of n-ary contact, internal connectedness and some others. To overcome this disadvantage, we introduce a generalisation of contact algebra, replacing the contact with a binary relation between finite sets of regions and a region, satisfying some formal properties of Tarski consequence relation. The obtained system is called sequent algebra, considered as an algebraic counterpart of a new mereotopology. We develop the topological representation theory for sequent algebras showing in this way certain correspondence between point-free and point-based models of space. As a by-product, we show how one logical relation in nature notion, Tarski consequence relation, may have also certain spatial meaning. (shrink)

Salmon and Soames argue against nominalism about numbers and sentence types. They employ (respectively) higher-order and first-order logic to model certain natural language inferences and claim that the natural language conclusions carry commitment to abstract objects, partially because their renderings in those formal systems seem to do that. I argue that this strategy fails because the nominalist can accept those natural language consequences, provide them with plausible and non-committing truth conditions and account for the inferences made without committing themselves to (...) abstract objects. I sketch a modal account of higher-order quantification, on which instead of ranging over sets, higher order quantifiers are used to make (logical) possibility claims about which predicate tokens can be introduced. This approach provides an alternative account of truth conditions for natural language sentences which seem to employ higher-order quantification, thus allowing the nominalist to evade Salmon’s argument. I also show how the nominalist can account for the occurrence of apparently singular abstract terms in certain true statements. I argue that the nominalist can achieve this by, first, dividing singular terms into real singular terms (referring to concrete objects) and only apparent singular terms (called onomatoids), introduced for the sake of brevity and simplicity, and then providing an account of nominalistically acceptable truth conditions of sentences containing onomatoids. I develop such an account in terms of modally interpreted abstraction principles and argue that applying this strategy to Soames’s argument allows the nominalists to defend themselves. (shrink)

The question of whether it is permissible to quantify into a modal context is re-examined from an empiricist perspective. Following Wiggins, it is argued that an ontology of continuants implies essentialism, but it is also argued, against Wiggins, that the only conception of necessity that we need to start out with is that of analyticity. Essentialism, of a limited kind, can then be actually generated from this. An exceptionally fine-grained identity criterion for continuants is defended in this context. The debate (...) between Wiggins and Ayer over the legitimacy of de re modality is then examined in the light of these results, and it is argued that my position is consistent with Ayer’s minimalist assumptions. It is also argued that non-continuants will not sustain the essential/accidental distinction, thus giving some concessions to the sceptics. It is also shown that there are close connections between these issues and the more modern two-dimensionalist way of disentangling the necessary from the a posteriori, and that the latter needs to learn from the former. (shrink)

This is the first English translation of Leon Chwistek’s “Tragedia werbalnej metafizyki,” Kwartalnik Filozoficzny, Vol. X, 1932, 46–76. Chwistek offers a scathing critique of Roman Ingarden’s Das literarische Kunstwerk and of the entire Phenomenology movement. The text also contains many hints at Chwistek’s own philosophical and formal ideas. The book that Chwistek reviews attracted wide attention and was instrumental in winning Ingarden a position as Professor of Philosophy at the University of Lwów in 1933. Chwistek’s alienation from his fellow logicians (...) of the Lvov-Warsaw school is clear from his ridicule of Leśniewski’s project. (shrink)

The aggregate EIRP of an N-element antenna array is proportional to N 2. This observation illustrates an effective approach for providing deep space networks with very powerful uplinks. The increased aggregate EIRP can be employed in a number of ways, including improved emergency communications, reaching farther into deep space, increased uplink data rates, and the flexibility of simultaneously providing more than one uplink beam with the array. Furthermore, potential for cost savings also exists since the array can be formed using (...) small apertures. (shrink)

In this paper I discuss some consequences and manifestations of a mereology of structured wholes in chemistry, with particular reference to the concept of atoms in molecules.

The paper considers and opposes the view that processes are best thought of as continuants, to be differentiated from events mainly by way of the fact that the latter, but not the former, are entities with temporal parts. The motivation for the investigation, though, is not so much the defeat of what is, in any case, a rather implausible claim, as the vindication of some of the ideas and intuitions that the claim is made in order to defend — and (...) the grounding of those ideas and intuitions in a more plausible metaphysics than is provided by the continuant view. It is argued that in addition to a distinction between events and processes there is room and need for a third category, that of the individual process, which can be illuminatingly compared with the idea of a substance. Individual processes indeed share important metaphysical features with substantial continuants, but they do not lack temporal parts. Instead, it is argued that individual processes share with substantial continuants an important property I call ‘modal robustness in virtue of form’. The paper explains what this property is, and further suggests that the category of individual process, thus understood, might be of considerable value to the philosophy of action. (shrink)

Classical mereology is a particularly strong theory about the part–whole relation. Not only does it ensure that any collection of entities composes a whole, or ‘fusion’, it also states that this object is unique: no two entities have the same parts. Recently, Claudio Calosi (dialectica 68(1):121–139, 2014) has argued that this extensional aspect makes classical mereology incompatible with multilocated entities. Calosi’s argument is arguably the most precise one from a whole battery of arguments to the effect that some mereological principle (...) is at odds with multilocation. Still, I show that Calosi’s arguments fail and that classical mereology is a safe space for multilocation. Moreover, I argue that the question of extensionality is orthogonal to the question of multilocation. (shrink)

In debates about the metaphysics of material objects examples of colocated objects are commonly taken to be examples of coincidence too. But the argument that colocation is best understood as involving coincidence is never spelled out. This paper shows under what conditions colocation entails coincidence and argues that the entailment depends on a principle that actually rules out certain forms of colocation. This undermines the argument from colocation to coincidence.

According to the Weak Supplementation Principle (WSP)—a widely received principle of mereology—an object with a proper part, p , has another distinct proper part that doesn't overlap p . In a recent article in this journal, Nikk Effingham and Jon Robson employ WSP in an objection to endurantism. I defend endurantism in a way that bears on mereology in general. First, I argue that denying WSP can be motivated apart from the truth of endurantism. I then go on to offer (...) an explanation of WSP's initial appeal, argue that denying WSP fails to have untoward consequences for the rest of mereology, and show that the falsity of WSP is consistent with a primary guiding thought behind it. (shrink)

The idea that two objects can coincide—by sharing all their proper parts, or matter—yet be non-identical, results in the “Problem of Coincident Objects”: in what relation do objects stand if they are not identical but share all their proper parts? One solution is to introduce material constitution. In this paper, I argue that this is ad hoc since, first, this solution cannot be generalized to solve similar problems, and, second, there are pseudo cases of coincidence that should not trigger the (...) introduction of material constitution and these cannot be distinguished in any principled way from the allegedly real cases of coincidence. (shrink)

One of the more persistent debates in mereology is whether distinct wholes can have the same parts. Extensional mereologists hold that if there is no part that makes the difference, then there is nothing to distinguish the wholes, so sameness of parts implies identity. Non-extensionalists, however, do think there are cases where distinct wholes share all their parts. This paper argues that the kind of argument non-extensionalists employ can also be levelled against a widely accepted extensionality principle of plural logic. (...) Non-extensionalists thus face a dilemma: either give up the argument for non-extensional mereology, or deny both the extensionality principle of mereology and the analogous principle for plural logic. (shrink)

There will be a few themes. One to get us going: expansion versus contraction. About an object, o, and the region, R, of space(time) in which o is exactly located,1 we may ask: i) must there exist expansions of o: objects in filled superregions2 of R? ii) must there exist contractions of o: objects in filled subregions of..

Persistence through time is like extension through space. A road has spatial parts in the subregions of the region of space it occupies; likewise, an object that exists in time has temporal parts in the various subregions of the total region of time it occupies. This view — known variously as four dimensionalism, the doctrine of temporal parts, and the theory that objects “perdure” — is opposed to “three dimensionalism”, the doctrine that things “endure”, or are “wholly present”.1 I will (...) attempt to resolve this dispute in favor of four dimensionalism by means of a novel argument based on considerations of vagueness. But before argument in this area can be productive, I believe we must become much clearer than is customary about exactly what the dispute is, for the usual ways of formulating the dispute are flawed, especially where three dimensionalism is concerned. (shrink)

The standard definition of atomicity—the thesis that everything is ultimately composed of entities that lack proper parts—is satisfied by a model that is not atomistic. The standard definition is therefore an incorrect characterization of atomicity. I show that the model satisfies the axioms of all but the strongest mereology and therefore that the standard definition of atomicity is only adequate given some controversial metaphysical assumptions. I end by proposing a new definition of atomicity that does not require extensionality or unrestricted (...) summation. (shrink)

Several philosophers have recently defended Causal Essentialism—the view that every property confers causal powers, and whatever powers it confers, it confers essentially. I argue that on the face of it, Causal Essentialism implies a form of Monism, and in particular, the thesis I call ‘Mereological Monism’: that there is some concretum that is a part of every concretum. However, there are three escape routes, three views which are such that if one of them is true, Causal Essentialism does not imply (...) any form of Monism at all. I survey the costs associated with taking these escape routes along with the costs associated with accepting Mereological Monism. (shrink)

The argument from internal relatedness was one of the major nineteenth century neo-Hegelian arguments for monism. This argument has been misunderstood, and may even be sound. The argument, as I reconstruct it, proceeds in two stages: first, it is argued that all things are internally related in ways that render them interdependent; second, the substantial unity of the whole universe is inferred from the interdependence of all of its parts. The guiding idea behind the argument is that failure of free (...) recombination is the modal signature of an integrated monistic cosmos. Frequently consider the connection of all things in the universe and their relation to one another. For in a manner all things are implicated with one another... (Marcus Aurelius, Meditations, p. 43). (shrink)

Adherents of Ockham’s fundamental razor contend that considerations of ontological parsimony pertain primarily to fundamental objects. Derivative objects, on the other hand, are thought to be quite unobjectionable. One way to understand the fundamental vs. derivative distinction is in terms of the Aristotelian distinction between ontologically independent and dependent objects. In this paper I will defend the thesis that every natural number greater than 0 is an ontologically dependent object thereby exempting the natural numbers from Ockham’s fundamental razor.

‘‘Thus I believe that there is no part of matter which is not—I do not say divisible—but actually divided; and consequently the least particle ought to be considered as a world full of an infinity of different creatures.’’ (Leibniz, letter to Foucher).

The paper deals with the notions of grounding and of existential dependence. It is shown that cases of existential dependence seem to be systematically correlated to cases of grounding and hence the question is raised what sort of tie might hold the two notions together so as to account for the observed correlation. The paper focusses on three possible ties between grounding and existential dependence: identity, definition, and grounding. A case for the definitional tie is made.

Mereological nihilism is the view that all concrete objects are simple. Existence monism is the view that the only concrete object is one big simple: the world. I will argue that nihilism culminates in monism. The nihilist demands the simplest sufficient ontology, and the monist delivers it.

A Norwegian translation is here offered of Eugenie Ginsberg’s paper «Zur Husserlschen Lehre von den Ganzen und den Teilen» (in Archiv für systematische Philosophie und Soziologie 32, 1929, 108–120). The paper discusses Husserl’s six theorems from Logical Investigations III, §14. Ginsberg provides new proofs for theorems 1 and 3, and also endorses theorem 5. In contrast, a counter example is given to theorems 2, 4, and 6: However, proofs are supplied for a modified version of these theorems. Furthermore, an additional (...) three theorems are defended based upon Ginsberg’s modified theorems. Also, a brief introduction is given discussing Ginsberg’s pioneering role as part of the Lvov-Warsaw school—in spite of her being murdered by the Nazis in 1942—especially her role as the first commentator on Husserl’s third logical investigations, which is a pioneering work on mereology and ontology; but also her later publication from 1931 where she developed several notions of ontological dependence (for instance foreshadowing the work of Roman Ingarden as well as Kit Fine). (shrink)

As I will use the term, an object is a mereological sum of some things just in case those things compose it simply in virtue of existing. In the first half of this paper, I argue that there are no sums. The key premise for this conclusion relies on a constraint on what, in certain cases, it takes for something to ground, or metaphysically explain, something else. In the second half, I argue that in light of my argument against sums, (...) Universalism, which is perhaps the most widely accepted answer to the Special Composition Question, is false. (shrink)

When Aristotle argues at the Metaphysics Z.17, 1041b11–33 that a whole, which is not a heap, contains ‘something else’, i.e. the form, besides the elements, it is not clear whether or not the form is a proper part of the whole. I defend the claim that the form is not a proper part within the context of the relevant passage, since the whole is divided into elements, not into elements and the form. Different divisions determine different senses of ‘part’, and (...) thus the form is not a part in the same sense as the elements are parts. I object to Koslicki’s (2006) interpretation, according to which the form is a proper part along the elements in a single sense of ‘part’, although she insists that the form and the elements belong to different categories. I argue that Koslicki’s reading involves a category mistake, i.e. the conjunction of items that do not belong to the same category (Goldwater 2018). Since for Aristotle parthood presupposes some kind of similarity of parts, the conjunction of form and elements requires treating these items as somehow belonging to the same category, e.g. ‘being’, but no such category exists. (shrink)

When do the folk think that mereological composition occurs? Many metaphysicians have wanted a view of composition that fits with folk intuitions, and yet there has been little agreement about what the folk intuit. We aim to put the tools of experimental philosophy to constructive use. Our studies suggest that folk mereology is teleological: people tend to intuit that composition occurs when the result serves a purpose. We thus conclude that metaphysicians should dismiss folk intuitions, as tied into a benighted (...) teleological view of nature. (shrink)

Universals are usually considered to be universal properties. Since tropes are particular properties, if there are only tropes, there are no universals. However, universals might be thought of not only as common properties, but also as common aspects (“determinable universals”) and common wholes (“concrete universals”). The existence of these two latter concepts of universals is fully compatible with the assumption that all properties are particular. This observation makes possible three different trope theories, which accept tropes and no universals, tropes and (...) determinable universals and tropes and concrete universals. (shrink)

What I call the argument from almost indiscernibles is an argument, put forward by Robert Adams in 1979, for the possibility of indiscernibles based on the possibility of almost indiscernibles. The argument is that if almost indiscernibles are possible, indiscernibles are possible, but since almost indiscernible are possible, indiscernibles are possible. The argument seems to be an improvement over the mere appeal to intuitions, like that suggested by Max Black, that situations in which there are indiscernibles are possible, for the (...) argument purports to give us a reason that indiscernibles are possible. In this paper I shall assess the argument by examining whether there is support for the conditional premise that if almost indiscernibles are possible, indiscernibles are possible. I shall argue that there are reasons to think that either the premise lacks support or almost indiscernibles are dispensable. If the premise lacks support, the argument does not establish the possibility of almost indiscernibles; if almost indiscernibles are dispensable, the argument is not needed to establish the possibility of indiscernibles. (shrink)

Archaeology is currently bound to a series of metaphysical principles, one of which claims that reality is composed of a series of discrete objects. These discrete objects are fundamental metaphysical entities in archaeological science and posthumanist/new Materialist approaches and can be posited, assembled, counted, and consequently included in quantitative models (e.g. Big Data, Bayesian models) or network models (e.g. Actor-Network Theory). The work by Sørensen and Marila shows that archaeological reality is not that discrete, that some objects cannot be easily (...) identified, and that perhaps reality is not always necessarily composed of discrete objects. The aim of this article is to take Sørensen and Marila’s arguments to their ultimate logical consequences: most archaeological theory today operates under the illusion of a general metaphysics. This illusion dictates not only that all of reality is composed of discrete objects, but that since reality manifests in a certain way, there has to be a methodology that accurately represents that reality. A brief discussion on the notion of “conjecture,” as conceived in certain historical theories, is also presented. (shrink)

In a recent article in this journal, Achille Varzi (2009) argues that mereological universalism (U) entails mereological extensionalism (E). The thesis that U entails E (call it ‘T’) has important implications. For example, as is well known, T plays a crucial role in Peter van Inwagen’s argument against universalism (1990: 74–79). In what follows, I show that Varzi’s arguments for T rely on a tendentious assumption about parthood.

In this paper we wish to raise the following question: which conceptual obstacles need to be overcome to arrive at a scientific and theoretical understanding of the mind? In the course of this examination, we shall encounter methodological and explanatory challenges and discuss them from the point of view of the philosophy of chemistry and quantum mechanics. This will eventually lead us to a discussion of emergence and metaphysics, thereby focusing on the status of objects. The question remains whether this (...) could be interpreted in terms of a re-description or dissolution of seemingly troubling problems in the philosophy of mind, or whether it further emphasizes the problematic: the ubiquitous and irreducible role of mind and consciousness in scientific activities. (shrink)

Physicalism is usually understood as the claim that every empirical entity is or is determined by physical entities. The claim is however imprecise until it is clarified what are the physical entities in question. A sceptical argument in the form of a dilemma tries to show that this problem of formulation of physicalism cannot be adequately met. If we understand physical entities as the entities introduced by current physics, the resulting claim becomes most probably false. If we instead understand physical (...) entities as those entities introduced by some future ideal physics, the claim then becomes indeterminate in content. Both horns seem equally bad. In the first part of the paper, I survey the strengths and weaknesses of different proposed solutions to this problem of formulation. In the second part, I lay out a new formulation of physicalism, partly based on a mereological principle, which overcomes the dilemma, and argue that it is a correct formulation of physicalism to the extent that it rules out clear antiphysicalist scenarios and is compatible with clear physicalist scenarios. (shrink)

I defend the view that ordinary objects like statues are identical to the pieces of matter from which they are made. I argue that ordinary speakers assert sentences such as ‘this statue is a molded piece of clay’. This suggests that speakers believe propositions which entail that ordinary objects such as statues are the pieces matter from which they are made, and therefore pluralism contradicts ordinary beliefs. The dominant response to this argument purports to find an ambiguity in the word (...) ‘is’, such that ‘is’ in these sentences means the same as ‘constitutes or is constituted by’. I will use standard tests for ambiguity to argue that this strategy fails. I then explore and reject other responses to the argument. (shrink)

Aristotle holds that individual substances are ontologically independent from nonsubstances and universal substances but that non-substances and universal substances are ontologically dependent on substances. There is then an asymmetry between individual substances and other kinds of beings with respect to ontological dependence. Under what could plausibly be called the standard interpretation, the ontological independence ascribed to individual substances and denied of non-substances and universal substances is a capacity for independent existence. There is, however, a tension between this interpretation and the (...) asymmetry between individual substances and the other kinds of entities with respect to ontological independence. I will propose an alternative interpretation: to weaken the relevant notion of ontological independence from a capacity for independent existence to the independent possession of a certain ontological status. (shrink)