Platonists affirm the existence of abstract mathematical objects, and Nominalists deny the existence of abstract mathematical objects. While there are standard arguments in favor of Nominalism, these arguments fail to account for the necessity of Nominalism. Furthermore, these arguments do nothing to explain why Nominalism is true. They only point to certain theoretical vices that might befall the Platonist. The goal of this paper is to formulate and defend a simple, valid argument for the necessity of Nominalism that seeks to (...) precisify the widespread intuition that mathematical objects are somehow ‘spooky’ or ‘mysterious’. (shrink)

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

The present essay provides a new metaphysical interpretation of Relational Quantum Mechanics in terms of mereological bundle theory. The essential idea is to claim that a physical system in RQM can be defined as a mereological fusion of properties whose values may vary for different observers. Abandoning the Aristotelian tradition centered on the notion of substance, I claim that RQM embraces an ontology of properties that finds its roots in the heritage of David Hume. To this regard, defining what kind (...) of concrete physical objects populate the world according to RQM, I argue that this theoretical framework can be made compatible with a property-oriented ontology, in which the notion of object can be easily defined, and moderate structural realism, a philosophical position where relations and relata are both fundamental. Finally, I conclude that under this reading relational quantum mechanics should be included among the full-fledged realist interpretations of quantum theory. (shrink)

Primitives are both important and unavoidable, and which set of primitives we endorse will greatly shape our theories and how those theories provide solutions to the problems that we take to be important. After introducing the notion of a primitive posit, I discuss the different kinds of primitives that we might posit. Following Cowling (2013), I distinguish between ontological and ideological primitives, and, following Benovsky (2013) between functional and content views of primitives. I then propose that these two distinctions cut (...) across each other leading to four types of primitive posits. I then argue that theoretical virtues should be taken to be meta-theoretical ideological primitives. I close with some reflections on the global nature of comparing sets of primitives. (shrink)

Many metaphysicians utilize the virtue‐driven methodology. According to this methodology, one theory is more worthy of endorsement than another insofar as it is more virtuous. In this paper, I show how a theory's overall virtue is shaped by its ideological parsimony – parsimony with respect to the terminology employed in stating the theory. I distinguish between a theory's truth and its fidelity (‘joint‐carvingness’) and the corresponding epistemic and fidelic virtues. I argue that ideological parsimony is not an epistemic virtue but (...) is a fidelic virtue. Insofar as metaphysicians value fidelity, then, ideological parsimony has an important role in theory choice. (shrink)

Impure Eliminativism about Categories is the idea that ontological categories are not wholly eliminable insofar as they have epistemic value to understand the nature of ordinary and scientific objects. From the perspective of Impure Eliminativism, different criticisms have been addressed to substantialist approaches in metaphysics and, in particular, to John Heil’s substance-mode two-category ontology. The aim of this paper is to contribute to this critical project by extending its scope to C. B. Martin’s substantialism. The thesis I defend is that (...) Martin’s substratum-trope two-category ontology satisfies the elimination criterion of Impure Eliminativism for ontological categories because either it is inconsistent or else it supplies a non-exhaustive and non-exclusive categorization of ordinary and scientific objects and their properties. First, I introduce Impure Eliminativism and its novel elimination criterion for ontological categories, and I survey recent criticisms of substantialism from that perspective. Second, I show that nothing satisfies Martin’s definition of substratum in a way that is consistent with Martin’s view on tropes. Third, I note that the attempts to avoid the inconsistency make the categorization supplied by Martin’s ontology either non-exhaustive or non-exclusive. I then conclude that Martin’s substratum-trope categorial system should be eliminated in accordance with the criterion of categorial elimination of Impure Eliminativism. (shrink)

Something is good insofar as it achieves its end, so says a neo-Aristotelian view of goodness. Powers/dispositions are paradigm cases of entities that have an end, so say many metaphysicians. A question therefore arises, namely, can one account for neo-Aristotelian goodness in terms of an ontology of powers? This is what I shall begin to explore in this paper. I will first provide a brief explication of both neo-Aristotelian goodness and the metaphysics of powers, before turning to investigate whether one (...) can give an account of neo-Aristotelian goodness in terms of powers. I will suggest that the answer to this question is yes. (shrink)

In this paper, I argue that the spatiotemporalist approach way of modeling the fundamental constituents, structure, and composition of the world has taken a wrong turn. Spatiotemporalist approaches to fundamental structure take the fundamental nature of the world to be spatiotemporal: they take the category of spatiotemporal to be fundamental. I argue that the debates over the nature of the fundamental space in the physics show us that (i) the fact that it is conceivable that the manifest world could be (...) exactly as it appears to us, even though spatiotemporal entities are not fundamental, means that a central premise of spatiotemporalism, that we may assume, given ordinary experience, that the world is fundamentally spatiotemporal, is false. (ii) Spatiotemporalism must be seen as a contingent, a posteriori physical truth. Finally, (iii) I argue that a metaphysically deeper conclusion follows from the debate over the nature of the fundamental space. The debate in physics over which sort of space is the fundamental space suggests that physicists have discovered that, even if a spacetime is an actual constituent of the world-space category, there is a world-space category that is more fundamental than the category of spacetime. (shrink)

