I illustrate a challenge to a view that is a response to the Hole Argument. The view, sophisticated substantivalism, has been claimed to be the received view. While sophisticated substantivalism has many defenders, there is a fundamental tension in the view that has not received the attention it deserves. Anyone who defends or endorses sophisticated substantivalism, should acknowledge this challenge, and should either show why it is not serious or explain how to respond to it.

Robin Le Poidevin (2007) claims that we do form perceptual beliefs regarding order and duration based on our perception of events, but neither order nor duration are by themselves objects of perception. Temporal properties are discernible only when one first perceives their bearers, and temporal relations are discernible only when one first perceives their relata. The epistemic issue remains as to whether or not our perceptual beliefs about order and duration are formed on the causal basis of an event’s objective (...) order and duration. Le Poidevin raises this issue in the form of an epistemological puzzle of time perception, from which he derives the claim that the order and duration of events do not causally contribute to our perceptual beliefs about them. Since his view is motivated by a causal truthmaker principle for grounding knowledge, it also holds that perceptual beliefs about temporal features must be caused by the features themselves in order to count as knowledge. Given these theoretical commitments, there is a puzzle concerning how such perceptual beliefs could constitute knowledge of temporal properties. In response to Le Poidevin, I argue for an account according to which order and duration are objects of perception, causally contribute to our perceptual beliefs about them, and such beliefs are capable of counting as knowledge. I conclude by showing that, on my alternative account, the epistemological puzzle dissolves and his own solution to it fails. (shrink)

The paper presents a novel version of universalism—the thesis according to which there are only universals, no individuals—which is cashed out in terms of an adverbial analysis of predication. According to the theory, every spatiotemporal occurrence of a universal U can be expressed by a sentence which asserts the existence of U adverbially modified by the spatiotemporal region at which it exists. After some preliminary remarks on the interpretation of natural language, a formal semantics for the theory is first provided, (...) along with an intended interpretation of its key metaphysical imports. Follow some commentaries on the spatiotemporal manifold and determinable properties. (shrink)

There are at least two traditional conceptions of numerical degree of similarity. According to the first, the degree of dissimilarity between two particulars is their distance apart in a metric space. According to the second, the degree of similarity between two particulars is a function of the number of (sparse) properties they have in common and not in common. This paper argues that these two conceptions are logically independent, but philosophically inconsonant.

According to Satosi Watanabe's "theorem of the ugly duckling", the number of predicates satisfied by any two different particulars is a constant, which does not depend on the choice of the two particulars. If the number of predicates satisfied by two particulars is their number of properties in common, and the degree of resemblance between two particulars is a function of their number of properties in common, then it follows that the degree of resemblance between any two different particulars is (...) also constant, which is absurd. Avoiding this absurd conclusion requires questioning assumptions about infinity in the proof or interpretation of the theorem, adopting a sparse conception of properties, or denying degree of resemblance is a function of number of properties in common. After arguing against both the first two options, this paper argues for a version of the third which analyses degree of resemblance as a function of properties in common, but weighted by their degree of naturalness or importance. (shrink)

This paper maps the landscape for a range of views concerning the metaphysics of natural kinds. I consider a range of increasingly ontologically committed views concerning natural kinds and the possible arguments for them. I then ask how these relate to natural kind essentialism, arguing that essentialism requires commitment to kinds as entities. I conclude by examining the homeostatic property cluster view of kinds in the light of the general understanding of kinds developed.

Kim's argument appears to render causally efficacious emergence impossible: Hume's argument appears to render normative emergence impossible, and, in its general form, it precludes any emergence at all. I argue that both of these barriers can be overcome, and, in fact, that they each constitute reductions of their respective underlying presuppositions. In particular, causally efficacious ontological emergence can be modeled, but only within a process metaphysics, thus avoiding Kim's argument, and making use of non-abbreviatory forms of definition, thus avoiding Hume's (...) argument. I illustrate these points with models of the emergent nature of normative function and of representation. (shrink)

Recently much has been made of the grounding relation, and of the idea that it is intimately tied to fundamentality. If A grounds B, then A is more fundamental than B (though not vice versa ), and A is ungrounded if and only if it is fundamental full stop—absolutely fundamental. But here is a puzzle: is grounding itself absolutely fundamental?

What is an epiphenomenal property? This question needs to be settled before we can decide whether higher-level properties are epiphenomenal or not. In this paper, I offer an account of what it is for a property to have some causal power. From this, I derive a characterisation of the notion of an epiphenomenal property. I then argue that physically realized higher-level properties are not epiphenomenal because laws of nature impose causal similarities on the bearers of such properties, and these similarities (...) figure as powers in the causal profiles of these properties. (shrink)

