The Debate About Universals

Share

The Debate about Universals

W. H. Marshner

There are really two questions in this debate. One is about basic ontology (and asks with what furniture, exactly, the universe independent of our minds is furnished), and the other is about particularity.

▪ The issue of basic ontology is whether substances alone should be acknowledged in the real, or whether both substances and non-substances (properties, relations) should be acknowledged.

▪ The issue about particularity is whether everything that should be acknowledged in the real is particular, or whether something that should be acknowledged in the real is non-particular, that is, common to many, or universal.

I. The Parties to the Debate

The radical nominalists (predicate or concept nominalists) hold (a) that only self-standing things (substances) should be acknowledged in the real and (b) that all such things are particular.

The class nominalists hold (a) that only individuals (substances) and sets should be acknowledged in the real, and (b) that all such items are particular.

The resemblance nominalists hold (a) that only individuals and relations of resemblance between individuals should be acknowledged in the real, and (b) that all such items are particular.

Thus all nominalists insist on a very “parsimonious” ontology (the universe has only one or two kinds of furniture), every item of which is particular.

Particularists agree with nominalists about the particularity of every reality, but they disagree with the nominalists’ highly restrictive ontology. Particularists admit into the real a full range of qualities, sizes, relations, etc. Some particularists also admit substances, so that their world consists of individual substances with their equally particular properties and relations. Other particularists deny substance and explain particular things as stacks of particular properties/relations.

Realists, of course, admit non-particulars into the real. The most radical realists are called universalists; at the opposite extreme from radical nominalists, they claim that reali-ty consists of universal properties alone, that nothing is particular, and that apparent parti-culars (such as individual substances) are to be explained away as bundles of universals. All other realists admit into the real both particular things and non-particulars or univer-sals.

Platonic realists are transcendent realists. Besides particular things attained by the senses, they admit into the real certain separately existing Forms, attained only by the in-tellect, which transcend particularity and are “more real” than particulars.

Other realists are immanent realists. Along with self-standing particulars (such as in-dividual substances), they admit non-particular properties and relations as “forms” found within (and between) particulars rather than existing separately from them. For immanent realists, forms or natures are not more real than the particulars they inform.

So much for the parties to the dispute. Let us now look at their positions in more detail.

II. Nominalism

Common thesis of all forms of nominalism:

Reality consists entirely of particular things, and these do not include properties. Granted, we often speak as if there were properties –– e.g. we say that a white thing has the “property” of whiteness. Yes, and we speak as if the alleged properties were common to many things and hence non-particular. E.g. we say that two white shirts have the same color, that two dogs have the same nature, that an aunt has the same relation to both her nieces, etc. But all these ways of speaking are misleading. Properties are not “in the real.” They are not independent of knowers. Hence common ones are all illusory.

But each form of nominalism offers its own explanation of why we talk so misleadingly, why there seem to be real properties, real relations, and common properties/relations.

Radical nominalisms:

▪ Predicate nominalism appeals to language in its explanation: particular things fall (individually or pair-wise, triple-wise, etc.) under “names” or predicates in our language, and many particular things fall (individually or pair-wise etc.) under the same predicate. There are real, particular things, but the illusion that there are properties, common properties, etc., is the shadow of language upon the real. This shirt and that shirt have nothing in common, really, except that both fall under the same word, ‘white’; this dog and that dog have nothing in common but that both fall under the same noun, ‘dog’.

▪ Concept nominalism appeals to mental entities called concepts in its explanation: particular things fall (individually or pair-wise, triple-wise, etc.) under concepts in our minds, and many particular things fall (individually or pair-wise etc.) under the same concept. There are real, particular things, but the illusion that there are properties, common properties, etc., is the shadow of our conceptual scheme upon the real. This shirt and that shirt have nothing in common except that both fall under the concept, white; this dog and that have nothing in common but that both fall under the concept, dog.

Moderate nominalisms:

▪ Class nominalism appeals to theoretical entities called sets or classes in its explanation: particular things are members (individually or pair-wise, triple-wise, etc.) of sets, and many particular things are members (individually or pair-wise etc.) of the same set. There are real, particular things, and there are sets of these, but it is an illusion to think that, besides sets, there are also properties, common properties, etc. This shirt and that shirt have nothing in common, really, except that both belong to the set of all white things; this dog and that dog have nothing in common but that they both belong to the set of all dogs.

▪ Resemblance nominalism admits that, besides particular things, one must also acknowledge real relations of resemblance. A real particular may bear a real relation of resemblance to another particular, and such a relation is also particular. All other alleged properties are to be explained in terms of resemblance. This shirt and that shirt have nothing in common, really; they just resemble each other, and so we call them both “shirts,” call them both “white,” etc. Alternatively, they both resemble a particular shirt or white thing which we think of as a paradigm shirt or a paradigm white thing. We call the two shirts white because they each resemble the paradigm white things as much as those things resemble each other. Ditto for this dog and that dog: they resemble each other, or they resemble certain objects which we think of as paradigm dogs.