In this paper, I argue that for the purposes of ordinary reasoning, sentences about properties of concrete objects can be replaced with sentences concerning how things in our universe would be related to inscriptions were there a pluriverse. Speaking loosely, pluriverses are composites of universes that collectively realize every way a universe could possibly be. As such, pluriverses exhaust all possible meanings that inscriptions could take. Moreover, because universes necessarily do not influence one another, our universe would not be any (...) different intrinsically if there were a pluriverse. These two facts enable anti-realists about abstract objects to replace, e.g. talk of anatomical features with talk of the inscriptions concerning anatomical structure that would exist were there a pluriverse. The availability of such replacements enables anti-realists to carry out essential ordinary reasoning without referring to properties, thereby making room for a consistent anti-realist worldview. The inscriptions of the would-be pluriverse are so numerous and varied that sentences about them can play the roles in ordinary reasoning served by simple sentences about properties of concrete objects. (shrink)

It has been a common assumption that words are substances that instantiate or have properties. In this paper, I question the assumption that our ontology of words requires posting substances by outlining a bundle theory of words, wherein words are bundles of various sorts of properties (such as semantic, phonetic, orthographic, and grammatical properties). I argue that this view can better account for certain phenomena than substance theories, is ontologically more parsimonious, and coheres with claims in linguistics.

In a series of publications, L. A. Paul has defended a version of the bundle theory according to which material objects are nothing but mereological sums of ‘their’ properties. This ‘mereological’ bundle theory improves in important ways on earlier bundle theories, but here I present a new argument against it. The argument is roughly this: Material objects occupy space; even if properties have spatial characteristics, they do not quite occupy space; on no plausible construal of mereological composition does a mereological (...) sum of non-space-occupying entities occupy space; therefore, material objects are not mereological sums of properties. (shrink)

In this thesis I argue against unrestricted mereological hybridism, the view that there are absolutely no constraints on wholes having parts from many different logical or ontological categories, an exemplar of which I take to be ‘mixed fusions’. These are composite entities which have parts from at least two different categories – the membered (as in classes) and the non-membered (as in individuals). As a result, mixed fusions can also be understood to represent a variety of cross-category summation such as (...) the abstract with the concrete, the physical with the non-physical, and the possible with the impossible, just to name a few. -/- Proposed by David Lewis (1991) alongside his defence of classical mereology (the major theory of parthood which permits such transcategorial composites through its principle of unrestricted composition) it is my contention that mixed fusions are an under-examined consequence of indiscriminate mereological fusion which harbour a multitude of complications. In my attempt to discern their substantive character, throughout this thesis I make a case study of mixed fusions and uncover several problematic consequences which I think follow from their most plausible assessment. -/- These include: (1) that mixed fusions’ probable membership relations may lead to dubious foundational loops in the mereological Universe, or (2) otherwise that mixed fusions oblige an implausible ontological priority of the mereological Universe as a whole; (3) that mixed fusions contradict the reductive account of set theory they are proposed within, by plausibly being seen to have the same members as their class parts, and (4) that mixed fusions therefore confound a mereological thesis of Composition as Identity, which some (including Lewis) use to support classical mereology – a consequence which is potentially self-defeating; (5) that mixed fusions as sums of abstract and concrete entities both subvert Lewis’s (1986) system of modal realism, while (6) also undermining less expansive theories of possible worlds; and finally, (7) that even where some of the foregoing is resisted, it remains implausible that mixed fusions are ontologically innocent, because their supposed distinction from their parts in this case ensures that they need to be counted as additional entities in one’s ontology. -/- To be clear, I do not advance a theory of mereological hybrid nihilism in the sense of denying all cases of transcategorial composition. (I only cover a few select instances of mereological hybridism via mixed fusions after all.) Rather, I deny that mereological hybridism is plausible in full generality, by demonstrating that any cases of it are at least limited by the constraints that I identify. This in turn vindicates a call for a restriction on parthood theories and composition principles which allow certain types of categorially mixed entities – including restricting classical mereology with its principle of unrestricted composition. -/- Although theories of parthood like the standard classical mereology are not ordinarily developed for the sake of mereological hybrids like mixed fusions, these and other transcategorial composites are still among the logical consequences of such parthood systems operating with sufficient generality. The significance of my thesis, then, comes from showcasing how some of these kinds of entities do not conform to the systems in which they are included as required, and hence I argue for the rejection of unrestricted mereological hybridism as well as any mereological principles which support it. (shrink)