Oliver's and Rodriguez-Pereyra's important interpretation of the problem of universals as one concerning truthmakers neglects something crucial: that there is a numerical identity between numerically distinct particulars. The problem of universals is rather how to resolve the apparent contradiction that the same things are both numerically distinct and numerically identical. Baxter's account of instantiation as partial identity resolves the apparent contradiction. A seeming objection to this account is that it appears to make instantiation symmetric, since partial identity is symmetric. Armstrong's (...) standard reply is that the difference between a particular and a universal is what makes instantiation asymmetric. Brown suggests, though, that the instantiation of a universal by a universal is sometimes symmetric. However, the examples on which he relies are not universals. (shrink)

Dispositional essentialism maintains that all sparse properties are essentially powerful. Two conceptions of sparse properties appear compatible with dispositional essentialism: sparse properties as pure powers or as powerful qualities. This paper compares the two views, criticizes the powerful qualities view, and then develops a new theory of pure powers, termed Point Theory. This theory neutralizes the main advantage powerful qualities appear to possess over pure powers—explaining the existence of powers during latency periods. The paper discusses the relation between powers and (...) space-time points, whether pure powers need to occupy space, and how to account for the movement of pure powers through space-time. Given Point Theory, dispositional essentialists should maintain that sparse properties are pure powers. (shrink)

The aim of this paper is to take a fresh look at a discussion about the distinct existences argument that took place between David Armstrong and Frank Jackson more than fifty years ago. I will try to show that Armstrong’s argument can be successfully defended against Jackson’s objections (albeit at the price of certain concessions concerning Armstrong’s view on the meaning of psychological terms as well as his conception of universals). Focusing on two counterexamples that Jackson put forward against Hume’s (...) principle (which is central to Armstrong’s argument), I will argue that they are either compatible with Hume’s principle, or imply a false claim. I will also look at several other considerations that go against Hume’s principle, such as, for example, Kripke’s origin essentialism and counterexamples from aposteriori necessity. (shrink)

There are predicates and subjects. It is thus tempting to think that there are properties on the one hand, and things that have them on the other. I have no quarrel with this thought; it is a fine place to begin a theory of properties and property-having. But in this paper, I argue that one such theory—bare particularism—is false. I pose a dilemma. Either bare particulars instantiate the properties of their host substances or they do not. If they do not, (...) then bare particularism is both unmotivated and false. If they do, then the view faces a problematic—and, I shall argue, false—crowding consequence. (shrink)

Why is it that whenever a structural property is instantiated, its constituent properties are instantiated as well, by proper parts of the original object? By developing a suggestion from Lewis :25–46, 1986), Hawley :117–133, 2010) rises to this explanatory challenge by taking structural properties to be mereologically composed by their constituents, and by taking composition to be analogous to identity. However, setting up a plausible framework for composition and CAI claims about properties, I will argue that structural properties are not (...) identical to their constituents, at least not in any sense robust enough to warrant an Hawley-style argument—and perhaps not identical to them in any sense whatsoever. More generally, core principles of extensional mereology are in danger when applied to structural properties, which may force an extensionalist to either reconsider the application altogether, or reconsider mereological monism, thus granting the mereology of structural properties a peculiarly non-extensional status. Finally, although this debate has been traditionally framed as a debate about universals, an appeal to structural tropes can reconcile, at least to some extent, the mereology of structural properties with Lewisian extensional mereology— CAI included. (shrink)

In this chapter, I make the case for platonic realism, the thesis that there are properties that lack spatial locations. After criticizing the one-over-many argument for realism and Lewis's argument for realism, I endorse a modal argument that derives the existence of platonic properties from considerations involving necessary truth. I then defend this argument from various objections. Finally, I argue that epistemic considerations and considerations of parsimony favor a weak form of platonic realism on which there are platonic properties, but (...) each property could have had an instance, and would have been located in its instances if it had any. (shrink)

La filosofía de D. Hume ha sido tradicionalmente vinculada con el positivismo y con el subjetivismo moral. Si bien es innegable su explicita influencia en estas escuelas de pensamiento, ello no obsta a la existencia efectiva de relaciones de armonía entre propuestas tradicionalmente opuestas a la filosofía humeana. En el presente trabajo se presentarán sus convergencias con la ética de la ley natural, particularmente la desarrollada por la llamada New Natural LawTheory. Se argumentará el vínculo a partir de la importancia (...) de la vida común, de la experiencia y del rol de la filosofía en el comportamiento humano. (shrink)

