Nominalism in Metaphysics

1. What is Nominalism?

The word ‘Nominalism’, as used by contemporary philosophers in the Anglo-American tradition, is ambiguous. In one sense, its most traditional sense deriving from the Middle Ages, it implies the rejection of universals. In another, more modern but equally entrenched sense, it implies the rejection of abstract objects. To say that these are distinct senses of the word presupposes that universal and abstract object do not mean the same thing. And in fact they do not. For although different philosophers mean different things by universal, and likewise by abstract object, according to widespread usage a universal is something that can be instantiated by different entities and an abstract object is something that is neither spatial nor temporal.

Thus there are (at least) two kinds of Nominalism, one that maintains that there are no universals and one that maintains that there are no abstract objects.[1] Realism about universals is the doctrine that there are universals, and Platonism is the doctrine that there are abstract objects.

But Nominalism is not simply the rejection of universals or abstract objects. For if that were the case, a nihilist, someone who believed that there are no entities at all, would count as a nominalist. Similarly, someone who rejected universals or abstract objects but were agnostic about the existence of particulars or concrete objects would count as a nominalist. Given how the term ‘Nominalism’ is used in contemporary philosophy, such philosophers would not be nominalists. The word ‘Nominalism’ carries an implication that the corresponding doctrine asserts that everything is particular or concrete, and that this is not vacuously true.

Thus one kind of Nominalism asserts that there are particular objects and that everything is particular, and the other asserts that there are concrete objects and that everything is concrete.

As noted above, the two forms of nominalism are independent. The possibility of being a nominalist in one sense but not in the other has been exemplified in the history of philosophy. For instance, David Armstrong (1978; 1997) is a believer in universals, and so he is not a nominalist in the sense of rejecting universals, but he believes that everything that exists is spatiotemporal, and so he is a nominalist in the sense of rejecting abstract objects. And there are those who, like Quine at a certain point of his philosophical development (1964; 1981), accept sets or classes and so are not nominalists in the sense of rejecting abstract objects and yet reject universals and so are nominalists in the sense of rejecting universals.

Thus Nominalism, in both senses, is a kind of anti-realism. For one kind of Nominalism denies the existence, and therefore the reality, of universals and the other denies the existence, and therefore the reality, of abstract objects. But what does Nominalism claim with respect to the entities alleged by some to be universals or abstract objects, e.g. properties, numbers, propositions, possible worlds? Here there are two general options: (a) to deny the existence of the alleged entities in question, and (b) to accept the existence of these entities but to argue that they are particular or concrete.

Sometimes Nominalism is identified with those positions exemplifying strategy (a). But this seems to be based on the thought that what makes a position nominalist is the rejection of properties, numbers, propositions, etc. In this entry, however, I shall understand Nominalism in a broader way, namely as encompassing positions implementing strategies (a) or (b) above. For Nominalism has nothing against properties, numbers, propositions, possible worlds, etc., as such. What Nominalism finds uncongenial in entities like properties, numbers, possible worlds and propositions is that they are supposed to be universals or abstract objects. Thus the mere rejection of properties, numbers, possible worlds, propositions, etc., does not make one a nominalist – to be a nominalist one needs to reject them because they are supposed to be universals or abstract objects. Michael Jubien, for instance, rejects propositions, but he admits properties and relations construed Platonistically; his reasons for rejecting propositions have nothing to do with their alleged abstract character (Jubien 2001: 48–54). It would be odd to call Jubien a nominalist about propositions.

Thus according to my usage in this entry, acceptance of the existence of properties, propositions, possible worlds and numbers is compatible with being a nominalist. What is required of nominalists who accept the existence of numbers, properties, possible worlds and propositions is that they think of them as particulars or concrete objects.[2] And rejecting properties, propositions, possible worlds, numbers, and any other items is not sufficient for being a Nominalist about them: to be a Nominalist one must reject them on account of their being universal or abstract objects.

2. Abstract objects and universals

2.1 Abstract Objects

What is an abstract object? There is no standard definition of the phrase. Perhaps the most common conception of abstract objects is that of non-spatiotemporal and causally inert objects. Often the requirement that abstract objects are causally inert is not an independent condition but is derived from the requirement that abstract objects are not spatiotemporal since it is assumed that only spatiotemporal entities can enter in causal relations.

