My goal in this paper is to provide characterizations of matter, form and constituency in a way that avoids what I take to be the three main drawbacks of other hylomorphic theories: (i) commitment to the universal-particular distinction; (ii) commitment to a primitive or problematic notion of inherence or constituency; (iii) inability to identify viable candidates for matter and form in nature, or to characterize them in terms of primitives widely regarded to be intelligible.

Although the metaphysics of words remains a relatively understudied domain, one of the more discussed topics has been the question of how to account for the apparent sameness of words. Put one way, the question concerns what it is that makes two word- instances (or tokens) instances of the same word. In this paper, I argue that the existing solutions to the problems all fail as they take the problem of sameness of word to be a problem about how one (...) object relates to another. I propose an alternative solution to the problem of sameness of word which is instead focused on the intrinsic nature of the properties possessed by words. The result is a more thoroughgoing version of nominalism than is currently defended in the literature. (shrink)

Slot theory is the view that (i) there exist such entities as argument places, or ‘slots’, in universals, and that (ii) a universal u is n-adic if and only if there are n slots in u. I argue that those who take properties and relations to be abundant, fine-grained, non-set-theoretical entities face pressure to be slot theorists. I note that slots permit a natural account of the notion of adicy. I then consider a series of ‘slot-free’ accounts of that notion (...) and argue that each of them has significant drawbacks. (shrink)

Higher-order logic, with its type-theoretic apparatus known as the simple theory of types (STT), has increasingly come to be employed in theorizing about properties, relations, and states of affairs—or ‘intensional entities’ for short. This paper argues against this employment of STT and offers an alternative: ordinal type theory (OTT). Very roughly, STT and OTT can be regarded as complementary simplifications of the ‘ramified theory of types’ outlined in the Introduction to Principia Mathematica (on a realist reading). While STT, understood as (...) a theory of intensional entities, retains the Fregean division of properties and relations into a multiplicity of categories according to their adicities and ‘input types’ and discards the division of intensional entities into different ‘orders’, OTT takes the opposite approach: it retains the hierarchy of orders (though with some modifications) and discards the categorisation of properties and relations according to their adicities and input types. In contrast to STT, this latter approach avoids intensional counterparts of the Epimenides and related paradoxes. Fundamental intensional entities lie at the base of the proposed hierarchy and are also given a prominent part to play in the individuation of non-fundamental intensional entities. (shrink)

The problem of the ‘Unity of the Proposition’ is the problem of explaining the difference between a content-expressing declarative sentence and a ‘mere list’ of referents. The prevailing view is that such a problem is to be solved metaphysically, either by reducing our ontology to exclude propositions or universals, or by explaining how it is possible for a certain kind of complex entity – the ‘proposition’– to ‘unify’ its constituents. I argue that these metaphysical approaches cannot succeed; instead the only (...) viable approach is linguistic, identifying features of the (type–) sentence itself that enable it to express a content. Thus the problem of the ‘Unity of the Proposition’ (distinguishing sentences from lists) is distinct from the problem of ‘propositional unity’ (explaining how the constituents of propositions form a unified content). I suggest that, while the latter problem is not pressing, the former does not permit of an answer which applies in generality in all languages; we can only fully explain the Unity of the Proposition for single languages or groups of similar languages. (shrink)

Institutions, if unjust, ought to be reformed or even abolished. This radical Rawlsian thought leads to the question of whether the family ought to be abolished, given its negative impact on the very possibility of delivering equality of life chances. In this article, we address questions regarding the justice of the family, and of marriage, and reflect on rights, equality, and the provision of social goods by institutions. There is a temptation to justify our social institutions in terms which highlight (...) their universal accessibility and benefits. But we may best understand the claim of some of our most important institutions where we recognize that they are forms of social good which may legitimately benefit some without having to benefit all. Their abolition is unjustified where there is sufficient value in them given our collective needs that it is unreasonable for some to refuse the means to maintain and promote these goods. (shrink)