Resumen En una serie de escritos Timothy Williamson ha argumentado a favor del necesitismo, esto es, la tesis de que es necesario que todo exista necesariamente. Este trabajo discute el necesitismo de segundo orden, esto es, la tesis de que es necesario que toda propiedad exista necesariamente, considerando líneas de argumentación semejantes a las desplegadas en primer orden. Se examinan tres de estos argumentos: el carácter necesario de ser una propiedad, la aparición de las propiedades en proposiciones, y los compromisos (...) ontológicos del metalenguaje en el que se formula la semántica. Se argumenta que ninguno de ellos es realmente convincente. La justificación del necesitismo de segundo orden parece requerir más metafísica sustantiva que resultados formales, al menos si es que los resultados formales de que se trata son aquellos discutidos aquí.In a series of writings Timothy Williamson has argued for necessitism, i. e. the thesis that it is necessary that everything exists necessarily. This work discusses second-order necessitism, i. e. the thesis that it is necessary that every property exists necessarily, considering lines of argument similar to those displayed on first-order. Three of those arguments are examined. the necessary character ofbeing a property, the occurrence of properties in propositions, and the ontological commitments of the metalanguage where the semantics is formulated. It is argued that none of them are compelling. The justification for second-order necessitism seems to require more substantive metaphysics than formal results, at least if the formal results in view are those discussed here. (shrink)

un estado de cosas es una estructura no-mereológica compuesta por universales, objetos y tiempos. En principio, un estado de cosas no está fundado en sus componentes, pues tales componentes podrían existir, pero no el estado de cosas que componen. La introducción de otras relaciones de 'instanciación' no mejoran la situación, si tales relaciones son universales. Un estado de cosas, sin embargo, sí está fundado en un universal, uno o varios objetos, un tiempo y un tropo que, esencialmente, es la instanciación (...) de tal universal en tal objeto, o en tales objetos, en tal tiempo. Si los estados de cosas están fundados en sus constituyentes, entonces hay una razón para admitir tropos. Finalmente, se discuten varias razones por los que los estados de cosas deben estar fundados. a state of affairs is a non-mereological structure composed by universals, objects and times. In principle, a state of affairs is not grounded in its components, for those components could exist, but not the state of affairs that they compose. The introduction of other relations of 'instantiation' doesn't improve the situation, if those relations are universal. A state of affairs, though, is grounded on a universal, object or objects, time and a trope that, essentially, is the instantiation of that universal in that object, or in those objects, in that time. If states of affairs are grounded in their constituents, then there is reason to admit tropes. Finally, several reasons by which states of affairs should be grounded are discussed. (shrink)

A ‘state of affairs’ is understood here as any kind of concrete entity that can play the role of truthmaker. Different ontologies propose different structures of entities to work as ‘states of affairs’ in this sense. Defenders of universals will propose for the role non- mereological structures of universals, objects and times. Defenders of tropes will propose tropes, either with or without universals and objects. Resemblance nominalists will propose primitive ontological facts of resemblance between objects in time. In any of (...) these cases, times are an essential component of a state of affairs. Any ontology of states of affairs, then, should clarify what times are in order to clarify what states of affairs are. An examination of the dominant reductivist conceptions of times shows that these connections have not yet been thought through carefully. In any of the dominant reductivist conceptions, times are entities that either include or describe everything that happens simultaneously at a given instant. Even in some cases they include the description of everything that happens at any time. If one introduce times taken as they are in any of these reductivist conceptions, it will be essential to a state of affairs everything that happens simultaneously with it, or even everything that happens at any time. Under some assumptions the internal relation of every state of affairs with every other state of affairs expands to the internal relation of everything with everything. This is an unhappy theoretical situation that calls for a more careful consideration of some central tenets in our ontology of time. (shrink)

Extensionalist theories of the specious present suggest that every perceptual experience is extended in time for a short while, such that they are co-extensive in time with the time experienced in them. Thus, there can be no experience of time, unless the experience itself is extended in time. Accordingly, there must be something that unites the temporal parts of a perceptual experience into temporally extended wholes. I call this the “glue-problem for extensionalism”. In this paper I suggest three desiderata that (...) an extensionalist theory should meet in order to solve the glue-problem. I also distinguish between different versions of extensionalism, and argue that none of them can solve the glue-problem without violating at least one desideratum. (shrink)