III. Particularism

If you become convinced that the colors of things, their sizes, their shapes, and many other features of them (including many relations in which they stand to each other) must be admitted into the real in order to explain their resemblances, their causal abilities, etc., then you abandon the nominalist program of ontology as too “parsimonious” to be true. But you may retain the conviction that everything in the real, in whatever category, is fully particular. This shirt, you may say, has a real quality of whiteness, but this quality is every bit as particular as the shirt itself. The whiteness of this shirt is not the whiteness of that one. The canine nature of this dog is not the canine nature of that one. Each dog has a particular case of dog-nature, just as each shirt has its own particular whiteness or case of whiteness.

But now, if each particular animal has its own particular nature, why do we group some together as dogs? If each color quality is utterly particular, why do we group some of them together as cases of whiteness (indeed, cases of exactly the same shade of whiteness), etc.? For want of an answer, some particularists resort at this point to conceptual or resemblance nominalism. We abstract from the particularity of this whiteness and that whiteness to form the concept of whiteness, and this abstracted concept is “predicable” or common to many. So, certain cases of color fall under our concept of whiteness, and that is all they have in common. Or some cases of color resemble what we consider a paradigm case of whiteness enough to be called “cases of whiteness.”

According to some scholars, Aristotle and Aquinas were particularists who completed their account with concept nominalism.

IV. Realism

Platonic or Transcendent Realism

Platonism admits that particular things are in the real and that that these things have natures, colors, shapes, sizes (and maybe relations). But unlike particularism, Platonic realism denies that these particularized properties of things are basic, irreducible entities. Platonists propose to explain these properties away by positing (a) separate entities called Forms, such as Whiteness Itself, Triangularity Itself, and Dogness Itself, which are intrinsically universal, and (b) a relation called “participation” which each particular bears to some number of Forms. The sensible properties of particulars are thus explained as their “shares” in the Forms, and the common color of two white shirts, like the common nature of two dogs, is explained by the fact that both particulars participate in exactly the same Form. To change the metaphor, the common apparent properties of things are the shadows of the Forms upon the transient, ever-changing world of particulars. The particulars are transient because they are composed (of matter and of many shares), and so they can break down. The Forms are permanent (or even eternal) because they are uncomposed. White-ness Itself is nothing but being-white. Thus, as more permanent, the Forms are more real than particulars, more being-like.

Universalism

If a Platonist decides that particulars themselves are as shadow-like as particularized properties, he may wish to dispense with particulars altogether. The result will be the view that all real beings are universal forms, and what we ordinarily think of as particular individuals are just bundles of universals. What appears to be “this shirt” is just a bundle of Whiteness, Clothness, Two-sleevedness, etc. The same universal form, Whiteness, appears in the bundle which is (or seems to be) this shirt and in the bundle which is (or seems to be) that shirt. No two bundles are exactly alike in that each differs from every other by the presence or absence of at least one universal form. Thus Universalism is the “flip” of substance-less particularism.

Immanent Realism

Some scholars hold that Aristotle (and maybe Aquinas) was a genuine immanent Realist. Immanent realism holds that there are real particulars (substances) with real properties of many kinds (drawn from the categories of accidents), and that each of these real properties is particularized in one aspect (its being-in-this or being-in-that) but universal in another aspect (its inner structure as a form). Thus a white thing is white thanks to the form of whiteness, but this form has no separate existence outside the white things, and there is no relation of “participation” between the things and the form. Rather, the form is within each white thing. Ditto for dogs and the form which is dogness or canine nature. We do, of course, abstract from Fido and Rin-tin-tin the concept of dog, and it is this concept which is predicable of many and “formally” universal according to the being which it has in the mind (namely, its being thought). But the very form itself which is thought is also in Fido and is at the same time in Rin-tin-tin; hence it is (materially) universal.

So which scholars are right? Was Aristotle a pro-substance particularist or an immanent realist? Was Aquinas a pro-substance particularist or an immanent realist?

The following is my answer.

The immanent realism of St. Thomas set forth in 12 propositions.

Thomistic point
Modern translation

