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)

In this important study D. M. Armstrong offers a comprehensive system of analytical metaphysics that synthesises but also develops his thinking over the last twenty years. Armstrong's analysis, which acknowledges the 'logical atomism' of Russell and Wittgenstein, makes facts the fundamental constituents of the world, examining properties, relations, numbers, classes, possibility and necessity, dispositions, causes and laws. All these, it is argued, find their place and can be understood inside a scheme of states of affairs. This is a comprehensive and (...) rigorously this-worldly account of the most general features of reality, argued from a distinctive philosophical perspective, and it will appeal to a wide readership in analytical philosophy. (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)

I consider a grand, yet neglected proposal put forward by Shoemaker—a functionalist theory of all properties. I argue that two possible ways of developing this proposal meet with substantial objections. However, if we are prepared to endorse an ontology of tropes, one of these functionalist analyses can be developed into an original and informative theory of properties.

This article articulates and defends F. H. Bradley's regress argument against external relations using contemporary analytic techniques and conceptuality. Bradley's argument is usually quickly dismissed as if it were beneath serious consideration. But I shall maintain that Bradley's argument, suitably reconstructed, is a powerful argument, plausibly premised, and free of such obvious fallacies as petitio principii. Thus it does not rest on the question‐begging assumption that all relations are internal, as Russell, and more recently van Inwagen, maintain. Bradley does not (...) attack external relations in order to affirm a doctrine of internal relations, and his monism is not derived from the internality of all relations, but from the self‐contradictory nature of all relations. For Bradley, it is the “relational situation”as such that is ontologically defective. (shrink)

The discussions which follow rest on a distinction, first expounded by Husserl, between formal logic and formal ontology. The former concerns itself with (formal) meaning-structures; the latter with formal structures amongst objects and their parts. The paper attempts to show how, when formal ontological considerations are brought into play, contemporary extensionalist theories of part and whole, and above all the mereology of Leniewski, can be generalised to embrace not only relations between concrete objects and object-pieces, but also relations between what (...) we shall call dependent parts or moments. A two-dimensional formal language is canvassed for the resultant ontological theory, a language which owes more to the tradition of Euler, Boole and Venn than to the quantifier-centred languages which have predominated amongst analytic philosophers since the time of Frege and Russell. Analytic philosophical arguments against moments, and against the entire project of a formal ontology, are considered and rejected. The paper concludes with a brief account of some applications of the theory presented. (shrink)

For most of the history of metaphysics, the subject has been dominated by the concept of substance. There is an everyday commonsense notion of substance which is perfectly harmless and which I shall defend against attempts to remove it or revise it away. But I deny that substance has to be construed as a primitive even in everyday terms. Borrowing Strawson’s distinction between descriptive and revisionary metaphysics, I press the legitimate claims of revisionary metaphysics and argue that there is no (...) place for a fundamental concept of substance within it, although aspects of the concept are likely to find their place therein. (shrink)

A formal theory of quantity T Q is presented which is realist, Platonist, and syntactically second-order (while logically elementary), in contrast with the existing formal theories of quantity developed within the theory of measurement, which are empiricist, nominalist, and syntactically first-order (while logically non-elementary). T Q is shown to be formally and empirically adequate as a theory of quantity, and is argued to be scientifically superior to the existing first-order theories of quantity in that it does not depend upon empirically (...) unsupported assumptions concerning existence of physical objects (e.g. that any two actual objects have an actual sum). The theory T Q supports and illustrates a form of naturalistic Platonism, for which claims concerning the existence and properties of universals form part of natural science, and the distinction between accidental generalizations and laws of nature has a basis in the second-order structure of the world. (shrink)

Th is paper looks at quantum theory and the Standard Model of elementary particles with a view to suggesting a detailed empirical implementation of trope ontology in harmony with our best physics.

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.

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)

Despite heroic efforts, philosophers have found it increasingly difficult to evade discussion of metaphysical topics. Take the philosophy of mind. Take, in particular, the mind-body problem in its latest guise: the problem of causal relevance. If mental properties are not reducible to physical properties, how can we reconcile the role such properties seem to have in producing bodily motions that constitute actions with the apparent fact that the very same motions are entirely explicable on the basis of purely physical properties (...) of purely physical events in the nervous system? Familiar approaches to the problem include appeals to “supervenient causation,” to “higher-level” laws governing putatively higher-level entities and events, and to “realizing” relations that make room in objects for overlapping properties. (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)

Scientific Essentialism defends the view that the fundamental laws of nature depend on the essential properties of the things on which they are said to operate, and are therefore not independent of them. These laws are not imposed upon the world by God, the forces of nature, or anything else, but rather are immanent in the world. Ellis argues that ours is a dynamic world consisting of more or less transient objects that are constantly interacting with each other, and whose (...) identities depend on their roles in these processes. The laws of nature are metaphysically necessary, and consequently, there are necessary connections between events. (shrink)

This book espouses an innovative theory of scientific realism in which due weight is given to mathematics and logic. The authors argue that mathematics can be understood realistically if it is seen to be the study of universals, of properties and relations, of patterns and structures, the kinds of things which can be in several places at once. Taking this kind of scientific platonism as their point of departure, they show how the theory of universals can account for probability, laws (...) of nature, causation, and explanation, and explore the consequences in all these fields. This will be an important book for all philosophers of science, logicians, and metaphysicians, and their graduate students. The readership will also include those outside philosophy interested in the interrelationship of philosophy and science. (shrink)

