Surface presentism is the combination of a general relativistic physics with a presentist metaphysics. In this paper, we provide an argument against this combination based on black holes. The problem focuses on the notion of an event horizon. We argue that the present locations of event horizons are ontologically dependent on future black hole regions, and that this dependence is incompatible with presentism. We consider five responses to the problem available to the surface presentist, and argue that none succeed. Surface (...) presentism thus faces the prospect of refutation based on evidence that confirms the existence of black holes. (shrink)

The existence and fundamentality of spacetime has been questioned in quantum gravity where spacetime is frequently described as emerging from a more fundamental non-spatiotemporal ontology. This is supposed to lead to various philosophical issues such as the problem of empirical coherence. Yet those issues assume beforehand that we actually understand and agree on the nature of spacetime. Reviewing popular conceptions of spacetime, we find that there is substantial disagreement on this matter, and little hope of resolving it. However, we argue (...) that this should not trouble us as these issues, which seem to suggest the need for an account of spacetime in quantum gravity, can be addressed without one. (shrink)

Foundational ontologies, central constructs in ontological investigations and engineering alike, are based on ontological categories. Firstly proposed by Aristotle as the very ur- elements from which the whole of reality can be derived, they are not easy to identify, let alone partition and/or hierarchize; in particular, the question of their number poses serious challenges. The late medieval philosopher Dietrich of Freiberg wrote around 1286 a tutorial that can help us today with this exceedingly difficult task. In this paper, I discuss (...) ontological categories and their importance for foundational ontologies from both the contemporary perspective and the original Aristotelian viewpoint, I provide the translation from the Latin into English of Dietrich's De origine II with an introductory elaboration, and I extract a foundational ontology–that is in fact a single-category one–from this text rooted in Dietrich's specification of types of subjecthood and his conception of intentionality as causal operation. (shrink)

Recent work on quantum gravity suggests that neither spacetime nor spatiotemporally located entites exist at a fundamental level. The loss of both brings with it the threat of empirical incoherence. A theory is empirically incoherent when the truth of that theory undermines the empirical justification for believing it. If neither spacetime nor spatiotemporally located entities exist as a part of a fundamental theory of QG, then such a theory seems to imply that there are no observables and so no way (...) that the theory can be confirmed. The threat of empirical incoherence can be addressed by treating spacetime and spatiotemporally located entities as emergent. The question then arises as to what the metaphysical nature of this emergence might be. In this paper, I explore a functionalist approach to this kind of emergence in the context of loop quantum gravity. I begin by rehearsing the spacetime functionalist’s account of emergence, clarifying the view along the way. I proceed to sketch out a functionalist treatment of spatiotemporally located entities and combine the two forms of functionalism into a double functionalism, according to which both spacetime and matter have the same functional realisers. (shrink)

Subverting a once widely held Quinean paradigm, there is a growing consensus among philosophers of logic that higher-order quantifiers (which bind variables in the syntactic position of predicates and sentences) are a perfectly legitimate and useful instrument in the logico-philosophical toolbox, while neither being reducible to nor fully explicable in terms of first-order quantifiers (which bind variables in singular term position). This article discusses the impact of this quantificational paradigm shift on metaphysics, focussing on theories of properties, propositions, and identity, (...) as well as on the metaphysics of modality. (shrink)

The aim of this paper is to introduce, elucidate and defend the usefulness of a variant of grounding, or metaphysical explanation, that has the feature that the grounds explain of some states of affairs that one of them obtains without explaining which one obtains. I will dub this variant arbitrary grounding. After informally elucidating the basic idea in the first section, I will provide three metaphysical hypotheses that are best formulated in terms of arbitrary grounding in the second section. The (...) third section will be concerned with the relation between arbitrary grounding and non-arbitrary grounding. The fourth section will compare arbitrary grounding to two extant proposals in the literature. (shrink)

