Vallicella’s influential work makes a case that, when formulated broadly, as a problem about unity, Bradley’s challenge to Armstrongian states of affairs is practically insurmountable. He argues that traditional relational and non-relational responses to Bradley are inadequate, and many in the current metaphysical debate on this issue have come to agree. In this paper, I argue that such a conclusion is too hasty. Firstly, the problem of unity as applied to Armstrongian states of affairs is not clearly defined; in fact, (...) it has taken a number of different forms each of which need to be carefully distinguished and further supported. Secondly, once we formulate the problem in more neutral terms, as a request for a characterization of the way that particulars, universals, and states of affairs stand to one another, it can be adequately addressed by an Armstrongian about states of affairs. I propose the desiderata for an adequate characterization and present a neo-Armstrongian defense of states of affairs that meets those desiderata. The latter relies on an important distinction between different notions of fundamentality and existential dependence. (shrink)

Relationism holds that objects entirely depend on relations or that they must be eliminated in favour of the latter. In this article, I raise a problem for relationism. I argue that relationism cannot account for the order in which non-symmetrical relations apply to their relata. In Section 1, I introduce some concepts in the ontology of relations and define relationism. In Section 2, I present the Problem of Order for non-symmetrical relations, after distinguishing it from the Problem of Differential Application. (...) I also examine four main existing strategies to solve it. In Section 3, I develop my argument. The first step consists in arguing that—among those strategies—relationism can only accept directionalism. The second step consists in arguing that directionalism is affected by a serious problem: the Problem of Converses. I also show that relationists who embrace directionalism cannot solve this problem. In Section 4, I introduce and rebut several strategies on behalf of relationists to cope with my argument. In Section 5, I briefly draw some conclusions. (shrink)

Law dispositionalism is the doctrine according to which laws of nature are grounded on powers/dispositions. In this article, I shall examine how certain laws of nature can turn out to be contingent on this view. First of all, I shall distinguish between two versions of law dispositionalism (i.e., a weak and a strong one) and I shall also single out two further theses that may be conjoined with it (i.e., strong and weak dispositional essentialism). I shall then define four different (...) sorts of laws of nature. Afterwards, I shall examine five sources of contingency for law dispositionalism: the contingent existence of the relevant entities involved in the laws; the contingent activation, background and possession conditions of the powers at stake; the presence of contingent constants in the laws; the presence of indeterministic powers; the presence of powers that are not essential to the entities involved in the laws. (shrink)

There have been attempts to derive anti-haeccetistic conclusions from the fact that quantum mechanics (QM) appeals to non-standard statistics. Since in fact QM acknowledges two kinds of such statistics, Bose-Einstein and Fermi-Dirac, I argue that we could in the same vein derive the sharper anti-haeccetistic conclusion that bosons are bundles of tropes and fermions are bundles of universals. Moreover, since standard statistics is still appropriate at the macrolevel, we could also venture to say that no anti-haecceitistic conclusion is warranted for (...) ordinary objects, which could then tentatively be identified with substrates. In contrast to this, however, there has been so far no acknowledgement of the possibility of inclusivism, according to which ontological accounts of particulars as widely different as those can possibly coexist in one world picture. The success of the different statistics in physics at least calls for a revision in this respect. (shrink)

The present essay provides a new metaphysical interpretation of Relational Quantum Mechanics (RQM) 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 (i) a property-oriented ontology, in which the notion of object can be easily defined, and (ii) 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)

The distinction between the essence of an object and its properties has been obscured in contemporary discussion of essentialism. Locke held that the properties of an object are exclusively those features that ‘flow’ from its essence. Here he follows the Aristotelian theory, leaving aside Locke’s own scepticism about the knowability of essence. I defend the need to distinguish sharply between essence and properties, arguing that essence must be given by form and that properties flow from form. I give a precise (...) definition of what the term of art ‘flow’ amounts to, and apply the distinction to various kinds of taxonomic issues. (shrink)

We explain the thesis that human mental states are ontologically emergent aspects of a fundamentally biological organism. We then explore the consequences of this thesis for the identity of a human person over time. As these consequences are not obviously independent of one's general ontology of objects and their properties, we consider four such accounts: transcendent universals, kind-Aristotelianism, immanent universals, and tropes. We suggest there are reasons for emergentists to favor the latter two accounts. We then argue that within such (...) ontologies, emergentism about properties pushes one to the stronger claim that there are emergent individuals, though not individuals which are dual to person's bodies—substance emergentism, but not substance dualism. (shrink)