ABSTRACTMetaphysics has a problem with plurality: in many areas of discourse, there are too many good theories, rather than just one. This embarrassment of riches is a particular problem for metaphysical realists who want metaphysics to tell us the way the world is and for whom one theory is the correct one. A recent suggestion is that we can treat the different theories as being functionally or explanatorily equivalent to each other, even though they differ in content. The aim of (...) this paper is to explore whether the notion of functionally equivalent theories can be extended and utilized in the defence of metaphysical realism, drawing upon themes from structuralism in the philosophies of mathematics and science in which the specifics of theories do not matter as long as the relations in which they stand to other theories are maintained. I argue that despite its initial attractiveness, there are significant difficulties with this proposal. Discovering these obstacles thwarts the realist structuralist project, but reveals interesting features of metaphysical systems. (shrink)

Corrective intervention in Plato's metaphysics replacing the standard view of Plato as a metaphysical dualist with a novel and revolutionary paradigm of unitary pluralism in a single reality built on ontological diversity.

This paper outlines a ‘perceptual account’ of depiction. It centrally contrasts with experiential accounts of depiction in that seeing something in a picture is understood as a visual experience of something present in the picture, rather than as a visual experience of something absent. The experience of a picture is in this respect akin to a veridical rather than hallucinatory perceptual experience on a perceptual account. Thus, the central selling-point of a perceptual account is that it allows taking at face (...) value the intuitive claim that we see things in pictures. Preserving this claim has a potential cost, however: we need to postulate that some kind of thing, T, is present in the realm of the picture, and it is not straightforward to find a plausible type of entity to play this role. The paper examines three alternative choices of T; T may be a material object, a visual appearance or a universal. (shrink)

Feminism is the movement to end women’s oppression. One possible way to understand ‘woman’ in this claim is to take it as a sex term: ‘woman’ picks out human females and being a human female depends on various anatomical features (like genitalia). Historically many feminists have understood ‘woman’ differently: not as a sex term, but as a gender term that depends on social and cultural factors (like social position). In so doing, they distinguished sex (being female or male) from gender (...) (being a woman or a man), although most ordinary language users appear to treat the two interchangeably. More recently this distinction has come under sustained attack and many view it nowadays with (at least some) suspicion. This entry (around 12 000 words in length) outlines and discusses distinctly feminist debates on sex and gender. (shrink)

A critical survey of the main metaphysical theories concerning the nature of material objects (substratum theories, bundle theories, substance theories, stuff theories) and their identity conditions, both synchronic (monist vs. pluralist theories) and diachronic (three-dimensionalism, four-dimensionalism, sequentialism).

An introduction to composition, persistence, and identity.

In this paper I examine Grace A. de Laguna’s theory of universals in its historical context and in relation to contemporary debates in analytic metaphysics. I explain the central features of her theory, arguing that her theory should be classified as a form of immanent realism and as a powers ontology. I then show in what ways her theory affords a theory of modality in terms of potentialities and discuss some of its consequences along the way.

Truthmaker theorists hold that propositions about higher-level entities (e.g. the proposition that there is a heap of sand) are often made true by lower-level entities (e.g. by facts about the configuration of fundamental particles). This generates a problem: what should we say about these higher-level entities? On the one hand, they must exist (since there are true propositions about them), on the other hand, it seems that they are completely superfluous and should be banished for reasons of ontological parsimony. Some (...) truthmaker theorists—most prominently David Armstrong—have tried to solve this puzzle by arguing that these entities are ‘an ontological free lunch’, i.e. real existents that are still ‘no addition of being’. This answer is prima facie attractive, but I argue in this paper that the standard approaches to truthmaking—modal theories and grounding theories—are unable to vindicate the doctrine of the ontological free lunch, and thus fail to solve the problem of higher-level entities. Fortunately, there is a non-standard account of truthmaking available, the reductive explanation account, which succeeds where the standard approaches fail. (shrink)

Quantity is the first category that Aristotle lists after substance. It has extraordinary epistemological clarity: "2+2=4" is the model of a self-evident and universally known truth. Continuous quantities such as the ratio of circumference to diameter of a circle are as clearly known as discrete ones. The theory that mathematics was "the science of quantity" was once the leading philosophy of mathematics. The article looks at puzzles in the classification and epistemology of quantity.