But this conception of abstract objects has been criticised. Games and languages are supposedly abstract and yet they are temporal entities, since they come into being at a certain point in time, and some of them develop and change in time (Hale 1987, 49). Defining abstract objects simply as causally inert objects also presents problems (see, for example, the entry on abstract objects).

There have been other proposals as to how to characterise abstract objects. One approach defines abstract objects as those the understanding of whose names involves a recognition that the named object is in the range of a certain functional expression (Dummett 1973, 485). It has also been thought that an abstract object is one that either couldn't possibly exist or couldn't possibly be concrete, depending on whether you interpret the predicate ‘E!’ (used to formally represent the definition of ‘abstract’) as an existence predicate or a concreteness predicate (Zalta 1983, 60, 50-52). On another conception of abstract objects these are objects that cannot exist separately from other entities (Lowe 1995, 514).[3] (For a discussion of the various ways of characterising the abstract/concrete distinction see Burgess and Rosen 1997, 13–25.)

There are thus several alternative conceptions of abstract objects. But in what follows I shall take abstract objects to be those that are non-spatiotemporal and causally inert. This is because what motivates Nominalism (in one of its senses) is basically the rejection of non-spatiotemporal and causally inert objects. That is, the nominalist sees trouble with abstract objects simply because he sees trouble with non-spatiotemporal, causally inert objects. That this is so can be seen from the fact that nominalist theories are often motivated by empiricist or naturalist views, which find no place for non-spatiotemporal, causally inert objects.[4] Thus, for example, one of the main problems with mathematical objects — a subclass of abstract objects — from a nominalist point of view is that it is not easy to see how we can come to have knowledge or form reliable beliefs about them and refer to them, since there are no causal relations between them and us. But this presupposes that what makes abstract objects problematic is their causal inertness. And the source of their causal inertness might be their lack of spatiotemporality.

The characterisation of abstract objects as non-spatiotemporal and causally inert objects might be thought unsatisfactory to the extent that it tells us only what they are not, but not what they are. But this is not a problem for the nominalist. The business of the nominalist is to reject such objects, not to characterise them in a positive way. And for the purposes of rejecting abstract objects, their characterisation as non-spatiotemporal, causally inert objects is a reasonably clear characterisation (at least as clear as the notions of spatiotemporal object, causation, causal power, and related ones are).

Historically the distinction between abstract and concrete objects has been thought of as exclusive and exhaustive. But the exhaustiveness of the distinction has recently been questioned. Linsky and Zalta argue that while abstract objects are necessarily abstract, there are objects which are not concrete but could have been concrete. These objects are non-concrete in virtue of being non-spatiotemporal and causally inert but they are not abstract since they could have been concrete (Linsky and Zalta 1994). Since Nominalism rejects abstract objects because of their non-spatiotemporality and their causal inertness, Nominalism also rejects non-concrete objects.

2.2 Universals

The nominalist about universals rejects universals — but what are they? The distinction between particulars and universals is usually taken to be both exhaustive and exclusive, but whether there is such a distinction is controversial.[5] The distinction can be drawn in terms of a relation of instantiation: we can say that something is a universal if and only if it can be instantiated (whether it can be instantiated by particulars or universals) — otherwise it is a particular. Thus while both particulars and universals can instantiate entities, only universals can be instantiated. If whiteness is a universal then every white thing is an instance of it. But the things that are white, e.g. Socrates, cannot have any instances.[6]

Realists about universals typically think that properties (e.g. whiteness), relations (e.g. betweenness), and kinds (e.g. gold) are universals. Where do universals exist? Do they exist in the things that instantiate them? Or do they exist outside them? To maintain the second option is to maintain an ante rem realism about universals. If universals exist outside their instances then it is plausible to suppose that they exist outside space and time. If so, assuming their consequent causal inertness, universals are abstract objects. To maintain that universals exist in their instances is to maintain an in re realism about universals. If universals exist in their instances, and their instances exist in space or time, then it is plausible to think that universals exist in space or time, in which case they are concrete. In this case universals can be multiply located, i.e. they can occupy more than one place at the same time, for in re universals are wholly located at each place they occupy (thus if there is whiteness in re, then such a thing can be six meters apart from itself).

Thus, both on ante rem and in re realism about universals, universals enjoy a relation with space very different from that apparently enjoyed by ordinary objects of experience like houses, horses and men. For such particulars are located in space and time and cannot be located in more than one place at the same time. But universals are either not located in space or else they can occupy more than one place at the same time.

3. Arguments against abstract objects and universals

