In his excellent book, Four-Dimensionalism: An Ontology of Persistence and Time (Sider, 2001), Theodore Sider defends a version of four-dimensionalism which he calls the ‘stage-theory’. This paper focuses on Sider's argument from vagueness and argues that, due to the problematic nature of the argument from vagueness, Sider’s case in favor of four-dimensionalism is in the end not successful.

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)

In his “Farewell to Substance: A Differentiated Leave-Taking”, Peter Simons reaches the provocative conclusion that the concept of substance, as it is employed by metaphysicians, has become obsolete, since in the end there may be nothing at all which answers to it. No harm is done, Simons allows, if we continue to retain an everyday notion of substance, as long as we are aware of the limitations of this practice: there is no reason in general to expect that what is (...) salient from our specifically human point of view will retain a special place in light of our most considered scientific and metaphysical theories of the world. In this paper, I argue that, contrary to Simons’ pessimistic outlook, the concept of substance continues to retain its importance for metaphysics. Among the primary explanatory roles played by the concept of substance in metaphysics is its use in designating certain kinds of entities as occupying a privileged position relative to a particular ontology. But disputes over substancehood can also target the criteria themselves relative to which an ontologically privileged position is awarded to certain taxonomic categories. In these uses, we see the concept of substance employed in an absolute, a relational and a comparative sense, to designate items as substances simpliciter, as the substances of something else, or as more or less deserving of substance status. (shrink)

Whenever an object constitutes, makes up or composes another object, the objects in question share a striking number of properties. This paper is addressed to the question of what might account for the intimate relation and striking similarity between constitutionally related objects. According to my account, the similarities between constitutionally related objects are captured at least in part by means of a principle akin to that of strong supervenience. My paper addresses two main issues. First, I propose independently plausible principles (...) by means of which to delineate, in a non-ad-hoc, non-stipulative and non-circular fashion, those properties which can be expected to be shared among constitutionally related objects in virtue of their being so related from those which in general cannot be expected to be shared, or which are shared for other reasons. Secondly,I spell out in detail the nature of the supervenience-principle at work in this context. My account thus aims at isolating, in a methodologically responsible fashion, the particular sort of restricted indiscernibility principle which is a component of the constitution-relation. (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)

Description of the biologicalhierarchy of the organism has been extendedhere to included the evolutionary andecological sub-hierarchies with theirrespective levels in order to give a completehierarchical description of life. These newdescriptions include direction of formation,types of constraints, and dual levels. Constraints are produced at the macromolecularlevel of genes/proteins, some of which (a) aredescendent restraints which hold a hierarchytogether and others (b) interact horizontallywith selective agents at corresponding levelsof the niche. The organism is a dual levelconstrained by both the ecologicalsub-hierarchy (survival) and (...) evolutionarysub-hierarchy (fitness) while serving as thehighest level of the specializationsub-hierarchy, therefore, it is unique inbelonging to three sub-hierarchies. Organismsexperience birth, sometimes death, andparticipate in evolution. Birth of an organismis realized when a cell is removed from theconstraints of the organism and assumes itsown organismal constraints. Death occurs withthe cessation of protein synthesis becauseproteins and their products constitutecomponents at high levels of the hierarchy. Selection is of two types, natural selection,involving adaptive traits interacting withfeatures in a niche, and hierarchicalselection, requiring traits to be compatiblewith existing hierarchical constraints. (shrink)

After drawing attention to the basic importance of Goodman's workThe Structure of Appearance, this paper turns to a critical analysis of Goodman's claims concerning worldmaking. It stresses that Goodman's acceptance of a multiplicity of actual worlds doesnot involve the belief in an unknowable underlying reality; but that it is due to the non-mysterious fact that constructional systems allow for a multiplicity of disagreeing, right versions. However, from the point of view of truthmaker ontology, most worlds of constructional systems are not (...) genuine worlds; and so far it hasnot been shown that there are genuine truthmaker worlds that disagree.It is suggested that the construction of systems usually involves three conflicting aims: the logical, the ontological, and the psychological. Considering the current interest in cognitive psychology and phenomenology, the implications of the psychological aim, too, deserve to be reexamined. (shrink)