(1) A suppositum is an individual substance [or re-ferent], that is, a thing apt to exist in its own right, a quod est.
(1) A particular is a value of a bound variable in a first-order theory.
(2) Properties and relations belong to supposita but [unless identical with an immaterial referent] are not things which exist in their own right; they are that whereby a suppositum is thus or such, id quo aliquid est.
(2) Properties and relations belong to particulars but are not values of bound variables in a first-order theory; they are values of monadic and polyadic pre-dicate variables.
(3) The belonging of a property to a suppositum (or of a relation to supposita) is [outside God] a receptio or compositio. E.g., the belonging of a property F to the supposit a is the receiving of the form F in the matter, essence, or substance of a.
(3) The belonging of a property or relation to one or more particulars is a state of affairs. E.g. the be-longing of the property F to the particular a is the state of affairs which is a’s being F.
(4) If the supposit a exists and has the property F in act, the receptio or compositio is in esse reali in exercized act. Otherwise, it isn’t.
(4) If a particular a exists and actually has the property F, the state of affairs which is a’s being F obtains; otherwise, it does not obtain.
(5) Typically, an affirmative proposition picks out a compositio or receptio and is true just in case the latter is in esse reali in exercized act. Thus the proposition that a is F is true if, and only if, the form F is actually received in the existing a.
(5) Typically, an affirmative proposition picks out a state of affairs and is true just in case the state of affairs obtains; thus it is true that a is F if, and only if, the state of affairs which is a’s being F obtains.
(6) Thus at least one suppositum is involved in the actuality of any receptio, as is at least one property or relation.
(6) At least one particular is involved in the ob-taining of any state of affairs, as is at least one pro-perty or relation.
(7) Both supposita and their properties/relations are “in the real” [outside God] if, and only if, they are involved in a receptio in esse reali in exercized act. Thus no property/relation is in the real [outside God] apart from being received by some supposit(s). This point is expressed by saying that a property/relation in the real is “individuated” or “particularized.”
(7) Both particulars and their properties/relations are in the real if, and only if, they are involved in a state of affairs which obtains. Thus no property/ relation is in the real apart from being involved in a state of affairs in which the property/relation belongs to some particular(s). This point is expressed by saying that a property/relation in the real is “particularized.”
(8) By understanding a praecisio, I can isolate within the real compositio of a and F the property which is “that whereby a is F”; I can call it a’s F-ness, and I can abstract from its involvement with a and thus conceive of just “being-F,” which is “that whereby anything is F,” and I can call this just F-ness. As so abstracted, being-F is “predicable” of many and so is called a universal. As universal, being-F (like F-ness) exists only in the mind.
(8) By understanding a distinction, I can isolate within the obtaining state of affairs which is a’s be-ing F the property which is that whereby a is F; I can call it a’s F-ness, and I can abstract from its involvement with a and thus conceive of just “being-F” which I can nominalize as “that whereby x is F” and as just F-ness. As so abstracted, being-F is predicable in principle of many particulars and so is called a universal. As universal, it exists only in the mind.
(9) When the being-F which is found in a is con-sidered “absolutely,” that is, neither as received in a nor as entertained by the mind in abstraction, being-F is neither particular nor universal. It is a form in se. We may denote it with |F|.
(9) When a’s F-ness is considered absolutely, that is, neither as involved in the state of affairs which is a’s being F nor as entertained by the mind, a’s F-ness is neither particular nor universal. It is a form “in itself.” We may denote it with |F|.
(10) If a is F and b is F, the two supposits have a common property. The two supposits are idem in the respect which is being-F and hence resemble each other in that respect. To be sure, a b, and the reception of F in a the reception of F in b, and the being in the real which is |F| being in a the being in the real which is |F| being in b. But the form in se |F| is that which has inesse both in a and in b and in the mind which abstracts it from a and b and then entertains it as a universal. Thus the statement by Aquinas, “Form in itself is not perfected by matter; rather, its amplitude is narrowed by it” (ST 1, q. 7, a. 1), is an ontological statement, not a semantic one. It is not about ‘F’, the predicate, but about |F|, the form in itself.
(10) If a is F and b is F, the two particulars have a common property. The two are the same in the respect which is being-F and hence resemble each other in that respect. To be sure, a b, and a’s being F b’s being F, and the being in the real which is |F| being in a the being in the real which is |F| being in b. [Remainder is the same as in the other column.]
(11) The identity claim, that whereby a is F = that whereby b is F, is ambiguous. If the two terms refer to |F|, it is true. If they refer to the inesse which |F| has in a or b, it is false. In other words, ‘that whereby a is F’ can refer to the pure form or structure |F|, which is already actuation vis-à-vis matter, or can refer to the inesse which |F| has in a. This inesse is further actuation: existential actuation vis-à-vis form itself (or essence). When ‘that whereby a is F’ and ‘that whereby b is F’ are taken the first way, they refer to identically the same pure structure, which is form-act. But when the terms are taken the second way, each refers to a distinct existentially actuated case, one of which is the F-wise structuring of a in esse reali and the other of which is the F-wise structuring of b in esse reali.
(11) Same as in other column.
(12) The application of the mentally formed concept or predicate ‘F’ to any or all of the F-things is “predication.” The existential actuation of |F| in each F-thing is not predication.
(12) Same as in other column.

Click here for PDF