Consider the following pair of theses: all fundamental physical objects are spatiotemporal and all non-fundamental physical objects are ultimately composed of fundamental objects. Work on the physics of quantum gravity suggests that spacetime is a non-fundamental, emergent phenomenon and thus that thesis is false. The fundamentals are non-spatiotemporal in nature. This paper will argue against on the grounds that non-fundamental spatiotemporal objects cannot be composed of fundamental non-spatiotemporal objects. So, assuming that spacetime is emergent, new metaphysical resources are needed to (...) explain the relationship between the fundamental objects posited by quantum gravity and spacetime. (shrink)

According to a number of approaches in theoretical physics, spacetime does not exist fundamentally. Rather, spacetime exists by depending on another, more fundamental, non-spatiotemporal structure. A prevalent opinion in the literature is that this dependence should not be analyzed in terms of composition. We should not say, that is, that spacetime depends on an ontology of non-spatiotemporal entities in virtue of having them as parts. But is that really right? On the contrary, we argue that a mereological approach to dependent (...) spacetime is not only viable, but promises to enhance our understanding of the physical situation. (shrink)

A number of philosophers have argued in favour of extended simples on the grounds that they are needed by fundamental physics. The arguments typically appeal to theories of quantum gravity. To date, the argument in favour of extended simples has ignored the fact that the very existence of spacetime is put under pressure by quantum gravity. We thus consider the case for extended simples in the context of different views on the existence of spacetime. We show that the case for (...) extended simples based on physics is far more complex than has been previously thought. We present and then map this complexity, in order to present a much more textured picture of the argument for extended simples. (shrink)

The possibility of multi-location—of one entity having more than one exact location—is required by several metaphysical theories such as the immanentist theory of universals and three-dimensionalism about persistence. One of the most pressing challenges for multi-location theorists is that of making sense of exact location—in that extant definitions of exact location entail a principle called ‘functionality’, according to which nothing can have more than one exact location. Recently in a number of promising papers, Antony Eagle has proposed and defended a (...) definition of exact location in terms of weak location that does not entail functionality. This paper provides the first thorough assessment of Eagle’s proposal. In particular, we argue that it cannot account for the location of immanent universals, the multi-location of mereologically changing three-dimensional objects, the multi-location of mereologically complex objects, and that it makes extended simples impossible. (shrink)

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

Constitution is the relation that holds between an object and what it is made of: statues are constituted by the lumps of matter they coincide with; flags, one may think, are constituted by colored pieces of cloth; and perhaps human persons are constituted by biological organisms. Constitution is often thought to be a.

Several different quantum gravity research programmes suggest, for various reasons, that spacetime is not part of the fundamental ontology of physics. This gives rise to the problem of empirical coherence: if fundamental physical entities do not occupy spacetime or instantiate spatiotemporal properties, how can fundamental theories concerning those entities be justified by observation of spatiotemporally located things like meters, pointers and dials? I frame the problem of empirical coherence in terms of entailment: how could a non-spatiotemporal fundamental theory entail spatiotemporal (...) evidence propositions? Solutions to this puzzle can be classified as realist or antirealist, depending on whether or not they posit a non-fundamental spacetime structure grounded in or caused by the fundamental structure. These approaches place different constraints on our everyday concepts of space and time. Applying lessons from the philosophy of mind, I argue that only realism is both conceptually plausible and suitable for addressing the problem at hand. I suggest a role functionalist version of realism, which is consistent with both grounding and causation, and according to which our everyday concepts reveal something of the true nature of emergent spacetime. (shrink)

Work in quantum gravity suggests that spacetime is not fundamental. Rather, spacetime emerges from an underlying, non-spatiotemporal reality. After clarifying the type of emergence at issue, I argue that standard conceptions of emergence available in metaphysics won’t work for the emergence of spacetime. I go on to consider spacetime functionalism as a way to make sense of spacetime emergence. I argue that a functionalist approach to spacetime modelled on mental state functionalism is not a viable alternative to the standard conception (...) of emergence in metaphysics. I go on to consider an alternative: ‘partial’ functionalism, whereby certain aspects of spacetime are functionalised, rather than spacetime as a whole. (shrink)