Are there general arguments against abstract objects? There are some, although it must be said that some of the most famous deniers of abstract objects have not always based their rejection on arguments. This is the case, for instance, of Goodman and Quine who, in their Steps toward a Constructive Nominalism, base their rejection of mathematical abstract objects on a basic intuition (1947, 105).

One argument against postulating abstract objects is based on Ockham's razor. According to this principle one should not multiply entities or kinds of entities unnecessarily. Thus if one can show that certain concrete objects can perform the theoretical roles usually associated with abstract objects, one should refrain from postulating abstract objects. The effectiveness of this kind of appeal to Ockham's razor is, of course, conditional upon our having been shown that concrete objects can play the theoretical roles associated with abstract objects. But if every theoretical role played by abstracta can be played by concreta and vice versa, then one needs a further reason why one should postulate concreta only rather than abstracta only. Sometimes the only evidence for the existence of the abstracta in question is that they perform the theoretical role in question. In that case one can use the principle that one should not postulate ad hoc entities or kinds of entities unnecessarily (Rodriguez-Pereyra 2002, 210–16). That is, one should not postulate, if possible, entities for which there is no independent evidence, i.e. entities for the existence of which the only evidence available is that they satisfactorily perform a certain theoretical role.

Another common and widely discussed argument against abstract objects is an epistemological argument. The argument is grounded in the thought that given that abstract objects are causally inert, it is difficult to understand how we can have knowledge or reliable belief about them. Sometimes a similar argument is advanced according to which the problem with Platonism is that, given the causal inertness of abstract objects, it cannot explain how linguistic or mental reference to abstract objects is possible (see Benacerraf 1973 and Field 1989, 25–7). Admittedly these arguments do not conclusively establish Nominalism but, if they work, they show an explanatory lacuna in Platonism. The challenge for the Platonist is to explain how knowledge of and reference to abstract objects is possible. Most of the debate with respect to this argument has concentrated on the particular application of the argument to the case of mathematical objects (for more on this debate see the entry on Platonism in metaphysics and Burgess and Rosen 1997, pp. 35–60.)

Another, now less common, argument against Platonism, is that its ontology is unintelligible. Sometimes the unintelligibility of abstract objects is linked to their lack of clear and intelligible conditions of identity. But it is not the abstractness of abstract objects that makes them lack clear identity conditions, since some abstract objects, like sets, have clear and intelligible conditions of identity. But the identity conditions for sets are intelligible only if the notion of a set is intelligible. Some, like Goodman, are apparently unable to understand how different entities can be composed out of the same ultimate constituents. But, again, it is not in virtue of being abstract, i.e. non-spatiotemporal and causally inert, that sets violate Goodman's principle on composition. For there could be simple abstract objects.

Many of these arguments and motivations for the rejection of abstract objects are also arguments and motivations for rejecting non-spatiotemporal ante rem universals. But Ockham's razor can also be used against universals conceived of as spatiotemporal entities, provided it can be shown that particulars can play the theoretical roles normally assigned to in re universals. For even if they are spatiotemporal, universals are nevertheless a distinctive kind of entity.

There are other, more specific arguments against universals. One is that postulating such things leads to a vicious infinite regress. For suppose there are universals, both monadic and relational, and that when an entity instantiates a universal, or a group of entities instantiate a relational universal, they are linked by an instantiation relation. Suppose now that a instantiates the universal F. Since there are many things that instantiate many universals, it is plausible to suppose that instantiation is a relational universal. But if instantiation is a relational universal, when a instantiates F, a, F and the instantiation relation are linked by an instantiation relation. Call this instantiation relation i2 (and suppose it, as is plausible, to be distinct from the instantiation relation (i1) that links a and F). Then since i2 is also a universal, it looks as if a, F, i1 and i2 will have to be linked by another instantiation relation i3, and so on ad infinitum. (This argument has its source in Bradley 1893, 27–8.)

Whether this regress shows some sort of incoherence in realism about universals or is merely uneconomical is a debatable issue. The realist about universals can, however, maintain that the regress is illusory, for instance by maintaining that although particulars instantiate universals, this involves no relation between them (Armstrong 1997, 118).[7]

