Anna-Sofia Maurin

In this paper I argue that the infinite regress of resemblance is vicious in the guise it is given by Russell but that it is virtuous if generated in a (contemporary) trope theoretical framework. To explain why this is so I investigate the infinite regress argument. I find that there is but one interesting and substantial way in which the distinction between vicious and virtuous regresses can be understood: The Dependence Understanding. I argue, furthermore, that to be able to decide whether an infinite regress exhibits a dependence pattern of a vicious or a virtuous kind, facts about the theoretical context in which it is generated become essential. It is precisely because of differences in context that he Russellian resemblance regress is vicious whereas its trope theoretical counterpart is not.

This paper investigates the One over Many, first as it was first introduced by Plato. Here, it is argued, the One over Many can be understood in at least two senses, both different from, but in a sense included in, the sense in which the One-over-Many is regarded as an argument for the existence of universals. In both of these senses, it is argued, it is possible to accept the One-over-Many while denying the existence of universals.This established, I examine the argument from the One-over-Many as given within the framework of Armstrong’s theory of universals. Within this framework there is another thesis of great import, that of scientific realism. I will try to show that there exists a problematic tension, if not an outright contradiction, between this thesis and that of the argument from the One-over-Many. It seems that, as soon as you accept a scientific realism, the support provided by the argument from the One-over-Many dissolves, or, vice versa, if you claim support from the argument the results of your scientific realism seem to be contradicted. I will argue that the way to resolve this tension is to give up the argument from the One-over-Many. In particular, this will results in a weakening of Armstrong’s case for the existence of universals. In general, discussing the argument from the One-over-Many brings to the fore a feature common to all senses given to the One-over-Many, and thereby a feature affecting all theories of properties (since all theories of properties in one sense or another refer on the One-over-Many).

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.