In The Principles of Mathematics, Russell writes: Whatever may be an object of thought, or may occur in any true or false proposition, or can be counted as one, I call a term. This, then, is the widest word in the philosophical vocabulary. I shall use as synonymous with it the words unit, individual and entity. The first two emphasize the fact that every term is one, while the third is derived from the fact that every term has being, i.e. (...) is in some sense. A man, a moment, a number, a class, a relation, a chimera, or anything else that can be mentioned, is sure to be a term'. Now in this remark, a certain extremely general, topic-neutral use of ‘object’ is singled out, a use in which the expression is treated as equivalent to (equally neutral) uses of ‘term’, ‘entity’, ‘unit’, ‘individual’, and ‘thing’. In addition, a claim is made to the effect that the content of the expression, with its emphasis on one, is such as to be adequate to comprehend the sum-total of existence, to include whatever there may be. The paper addresses the question of what this claim means, and whether it might be true. (shrink)

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

Do non‐symmetric relations apply to the objects they relate in an order? According to the standard view of relations, the difference between aRb and bRa obtaining, where R is non‐symmetric, corresponds to a difference in the order in which the non‐symmetric relation R applies to a and b. Recently Kit Fine has challenged the standard view in his important paper ‘Neutral Relations’ arguing that non‐symmetric relations are neutral, lacking direction or order. In this paper I argue that Fine cannot account (...) for the application of non‐symmetric relations to their relata; so far from being neutral, these relations are inherently directional. (shrink)

Frege holds the distinction between complete (saturated) and incomplete (unsaturated) things to be a basic distinction of logic. Many disagree. In this paper I will argue that one can defend Frege's distinction against criticism if one takes, inspired by Frege, a wh -question to be the paradigm incomplete expression.

Identity metaphysics finds identity or unity where other metaphysical theories find difference or diversity. It denies the fundamentality of ontological distinctions that other theories treat as fundamental. It’s opposed to separatism, which mistakes natural conceptual distinctions for ground-floor ontological differences. It proposes that the distinctions between the concepts substance, object, quality, property, process, state, and event are metaphysically superficial; so too the distinctions between the concepts energy, lawsofnature, force, causation, power, and naturalnecessity. So too the distinction between these two sets (...) of concepts. “Thinking takes apart what is really one”. (shrink)

Identity metaphysics finds identity or unity where other metaphysical theories find difference or diversity. It denies the fundamentality of ontological distinctions that other theories treat as fundamental. It’s opposed to separatism, which mistakes natural conceptual distinctions for ground-floor ontological differences. It proposes that the distinctions between the concepts SUBSTANCE, OBJECT, QUALITY, PROPERTY, PROCESS, STATE, and EVENT are metaphysically superficial; so too the distinctions between the concepts ENERGY, LAWSOFNATURE, FORCE, CAUSATION, POWER, and NATURALNECESSITY. So too the distinction between these two sets (...) of concepts. “Thinking takes apart what is really one” (Nietzsche 1885). (shrink)

Nozick provides us with a compelling characterization of romantic love, but, as I argue, he under-describes the phenomenon, for he fails to distinguish it from attitudes that those who are not romantically involved may bear to each other. Frankfurt also offers a compelling characterization of love, but he is sceptical about its application to the case of romantic love. I argue that each account has the resources with which to complete the other. I consider a preliminary synthesis of the two (...) accounts, which I find wanting. The synthesis I then favour relies upon two thoughts: each romantic partner has loving concern for a plural object viz. the two of them, and romantic partners are, in addition, beloved of a plural subject, viz. the two of them. A corollary is that Frankfurt is wrong to think that, whilst self-love is a pure form of love, romantic love is an impure form of love, for romantic love just is a form of self-love. In an appendix, I defend the coherence of the thought that love can have plural relata. (shrink)

According to the well-known Bradley’s Regress argument, one cannot explain the unity of states of affairs by referring to relations combining objects with properties. This argument has been widely discussed within analytic metaphysics, but has not been recognized as relevant for the philosophy of perception. I argue that the mainstream characterization of visual content is threatened by the Bradley’s Regress, and the most influential metaphysical solutions to the regress argument cannot be applied in the context of visual content. However, I (...) show that a proper solution to Bradley’s Regress can be formulated by taking into consideration features of visual content suggested by empirical research in vision science. (shrink)