Other arguments against universals are based on the principles that there cannot be necessary connections between wholly distinct existences and that no two things can be composed of exactly the same parts.[8] Consider the universal methane. A molecule instantiates methane if and only if it consists of four hydrogen atoms bonded to a single carbon atom. Thus, necessarily, methane is instantiated only if carbon is instantiated. But this seems to be a necessary connection between two wholly distinct entities, the universals methane and carbon. One answer here is that methane and carbon are not wholly distinct universals since the universal carbon is a component or a part of the universal methane, the other parts being the universal hydrogen and the relational universal bonded. The problem here is that a molecule instantiates butane if and only if it consists of a chain of four carbon atoms, with the adjacent ones bonded, and the end carbon atoms are bonded to three hydrogen atoms each, while the middle carbon atoms are bonded to two hydrogen atoms each (thus the formula for butane is CH3-CH2-CH2-CH3). So, if butane is not to be necessarily connected to wholly distinct universals, one should say that carbon, hydrogen and bonded are the parts of butane. But then methane and butane are composed of exactly the same parts. So it looks as if structural universals (i.e. universals like methane and butane, such that whatever instantiates them must consist of parts instantiating certain universals and standing in certain relations to each other) offend either against the principle that there are no necessary connections between wholly distinct existences or the principle that no two entities can be composed of exactly the same parts (see Lewis 1986b for further discussion).

This, in itself, is not an argument against universals per se but only against structural universals. Even so, if a theory of universals must postulate states of affairs, as Armstrong thinks it must, then the argument can be made to work against universals in general. For the state of affairs that Rab (where R is any non-symmetrical relation) necessitates that b exists, which seems to be a necessary connection between wholly distinct existences. And saying that a, b and R are parts of the state of affairs that Rab means trouble if one thinks that no two entities can be composed of exactly the same parts, for the distinct state of affairs that Rba would also be composed of a, b and R. There are two things the defender of universals can do: (a) to accept simple, non-structural universals but reject both structural universals and states of affairs; (b) to accept that some entities can be composed of exactly the same parts (provided they are related in different ways). (b) seems to be more popular among realists about universals. (See Armstrong 1986, Forrest 1986b and Armstrong 1997, 31–38, for further discussion.)

4. Varieties of Nominalism

4.1 Nominalism about universals

Given that nominalists about universals believe only in particulars, there are two strategies that they might implement regarding the question of the alleged existence of allegedly universal entities like properties and relations. One strategy is to reject the existence of such entities. Another strategy is to accept that such entities exist but to deny that they are universals. Both strategies have been implemented in the history of philosophy. One way to implement these strategies is to provide nominalistically acceptable paraphrases or analyses of sentences that appear (a) to be true and (b) imply the existence of universals. Another way, more fashionable nowadays, is to give a nominalistic account of the truthmakers for sentences that are apparently made true by universals.

What follows is a brief review of the main nominalistic positions of this sort, and of some of the problems they face. For the sake of brevity I shall illustrate the positions only with respect to properties. The extension to kinds and relations is straightforward and only occasionally do I say what a certain theory says about relations.

Properties are entities that are meant to play different theoretical roles. For instance, one role they are meant to play is that of being the semantic values of predicates. Another role is that of accounting for similarity and the causal powers of things. But there is no reason why these different roles should be played by one and the same kind of entity. When philosophers nowadays discuss the issue of universals they normally think of properties as entities that account for the similarity and causal powers of things. Properties in this sense are sometimes called sparse properties, as opposed to abundant properties (the distinction between sparse and abundant properties comes from Lewis 1983). Sparse properties are those which would be sufficient to account for the similarity and causal powers of things, and to characterise them completely and without redundancy. In what follows it is assumed, for the sake of example, that properties like being square and being scarlet count as sparse.

The question that realists and nominalists about universals try to answer is: What makes F-things F (where “F” is a sparse property predicate)? For instance, what makes a square thing square? For the realist about universals if something is square, this is in virtue of the thing instantiating the universal squareness. In general, for the realist about universals, things have the sparse properties they do in virtue of instantiating universals.

How do nominalists answer this question? A popular nominalist theory of properties is so-called Trope Theory, which has been held by Donald Williams (1953), Keith Campbell (1990), and Douglas Ehring (2011) among others. Trope theory does not reject the existence of properties, but takes properties to be certain entities usually called ‘tropes’. Tropes are particulars, in the same sense in which individual people and individual apples are particulars. Thus when there is a scarlet apple the scarletness of the apple is not a universal but a particular scarletness, the scarletness of this apple, which exists exactly where and when this apple is scarlet.[9] Such a particular scarletness is a trope. The apple is scarlet not in virtue of instantiating a universal but in virtue of possessing a scarlet trope.