This article presents a trope bundle theory of simple substances, the Strong Nuclear Theory[SNT] building on the schematic basis offered by Simons's (1994) Nuclear Theory[NT]. The SNT adopts Ellis's (2001) dispositional essentialist conception of simple substances as powerful particulars: all of their monadic properties are dispositional. Moreover, simple substances necessarily belong to some natural kind with a real essence formed by monadic properties. The SNT develops further the construction of substances the NT proposes to obtain an adequate trope bundle theory (...) of powerful particulars. The SNT allows for co-located powerful particulars. However, every powerful particular is necessarily co-located with its constituent tropes, which determine its causal powers. Every constituent trope of substance i is part of a trope aggregate (the n-bundle or c-bundle) that forms an individual figuring in the basic spatio-temporal relations. The location of these individuals determines the location of individual tropes. Since they are necessarily co-located with substance i when they exist, every trope t of i is necessarily co-located with i when it exits. Every simple substance has nuclear tropes necessary to it. It belongs to certain primary natural kind K because its nuclear tropes belong to certain distinct determinate kinds. (shrink)

Universalism (the thesis that distinct objects always compose a further object) has come under much scrutiny in recent years. What has been largely ignored is its role in the metaphysics of classes. Not only does universalism provide ways to deal with classes in a metaphysically pleasing fashion, its success on these grounds has been offered as a motivation for believing it. This paper argues that such treatments of classes can be achieved without universalism, examining theories from Goodman and Quine, Armstrong (...) and Lewis. In the case of each theory, universalism is drafted in to ensure that there are enough material objects to play a particular role. I argue that, for each theory, there's a better theory that ditches universalism and instead uses an alternative principle of composition demanding that the unrestricted composition of entities other than material objects (respectively: regions, states of affairs and singletons) play that role instead. I conclude that (1) non-universalists can consider accepting such theories of classes and (2) we should ignore any alleged motivation for universalism on the basis of dealing with classes. (shrink)

Scientists cannot devise theories, construct models, propose explanations, make predictions, or even carry out observations, without first classifying their subject matter. The goal of scientific taxonomy is to come up with classification schemes that conform to nature's own. Another way of putting this is that science aims to devise categories that correspond to 'natural kinds.' The interest in ascertaining the real kinds of things in nature is as old as philosophy itself, but it takes on a different guise when one (...) adopts a naturalist stance in philosophy, that is when one looks closely at scientific practice and takes it as a guide for identifying natural kinds and investigating their general features. This Element surveys existing philosophical accounts of natural kinds, defends a naturalist alternative, and applies it to case studies in a diverse set of sciences. This title is also available as Open Access on Cambridge Core. (shrink)

It follows from Humean principles of plenitude, I argue, that island universes are possible: physical reality might have 'absolutely isolated' parts. This makes trouble for Lewis's modal realism; but the realist has a way out. First, accept absolute actuality, which is defensible, I argue, on independent grounds. Second, revise the standard analysis of modality: modal operators are 'plural', not 'individual', quantifiers over possible worlds. This solves the problem of island universes and confers three additional benefits: an 'unqualified' principle of compossibility (...) can be accepted; the possibility of nothing can be accommodated; and the identity of indiscernible worlds can be decisively refuted. (shrink)

Philosophy and Literature is an internationally renowned refereed journal founded by Denis Dutton at the University of Canterbury, Christchurch. It is now published by the Johns Hopkins University Press. Since its inception in 1976, Philosophy and Literature has been concerned with the relation between literary and philosophical studies, publishing articles on the philosophical interpretation of literature as well as the literary treatment of philosophy. Philosophy and Literature has sometimes been regarded as iconoclastic, in the sense that it repudiates academic pretensions, (...) insidious jargon and institutional vogue. Dutton, who remains the editor, still writes a regular column. A distinctive feature of Philosophy and Literature was the annual Bad Writing Contest, held from 1995–98, which sought to identify (and publish) the ‘most stylistically lamentable passages’ of academic prose, often to great amusement. (shrink)

This chapter considers the ‘hosting question’ of how immanent universals, in contrast to transcendent universals, are ‘brought down to earth’ from ‘Plato’s heaven’. It explores the thesis that the hosting amounts to their being constituents of the states of affairs that result from their instantiations. These states of affairs are concrete complexes consisting of particulars and universals, and perhaps something that links them together. The traditional view that immanent universals are concrete is briefly defended against a recent prominent objection. On (...) relationalism, states of affairs are unified by a relation of some sort; on non-relationalism they are unified non-relationally. Roughly, these two conceptions of states of affairs are equivalent to Armstrong’s relational and non-relational versions of immanent realism, respectively. Armstrong mostly criticises the former and defends the latter. It is argued, however, that relationalism, at least potentially, answers the hosting question, whereas non-relationalism realism does not. (shrink)