It is common to think that it’s possible for entities to spatially coincide in multiple ways: with overcrowding, and without overcrowding. Typically, we can distinguish between these by claiming that uncrowded spatial overlap involves a sharing of parts, and crowded spatial overlap does not. However, if we think that mereologically unusual entities, such as extended simples or some kinds of gunk, can also spatially overlap in crowded and uncrowded ways, we lose the ability to distinguish between those varieties of spatial (...) overlap via appeal to shared parts. Thus, we should either reject the possibilities that generated this difficulty, or we must look for an alternative explanation of these varieties of spatial overlap. (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.

Recently, we have been presented with an argument against the intrinsicality of shape that appeals to a plausible Humean principle. According to the argument, if shape is intrinsic and the location relation is fundamental, then we cannot explain the necessary correlation between an object’s shape and the shape of its location. And, it is claimed, the Humean principle tells us that an unexplained necessary correlation like this one is unacceptable. In this paper I respond to this argument by rejecting the (...) favoured interpretation of the Humean principle. I claim that sometimes there are truths about what it means to stand in a given relation, even when that relation has no analysis.. These truths sometimes entail that the relata of the relation have certain features. And it is not problematic for truths about what it means to stand in a relation to be unexplained. I argue that it is plausible to take is located at to be such a relation; an object’s having exactly the same shape as the region it is located at is part of what it means to be located at that region. I conclude with an amended formulation of the Humean claim that still captures the spirit of the principle without threatening the intrinsicality of shape. (shrink)

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)

Achille Varzi has shown that it is harder to deny Extensionality than we may have thought: he's argued that if we define proper parthood as parthood with distinctness, cases we take to violate Extensionality don’t really involve sharing of all proper parts. Aaron Cotnoir has responded by showing that, if we instead define proper parthood as asymmetric parthood, we can take Extensionality to be violated in these cases. I will offer a new response to this argument. Even granting Varzi's definition (...) of proper parthood, there are versions of Extensionality very similar to the one Varzi and Cotnoir discuss. One of these is motivated by the same intuitions as Varzi's Extensionality, and is violated in cases traditionally taken to be anti-Extensional. Thus, even granting Varzi's definition of proper parthood, anti-Extensionalists can capture a sense in which their cases violate Extensionality, without this merely amounting to a violation of Uniqueness of Composition. (shrink)

Philosophical accounts of the constitution relation have been explicated in terms of synchronic relations between higher‐ and lower‐level entities. Such accounts, I argue, are temporally austere or impoverished, and are consequently unable to make sense of the diachronic and dynamic character of constitution in dynamical systems generally and dynamically extended cognitive processes in particular. In this paper, my target domain is extended cognition based on insights from nonlinear dynamics. Contrariwise to the mainstream literature in both analytical metaphysics and extended cognition, (...) I develop a nonstandard, alternative conception of constitution, which I call “diachronic process constitution”. It will be argued that only a diachronic and dynamical conception of constitution is consistent with the nature of constitution in distributed cognitive processes. (shrink)

In this paper, I argue against the claim recently defended by Josh Weisberg that a certain version of the self-representational approach to phenomenal consciousness cannot avoid a set of problems that have plagued higher-order approaches. These problems arise specifically for theories that allow for higher-order misrepresentation or—in the domain of self-representational theories—self-misrepresentation. In response to Weisberg, I articulate a self-representational theory of phenomenal consciousness according to which it is contingently impossible for self-representations tokened in the context of a conscious mental (...) state to misrepresent their objects. This contingent infallibility allows the theory to both acknowledge the (logical) possibility of self-misrepresentation and avoid the problems of self-misrepresentation. Expanding further on Weisberg’s work, I consider and reveal the shortcomings of three other self-representational models—put forward by Kreigel, Van Gulick, and Gennaro—in order to show that each indicates the need for this sort of infallibility. I then argue that contingent infallibility is in principle acceptable on naturalistic grounds only if we attribute (1) a neo-Fregean kind of directly referring, indexical content to self-representational mental states and (2) a certain ontological structure to the complex conscious mental states of which these indexical self-representations are a part. In these sections I draw on ideas from the work of Perry and Kaplan to articulate the context-dependent semantic structure of inner-representational states. (shrink)