Philosophical theories of gender are typically understood as theories of what it is to be a woman, a man, a nonbinary person, and so on. In this paper, I argue that this is a mistake. There’s good reason to suppose that our best philosophical theory of gender might not directly match up to or give the extensions of ordinary gender categories like ‘woman’.

Philosophy and Phenomenological Research, EarlyView.

‘Space does not exist fundamentally: it emerges from a more fundamental non-spatial structure.’ This intriguing claim appears in various research programs in contemporary physics. Philosophers of physics tend to believe that this claim entails either that spacetime does not exist, or that it is derivatively real. In this article, I introduce and defend a third metaphysical interpretation of the claim: reductionism about space. I argue that, as a result, there is no need to subscribe to fundamentality, layers of reality and (...) emergence in order to analyse the constitution of space by non-spatial entities. It follows that space constitution, if borne out, does not provide empirical evidence in favour of a stratified, Aristotelian in spirit, metaphysics. The view will be described in relation to two particular research programs in contemporary physics: wave function realism and loop quantum gravity. (shrink)

The notion of fundamentality, as it is used in metaphysics, aims to capture the idea that there is something basic or primitive in the world. This metaphysical notion is related to the vernacular use of “fundamental”, but philosophers have also put forward various technical definitions of the notion. Among the most influential of these is the definition of absolute fundamentality in terms of ontological independence or ungroundedness. Accordingly, the notion of fundamentality is often associated with these two other technical notions.

Philosophy and Phenomenological Research, EarlyView.

When an entity ontologically depends on another entity, the former ‘presupposes’ or ‘requires’ the latter in some metaphysical sense. This paper defends a novel view, Dependence Deflationism, according to which ontological dependence is what I call an aggregative cluster concept: a concept which can be understood, but not fully analysed, as a ‘weighted total’ of constructive and modal relations. The view has several benefits: it accounts for clear cases of ontological dependence as well as the source of disagreement in controversial (...) ones; it gives a nice story about the evidential relevance of modal, mereological and set-theoretic facts to ontological dependence; and it makes sense of debates over the relation's formal properties. One important upshot of the deflationary account is that questions of ontological dependence are generally less deep and less interesting than usually thought. (shrink)

