{"id":1700,"date":"1989-09-10T13:11:31","date_gmt":"1989-09-10T18:11:31","guid":{"rendered":"http:\/\/marshner.christendom.edu\/?p=1700"},"modified":"2016-10-10T08:50:08","modified_gmt":"2016-10-10T13:50:08","slug":"the-debate-about-universals","status":"publish","type":"post","link":"https:\/\/marshner.christendom.edu\/?p=1700","title":{"rendered":"The Debate About Universals"},"content":{"rendered":"<body><h1 class=\"ocr\">The Debate about Universals<\/h1>\n<h6 class=\"ocr\">W. H. Marshner<\/h6>\n<p>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.<!--more--><\/p>\n<p>\u25aa The issue of basic ontology is whether substances alone should be acknowledged in the real, or whether both substances <em>and<\/em> non-substances (properties, relations) should be acknowledged.<\/p>\n<p>\u25aa 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.<!--more--><\/p>\n<h3 class=\"ocr\">I. The Parties to the Debate<\/h3>\n<p>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.<\/p>\n<p>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.<\/p>\n<p>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.<\/p>\n<p>Thus all nominalists insist on a very \u201cparsimonious\u201d ontology (the universe has only one or two kinds of furniture), every item of which is particular.<\/p>\n<p>Particularists agree with nominalists about the particularity of every reality, but they disagree with the nominalists\u2019 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.<\/p>\n<p>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.<\/p>\n<p>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 \u201cmore real\u201d than particulars.<\/p>\n<p>Other realists are immanent realists. Along with self-standing particulars (such as in-dividual substances), they admit non-particular properties and relations as \u201cforms\u201d 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.<\/p>\n<p>So much for the parties to the dispute. Let us now look at their positions in more detail.<\/p>\n<h3 class=\"ocr\">II. Nominalism<\/h3>\n<p><span class=\"underline\">Common thesis of all forms of nominalism:<\/span><\/p>\n<p>Reality consists entirely of particular <em>things,<\/em> and these do not include properties. Granted, we often speak as if there were properties \u2013\u2013 e.g. we say that a white thing has the \u201cproperty\u201d 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 \u201cin the real.\u201d They are not independent of knowers. Hence <em>common<\/em> ones are all illusory.<\/p>\n<p>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.<\/p>\n<p><span style=\"text-decoration: underline;\"><span class=\"underline\">Radical nominalisms:<\/span><\/span><\/p>\n<p>\u25aa Predicate nominalism appeals to language in its explanation: particular things fall (individually or pair-wise, triple-wise, etc.) under \u201cnames\u201d 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, \u2018white\u2019; this dog and that dog have nothing in common but that both fall under the same noun, \u2018dog\u2019.<\/p>\n<p>\u25aa 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, <em>white;<\/em> this dog and that have nothing in common but that both fall under the concept, <em>dog.<\/em><\/p>\n<p><span style=\"text-decoration: underline;\"><span class=\"underline\">Moderate nominalisms:<\/span><\/span><\/p>\n<p>\u25aa 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.<\/p>\n<p>\u25aa 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 \u201cshirts,\u201d call them both \u201cwhite,\u201d 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.<\/p>\n<h3 class=\"ocr\">III. Particularism<\/h3>\n<p>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 \u201cparsimonious\u201d 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.<\/p>\n<p>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 \u201cpredicable\u201d 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 \u201ccases of whiteness.\u201d<\/p>\n<p>According to some scholars, Aristotle and Aquinas were particularists who completed their account with concept nominalism.<\/p>\n<h3 class=\"ocr\">IV. Realism<\/h3>\n<p><span style=\"text-decoration: underline;\">Platonic or Transcendent Realism<\/span><\/p>\n<p>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 \u201cparticipation\u201d which each particular bears to some number of Forms. The sensible properties of particulars are thus explained as their \u201cshares\u201d 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.<\/p>\n<p><span style=\"text-decoration: underline;\">Universalism<\/span><\/p>\n<p>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 \u201cthis shirt\u201d 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 \u201cflip\u201d of substance-less particularism.<\/p>\n<p><span style=\"text-decoration: underline;\">Immanent Realism<\/span><\/p>\n<p>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 \u201cparticipation\u201d 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 <em>dog,<\/em> and it is this concept which is predicable of many and \u201cformally\u201d universal according to the being which it has in the mind (namely, its being thought). But the very form itself which <em>is<\/em> thought <em>is<\/em> also in Fido and <em>is<\/em> at the same time in Rin-tin-tin; hence it is (materially) universal.<\/p>\n<p>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?<\/p>\n<p>The following is my answer.<\/p>\n<h3 class=\"ocr\">The immanent realism of St. Thomas set forth in 12 propositions.<\/h3>\n<p style=\"text-align: left;\"><div class='content-column one_half'><div style=\"padding-right:15px;\"><span style=\"text-decoration: underline;\">Thomistic point<\/span><\/div><\/div><div class='content-column one_half last_column'><div style=\"padding-left:15px;\"><span style=\"text-decoration: underline;\">Modern translation<\/span><\/div><\/div><div class='clear_column'><\/div><\/p>\n<p><div class='content-column one_half'><div style=\"padding-right:15px;\">(1) A <em>suppositum<\/em> is an individual substance [or re-ferent], that is, a thing apt to exist in its own right, a <em>quod est.<\/em><\/div><\/div><div class='content-column one_half last_column'><div style=\"padding-left:15px;\">(1) A particular is a value of a bound variable in a first-order theory.<\/div><\/div><div class='clear_column'><\/div><div class='content-column one_half'><div style=\"padding-right:15px;\">(2) Properties and relations belong to <em>supposita<\/em> but [unless identical with an immaterial referent] are not things which exist in their own right; they are that whereby a <em>suppositum<\/em> is thus or such, <em>id quo aliquid est<\/em>.<\/div><\/div><div class='content-column one_half last_column'><div style=\"padding-left:15px;\">(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.<\/div><\/div><div class='clear_column'><\/div><div class='content-column one_half'><div style=\"padding-right:15px;\">(3) The belonging of a property to a <em>suppositum<\/em> (or of a relation to <em>supposita<\/em>) is [outside God] a <em>receptio<\/em> or <em>compositio.<\/em> E.g., the belonging of a property <em>F<\/em> to the supposit <em>a<\/em> is the receiving of the form <em>F<\/em> in the matter, essence, or substance of <em>a.<\/em><\/div><\/div><div class='content-column one_half last_column'><div style=\"padding-left:15px;\">(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 <em>F<\/em> to the particular <em>a<\/em> is the state of affairs which is <em>a\u2019s being F.<\/em><\/div><\/div><div class='clear_column'><\/div><div class='content-column one_half'><div style=\"padding-right:15px;\">(4) If the supposit <em>a<\/em> exists and has the property <em>F<\/em> in act, the <em>receptio<\/em> or <em>compositio<\/em> is in <em>esse reali<\/em> in exercized act. Otherwise, it isn\u2019t.<\/div><\/div><div class='content-column one_half last_column'><div style=\"padding-left:15px;\">(4) If a particular <em>a<\/em> exists and actually has the property <em>F,<\/em> the state of affairs which is <em>a\u2019s being F<\/em> obtains; otherwise, it does not obtain.<\/div><\/div><div class='clear_column'><\/div><div class='content-column one_half'><div style=\"padding-right:15px;\">(5) Typically, an affirmative proposition picks out a <em>compositio<\/em> or <em>receptio<\/em> and is true just in case the latter is in <em>esse reali<\/em> in exercized act. Thus the proposition that <em>a<\/em> is <em>F<\/em> is true if, and only if, the form <em>F<\/em> is actually received in the existing <em>a.<\/em><\/div><\/div><div class='content-column one_half last_column'><div style=\"padding-left:15px;\">(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 <em>a<\/em> is <em>F<\/em> if, and only if, the state of affairs which is <em>a\u2019s being F<\/em> obtains.<\/div><\/div><div class='clear_column'><\/div><div class='content-column one_half'><div style=\"padding-right:15px;\">(6) Thus at least one <em>suppositum<\/em> is involved in the actuality of any <em>receptio,<\/em> as is at least one property or relation.<\/div><\/div><div class='content-column one_half last_column'><div style=\"padding-left:15px;\">(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.<\/div><\/div><div class='clear_column'><\/div><div class='content-column one_half'><div style=\"padding-right:15px;\">(7) Both <em>supposita<\/em> and their properties\/relations are \u201cin the real\u201d [outside God] if, and only if, they are involved in a <em>receptio<\/em> in <em>esse reali<\/em> 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 \u201cindividuated\u201d or \u201cparticularized.\u201d<\/div><\/div><div class='content-column one_half last_column'><div style=\"padding-left:15px;\">(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 \u201cparticularized.\u201d<\/div><\/div><div class='clear_column'><\/div><div class='content-column one_half'><div style=\"padding-right:15px;\">(8) By understanding a <em>praecisio<\/em>, I can isolate within the real <em>compositio<\/em> of <em>a<\/em> and <em>F<\/em> the property which is \u201cthat whereby <em>a<\/em> is <em>F<\/em>\u201d; I can call it <em>a\u2019s F-ness,<\/em> and I can abstract from its involvement with <em>a<\/em> and thus conceive of just \u201cbeing-<em>F<\/em>,\u201d which is \u201cthat whereby anything is <em>F<\/em>,\u201d and I can call this just <em>F-ness.<\/em> As so abstracted, being-<em>F<\/em> is \u201cpredicable\u201d of many and so is called a universal. As universal, being-<em>F<\/em> (like <em>F-ness<\/em>) exists only in the mind.<\/div><\/div><div class='content-column one_half last_column'><div style=\"padding-left:15px;\">(8) By understanding a distinction, I can isolate within the obtaining state of affairs which is <em>a\u2019s be-ing F<\/em> the property which is that whereby <em>a<\/em> is <em>F;<\/em> I can call it <em>a\u2019s F-ness,<\/em> and I can abstract from its involvement with <em>a<\/em> and thus conceive of just \u201cbeing-<em>F<\/em>\u201d which I can nominalize as \u201cthat whereby <em>x<\/em> is <em>F<\/em>\u201d and as just <em>F-ness.<\/em> As so abstracted, being-<em>F<\/em> is predicable in principle of many particulars and so is called a universal. As universal, it exists only in the mind.<\/div><\/div><div class='clear_column'><\/div><div class='content-column one_half'><div style=\"padding-right:15px;\">(9) When the being-<em>F<\/em> which is found in <em>a<\/em> is con-sidered \u201cabsolutely,\u201d that is, neither as received in <em>a<\/em> nor as entertained by the mind in abstraction, being-<em>F<\/em> is neither particular nor universal. It is a form <em>in se<\/em>. We may denote it with |F|.<\/div><\/div><div class='content-column one_half last_column'><div style=\"padding-left:15px;\">(9) When <em>a\u2019s F-ness<\/em> is considered absolutely, that is, neither as involved in the state of affairs which is <em>a\u2019s being F<\/em> nor as entertained by the mind, <em>a\u2019s F-ness<\/em> is neither particular nor universal. It is a form \u201cin itself.\u201d We may denote it with |F|.<\/div><\/div><div class='clear_column'><\/div><div class='content-column one_half'><div style=\"padding-right:15px;\">(10) If <em>a<\/em> is <em>F<\/em> and <em>b<\/em> is <em>F,<\/em> the two supposits have a common property. The two supposits are <em>idem<\/em> in the respect which is being-<em>F<\/em> and hence resemble each other in that respect. To be sure, <em>a<\/em> <em>b,<\/em> and the reception of <em>F<\/em> in <em>a<\/em> the reception of <em>F<\/em> in <em>b,<\/em> and the being in the real which is |F| being in <em>a<\/em> the being in the real which is |F| being in <em>b.<\/em> But the form <em>in se<\/em> |F| is that which has <em>inesse<\/em> both in <em>a<\/em> and in <em>b<\/em> and in the mind which abstracts it from <em>a<\/em> and <em>b<\/em> and then entertains it as a universal. Thus the statement by Aquinas, \u201cForm in itself is not perfected by matter; rather, its amplitude is narrowed by it\u201d (<em>ST<\/em> 1, q. 7, a. 1), is an ontological statement, not a semantic one. It is not about \u2018F\u2019, the predicate, but about |F|, the form in itself.<\/div><\/div><div class='content-column one_half last_column'><div style=\"padding-left:15px;\">(10) If <em>a<\/em> is <em>F<\/em> and <em>b<\/em> is <em>F,<\/em> the two particulars have a common property. The two are <em>the same<\/em> in the respect which is being-<em>F<\/em> and hence resemble each other in that respect. To be sure, <em>a<\/em> <em>b,<\/em> and <em>a\u2019s being F<\/em> <em>b\u2019s being F,<\/em> and the being in the real which is |F| being in <em>a<\/em> the being in the real which is |F| being in <em>b.<\/em> [Remainder is the same as in the other column.]<\/div><\/div><div class='clear_column'><\/div><div class='content-column one_half'><div style=\"padding-right:15px;\">(11) The identity claim, that whereby <em>a<\/em> is <em>F<\/em> = that whereby <em>b<\/em> is <em>F,<\/em> is ambiguous. If the two terms refer to |F|, it is true. If they refer to the <em>inesse<\/em> which |F| has in <em>a<\/em> or <em>b,<\/em> it is false. In other words, \u2018that whereby <em>a<\/em> is <em>F<\/em>\u2019 can refer to the pure form or structure |F|, which is already actuation vis-\u00e0-vis matter, or can refer to the <em>inesse<\/em> which |F| has in <em>a.<\/em> This <em>inesse<\/em> is further actuation: existential actuation vis-\u00e0-vis form itself (or essence). When \u2018that whereby <em>a<\/em> is <em>F\u2019<\/em> and \u2018that whereby <em>b<\/em> is <em>F\u2019<\/em> 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 <em>a<\/em> in <em>esse reali<\/em> and the other of which is the F-wise structuring of <em>b<\/em> in <em>esse reali.<\/em><\/div><\/div><div class='content-column one_half last_column'><div style=\"padding-left:15px;\">(11) Same as in other column.<\/div><\/div><div class='clear_column'><\/div><div class='content-column one_half'><div style=\"padding-right:15px;\">(12) The application of the mentally formed concept or predicate \u2018F\u2019 to any or all of the F-things is \u201cpredication.\u201d The existential actuation of |F| in each F-thing is not predication.<\/div><\/div><div class='content-column one_half last_column'><div style=\"padding-left:15px;\">(12) Same as in other column.<\/div><\/div><div class='clear_column'><\/div><\/p>\n<p><a href=\"https:\/\/marshner.christendom.edu\/wp-content\/uploads\/2016\/08\/PHIL301.NOM_.pdf\" target=\"_blank\">Click here for PDF<\/a><br>\n\u00a0<\/p>\n<\/body>","protected":false},"excerpt":{"rendered":"<p>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.<\/p>\n","protected":false},"author":3,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[753],"tags":[],"class_list":["post-1700","post","type-post","status-publish","format-standard","hentry","category-philosophy"],"_links":{"self":[{"href":"https:\/\/marshner.christendom.edu\/index.php?rest_route=\/wp\/v2\/posts\/1700","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/marshner.christendom.edu\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/marshner.christendom.edu\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/marshner.christendom.edu\/index.php?rest_route=\/wp\/v2\/users\/3"}],"replies":[{"embeddable":true,"href":"https:\/\/marshner.christendom.edu\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=1700"}],"version-history":[{"count":1,"href":"https:\/\/marshner.christendom.edu\/index.php?rest_route=\/wp\/v2\/posts\/1700\/revisions"}],"predecessor-version":[{"id":1926,"href":"https:\/\/marshner.christendom.edu\/index.php?rest_route=\/wp\/v2\/posts\/1700\/revisions\/1926"}],"wp:attachment":[{"href":"https:\/\/marshner.christendom.edu\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=1700"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/marshner.christendom.edu\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=1700"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/marshner.christendom.edu\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=1700"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}