This essay considers implications of formal mereologies and ontologies for medical metaphysics. Edward Fried’s extensional mereological account of the human body is taken as representative of a prominent strand in analytic metaphysics that has close affinities with medical positivism. I show why such accounts fail. First, I consider how Fried attempts to make sense of the medical case of Barney Clark, the first recipient of an artificial heart, and show that his analytic metaphysical categories do not have the right kind (...) of fit with the case. A proper medical metaphysic should involve a richer two way dialogue with medicine, and it should not just “apply” formal accounts worked out in other settings. Second, I argue that any effort to account for real wholes with extensional mereological sums requires all sorts of ad hoc, supplementary mechanisms that do the real work, and the full repertoire of these mechanisms involves inconsistencies and semantic shifts. Finally, I consider an alternative strand of work on non-extensional whole/part relations that is closer to medicine and that can deepen reflection on some core problems in bioethics, for example, associated with the determination of death when an organism ceases to function as a whole. In addition to the utility such formal ontologies have for addressing traditional problems such as the determination of death, philosophers of medicine should appreciate the increasingly influential role such formal tools are playing in the development of data system ontologies. Assumptions integral to these ontologies have far reaching implications for the way future research and practice in medicine will be conducted, and much greater critical reflection is needed on the full range of issues associated with the development and use of such medical ontologies. (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)

We argue that if one wishes to be a realist, one should adopt a Neo-Aristotelian ontology involving tropes instead of a Russellian ontology of property universals and objects. Either Russellian realists should adopt the relata-specific relational tropes of instantiation instead of facts, or convert to Neo-Aristotelian realism with monadic tropes. Regarding Neo-Aristotelian realism, we have two novel points why it fares better than Russellian realism. Instantiation of property universals by tropes and characterization or inherence between tropes and objects are more (...) transparent ontological notions than relational inherence, which is assumed in Russellian realism with the relational tropes of instantiation. Neo-Aristotelian realism makes better sense about abstract universals, which are a more viable option than concrete universals. (shrink)

This paper is the first trope-theoretical reply to E. J. Lowe’s serious dilemma against trope nominalism in print. The first horn of this dilemma is that if tropes are identity dependent on substances, a vicious circularity threatens trope theories because they must admit that substances are identity dependent on their constituent tropes. According to the second horn, if the trope theorist claims that tropes are identity independent, she faces two insurmountable difficulties. (1) It is hard to understand the ontological dependence (...) of tropes on substances. (2) The identity-conditions of tropes cannot be determinate, which threatens the determination of the identity-conditions of substances. Our reply to the first horn of Lowe’s dilemma is to deny the identity dependence of tropes. Yet we can avoid the second horn because our theory can explain the ontological dependence of tropes on substances and the fully-determined identity-conditions of both tropes and substances. (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)

The paper ends with an argument that says: necessarily, if there are finitely spatially extended particulars, then there are monadic universals. Before that, in order to characterize the distinction between particulars and universals, Roman Ingarden’s notions of existential moments and modes (ways) of being are presented, and a new pair of such existential moments is introduced: multiplicity–monadicity. Also, it is argued that there are not only real universals, but instances of universals (tropes) and fictional universals too.

Logical semantics includes once again structured meanings in its repertoire. The leading idea is that semantic and syntactic structure are more or less isomorphic. A key motive for reintroducing sensitivity to semantic structure is to obtain fine‐grained meanings, which are individuated more finely than in possible‐world semantics, namely up to necessary equivalence. Just getting the truth‐conditions right is deemed insufficient for a full semantic analysis of sentences. This paper surveys some of the most recent contributions to the program of structured (...) meaning, while providing historical background. I suggest that to make substantial advances the program needs to solve the problem of propositional unity and develop an intensional mereology of abstract objects. (shrink)