One might well wonder—is there a category under which every thing falls? Offering an informative account of such a category is no easy task. For nothing would distinguish things that fall under it from those that don’t—there being, after all, none of the latter. It seems hard, then, to say much about any fully general category; and it would appear to do no carving or categorizing or dividing at all. Nonetheless there are candidates for such a fully general office, including (...) thing, being, entity, item, existent, and—especially—object.[ It is not obvious that there is any fully general category (whether object or otherwise). Accordingly, not all accounts of object assign it to a fully general category, instead allowing that there are non-objects. On those views, object does indeed divide. Accounts of object, then, differ with respect to whether there are non-objects. And this is not the only fault line. Other dimensions of difference include what objects there are and what objects are. Accordingly, this entry will survey three broad questions about the category object: What, if any, is its contrast or complement? What is its extension? What is its nature? (shrink)

I will defend two claims. First, Schaffer's priority monism is in tension with many research programs in quantum gravity. Second, priority monism can be modified into a view more amenable to this physics. The first claim is grounded in the fact that promising approaches to quantum gravity such as loop quantum gravity or string theory deny the fundamental reality of spacetime. Since fundamental spacetime plays an important role in Schaffer's priority monism by being identified with the fundamental structure, namely the (...) cosmos, the disappearance of spacetime in these views might undermine classical priority monism. My second claim is that priority monism can avoid this issue with two moves: first, in dropping one of its core assumptions, namely that the fundamental structure is spatio-temporal, second, by identifying the connection between the non-spatio-temporal structure and the derivative spatio-temporal structure with mereological composition. (shrink)

La physique contemporaine pourrait bien nous livrer un enseignement incroyable, à savoir que l'espace et le temps n'existent pas fondamentalement. Je présenterai succinctement les ontologies suggérées par les deux principaux programmes de recherche en gravité quantique : la théorie des cordes et la gravité quantique à boucles. Je soutiendrai ensuite qu'il est fructueux de prendre les différentes conceptions ontologiques de la conscience en philosophie de l'esprit en modèles pour la construction de solutions au problème de l'émergence de l'espace-temps.

In recent years, a hierarchical view of reality has become extremely influential. In order to understand the world as a whole, on this view, we need to understand the nature of the fundamental constituents of the world. We also need to understand the relations that build the world up from these fundamental constituents. Building pluralism is the view that there are at least two equally fundamental relations that together build the world. It has been widely, though tacitly, assumed in a (...) variety of important metaphysical debates. However, my primary aim in this paper is to argue that this has been a mistake. I will show that serious problems concerning the relationship between building and fundamentality afflict pluralism and are likely fatal to it. I claim that, for better or worse, our best hope is building singularism, the view that there is a single most fundamental building relation. I conclude by examining the advantage that singularist accounts enjoy over their pluralist rivals. (shrink)

I defend a one category ontology: an ontology that denies that we need more than one fundamental category to support the ontological structure of the world. Categorical fundamentality is understood in terms of the metaphysically prior, as that in which everything else in the world consists. One category ontologies are deeply appealing, because their ontological simplicity gives them an unmatched elegance and spareness. I’m a fan of a one category ontology that collapses the distinction between particular and property, replacing it (...) with a single fundamental category of intrinsic characters or qualities. We may describe the qualities as qualitative charactersor as modes, perhaps on the model of Aristotelian qualitative (nonsubstantial) kinds, and I will use the term “properties” interchangeably with “qualities”. The qualities are repeatable and reasonably sparse, although, as I discuss in section 2.6, there are empirical reasons that may suggest, depending on one’s preferred fundamental physical theory, that they include irreducibly intensive qualities. There are no uninstantiated qualities. I also assume that the fundamental qualitative natures are intrinsic, although physics may ultimately suggest that some of them are extrinsic. On my view, matter, concrete objects, abstract objects, and perhaps even spacetime are constructed from mereological fusions of qualities, so the world is simply a vast mixture of qualities, including polyadic properties (i.e., relations). This means that everything there is, including concrete objects like persons or stars, is a quality, a qualitative fusion, or a portion of the extended qualitative fusion that is the worldwhole. I call my view mereological bundle theory. (shrink)

A fundamental entity is an entity that is ‘ontologically independent’; it does not depend on anything else for its existence or essence. It seems to follow that a fundamental entity is ‘modally free’ in some sense. This assumption, that fundamentality entails modal freedom (or ‘FEMF’ as I shall label the thesis), is used in the service of other arguments in metaphysics. But as I will argue, the road from fundamentality to modal freedom is not so straightforward. The defender of FEMF (...) should provide positive reasons for believing it, especially in light of recent views that are incompatible with it. I examine both direct and indirect routes to FEMF. (shrink)

I defend mereological nihilism, the view that there are no composite objects, against a challenge from ontological emergence, the view that some things have properties that are ‘something over and above’ the properties of their parts. As the nihilist does not believe in composite wholes, there is nothing in the nihilist's ontology to instantiate emergent properties – or so the challenge goes. However, I argue that some simples can collectively instantiate an emergent property, so the nihilist's ontology can in fact (...) accommodate emergent properties. Furthermore, I show that employing plural instantiation does not bloat the nihilist's ontology or ideology. (shrink)

Let’s call the sentence “why is there something rather than nothing?” the Question. There’s no consensus, of course, regarding which proposed answer to the Question, if any, is correct, but occasionally there’s also controversy regarding the meaning of the Question itself. In this paper I argue that such controversy persists because there just isn’t one unique interpretation of the Question. Rather, the puzzlement expressed by the sentence “why is there something rather than nothing?” varies depending on the ontology implicitly or (...) explicitly endorsed by the speaker. In this paper I do three things. First, I argue that other proposals according to which the Question has one uniquely adequate interpretation are false. Second, I give several examples of the way in which the meaning of the Question can vary depending on the ontology to which it is coupled. Third, I explore the implications of my thesis for the manner in which we should approach future attempts to answer the Question. (shrink)

We more or less understand how composition works in the case of objects. We cement bricks together to build a wall. We stir together red paint and yellow paint to get orange paint. In both cases, one way or another, A = B + C. This paper examines composition in the case of concrete natural properties. It explains why property composition is so much less straightforward than object composition. Then it distinguishes strictly basic properties , compositely basic properties , and (...) fully non-basic properties . It shows how strictly basic properties compose, or result in, compositely basic and fully non-basic properties, which differ from, yet depend for their natures on, the strictly basic properties they result from. It explains the characteristics and differences of these types of properties. It notes that the existence of compositely basic and non-basic properties grounds an argument for the genuine existence of co.. (shrink)

We defend two claims: (1) if one is attracted to a strong non-maximalist view about truthmaking, then it is natural to construe this as the view that there exist fundamental truths; (2) despite considerable aversion to fundamental truths, there is as yet no viable independent argument against them. That is, there is no argument against the existence of fundamental truths that is independent of any more specific arguments against the ontology accepted by the strong non-maximalist. Thus there is no argument (...) that the strong non-maximalist herself will find dialectically motivating. (shrink)

I discuss an argument for the monistic idea that the cosmos is the one and only fundamental thing, drawing on the idea that the cosmos is the one and only thing that evolves by the fundamental laws.

Many contemporary philosophers accept Hume's Dictum, according to which there are no metaphysically necessary connections between distinct, intrinsically typed entities. Tacit in Lewis 's work is a potential motivation for HD, according to which one should accept HD as presupposed by the best account of the range of metaphysical possibilities---namely, a combinatorial account, applied to spatiotemporal fundamentalia. Here I elucidate and assess this Ludovician motivation for HD. After refining HD and surveying its key, recurrent role in Lewis ’s work, I (...) present Lewis ’s appeal to HD as providing a broadly axiomatic generating basis for the space of metaphysical modality, and canvas the prima facie advantages of the resulting combinatorial principle---HD ---as being principled, extensionally adequate and modally reductive. Most criticisms of Lewis 's combinatorialism have targeted seeming ways in which the theory overgenerates the desired space; I rather argue that HD seriously undergenerates the desired space in three different ways. For each way I argue that available means of overcoming the undergeneration either fail to close the gap, undermine the claim that HD is a principled generator of metaphysical modal space, undermine the reductive status of Lewis 's combinatorialism, or call into question the truth of HD. (shrink)

Critics of contemporary metaphysics argue that it attempts to do the hard work of science from the ease of the armchair. Physics, not metaphysics, tells us about the fundamental facts of the world, and empirical psychology is best placed to reveal the content of our concepts about the world. Exploring and understanding the world through metaphysical reflection is obsolete. In this paper, I will show why this critique of metaphysics fails, arguing that metaphysical methods used to make claims about the (...) world are similar to scientific methods used to make claims about the world, but that the subjects of metaphysics are not the subjects of science. Those who argue that metaphysics uses a problematic methodology to make claims about subjects better covered by natural science get the situation exactly the wrong way around: metaphysics has a distinctive subject matter, not a distinctive methodology. The questions metaphysicians address are different from those of scientists, but the methods employed to develop and select theories are similar. In the first section of the paper, I will describe the sort of subject matter that metaphysics tends to engage with. In the second section of the paper, I will show how metaphysical theories are classes of models and discuss the roles of experience, common sense and thought experiments in the construction and evaluation of such models. Finally, in the last section I will discuss the way these methodological points help us to understand the metaphysical project. Getting the right account of the metaphysical method allows us to better understand the relationship between science and metaphysics, to explain why doing metaphysics successfully involves having a range of different theories, to understand the role of thought experiments involving fictional worlds, and to situate metaphysical realism in a scientifically realist context. (shrink)

Recent work in quantum gravity has prompted a re-evaluation of the fundamental nature of spacetime. Spacetime is potentially emergent from non-spatiotemporal entities posited by a theory of quantum gravity. Recent efforts have sought to interpret the relationship between spacetime and the fundamental entities through a mereological framework. These frameworks propose that spacetime can be conceived as either having non-spatiotemporal entities as its constituents or being a constituent part of a non-spatiotemporal structure. I present a roadmap for those interested in exploring (...) the role of composition in understanding the emergence of spacetime. I establish a taxonomy based on four crucial parameters that should be considered when constructing potential mereological models. Subsequently, I connect these models to a spectrum of perspectives found in current literature, with the aim of pinpointing areas that require further exploration. Finally, I identify three potential challenges facing mereological models of spacetime emergence, rooted in issues of mereological harmony, the distinction between continuous and discrete spacetime, and the implications of quantum superposition. (shrink)

One feature of language is that we are able to make mistakes in our use of language. Amongst other sorts of mistakes, we can misspeak, misspell, missign, or misunderstand. Given this, it seems that our metaphysics of words should be flexible enough to accommodate such mistakes. It has been argued that a nominalist account of words cannot accommodate the phenomenon of misspelling. I sketch a nominalist trope-bundle view of words that can.

According to traditional universalism, properties are instantiated by objects, where instantiation is a ‘tie’ that binds objects and properties into facts. I offer two arguments against this view. I then develop an alternative higher-order account which holds that properties are primitively predicated of objects yet, unlike traditional nominalism, are nevertheless genuinely real. When it’s a fact that Fo, it’s not because object o instantiates F-ness, but just that Fo – where F still exists. Against orthodox higher-order approaches, however, my arguments (...) against instantiation also serve to support a sparse conception of properties. In developing the view, I introduce an extension of ontological and ideological commitment in the form of syntactic commitment. (shrink)

A number of approaches to quantum gravity (QG) seem to imply that spacetime does not exist. Philosophers are quick to point out, however, that the loss of spacetime should not be regarded as total. Rather, we should interpret these approaches as ones that threaten the fundamentality but not the existence of spacetime. In this paper, I argue for two claims. First, I argue that spacetime realism is not forced by QG; spacetime eliminativism remains an option. Second, I argue that eliminativism (...) provides a useful framework for developing two existing approaches to the metaphysics of QG, involving functionalism and mereology respectively. (shrink)

A common view in the metaphysics of ground is that all grounding facts are grounded. This generates an infinite regress of ever more grounding of grounding facts, but most grounding theorists take the regress to be harmless. However, in this paper, I argue that the regress is in fact vicious, therefore some grounding facts are ungrounded. Since the regress appears to fall out of two plausible principles of fundamentality, I offer a new interpretation of them that allows for ungrounded grounding (...) facts. (shrink)

We develop a new version of the causal theory of spacetime. Whereas traditional versions of the theory seek to identify spatiotemporal relations with causal relations, the version we develop takes causal relations to be the grounds for spatiotemporal relations. Causation is thus distinct from, and more basic than, spacetime. We argue that this non-identity theory, suitably developed, avoids the challenges facing the traditional identity theory.

Dispositional essentialism is the view that all or many fundamental properties are essentially dispositional, orpowers. The literature on the dispositional essence of powers is abundant. In contrast, the question of how to understand the fundamentality of fundamental powers has received scarce interest. Therefore, the fundamentality of powers stands in need of clarification. There are four main conceptions of the fundamental, namely as that which is (i)metaphysically independent; or (ii)belonging to a minimally complete basis; or (iii)perfectly natural; or (iv)metaphysically primitive. Here, (...) I present and discuss each of these approaches from the viewpoint of dispositional essentialism. I show that (i) is incompatible with the metaphysics of powers and (ii)–(iv) have more drawbacks than merits. Therefore, my conclusion is that the dispositional essentialist should seek an alternative. Although I offer no positive account, I pave the way to more fruitful views by identifying the shortcoming of these unpromising options. (shrink)

Ontic structural realism is a thesis of fundamentality metaphysics: the thesis that structure, not objects, has fundamental status. Claimed as the metaphysic most befitting of modern physics, OSR first emerged as an entreaty to eliminate objects from the metaphysics of fundamental physics. Such elimination was urged by Steven French and James Ladyman on the grounds that only it could resolve the ‘underdetermination of metaphysics by physics’ that they claimed reduced any putative objectual commitment to a merely ‘ersatz’ form of realism. (...) Few, however, have joined French and Ladyman either in acknowledging that such underdetermination exists or in attributing to it such drastic consequences. However, an alternative view that physics does sanction objects, albeit merely as ontologically secondary entities, represents a different and seemingly less extreme route to the same conclusion regarding the fundamentality of structure. But since what it means to be ‘ontologically prior’ is itself a vexed philosophical question, a stance must be taken as to how we are to understand priority before its prospects may be evaluated. In an earlier paper, I outlined how Fine’s notion of ontological dependence might be utilized to defend the priority-based approach to structuralism. Since then, however, I have become convinced that that ontological dependence is not a relation of priority after all. As a result, the arguments outlined in that paper stand in need of reassessment. In this work, I consider the prospects for priority-based structuralism when expressed in the idiom of determination. My conclusion will be that it has yet to be vindicated by our best physical theories, owing to the failure of symmetry structures to determine the world’s inventory of fundamental kinds. Nevertheless, the same symmetry considerations point towards there being renewed prospects for eliminativism—an eliminativism, moreover, of more naturalistic appeal than that hitherto associated with OSR. 1Introduction 2Structuralist Strategies 3Defining Ontological Priority: Dependence or Determination? 4Structuralism in the Idiom of Determination 4.1Determining plurality 4.2Determining kind properties 5A Reinvigorated Eliminativism. (shrink)

Identity and distinctness facts are ones like “The Eiffel Tower is identical to the Eiffel Tower,” and “The Eiffel Tower is distinct from the Louvre.” This paper concerns one question in the metaphysics of identity: Are identity and distinctness facts metaphysically fundamental or are they nonfundamental? I provide an overview of answers to this question.

In this paper I provide a state of the art survey and assessment of the contemporary debate about relations. After (1) distinguishing different varieties of relations, symmetric from non-symmetric, internal from external relations etc. and relations from their set-theoretic models or sequences, I proceed (2) to consider Bradley’s regress and whether relations can be eliminated altogether. Next I turn (3) to the question whether relations can be reduced, bringing to bear considerations from the philosophy of physics as well as metaphysics. (...) Finally, (3) I consider in what sense relations have order, and whether to make sense of this we are required to conceive of relations as having direction or argument positions. (shrink)

Dispositional monists believe that all properties are essentially causal. Recently, an overdetermination argument has been proposed by Trenton Merricks to support nihilism about ordinary objects. I argue that this argument can be extended to target both nihilism about ordinary objects and nihilism about physical particles when dispositional monism is assumed. It implies that a philosopher who both endorses dispositional monism and takes seriously the overdetermination argument should not believe in the existence of physical particles. I end up by discussing possible (...) objections. I suggest, then, that if we live in a world that is inhabited by causal properties but not by chairs and tables, then we also live in a world without electrons and quarks, a world of dispositional properties, that is, a world of causal fields. (shrink)

Priority Monism, as defined by Jonathan Schaffer, has a number of components. It is the view that: the cosmos exists; the cosmos is a maximal actual concrete object, of which all actual concrete objects are parts; the cosmos is basic—there is no object upon which the cosmos depends, ontologically; ontological dependence is a primitive and unanalysable relation. In a recent attack, Lowe has offered a series of arguments to show that Monism fails. He offers up four tranches of argument, with (...) different focuses. These focal points are: being a concrete object; aggregation and dependence; analyses of ontological dependence; Schaffer’s no-overlap principle. These are all technical notions, but each figures at the heart of a cluster of arguments that Lowe puts forward. To respond, I work through each tranche of argument in turn. Before that, in the first section, I offer a cursory statement of Monism, as Schaffer presents it in his 2010 paper, Monism: The Priority of the Whole. I then respond to each of Lowe’s criticisms in turn, deploying material from Schaffer’s 2009 paper Spacetime: the One Substance, as well as various pieces of conceptual machinery from Lowe’s own works to deflect Lowe’s attacks. In the process of defending Monism from Lowe, I end up offering some subtle refinements to Schaffer’s view and explain how the resulting ‘hybrid’ view fares in the wider dialectic. (shrink)

I explore some of the ways that assumptions about the nature of substance shape metaphysical debates about the structure of Reality. Assumptions about the priority of substance play a role in an argument for monism, are embedded in certain pluralist metaphysical treatments of laws of nature, and are central to discussions of substantivalism and relationalism. I will then argue that we should reject such assumptions and collapse the categorical distinction between substance and property.

This paper argues that, assuming properties exist and must be located in spacetime, the prevailing view that they are exactly located where their instances are is false. Instead a property is singularly located at just one region, namely the union of its instance's locations. This bears not just on issues in the metaphysics of properties, but also on the debate over whether multi-location is conceivable and/or possible.

Metaphysical orthodoxy holds that a privileged minority of properties carve reality at its joints. These are the so-called fundamental properties. This thesis concerns the contemporary philosophical debate about the nature of fundamental properties. In particular, it aims to answer two questions: What is the most adequate conception of fundamental properties? What is the “big picture” world-view that emerges by adopting such a conception? I argue that a satisfactory answer to both questions requires us to embrace a novel conception of powerful (...) qualities, according to which properties are at once dispositional and qualitative. By adopting the proposed conception of powerful qualities, an original theory of fundamental properties comes to light. I call it Dual-Aspect Account. In this thesis, I defend the Dual-Aspect Account and its superiority with respect to rival views of fundamental properties. I illustrate this claim by examining Dispositionalism, the view defended among others by Alexander Bird and Stephen Mumford, Categoricalism, which has been advocated notably by David Lewis and David Armstrong, and the Identity Theory of powerful qualities, primarily championed by C. B. Martin and John Heil. The latter is the standard conception of powerful qualities. However, in the literature, the Identity Theory faces the charge of contradiction. A preliminary task is therefore to show that a conception of powerful qualities is coherent. To accomplish this aim, I introduce the notion of an aspect of a property. On this interpretation, powerful qualities can be thought of as having dispositional and qualitative aspects. I show that such a conception allows us to disambiguate the claim that a property’s dispositionality is identical with its qualitativity, and evade the charge of contradiction. Aspects bring us other theoretical benefits. I illustrate this claim by showing how the Dual-Aspect Account offers us a promising theory of resemblance. I then compare its merits with David Armstrong’s theory of partial identity. The conclusion of this thesis is that the Dual-Aspect Account is better suited to capturing the world as we find it in everyday life and scientific investigation as compared to the theoretical positions examined. (shrink)