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)

What determines qualitative sameness and difference? This book explores four principal accounts of the ontological basis of properties, including universals, trope theory, resemblance nominalism, and class nominalism, considering the assumptions and ontolological commitments which are required to make each into a plausible account of properties. -/- The latter half of the book investigates the applications of property theory and the different conceptions of properties which might be adopted with these in mind: first, the possibility and desirability of individuating properties, and (...) the distinction between sparse and abundant conceptions of properties; second, the distinction between intrinsic and extrinsic properties; third, the relationship between properties and their causal powers, and whether this is necessary or contingent; fourth, the relationship between properties and causation, modality, and laws of nature; finally, whether properties exist objectively, and if they do, what our epistemic position is with respect to such entities. (shrink)

An argument that the major metaphysical theories of facts give us no good reason to accept facts in our catalog of the world. -/- In this book Arianna Betti argues that we have no good reason to accept facts in our catalog of the world, at least as they are described by the two major metaphysical theories of facts. She claims that neither of these theories is tenable—neither the theory according to which facts are special structured building blocks of reality (...) nor the theory according to which facts are whatever is named by certain expressions of the form “the fact that such and such.” There is reality, and there are entities in reality that we are able to name, but, Betti contends, among these entities there are no facts. -/- Drawing on metaphysics, the philosophy of language, and linguistics, Betti examines the main arguments in favor of and against facts of the two major sorts, which she distinguishes as compositional and propositional, giving special attention to methodological presuppositions. She criticizes compositional facts (facts as special structured building blocks of reality) and the central argument for them, Armstrong's truthmaker argument. She then criticizes propositional facts (facts as whatever is named in “the fact that” statements) and what she calls the argument from nominal reference, which draws on Quine's criterion of ontological commitment. Betti argues that metaphysicians should stop worrying about facts, and philosophers in general should stop arguing for or against entities on the basis of how we use language. (shrink)

According to Vallicella's 'Relations, Monism, and the Vindication of Bradley's Regress' (2002), if relations are to relate their relata, some special operator must do the relating. No other options will do. In this paper we reject Vallicella's conclusion by considering an important option that becomes visible only if we hold onto a precise distinction between the following three feature-pairs of relations: internality/externality, universality/particularity, relata-specificity/relata-unspecificity. The conclusion we reach is that if external relations are to relate their relata, they must be (...) relata-specific (and no special operator is needed). As it eschews unmereological complexes, this outcome is of relevance to defenders of the extensionality of composition. (shrink)

One can give a strong sense to the idea that a relation does not 'reduce' to non-relational properties by saying that a relation does not supervene upon the non-relational properties of its relata. That there are such inherent relations I call the doctrine of relational holism, a doctrine which seems to conflict with traditional ideas about physicalism. At least parts of classical physics seem to be free of relational holism, but quantum mechanics, on at least some interpretations, incorporates the doctrine (...) in an all pervasive way. (shrink)

In a recent article, Herbert Hochberg portrays my ontological position, that of a trope nominalist who is sceptical about relational tropes, as deviating into idealism. Since there are few philosophical views I find more repugnant than idealism, I must either resist the accusation or recant. I choose to resist, by showing how relational tropes are not needed as truth-makers for a wide range of truths, and raising the real possibility that they may not be needed at all, without lapsing into (...) either monism or idealism. (shrink)

Although the relationship of part to whole is one of the most fundamental there is, this is the first full-length study of this key concept. Showing that mereology, or the formal theory of part and whole, is essential to ontology, Simons surveys and critiques previous theories--especially the standard extensional view--and proposes a new account that encompasses both temporal and modal considerations. Simons's revised theory not only allows him to offer fresh solutions to long-standing problems, but also has far-reaching consequences for (...) our understanding of a host of classical philosophical concepts. (shrink)

The metaphysics of relations is still in its infancy. We use the idea of truthmaking to gain purchase on this metaphysics. Assuming a modest supervenience conception of truthmaking, where true relational predications require multiply dependent truthmakers, these are indispensable relations. Though some such relations are required, none are needed for internal relatedness, nor for several other kinds of relational predication. Discerning the metaphysically basic kinds of relations is fraught with uncertainties, but must be tackled if progress is to be made.

Commonsense ontology contains both continuants and occurrents, but are continuants necessary? I argue that they are neither occurrents nor easily replaceable by them. The worst problem for continuants is the question in virtue of what a given continuant exists at a given time. For such truthmakers we must have recourse to occurrents, those vital to the continuant at that time. Continuants are, like abstract objects, invariants under equivalences over occurrents. But they are not abstract, and their being invariants enables us (...) to infer both their lack of temporal parts and that non-invariant predications about them must be relativized to times. \\\ [Joseph Melia] In this paper I try to eliminate occurrents from our ontology. I argue against Simons' position that occurrents are needed to supply truthmakers for existential claims about continuants. Nevertheless, those who would eliminate occurrents still need some account of our willingness to assert sentences that logically entail their existence. Though it turns out to be impossible to paraphrase away our reference to occurrents, I show that the truthmakers for such sentences are facts that involve only continuants. This is enough to allow us to regard our ordinary talk about occurrents as fictional. Finally, I argue that a proper conception of the underlying temporal facts about continuants can both avoid the problematic tensed theory of time and the problem of temporary intrinsics. (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)

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.