To state an important fact about the photon, physicists use such expressions as (1) “the photon has zero (null, vanishing) mass” and (2) “the photon is (a) massless (particle)” interchangeably. Both (1) and (2) express the fact that the photon has no non-zero mass. However, statements (1) and (2) disagree about a further fact: (1) attributes to the photon the property of zero-masshood whereas (2) denies that the photon has any mass at all. But is there really a difference between (...) saying that something has zero mass (charge, spin, etc.) and saying that it has no mass (charge, spin, etc.)? Does the distinction cut any physical or philosophical ice? I argue that the answer to these questions is yes. Put briefly, the claim of this paper is that some zero-value physical quantities are not mere “privations”, “absences” or “holes in being”. They are respectable properties in the same sense in which their non-zero partners are. This, I will show, has implications for the debate between two rival views of the nature of property, dispositionalism and categoricalism. (shrink)

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)

This book espouses a theory of scientific realism in which due weight is given to mathematics and logic. The authors argue that mathematics can be understood realistically if it is seen to be the study of universals, of properties and relations, of patterns and structures, the kinds of things which can be in several places at once. Taking this kind of scientific platonism as their point of departure, they show how the theory of universals can account for probability, laws of (...) nature, causation and explanation, and explore the consequences in all these fields. This will be an important book for all philosophers of science, logicians and metaphysicians, and their graduate students. The readership will also include those outside philosophy interested in the interrelationship of philosophy and science. (shrink)

Properties and objects are everywhere, but remain a philosophical mystery. Douglas Ehring argues that the idea of tropes--properties and relations understood as particulars--provides the best foundation for a metaphysical account of properties and objects. He develops and defends a new theory of trope nominalism.

E. J. Lowe, a prominent figure in contemporary metaphysics, sets out and defends his theory of what there is. His four-category ontology is a metaphysical system which recognizes four fundamental categories of beings: substantial and non-substantial particulars and substantial and non-substantial universals. Lowe argues that this system has an explanatory power which is unrivalled by more parsimonious theories and that this counts decisively in its favour. He shows that it provides a powerful explanatory framework for a unified account of causation, (...) dispositions, natural laws, natural necessity and many other related matters, thus constituting a full metaphysical foundation for natural science. (shrink)

Scientific Essentialism defends the view that the fundamental laws of nature depend on the essential properties of the things on which they are said to operate, and are therefore not independent of them. These laws are not imposed upon the world by God, the forces of nature or anything else, but rather are immanent in the world. Ellis argues that ours is a dynamic world consisting of more or less transient objects which are constantly interacting with each other, and whose (...) identities depend on their roles in these processes. Natural objects must behave as they do, because to do otherwise would be contrary to their natures. The laws of nature are, therefore, metaphysically necessary, and consequently, there are necessary connections between events. Brian Ellis calls for the rejection of the theory of Humean Supervenience and an implementation of a new kind of realism in philosophical analysis. (shrink)

Professor Arda Denkel argues here that objects are nothing more than bundles of properties. From this point of view he tackles some central questions of ontology: how is an object distinct from others; how does it remain the same while it changes through time? A second contention is that properties are particular entities restricted to the objects they inhabit. The appearance that they exist generally, in a multitude of things, is due to the way we conceptualize them. Other problems dealt (...) with include how objects bear similarities by belonging to the same kinds, and how change in them is caused. Denkel defends a thoroughgoing particularism and offers purely qualitative accounts of individuation, identity, essences and matter. Throughout, the main alternative positions are surveyed, and the relevant historical background is traced. (shrink)

David Armstrong's book is a contribution to the philosophical discussion about possible worlds. Taking Wittgenstein's Tractatus as his point of departure, Professor Armstrong argues that nonactual possibilities and possible worlds are recombinations of actually existing elements, and as such are useful fictions. There is an extended criticism of the alternative-possible-worlds approach championed by the American philosopher David Lewis. This major work will be read with interest by a wide range of philosophers.

Since the publication of David Lewis's ''New Work for a Theory of Universals,'' the distinction between properties that are fundamental – or perfectly natural – and those that are not has become a staple of mainstream metaphysics. Plausible candidates for perfect naturalness include the quantitative properties posited by fundamental physics. This paper argues for two claims: (1) the most satisfying account of quantitative properties employs higher-order relations, and (2) these relations must be perfectly natural, for otherwise the perfectly natural properties (...) cannot play the roles in metaphysical theorizing as envisaged by Lewis. (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)

Following the lead of Gustav Bergmann ( 1967 ), if not his precise terminology, ontologies are sometimes divided into those that are ‘relational’ and those that are ‘constituent’ (Wolterstorff 1970 ). Substance ontologies in the Aristotelian tradition are commonly thought of as being constituent ontologies, because they typically espouse the hylemorphic dualism of Aristotle ’s Metaphysics – a doctrine according to which an individual substance is always a combination of matter and form. But an alternative approach drawing more on the (...) fourfold ontological scheme of Aristotle’s Categories is not committed to this doctrine and may regard individual (or ‘primary’) substances as having no constituent structure, their only possible complexity residing in their possession, in some cases, of a multiplicity of substantial parts. However, as we shall see, this does not imply that such an ontology falls instead into the relational camp: for although it invokes, in addition to the category of individual substance, also those of substantial kind (‘secondary’ substance), attribute, and mode (or ‘individual accident’), it need not and arguably should not take there to be external relations between entities in the different categories. On this view, truths of exemplification and instantiation, such as ‘Dobbin is white’ and ‘Dobbin is a horse’, do not need relational truthmakers. Hence, it can be maintained that there are no such relations as ‘exemplification’ and ‘instantiation’, at most only certain relational truths of exemplification and instantiation – truths whose logical form is relational. Th is being so, I shall argue, such an ontology cannot fairly be classified as a ‘relational’ one. (shrink)

Paper responding to critique of Maurin (2002) presented by Herbert Hochberg in his “Relations, Properties and Particulars” (2004).