The aim of this paper is twofold. First, I would like to bring into the light the almost unexplored Sellars’s theory of particulars. Second, I would like to show its surprising degree of compatibility with the thesis supported by some contemporary tropists, Tropes, Universals and the Philosophy of Mind, Ontos Verlag, 2008; Moltmann, Mind 113:1–41, 2004 and Moltmann, Noûs 47:346–370, 2013). It is difficult to establish whether Sellars possessed an own theory of tropes, developed independently by the classical form it (...) took in Williams 1953, but as a matter of fact the peculiar features of his “complex particulars” model it is very much like Williams’s theory. So much so that to all intents and purposes it represents a tropes variation. One of its strengths is that it is not part of a constituent ontology, since it is essentially developed from a linguistic and phenomenological point of view. It is for these reasons that this theory manages to avoid some of the classic objections to tropes and it shows to be compatible with the argument of Jonathan Lowe’s “proper visibility” as well as with Friederike Moltmann’s exquisitely linguistic interpretation of tropes. (shrink)

The concept of population thinking was introduced by Ernst Mayr as the right way of thinking about the biological domain, but it is difficult to find an interpretation of this notion that is both unproblematic and does the theoretical work it was intended to do. I argue that, properly conceived, Mayr’s population thinking is a version of trope nominalism: the view that biological property-types do not exist or at least they play no explanatory role. Further, although population thinking has been (...) traditionally used to argue against essentialism about biological kinds, recently it has been suggested that it may be consistent with at least some forms of essentialism—ones that construe essential properties as relational. I argue that if population thinking is a version of trope nominalism, then, as Mayr originally claimed, it rules out any version of essentialism about biological kinds. (shrink)

In this paper I want to show that topology has a bearing on the theory of tropes. More precisely, I propose a topological ontology of tropes. This is to be understood as follows: trope ontology is a „one-category”-ontology countenancing only one kind of basic entities, to wit, tropes. 1 Hence, individuals, properties, relations, etc. are to be constructed from tropes.

Abstract In this article, a critical assessment is carried out of the two available forms of nominalism with respect to the ontological constitution of material objects: resemblance nominalism and trope theory. It is argued that these two nominalistic ontologies naturally converge towards each other when the problems they have to face are identified and plausible solutions to these problems are sought. This suggests a synthesis between the two perspectives along lines first proposed by Sellars, whereby, at least at the level (...) of the simplest, truly fundamental constituents of reality, every particular is literally both an object and a particularized property (or, alternatively put, the distinction between objects and properties dissolves). Some potential problems and open issues for such an approach to nominalism in ontology are identified and discussed, with particular emphasis on the sort of fundamentalism that seems to crucially underlie the proposed ontology. Content Type Journal Article Pages 1-14 DOI 10.1007/s12136-011-0145-x Authors Matteo Morganti, Department of Philosophy, University of Rome ‘RomaTRE’, Via Ostiense, 234, 00144 Rome, Italy Journal Acta Analytica Online ISSN 1874-6349 Print ISSN 0353-5150. (shrink)

This paper examines a recent proposal for reviving so-called resemblance nominalism. It is argued that, although consistent, it naturally leads to trope theory upon examination for reasons having to do with the appeal of neutrality as regards certain non-trivial ontological theses.

In a recent paper, Jiri Benovsky argues that the bundle theory and the substratum theory, traditionally regarded as ‘deadly enemies’ in the metaphysics literature, are in fact ‘twin brothers’. That is, they turn out to be ‘equivalent for all theoretical purposes’ upon analysis. The only exception, according to Benovsky, is a particular version of the bundle theory whose distinguishing features render unappealing. In the present reply article, I critically analyse these undoubtedly relevant claims, and reject them.

This paper argues for an ontological distinction between two kinds of universals, 'kinds of tropes' such as 'wisdom' and properties such as 'the property of being wise'. It argues that the distinction is parallel to that between two kinds of collections, pluralities such as 'the students' and collective objects such as 'the class'. The paper argues for the priortity of distributive readings with pluralities on the basis of predicates of extent or shape, such 'large' or 'long'.