Can Bradley's Regress be solved by positing relational tropes as truth-makers? No, no more than Russell's paradox can be solved by positing Fregean extensions. To call a trope relational is to pack into its essence the relating function it is supposed to perform but without explaining what Bradley's Regress calls into question, viz. the capacity of relations to relate. This problem has been masked from view by the (questionable) assumption that the only genuine ontological problems that can be intelligibly raised (...) are those that can be answered by providing a schedule of truthmakers. (shrink)

There are three different degrees to which we may allow a systematic theory of the world to embrace the idea of relatedness—supposing realism about non-symmetric relations as a background requirement. (First Degree) There are multiple ways in which a non-symmetric relation may apply to the things it relates—for the binary case, aRb ≠ bRa. (Second Degree) Every such relation has a distinct converse—for every R such that aRb there is another relation R* such that bR*a. (Third Degree) Each one of (...) them applies in an order to the things it relates—with regard to the state that results from R's applying to a and b, either R applies to a first and b second, or it applies to b first and a second. Whereas the first degree is near-indubitable, embracing the second or third generates unwholesome consequences. The second degree embodies a commitment to the existence of a superfluity of distinct converses and states to which such relations give rise. The third degree embodies commitment to recherché facts of the matter about how the states that arise from the application of one non-symmetric relation compare to any other. It is argued that accounts that purport to offer an analysis of the first degree generate unwelcome second or third degree consequences. This speaks in favour of our adopting an account of the application of relations that's not an analysis at all, an account that takes the first degree as primitive. (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)

It is shown that Lewis’ ontological doctrine of Humean supervenience incorporates at its foundation the so-called separability principle of classical physics. In view of the systematic violation of the latter within quantum mechanics, the claim that contemporary physical science may posit non-supervenient relations beyond the spatiotemporal ones is reinforced on a foundational basis concerning constraints on the state representation of physical systems. Depending on the mode of assignment of states to quantum systems — unit state vectors versus statistical density operators (...) — we distinguish between strongly and weakly non-Humean, non-supervenient relations. It is demonstrated that in either case, the relations of quantum entanglement constitute prototypical examples of irreducible physical relations that do not supervene upon a spatiotemporal arrangement of Humean qualities, weakening, thereby, the thesis of Humean supervenience. In this respect, the status of Lewis’ recombination principle is examined, whereas his conception of lawhood is critically investigated. It is concluded that the assumption of ontological reductionism, as expressed in Lewis’ Humean doctrine, cannot be regarded as a reliable code of the nature of the physical world and its contents. It is proposed instead that due to the undeniable existence of non-supervenient relations, a metaphysic of relations of a moderate kind ought to be acknowledged as an indispensable part of our understanding of the natural world at a fundamental level. (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)

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)

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.

In this short text, a distinguished philosopher turns his attention to one of the oldest and most fundamental philosophical problems of all: How it is that we are able to sort and classify different things as being of the same natural class? Professor Armstrong carefully sets out six major theories—ancient, modern, and contemporary—and assesses the strengths and weaknesses of each. Recognizing that there are no final victories or defeats in metaphysics, Armstrong nonetheless defends a traditional account of universals as the (...) most satisfactory theory we have.This study is written for advanced students, but as Armstrong goes considerably beyond his earlier work on this topic, it will interest professional scholars as well. Carefully plotted and clearly written, Universals is both a paradigm of exposition and a case study on the value of careful analysis of fundamental issues in philosophy. (shrink)

The relationship of part to whole is one of the most fundamental there is, yet until now there has been no full-length study of this concept. This book shows that mereology, the formal theory of part and whole, is essential to ontology. Peter Simons surveys and criticizes previous theories, especially the standard extensional view, and proposes a more adequate account which encompasses both temporal and modal considerations in detail. This has far-reaching consequences for our understanding of such classical philosophical concepts (...) as identity, individual, class, substance and accident, matter, form, essence, dependence, and integral whole. It also enables the author to offer new solutions to long-standing problems surrounding these concepts, such as the Ship of Theseus Problem and the issue of mereological essentialism. The author shows by his use of formal techniques that classical philosophical problems are amenable to rigorous treatment, and the book represents a synthesis of issues and methods from the analytical tradition and from the older continental realist tradition of Brentano and the early Husserl. (shrink)

What does reality encompass? Is it exclusively physical, or does it include mental and 'abstract' aspects? What are the elements of being, reality's raw materials? John Heil offers stimulating answers to these questions framed in terms of a comprehensive metaphysics of substances and properties inspired by Descartes, Locke, and their successors.