This paper addresses the mereological problem of the unity of structured propositions. The problem is how to make multiple parts interact such that they form a whole that is ultimately related to truth and falsity. The solution I propose is based on a Platonist variant of procedural semantics. I think of procedures as abstract entities that detail a logical path from input to output. Procedures are modeled on a function/argument logic, but are not functions. Instead they are higher-order, fine-grained structures. (...) I identify propositions with particular kinds of molecular procedures containing multiple sub-procedures as parts. Procedures are among the basic entities of my ontology, while propositions are derived entities. The core of a structured proposition is the procedure of predication, which is an instance of the procedure of functional application. The main thesis I defend is that procedurally conceived propositions are their own unifiers detailing how their parts interact so as to form a unit. They are not unified by one of their constituents, e.g., a relation or a sub-procedure, on pain of regress. The relevant procedural semantics is Transparent Intensional Logic, a hyperintensional, typed λ-calculus, whose λ-terms express four different kinds of procedures. While demonstrating how the theory works, I place my solution in a wider historical and systematic context. (shrink)

Are the sculpture and the mass of gold which permanently makes it up one object or two? In this article, we argue that the monist, who answers ‘one object’, cannot accommodate the asymmetry of material constitution. To say ‘the mass of gold materially constitutes the sculpture, whereas the sculpture does not materially constitute the mass of gold’, the monist must treat ‘materially constitutes’ as an Abelardian predicate, whose denotation is sensitive to the linguistic context in which it appears. We motivate (...) this approach in terms of modal analyses of material constitution, but argue that ultimately it fails. The monist must instead accept a deflationary, symmetrical use of ‘materially constitutes’. We argue that this is a serious cost for her approach. (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)

It is argued that experiences are complex events that befall their subjects. Each experience has a single subject and depends on the state or the event that it is of. The constituents of an experience are its subject, its grounding event or state, and everything that the subject is aware of during that time that's relevant to the telling of the story of how it was to participate in that event or be put in that state. The experience occurs where (...) the person having the experience is. An experience of an event or state occurs when that event or state makes a difference to its possessor's conscious life, where this difference is either a matter of really knowing what's happening or merely a matter of being affected. (shrink)

Are there any non‐composite objects? Are there any objects every part of which is composite? Are items of either kind even possible? What would they be like? Of what significance would they be? How best can we come to have reasonable beliefs about the answers to these inquiries? Such questions – about the actuality and possibility, the analysis and significance, the methodology and epistemology of simples and pieces of gunk – have been center stage in recent contemporary analytic metaphysics. The (...) following article provides a general overview of some of the current debates on their proper answers as well as a pair of slightly more detailed investigations into two issues of special interest in the recent literature devoted to these topics. (shrink)

Classical mereology is a formal theory of the part-whole relation, essentially involving a notion of mereological fusion, or sum. There are various different definitions of fusion in the literature, and various axiomatizations for classical mereology. Though the equivalence of the definitions of fusion is provable from axiom sets, the definitions are not logically equivalent, and, hence, are not inter-changeable when laying down the axioms. We examine the relations between the main definitions of fusion and correct some technical errors in prominent (...) discussions of the axiomatization of mereology. We show the equivalence of four different ways to axiomatize classical mereology, using three different notions of fusion. We also clarify the connection between classical mereology and complete Boolean algebra by giving two "neutral" axiom sets which can be supplemented by one or the other of two simple axioms to yield the full theories; one of these uses a notion of "strong complement" that helps explicate the connections between the theories. (shrink)

We say that each social group is identical to its members. The group just is them; they just are the group. This view of groups as pluralities has tended to be swiftly rejected by social metaphysicians, if considered at all, mainly on the basis of two objections. First, it is argued that groups can change in membership, while pluralities cannot. Second, it is argued that different groups can have exactly the same members, while different pluralities cannot. We rebut these objections, (...) and argue that our plural view is superior to alternative reductive proposals which would identify social groups with the sets or fusions of their members. Finally we deal with some further potential challenges for the view of groups as pluralities. Thus we aim to establish it as a serious contender in the metaphysics of groups. (shrink)