Linguistic ontologists and antilinguistic, ‘serious’ ontologists both accept the inference from ‘Fido is a dog’ to ‘Fido has the property of being a dog’ but disagree about its ontological consequences. In arguing that we are committed to properties on the basis of these transformations, linguistic ontologists employ a neo-Fregean meta-ontological principle, on which the function of singular terms is to refer. To reject this, serious ontologists must defend an alternative. This paper defends an alternative on which the function of singular (...) terms is not generally to refer and on which they are generally ontologically noncommittal. This is the best way to reject linguistic, ‘easy’ arguments for the existence of properties. The account recommends neutralism about quantification (drawing on Barcan Marcus and Meinongianism), coherently bringing together two important yet uncombined meta-ontological movements. Moreover, it employs Ramseyan insights about the transformations to provide a nonreductionist, non-error-theoretic redundancy approach to explicit talk about properties. (shrink)

Ruth Garrett Millikan’s new book, Beyond Concepts,1 is a tour de force that integrates and refines the distinctive naturalistic accounts of mental representatio.

This paper provides an analysis of the intrinsic/extrinsic distinction, as applied both to properties and to relations. In contrast to other accounts, the approach taken here locates the source of a property’s intrinsicality or extrinsicality in the manner in which that property is ‘logically constituted’, and thus – plausibly – in its nature or essence, rather than in e.g. its modal profile. Another respect in which the present proposal differs from many extant analyses lies in the fact that it does (...) not seek to analyse the ‘global’ distinction between intrinsic and extrinsic properties on the basis of the ‘local’ distinction between having a property intrinsically and having it extrinsically. Instead, the latter distinction is explicated on the basis of the former. (shrink)

Not long ago I found myself at a metaphysics conference in which one of the speakers right at the outset declared dismissively that he would be doing metaphysics ‘of the last five minutes’. Everybody laughed. I was horrified. A traditional metaphysical problem was presented and discussed as it had been set out by a contemporary philosopher, and we were all expected to take for granted the parameters of the debate as they were being presented, without further questioning and examining of (...) the assumptions, and without looking back at the history of the problem and why it had been set out in such a way. What the laughing audience did not seem to realize was that no solid progress in metaphysics can be made in this way, for there is really no such thing as the metaphysics of the last five minutes. Contemporary metaphysicians, whether they are aware of it or not, whether they credit their predecessors or not, frequently end up importing very problematic assumptions from historical debates previously enacted. Unless such assumptions are properly explored and questioned, we cannot feel confident that we are making any genuine progress in contemporary metaphysics rather than just repeating the same mistakes of our philosophical forebears. (shrink)

I defend a new conception of the particular-universal distinction based on considerations about what David Lewis calls ‘amphibians’. I argue, first, that given the possibility of amphibians, two recently popular conceptions of the particular-universal distinction, namely the repeatability conception and the duplicability conception, are both objectionable since they are biased in one way or another. I then propose a more flexible conception that solves this problem by regarding amphibians as belonging to a sui generis sort of property distinct from what (...) I call ‘strong universals’ and ‘strong tropes’. Finally, I respond to some objections directed at this new account. (shrink)

This paper is concerned with what I call the ‘problem of unity’ . This is the puzzle of how Armstrong‐like states of affairs are unified. The general approach is ‘relational internalism’: the unifier of such a state of affairs is a relation of some sort in it. A view commonly associated with relational internalism is that if such a relation satisfies a certain ‘naive’ expectation to a relation – that it is related to its relata – then Bradley's regress results. (...) As I argue, for one very natural species of relational internalism, this is indeed the case. Influential writers on the topic have therefore maintained that this relation is not related to its relata. But, as we shall see, while this ‘classic’ relational internalism obviously avoids Bradley's regress, intuitively, it fails completely to solve the problem of unity. I argue, however, that given the rejection of a natural, but unfounded, assumption of conventional relational internalism, a unique relation can unify states of affairs without leading to Bradley's regress. I consequently propose a novel version of relational internalism on which states of affairs are unified by such an entity. (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.