The treatise attempts to approach and deal with some of the most fundamental problems facing anyone who wishes to uphold some version of the so-called theory of tropes. Three assumptions serve as a basis for the investigation: tropes exist, only tropes exist, and a one-category trope-theory along these lines should be developed so that the tropes it postulates are able to serve as truth-makers for all kinds of atomic propositions. Provided that these assumptions are accepted, it is found that the (...) trope-theorist will have to deal with two important problems. First, some atomic propositions seem to require universal truth-makers. Second, some atomic propositions seem to require concrete truth-makers. As tropes are abstract particulars, it follows that the trope-theorist, in order to fulfil assumption, must provide an account of exactly how he or she could construct universality and concreteness from his or her basic stock of tropes. In the treatise such constructions are attempted and some basic problems with such constructions are revealed. Although these problems are serious enough it is argued that it is nevertheless possible to deal with these basic issues while staying squarely within the boundaries of a one-category trope-ontology. (shrink)

Taking into account significant developments in the metaphysical thinking of E. J. Lowe over the past 20 years, _More Kinds of Being:A Further Study of Individuation, Identity, and the Logic of Sortal Terms_ presents a thorough reworking and expansion of the 1989 edition of _Kinds of Being_ Brings many of the original ideas and arguments put forth in _Kinds of Being_ thoroughly up to date in light of new developments Features a thorough reworking and expansion of the earlier work, rather (...) than just a new edition Reflects the author's conversion to what he calls 'the four-category ontology,' a metaphysical system that takes its inspiration from Aristotle Provides a unified discussion of individuation and identity that should prove to be essential reading for philosophers working in metaphysics. (shrink)

Metaphysics is the thoroughly empirical science. Every item of experience must be evidence for or against any hypothesis of speculative cosmology, and every experienced object must be an exemplar and test case for the categories of analytic ontology. Technically, therefore, one example ought for our present theme to be as good as another. The more dignified examples, however, are darkened with a patina of tradition and partisanship, while some frivolous ones are peculiarly perspicuous. Let us therefore imagine three lollipops, made (...) by a candy man who buys sticks from a big supplier and molds candy knobs on them. Lollipop No. 1 has a red round peppermint head, No. 2 a brown round chocolate head, No. 3 a red square peppermint head. The circumstance here which mainly provokes theories of subsistence and inherence is similarity with difference: each lollipop is partially similar to each other and partially different from it. If we can give a good account of this circumstance in this affair we shall have the instrument to expose the anatomy of everything, from an electron or an apple to archangels and the World All. (shrink)

In this paper I provide a state of the art survey and assessment of the contemporary debate about relations. After (1) distinguishing different varieties of relations, symmetric from non-symmetric, internal from external relations etc. and relations from their set-theoretic models or sequences, I proceed (2) to consider Bradley’s regress and whether relations can be eliminated altogether. Next I turn (3) to the question whether relations can be reduced, bringing to bear considerations from the philosophy of physics as well as metaphysics. (...) Finally, (3) I consider in what sense relations have order, and whether to make sense of this we are required to conceive of relations as having direction or argument positions. (shrink)

In this paper I consider whether a powers ontology facilitates a reduction of causal relations to intrinsic powers of the causal relata. I first argue that there is a tension in the view that powerful causation is an internal relation in this sense. Powers are ontologically dependent on other powers for their individuation, but in that case—given an Aristotelian conception of properties as immanent universals—powers will not be intrinsic on several extant analyses of ‘intrinsic’, since to possess a given power (...) P requires the existence of other concrete particulars as bearers of the powers that individuate P. I suggest several ways for Aristotelians to resolve this tension, but all tenable options involve individuative type-level causal relations between powers. While these individuative relations between powers are internal in the sense that the powers are essentially related, this is a different sense of ‘ internal ’ to the one that entails reducibility. The proposed reduction of token-causal relations to powers succeeds only at the cost of irreducible type-level causal relations between the powers themselves. (shrink)

According to Lowe’s Four-Category Ontology, the general nature of the entities belonging to the four fundamental categories is determined by the basic formal ontological relations (instantiation and characterization) that they bear to other entities. I argue that, in closer analysis, instead of one formal relation of characterization, this category system introduces two, one connecting particulars and another universals. With regard to the characterization relation connecting particulars, it remains an open issue whether it would need further analysis. By contrast, the status (...) of instantiation as an internal relation is comparatively clear. Nevertheless, because of holding by virtue of the essences of particulars, the holding of instantiation between universals and particulars rules out the possibility of kind change and entails that particulars are essentially rigidly dependent on universals. Finally, Lowe’s analysis of necessary exemplification gives us some reasons to suspect that some property universals need not have any instances in order to exist. (shrink)

Title in English translation: Metametaphysics - with and without Categories. A comment paper on An Introduction to Metametaphysics by Tuomas Tahko. Ehdotan artikkelissa uutta olevan ja sen muodon välistä erottelua. Erottelun avulla voidaan antaa täsmällinen käsitys ontologisen kategorian käsitteestä ja metafysiikan tutkimuskohteesta. Argumentoin myös, että metafysiikan epistemologiaa ja semantiikkaa sekä metafyysistä selitttämistä pitää lähestyä kategorianäkökulmasta. Artikkeli on kommentti Tuomas Tahkon oppikirjaan An Introduction to Metametaphysics.