Quantified expressions in natural language generally are taken to act like quantifiers in logic, which either range over entities that need to satisfy or not satisfy the predicate in order for the sentence to be true or otherwise are substitutional quantifiers. I will argue that there is a philosophically rather important class of quantified expressions in English that act quite differently, a class that includes something, nothing, and several things. In addition to expressing quantification, such expressions act like nominalizations, introducing (...) a new domain of objects that would not have been present in the semantic structure of the sentence otherwise. The entities those expressions introduce are of just the same sort as those that certain ordinary nominalizations refer to (such as John's wisdom or John's belief that S), namely they are tropes or entities related to tropes. Analysing certain quantifiers as nominalizing quantifiers will shed a new light on philosophical issues such as the status of properties and the nature of propositional attitudes. (shrink)

Natural languages generally distinguishes among different existence predicates for different types of entities, such as English 'exist', 'occur', and 'obtain'. The paper gives an in-depth discussion and analysis of a range of existence predicates in natural language within the general project of descriptive metaphysics, or more specifically ‘natural language ontology’.

This paper explores a novel analysis of adjectives in the comparative and the positive based on the notion of a trope, rather than the notion of a degree. Tropes are particularized properties, concrete manifestations of properties in individuals. The point of departure is that a sentence like ‘John is happier than Mary’ is intuitively equivalent to ‘John’s happiness exceeds Mary’s happiness’, a sentence that expresses a simple comparison between two tropes, John’s happiness and Mary’s happiness. The analysis received particular support (...) from various parallels between adjectival constructions and corresponding adjective nominalizations which make reference to tropes. (shrink)

Trope theory is the view that the world is a world of abstract particular qualities. But if all there is are tropes, how do we account for the truth of propositions ostensibly made true by some concrete particular? A common answer is that concrete particulars are nothing but tropes in compresence. This answer seems vulnerable to an argument (first presented by F. H. Bradley) according to which any attempt to account for the nature of relations will end up either in (...) contradiction, nonsense, or will lead to a vicious infinite regress. I investigate Bradley’s argument and claim that it fails to prove what it sets out to. It fails, I argue, because it does not take all the different ways in which relation and relata may depend on one another into account. If relations are entities that are distinct from yet essentially dependent upon their relata, the Bradleyan problem is solved. We are then free to say that tropes in compresence are what make true propositions ostensibly made true by concrete particulars. (shrink)

The revisionary metaphysician seemingly faces a seriously unfortunate dilemma where she is forced to choose between the Scylla of too little regimentation and the Charbydes of too much. Many take this to be an impossible dilemma, and regard it as a reductio against the revisionary framework itself. In this paper, I argue that the dilemma is not necessarily impossible. To be justified, ontological theorising must be regimented just enough. To escape the dilemma, therefore, the revisionary metaphysician must, to be able (...) to answer the question: -/- Why should one hold that the world is a world of tropes? -/- first answer another question: -/- Can revisionary theorising be regimented just enough? -/- I will address both these questions in the order here indicated. I will suggest that the now popular truthmaker theory might, if added to a revisionary framework, offer the resources necessary to obtain just the right amount of regimentation for its revisionary ontological conclusions to be justified. The world is a world of tropes if (minimally) tropes can fulfil their truthmaking function. That tropes can fulfil their truthmaking function only tells us that the world could be a world of tropes, it does not tell us why we should prefer a theory of tropes as truthmakers to a theory of, say, states of affairs, however. I therefore end the paper with a discussion of the limits of theory comparison in revisionary ontology. (shrink)

That there could be ontologically complex concrete particulars is self-evidently true. A reductio may however be formulated which contradicts this truth. In this paper I argue that all of the reasonable ways in which we might refute this reductio will require the existence of at least some tropes.