I argue that, despite van Inwagen’s pessimism about the task, it is worth looking for answers to his General Composition Question. Such answers or ‘principles of composition’ tell us about the relationship between an object and its parts. I compare principles of composition with criteria of identity, arguing that, just as different sorts of thing satisfy different criteria of identity, they may satisfy different principles of composition. Variety in criteria of identity is not taken to reflect ontological variety in the (...) identity relation; I discuss whether variety in principles of composition should be taken to reflect ontological variety in the composition relation. (shrink)

Closest-continuer or best-candidate accounts of persistence seem deeply unsatisfactory, but it’s hard to say why. The standard criticism is that such accounts violate the ‘only a and b’ rule, but this criticism merely highlights a feature of the accounts without explaining why the feature is unacceptable. Another concern is that such accounts violate some principle about the supervenience of persistence facts upon local or intrinsic facts. But, again, we do not seem to have an independent justification for this supervenience claim. (...) Instead, I argue that closest continuer accounts are committed to unexplained correlations between distinct existences, and that this is their fundamental flaw. We can have independent justification for rejecting such correlations, but what the justification is depends upon much broader issues in ontology. There is no one-size-fits all objection to closest-continuer accounts of persistence. (shrink)

Mereology is the logic of part—whole concepts as they are used in many different contexts. The old chemical metaphysics of atoms and molecules seems to fit classical mereology very well. However, when functional attributes are added to part specifications and quantum mechanical considerations are also added, the rules of classical mereology are breached in chemical discourses. A set theoretical alternative mereology is also found wanting. Molecular orbital theory requires a metaphysics of affordances that also stands outside classical mereology.

Can institutional objects be identified with physical objects that have been ascribed status functions, as advocated by John Searle in The Construction of Social Reality (1995)? The paper argues that the prospects of this identification hinge on how objects persist – i.e., whether they endure, perdure or exdure through time. This important connection between reductive identification and mode of persistence has been largely ignored in the literature on social ontology thus far.

Three arguments for the conclusion that objects cannot endure in B-time even if they remain intrinsically unchanged are examined: Carter and Hestevolds enduring-objects-as-universals argument (American Philosophical Quarterly 31(4):269-283, 1994) and Barker and Dowe's paradox 1 and paradox 2 (Analysis 63(2):106-114, 2003, Analysis 65(1):69-74, 2005). All three are shown to fail.

In Elder-Vass’s response to my it is maintained: that a social object is not identical with but is merely composed of its suitably interrelated parts; that a social object is necessarily indistinguishable in terms of its causal capacities from its interrelated parts; and that ontological individualism lacks an adequate ontological justification. In this reply, I argue that in view of the so-called redescription principle defended by Elder-Vass ought to be reformulated and renamed; that the conjunction of and renders social objects (...) causally redundant; and that ontological individualism can be coherently formulated and theoretically justified within Elder-Vass’s own metaphysics of objects with causal powers. (shrink)

There are, by now, many rival, sophisticated philosophical accounts of causation that qualify as ‘metaphysically reductive’. This is a good thing: these collective efforts have vastly improved our understanding of causation over the last 30 years or so. They also put us in an excellent position to reflect on some central methodological questions: What exactly is the point of offering a metaphysical reduction of causation? What philosophical scruples ought to guide the pursuit of such a reduction? Finally, how should answers (...) to these latter questions affect one’s assessment of the main contemporary approaches? That’s what we investigate in this essay. Section 1 lays out our presuppositions. Section 2 reviews a sample of philosophical accounts. Then comes the main event: Section 3 looks in detail at the foregoing methodological questions, closing with a reconsideration of our sample accounts, in light of what we’ve found. (shrink)

In this paper, I will reconstruct Hume's argument for the ontological (in the sense of rigid existential) independence of simple properties in A Treatise of Human Nature , Book 1 (1739). According to my reconstruction, the main premises of the argument are the real distinctness of every perception of a simple property, Hume's Separability Principle and his Conceivability Principle. In my view, Hume grounds the real distinctness of every perception of a simple property in his atomistic theory of sense perception (...) and his Copy Principle. I will also show why Hume's argument should be seen as relevant nowadays. David Lewis and his followers in metaphysics continue Hume's line of thinking in this respect, which is opposed by power ontologists (Brian Ellis, Stephen Mumford), for example. (shrink)

