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 Examination of McTaggart's Philosophy, C.D. Broad advanced a distinctive ontology of things and processes. He argues that neither things nor processes are reduced to each other but instead are reduced to some further kind of entity: “absolute process.” This paper will present Broad's theory of absolute processes and argue that they are best understood as tropes by developing a version of Donald C. Williams's trope ontology. This process ontology of tropes is then defended against objections in the contemporary metaphysics (...) literature. (shrink)

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

According to the cluster of theories in the metaphysics of properties known as ‘trope’ theories, properties are collections of particular qualitative instances. Though increasingly influential, the cluster is sufficiently diverse for there to be little agreement as to the prospects of its members. The present essay articulates and defends a conception of tropes as primitively qualitatively complex, somewhat in the vein of Quinean nominalist objects. After clarifying the relationships among tropes, properties, property exemplification, and property conferral, the essay discusses the (...) benefits of this new ‘ostrich’ trope theory. Specifically, the theory explains better than prior trope theories both the spatiotemporal status of tropes and the capacity tropes have to confer properties onto objects. Moreover, the theory is immune to many of the concerns that threaten more orthodox trope ontologies. (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.

Trope theory is a leading metaphysical theory in analytic ontology. One of its classic statements is found in the work of Donald C. Williams who argued that tropes qua abstract particulars are the very alphabet of being. The concept of an abstract particular has been repeatedly attacked in the literature. Opponents and proponents of trope theory alike have levelled their criticisms at the abstractness of tropes and the associated act of abstraction. In this paper I defend the concept of a (...) trope qua abstract particular by rejecting arguments that purport to show that tropes should not be understood as abstract and by arguing that the abstractness of tropes plays an indispensable role in one of our more promising trope-theoretic analyses of universals and of concrete objects. (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)

Dispositionality and qualitativity are key notions to describe the world that we inhabit. Dispositionality is a matter of what a thing is disposed to do in certain circumstances. Qualitativity is a matter of how a thing is like. According to the Identity Theory of powers, every fundamental property is at once dispositional and qualitative, or a powerful quality. Canonically, the Identity Theory holds a contentious identity claim between a property’s dispositionality and its qualitativity. In the literature, this view faces a (...) contradiction objection that undermines its merits. We should therefore consider an alternative version that does not embrace the identity claim. My aim is to show that we can enjoy the benefits of the Identity Theory without embracing the identity between the dispositional and the qualitative. I shall argue that a distinction between two senses of dispositionality and qualitativity serves the purpose. I will then discuss three readings of the identity claim that can be formulated in light of such a distinction. I will conclude that even if the identity were to fail in any of the suggested readings, it would be possible to hold an account of fundamental powerful qualities. (shrink)

In this paper, I elaborate on the Strong Nuclear Theory (SNT) of tropes and substances, which I have defended elsewhere, using my metatheory about formal ontology and especially fundamental ontological form. According to my metatheory, for an entity to have an ontological form is for it to be a relatum of a formal ontological relation or relations jointly in an order. The full fundamental ontological form is generically identical to a simple formal ontological relation or relations jointly in an order. (...) Regarding generic identity, I follow Fabrice Correia and Alexander Skiles, who consider it a form of generalized identity as distinguished from numerical identity. The SNT states that for any trope to have the full fundamental ontological form is for it to be a strongly rigidly or generically (existentially) dependent individual simple part. Therefore, the common dichotomous set-up of asking whether tropes are fundamentally properties rather than objects or vice versa is a non-starter to me in formal ontological terms. The elaboration of the SNT also supplies me with the resources to respond to the arguments against tropes by Douglas Ehring, Robert K. Garcia and Herbert Hochberg. Finally, I argue that non-fundamentally but necessarily, every trope is a proper part of a substance and is concrete in the SNT. (You may access the published paper via the external link below.). (shrink)

Trope theories aim to eschew the primitive dichotomy between characterising (properties, relations) and characterized entities (objects). This article (in Finnish) presents a new trope theoretical analysis of relational inherence as the best way out of the impasse created by the alleged necessity to choose between an eliminativist and a primitivist ("relata-specific") view about relations in trope theory.

The concept of instantiation is realized differently across a variety of metaphysical theories. A certain realization of the concept in a given theory depends on what roles are specified and associated with the concept and its corresponding term as well as what entities are suited to fill those roles. In this paper, the classic realization of the concept of instantiation in a one-category ontology of abstract particulars or tropes is articulated in a novel way and defended against unaddressed objections.

Universal Bundle Theory holds that objects are fundamentally identical with bundles of universals. Universals are multiply instantiable properties. One popular objection to UBT concerns the possibility of distinct indiscernibles. There are mainly two replies in the literature, corresponding to two representative UBTs, which I shall call the Identity-View and the Instance-View. Each view faces serious problems. This paper proposes a new version of UBT and argues that it is better than these other two versions.

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)