But what makes scarlet tropes scarlet tropes? One possible answer here is that scarlet tropes are scarlet tropes because they resemble each other, where resemblance is not explained in terms of instantiating some same universal. Of course crimson tropes also resemble each other. What makes a trope scarlet is that it resembles these tropes (the scarlet ones) as opposed to resembling those ones (the crimson ones).

Another answer would be that scarlet tropes form a primitive natural class (this view has been forcefully defended by Ehring 2011: 175-241). But whether or not what makes scarlet tropes scarlet tropes is that they resemble each other, scarlet tropes do resemble each other. And the fact that they do raises an important problem. This is the problem of the resemblance regress. Suppose that a, b and c are scarlet apples. If so, each one has its own scarlet trope: call them sa, sb, and sc. Since sa, sb, and sc are scarlet tropes, every two of them resemble each other. But then there are three resemblance tropes as well: the resemblance between sa and sb, the resemblance between sa and sc, and the resemblance between sb and sc. But these resemblance tropes, since they are resemblance tropes, resemble each other. So there are ‘second-order’ resemblance tropes: the resemblance between the resemblance between sa and sb and the resemblance between sa and sc, the resemblance between the resemblance between sa and sb and the resemblance between sb and sc, and the resemblance between the resemblance between sa and sc and the resemblance between sb and sc. But these ‘second-order’ resemblance tropes resemble each other. So there are ‘third-order’ resemblance tropes, and so on ad infinitum.

There are some ways out for the trope theorist. One solution is to argue that the regress is not vicious at all and that at most it represents an increment in the number of entities (not kinds of entities) postulated by the theory. Another solution is to deny the existence of resemblance tropes and make do only with resembling tropes (for further discussion see Daly 1997 and Maurin 2002, 96–115).

There are other forms of nominalism about universals, two of which are Predicate Nominalism and Concept Nominalism. The realist about universals admits that the predicate ‘scarlet’ applies to a scarlet thing. But he says that the predicate ‘scarlet’ applies to it in virtue of its being scarlet, which is nothing else than its instantiating the universal scarletness. Similarly he says that the thing in question falls under the concept scarlet in virtue of being scarlet, which is nothing else than the thing instantiating the universal scarletness. But for Predicate Nominalism there is nothing like scarletness. According to this theory a thing is scarlet in virtue of the fact that the predicate ‘scarlet’ applies to it. Similarly, according to Concept Nominalism (or Conceptualism), there is nothing like scarletness and a thing is scarlet in virtue of its falling under the concept scarlet.[10] These two views entail that if there were no speakers or thinkers, things would not be scarlet. If only because of this many would feel inclined towards another view, called Ostrich Nominalism.[11] This view, held by Quine, among others, maintains that there is nothing in virtue of which our thing is scarlet: it just is scarlet (Devitt 1980, 97). But many think that being scarlet cannot be a metaphysically ultimate fact, but that there must be something in virtue of which scarlet things are scarlet.

Another theory is Mereological Nominalism, according to which the property of being scarlet is the aggregate of scarlet things, and for which something is scarlet in virtue of being a part of the aggregate of scarlet things.[12] An aggregate, or mereological sum, is a particular. But the theory faces a difficulty with so-called extensive properties like mass and shape. Not every part of the aggregate of square things is square since, for instance, not every sum of squares is itself square, and not every part of a square is itself square. So it is false that square things are square in virtue of being parts of the aggregate of square things.

A better theory in the same spirit is Class Nominalism, a version of which was maintained by Lewis (1983). Whether abstract or not, classes are particular on this view.[13] According to Class Nominalism properties are classes of things, and so the property of being scarlet is the class of all and only scarlet things.[14]

One problem with this theory is that no two classes can have the same members, while it does not seem that properties with the same instances need be the same. So there is no guarantee that the identification of properties with classes is correct. And even if correct, the identification is clearly not necessarily correct. Furthermore, if every F is a G and vice versa, the theory forces us to say that what makes something F is the same as what makes it G. But while every F might be a G and vice versa, it does not follow that what makes things F is the same as what makes them G.

One solution to this is to embrace a version of Modal Realism, for instance David Lewis', according to which other possible worlds exist and contain things of the same kinds as the things in the actual world (see Lewis 1986a). Then properties get identified with classes whose members need not belong to the same possible world. Thus the property of scarlet things is the class of things that are scarlet in any possible world.[15] And even if every actual F is a G and vice versa, since not every possible F is a G or vice versa, what makes something F, namely belonging to the class of actual and possible Fs, is not the same as what makes it G. The theory denies that there are and there could be necessarily coextensive properties.