F. H. Bradley’s relation regress poses a difficult problem for metaphysics of relations. In this paper, we reconstruct this regress argument systematically and make its presuppositions explicit in order to see where the possibility of its solution or resolution lies. We show that it cannot be answered by claiming that it is not vicious. Neither is one of the most promising resolutions, the relata-specific answer adequate in its present form. It attempts to explain adherence (relating), which is a crucial component (...) of the explanandum of Bradley’s relation regress, in terms of specific adherence of a relational trope to its relata. Nevertheless, since we do not know the consequences and constituents of a trope adhering to its specific relata, it remains unclear what specific adherence is. It is left as a constitutively inexplicable primitive. The relata-specific answer only asserts against Bradley. This negative conclusion highlights the need for a metaphysical account of the constitution of the holding of adherence. (shrink)

There are three families of solutions to the traditional Amputation Paradox: Eliminativism, Contingent Identity Theories, and Theories of Coincident Entities. Theories of Coincident Entities challenge our common understanding of the relation between identity and parthood, since they accept that two things can be mereologically coincident without being identical. The contemporary discussion of the Amputation Paradox tends to mention only one theory of Coincident Entities, namely the Constitution View, which violates the mereological principle of Extensionality. But in fact, there is another (...) theory, namely the Unique Part View, which violates another mereological principle. In this paper, I argue that the contemporary focus on the Constitution View is unmotivated, at least when we are confronted with the Amputation Paradox, and that a balanced comparison of the two views should favour the Unique Part View. (shrink)

I argue that relations between non-collocated spatial entities, between non-identical topological spaces, and between non-identical basic building blocks of space, do not exist. If any spatially located entities are not at the same spatial location, or if any topological spaces or basic building blocks of space are non-identical, I will argue that there are no relations between or among them. The arguments I present are arguments that I have not seen in the literature.

Mereological nihilism is the philosophical position that there are no items that have parts. If there are no items with parts then the only items that exist are partless fundamental particles, such as the true atoms (also called philosophical atoms) theorized to exist by some ancient philosophers, some contemporary physicists, and some contemporary philosophers. With several novel arguments I show that mereological nihilism is the correct theory of reality. I will also discuss strong similarities that mereological nihilism has with empirical (...) results in quantum physics. And I will discuss how mereological nihilism vindicates a few other theories, such as a very specific theory of philosophical atomism, which I will call quantum abstract atomism. I will show that mereological nihilism also is an interpretation of quantum mechanics that avoids the problems of other interpretations, such as the widely known, metaphysically generated, quantum paradoxes of quantum physics, which ironically are typically accepted as facts about reality. I will also show why it is very surprising that mereological nihilism is not a widely held theory, and not the premier theory in philosophy. (shrink)

We seek means of distinguishing logical knowledge from other kinds of knowledge, especially mathematics. The attempt is restricted to classical two-valued logic and assumes that the basic notion in logic is the proposition. First, we explain the distinction between the parts and the moments of a whole, and theories of ?sortal terms?, two theories that will feature prominently. Second, we propose that logic comprises four ?momental sectors?: the propositional and the functional calculi, the calculus of asserted propositions, and rules for (...) (in)valid deduction, inference or substitution. Third, we elaborate on two neglected features of logic: the various modes of negating some part(s) of a proposition R, not only its ?external? negation not-R; and the assertion of R in the pair of propositions ?it is (un)true that R? belonging to the neglected logic of asserted propositions, which is usually left unstated. We also address the overlooked task of testing the asserted truth-value of R. Fourth, we locate logic among other foundational studies: set theory and other theories of collections, metamathematics, axiomatisation, definitions, model theory, and abstract and operator algebras. Fifth, we test this characterisation in two important contexts: the formulation of some logical paradoxes, especially the propositional ones; and indirect proof-methods, especially that by contradiction. The outcomes differ for asserted propositions from those for unasserted ones. Finally, we reflect upon self-referring self-reference, and on the relationships between logical and mathematical knowledge. A subject index is appended. (shrink)