Ha sido uno de los alegatos centrales de la teoría así llamada “cognitiva” de las proposiciones que su carácter representacional —y, con ello, sus condiciones de verdad— es derivativo del carácter representacional primitivo de los actos cognitivos concretos por los que un agente predica una propiedad de un objeto. Las proposiciones heredan su carácter representacional porque son ‘tipos’ de actos cognitivos particulares que poseen el ‘mismo’ contenido representacional. Se argumenta en este trabajo que esta suposición está en conflicto con el (...) hecho de que actos cognitivos concretos son instancias de ciertos tipos. Bajo la mayoría de las concepciones acerca de lo que funda el hecho de que una pluralidad de objetos comparte la ‘misma’ naturaleza —i. e., acerca de cómo son algo ‘uno’ en lo múltiple— el carácter cualitativo de un objeto está fundado en universales o en alguna otra construcción aceptable para el nominalista. (shrink)

Este trabajo considera el programa de reducción de universales por clases de tropos semejantes. Diversas cuestiones surgen acerca de la relación de semejanza: ¿Presuponen los "respectos" de semejanza un universal? ¿Induce un regres vicioso el hecho de que la relación de semejanza sea una relación? Si hay diferentes respectos de comparación entre tropos, entonces hay espacio para las dificultades tradicionales contra el nominalismo de semejanza: la "comunidad imperfecta" y la "compañía". ¿Pueden ser manejados estos problemas con clases de tropos semejantes? (...) La relación de semejanza requerida es una "semejanza perfecta", esto es, una relación de semejanza transitiva, sin margen para grados y sin variación en los respectos de comparación entre tropos. ¿Hay clases de tropos exactamente semejantes? Después de consideradas estas cuestiones, parece que el defensor de los tropos tiene respuestas para las cuestiones, y, pero parece no haber respuestas plausibles para la cuestión. Las clases de semejanza perfecta que van a reemplazar a los universales deben ser clases de tropos posibles y no hay formas razonables de explicar los hechos modales requeridos para estos tropos.This work considers the program of reduction of universals by classes of resembling tropes. Several questions appear concerning the relation of resemblance: Does not the "respects" for resemblance presuppose a universal? Does not the fact that the relation of resemblance is a relation induce a vicious regress? If there are different respects of comparison between tropes, then there is space for the traditional difficulties against resemblance nominalism: the "imperfect community" and the "companionship" difficulties. Can these problems be handled by classes of tropes? The relation of resemblance required is "perfect resemblance", that is, a relation of resemblance transitive, with no margin for degrees, and with no variation in the respects of comparison between tropes. Are there any perfect resembling tropes? After consideration, it appears that the defender of tropes seems to have answers for the questions, and, but it seems that there are no plausible answers for the question. The classes of exact resemblance that are going to replace the universals should be classes of possible tropes and there are no reasonable ways of explaining the modal facts required for these tropes. (shrink)

Several difficulties, concerning the individuation and the variation of tropes, beset the initial classic version of trope theory. K. Campbell (Abstract particulars, Oxford, Basil Blackwell, 1990) presented a modified version that aims to avoid those difficulties. Unfortunately, the revised theory cannot make the case that one of the fundamental tropes, space-time, is a genuine particular.

According to strong pluralism, objects distinct by virtue of their modal properties can coincide. The most common objection towards such view invokes the so-called Grounding Problem according to which the strong pluralist needs to explain what the grounds are for supposed modal differences between the coincidents. As recognized in the literature, the failure to provide an answer to the Grounding Problem critically undermines the plausibility of strong pluralism. Moreover, there are strong reasons to believe that strong pluralists cannot provide an (...) explanation of the Grounding Problem. In this paper, we argue that strong pluralism can be motivated independently of the successful answer to the Grounding Problem. In order to achieve that aim, we provide a haecceitistic interpretation of strong pluralism according to which strong pluralism should be read as a position committed to the existence of primitive individuals, i.e., the individuals that have their criteria of individuation independently of their qualitative profiles. That said, we do not aim at defending haecceitism. Instead, our aim is rather modest: we want to provide a new way for the strong pluralist to supplement his view to make it more watertight. (shrink)

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)

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)

