In this chapter, we provide an opinionated introduction to contemporary trope bundle theories of substance. We assess different trope bundle theories on the grounds of their two main aims: to provide an adequate account of substances or objects by means of tropes and a reductive analysis of inherence, that is, object's having tropes as their properties. Our discussion begins by a presentation of Donald C. Williams’ and Keith Campbell's paradigmatic trope theories, which maintain that tropes are independent existents. After highlighting (...) the central problems of paradigmatic trope theories, we discuss two more recent developments of trope bundle theory that also take non-relational tropes as independent existents, Anna-Sofia Maurin's and Douglas Ehring's independence theories. Finally, we present two alternative trope bundle theories, according to which tropes are dependent existents, dependence theories, namely, Arda Denkel's Saturation theory and our Strong Nuclear Theory (SNT). Although the latter two theories introduce existential dependencies among tropes, we argue that dependence theories provide a more satisfactory account of substances dividing into natural kinds than independence theories. (shrink)

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

In this article, we propose a new trope nominalist conception of determinate and determinable kinds of quantitative tropes. The conception is developed as follows. First, we formulate a new account of tropes falling under the same determinates and determinables in terms of internal relations of proportion and order. Our account is a considerable improvement on the current standard account (Campbell 1990; Maurin 2002; Simons 2003) because it does not rely on primitive internal relations of exact similarity or quantitative distance. The (...) internal relations of proportion and order hold because the related tropes exist; no kinds of tropes need be assumed here. Second, we argue that there are only pluralities of tropes in relations of proportion and order. The tropes mutually connected by the relations of proportion and order form a special type of plurality, tropes belonging to the same kind. Unlike the recent nominalist accounts, we do not identify kinds of tropes with any further entities (e.g. sets) or abstractions from entities (e.g. pluralities of similar tropes). (shrink)