A theory of relations is presented that provides a detailed account of the logical structure of relational complexes. The theory draws a sharp distinction between relational complexes and relational states. A salient difference is that relational complexes belong to exactly one relation, whereas relational states may be shared by different relations. Relational complexes are conceived as structured perspectives on states ‘out there’ in reality. It is argued that only relational complexes have occurrences of objects, and that different complexes of the (...) same relation may correspond to the same state. (shrink)

I shall discuss some of the issues concerning a notorious doctrine of Frege that sentences are names of truth-values. I am interested in a problem raised by Kripke that the doctrine obscures the distinction between judgeable and unjudgeable contents. I shall present what I take to be Frege’s account of judgeable content: a proper expression of a judgeable content is susceptible to an analysis into a predicate and an argument-word, where a predicate is understood as a concept-word used to attribute (...) a certain property to the referent of the argument-word. In the light of this analysis, I shall argue that the doctrine does not obscure the distinction. The problem will also be discussed within the formal context of Grundgesetze. A new light will be shed on his rather peculiar conception of the symbol ‘ ${\boldsymbol \vdash}$’. (shrink)

This paper explores the impact of quantification into predicate position on the metaphysics of properties, arguing that two familiar debates about properties are fundamentally altered by recasting them in a second-order setting. Two theories of properties are outlined, differing over whether the existence of properties is expressed using first-order or second-order quantifiers. It is argued that the second-order theory: provides good reason to regard debate about the locations of properties as contentless; resolves debate about whether properties are particulars or universals (...) in favour of universals. (shrink)

Attempts to explicate the substance-property nexus are legion in the philosophical literature both historical and contemporary. In this paper, I shall attempt to impose some structure into the discussion by exploring ways to combine two unlikely bedfellows—Platonic properties and Aristotelian substances. Special attention is paid to the logical structure of substances and the metaphysics of property exemplification. I shall argue that an Aristotelian-Platonic account of the substance-property nexus is possible and has been ably defended by contemporary philosophers.

According to the broadly Aristotelian distinction between universals and particulars, all and only the former are capable of whole multiple location. The present essay defends this distinction against four putative counterexamples. The first two, extended simple material objects and enduring time-traveling self-meeters, putatively are wholly multiply locatable, but not universals. The second two, unique properties of point-sized entities and Platonic (i.e., not spatiotemporally located) universals, putatively are universals, but not wholly multiply locatable. The defensive strategy is to resist certain presuppositions (...) underlying the examples. (shrink)

We investigate a construction schema for first-order logical systems, called “form logic”. Form logic allows us to overcome the dualistic commitment of predicate logic to individual constants and predicates. Dualism is replaced by a pluralism of terms of different “logical forms”. Individual form-logical systems are generated by the determination of a range of logical forms and of the formbased syntax rules for combining terms into formulas. We develop a generic syntax and semantics for such systems and provide a completeness proof (...) for them. To illustrate the idea of form logic, and the possibilities it facilitates, we discuss three particular systems, one of which is the form-logical reconstruction of standard first-order predicate logic. (shrink)

My aim is to show that theories which try to construct truthmakers out of objects and properties/relations alone are not tenable: The Frege–Wittgenstein idea of incompleteness does not yield truthmakers. Armstrong’s theory of partial identity and the theory of moments, i.e., of non-transferable properties, yield truthmakers, but these theories have counter-intuitive consequences. I conclude that the notion of a truthmaker makes ontological demands beyond objects and properties/relations and propose that truthmakers are exemplification relations which are necessarily tied to objects and (...) properties/relations. (shrink)

In the semantic debate about plurals, pluralism is the view that a plural term denotes some things in the domain of quantification and a plural predicate denotes a plural property, i.e. a property that can be instantiated by many things jointly. According to a particular version of this view, untyped pluralism, there is no type distinction between objects and properties. In this article, I argue against untyped pluralism by showing that it is subject to a variant of a Russell-style argument (...) put forth by Timothy Williamson and that it clashes with a plural version of Cantor’s theorem. I conclude that pluralists should postulate a type distinction between objects and properties. (shrink)