Many who take a dismissive attitude towards metaphysics trace their view back to Carnap’s ‘Empiricism, Semantics and Ontology’. But the reason Carnap takes a dismissive attitude to metaphysics is a matter of controversy. I will argue that no reason is given in ‘Empiricism, Semantics and Ontology’, and this is because his reason for rejecting metaphysical debates was given in ‘Pseudo-Problems in Philosophy’. The argument there assumes verificationism, but I will argue that his argument survives the rejection of verificationism. The root (...) of his argument is the claim that metaphysical statements cannot be justified; the point is epistemic, not semantic. I will argue that this remains a powerful challenge to metaphysics that has yet to be adequately answered. (shrink)

The Euthyphro objection is often perceived, rightly or wrongly, as the king objection to theistic meta-ethics. This paper proposes a response that hasn’t been much explored within the contemporary literature, based on the metaphysics of dispositions and natural law theory. The paper will first contend that there is a parallel between ways theists conceptualise God’s role in creating laws of nature and the ways God creates goods. Drawing upon these parallels I propose a possible response to the dilemma, where this (...) response parallels the dispositionalist response as to how God creates laws of nature. I do this by first explicating a natural law theory of goodness, then suggesting how the ontology of dispositions can be used in a novel way to account for goods, and finally by explaining how all this relates to the dilemma. I conclude the paper by posing some objections to myself and providing some replies. (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)

Should philosophers prefer simpler theories? Huemer (Philos Q 59:216–236, 2009) argues that the reasons to prefer simpler theories in science do not apply in philosophy. I will argue that Huemer is mistaken—the arguments he marshals for preferring simpler theories in science can also be applied in philosophy. Like Huemer, I will focus on the philosophy of mind and the nominalism/Platonism debate. But I want to engage with the broader issue of whether simplicity is relevant to philosophy.

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)

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

[A comment paper on Tuomas Tahko's book An Introduction to Metametaphysics (CUP, 2016).] Pyrin tässä artikkelissa selvittämään, missä määrin Tuomas Tahkon kirjan An Introduction to Metametaphysics luvussa 9 esittämä käsitys tieteen ja metafysiikan suhteesta tuo selvyyttä metafysiikan luonteeseen itsenäisenä tutkimusalana. Analyyttinen metafysiikka on joutunut viimeisten viidentoista vuoden aikana kasvavan kritiikin kohteeksi. James Ladymanin (2012) mukaan viime aikoina suosittu käsitys metafyysisen teorian valinnasta teoreettisten hyveiden perusteella kohtaa niin sanotun vahvan globaalin alimääräytyneisyyden ongelman. Tahko pyrkii vastaamaan näihin huoliin esittämällä synteesiin E.J. Lowen (...) metafysiikkakäsityksen ja Laurie Paulin (2002) esittämien ideoiden välillä. Argumentoin, että Tahkon vastaus on sikäli puutteellinen, että se jättää avoimeksi kysymyksen parhaan ontologisen kategoriajärjestelmän valinnasta. Teen ehdotuksia siitä, miten voimme välttää alimääräytyneisyyshuolen myös tässä tapauksessa. (shrink)

The article deals with the problem of simple and complex objects in metaphysical research. It is stated that the ultimate simplification of reality theoretical models follows from the nature of metaphysical knowledge. The modern metaphysical conceptions of fundamental simplicity and fundamental complexity of existing objects are discussed. They are the conceptions of full and distributional monism, mereological nihilism, and the traditional binary or binary-based models of the foundations of reality, ascending to Aristotle. The paper shows that these conceptions and ideas (...) do not simplify reality as much as possible. The problematic and ambiguous nature of the conceptions considered is that all complicating factors are not excluded in them. This leads to a situation where further grounding of the entities that are accepted as the simplest ones is required. The state of the full simplification in metaphysics is defined. It is argued that ultimate simplification requires the exclusion of qualitative multiplicity and quantitative definiteness, the exclusion of the distinction between substance and its qualities, between the entity and the law, the relation or condition which ground it. The entity identified in the process of ultimate simplification must be quantitatively indefinite, identical to its quality and substratum, indistinguishable from the law, the condition or the relationship of its grounding. Such an entity can be the starting point for the construction of a metaphysical model of the world as a consistent complication of entities. (shrink)

A system of categories is a complete list of highest kinds or genera. Traditionally, following Aristotle, these have been thought of as highest genera of entities (in the widest sense of the term), so that a system of categories undertaken in this realist spirit would ideally provide an inventory of everything there is, thus answering the most basic of metaphysical questions: “What is there?”. Skepticism about the possibilities for discerning the different categories of ‘reality itself’ has led others to approach (...) category systems not with the aim of cataloging the highest kinds in the world itself, but rather with the aim of elucidating the categories of our conceptual system. Thus Kant makes the shift to a conceptualist approach by drawing out the categories that are.. (shrink)