Much attention has been given to the question of ontic vagueness, and the issues usually center around whether certain paradigmatically concrete entities – cats, clouds, mountains, etc. – are vague in the sense of having indeterminate spatial boundaries. In this paper, however, I wish to focus on a way in which some abstracta seem to be locationally vague. To begin, I will briefly cover some territory already covered regarding certain types of “traditional” abstracta and the ways they are currently alleged (...) to be vague. I then wish to discuss two types of “nontraditional” abstracta and the sense in which I think some of these objects are locationally vague. I will next reexamine some of the traditional abstracta and discuss whether any of these objects are locationally vague in the novel way suggested for the nontraditional sorts. I’ll finish by discussing objections, and conclude with some remarks about characterizing the abstract/concrete distinction. (shrink)

This paper aims to make headway on two related issues—one methodological, the other substantive. The former concerns cost–benefit analyses when applied to metaphysical theory choice. The latter concerns material coincidence, i.e., multiple objects occupying the same space at the same time, such as the statue and the clay from which it’s made. The issues are entwined as many reject coincidence on the grounds that it’s costly. I argue this judgment is unjustified. More generally, I set out and defend a framework (...) for the use of cost–benefit analyses in metaphysics. The framework employs a fourfold division of pretheoretical costs and benefits, and theoretical costs and benefits. Yet these do not hold equal weight. Instead I argue that the appeal to theoretical benefits is illegitimate if the theory in question cannot first account for the relevant evidence or data, including, crucially, certain bits of pretheoretical or common knowledge. This is crucial because I not only argue that material coincidence is consistent with common sense, against what is widely believed, but that coincidence may even be a feature or implication of the common sense view. Put together, the result is that accepting an anti-coincidence theory for its putative theoretical virtues at the expense of common sense is an improper usage of the cost–benefit methodology. I instead conclude that material coincidence should be accepted with equanimity—which, after all, is free. (shrink)

We present relational proof systems for the four groups of theories of spatial reasoning: contact relation algebras, Boolean algebras with a contact relation, lattice-based spatial theories, spatial theories based on a proximity relation.

What is it for an individual thing in the natural world—a rock, a mouse, a family or a planet—to be made of other things—crystals, organs, animals, soil, water, or dirt? Rocks, mice, families and planets are composites, but how are we to understand the relation that holds between these composites and their component parts? My aim is to offer a new account of this relation, which I shall call corporeal composition. A central claim of my account is that corporeal composition (...) is grounded in causal relations between components. I will show how this claim, combined with a minimalist approach to causation—that causation is not one thing, but many—entails a position I call compositional minimalism—that composition is not one thing, but many. (shrink)

I formulate a theory of persistence in the endurantist family and pose a problem for the conjunction of this theory with orthodox versions of special or general relativity. The problem centers around the question: Where are things?

English mass noun phrases & count noun phrases differ only minimally grammatically. The basis for the difference is ascribed to a difference in the features +/-CT. These features serve the morphosyntactic function of determining the available options for the assigment of grammatical number, itself determined by the features +/-PL: +CT places no restriction on the available options, while -CT, in the unmarked case, restricts the available options to -PL. They also serve the semantic function of determining the sort of denotation (...) associated with demonstrative & quantified noun phrases. The feature -CT requires that the associated denotation be the set whose sole member is the greatest aggregate of which the noun phrase or noun is true; the feature +CT requires that the associated denotation be the set whose members are all & only those minimal aggregates of which the noun phrase or noun is true. At the same time, neither mass NPs nor count NPs that are arguments of a predicate have their predicate evaluated with respect to their denotations. Rather, the predicate is evaluated with respect to an aggregation, a set of aggregates constructed from the denotation of the noun phrase that is an argument of the predicate. 3 Tables, 4 Figures, 74 References. AA. (shrink)