The problem, or cluster of problems, of the unity of the proposition, along with the cluster of problems that tend to go under the name of Bradley’s regress, has recently again become a going concern for philosophers, after having for some time been regarded as primarily of historical interest. In this paper, I distinguish between the different problems that tend to be brought up under the heading of the unity of the proposition, and between different related regress arguments. I present (...) my favored solutions to these problems. (shrink)

‘Instantiation-directed slot theorists’ believe that properties/relations have slots which are filled by their instances/relata e.g., where Abigail is taller than Bronia, there are two slots in the relation Taller Than such that Abigail fills the first slot and Bronia fills the second. This crude statement of the theory runs into ‘The Problem of Filling’, whereby a natural understanding of the relation between slots, filling, and instantiation leads to absurd results. This paper examines a variety of solutions to that problem, one (...) of which is an extension of slot theory that adds an additional category of entities, ‘slotites’. (shrink)

Two grams mass, three coulombs charge, five inches long – these are examples of quantitative properties. Quantitative properties have certain structural features that other sorts of properties lack. What are the metaphysical underpinnings of quantitative structure? This paper considers several accounts of quantity and assesses the merits of each.

Maureen Donnelly’s (2016) relative positionalism correctly handles any fixed arity relation with any symmetry such a relation can have, yielding the intuitively correct way(s) in which that relation can apply. And it supplies an explanation of what is going on in the world that makes this the case. But it has at least one potential shortcoming — one that its opponents are likely to seize upon: it can only handle relations with fixed arities. It is unable to handle relations with (...) variable arities. I argue that, all else being equal, relative positionalism ought nonetheless to be preferred to its closest competitors — at least to the extent that the explanation it supplies of relational application is plausible — even though those competitors can handle variable arity relations in addition to fixed arity relations. (shrink)

Few if any distinctions are more easily recognisable and assented to than that between _objects_, that is, things which are some ways, and that which they are, that is, _ways for objects to be_ (‘ways of being’ for short). In this paper I present an argument designed to show that this distinction is indeterminate in the sense that the truth-conditions of predicational sentences leave open what should count as an object and a way of being. The bulk of the argument (...) is inspired by the celebrated permutation argument advanced by Quine, Wallace, Putnam and others. (shrink)

Do properties have intrinsic properties of their own? If so, which second-order properties are intrinsic? This paper introduces two competing views about second-order intrinsicality: generalism, according to which the intrinsic–extrinsic distinction cuts across all orders of properties and applies to the properties of properties as well as the properties of objects, and objectualism, according to which intrinsicality is a feature exclusive to the properties of objects. The case for generalism is then surveyed along with some proposals for distinguishing intrinsic second-order (...) properties from extrinsic ones. After addressing these broad questions about the nature of second-order intrinsicality, the Problem of Accidental Intrinsic Properties of Properties is introduced and put to work as a case study for the significance of second-order intrinsicality. The connection between this problem and the metaphysics of quantitative properties is then examined. (shrink)

In this paper, I argue that there are universals. I begin (Sect. 1) by proposing a sufficient condition for a thing’s being a universal. I then argue (Sect. 2) that some truths exist necessarily. Finally, I argue (Sects. 3 and 4) that these truths are structured entities having constituents that meet the proposed sufficient condition for being universals.

It is commonly assumed that facts would be complex entities made out of particulars and universals. This thesis, which I call Compositionalism, holds that parthood may be construed broadly enough so that the relation that holds between a fact and the entities it ‘ties’ together counts as a kind of parthood. I argue firstly that Compositionalism is incompatible with the possibility of certain kinds of fact and universal, and, secondly, that such facts and universals are possible. I conclude that Compositionalism (...) is false. What all these kinds of fact and universal have in common is a violation of supplementation principles governing any relation that may be intelligibly regarded as a kind of parthood. Although my arguments apply to Compositionalism generally, I focus on recent work by David Armstrong, who is a prominent and explicit Compositionalist. (shrink)