Ontologiset kategoriateoriat pyrkivät vastaamaan metafysiikan klassiseen ongelmaan: kysymykseen siitä, mihin eri kategorioihin oliot eli entiteetit jakaantuvat. Olioilla tarkoitetaan tässä mitä tahansa, joka on olemassa. Olevan kategoriat eli ontologiset kategoriat (lyhyesti kategoriat) ovat alustavasti olioiden hyvin yleisiä lajeja. Jäsenyys olioiden kategoriassa ei niinkään kerro sitä, mitä piirteitä oliolla on, vaan sen olemisen tavan ¬– miten se esimerkiksi on tai voi olla maailman rakenneosa. Esimerkkejä mahdollisista kategorioista ovat konkreettiset partikulaariset yksilöoliot (substanssit), ominaisuudet, relaatiot, prosessit, tapahtumat ja joukot. -/- 1. Mitä ovat ontologiset (...) kategoriateoriat -/- 2. Uusaristoteelinen realismi -/- 3. Russellilainen realismi -/- 4. Universaalikimpputeoriat -/- 5. Nominalismi: substanssi-modus-teoriat -/- 6. Trooppiteoriat -/- 7. Jyrkkä nominalismi -/- 8. Tapahtuma- ja prosessiontologiat -/- 9. Ontologisten kategorioiden tutkimus Suomessa -/- 10. Suositeltavaa jatkolukemista -/- 11. Lähteet . (shrink)

Worries about mental causation are prominent in contemporary discussions of the mind and human agency. Originally, the problem of mental causation was that of understanding how a mental substance (thought to be immaterial) could interact with a material substance, a body. Most philosophers nowadays repudiate immaterial minds, but the problem of mental causation has not gone away. Instead, focus has shifted to mental properties. How could mental properties be causally relevant to bodily behavior? How could something mental qua mental cause (...) what it does? After looking at the traditional Problem of Interaction, we survey various versions of the property-based problem and look at proposed solutions to them. (shrink)

Properties have an important role in specifying different views on laws of nature: virtually any position on laws will make some reference to properties, and some of the leading views even reduce laws to properties. This chapter will first outline what laws of nature are typically taken to be and then specify their connection to properties in more detail. We then move on to consider three different accounts of properties: natural, essential, and dispositional properties, and we shall see that different (...) conceptions of properties also result in different views of the modal status of laws, such as the question of whether laws are metaphysically necessary or contingent. Finally, there are also important links specifically between properties, natural kinds, and laws of nature that deserve our attention. (shrink)

Disposition ascription has been discussed a good deal over the last few decades, as has the revisionary metaphysical view of ordinary, persisting objects known as 'fourdimensionalism'. However, philosophers have not merged these topics and asked whether four-dimensional objects can be proper subjects of dispositional predicates. This paper seeks to remedy this oversight. It argues that, by and large, four-dimensional objects are not suited to take dispositional predicates.

Whereas traditional nominalists accept the realist's challenge to solve a 'Problem of Universals', the Ostrich Nominalist responds that there is no such Problem to answer. I suggest that Ostrich Nominalist arguments expose a genuine flaw in the realist project. However, I argue, Ostrich Nominalism is ultimately defeated by a problem about the analysis of qualitative sameness and difference. Qualitative sameness and difference are adequately understood only as sameness or difference in some respect. The need to say what these respects of (...) sameness and difference are (if not universals) constitutes a genuine Problem of Universals; consequently—I claim—the Ostrich Nominalist is mistaken. (shrink)

This dissertation is divided into two parts. In the first part I defend substantivalism. I do this by offering, in chapter 1, a counterpart-theoretic defense of substantivalism from Leibniz’ shift arguments. Then, in chapter 2, I defend substantivalism from the hole argument and argue, against the consensus, that the question of haecceitism is irrelevant to substantivalism in the context of general relativity. In the second part of the dissertation I defend supersubstantivalism. I do this by offering, in chapter 3, an (...) argument against dualistic substantivalism. The argument appeals to plausible principles of modal plenitude to show that the dualist is committed to a range of problematic possibilities. Then, in chapter 4, I consider a range of supersubstantivalist positions. I conclude by arguing for a version of supersubstantivalism I call compresence supersubstantivalism. (shrink)