In his “Farewell to Substance: A Differentiated Leave-Taking”, Peter Simons reaches the provocative conclusion that the concept of substance, as it is employed by metaphysicians, has become obsolete, since in the end there may be nothing at all which answers to it. No harm is done, Simons allows, if we continue to retain an everyday notion of substance, as long as we are aware of the limitations of this practice: there is no reason in general to expect that what is (...) salient from our specifically human point of view will retain a special place in light of our most considered scientific and metaphysical theories of the world. In this paper, I argue that, contrary to Simons’ pessimistic outlook, the concept of substance continues to retain its importance for metaphysics. Among the primary explanatory roles played by the concept of substance in metaphysics is its use in designating certain kinds of entities as occupying a privileged position relative to a particular ontology. But disputes over substancehood can also target the criteria themselves relative to which an ontologically privileged position is awarded to certain taxonomic categories. In these uses, we see the concept of substance employed in an absolute, a relational and a comparative sense, to designate items as substances simpliciter, as the substances of something else, or as more or less deserving of substance status. (shrink)

This paper is the first trope-theoretical reply to E. J. Lowe’s serious dilemma against trope nominalism in print. The first horn of this dilemma is that if tropes are identity dependent on substances, a vicious circularity threatens trope theories because they must admit that substances are identity dependent on their constituent tropes. According to the second horn, if the trope theorist claims that tropes are identity independent, she faces two insurmountable difficulties. (1) It is hard to understand the ontological dependence (...) of tropes on substances. (2) The identity-conditions of tropes cannot be determinate, which threatens the determination of the identity-conditions of substances. Our reply to the first horn of Lowe’s dilemma is to deny the identity dependence of tropes. Yet we can avoid the second horn because our theory can explain the ontological dependence of tropes on substances and the fully-determined identity-conditions of both tropes and substances. (shrink)

In this article, we present a new conception of internal relations between quantity tropes falling under determinates and determinables. We begin by providing a novel characterization of the necessary relations between these tropes as basic internal relations. The core ideas here are that the existence of the relata is sufficient for their being internally related, and that their being related does not require the existence of any specific entities distinct from the relata. We argue that quantity tropes are, as determinate (...) particular natures, internally related by certain relations of proportion and order. By being determined by the nature of tropes, the relations of proportion and order remain invariant in conventional choice of unit for any quantity and give rise to natural divisions among tropes. As a consequence, tropes fall under distinct determinables and determinates. Our conception provides an accurate account of quantitative distances between tropes but avoids commitment to determinable universals. In this important respect, it compares favorably with the standard conception taking exact similarity and quantitative distances as primitive internal relations. Moreover, we argue for the superiority of our approach in comparison with two additional recent accounts of the similarity of quantity tropes. (shrink)

In this paper, we argue for a novel three-dimensionalist solution to the problem of persistence, i.e. cross-temporal identity. We restrict the discussion of persistence to simple substances, which do not have other substances as their parts. The account of simple substances employed in the paper is a trope-nominalist strong nuclear theory, which develops Peter Simons' trope nominalism. Regarding the distinction between three dimensionalism and four dimensionalism, we follow Michael Della Rocca's formulation, in which 3D explains persistence in virtue of same (...) entities and 4D in virtue of distinct entities. SNT is a 3D'ist position because it accounts for the persistence of simple substances in virtue of diachronically identical ‘nuclear’ tropes. The nuclear tropes of a simple substance are necessary for it and mutually rigidly dependent but distinct. SNT explains qualitative change by tropes that are contingent to a simple substance. We show that it avoids the standard problems of 3D: temporal relativization of ontic predication, Bradley's regress and coincidence, fission and fusion cases. The temporal relativization is avoided because of the analysis of temporary parts that SNT gives in terms of temporal sub-location, which is atemporal part–whole relation. (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)

Is it possible to get by with just one ontological category? We evaluate L.A. Paul's attempt to do so: the mereological bundle theory. The upshot is that Paul's attempt to construct a one category ontology may be challenged with some of her own arguments. In the positive part of the paper we outline a two category ontology with property universals and kind universals. We will also examine Paul's arguments against a version of universal bundle theory that takes spatiotemporal co-location instead (...) of compresence or coinstantiation as the feature by which we can identify genuine bundles. We compare this novel theory, bundle theory with kinds, and Paul's mereological bundle theory and apply them to a case study concerning entangled fermions and co-located bosons. (shrink)