Some people object to realism about universals because they think that instantiation, the connection between something and the universals that characterize it, is too mysterious. Baxter and Armstrong try to make instantiation less mysterious by taking it to be a kind of partial identity. However, I argue that their accounts of instantiation, and any similar ones, fail.

Metaphysical orthodoxy holds that a privileged minority of properties carve reality at its joints. These are the so-called fundamental properties. This thesis concerns the contemporary philosophical debate about the nature of fundamental properties. In particular, it aims to answer two questions: What is the most adequate conception of fundamental properties? What is the “big picture” world-view that emerges by adopting such a conception? I argue that a satisfactory answer to both questions requires us to embrace a novel conception of powerful (...) qualities, according to which properties are at once dispositional and qualitative. By adopting the proposed conception of powerful qualities, an original theory of fundamental properties comes to light. I call it Dual-Aspect Account. In this thesis, I defend the Dual-Aspect Account and its superiority with respect to rival views of fundamental properties. I illustrate this claim by examining Dispositionalism, the view defended among others by Alexander Bird and Stephen Mumford, Categoricalism, which has been advocated notably by David Lewis and David Armstrong, and the Identity Theory of powerful qualities, primarily championed by C. B. Martin and John Heil. The latter is the standard conception of powerful qualities. However, in the literature, the Identity Theory faces the charge of contradiction. A preliminary task is therefore to show that a conception of powerful qualities is coherent. To accomplish this aim, I introduce the notion of an aspect of a property. On this interpretation, powerful qualities can be thought of as having dispositional and qualitative aspects. I show that such a conception allows us to disambiguate the claim that a property’s dispositionality is identical with its qualitativity, and evade the charge of contradiction. Aspects bring us other theoretical benefits. I illustrate this claim by showing how the Dual-Aspect Account offers us a promising theory of resemblance. I then compare its merits with David Armstrong’s theory of partial identity. The conclusion of this thesis is that the Dual-Aspect Account is better suited to capturing the world as we find it in everyday life and scientific investigation as compared to the theoretical positions examined. (shrink)

