Anna-Sofia Maurin

Although the subject matter of this Element is properties, do not expect in-depth introductions to the various views on properties 'on the market'. Instead, here that subject matter is treated meta-philosophically. Rather than ask and try to answer a question like do properties exist? this Element asks what reasons one might have for thinking that properties exist, what counts as solving that problems, as well as how we ought to proceed when trying to find out if properties exist. As it turns out, these questions and their answers are all intricately intertwined. Theory comparison and theory evaluation is in other words tricky. Do properties exist? After reading this Element all we can say is therefore this: that depends.

In this chapter, we introduce the perennial and sometimes sprawling topic of properties, with a brief historical sketch from Ancient to Modern philosophy throughout various cultures and traditions. We argue that the importance of properties can be shown by explaining what explanatory work they can do in philosophical theorising across many areas of philosophy. The chapters in this volume do just that in their specific ways. We also outline the structure of the volume and summarise each Part, first describing the larger context of each Part and then the upshot of each chapter.

Grounding theorists insist that grounding and explanation are intimately related. This claim could be understood as saying either that grounding ‘inherits’ its properties from explanation or it could be interpreted as saying that grounding plays an important—possibly an indispensable—role in metaphysical explanation. Or both. I argue that saying that grounding ‘inherits’ its properties from explanation can only be justified if grounding is explanatory by nature, but that this view is untenable. We ought therefore to be ‘separatists’ and view grounding and explanation as distinct. As it turns out, though, once grounding has been in this sense distinguished from the explanation it backs, the view that the role grounding plays in explanation justifies its introduction ends up in serious trouble. I conclude that the role grounding plays in explanation does not justify attributing to grounding whatever nature we think it has, and it most likely does not give us any special reason to think grounding exists.

According to Johansson (2009: 22) an infinite regress is vicious just in case “what comes first [in the regress-order] is for its definition dependent on what comes afterwards.” Given a few qualifications (to be spelled out below (section 3)), I agree. Again according to Johansson (ibid.), one of the consequences of accepting this way of distinguishing vicious from benign regresses is that the so-called Russellian Resemblance Regress (RRR), if generated in a one-category trope-theoretical framework, is vicious and that, therefore, the existence of tropes only makes sense if trope-theory is understood (minimally) as a two-category theory which accepts, besides the existence of tropes, also the existence of at least one universal: resemblance.1 I disagree. But how can that be? How can Johansson and I agree about what distinguishes a vicious from a benign regress, yet disagree about which regresses are vicious and which are benign? In this paper I attempt to answer that question by first setting out and defending the sense of viciousness which both Johansson and I accept, only to then argue that to be able to determine if a particular regress is vicious in this sense, more than features intrinsic to the regress itself must be taken into account. This is why, although the RRR as originally set out by Russell is vicious, the seemingly identical resemblance regress which ensues in a one-category (standard) trope-theoretical context is not (provided, that is, that we accept certain views about how the nature of tropes relates to the resemblance between tropes, and given that we set our theory in a truthmaker theoretical framework – all of which are standard assumptions for proponents of (the standard-version of) the trope-theory).2

Donald Davidson claims that, by studying the most general aspects of natural language, we will also be studying the most general aspects of reality.In particular, this means that, through the application of a systematic truththeory to natural language, we will be able to reveal its basic structure, its true logical form. Once this logical form has been spelled out, we will be able to determine the finite stock of important constituents of which sentences are built, and also the specific roles these “atoms” play in the relevant structure. Since the structure of language can be said to “mirror” the structure of reality, this also means that we can now say something about the basic constituents of the world. We will be able to tell which kinds of entities exist and which do not. If, by spelling out the logical form, we find that there is a sentence (or several sentences) committing us to the existence of a certain (kind of) object (i.e. a sentence where an object (of this kind)serves as the value of a quantified variable) and, if we know the sentence to be true, then we have good reason to suppose that there is an object (of that kind) rather than not. This will hold given that there is no other way of spelling out the logical form of the sentence in question that is compatible with the nonexistence of that (kind of) object. So what exists is what, according to the (complete) theory, functions as values of the quantified variables, once thelogical form, the basic structure, of all the sentences of the language has been spelled out. Davidson has claimed that what all this quantificational structure will demand from ontology is the existence of objects and particular events. This should be taken somewhat at faith. In order to reach valid conclusions concerning the logical form of natural language, Davidson would have to examine allof its true sentences, and state allof their truth conditions, which he has not done. For practical reasons he has only been able to look at small segments of language, to consider how they normally function, to attempt to exhibit their logical structure by looking at entailment-relations, etc., and it is from this that he has drawn his ontological conclusions. In this paper, I concentrate on some of the likely consequences of the adoption of this method of reaching ontological conclusions. In particular, I will try to show that Davidson’s own way of arguing for the existence of events can be applied to cases where he seemingly would have to commit himself to the existence of properties too. To demonstrate this, I begin by considering whether the fact that Davidson spells out the logical form of natural language in first-order logic raises a serious objection to my claim or not. I then proceed by making a case for properties using an argument based on what Davidson has to say about the existence of events. What I will try to show is that, if Davidson is to be true to his general method of reaching conclusions regarding existence, which he claims to be, then he must go where this method leads him. This means that he has to keep his mind open as to the kinds of entities he should or should not allow. Finally, assuming that I have shown properties to be one of the different kinds of entities that a Davidsonian would have to allow, I conclude the paper by indicating what the consequence(s) of this may be.

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