Another version of Nominalism is Resemblance Nominalism. According to this theory, it is not that scarlet things resemble one another because they are scarlet, but what makes them scarlet is that they resemble one another. Thus what makes something scarlet is that it resembles the scarlet things. Similarly, what makes square things square is that they resemble one another, and so what makes something square is that it resembles the square things. Resemblance is fundamental and primitive and so either there are no properties or the properties of a thing depend on what things it resembles.

Thus on one version of the theory a property like being scarlet is a certain class whose members satisfy certain definite resemblance conditions. On another version of the theory there are no properties, but what makes scarlet things scarlet is that they satisfy certain resemblance conditions.

What are these resemblance conditions? Sometimes the resemblance conditions include some that must be satisfied, not by the things in question (e.g. not by the scarlet things), but by things suitably related to them. For instance, in the version of Resemblance Nominalism developed in Rodriguez-Pereyra 2002, what makes scarlet things scarlet is that they resemble each other, that there is a degree of resemblance d such that no two scarlet things, and no two nth-order pairs (two-membered unordered classes) whose ur-elements are scarlet things, resemble each other to a degree less than d, and that the class of scarlet things is or fails to be included in certain other classes defined in terms of resemblance conditions like the ones just mentioned (see Rodriguez-Pereyra 2002, 156–98, for details). Of course the crimson things also resemble each other and they also meet the other conditions having to do with resemblance degrees and their class being or failing to be included in certain other classes. But this does not mean that what makes something scarlet is what makes something crimson: what makes a scarlet thing scarlet is that it resembles these things (i.e. the scarlet ones), which happen to satisfy the stated conditions having to do with resemblance degrees and their class being or failing to be included in certain other classes while what makes a crimson thing crimson is that it resembles those things (i.e. the crimson ones), which also happen to satisfy the stated conditions having to do with resemblance degrees and their class being or failing to be included in certain other classes.

The resemblance nominalist ontology is an ontology of resembling particulars like horses, atoms, houses, stars, men (and classes). But the resemblance nominalist does not reify resemblance. Thus that a and b resemble each other does not require that there are three entities there: a, b and a third, relational entity that is their resemblance. The only entities involved in that situation are a and b. In this respect, Resemblance Nominalism resembles Ostrich Nominalism. The difference is that whereas the latter admits many sorts of basic facts involving only particulars – ‘a is scarlet’, ‘b is an electron’ – the former admits only basic facts of the form ‘a resembles b to such and such a degree’.

Like Class Nominalism, Resemblance Nominalism faces the problem about the identity of coextensive properties, and the solution is the same, namely to adopt some version of Modal Realism according to which merely possible particulars are as real as actual ones. Thus (part of) what makes a certain apple scarlet is that it resembles all scarlet things, including merely possible scarlet things.

Russell (1912, 96–7) and others think that Resemblance Nominalism faces the resemblance regress. But this regress presupposes that resemblances are entities that can resemble one another. Since Resemblance Nominalism does not reify resemblances, the regress does not arise (see Rodriguez-Pereyra 2002, 105–23, for further discussion).

Finally, there is Causal Nominalism, according to which what makes it true that a is F is that a would stand in certain causal relations given certain circumstances. In other words, the claim is that for a to be F is for the theory that which charts out the functional role of F-particulars to be true of a (Whittle 2009, 246). F-particulars will resemble each other in realising the same functional role, but this does not collapse Causal Nominalism into Resemblance Nominalism, since such resemblances are not what explains why a is F, but a consequence of what explains that, namely the fact that such particulars realise a certain functional role (Whittle 2009: 255). Similar reasons might also suggest that Causal Nominalism does not collapse into any of the other nominalisms. But it has been argued that to be thoroughly nominalistic, Causal Nominalism owes a nominalistic account of what it is for different particulars to realise the same functional role, and such an account can only be in terms of any of the nominalisms distinguished above, in which case Causal Nominalism collapses into some other form of nominalism (Tugby 2013).

Which one of these theories is the best has to be decided by comparing how they score with respect to certain theoretical virtues, like accommodating firm and stable intuitions and common sense opinions, avoiding the unnecessary multiplication of entities, reducing the number of undefined primitive concepts, etc.