One might well wonder—is there a category under which every thing falls? Offering an informative account of such a category is no easy task. For nothing would distinguish things that fall under it from those that don’t—there being, after all, none of the latter. It seems hard, then, to say much about any fully general category; and it would appear to do no carving or categorizing or dividing at all. Nonetheless there are candidates for such a fully general office, including (...) thing, being, entity, item, existent, and—especially—object.[ It is not obvious that there is any fully general category (whether object or otherwise). Accordingly, not all accounts of object assign it to a fully general category, instead allowing that there are non-objects. On those views, object does indeed divide. Accounts of object, then, differ with respect to whether there are non-objects. And this is not the only fault line. Other dimensions of difference include what objects there are and what objects are. Accordingly, this entry will survey three broad questions about the category object: What, if any, is its contrast or complement? What is its extension? What is its nature? (shrink)

Frank Plumpton Ramsey (1903–30) made seminal contributions to philosophy, mathematics and economics. Whilst he was acknowledged as a genius by his contemporaries, some of his most important ideas were not appreciated until decades later; now better appreciated, they continue to bear an influence upon contemporary philosophy. His historic significance was to usher in a new phase of analytic philosophy, which initially built upon the logical atomist doctrines of Bertrand Russell and Ludwig Wittgenstein, raising their ideas to a new level of (...) sophistication, but ultimately he became their successor rather than remain a mere acolyte. (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 dissertation I consider the merits of certain nominalist accounts of phenomena related to the character of ordinary objects. What these accounts have in common is the fact that none of them is an error theory about standard cases of predication and none of them deploys God or uniquely theistic resources in its explanatory framework. -/- The aim of the dissertation is to answer the following questions: -/- • What is the best nominalist account on offer? • How might (...) it be improved? • Does it ultimately succeed? -/- I will argue that while so-called trope theory is the best account on offer, it can be significantly improved—or replaced—by a novel version of nominalism that is modeled after trope theory. Ultimately, however, I will argue that even the novel version fails. -/- The dissertation unfolds as follows. In Chapter 1, I introduce Austere Nominalism (AN), which is perhaps the most extreme version of nominalism that falls within the scope of the dissertation. AN is often described as the view that there exist only concrete particulars. According to AN, it is unnecessary to posit any entities other than ordinary objects—turkeys, tables, and the like—in order to account for explananda related to the character of those objects. (Such explananda include the phenomenon of attribute agreement, of attribute possession, of true subject-predicate sentences, etc.) In this chapter I argue that AN fails to provide an adequate account of these explananda. In addition, introducing and criticizing AN serves an important heuristic role for the rest of the dissertation. To understand this role, we must distinguish between the basic explanatory strategy deployed by the austere nominalist and the type of explananda for which she deploys that strategy. The austere nominalist deploys the strategy to account for the character of ordinary objects. As I argue in Chapter 1, this deployment is a failure. As I go on to show in Chapter 2, the widespread rejection AN has led to a variety of rival accounts of the character of ordinary objects. In rejecting AN, however, these accounts also tacitly reject its basic explanatory strategy. Thus goes the baby with the bathwater, since, arguably, there are some attractive features of AN’s basic explanatory strategy. Indeed, those who defend the most prominent version of nominalism—trope theory—seem to overlook the advantages of AN’s basic strategy, and by so doing, make an unnecessary concession to the realist. Or so I argue in Chapter 3. And, as I will argue in Chapter 4, the strongest version of nominalism is a novel account, modeled after trope theory, that deploys AN’s basic strategy at a more fundamental level than that of ordinary objects. This novel account—troper theory—is closer in spirit to AN than is traditional trope theory. (Thus, AN serves as a foil for the discussion of other nominalist views.) Finally, in the Afterword I indicate how troper theory is equally vulnerable to some of the traditional objections that plague trope theory. Thus, if you are not convinced that traditional objections to trope theory are conclusive and you want to be a nominalist, then you should abandon trope theory and adopt troper theory. If you take traditional objections against trope theory to have significant force, then you should reject both theories. (shrink)

The answer of Lowe to Ramsey’s argument against the distinction universal vs. indivi- dual: At the beginning of this article Ramsey’s argumentation against universal‐particular distinction is presented. It is based on the assumption that this division requires another one: namely, subject‐predicate distinction. This argumentation was a starting point for Lowe, who does not respect the aforementioned assumption. In his theory, there are not two but four categories, namely: substantial universals, non‐substantial universals, substantial particulars, and non‐substantial particulars. Two of these categories (...) are categories of universals; the other two are categories of particulars. Lowe tries to de ne categories in an ontological way, that is, with essential use of ontological notions. These notions are rigid and non‐rigid existential de‐ pendence, which are themselves de ned in terms of necessity and existence. The contribution of this paper is an analysis of Lowe’s solution. In the rst place, it is con onted with Ramsey remarks. Then other objections are considered. Some of them do not respect the very idea of autonomous ‘ontological way’ in philosophy. Others concern Lowe’s particular version of it. Possible answers to all of these objections are presented, such that Lowe’s theory is defended. However, there is no ultimate conclusion here. In the author’s opinion autonomy and the value of ontology cannot be shown om a purely external position. We should rst assume that this discipline does make sense and then explore its virtues by using its notions. (shrink)

This paper presents an account of what it is for a property or relation (or ‘attribute’ for short) to be logically simple. Based on this account, it is shown, among other things, that the logically simple attributes are in at least one important way sparse. This in turn lends support to the view that the concept of a logically simple attribute can be regarded as a promising substitute for Lewis’s concept of a perfectly natural attribute. At least in part, the (...) advantage of using the former concept lies in the fact that it is amenable to analysis, where that analysis—i.e., the account put forward in this paper—requires the adoption neither of an Armstrongian theory of universals nor of a primitive notion of naturalness, fundamentality, or grounding. (shrink)