The main purpose of this paper is to uphold the very fact that there are many ways of understanding the concept Universal and also the several issues revolving round it but then the fundamental aim must be to free the ontology of any extra pressure. Thus, the prime aim of the paper is to exhibit the different ways in which discussions relating to Universals were usually dealt with. The thrust nevertheless lies on the reference of Tropes which is found to (...) be more apt in providing a less cumbersome ontology. The aim thus is not to provide a comparative study on whether Universals are more fundamental than Particulars but to show that the usual ways of discussing Universals could be looked differently and secondarily; both Universals and Particulars are ways of explaining an object as a whole. The point thus is to concentrate on our understanding of the given object. The purpose of bringing in the reference of Tropes thus proves that there can be discussions that arise from the discussions of Universals undoubtedly but nevertheless can provide better opportunities. The methods applied are the revisiting of concepts like non-relational tie, relation of attachment, the explanation on Supervenience and finally the concept of Tropes (the ontological glue and what is it for a substance to have properties, etc.). There is also a special effort made of introducing the concept “generality” and “peculiarity.” Tropes stand true to a great extent to expectations especially as independent entities. Though it is true that they form clusters to help in the emergence of substances as a whole, their explanatory powers are a sure welcome. In philosophy, we always try to reach the simplest element or an explanation that would serve as a unit or as the fundamental, and Universals and Tropes serve this purpose in their own way. (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 his theory of categories, Aristotle introduces a distinction between two types of universals, i.e., kinds and attributes. While attributes determine how their subjects are, kinds determine what something is: kinds represent unified ways of being which account for the existence and identity of particular objects. Since its introduction into the philosophical discussion, the concept of a kind has attracted criticism. The most important objection argues that no separate category of kinds is needed because all kinds can be reduced to (...) conjunctions of ordinary attributes. The present paper explores one possible response to this reductionist challenge on behalf of the Aristotelian—one which takes issue with the view that conjunctive properties license a reduction of kinds to attributes. The aim of this exploration is not only to defend an Aristotelian doctrine of kinds—i.e., to convey a better understanding of why we actually need an irreducible category of kinds—but also to define the Aristotelian position more precisely; i.e., to shed more light on the concept of kinds and the very the idea of kindhood. (shrink)

In his theory of categories, Aristotle introduces a distinction between two types of universals, i.e., kinds and attributes. While attributes determine how their subjects are, kinds determine what something is: kinds represent unified ways of being which account for the existence and identity of particular objects. Since its introduction into the philosophical discussion, the concept of a kind has attracted criticism. The most important objection argues that no separate category of kinds is needed because all kinds can be reduced to (...) conjunctions of ordinary attributes. The present paper explores one possible response to this reductionist challenge on behalf of the Aristotelian—one which takes issue with the view that conjunctive properties license a reduction of kinds to attributes. The aim of this exploration is not only to defend an Aristotelian doctrine of kinds—i.e., to convey a better understanding of why we actually need an irreducible category of kinds—but also to define the Aristotelian position more precisely; i.e., to shed more light on the concept of kinds and the very the idea of kindhood. (shrink)

General Ontological Language (GOL) is a formal framework for representing and building ontologies. The purpose of GOL is to provide a system of top-level ontologies which can be used as a basis for building domain-specific ontologies. The present paper gives an overview about the basic categories of the GOL-ontology. GOL is part of the work of the research group Ontologies in Medicine (Onto-Med) at the University of Leipzig which is based on the collaborative work of the Institute of Medical Informatics (...) (IMISE) and the Institute for Computer Science (IfI). It represents work in progress toward a proposal for an integrated family of top-level ontologies and will be applied to several fields of medicine, in particular to the field of Clinical Trials. (shrink)

Brian Ellis advances a robust species of realism he calls Physical Realism. Physical Realism includes an ontology comprising three kinds of universal and three kinds of particular: a six‐category ontology. After comparing Physical Realism to a modest two‐category ontology inspired by Locke, I mention two apparent difficulties a proponent of a six‐category ontology might address.1.

The article proposes a new solution to the long-standing problem of the universality of essences in Spinoza's ontology. It argues that, according to Spinoza, particular things in nature possess unique essences, but that these essences coexist with more general, mind-dependent species-essences, constructed by finite minds on the basis of similarities that obtain among the properties of formally-real particulars. This account provides the best fit both with the textual evidence and with Spinoza's other metaphysical and epistemological commitments. The article offers new (...) readings of how Spinoza understands not just the nature of essence, but also the nature of being, reason, striving, definitions, and different kinds of knowledge. (shrink)

The article proposes a new solution to the long-standing problem of the universality of essences in Spinoza's ontology. It argues that, according to Spinoza, particular things in nature possess unique essences, but that these essences coexist with more general, mind-dependent species-essences, constructed by finite minds on the basis of similarities that obtain among the properties of formally-real particulars. This account provides the best fit both with the textual evidence and with Spinoza's other metaphysical and epistemological commitments. The article offers new (...) readings of how Spinoza understands not just the nature of essence, but also the nature of being, reason, striving, definitions, and different kinds of knowledge. (shrink)

According to standard trope nominalism, there are simple tropes that do not have parts or multiply distinct aspects. Douglas Ehring’s reductio ad absurdum against this standard view concludes that there are no simple tropes. In this paper, we provide a response to Ehring defending the standard view. Ehring’s argument may be refuted by (1) distinguishing the ontological form of tropes from their contribution to the ontological content of the world, and (2) construing tropes as having primitive identity. At the same (...) time, standard trope nominalism is elaborated on by distinguishing between ontological form and content, for which there are also independent reasons. (shrink)

In this paper, I will reconstruct Hume's argument for the ontological (in the sense of rigid existential) independence of simple properties in A Treatise of Human Nature , Book 1 (1739). According to my reconstruction, the main premises of the argument are the real distinctness of every perception of a simple property, Hume's Separability Principle and his Conceivability Principle. In my view, Hume grounds the real distinctness of every perception of a simple property in his atomistic theory of sense perception (...) and his Copy Principle. I will also show why Hume's argument should be seen as relevant nowadays. David Lewis and his followers in metaphysics continue Hume's line of thinking in this respect, which is opposed by power ontologists (Brian Ellis, Stephen Mumford), for example. (shrink)

In this paper, I argue that Hume's solution to a problem that contemporary metaphysicians call “the problem of universals” would be rather trope-theoretical than some other type of nominalism. The basic idea in different trope theories is that particular properties, i.e., tropes are postulated to account for the fact that there are particular beings resembling each other. I show that Hume's simple sensible perceptions are tropes: simple qualities. Accordingly, their similarities are explained by these tropes themselves and their resemblance. Reading (...) Hume as a trope nominalist sheds light on his account of general ideas, perceptions, relations and nominalism. (shrink)

I argue that relations between non-collocated spatial entities, between non-identical topological spaces, and between non-identical basic building blocks of space, do not exist. If any spatially located entities are not at the same spatial location, or if any topological spaces or basic building blocks of space are non-identical, I will argue that there are no relations between or among them. The arguments I present are arguments that I have not seen in the literature.

Tropes are particular features of concrete objects. Properties—the extensions of predicates—are primitive resemblance classes of tropes. Friends of tropes have been criticized for failing to answer three questions. First, are there fundamental items other than tropes? Second, what criteria determine whether some tropes are all and only the features of some one object? Third, can trope classes be formed adequately using only primitive resemblance? Trading on the spatiotemporal status of tropes, this essay offers new responses to each of these questions. (...) The novel thesis is that there is a sui generis property called ‘markedness’, whose tropes “mark” certain locations in an ontologically basic way. The spatiotemporal distribution of markedness tropes fixes the distribution of familiar characterizing tropes like mass and charge, and characterizing tropes are bundled by being co-contained in the location of a maximally connected markedness trope. This novel theory of trope bundling is defended by appeal to theoretical utility: it is ontologically parsimonious and solves outstanding problems involving co-location and resemblance class construction. (shrink)

According to the identity version of spacetime supersubstantivalism, material objects are numerically identical to spacetime regions. While the view has been commended for its parsimony and concordance with physics, it has not properly been assessed in light of the metaphysics of properties. The present essay fills this void by discerning several subspecies of identity supersubstantivalism, corresponding to various property ontologies. Finding them all wanting, the essay develops and defends a novel brand of supersubstantivalism based on the trope ontology. On this (...) view, here dubbed ‘supertropestantivalism’, regions are pluralities of geometrically and topologically alike tropes, some of which bundle together as material objects. The resulting picture is not itself an identity version of supersubstantivalism, but it retains the originally attractive features of the identity version while avoiding the shortcomings of competing ontologies. (shrink)